the paper presents results of experimental studies on the methane and propane ignition process in various volumetric compositions of oxidizers heated to temperatures higher than ignition point of analyzed fuels (htac conditions–high temperature air combustion conditions). the increment of temperature dt and the ignition delay time tig are parameters characterizing the process of ignition under ...

An experimental study of the intrinsic instabilities of H2/CO lean (φ = 0.4 to φ = 1.0) premixed flames at different hydrogen fractions ranging from 0% to 100% at elevated pressure and room temperature was performed in a constant volume vessel using a Schlieren system. The unstretched laminar burning velocities were compared with data from the previous literature and simulated results. The resu...

Extinction limits and flame bifurcation of lean premixed dimethyl ether-air flames are investigated numerically using the counterflow flame with a reduced chemistry. Emphasis is paid to the combined effect of radiation and flame stretch on the extinction and flammability limits. A method based on the reaction front is presented to predict the Markstein length. The predicted positive Markstein l...

As a fundamental study in the application to direct-injection spark-ignition engines or gas turbines, in which mixture stratification and partial quenching are of serious concerns, unsteady premixed methane/ air flames subjected to time-varying composition fluctuations are investigated computationally. The code OPUS employs an unsteady opposed-flow combustion configuration, including detailed c...

In this investigation, the structure of one-dimensional flame propagation in uniform cloud of volatile organic particles has been analyzed in which the structure of flame is divided into three zones. The first zone is preheat zone which is divided into three subzones itself. In first subzone (heating), particle cloud heated until the moisty particles reach to vapor vaporization temperature. In ...

Kripke Structures and Labelled Transition Systems are the two most prominent semantic models used in concurrency theory. Both models are commonly believed to be equi-expressive. One can find many ad-hoc embeddings of one of these models into the other. We build upon the seminal work of De Nicola and Vaandrager that firmly established the correspondence between stuttering equivalence in Kripke S...

The enactment of strict laws on reducing pollution and controlling combustion has given rise to the necessity of considering a new approach to energy supply in the future. One such approach is the use of hydrogen as an alternative to fossil fuels. Hydrogen and synthesis gas are typically produced through the partial oxidation of methane in porous media. This process was theoretically simula...

Techniques for reasoning about extensional properties of functional programs are well understood, but methods for analysing the underlying intensional or operational properties have been much neglected. This paper begins with the development of a simple but useful calculus for time analysis of non-strict functional programs with lazy lists. One limitation of this basic calculus is that the ordi...