1) marking reachability
标识可达性分析
2) reachability analysis
可达性分析
1.
Aiming at the problem that no special data structure has been proposed to deal with the symbolic reachability analysis of multirate hybrid systems yet,a constraint system called multirate zone is defined for the representation and manipulation of multirate automata state-spaces.
针对目前还没有专门的数据结构处理多速率混合系统的符号化可达性问题,定义了多速率区域来表示和处理多速率自动机的无穷状态空间,从而把多速率混合系统的符号化可达性分析等价地转化成多速率区域上的3种操作,即并操作、变量重赋值操作和控制状态上的时间流逝操作。
2.
In fault diagnosis the uncertain forward reasoning based on the forward reachability analysis of Petri Nets is firstly carried through to locate possible faulty modules, whereafter the detailed fault causes are.
诊断时首先基于拓展Ｐｅｔｒｉ 网模型的正向可达性分析进行正向不确定推理，限定可能的故障模块，然后基于Ｐｅｔｒｉ 网模型的反向推理功能在故障模块内具体诊断出故障原因。
3.
For most safety properties and some liveness properties of real-time systems,model checking can be reduced to reachability analysis.
模型检测时,实时系统的大多数安全属性和部分活性都可以通过可达性分析算法来验证。
3) reachable marking
可达标识
1.
Finally,the analysis and verification of the model are given by reachable marking and incidence matrix.
最后,用可达标识和关联矩阵对模型进行分析、验证。
2.
The solving method of critical path and reasonable execution scheme of a project is addressed by means of the Petri nets model and its reachable marking graph.
提出一种工程问题的Petri网模型及其构造方法,并且通过该Petri网模型及其可达标识图,给出了整个工程的关键路径和合理施工方案的求解方法。
4) compositional reachability analysis
组合可达性分析
1.
The compositional reachability analysis (CRA) is hotspot of research in behavior analysis of concurrent systems.
组合可达性分析是对并发系统模型分析验证的基础和关键,但是难于解决验证中的所谓的状态爆炸问题。
5) identifiabitity analysis
可辨识性分析
6) reachable marking graph
可达标识图
1.
In this paper,the definition and rule of transition firing are first put forward,then the functioning Principle and generating method of reachable marking graph are discussed.
首先给出了变迁可激发的定义及激发规则,然后讨论了T-时延离散Petri网的运行原理和可达标识图的构造方法,最后给出了两个性质。
2.
The paper gives a sufficient and necessary condition for judging if the schedules correspondent with2PL is deadlock by reachable marking graph of the model,and constructs Serializable de.
利用该模型的可达标识图,给出了判断满足两段锁协议的调度是否死锁的充分必要条件,并由此构造出并发事务的无死锁的可串行化调度。
补充资料：标识
标识
identification
biOOZhi标识(ideni访叨tion)为实现可追溯性，在产品或包装上所做的标志或在相关文件上所作的记录。适当的标识可以有效地识别从投料到成品全过程中的产品，区分不同类别、不同规格、不同批次、不同炉号的产品，防止在加工过程中出现混淆;可通过标识追踪产品的原始状态、生产过程和使用情况，有利于分析不足之处和采取纠正措施;可标明产品的检验和验证状态，识别产品是否经过检验和验证，检验和验证后是否合格，保证只有合格的原材料或零件才会进人生产;可以使库存的原材料按先进先出的原则投人生产，控制好存储时间。 种类①产品标识。用于在生产过程中识别和记录每个或每批产品的惟一性标记。内容一般有产品名称、代码、型号、规格、材质、批次号等。一般是在产品或其容器或包装上做出标识或悬挂标签或用随行文件标识。②技术状态标识。确定产品结构，选择技术状态项目，标明技术文件中规定的并在产品中达到的产品功能特性和物理特性并形成文件，为技术状态项目及相应文件分别配备不同标识。③检验和验证状态标识。产品有未经检验或待检、产品已经检验但尚未判定、产品检验合格和产品检验不合格4种状态。检验和验证状态标识可标明产品的不同状态，防止混淆，错用不合格品。检验和验证状态变化时，状态标识也相应变化。检验和验证状态标识有进货检验和验证的标识、工艺协作件检验和验证标识、过程检验和验证标识。④检验、测量和试验设备的标识。标明检验、测t和试验设备的校准状态的标牌或识别记录，防止误用未经校准的设备。标识可标明设备的校准时间、仪器的准确度和做下一轮校准的时间，也可标明使用设备的具体规定。⑤文件标识。对生产过程中的图样、工艺路线卡、作业指导书、生产过程文件、产品规范或质全管理体系文件等做出详细标识。便于识别文件的有效性。 形式①刻字标识。用电笔蚀刻、打钢号等表示，适用于完工的零部件。②贴标签标识。适用于毛坯、半成品、部件表面或盛装容器上;对于成品和检验、测t、试验设备一般用铭牌标识。③货位卡标识。用于库存产品的区架层位。④挂牌标识。用于临时或加工转运的产品。⑤直接书写标识。用记号笔、油漆书写，适用于下料件、毛坯等待加工初级品。⑥彩色标识。用于金属型材、同规格不同功能特性产品或检验状态。⑦特定区域标识。适用于检验和不合格品。⑧条形码标识，适用于防伪产品。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条