Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

Znaleziono wyników: 3

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Techniki zatężenia i pomiaru aktywności radionuklidów kryptonu i ksenonu

100%

Janowski P.

2012

tom z. 3

9--15

Slicing of Timed Automata with Discrete Data

63%

Janowska A. , Janowski P.

tom Nr 990

1-29

The paper proposes how to use static analysis to extract an abstract model of a system. The method uses techniques of program slicing to examine syntax of a system modeled as a set of timed automata with discrete data, a common input formalism of model checkers dealing with time. The method is property driven. The abstraction is exact with respect to all properties expressed in the temporal logic CTL_X*

Praca przedstawia zastosowanie analizy statycznej do uzyskania abstrakcyjnego modelu systemu. Proponowana metoda jest oparta na technice plastrowania programów. Analizie podlega system przedstawiony jako zbiór automatów czasowych rozszerzonych o dane dyskretne, który to formalizm jest stosowany przez weryfikatory modelowe dla systemów czasowych. W przedstawionej metodzie abstrakcja systemu zachowuje prawdziwość formuł logiki temporalnej CTL_X* i jest uzalezniona od weryfikowanej własności.

Cosmogenic radionuclides in the Sołtmany (L6) meteorite

51%

Laubenstein M. , Giampaoli A. , Janowski P. , Mietelski J. W.

tom Vol. 2, No. 1-2

45--51

Cosmogenic radionuclides were measured in two specimens of the Sołtmany chondrite (L6) that fell on April 30, 2011. The first fragment (154.9 g) was measured 12 days after the fall and the second piece (120 g), 53 days after the fall. Both fragments were measured by means of non-destructive gamma ray spectroscopy. The first specimen was examined with an ultra-low background high purity germanium (HPGe) detector in a deep underground laboratory. A standard low-background HPGe detector was used to examine the second fragment in a ground level laboratory. Twelve cosmogenic nuclides were detected in the activity range of 0.030 m・Bq g–1 until 1.5 m・Bq g–1 Their activities place constraints on the exposure history of the meteorite and reflect the effect of solar modulation of galactic cosmic rays during the solar maximum. On the activities of expected radionuclides 60 Co (< 0.0075 m・Bq g–1) and 44 Ti (< 0.023 m・Bq g–1) only upper limits could be given. Sołtmany is part of a group of only 14 meteorites where 52 Mn (5.591 d half life) could be determined.