MaDcAr: An Abstract Model for Dynamic and Automatic (Re-)Assembling of Component-Based Applications

2006 ◽  
pp. 360-367 ◽  
Author(s):  
Guillaume Grondin ◽  
Noury Bouraqadi ◽  
Laurent Vercouter
Keyword(s):  
Abstract Model

Representation Theorems for Terms in a Certain Model for Information Systems

1982 ◽  
Vol 5 (1) ◽  
pp. 1-14
Author(s):  
Bernd Reusch ◽  
Gerd Szwillus
Keyword(s):  
Information Systems ◽  
Normal Forms ◽  
Abstract Model ◽  
Representation Theorems

We study a term-language, which is used by the “Warsaw-School” in an abstract model for information systems. Various normal forms as well as standard expansions with respect to product terms are formulated and proved correct. It is shown that the shortest sums of so-called maximal sub-products are the shortest representations of terms and algorithms for their generation are given.

scholarly journals Analysis and Enhancement of IEEE 802.15.4e DSME Beacon Scheduling Model

2014 ◽  
Vol 2014 ◽  
pp. 1-15 ◽  
Author(s):  
Kwang-il Hwang ◽  
Sung-wook Nam
Keyword(s):  
Internet Of Things ◽  
Large Scale ◽  
Ieee 802.15.4 ◽  
Design Model ◽  
Abstract Model ◽  
Modes Of Operation ◽  
Network Construction ◽  
Scheduling Model ◽  
And Performance ◽  
Ieee 802.15.4E

In order to construct a successful Internet of things (IoT), reliable network construction and maintenance in a sensor domain should be supported. However, IEEE 802.15.4, which is the most representative wireless standard for IoT, still has problems in constructing a large-scale sensor network, such as beacon collision. To overcome some problems in IEEE 802.15.4, the 15.4e task group proposed various different modes of operation. Particularly, the IEEE 802.15.4e deterministic and synchronous multichannel extension (DSME) mode presents a novel scheduling model to solve beacon collision problems. However, the DSME model specified in the 15.4e draft does not present a concrete design model but a conceptual abstract model. Therefore, in this paper we introduce a DSME beacon scheduling model and present a concrete design model. Furthermore, validity and performance of DSME are evaluated through experiments. Based on experiment results, we analyze the problems and limitations of DSME, present solutions step by step, and finally propose an enhanced DSME beacon scheduling model. Through additional experiments, we prove the performance superiority of enhanced DSME.

Proving properties of autonomous car manoeuvres in urban traffic

2021 ◽  
Vol 0 (0) ◽  
Author(s):  
Maike Schwammberger
Keyword(s):  
Model Checking ◽  
Functional Properties ◽  
Timed Automata ◽  
Urban Traffic ◽  
Abstract Model ◽  
Automated Driving ◽  
Spatial Logic

Abstract As automated driving techniques are increasingly capturing the market, it is particularly important to consider vital functional properties of these systems. We present an overview of an approach that uses an abstract model to logically reason about properties of autonomous manoeuvres at intersections in urban traffic. The approach introduces automotive-controlling timed automata crossing controllers that use the traffic logic UMLSL (Urban Multi-lane Spatial Logic) to reason about traffic situations. Safety in the context of collision freedom is mathematically proven. Liveness (something good finally happens) and fairness (no queue-jumping) are examined and verified using a model-checking tool for timed automata, UPPAAL.

Institutions: abstract model theory for specification and programming

1992 ◽  
Vol 39 (1) ◽  
pp. 95-146 ◽  
Author(s):  
Joseph A. Goguen ◽  
Rod M. Burstall
Keyword(s):  
Model Theory ◽  
Abstract Model ◽  
Abstract Model Theory

scholarly journals Binary cause-and-effect model

Litera ◽  
2020 ◽  
pp. 75-81
Author(s):  
Sergei Viktorovich Serebrennikov
Keyword(s):  
Component Analysis ◽  
The Other ◽  
Contextual Analysis ◽  
Abstract Model ◽  
Depth Level ◽  
Cause And Effect ◽  
Binary Model ◽  
Effect Model ◽  
The Subject ◽  
Semantic Element

The subject of this research is the abstract model of functionality of cause-and-effect relations, which can be depicted as a construct x leads to y, where x is producing cause, and y – the effect. Leaning on semantics of the text, this model can be presented as P, cause that leads to P effect, where P is any semantic predicate, being on the place of either causing element or the effect element. The object of this research is the texts with cause-and-effect semantics. The goal consists in examination of the structure of cause-and-effect relations from the perspective of the logic of language and the semantic of text. The main conclusion is the depiction of cause-and-effect relations through the simplest binary model, in which the chain is created between to situations of propositions. Elements of the model are interconnected – one situation exists because of the other. Such relationship can be determined on the in-depth level – a semantic element equal for both situations, as well as on the meaningful level – connection between the elements of the situation. The study applies the methods of component analysis, propositional analysis, and contextual analysis. Relevance of the article is substantiated by referring to such modern linguistic trends as the logic of language, semantic syntax, and syntax of the text.

Sign in / Sign up

Export Citation Format

Share Document