1) 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网模型及其可达标识图,给出了整个工程的关键路径和合理施工方案的求解方法。
2) 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.
利用该模型的可达标识图,给出了判断满足两段锁协议的调度是否死锁的充分必要条件,并由此构造出并发事务的无死锁的可串行化调度。
3) reachable marked graph
可达标识图
1.
Based on constructing software architecture model by Petri net(PSA),can calculate the relative quantity of component effect via the reachable marked graph of Petri net and spend less time,and every ripple-effect of SA evolution caused by component deletion,addition,modification,division and combination is described respectively in this thesis.
在构造系统PSA模型的基础上,利用其可达标识图同样能分析软件架构演化中的构件删除、增加、修改以及合并与分解各种变化引起的波及效应,且算法直观、复杂度小;并为运用Petri网技术研究SA提供了一个新思路。
2.
The corresponding Petri net model is structured starting from N state of databse system at t moment, and then a reachable marked graph is structured in this paper.
本文从数据库系统在时刻 t的状态 N出发 ,构造出相应的 Petri网模型 ,进而构造出其可达标识图 。
4) markings sequences
可达标识列
1.
Based on markings sequences, temporal properties and controllability of controlled Petri net are studied.
应用时态逻辑提出计时Ｐｅｔｒｉ网的形式化分析方法，基于可达标识列研究受控系统的时态特征及其可控性与控制不变性，给出控制逻辑存在的充要条件，提出了时态公式分解方法，并讨论了禁止状态避免问题。
5) marking reachability
标识可达性分析
6) extended compound marking reachability graphs
扩展的复合标识可达图
补充资料：《纺织品纤维含量的标识》(FZ／T01053—1998)
《纺织品纤维含量的标识》(FZ／T01053—1998)
Textiles-Designation of Fibre Content
FangZhiPin Xian明1 Honliong de BiaOZhi《纺织品纤维含t的标识》(万刀T 01053一1998)(爪荡￡幼郎.加匆刁以勿nof踢。。几饱瓜)纤维种类及其含量是纺织品品质标志的重要内容之一。根据纺织制品形式和结构，提出了标注纤维含t的具体要求，解决了不同产品标识的统一问题，如带里料的产品应对里和面分别标注;带填充物的产品应把填充物和套分别标注;二种以上的不同织物拼接或镶嵌的产品应分别标注不同织物;只起装饰作用而不作为产品主体的可以不标。规定统一采用国家标准规定的纤维名称，避免了任意标注商品名称、外来语名称等造成的纤维名称混乱问题;规定了以成品中某种纤维的量占纤维总量的百分数表示，而不以生产实际的投料比例标注，解决了纤维含t概念(即基数不清)的问题。明确规定了各种纺织品的纤维含量允差，既与原有的纺织品标准衔接，又明确了各种单一纤维纯纺、二组分或多组分纤维混纺或交织产品的明示含t值与实际值可允许的差值，使标准具有可操作性，解决了含t偏差判定的根本问题，使市场抽查有据可依。对统一纤维成分及其含量的标识起到了积极的指导作用，对保护消费者的利益，维护生产者的合法权益有着重要意义。(郑宇英)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条