A fully abstract model for sequential computation

2000 ◽  
Vol 35 ◽  
pp. 1-20 ◽  
Author(s):  
M MARZ
1982 ◽  
Vol 5 (1) ◽  
pp. 1-14
Author(s):  
Bernd Reusch ◽  
Gerd Szwillus

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.


2014 ◽  
Vol 2014 ◽  
pp. 1-15 ◽  
Author(s):  
Kwang-il Hwang ◽  
Sung-wook Nam

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.


2021 ◽  
Vol 0 (0) ◽  
Author(s):  
Maike Schwammberger

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.


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

Litera ◽  
2020 ◽  
pp. 75-81
Author(s):  
Sergei Viktorovich Serebrennikov

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