Results 271 to 280 of about 1,606,935 (294)
Some of the next articles are maybe not open access.
Critical Flow Properties of Steam
SPE Latin America Petroleum Engineering Conference, 1990ABSTRACT Understanding the thermodynamic properties of steam at critical flow conditions is important to the design, operation and management of steam distribution network and hence the cost of production in steam-enhanced recovery projects.
openaire +1 more source
Proving Critical Properties of Simulink Models
2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE), 2016Modern cyber-physical systems place ever-increasing reliance on high-assurance software. Recent high-profile safety and security incidents directly attributable to software point to a failure to develop sufficient assurance of software correctness through verification and validation.
Ashlie B. Hocking +3 more
openaire +1 more source
Hamiltonian properties of domination‐critical graphs
Journal of Graph Theory, 1990AbstractIn this paper we show that every connected, 3‐γ‐critical graph on more than 6 vertices has a Hamiltonian path.
openaire +1 more source
Proving properties of a safety-critical system
Software Engineering Journal, 1991The paper describes the FOREST approach to formal requirements specification and particularly the role of an automated theorem prover in validating specifications written in MAL, the FOREST logic. The MAL prover uses a tableau method for constructing its proofs, with rules to handle the action modalities and quantification of MAL.
Will Atkinson, Jim Cunningham
openaire +1 more source
Critical Properties of a Quantum Hierarchical Model
Letters in Mathematical Physics, 1997zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Albeverio, S. +2 more
openaire +3 more sources
Properties of Critical Infrastructures
2011Physical-engineered critical infrastructures (CIs) are characterized as large scale, spatially distributed, complex networks—either open or closed. According to Duenas-Osorio and Vemuru (2009), these systems are made of “a large number of interacting components (real or virtual), show emergent properties difficult to anticipate from the knowledge of ...
Wolfgang Kröger, Enrico Zio
openaire +1 more source
Critical properties of a superdiffusive epidemic process
Physical Review E, 2013We introduce a superdiffusive one-dimensional epidemic process model on which infection spreads through a contact process. Healthy (A) and infected (B) individuals can jump with distinct probabilities D(A) and D(B) over a distance ℓ distributed according to a power-law probability P(ℓ)[proportionality]1/ℓ(μ).
da Silva M. B +5 more
openaire +3 more sources
Critical Properties of Helimagnets
Europhysics Letters (EPL), 1988We show for the first time by extensive Monte Carlo simulations the nature of the phase transition in body-centred tetragonal helimagnets with both XY and Heisenberg spins. In the XY case, evidence of a first-order transition associated with the loss of helical ordering is found in addition to a second-order transition due to the breaking of basal ...
openaire +1 more source
A critical review of correlations for the critical properties of defined mixtures
AIChE Journal, 1973AbstractAn extensive critical evaluation of available correlations for predicting critical properties of binary defined hydrocarbon as well as some multicomponent hydrocarbon and hydrocarbon‐nonhydrocarbon mixtures is presented using all available literature data.
Calvin F. Spencer +2 more
openaire +1 more source
A critical evaluation of methods for the prediction of critical properties of hydrocarbons
AIChE Journal, 1973AbstractA critical evaluation and modification of the available methods for the estimation of critical properties of pure hydrocarbons was undertaken to determine the most accurate method which has general applicability with minimum input data. As a result of the study, the method of Nokay as modified by the authors is recommended for the estimation of
Calvin F. Spencer, Thomas E. Daubert
openaire +1 more source