Results 11 to 20 of about 2,987,962 (161)
Deciding equivalence-based properties using constraint solving [PDF]
Formal methods have proved their usefulness for analyzing the security of protocols. Most existing results focus on trace properties like secrecy or authentication.
Véronique Cortier +5 more
core +1 more source
LES evaluation of the effects of equivalence ratio fluctuations on the dynamic flame response in a real gas turbine combustion chamber [PDF]
Large Eddy Simulations (LES) of a lean swirl-stabilized gas turbine burner are used to analyze mechanisms triggering combustion instabilities. To separately study the effect of velocity and equivalence ratio fluctuations, two LES of the same geometry are
Hermeth, Sebastian +4 more
core +1 more source
Strong Equivalence of Qualitative Optimization Problems [PDF]
We introduce the framework of qualitative optimization problems (or, simply, optimization problems) to represent preference theories. The formalism uses separate modules to describe the space of outcomes to be compared (the generator) and the preferences
Truszczyński, Miroslaw +2 more
core +3 more sources
Potential of Semi-Empirical Heat Transfer Models in Predicting the Effects of Equivalence Ratio on Low Temperature Reaction and High Temperature Reaction Heat Release of an HCCI Engine [PDF]
In this paper, the influence of equivalence ratio on the low-temperature reaction heat release (LTR-HR) and high-temperature reaction heat release (HTR-HR) of homogeneous charge compression ignition engine has been experimentally and numerically examined.
Masoud Rabeti +4 more
doaj +1 more source
Temperature distribution and flue gas emissions in gas turbine combustion chambers have attracted the attention of researchers in recent years.
Buğrahan Alabaş, Adem Altınay
doaj
Responses of conical premixed methane/air mixture flames with equivalence ratio oscillations were numerically investigated at three different oscillation frequency regimes; low, medium and high (10, 50 and 150 s-1) under a rich condition.
Abdul Rahman Mohd ROSDZIMIN +2 more
doaj +1 more source
Numerical Investigation of Mixing Characteristic for CH4/Air in Rotating Detonation Combustor
The mixing process of fuel and oxidizer is a very critical factor affecting the real operating performance of non-premixed rotating detonation combustor.
Shan Jin +5 more
doaj +1 more source
Recently, artificial intelligence models have been developed to simulate the biomass gasification systems. The extant research models use different input features, such as carbon, hydrogen, nitrogen, sulfur, oxygen, and moisture content, in addition to ...
Hung-Ta Wen, Hom-Yu Wu, Kuo-Chien Liao
doaj +1 more source
Responses of the premixed methane/air mixture flames under equivalence ratio oscillations were numerically investigated assuming axi-symmetric stagnation flow fields.
Mohd Rosdzimim Abdul RAHMAN +2 more
doaj +1 more source
Investigation of Biomass Integrated Air Gasification Regenerative Gas Turbine Power Plants
The results show that Wood Chips of Acacia Nilotica trees available in Sudan lands can be successfully used in the gasification process and, on the same basis, as a bio-renewable energy resource.
Momin Elhadi Abdalla +4 more
doaj +1 more source

