scholarly journals Interface Automata for Shared Memory

2021 ◽  
Author(s):  
Ayleen Schinko ◽  
Walter Vogler ◽  
Johannes Gareis ◽  
N. Tri Nguyen ◽  
Gerald Lüttgen
Keyword(s):  
Shared Memory ◽  
Standard Treatment ◽  
Open Systems ◽  
Synchronization Mechanism ◽  
Interface Automata ◽  
Shared Variables ◽  
Closed Systems ◽  
Modal Transition Systems ◽  
Complex Settings ◽  
Systems View

AbstractInterface theories based on Interface Automata (IA) are formalisms for the component-based specification of concurrent systems. Extensions of their basic synchronization mechanism permit the modelling of data, but are studied in more complex settings involving modal transition systems or do not abstract from internal computation. In this article, we show how de Alfaro and Henzinger’s original IA theory can be conservatively extended by shared memory data, without sacrificing simplicity or imposing restrictions. Our extension IA for shared Memory (IAM) decorates transitions with pre- and post-conditions over algebraic expressions on shared variables, which are taken into account by IA’s notion of component compatibility. Simplicity is preserved as IAM can be embedded into IA and, thus, accurately lifts IA’s compatibility concept to shared memory. We also provide a ground semantics for IAM that demonstrates that our abstract handling of data within IA’s open systems view is faithful to the standard treatment of data in closed systems.

Expertise as a Form of Knowledge: A Response to Quast

2020 ◽  
Vol 42 (2) ◽  
pp. 431-442
Author(s):  
Steve Fuller
Keyword(s):  
Social Epistemology ◽  
Open Systems ◽  
Epistemic Standard ◽  
Closed Systems ◽  
The Difference

Abstract Christian Quast has presented what he describes as a ‘role-functional’ account of expertise as a form of knowledge that purports to take into account prior discussions within recent analytic social epistemology and allied fields. I argue that his scrupulousness results in a confused version of the role-functional account, which I try to remedy by presenting a ‘clean’ account that clearly distinguishes such an account from what Quast calls a ‘competence-driven’ one. The key point of my account is that ‘competence’ pertains to knowledge in closed systems and ‘expertise’ in open systems. I observe that the invocation of ‘reliability’ as an epistemic standard simply serves to confuse the difference between the competence-driven and role-functional accounts.

6. Such quantities of sand

2014 ◽  
pp. 102-117
Author(s):  
Christopher Hall
Keyword(s):  
Carbon Dioxide ◽  
Circular Economy ◽  
Carbon Dioxide Emissions ◽  
Energy Supply ◽  
Open Systems ◽  
Human History ◽  
Material Flows ◽  
Material Resources ◽  
World Energy ◽  
Closed Systems

‘Such quantities of sand’ looks at sustainability and considers three features of the global materials system that need fixing: carbon dioxide emissions, world energy supply, and finite material resources. All societies, however diverse, are comprehensively and universally dependent on material artefacts. The scale of global material flows is enormous, and now greater than for all of human history. In a finite world, there are limits and so it is wise, on some timescale, to favour a circular economy of closed systems (repair, re-use, recycle) over open systems (extract, make, use, discard). Whatever else we do, it helps if we reduce the rate of flow of materials through the economy (use less, use longer).

Investigating the Mixing Efficiencies of Liquid-to-Liquid Chemical Injection Manifolds for Aquatic Invasive Species Management

2018 ◽  
Vol 141 (3) ◽  
Author(s):  
Thomas J. Zolper ◽  
Aaron R. Cupp ◽  
David L. Smith
Keyword(s):  
Invasive Species ◽  
Large Scale ◽  
Open Systems ◽  
Mixing Time ◽  
Water Injection ◽  
The United States ◽  
Aquatic Invasive Species ◽  
Chemical Treatments ◽  
Invasive Organisms ◽  
Closed Systems

Aquatic invasive species (AIS) have spread throughout the United States via major rivers and tributaries. Locks and dams positioned along affected waterways, specifically lock chambers, are being evaluated as potential management sites to prevent further expansion into new areas. Recent research has shown that infusion of chemicals (e.g., carbon dioxide) into water can block or kill several invasive organisms and could be a viable option at navigational structures such as lock chambers because chemical infusion would not interfere with vessel passage or lock operation. Chemical treatments near lock structures will require large-scale fluid-mechanic systems and significant energy. Mixing must extend to all stagnation regions within a lock structure to prevent the passage of an invasive fish. This work describes the performance of both wall- and floor-based CO2-infused-water to water injection manifolds targeted for lock structures in terms of mixing time, mixing homogeneity, injection efficiency, and operational power requirements. Both systems have strengths and weaknesses so selection recommendations are given for applications such as open systems and closed systems.

Leading Change With Intelligence: The Power of Diagnosis in Creating Organizational Renewal

2020 ◽  
Vol 56 (4) ◽  
pp. 420-436
Author(s):  
Celeste A. Coruzzi
Keyword(s):  
Organizational Change ◽  
Organizational Performance ◽  
Essential Role ◽  
Open Systems ◽  
Leading Change ◽  
Organizational Renewal ◽  
Technology Adaptation ◽  
Depth Study ◽  
Systems View ◽  
Growth Technology

The success of any organizational change effort relies first and foremost on expert diagnosis—the ability to gain intelligence about the system you are trying to change. The Burke–Litwin Model of Organizational Performance and Change, as developed by W. Warner Burke and George H. Litwin, represents one of a critical body of work contributing to the efficacy of leadership and its essential role in both diagnosing and managing organizational change from a holistic, open-systems view. An in-depth study of the model in practice is presented in the case of Electric Boat during a time of significant growth, technology adaptation, and demographic/attitudinal shifts in the workplace.

scholarly journals Open Prebiotic Environments Drive Emergent Phenomena and Complex Behavior

Life ◽  
2019 ◽  
Vol 9 (2) ◽  
pp. 45 ◽  
Author(s):  
Nathaniel Wagner ◽  
David Hochberg ◽  
Enrique Peacock-Lopez ◽  
Indrajit Maity ◽  
Gonen Ashkenasy
Keyword(s):  
Open Systems ◽  
Complex Behavior ◽  
Working Models ◽  
Emergent Phenomena ◽  
Systems Chemistry ◽  
Wide Range ◽  
Closed Systems ◽  
Prebiotic Environments ◽  
Far From Equilibrium ◽  
And Function

We have been studying simple prebiotic catalytic replicating networks as prototypes for modeling replication, complexification and Systems Chemistry. While living systems are always open and function far from equilibrium, these prebiotic networks may be open or closed, dynamic or static, divergent or convergent to a steady state. In this paper we review the properties of these simple replicating networks, and show, via four working models, how even though closed systems exhibit a wide range of emergent phenomena, many of the more interesting phenomena leading to complexification and emergence indeed require open systems.

Surface flow of granular materials: model and experiments in heap formation

2001 ◽  
Vol 441 ◽  
pp. 255-264 ◽  
Author(s):  
D. V. KHAKHAR ◽  
ASHISH V. ORPE ◽  
PETER ANDRESÉN ◽  
J. M. OTTINO
Keyword(s):  
Flow Rate ◽  
Open Systems ◽  
Static Friction ◽  
Surface Flow ◽  
Two Dimensional ◽  
Surface Flows ◽  
Industrial Practice ◽  
Natural Systems ◽  
Closed Systems ◽  
Good Agreement

Granular surface flows are important in industrial practice and natural systems, but the understanding of such flows is at present incomplete. We present a combined theoretical and experimental study of quasi-two-dimensional heap formation by pouring particles continuously at a point. Two cases are considered: open systems and closed systems. Experimental results show that the shear rate in the flowing layer is nearly independent of the mass flow rate, and the angle of static friction at the bed–layer interface increases with flow rate. Predictions of the model for the flowing layer thickness and interface angles are in good agreement with experiments.

E-Cigarettes: Policy Options and Legal Issues Amidst Uncertainty

2015 ◽  
Vol 43 (S1) ◽  
pp. 23-26 ◽  
Author(s):  
Nancy Kaufman ◽  
Margaret Mahoney
Keyword(s):  
Smoking Cessation ◽  
Propylene Glycol ◽  
Open System ◽  
Closed System ◽  
Open Systems ◽  
Delivery Systems ◽  
Legal Issues ◽  
Policy Options ◽  
Electronic Nicotine Delivery Systems ◽  
Closed Systems

E-cigarettes, sometimes referred to as ENDS (Electronic Nicotine Delivery Systems), include a broad range of products that deliver nicotine via heating and aerosolization of the drug. ENDS come in a variety of forms, but regardless of form generally consist of a solution containing humectant (e.g., propylene glycol or glycerol), flavorings, and usually nicotine (some solutions do not contain nicotine); a battery-powered coil that heats the solution into an aerosol (usually referred to as vapor) in an atomizing chamber; and a mouthpiece through which the user draws the vapor into the mouth and lungs. The devices may be closed systems containing prefilled cartridges, or open systems, where the user manually refills a 1-2 ml. tank with solution. What started as closed-system cigarette-shaped devices marketed as an adjunct for smoking cessation, has transitioned rapidly to literally thousands of hip and funky-designed open-system hookah pens, vape pens, and modifiable devices. For younger people, these forms are the “in” thing, while traditional cigarette-shaped devices are “out.”

Volatility of Antioxidants and Antiozonants II. Effect on Rubber Testing

1965 ◽  
Vol 38 (1) ◽  
pp. 134-139 ◽  
Author(s):  
R. B. Spacht ◽  
W. S. Hollingshead ◽  
H. L. Bullard ◽  
D. C. Wills
Keyword(s):  
Vapor Pressure ◽  
Open Systems ◽  
Accelerated Aging ◽  
Series Data ◽  
Oxygen Absorption ◽  
Accelerated Tests ◽  
Oxygen Bomb ◽  
Closed Systems

Abstract In the first paper of this series data were presented on the volatility and vapor pressure of eight antioxidants. The present work attempts to show how volatility-affects the performance of an antioxidant, particularly in accelerated aging tests. The usual accelerated tests are of two types: those using closed systems such as the air bomb, the oxygen bomb, and oxygen absorption, and those using open systems such as air oven aging and creep.

scholarly journals An Examination of Device Types and Features Used by Adult Electronic Nicotine Delivery System (ENDS) Users in the PATH Study, 2015–2016

2019 ◽  
Vol 16 (13) ◽  
pp. 2329 ◽  
Author(s):  
Blair Coleman ◽  
Joanne T. Chang ◽  
Brian L. Rostron ◽  
Sarah E. Johnson ◽  
Babita Das ◽  
...  
Keyword(s):  
Open Systems ◽  
Demographic Characteristics ◽  
Group Differences ◽  
Use Patterns ◽  
Closed Systems ◽  
Nationally Representative ◽  
Never Smokers ◽  
The Relationship ◽  
Hispanic White

To date no study has reported U.S. nationally representative estimates of current ENDS users by device category (“open” vs. “closed” systems) nor their detailed use behaviors. We examined the proportion of current adult ENDS users (unweighted n = 2671) using either “closed” or “open” systems during Wave 3 (2015–2016) of the Population Assessment of Tobacco and Health (PATH) Study. Demographic characteristics, use patterns, and device characteristics were examined overall and by device type. Among the 5.0% of current users at Wave 3, 43.9% used closed systems and 53.7% used open systems. Compared to closed system users, open system users were more likely to be male (60.7% vs. 48.4%), aged 18–24 (30.4% vs. 21.4%), and non-Hispanic White (76.2% vs. 65.4%), recent former (9.9% vs. 5.6%) or long-term former (20.2% vs. 10.9%) smokers, and use ENDS daily (44.1% vs. 22.5%); they were less likely to be to be current daily smokers (31.7% vs. 48.0%) or never smokers (15.2% vs. 19.5%). Adult ENDS users were nearly evenly split on their use of closed versus open systems; however, several group differences were observed. Disentangling the relationship between device selection and subsequent use patterns remains a public health priority.

Sign in / Sign up

Export Citation Format

Share Document