|
|
|
说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
|
|
|
1) 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.
针对交通网络中交叉口车流具有连续时间特性,动态信号灯的切换具有离散事件特性的情况,以四相位单交叉口为对象,考虑车辆到达的随机性,以微分包含的形式描述车辆到达率,建立了一个四相位交叉口的矩形混杂自动机模型。
2) 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网模型的转化方法。
3) 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.
该方法使用混杂自动机对系统进行建模,利用混杂串级神经网络跟踪子系统的状态变化,并考虑了故障改变模式顺序的问题。
4) rectangular automata
矩形自动机
1.
The model is given out by using hybrid rectangular automata and the analysis of its quotient transition system′s reachability is presented.
针对 PL C等逻辑控制器控制连续对象的可靠性问题 ,给出了混合系统的形式验证的方法 ,即用混合矩形自动机建模 ,通过其商迁移的可达性分析 ,证明了控制程序的正确性。
5) Hybrid cellular automata
混杂元胞自动机
6) 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网、时段演算及其扩展等建模方法,最后介绍了混合系统研究中的一些重要成果以及一些仿真方法。
补充资料：矩形
一．型态分析 
矩形是股价由一连串在二条水平的上下界线之间变动而成的型态。股价在其范围之内出现上落。价格上升到某水平时遇上阻力，掉头回落，但很快地便获得支持而升，可是回升到上次同一高点时再一次受阻，而挫落到上次低点时则再得到支持。这些短期高点和低点分别以直线连接起来，便可以绘出一条通道，这通道既非上倾，亦非下降，而是平行发展，这就是矩形型态。 [编辑] 二．市场含义 矩形为冲突型，是描述实力相当的争战双方的竞争。 这型态明显告诉我们，好淡双方的力量在该范围之间完全达致均衡状态，在这段期间谁占不了谁的便宜。看好的一方认为其价位是很理想的买入点，于是股价每回落到该水平即买入，形成了一条水平的需求线。与此同时，另一批看淡的投资者对股市没有信心，认为股价难以升越其水平，于是股价回升至该价位水平，便即沽售，形成一条平行的供给线。从另一个角度分析，矩形也可能是投资者因后市发展不明朗，投资态度变得迷惘和不知所措而造成。所以，当股价回升时，一批对后市缺乏信心的投资者退出；而当股价回落时，一批憧憬着未来前景的投资者加进，由于双方实力相若，于是股价就来回在这一段区域内波动。 一般来说，矩形是整理形态，市道牛皮上落，顺升市和跌市中都可能出现，长而窄且成交量小的矩形在原始底部比较常出现。突破上下了限后有买入和卖出的讯号，涨跌幅度通常等于矩形本身宽度。 [编辑] 三．要点提示 （1）矩形形成的过程中，除非有突发性的消息扰乱，其成交量应该是不断减少的。如果在型态形成期间，有不规则的高成交出现，型态可能失败。当股价突破矩形上限的水平时，必须有成交量激增的配合；但若跌破下限水平时，就不须高成交量的增加。 （2）矩形呈现突破后，股价经常出现反抽，这种情形通常会在突破后的三天至三星期内出现。反抽将止于顶线水平之上，往下跌破后的假性回升，将受阻于底线水平之下。 （3）一个高，低波幅较大的矩形，较一个狭窄而长的矩形型态更具威力。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条
|