Iskanje po katalogu digitalne knjižnice

Iskalni niz:	išči po
	išči po
	išči po
	išči po
Vrsta gradiva:	* po starem in bolonjskem študiju
Jezik:
Išči po:
Opcije:	Prikaži samo zadetke s celotnim besedilom
	Ponastavi

1 - 2 / 2

Discrete time model for process meta language with fictitious-clock
Boštjan Vlaovič, Aleksander Vreže, 2022, izvirni znanstveni članek

Opis: Industries like telecommunications, medical, automotive, military, avionics, and aerospace use complex real-time systems. Specification and Description Language (SDL) is one of the leading domain specific languages that is formally defined by international standards and well established in describing such systems. To check system properties abstracted model of the system is prepared in selected modeling language. We use Spin (Simple Promela Interpreter) model checker that is one of the leading tools for verification of complex concurrent and reactive systems. This paper focuses on modeling the SDL timer construct. It is one of the SDL constructs that is not easily modeled with Promela, but is present in many SDL systems. After an overview of the related work we propose a new Discrete Time Model for Promela (DTMP) that is seamlessly integrated in our framework for modeling SDL systems and can be used with the mainstream version of the Spin tool. To the best of our knowledge, this is not possible with the existing solutions. We describe how DTMP can be used to model SDL systems that use timers. Experimental results demonstrate its applicability to non-SDL systems with Fischer’s mutual exclusion protocol and the Parallel Acknowledgment with Retransmission that were used in prior studies. We compare state-space requirements with one of the existing solutions DT Promela and DT Spin. With that, virtues and shortcomings of this high-level solution are exposed. We have shown that DTMP is effective when an extensive range of timer expiration values are used, which is usually the case in real-life SDL systems.
Ključne besede: formal specifications, formal languages, discrete time, model checking, automated extraction, SDL, Promela, SpinRCP, Sdl2pml
Objavljeno v DKUM: 27.03.2025; Ogledov: 0; Prenosov: 6
Celotno besedilo (660,17 KB)
Gradivo ima več datotek! Več...

Chemical composition of Juniperus communis L. fruits supercritical CO2 extracts: dependence on pressure and extraction time
Branislava Barjaktarović, Milan Sovilj, Željko Knez, 2005, izvirni znanstveni članek

Opis: Ground fruits of the common juniper (Juniperus communis L), with a particle size range from 0.2500.400 mm, forming a bed of around 20.00 +/- 0.05 g, were extracted with supercritical CO2 at pressures of 80,90, and 100 bars and at a temperature of 40 De. The total amount of extractable substances or global yield (mass of extract/mass of raw material) for the supercritical fluid extraction process varled from 0.65 to 4.00"10 (wt). At each Investigated pressure, supercriticaI CO2 extract fractions collected In successive time intervals over the course of the extraction were analyzed by capillary gas chromatography, using flame ionization (GO-FIO) and mass spectrometric detection (GC-MS). More than 200 constituents were detected In the extracts, and the contents of 50 compounds were reported in the work. Dependence of the percentage yields of monoterpene, sesquiterpene, oxygenated monoterpene, and oxygenated sesquiterpene hydrocarbon groups on the extraction time was investigated, and conditions that favored the yielding of each terpene groups were emphasized. At all pressures, monoterpene hydrocarbons were almost completely extracted from the berries in the first 0.6 h. It was possible to extract oxygenated monoterpenes at 100 bar in 0.5 h and at 90 bar in 1.2 h. Contrary to that, during an extraction period of 4 h at 80 bar, it was possible to extract only 75% of the maximum yielded value of oxygenated monoterpene at 100 bar. Intensive extraction of sesquiterpenes could be by no means avoided at any pressure, but at the beginning of the process (the first 0.5 h) at 80 bar, they were extracted about a and 3 times slower than at 100 and 90 bar, respectively. Oxygenated sesquiterpenes were yielded at fast, constant extraction rates at 100 and 90 bar In 1.2 and 3 h, respectively. This initial fast extraction period was consequently foIlowed by much slower extraction of oxygenated sesquiterpenes.
Ključne besede: chemical processing, high pressure technology, CO2, supercritical fluid extraction, pressure, extraction time, Juniperus communis, oxygenated terpenes, juniper berry oil, carbon dioxide
Objavljeno v DKUM: 01.06.2012; Ogledov: 2229; Prenosov: 60
Povezava na celotno besedilo

Iskanje izvedeno v 0.02 sek.

Na vrh