Stepwise development of model-oriented real-time specifications from action/event models

1992 ◽  
pp. 547-570 ◽  
Author(s):  
Hans Toetenel ◽  
Jan Katwijk
Keyword(s):  
Real Time ◽  
Action Event ◽  
Stepwise Development ◽  
Event Models

scholarly journals Innovative approaches to manage entomophages production

2020 ◽  
pp. 207-213
Author(s):  
V. P. Lysenko ◽  
I. S. Chernova
Keyword(s):  
Real Time ◽  
Information Technologies ◽  
Management Strategies ◽  
It Management ◽  
Production Parameters ◽  
Stepwise Development ◽  
Intelligent Information ◽  
The Impact ◽  
Innovative Approaches

Annotation Purpose. Improving the efficiency of entomophages production by developing innovative approaches for it management. Methods. System approach, intelligent information technologies. Results. Innovative approaches for it management of entomophages production have been developed, which consist of: determining and ranking the factors that have the greatest impact on the quality of entomological products, and factors that lead to substandard products; the creation of structural and parametric complexes for assessing product quality; real-time assessment of the intensity of entomocultures development processes; automation of management abiotic parameters stepwise development of insects (temperature and relative humidity of the box for growing of insects) in real time; determining the quality of entomological products in conditions of incomplete information, taking into account the impact of a combination of abiotic and biotic production parameters; calculation of optimal values of production parameters in conditions of uncertainty; systematization of knowledge about the interaction of heterogeneous parameters in the production of entomophages. Conclusions. The proposed innovative approaches to manage the production of entomophages can increase its efficiency by forming optimal management strategies, using the technological experience of specialists and modern intelligent information technologies in particular, SCADA-systems, fuzzy logic theory and cognitive analysis. Keywords: innovative approaches, production of entomophages, intelligent information technologies.

XTemp: Event-driven Testing and Monitoring of Business processes

2011 ◽  
Author(s):  
Jacques Durand ◽  
Hyunbo Cho ◽  
Dale Moberg ◽  
Jungyub Woo
Keyword(s):  
Real Time ◽  
Business Processes ◽  
Log Analysis ◽  
Message Content ◽  
Sequence Of Events ◽  
Event Driven ◽  
Event Models

XML has proved to be a scalable archival format for messages of various kinds (e.g. email with MarkMail). It is also increasingly used as format of choice for several event models and taxonomies (XES, OASIS/SAF, CEE, XDAS) that need be both processable and human readable. As many eBusiness processes are also relying on XML for message content and/or protocol, there is a need to monitor and validate the messages and documents being exchanged as well as their sequences. XTemp is an XML vocabulary and execution language that is event-centric and intended for the analysis of sequence of events that represent traces of business processes. It is designed for both log analysis and real-time execution. It leverages XPath and XSLT.

scholarly journals Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude

2012 ◽  
Vol 77 (12) ◽  
pp. 1235-1271 ◽  
Author(s):  
Kyungmin Bae ◽  
Peter Csaba Ölveczky ◽  
Thomas Huining Feng ◽  
Edward A. Lee ◽  
Stavros Tripakis
Keyword(s):  
Real Time ◽  
Discrete Event ◽  
Event Models

Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude

2009 ◽  
pp. 717-736 ◽  
Author(s):  
Kyungmin Bae ◽  
Peter Csaba Ölveczky ◽  
Thomas Huining Feng ◽  
Stavros Tripakis
Keyword(s):  
Real Time ◽  
Discrete Event ◽  
Event Models

Multiple Instance Learning of Visual Event Models

2013 ◽  
Vol 321-324 ◽  
pp. 1030-1034
Author(s):  
Jian Zhai Wu ◽  
De Wen Hu
Keyword(s):  
Temporal Structure ◽  
Multiple Instance Learning ◽  
Pattern Learning ◽  
Learning Method ◽  
Action Event ◽  
The Arts ◽  
Temporal Models ◽  
Event Models ◽  
Weakly Supervised ◽  
High Level

In this paper we propose a powerful visual event pattern learning method to address the issue of high-level video understanding. We first model the deformable temporal structure of the action event in videos by a temporal composition of several primitive motions. Moreover, we describe each action class by multiple temporal models to deal with the significant intra-class variability. We implement a multiple instance learning method to train the models in the weakly supervised setting. We have conducted experiments on three major benchmarks. The results are comparative to the state-of-the-arts.

Diagnosis of delay–deadline failures in real time discrete event models

2007 ◽  
Vol 46 (4) ◽  
pp. 569-582 ◽  
Author(s):  
Santosh Biswas ◽  
Dipankar Sarkar ◽  
Prodip Bhowal ◽  
Siddhartha Mukhopadhyay
Keyword(s):  
Real Time ◽  
Discrete Event ◽  
Event Models

Diagnosability of delay-deadline failures in fair real time discrete event models

2010 ◽  
Vol 41 (7) ◽  
pp. 763-782 ◽  
Author(s):  
Santosh Biswas ◽  
Dipankar Sarkar ◽  
Siddhartha Mukhopadhyay
Keyword(s):  
Real Time ◽  
Discrete Event ◽  
Event Models

Some Recent Results in Quiescent Prominence Spectrometry

1979 ◽  
Vol 44 ◽  
pp. 41-47
Author(s):  
Donald A. Landman
Keyword(s):  
Real Time ◽  
Computer System ◽  
Spectral Response ◽  
Absolute Intensity ◽  
Solar Observatory ◽  
Target Size ◽  
Small Target ◽  
Signal Averaging ◽  
Quiescent Prominence

This paper describes some recent results of our quiescent prominence spectrometry program at the Mees Solar Observatory on Haleakala. The observations were made with the 25 cm coronagraph/coudé spectrograph system using a silicon vidicon detector. This detector consists of 500 contiguous channels covering approximately 6 or 80 Å, depending on the grating used. The instrument is interfaced to the Observatory’s PDP 11/45 computer system, and has the important advantages of wide spectral response, linearity and signal-averaging with real-time display. Its principal drawback is the relatively small target size. For the present work, the aperture was about 3″ × 5″. Absolute intensity calibrations were made by measuring quiet regions near sun center.

Sign in / Sign up

Export Citation Format

Share Document