Wszystkie pola: Rataj, I. - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Remote Detection and Quantification of Methane Emissions Based on Hyperspectral Data Analysis
Zdalne wykrywanie i kwantyfikacja emisji metanu na podstawie analizy danych hiperspektralnych
Autorzy:: Kastek, Mariusz
Ligienza, Andrzej
Sosnowski, Tomasz
Holewa-Rataj, Jadwiga
Rataj, Mateusz
Timofiejczuk, Anna
Rzydzik, Sebastian
Powiązania:: https://bibliotekanauki.pl/articles/27312461.pdf
Data publikacji:: 2023
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: hyperspectral detection
methane detection
infrared imagine methane detection
hiperspektralna detekcja w podczerwieni
detekcja metanu
obrazowa detekcja metanu w podczerwieni
Opis:: Measurement of methane emissions from leaks occurring on the territorially extensive network of transmission gas grid is a topical issue and highly desirable from the point of view of safety and reducing methane emissions into the atmosphere. Remote detection of methane is a problem whose technical solution is based on several types of optoelectronic devices, e.g. thermal imaging cameras with sets of optical filters, spectroradiometers, laser systems of the DIAL (DIfferential Absorption Lidar) type. On the other hand, the quantification of emission magnitudes is in most cases realized by spectoradiometric systems. This paper will present a method for analyzing hyperspectral data from an imaging Fourier infrared spectroradiometer. Measurements will be made on a purpose-built bench simulating methane emissions from a transmission network. Data obtained from ground level under different atmospheric conditions will be presented, together with the results of their analysis for different methane emissions.
Pomiar emisji metanu z wycieków występujących na rozległej terytorialnie sieci gazociągów przesyłowych jest zagadnieniem aktualnym i wysoce pożądanym z punktu widzenia bezpieczeństwa i ograniczenia emisji metanu do atmosfery. Zdalna detekcja metanu jest problem, którego rozwiązanie techniczne opiera się na kilku typach urządzeń optoelektronicznych, np. kamerach termowizyjnych z zestawami filtrów optycznych kamery termowizyjne z zestawami filtrów optycznych, spektroradiometry, systemy laserowe DIAL (DIfferential Absorption Lidar). Z drugiej strony, kwantyfikacja wielkości emisji jest w większości przypadków realizowana przez systemy spektroradiometryczne. W niniejszym artykule zostanie przedstawiona metoda analizy danych hiperspektralnych z obrazującego fourierowskiego spektroradiometru podczerwieni. Pomiary zostały wykonane na specjalnie zbudowanym stanowisku symulującym emisję metanu z sieci przesyłowej. Dane uzyskane z poziomu gruntu w różnych warunkach atmosferycznych, wraz z wynikami ich analizy dla różnych emisji metanu.
Źródło:: Pomiary Automatyka Robotyka; 2023, 27, 3; 5--12
1427-9126
Pojawia się w:: Pomiary Automatyka Robotyka
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: Modelling CTMC with a standard programming language and using conventions from computer networking
Modelowanie łańcuchów Markowa z czasem ciągłym przy użyciu standardowego języka programowania i z zastosowaniem konwencji z dziedziny sieci komputerowych
Autorzy:: Rataj, A.
Nowak, M.
Pecka, P.
Powiązania:: https://bibliotekanauki.pl/articles/375742.pdf
Data publikacji:: 2011
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: Markov chain
continuous time
model checking
Java
Opis:: Continuous time Markov chains (CTMC) are one of the formalisms for building models. This paper discusses expressing these models in a standard programming language – Java. Using such a language as a model description allows for a partially common implementation of the production software and of the description of the model, for a greater flexibility in comparison to model-checker specific languages that often do not employ features of an object-oriented programming. Using Java also makes the parsing of models relatively fast, using optimised Java runtime environment. Our approach aims at using typical mechanisms of the Java language when implementing the model, and at the same time, following closely the concepts from computer networking and from formalisms based on it, like the queueing systems. These assumption result in techniques like plain object fields constituting the state vector, or negotiation between nodes to decide if an event happens.
Łańcuchy Markowa czasu rzeczywistego są jednym z formalizmów używanych do budowy modeli. Artykuł ten omawia wyrażanie takich modeli w standardowym języku programowania - Javie. Użycie takiego języka umożliwia częściowo wspólną implementację oprogramowania użytkowego i opisu modelu, większą elastyczność w porównaniu do często nie używających obiektowych konwencji programistycznych języków stosowanych przez oprogramowanie weryfikujące, oraz szybką budowę modelu z użyciem zoptymalizowanego środowiska czasu wykonania Javy. Nasze podejście miało na celu wykorzystanie typowych mechanizmów języka Java przy opisie modelu i jednoczesnie trzymanie się konwencji z dziedziny sieci komputerowych i pokrewnych formalizmóm typu systemy kolejkowe. Dlatego używamy technik takich jak zastosowanie pól obiektów jako elementów wektora stanu czy negocjacja pomiędzy węzłami, czy dane zdarzenie ma mieć miejsce.
Źródło:: Theoretical and Applied Informatics; 2011, 23, 3-4; 229-243
1896-5334
Pojawia się w:: Theoretical and Applied Informatics
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "Rataj, I." wg kryterium: Wszystkie pola

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język