2024 - Repozytorium publikacji - Politechnika Gdańska

Pokaż publikacje z roku

Publikacje z roku 2024

Pokaż wszystkie

Automated Generation of Modular Assurance Cases with the System Assurance Reference Model
- Andrzej Wardziński
- Aleksander Jarzębowicz
2024 FORMAL ASPECTS OF COMPUTING
Assurance cases are structured arguments used to demonstrate specific system properties such as safety or security. They are used in many industrial sectors including automotive, aviation and medical devices. Assurance cases are usually divided into modules which address goals allocated to specific system properties, components, functions, modes of operation or environmental conditions. Depending on the system and assurance process characteristics, assurance case modules may follow shared argument templates. The templates refer to the system, process or environment attributes, described collectively as an assurance case context and stored in external context models. Our goal is to manage all contextual relations at the level of assurance case templates and instantiated arguments with the use of a generic System Assurance Reference Model (SARM). We describe its structure and demonstrate how it can be used to automatically generate assurance case modules, based on templates and context models. The article also presents a prototype tool, SARMER, which implements the SARM model and enables automatic data flow between models and assurance cases. The use of SARM and the SARMER tool is illustrated with an example of a component-based system and a modular assurance case to demonstrate that allocated contracts are satisfied for each component.
Automated hearing loss type classification based on pure tone audiometry data
- Michał Kassjański
- Marcin Kulawiak
- Tomasz Przewoźny
- Dmitry Tretiakow
- Jagoda Kuryłowicz
- Andrzej Molisz
- Krzysztof Koźmiński
- Aleksandra Kwaśniewska
- Paulina Mierzwińska-Dolny
- Miłosz Grono
2024 Scientific Reports
Hearing problems are commonly diagnosed with the use of tonal audiometry, which measures a patient’s hearing threshold in both air and bone conduction at various frequencies. Results of audiometry tests, usually represented graphically in the form of an audiogram, need to be interpreted by a professional audiologist in order to determine the exact type of hearing loss and administer proper treatment. However, the small number of professionals in the field can severely delay proper diagnosis. The presented work proposes a neural network solution for classification of tonal audiometry data. The solution, based on the Bidirectional Long Short-Term Memory architecture, has been devised and evaluated for classifying audiometry results into four classes, representing normal hearing, conductive hearing loss, mixed hearing loss, and sensorineural hearing loss. The network was trained using 15,046 test results analysed and categorised by professional audiologists. The proposed model achieves 99.33% classification accuracy on datasets outside of training. In clinical application, the model allows general practitioners to independently classify tonal audiometry results for patient referral. In addition, the proposed solution provides audiologists and otolaryngologists with access to an AI decision support system that has the potential to reduce their burden, improve diagnostic accuracy, and minimise human error.
Automated measurement method for assessing thermal-dependent electronic characteristics of thin boron-doped diamond-graphene nanowall structures
- Michał Rycewicz
- Mariusz Banasiak
- Mateusz Ficek
- Stephan Kubowicz
- Simona Baluchová
- Bogusława Sobczak
- Elizaveta Vereshchagina
- Robert Bogdanowicz
2024 MEASUREMENT
This paper investigates the electrical properties of boron-doped diamond-graphene (B:DG) nanostructures, focusing on their semiconductor characteristics. These nanostructures are synthesized on fused silica glass and Si wafer substrates to compare their behaviour on different surfaces. A specialized measurement system, incorporating Python-automated code, was developed for an in-depth analysis of electronic properties under various contact configurations. This approach allowed for a detailed exploration of charge transport mechanisms within the nanostructures. The research highlights a decrease in resistivity with increased deposition time, as shown by Arrhenius plot analysis. This trend is linked to the formation and evolution of multi-wall graphene structures. SEM images showed nanowall structures formed more readily on amorphous fused silica substrates, enabling unrestricted growth. TOF-SIMS analysis revealed uneven boron atom distribution through the film depth. A significant finding is a reduction in conductive activation energy in samples grown in microwave plasma from 197 meV to 87 meV as deposition time increased from 5 to 25 min. Furthermore, the study identifies a shift in transport mechanisms from variable range hopping (VRH) below 170 K to thermally activated (TA) conduction above 200 K. These insights advance our understanding of the electronic behaviours in B:DG nanostructures and underscore their potential in electronic device engineering, opening new paths for future research and technological developments.
Automated Parking Management for Urban Efficiency: A Comprehensive Approach
- Tomasz Ludwisiak
- Magdalena Mazur-Milecka
2024
Effective parking management is essential for ad-dressing the challenges of traffic congestion, city logistics, and air pollution in densely populated urban areas. This paper presents an algorithm designed to optimize parking management within city environments. The proposed system leverages deep learning models to accurately detect and classify street elements and events. Various algorithms, including automatic segmentation of urban landscapes, occupancy detection, and illegal parking violation detection, were developed and tested. To validate the system, cameras were installed facing streets and parking areas, and all algorithms were tested on real-world data. The segmentation network achieved a mean Average Precision (mAP) of 0.791. The occupancy detection algorithm showed a precision and recall of 0.97 on parking camera data, while the illegal parking violation detection system achieved precision and recall values of 0.971 and 0.958, respectively. This research contributes to smarter, more efficient urban parking solutions, enhancing overall city management.
Automatic Correction of Non-Anechoic Antenna Measurements Using Complex Morlet Wavelets
- Adrian Bekasiewicz
- Vorya Waladi
2024 Pełny tekst IEEE Antennas and Wireless Propagation Letters
Real-world performance of antennas is normally tested in anechoic chambers (ACs). Alternatively, experimental validation can be performed in non-anechoic environments and refined in the course of post-processing. Unfortunately, the existing methods are difficult to setup and prone to failure. In this letter, a wavelet-based framework for correction of non-anechoic antenna measurements has been proposed. The method involves automatic centering and adjusting of the wavelet w.r.t. a fraction of the signal that corresponds to line-of-sight transmission within the system under test. Performance of the method has been verified a using two compact antennas and a total of 15 experiments. Benchmarks against the state-of-the-art approaches have also been performed.
Autonomous port management based AGV path planning and optimization via an ensemble reinforcement learning framework
- Xinqiang Chen
- Shuhao Liu
- Jiansen Zhao
- Huafeng Wu
- Jiangfeng Xian
- Jakub Montewka
2024 OCEAN & COASTAL MANAGEMENT
The rapid development of shipping trade pushes automated container terminals toward the direction of intelligence, safety and efficiency. In particular, the formulation of AGV scheduling tasks and the safety and stability of transportation path is an important part of port operation and management, and it is one of the basic tasks to build an intelligent port. Existing research mainly focuses on collaborative operation between port equipment and path optimization under environmental perception, while there is relatively little research on optimization of path smoothness and safety. Therefore, we propose a path optimization model based on the artificial potential field and twin delayed deep deterministic policy gradient (APF-TD3) framework for the port environment. Firstly, we obtain the scheduling task plan of a single AGV by enumeration. Secondly, according to the artificial potential field (APF) algorithm to generate repulsion for obstacles in the harbor and attraction for container storage at the target point with the position information of the AGV as the input data of the reinforcement learning algorithm is inputted into the twin delayed deep deterministic policy gradient algorithm (TD3). Then TD3 selects the optimal action strategy for the AGV according to the input AGV state information and the designed reward mechanism as well as executes the action. Through repeated execution, the optimal action for the next step is selected at each point to generate a path with start and end points. We validate the model by simulating the scale of containerized cargo in the port i.e. small scale, medium scale and large scale scenes. The experimental results show that the method has the shortest path length of 27.519 m, 270.847 m, and 496.389 m compared to artificial potential field and deep deterministic policy gradient (APF-DDPG), APF, and rapidly-exploring random tree (RRT) algorithms, which also have significant advantages in terms of path security and path smoothness. This framework could respond to the scheduling and transportation tasks of single AGV in different environmental layouts and guarantee the smoothness and safety of the path based on the optimization of the path, which promotes the efficient operation and management of ports.
Autonomous Robot for Efficient Indoor RF Measurements
- Aleksander Krupa
- Bartosz Multan
- Mateusz Groth
- Krzysztof Nyka
- Łukasz Kulas
2024 Pełny tekst
In this paper, we addresses the emergence of autonomous and semi-autonomous radio frequency (RF) measurements as a vital application for robots, particularly in indoor environments where traditional methods are labor-intensive and error-prone. We propose a method utilizing Autonomous Mobile Robots (AMRs) equipped with Light Detection and Ranging (LiDAR) and RGB-D cameras to conduct precise and repetitive RF signal measurements autonomously. The system architecture, comprising both hardware and software components, enables seamless integration and operation, reducing human intervention to preparation and analysis tasks. The proposed solution demonstrates its efficacy through experimental validation, showcasing its capability to conduct autonomous measurements with high precision and efficiency, thereby enhancing the testing of wireless communication systems and algorithms.
AVAILABILITY CONDITIONS AS A CRITICAL FACTOR IN PRODUCT CATEGORY MANAGEMENT IN SHAPING THE OFFER OF NON-ALCOHOLIC EQUIVALENTS OF ALCOHOLIC BEVERAGES
- Anna Kamińska
- Przemysław Dmowski
- Ewa Marjańska
2024 Zeszyty Naukowe Politechniki Śląskiej. Seria Organizacja i Zarządzanie
Purpose: To determine the availability of non-alcoholic wines and spirit substitutes in various distribution channels and understand the factors shaping store assortments to identify potential product strategies in category management. Design/methodology/approach: A literature review using desk research and a two-part study on the availability of non-alcoholic substitutes, utilizing observation and interview methods. Findings: The highest availability of non-alcoholic equivalents of alcoholic beverages is in large-format stores, while the lowest is in small-format stores. Based on the analysis of the conditions for shaping the assortment of these products, it can be concluded that when shaping the offer, representatives of selected stores apply specific strategies towards this group of products, including competitiveness of the offer or size of the assortment. Research limitations/implications: A limitation of the research is the relatively short implementation time and the subjective nature of the responses of store employees, which may result in an incomplete picture of reality. For a more complete verification of the results, it is advisable to conduct the survey on a larger sample. Practical implications: The results can guide organizations that want to increase flexibility by introducing a more comprehensive range of non-alcoholic beverages. Social implications: The analysis can also be used to identify priorities for manufacturers and retailers in the context of managing this product category, and can be used by companies in the implementation of ESG (Environment, Social, Governance) areas related to responsible consumption and promoting safety. Originality/value: Defining product category management strategies in this emerging market can enhance a company's competitiveness in non-alcoholic beverage equivalents. Keywords: non-alcoholic equivalents of alcoholic beverages, product availability, product range development, product category management. Category of the paper: Research paper.
Availability of UAV Fleet Evaluation Based on Multi-State System
- Elena Zaitseva
- Vitaly Levashenko
- Vladimir Mysko
- Stanisław Czapp
- Darkhan Zhaxybayev
2024 Pełny tekst IEEE Access
Unmanned Aerial Vehicle (UAV) applications are extended extremely. Some applications need to use several UAVs for a general mission which can be considered a UAV fleet. One of the important characteristics for the evaluation of a UAV or UAV fleet is reliability. There are studies in which methods for analysis of their reliability are considered. Reliability analysis of UAV fleets is less frequently studied, although a single UAV cannot be performed in many applications and requires the involvement of multiple UAVs. Typically, this analysis is based on evaluating two states as operational/functioning and faulting. This paper proposes a new method to calculate the availability of a UAV fleet as one of the reliability characteristics. Unlike well-known UAV fleet analysis approaches, in this paper, the availability is studied based on a mathematical model of a Multi-State System (MSS). MSS allows us to examine more than two states (operational and faulty) of the system, so this analysis is more detailed. In this paper, based on MSS, the analysis of various topologies of UAV fleets is implemented. This mathematical model is used for the analysis and evaluation of topologies of homogeneous and heterogeneous UAV fleets, which can be irredundant or redundant hot stable systems. The interpretations of different topologies of fleets as typical structures of MSS (series, parallel, k-out-of-n) are considered. New mathematical definitions of the availability of UAV fleets of different topologies based on MSS structure function are proposed. These definitions allowed us to consider the influence of the number of UAVs on the UAV fleet availability and compare the availabilities of considered topologies of fleets.
Awaria betonowej posadzki przemysłowej w następstwie błędów projektowych i wykonawczych
- Tomasz Majewski
- Maciej Niedostatkiewicz
2024
W artykule przedstawiono opis uszkodzeń betonowej posadzki przemysłowej która z pominięciem zasad wiedzy technicznej została niepoprawnie zaprojektowana, a następnie błędnie wykonana. Bezpośrednio po zakończeniu realizacji, przedmiotowa posadzka wykazywała rozległe usterki i uszkodzenia, które praktycznie od momentu zakończenia robót uniemożliwiały rozpoczęcie eksploatacji hali magazynowej zlokalizowanej na terenie zakładu produkcyjnego. W pracy przedstawiono zaproponowany sposób naprawy i zakres robót remontowych.
BACTERIAL INACTIVATION VIA LASER-DRIVEN GOLD NANOPARTICLE HEATING: SIMULATION AND ANALYSIS
- Paweł Ziółkowski
- Aimad Koulali
- Piotr Radomski
- Daniela De Biase
- Federica Zaccagnini
- Jacek Zieliński
- Michał Pikuła
- Kwang-un Jeong
- Francesca Petronella
- Luciano De Sio
- Dariusz Mikielewicz
2024 Pełny tekst
This study utilizes CFD technique to simulate the inactivation of E. coli bacteria within a microfluidic chamber, employing gold nanoparticles irradiated by a laser beam. Employing a single-phase model, the presence of bacteria is considered by treating thermal properties in the governing equations as effective, combining those of water and bacteria using established correlations from scientific literature. The conversion of light into heat is modeled with parameters derived from scientific literature, featuring a defined source term quantifying the converted light into heat. Introducing a User Defined Scalar (UDS) employing a first-order kinetic model described by the Arrhenius equation for the decay coefficient captures the bacteria's response to irradiation. A dedicated User Defined Function (UDF) is developed to implement this model, allowing the simulation to account for the reduction in bacterial concentration over time. The results uncover intricate dynamics in bacterial response to laser-induced thermal effects, showcasing the potential for effective bacterial control. Furthermore, the model is rigorously validated against experimental data, affirming its accuracy and robustness in reproducing real-world thermal effects.
Badania statyczne i dynamiczne struktur metamateriałowych
- Tomasz Ciborowski
- Błażej Woźny
- Paweł Wałdowski
- Paweł Błaś
2024 Pełny tekst Builder
Metamateriały to nowoczesne materiały o nieklasycznych właściwościach mechanicznych, optycznych, termicznych i elektromagnetycznych, które zyskują na popularności w wielu dziedzinach inżynierii. W przeprowadzonych badaniach numerycznych analizowano trzy struktury metamateriałowe o różnych kątach wewnętrznych. Wyniki pokazały, że geometria struktury ma istotny wpływ na wartość zastępczych parametrów mechanicznych. Porównawcza analiza modalna belki z segmentem metamateriałowym oraz belki pełnej wykazała znaczny spadek częstotliwości drgań własnych wywołany redukcją sztywności w obrębie segmentu. Wyniki ujawniły także lokalne drgania w strukturze metamateriałowej, które mają istotny wpływ na zachowanie się konstrukcji, co podkreśla znaczenie dalszych badań w tej dziedzinie. Metamateriały mogą przyczynić się do postępu technologicznego w różnych gałęziach inżynierii.
Badania wpływu wybranych czynników na funkcjonowanie przejść dla pieszych w miastach
- Lucyna Gumińska
2024 Pełny tekst
W rozprawie doktorskiej poświęcono uwagę funkcjonowaniu przejść dla pieszych w warunkach miejskich, zwracając szczególną uwagę na zależność fundamentalną pomiędzy podstawowymi parametrami potoku pieszych oraz sposób jej wykorzystania w procesie wyboru rodzaju przejścia. Głównym celem pracy jest identyfikacja istotnych czynników wpływających na funkcjonowanie przejść dla pieszych oraz opracowanie modeli matematycznych zależności między podstawowymi parametrami ruchu, na przejściach dla pieszych w obszarze miejskim. Sformułowano także trzy cele naukowe i trzy cele praktyczne. Do realizacji tych celów wykonano serię badań ankietowych, terenowych i symulacyjnych oraz prac obliczeniowo-analitycznych. Na podstawie zebranych danych, ustalono podstawowe parametry fundamentalnej zależności między parametrami ruchu pieszych (QP-VP-DP). Korzystając z modelu tej zależności, określono wpływ wybranych czynników na funkcjonowanie przejść dla pieszych. Ponadto ustalono zależność pomiędzy natężeniem ruchu pieszego i natężeniem ruchu kołowego na przepustowość i straty czasu pieszych i pojazdów w obszarze przejść dla pieszych. Implementację wyników przeprowadzonych prac przedstawiono w postaci koncepcji wielokryterialnej metody wyboru rodzaju przejścia dla pieszych, która w swoich założeniach uwzględnia wyniki z przeprowadzonych badań oraz wskazuje kierunki dalszych prac badawczych i rozwojowych umożliwiających rozwinięcie metody oraz rekomendacje dotyczące jej wdrożenia.
Badanie dynamiki platform pływających morskich turbin wiatrowych z zastosowaniem metod numerycznej mechaniki płynów
- Ewelina Ciba
2024 Pełny tekst
Praca dotyczy badania ruchu platform pływających pod morskie turbiny wiatrowe. Przedstawiono w niej główne metody obliczeń i przedyskutowano ich zastosowanie. Na przykładzie koncepcji konstrukcji 3-kolumnowej platformy typu Spar przedstawiono metodykę wykonywania obliczeń z zastosowaniem programu AQWA opartego na metodzie dyfrakcyjnej, rozszerzonego o współczynniki wynikające z lepkości wyznaczone za pomocą obliczeń RANSE-CFD. Wyznaczono współczynniki hydromechaniczne dla konstrukcji w wersji podstawowej oraz z dodatkową płytą tłumiącą. Przestawiono dwie metody obliczania współczynników: testy oscylacji swobodnych oraz oscylacji wymuszonych. Wykonano obliczenia w programie AQWA rozszerzonym o wpływ lepkości za pomocą dodatkowej macierzy współczynników tłumienia liniowego oraz z wykorzystaniem dodatkowego współczynnika oporu Morisona stwierdzając, że druga metoda jest lepsza. Skuteczność metody potwierdzono wynikami badań modelowych. Wykonano ponadto szczegółowe analizy zastosowania dodatkowego elementu tłumiącego w postaci płyty tłumiącej pełnej lub płyty z otworami. Opisano wpływ zastosowania każdego z poszczególnych rozwiązań na wartości współczynników hydrodynamicznych konstrukcji. Na podstawie otrzymanych wyników wyciągnięto praktyczne wnioski użyteczne do projektowania konstrukcji wsporczych pod morskie turbiny wiatrowe.
Badanie skuteczności ochrony katodowej Ostrogi Pilotowej w Porcie Gdynia
- Krzysztof Żakowski
- Juliusz Orlikowski
2024
Przedmiotem ekspertyzy jest ocena skuteczności ochrony katodowej palościanki Ostrogi Pilotowej w Porcie Wojennym w Gdyni Oksywiu, po pogłębieniu Kanału Portowego i zamontowaniu dodatkowych anod galwanicznych.
Badanie wybranych właściwości wyłączników różnicowoprądowych typu F
- Stanisław Czapp
- Hanan Tariq
- Kornel Borowski
2024 Pełny tekst Przegląd Elektrotechniczny
W instalacjach elektrycznych niskiego napięcia instaluje się coraz więcej przekształtników energoelektronicznych (systemy fotowoltaiczne, instalacje ładowania pojazdów elektrycznych, układy napędowe o regulowanej prędkości obrotowej silnika), a mają one wpływ na dobór typu wyzwalania wyłączników różnicowoprądowych (AC, A, F lub B). W obwodach, w których pojawia się prąd różnicowy zawierający składowe o częstotliwości innej niż 50 Hz, może być konieczne zastosowanie wyłącznika różnicowoprądowego typu F. W artykule omówiono wyniki badań progu zadziałania tego typu wyłączników różnicowoprądowych przy prądach różnicowych o częstotliwościach innych niż 50 Hz. Przedstawiono również reakcję wyłączników różnicowoprądowych typu F na pomiar impedancji pętli zwarciowej wykonany dwoma miernikami różniącymi się czasem przepływu prądu pomiarowego. Uzyskane wyniki wskazują, jaki należy dobrać miernik, aby nie następowało zbędne wyzwalanie wyłączników różnicowoprądowych typu F podczas tego pomiaru.
BADNIA WYTRZYMAŁOŚCI HISTORYCZNYCH MURÓW CEGLANYCH
- Maciej Niedostatkiewicz
- Tomasz Majewski
2024 Pełny tekst
Treść niniejszego artykułu dotyczy badań historycznych murów ceglanych i swoim zakresem obejmuje zarówno badania polowe, jak również eksperymenty laboratoryjne. Zakres artykułu dotyczy badań wytrzymałościowych zabytkowych murów ceglanych, rozumianych jako badania wytrzymałości na ściskanie.
Balistyka Dla Snajperów
- Jerzy Ejsmont
2024
Książka stanowi poradnik dla snajperów zawierający informacje na temat balistyki wewnętrznej, zewnętrznej i końcowej pocisków karabinowych. Omówione są również celowniki optyczne, noktowizyjne i termowizyjne.
BANKRUPTCY PREDICTION IN VISEGRAD GROUP COUNTRIES
- Błażej Prusak
- Michal Karas
2024 Polish Journal of Management Studies
The novelty of the study is a comprehensive look at the problem of bankruptcy forecasting in Visegrad Group countries (V4) and making a comparison in relation to the achievements obtained in more developed western countries. The conducted research based on a systematic literature review of 151 publications indexed in Scopus and Web of Science and bibliometric analysis. The results showed that the main lines of research are from many perspectives unique compared to traditional western models, which are mainly given by different historical developments. Among the most predominant trends in the V4 countries, belongs relying on traditional classification algorithms with few exemptions of more advanced approaches, such as ensemble techniques. There are still many researchers using foreign bankruptcy forecasting models, which is an undesirable phenomenon due to their low efficiency. Although economically and culturally, these countries have many similarities, different predictors should be used in the process of developing bankruptcy prediction models. The conducted bibliometric analysis unveils the most influential papers, authors and periods of interest. Considering the number of publications and studies conducted, Hungary has a much smaller number than Slovakia, the Czech Republic and Poland. The results also showed challenges for further research, as most models rely on financial data, with limited focus on other predictors. In addition, most models are static in nature.
BASECOL2023 scientific content
- M. L. Dubernet
- C. Boursier
- O. Denis-Alpizar
- Y.a. Ba
- N. Moreau
- C. M. Zwölf
- M.a. Amor
- D. Babikov
- N. Balakrishnan
- C. Balança
- M. Ben Khalifa
- A. Bergeat
- C.t. Bop
- L. Cabrera-González
- C. Cárdenas
- A. Chefai
- P. J. Dagdigian
- F. Dayou
- S. Demes
- B. Desrousseaux
- F. Dumouchel
- A. Faure
- R. C. Forrey
- Jan Franz
- R. M. García-Vázquez
- Francesco Antonio Gianturco
- A. Palluet Godard
- Lola González-Sánchez
- G. C. Groenenboom
- P. Halvick
- K. Hammami
- F. Khadri
- Y. Kalugina
- I. Kleiner
- Jacek Kłos
- F. Lique
- J. Loreau
- B. Mandal
- Barry P. Mant
- S. Marinakis
- D. Ndaw
- P. Jankowiak Pirlot
- T. Price
- E. Quintas-Sánchez
- R. Ramachandran
- E. Sahnoun
- C. Santander
- P. C. Stancil
- T Stoecklin
- Jonathan Tennyson
- F. Tonolo
- R. Urzúa-Leiva
- B. Yang
- E. Yurtsever
- M. Żóltowski
2024 Pełny tekst ASTRONOMY & ASTROPHYSICS
Context. The global context of making numerous data produced by researchers available requires collecting and organising the data, assigning meaningful metadata, and presenting the data in a meaningful and homogeneous way. The BASECOL database, which collects inelastic rate coefficients for application to the interstellar medium and to circumstellar and cometary atmospheres, meets those requirements. Aims. We aim to present the scientific content of the BASECOL2023 edition. Methods. While the previous versions relied on finding rate coefficients in the literature, the current version is populated with published results sent by the producers of data. The paper presents the database, the type of data that can be found, the type of metadata that are used, and the Virtual Atomic and Molecular Data Centre (VAMDC) standards that are used for the metadata. Finally, we present the different datasets species by species. Results. As the BASECOL database, interconnected with the VAMDC e-infrastructure, uses the VAMDC standards, the collisional data can be extracted with tools using VAMDC standards and can be associated with spectroscopic data extracted from other VAMDC connected databases such as the Cologne database for molecular spectroscopy (CDMS), the jet propulsion laboratory molecular spectroscopy database (JPL), and the high-resolution transmission molecular absorption database (HITRAN).