| 1. | Method extraction based on reachability tree of pr t net for horn clauses set
网可达树的方案求解 |
| 2. | Reachability of petri net
网系统的可达性分析 |
| 3. | Reachability testing is a valid method for concurrent software testing
可达性测试是并发软件测试中的一种有效方法。 |
| 4. | Sufficient and necessary condition of controllability and reachability of a class of linear switching systems
一类线性切换系统能控性和能达性的充要条件 |
| 5. | Php object persistent database . podb is implementing persistency by reachability approach . object of any class derived from persistent base class is considered as persistent capable
Podb是通过可通性的途径实现持久性的。源自持久性基类的任何类的对象都是具有持久性能力的。 |
| 6. | Definitions of rough set state space are given . stability , reachability , consistency and completeness of this new state space model are discussed in detail , respectively
初步讨论了粗糙状态空间模型的稳定性和可达性，提出了基于粗糙状态空间模型的非线性过程建模和粗糙控制器设计方法。 |
| 7. | On the foundation of analyzing to the net system , we improve traditional reachability analysis technique , and use time petri nets with inhibitor arcs to model ieee 802 . 2 llc 3 type protocol
在对该网系统进行分析的基础之上，发展了传统的可达分析技术。应用带抑止弧的时间petri网对ieee802 . 2llc3型协议进行了建模。 |
| 8. | Most of the timed automata reachability analysis algorithms in the literature explore the state spaces by enumeration of symbolic states , which use time constraints to represent a set of concrete states
但是，随着系统规模的扩展，状态空间的大小呈现爆炸性的增长，往往超出了当前计算机的能力极限。这被称为“状态空间爆炸问题” 。 |
| 9. | It can be used for the reachability judgement and layout rationalization of components and buttons for driving and controlling . 4 . the posture recording methods , the comfort of postures and its influential factors are discussed
利用该方法可判断由人体模型实例所代表的使用者群体的伸及能力，检验操作控制件的可伸及性和布局合理性。 |
| 10. | For quantitative solution , we study gspn and find that the reachability graph of a gspn is isomorphic to a continuous time markov process ( ctmp ) when the vanishing markings are eliminated , so markov process method can be used
在安全性定量分析方面，我们研究发现去除消失标识后， gspn的可达图与一个连续时间markov过程( ctmp )是同构的，为此，可利用markov过程方法进行分析。 |
