1) hybrid automaton
混杂自动机
1.
Modeling Based on Hybrid Automaton and Studying of Control Strategy to the Heating Metering Systems;
计量供暖系统的混杂自动机建模与控制策略研究
2.
Based on the assumption that congestion events consist of a renewal process sequence, the TCP AIMD congestion control is modeled as one-state stochastic hybrid automaton.
假定拥塞事件为一个更新过程序列,采用含有一个状态的随机混杂自动机模型,描述了TCP拥塞控制中的AIMD过程。
3.
In order to overcome those shortages,based on the formalization method and applying the hybrid automaton,an effective way to accomplish the analysis and test for the FSPN is proposed in this paper.
为了克服数值分析方法在流体随机Petri网模型检验中的缺点,根据形式化方法,本文提出了借助混杂自动机实现流体随机Petri网模型的分析和验证的有效方法,同时介绍了流体随机Petri网到一阶混杂Petri网模型的转化方法。
2) hybrid automata
混杂自动机
1.
Secondly, an algorithm for constructing the hybrid automata associated with the behavior evolution of ICPN was proposed.
同时给出了区间速率连续Petri网行为演变的混杂自动机模型构造方法。
2.
Greedy and periodic control strategies based on the description of hybrid automata are discussed to control the switch sequence of discrete states from the perspective of system safety by analyzing characteristics of the typical hybrid system, three-tank flow system.
通过对混杂系统典型实例即三水箱系统特性的分析,从系统安全的角度讨论了用于控制该系统离散状态切换序列的基于混杂自动机描述的贪婪型与周期型控制策略。
3.
First, the hybrid automata are proposed to model the system behaviors, afterward a cascade model is presented to track subsystem state changes.
该方法使用混杂自动机对系统进行建模,利用混杂串级神经网络跟踪子系统的状态变化,并考虑了故障改变模式顺序的问题。
3) Hybrid cellular automata
混杂元胞自动机
4) rectangular hybrid automata
矩形混杂自动机
1.
Vehicle flow show continuous behavior and traffic light exhibit discrete event behavior,thus a rectangular hybrid automata model of a four-phase intersection is proposed in this paper.
针对交通网络中交叉口车流具有连续时间特性,动态信号灯的切换具有离散事件特性的情况,以四相位单交叉口为对象,考虑车辆到达的随机性,以微分包含的形式描述车辆到达率,建立了一个四相位交叉口的矩形混杂自动机模型。
5) hybrid automata
混合自动机
1.
Trains and controllers are modeled as hybrid automata.
建立火车和控制器的混合自动机模型，用时态逻辑ＩＣＴＬ描述铁路系统的性质规范，使用模型检查技术自动验证铁路系统，并且对铁路系统的一些参数进行分析。
2.
Based on the discussion of hybrid automata theory,this paper provides a new automatic code generation technique from hybrid automata using xml description,and then we use an example to demonstrate how to model the hybrid automata and transform the model into executable J2me source code.
在概述混合自动机理论的基础上,给出了它的一种基于xml语言的形式描述,并利用这种描述规范提出了一种基于混合自动机的模型驱动的开发方式,结合一个具体的应用实例进行开发,给出了根据模型描述文件生成可以编译运行的J2ME代码的原理以及关键步骤,以及需要注意的问题。
3.
This paper focuses on the modeling methods, including Equivalent Discrete Event (EDE) model, hybrid automata, petri nets, duration calculi and its extension.
在概述混合系统概念、特点、发展近况以及混合系统框架的基础上,介绍了混合系统研究中的建模问题,重点介绍了等价离散事件模型、混合自动机、Petri网、时段演算及其扩展等建模方法,最后介绍了混合系统研究中的一些重要成果以及一些仿真方法。
6) Chaos automata
混沌自动机
补充资料：ω-有限自动机
ω-有限自动机
ω-finite state automata
1094·。一youx一anz}dongJ-。.有限自动机(。一rinite state automata)一种在无限串上运行的有限状态自动机，是一种。一语言的识别模型。主要研究。一的各种识别方式以及在通常的五种识别条件下，识别的。一语言族之间的关系。特别，通过其中一种条件(即所谓CS)下识别的。一语言定义了QJ一正则语言，这是一种使。一自动机识别能力最强的识别方式。。一自动机理论的核心课题之一，是对。一正则语言的研究，包括对。一正则语言的描述及其性质的研究。 。一自动机最早在文献中出现的是J.R.Buchi(1960)利用工作在无限序列上的有限自动机获得关于受限二阶逻辑理论的一个判定过程。自此以后一些研究。一自动机的各种形式体系的论文陆续出现，其中J.R.Buchi，(1965，1969)，C.C.Elgot和M.0.Rabin(1966，1%9)等人的论文均受到这些模型与二阶逻辑理论之间的密切关心的启发，因此重点放在判定问题。D.E.Muller(1963)利用确定的。一有限自动机研究异步开关理论中的某些问题。R.MeNatlgllton(1966)首先发展了被。一有限自动机识别的。一语言的理论，即所谓的。一正则语言的理论。 。一有限自动机研究的内容包括。一有限自动机的定义，五种识别条件，。一正则语言的概念，对断正则语言的描述以及与五种识别模型相应的五个。-语言族之间的关系。 。.申与。一语言设乏是有限字母表，由乞中的字母组成的无限序列，称为艺上的沙串。用2表示艺上的所有。一串的集合。2的任意子集称为乏上的。一语言。 沙有限自动机一个五元组M=(K，乞，占，q0，F)，其中K为状态有限集，艺为输人字母表，占:Kx艺~ZK，q。(任K)为初始状态，F(里ZK)为指定状态集族。如果占:Kx艺~K，则M是确定的。一有限自动机。 设。=ala2’’·a，…，a，任乏，i=1，2，一。状态序列二={Q‘}，称为M在。上的一个运行，当且仅当q，任创q、一，，a*)，i=1，2，…。一个运行确定一个映射fr:N~K，井(i)=g，一l，i=1，2，…。令I(r)={，〔兀Icard(f厂1(。)))。}，o(二)=}、〔K If厂‘(g)半必}。 。一有限自动机的识别条件包括Cl，CZ，C3，C4与CS五个条件。。一有限自动机M在C，条件下识别。一串。，当且仅当存在M在。上的一个运行r，使满足C，i=1，2，3，4，5。其中 Cl:存在H任F，使I(二)nH共曰 CZ:存在H任F，使I(:)二H c3:存在H任F，使O(r)nH护曰 C4:存在H任F，使O(:)里H CS:存在H任F，使I(:)=H 设M=(K，乞，a，qo，F)是一。一有限自动机，称集合 界(M)=}。任2}存在M在。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条