Brief Announcement: Intermediate Value Linearizability: A Quantitative Correctness Criterion

2020 ◽  
Author(s):  
Arik Rinberg ◽  
Idit Keidar
Keyword(s):  
Correctness Criterion ◽  
Intermediate Value

Nonstandard Version of Intermediate Value Property

2017 ◽  
Vol 5 (1) ◽  
pp. 142-146
Author(s):  
Ibrahim Hamad ◽  
Sami Hussein
Keyword(s):  
Intermediate Value

scholarly journals Qualitative Properties of Autocatalytic Reactions Occurring in a Flow System

1985 ◽  
Vol 40 (7) ◽  
pp. 736-747
Author(s):  
Sang H. Kim ◽  
Vladimir Hlavacek
Keyword(s):  
Chaotic Behavior ◽  
Flow System ◽  
Cell Model ◽  
Dispersion Model ◽  
Travelling Waves ◽  
Continuous Model ◽  
Product Inhibition ◽  
Stable Node ◽  
Qualitative Properties ◽  
Intermediate Value

The dynamic behavior of an autocatalytic reaction with a product inhibition term is studied in a flow system. A unique steady state exists in the continuous tank reactor. Linear stability analysis predicts either a stable node, a focus or an unstable saddle-focus. Sustained oscillations around the unstable focus can occur for high values of the Damköhler number (Da). In the distributed system, travelling, standing or complex oscillatory waves are detected. For a low value of Da, travelling waves with a pseudo-constant pattern are observed. With an intermediate value of Da, single or multiple standing waves are obtained. The temporal behavior indicates also the appearance of retriggering or echo waves. For a high value of Da, both single peak and complex multipeak oscillations are found. In the cell model, both regular oscillations near the inlet and chaotic behavior downstream are observed. In the dispersion model, higher Peclet numbers (Pe) eliminate the oscillations. The spatial profile shows a train of pulsating waves for the discrete model and a single pulsating or solitary wave for the continuous model.

Analysis of Fractional Composition and Specific Surface of Silicone Dioxide Nanopowders

2020 ◽  
Vol 992 ◽  
pp. 551-555
Author(s):  
O.N. Kravtsova ◽  
G.G. Vinokurov ◽  
N.F. Struchkov
Keyword(s):  
Specific Surface ◽  
Surface Area ◽  
Specific Surface Area ◽  
Fractional Composition ◽  
Nanosized Powder ◽  
Nanosized Powders ◽  
Powder Mixtures ◽  
Angle Scattering ◽  
Intermediate Value ◽  
Particle Shapes

For the development of new compositions of modified powder mixtures a comprehensive analysis of the technical characteristics of powder additives is required. The specific surfaces of nanosized powders of "Tarkosil" silicone dioxide were determined by the experimental method. Therefore, at present, the estimating relationships of sizes, particles shapes and specific surface area of nanosized powder is relevant scientific and practical task. And the particles shape was evaluated by the values of these surfaces. Using the method of small-angle scattering the functions of distribution of the modifying powders particles on their sizes were estimated, and the average values of particles size of "Tarkosil" powder were specified The particle shape of the modifying powders has been estimated according to the specific surface values. The particle shapes of T50 powders are close to isometric (a ball, a cube); particle shapes of T150 powders correspond to a tetrahedron, the particle size T80 and T110 corresponds to the intermediate value of the specific surface area.

BRIDGING THE GAP BETWEEN BUSINESS MODELS AND WORKFLOW SPECIFICATIONS

2004 ◽  
Vol 13 (03) ◽  
pp. 289-332 ◽  
Author(s):  
JULIANE DEHNERT ◽  
WIL M. P. VAN DER AALST
Keyword(s):  
Information System ◽  
Business Process ◽  
Process Modeling ◽  
Business Models ◽  
Formal Semantics ◽  
Business Process Modeling ◽  
Modeling Language ◽  
Correctness Criterion ◽  
Process Chains ◽  
Selection Of

This paper presents a methodology to bridge the gap between business process modeling and workflow specification. While the first is concerned with intuitive descriptions that are mainly used for communication, the second is concerned with configuring a process-aware information system, thus requiring a more rigorous language less suitable for communication. Unlike existing approaches the gap is not bridged by providing formal semantics for an informal language. Instead it is assumed that the desired behavior is just a subset of the full behavior obtained using a liberal interpretation of the informal business process modeling language. Using a new correctness criterion (relaxed soundness), it is verified whether a selection of suitable behavior is possible. The methodology consists of five steps and is illustrated using event-driven process chains as a business process modeling language and Petri nets as the workflow specification language.

scholarly journals Sustainability Assessment of White Shrimp (Penaeus vannamei) Production in Super-Intensive System in the Municipality of San Blas, Nayarit, Mexico

Water ◽  
2021 ◽  
Vol 13 (3) ◽  
pp. 304
Author(s):  
Favio Andrés Noguera-Muñoz ◽  
Benjamín García García ◽  
Jesús Trinidad Ponce-Palafox ◽  
Omar Wicab-Gutierrez ◽  
Sergio Gustavo Castillo-Vargasmachuca ◽  
...  
Keyword(s):  
Sustainability Assessment ◽  
Financial Analysis ◽  
Positive Impact ◽  
Mangrove Ecosystem ◽  
White Shrimp ◽  
Penaeus Vannamei ◽  
Fixed Costs ◽  
Farm Model ◽  
Intermediate Value ◽  
Intensive System

The super-intensive white shrimp system is more productive (t ha−1) than traditional systems. However, it implies greater investment in infrastructure and machinery, a continuous supply of electricity, and a specialized workforce. Therefore, the sustainability of a shrimp farm model operating in a super-intensive system in Nayarit (Mexico) was evaluated using financial analysis and life cycle assessment. The investment is important, but the fixed costs (16%) are much lower than variable costs (84%). The super-intensive farm is economically viable, with an overall profitability (29%) that is higher than that of other agri-food activities in Mexico. It is also an activity that generates a lot of employment, in relative terms, as well as economic movement in the area. The potential environmental impacts are higher than those registered in semi-intensive shrimp systems but slightly lower than those registered in intensive systems. The estimated global warming value per kg of shrimp is 5.08 kg CO2-eq, an intermediate value. Also, as the shrimp production is much higher than in traditional systems, it could have a great and positive impact on the maintenance and regeneration of the mangrove ecosystem.

Evaluation of Mechanical Properties of Dental Feldsphatic Porcelains for Metal and Zirconia Core

2012 ◽  
Vol 727-728 ◽  
pp. 1104-1107
Author(s):  
Antonio Alves de Almeida-Junior ◽  
Gelson Luis Adabo ◽  
Beatriz Regalado Galvão ◽  
Diogo Longhini ◽  
Claudinei dos Santos
Keyword(s):  
Fracture Toughness ◽  
Flexural Strength ◽  
Vickers Hardness ◽  
High Hardness ◽  
Hardness Test ◽  
Dental Prostheses ◽  
Significant Incidence ◽  
Significant Difference ◽  
Fixed Dental Prostheses ◽  
Intermediate Value

Studies has been reported a significant incidence of chipping of the feldspathic porcelain veneer in zirconia-based restorations. The purpose of this study was to compare the three-point flexural strength (MPa), Weibull parameters, Vickers hardness (VHN) and Vickers indentation fracture toughness (MPa/mm1/2) in feldspatic porcelains for metal and for zirconia frameworks. Bar specimens were made with the porcelains e.MaxCeram (EM) and VitaVM9 (V9) for zirconia core, and Duceragold (DG) and VitaVMK95 (VK) for metal core (n= 15). Kruskal-Wallis and Dun test were used for statistical analysis. There was no significant difference (p=0.31) among the porcelains in the flexural strength (Median= 73.2; 74.6; 74.5; 74.4). Weibull calculation presented highest reliability for VK (10.8) followed by EM (7.1), V9 (5.7) and DG (5.6). Vickers hardness test showed that EM (536.3), V9 (579.9) and VK (522.1) had no difference and DG (489.6) had the lowest value (p.001). The highest fracture toughness was to VK (1.77), DG (1.58) had an intermediate value while V9 (1.33) and EM (1.18) had the lowest values (p.001). Despite of the suitable flexural strength, reliability and high hardness, the porcelains used to zirconia-based fixed dental prostheses showed lower fracture toughness values.

scholarly journals The Probability That a Measurement Falls within a Range of Standard Deviations from an Estimate of the Mean

2012 ◽  
Vol 2012 ◽  
pp. 1-8 ◽  
Author(s):  
Louis M. Houston
Keyword(s):  
Confidence Interval ◽  
Sample Size ◽  
General Equation ◽  
Sample Sizes ◽  
The Mean ◽  
Standard Deviations ◽  
Intermediate Value ◽  
Theoretical Results

We derive a general equation for the probability that a measurement falls within a range of n standard deviations from an estimate of the mean. So, we provide a format that is compatible with a confidence interval centered about the mean that is naturally independent of the sample size. The equation is derived by interpolating theoretical results for extreme sample sizes. The intermediate value of the equation is confirmed with a computational test.

Sign in / Sign up

Export Citation Format

Share Document