Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 6

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  sampling method
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
PL
W artykule przedstawiono nową metodę pobierania materiału do przygotowania próbek w analizie FTIR, którą można wykorzystać do określenia postępu karbonatyzacji betonu. Uzyskane wyniki porównano ze stosowaną do tej pory metodą wiercenia próbki. Przeprowadzono analizę dwóch mieszanek betonu samozagęszczalnego. Badane próbki miały postać typowych sześciennych kostek oraz gruzu betonowego. Próbki były przechowywane przez 56, 112 i 168 dni w komorze karbonatyzacyjnej. Jednocześnie wykonano analizę termiczną TG/DTA. Uzyskane wyniki potwierdziły zalety zaproponowanej metody.
EN
The paper presents a new sampling method for the FTIR analysis, which might be used for the determination of the concrete carbonation progress.The obtained results were compared with the existing drillng method. In the research two self-compacting concretes were used. The tested samples were cubicones and concrete crushed rubble. Samples were kept for 56, 112 and 168 days in the carbonation chamber. To verify the obtained results, thermal analysis – TG/DTA was carried out for samples stored for 168 days in CO2 environment. The achieved results of thermal analysis, confirmed advantages of the proposed sampling method.
EN
European Union legislation requires achievement of good ecological status of European streams and rivers. Because of that, the ecological status of all streams has to be assessed and evaluated. If there is a status identified less than good the remedial measures must be applied. For effective remediation it is necessary to find the cause of worse than good status classification. In urbanized areas is a number of urban drainage outlets with consequences in a necessity of very detailed biomonitoring. Due to time and money demands of such detailed monitoring, it is not possible to make standardized macroinvertebrates field sampling and processing to evaluate the ecological status. Therefore, admissible simplification of field sampling of macroinvertebrates compared to the standard AQEM method was searched for. Both the effect of the subjectivity of multihabitat sampling and the effect of the reduction of the number of sampling points and their uncertainties were studied with help of field experimental work and probabilistic Monte Carlo simulations. It was proved, that a substantial reduction of the number of sampling units (from 20 sampling units requested by European protocol AQEM) is possible only for ASPT and saprobity index (7 sampling units is sufficient) and diversity (9 sampling units is sufficient). A certain reduction (to 14 sampling units) is also possible for the number of individuals, % EPT and IBI index but no reduction can be applied in case of number of taxa and BMWP, where already the replicate 20 unit samples were biased by an unacceptable uncertainty.
PL
Normy legislacyjne Unii Europejskiej (Ramowa Dyrektywa Wodna 2000/60/WE) wymagają osiągnięcia dobrego statusu ekologicznego rzek i strumieni na obszarze państw członkowskich. Z tego też powodu status ekologiczny rzek i strumieni krajów Unii powinien być określony i oceniony. W przypadku gdy status ten zostanie oceniony jako mniej niż dobry, powinny zostać podjęte odpowiednie środki zaradcze. Dla wdrożenia efektywnych działań polepszających stan ekologiczny strumieni należy najpierw zidentyfikować powody, dla których jest on niezadowalający. Na terenie obszarów zurbanizowanych zlokalizowanych jest zwykle wiele wylotów z systemów odprowadzających wody opadowe, które powinny być poddane odpowiednim procedurom biomonitoringu. Ze względu na znaczne nakłady finansowe i czasochłonność nie jest możliwe prowadzenie standardowych procedur pobierania i analizy próbek makrofauny bezkręgowej dla każdego z tak licznych punktów wraz z wymaganą oceną statusu ekologicznego. Stąd też poszukiwane są sposoby dopuszczalnego uproszczenia metod pobierania próbek makrobezkręgowców w odniesieniu do standardowych metod AQEM. W ramach przeprowadzonych badań, za pomocą terenowych prac eksperymentalnych oraz symulacji z wykorzystaniem metody Monte Carlo, analizowano efekty subiektywnego próbkowania siedlisk wielogatunkowych oraz zmniejszenia liczby punktów pobierania próbek powiązane z niepewnością próbkowania. Dowiedziono, że znaczne zmniejszenie liczby próbek (z 20 wymaganych w protokole AQEM) jest możliwe tylko dla indeksu ASPT i indeksu saprobowości (wynosi 7 próbek) oraz indeksu różnorodności (wystarczająca liczba 9 próbek). Zauważalne zmniejszenie liczby (do poziomu 14 próbek) jest możliwe również dla ilości osobników oraz % EPT i indeksu IBI. Jednakże niemożliwe jest zmniejszenie liczby próbek w celu prawidłowego określenia liczby taksonów oraz wartości BMWP, gdzie już w przypadku liczby powtórzeń na poziomie 20 próbek wynik obarczony jest wysokim poziomem niepewności.
PL
W artykule przedstawiono propozycję zmian procedury pomiaru poziomów hałasu wprowadzanego do środowiska w związku z eksploatacją dróg publicznych przy wykorzystaniu metody próbkowania. Podjęto próbę skrócenia czasu pomiaru pojedynczej próbki hałasu komunikacyjnego, zachowując rozstęp wyników mieszczący się w przedziale 0 ≤ R ≤ 2 między wynikiem maksymalnym a minimalnym. Zaprezentowane zostały przykładowe wyniki własnych pomiarów. Analiza wyników badań własnych oraz innych autorów wskazuje, że możliwe jest pod pewnymi warunkami osiągnięcie postawionego celu.
EN
The article presents the suggestion of change of the measurement procedure of noise levels in environment in connection with public roads exploitation , by the use of sampling method. The attempt of shortening the time of measurement of one traffic noise sample, keeping the difference within the range 0 ≤ R ≤ 2 between the minimum and maximum result. Sample results of own measurements have been presented. The analysis of own research results and other authors ones, shows that the objective is possible to attain under certain conditions.
4
Content available remote Deriving Information from Sampling and Diving
EN
We investigate the impact of information extracted from sampling and diving on the solution of Constraint Satisfaction Problems (CSP). A sample is a complete assignment of variables to values taken from their domain according to a given distribution. Diving consists in repeatedly performing depth first search attempts with random variable and value selection, constraint propagation enabled and backtracking disabled; each attempt is called a dive and, unless a feasible solution is found, it is a partial assignment of variables (whereas a sample is a –possibly infeasible– complete assignment). While the probability of finding a feasible solution via sampling or diving is negligible if the problem is difficult enough, samples and dives are very fast to generate and, intuitively, even when they are infeasible, they can provide some statistical information on search space structure. The aim of this paper is to understand to what extent it is possible to support the CSP solving process with information derived from sampling and diving. In particular, we are interested in extracting from samples and dives precise indications on the quality of individual variable-value assignments with respect to feasibility. We formally prove that even uniform sampling could provide precise evaluation of the quality of single variable-value assignments; as expected, this requires huge sample sizes and is therefore not useful in practice. On the contrary, diving is much better suited for assignment evaluation purposes. We undertake a thorough experimental analysis on a collection of Partial Latin Square and Car Sequencing instances to assess the quality of information provided by dives. Dive features are identified and their impact on search is evaluated. Results show that diving provides information that can be fruitfully exploited.
PL
W artykule opisane są projekt i wyniki badań konwertera czasowo-cyfrowego o rozdzielczości 9 ps i niepewności pomiarowej nie przekraczającej 31 ps. Konwerter został zrealizowany w układzie programowalnym Cyclone firmy Altera. Do konwersji czasowo-cyfrowej użyto nowatorskiej metody, w której informacja o mierzonym odcinku czasu zawarta jest w szerokości impulsu, propagującego się wielokrotnie w zamkniętej pętli opóźniającej i próbkowanego z użyciem wielofazowego zegara o wysokiej częstotliwości. Sterowanie procesem pomiarowym oraz obliczanie i przetwarzanie wyników pomiarów odbywa się z wykorzystaniem dedykowanego interfejsu użytkownika opracowanego w języku C++.W artykule opisane są projekt i wyniki badań konwertera czasowo-cyfrowego o rozdzielczości 9 ps i niepewności pomiarowej nie przekraczającej 31 ps. Konwerter został zrealizowany w układzie programowalnym Cyclone firmy Altera. Do konwersji czasowo-cyfrowej użyto nowatorskiej metody, w której informacja o mierzonym odcinku czasu zawarta jest w szerokości impulsu, propagującego się wielokrotnie w zamkniętej pętli opóźniającej i próbkowanego z użyciem wielofazowego zegara o wysokiej częstotliwości. Sterowanie procesem pomiarowym oraz obliczanie i przetwarzanie wyników pomiarów odbywa się z wykorzystaniem dedykowanego interfejsu użytkownika opracowanego w języku C++.
EN
The paper describes the design and test results of a time-to-digital converter with 9 ps resolution and measurement uncertainty below 31 ps. The converter has been implemented in a programmable device Cyclone manufactured by Altera. The time-to-digital conversion is based on sampling of a periodic square signal. Information about the measured time interval is contained in the width of a pulse that circulates in a closed delay loop and is sampled with the use of a high frequency clock. This method is innovative in the kind of application and it has not been implemented in an integrated circuit so far. In order to achieve both high resolution and high measurement uncertainty the four-phase sampling clock has been used. Such solution allows for fourfold reduction in a number of cycles in the loop and consequently to diminish the measurement error significantly. The four-phase clock has been generated with an embedded PLL functional block. An issue of fundamental importance for the successful implementation of the converter was the use of two short pulses as a representation of the begin and the end of a measured time interval instead of a single long-width pulse. In this way an unpredictable shrinking or stretching of a measured time interval by elements of the delay loop that have different propagation times for rising and falling edges has been avoided. The measurement as well as calculation and processing of obtained results are controlled with the use of dedicated user interface worked out in C++.
6
Content available remote Automata Recognizing No Words : A Statistical Approach
EN
How likely is that a randomly given (non-) deterministic finite automaton recognizes no word? A quick reflection seems to indicate that not too many finite automata accept no word; but, can this intuition be confirmed? In this paper we offer a statistical approach which allows us to conclude that for automata, with a large enough number of states, the probability that a given (non-) deterministic finite automaton recognizes no word is close to zero. More precisely, we will show, with a high degree of accuracy (i.e., with precision higher than 99% and level of confidence 0.9973), that for both deterministic and non-deterministic finite automata: a) the probability that an automaton recognizes no word tends to zero when the number of states and the number of letters in the alphabet tend to infinity, b) if the number of states is fixed and rather small, then even if the number of letters of the alphabet of the automaton tends to infinity, the probability is strictly positive. The result a) is obtained via a statistical analysis; for b) we use a combinatorial and statistical analysis. The present analysis shows that for all practical purposes the fraction of automata recognizing no words tends to zero when the number of states and the number of letters in the alphabet grow indefinitely. From a theoretical point of view, the result can motivate the search for ``certitude'', that is, a proof of the fact established here in probabilistic terms. In the last section we critically discuss the result and the method used in this paper.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.