Synchronization, coherence, and event ordering in multiprocessors

Computer ◽  
10.1109/2.15 ◽  
1988 ◽  
Vol 21 (2) ◽  
pp. 9-21 ◽  
Author(s):  
M. Dubois ◽  
C. Scheurich ◽  
F.A. Briggs
Keyword(s):  
Event Ordering

scholarly journals Event order generation using Reference Event based qualitative Temporal (REseT) relations in Time Event Ontology

2014 ◽  
Vol 4 (1) ◽  
Author(s):  
V. Uma ◽  
G. Aghila
Keyword(s):  
Query Languages ◽  
Vital Role ◽  
Knowledge Representation And Reasoning ◽  
Interval Algebra ◽  
Event Ordering ◽  
Ontology Language ◽  
Reference Event ◽  
Event Order ◽  
Event Based ◽  
Temporal Ordering

AbstractOWL (Web Ontology Language) is the standard language for Semantic Web and is used in defining ontologies for Web. Temporal event data are ubiquitous in nature. Temporal data can be represented qualitatively using temporal relations in OWL, enabling temporal ordering of events which plays a vital role in task planners. The basic Allen’s temporal interval relations can be used to describe relations in OWL. Allen’s interval algebra is a well known formalism used to represent and reason the temporal knowledge. In this work, Allen’s interval algebra is extended by Reference Event based Temporal (REseT) relations to reduce the ambiguity in the before relation. The extended formalism is used in the representation of relations between time intervals and the viability of ordering of events in ontology is elucidated. This paper proposes a temporal knowledge representation and reasoning based event ordering system which helps in the temporal ordering of events. The advantage of this method is that it does not introduce any additional constructs in OWL and hence the existing reasoning tools and DL based query languages are capable of generating the linear order of events. The system is investigated experimentally using the COW (Correlates of War) dataset and has been evaluated using the Percent_ Similarity measure.

Dynamic PRA Based on System Codes Coupling for Passive Safety System in Integral Pressurized Water Reactor

2020 ◽  
Author(s):  
Yi Mi ◽  
Akira Tokuhiro
Keyword(s):  
Natural Circulation ◽  
Passive Safety ◽  
Pressurized Water Reactor ◽  
Pressurized Water ◽  
Active Systems ◽  
Water Reactor ◽  
System Parameters ◽  
Event Ordering ◽  
Passive Safety Systems ◽  
The Difference

Abstract An integral Pressurized Water Reactor (iPWR) type SMR was studied featuring Passive Safety Systems (PSSs). Different from active systems, PSSs are easily influenced by system parameters referred to as phenomenological factors such as heat loss, flow friction, oxidation, non-condensable gases and void fraction due to the low driving force of natural circulation. The system parameters also contribute to the uncertainty and dependency of PSS leading to the system unreliability. Thus, efforts are made to improve the reliability of PSS. A classical Probabilistic Risk Assessment (PRA) model describing active systems does not consider time evolution nor event ordering for PSS that dynamic PRA can accommodate. Here we developed and realized coupling between LabVIEW and CAFTA. Isolation Condenser System (ICS) is taken as the benchmark system due to the simple design in single phase without phase change phenomena in order to mainly remove decay heat and secondarily depressurize the reactor pressure vessel (RPV). A classical PRA model of ICS using CAFTA is coupled with real-time simulation of primary loop and ICS in LabVIEW, leading to a dynamic simulation result. The difference in failure probability using dynamic versus classical PRA revealed that for one there are more component demands with different event ordering, such that improved PSS reliability in the iPWR-type SMR designs is possible.

scholarly journals Event Ordering in Live-Cell Imaging Determined from Temporal Cross-Correlation Asymmetry

2010 ◽  
Vol 98 (11) ◽  
pp. 2432-2441 ◽  
Author(s):  
Daniel R. Sisan ◽  
Defne Yarar ◽  
Clare M. Waterman ◽  
Jeffrey S. Urbach
Keyword(s):  
Live Cell Imaging ◽  
Cross Correlation ◽  
Cell Imaging ◽  
Live Cell ◽  
Event Ordering

Event ordering in pervasive sensor networks

2009 ◽  
Author(s):  
Lakshman Kaveti ◽  
Sandeep Pulluri ◽  
Gurdip Singh
Keyword(s):  
Sensor Networks ◽  
Event Ordering
Sign in / Sign up

Export Citation Format

Share Document