標(biāo)題: Titlebook: Operational Semantics for Timed Systems; A Non-standard Appro Heinrich Rust Book 2005 Springer-Verlag Berlin Heidelberg 2005 abstract state [打印本頁(yè)] 作者: 貪吃的人 時(shí)間: 2025-3-21 19:30
書目名稱Operational Semantics for Timed Systems影響因子(影響力)
書目名稱Operational Semantics for Timed Systems影響因子(影響力)學(xué)科排名
書目名稱Operational Semantics for Timed Systems網(wǎng)絡(luò)公開度
書目名稱Operational Semantics for Timed Systems網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Operational Semantics for Timed Systems被引頻次
書目名稱Operational Semantics for Timed Systems被引頻次學(xué)科排名
書目名稱Operational Semantics for Timed Systems年度引用
書目名稱Operational Semantics for Timed Systems年度引用學(xué)科排名
書目名稱Operational Semantics for Timed Systems讀者反饋
書目名稱Operational Semantics for Timed Systems讀者反饋學(xué)科排名
作者: 呼吸 時(shí)間: 2025-3-21 21:11
Book 2005e model is based on concepts of Non-standard Analysis as proposed by Abraham Robinson in the 1950s. The discrete modelling, i.e., the descr- tion of sequential discrete algorithms at di?erent abstraction levels, is done with Abstract State Machines along the formalisms developed by Yuri Gu- vich and作者: GEST 時(shí)間: 2025-3-22 00:55 作者: 勤勉 時(shí)間: 2025-3-22 08:32
Heinrich Rust?berfl?chenvergr??erung des Umformwerkstoffes bestimmt. Daraus resultieren vielf?ltige Beanspruchungen der Oberfl?chenzone von Werkzeug und Stauchk?rper, die durch mechanische, metallurgische und geometrische Eigenschaften der Stauchbahnoberfl?che sowie durch physikalische und chemische Eigenschafte作者: 燒瓶 時(shí)間: 2025-3-22 12:34
Heinrich Rust?berfl?chenvergr??erung des Umformwerkstoffes bestimmt. Daraus resultieren vielf?ltige Beanspruchungen der Oberfl?chenzone von Werkzeug und Stauchk?rper, die durch mechanische, metallurgische und geometrische Eigenschaften der Stauchbahnoberfl?che sowie durch physikalische und chemische Eigenschafte作者: 消耗 時(shí)間: 2025-3-22 14:48 作者: 東西 時(shí)間: 2025-3-22 17:29 作者: Favorable 時(shí)間: 2025-3-22 23:56 作者: 粗魯性質(zhì) 時(shí)間: 2025-3-23 02:57 作者: 一回合 時(shí)間: 2025-3-23 06:32 作者: 發(fā)芽 時(shí)間: 2025-3-23 13:41 作者: 異常 時(shí)間: 2025-3-23 14:35
Models of Time and of System BehaviorsIn computer science, system behaviors are often represented as a function from some time domain . to some state domain .. We will also use this approach.作者: 排出 時(shí)間: 2025-3-23 19:18
Defining Hybrid Systems with ASMsWe will define hybrid systems using the most important ideas from ASMs. First we define a classical approach to modelling hybrid systems, and then we define a novel, non-standard approach of modelling hybrid systems.作者: 流行 時(shí)間: 2025-3-24 02:08
DeadlinesA concept which is often used in models of real-time systems is the deadline. A deadline is a point in time associated with an event so that the event must take place in a system run, and it must not take place after the deadline. This section will discuss how deadlines might be modelled in NTASMs.作者: Bone-Scan 時(shí)間: 2025-3-24 03:50
Open SystemsAn application is modelled as an open system if the environment is not expressed explicitly in the model. Open systems are the paradigmatic case of reactive systems.作者: Rodent 時(shí)間: 2025-3-24 08:31
Making Use of Different Magnitudes of RealsConsider the following scenario: A flip-flop is wired up so that with every rising edge of the clock, it changes its state.作者: 發(fā)芽 時(shí)間: 2025-3-24 11:26
An ASM Meta-model for Petri Nets with TimingThis section will present several NTASM interpretations of timing enhanced Petri nets. Petri nets without timing [Pet62, Rei86] are a widely used model for discrete nondeterministic distributed systems.作者: certain 時(shí)間: 2025-3-24 18:34
An ASM Meta-model for Timed and Hybrid AutomataTimed and hybrid automata are formalisms for the description of real-time systems which are designed primarily to make algorithmic analysis possible [ACD93, AD94, ACH.95].作者: sed-rate 時(shí)間: 2025-3-24 22:43 作者: maladorit 時(shí)間: 2025-3-25 00:21
978-3-540-25576-5Springer-Verlag Berlin Heidelberg 2005作者: 我沒有強(qiáng)迫 時(shí)間: 2025-3-25 04:17 作者: Obsessed 時(shí)間: 2025-3-25 08:06
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/o/image/702041.jpg作者: 結(jié)束 時(shí)間: 2025-3-25 13:45
https://doi.org/10.1007/978-3-540-32008-1abstract state machines; algorithms; continuous time systems; discrete time systems; hybrid systems; mode作者: Chipmunk 時(shí)間: 2025-3-25 17:03
Overviewe real numbers. This allows to use a discrete base formalism for the description of timed algorithms where system behaviors can be interpreted very straightforwardly in a timed manner without sacrificing that much precision.作者: Aprope 時(shí)間: 2025-3-25 20:22 作者: Spirometry 時(shí)間: 2025-3-26 01:00 作者: CHOP 時(shí)間: 2025-3-26 06:52 作者: DEMUR 時(shí)間: 2025-3-26 12:07 作者: Influx 時(shí)間: 2025-3-26 13:49
Infinitesimalsning of the calculus. Robinson [Rob96] gives an overview of the use of infinitesimals in the history of the calculus: Leibniz uses infinitely small numbers in the development of the calculus without admitting their existence; he considers them to be useful fictions. De l’Hospital seemed to believe i作者: 宿醉 時(shí)間: 2025-3-26 17:17 作者: milligram 時(shí)間: 2025-3-26 22:25 作者: 共棲 時(shí)間: 2025-3-27 04:15
Concurrency and Reactivity: Interleavingive. For real-time systems, this is a typical case. For non-quantitative linear time, the interleaving approach and the synchronous approach are the most important modelling strategies. Since real-time models build on non-quantitative models and since we investigate a linear-time model, we will inve作者: Infinitesimal 時(shí)間: 2025-3-27 05:23
The Synchronous Approach to Concurrencyre cellular automata [vN66, Vol79], where the synchronously working components, which are called “cells” in this context, communicate according to some regular interconnection scheme, so that each cell only communicates with its neighbors. This abstraction is appropriate in applications in which the作者: auxiliary 時(shí)間: 2025-3-27 13:16
A Case Study: Fischer’s Protocolre mutual exclusion of access to commonly used resources via real-time properties of a shared variable. The idea is to use just one shared variable (which we call v) for coordinating the access to the critical section. The variable can contain a process id or some neutral value (which we call noProc作者: Introduction 時(shí)間: 2025-3-27 17:28 作者: 教唆 時(shí)間: 2025-3-27 21:18
Heinrich Rustt werden. Die Probenstirnseite wird durch Gleiten und durch Umw?lben und Anlegen der Mantelfl?che an die Stauchbahnen vergr??ert, wobei der Stoffflu? von den Reibbedingungen abh?ngt. Durch den Gleitvorgang wird der Druckbeanspruchung eine Scherbeanspruchung überlagert, die durch das Reibungsverhalte作者: 有斑點(diǎn) 時(shí)間: 2025-3-27 23:50 作者: Accede 時(shí)間: 2025-3-28 03:59 作者: 喃喃而言 時(shí)間: 2025-3-28 06:59
Heinrich Rustt werden. Die Probenstirnseite wird durch Gleiten und durch Umw?lben und Anlegen der Mantelfl?che an die Stauchbahnen vergr??ert, wobei der Stoffflu? von den Reibbedingungen abh?ngt. Durch den Gleitvorgang wird der Druckbeanspruchung eine Scherbeanspruchung überlagert, die durch das Reibungsverhalte作者: 叫喊 時(shí)間: 2025-3-28 11:48 作者: 泰然自若 時(shí)間: 2025-3-28 17:48
Heinrich Rust the future. For example, interpolation is a conventional way of specifying what is needed to cover any outstanding gaps in past achievements, and extrapolation suggests what would follow from the trends already established. These represent essentially “smooth” developments in a subject. For instanc作者: 燒瓶 時(shí)間: 2025-3-28 21:28
Heinrich Ruste and management of water quality. It was (presumably) an exhilarating time when the boundaries of what was possible, in terms of computer simulation, advanced with the ever increasing capacity and speed of the digital computer. This period of accelerating development was also characterized by the g作者: NAIVE 時(shí)間: 2025-3-29 02:47
Heinrich Ruste and management of water quality. It was (presumably) an exhilarating time when the boundaries of what was possible, in terms of computer simulation, advanced with the ever increasing capacity and speed of the digital computer. This period of accelerating development was also characterized by the g作者: Rustproof 時(shí)間: 2025-3-29 04:24
Book 2005r both the description of discrete time steps and continuous processes with a dense real-number time model. The proposed time model is well suited to express synchronicity of events in a real-number time model as well as strict causality by using uniform discrete time steps. Thus it integrates and r作者: 四海為家的人 時(shí)間: 2025-3-29 11:09
A Case Study: Fischer’s Protocoln reads v again. If v has kept the old value, i.e., the id of the process considered, the process may enter its critical section; on leaving the critical section, v is set to noProc again. If v has not kept its old value, the attempt has failed and the process must go back and wait again till v=noProc.作者: Eructation 時(shí)間: 2025-3-29 12:32
0302-9743 Rust presents a time model which allows for both the description of discrete time steps and continuous processes with a dense real-number time model. The proposed time model is well suited to express synchronicity of events in a real-number time model as well as strict causality by using uniform di作者: Obloquy 時(shí)間: 2025-3-29 18:58 作者: 連系 時(shí)間: 2025-3-29 22:12 作者: visual-cortex 時(shí)間: 2025-3-30 02:43
Context: Formal Methods in Software Engineeringration of ideas first developed by the author in [Rus94]. This discussion will present the context for the results described later, and it will be used to derive some desiderata for the formalism to be used according to our understanding of formal methods.作者: BANAL 時(shí)間: 2025-3-30 07:30 作者: 外形 時(shí)間: 2025-3-30 11:23
Concurrency and Reactivity: Interleavingost important modelling strategies. Since real-time models build on non-quantitative models and since we investigate a linear-time model, we will investigate how these two strategies are expressed in the ASM formalism and, more specifically, as NTASMs.作者: 護(hù)航艦 時(shí)間: 2025-3-30 13:10 作者: ANN 時(shí)間: 2025-3-30 18:31 作者: A保存的 時(shí)間: 2025-3-30 21:29 作者: 大暴雨 時(shí)間: 2025-3-31 01:36 作者: 陳舊 時(shí)間: 2025-3-31 05:32
