Modeling and Reachability Analysis for Single Intersection Based on Rectangular Hybrid Automata

1、

Algorithm Design of Full Rank Petri Net Reachability Judge and Its Implementation

满秩Petri网可达性判定算法的设计与实现

互联网摘选

2、

Compared with other old reachability testing methods, the proposed approach provides some advantages.

这种基于扩展同步序列的可达性方法与传统可达性方法相比，具有一定的优越性。

互联网摘选

3、

Secrecy Analysis of Security Protocol Based on Reachability Relation

基于可达关系的安全协议保密性分析

互联网摘选

4、

The Reachability Analysis of Stochastic Petri Nets Model of Hybrid Dynamical System

混合动态系统SPN的可达性分析

互联网摘选

5、

Namely the key is minimization of state space and reachability analysis.

这两方面的核心问题是状态空间的简化和状态可达性分析。

互联网摘选

6、

Analysis of low reachability of gold dredger's design capacity

采金船达产率低的原因分析

互联网摘选

7、

Design and Realization of Reachability Analysis in Auxiliary Design System of Protocols in Computer Network Communication

网络协议辅助设计系统中可达性分析的设计与实现

互联网摘选

8、

Reachability matrix of directed graph and calculation based on matrix calculation

基于布尔矩阵运算的有向图可达矩阵

互联网摘选

9、

Matrix Analysis of Reachability Structure in Traffic Network

交通网络可达性结构的矩阵分析

互联网摘选

10、

Reachability testing algorithm for parallel program in heterogeneous network environment

异构网络环境下的并行程序可达性测试算法

互联网摘选

11、

Improvement to a Reachability Analysis Algorithm for Real-Time Systems

一种改进的实时系统可达性分析算法

互联网摘选

12、

Study on Partner Selection and Software Reachability of Virtual Software Research and Development Organizations

虚拟软件研发组织合作伙伴选择与软件可达性研究

互联网摘选

13、

Temporal Property Analysis of Discrete Event Systems Based on State Reachability Graph

基于状态可达图的离散事件系统时态性质分析

互联网摘选

14、

Reachability Tree Method and Its Application to Fault Diagnosis for Digital Circuits

可达树分析法及其在测试中的应用

互联网摘选

15、

Studies on the Reachability of Petri-net System Based on Energy Optimizing Model

基于能量优化方法的petri网系统的可达性研究

互联网摘选

16、

The produce reach-in refrigerator at Per Se.

该产品达到，在冰箱本身。

互联网摘选

17、

We cannot find it out that the secret of modernity of Marxist Philosophy lies in nowhere but in "sensual reality" until we reach the ontology horizon of Mark's famous proposition-"The whole social life is practice in essence".

只有达到全部社会生活在本质上是实践的这一命题的存在论境域，我们才能明了马克思哲学当代性之秘密正在感性现实之中，才能指认出它的自身逻辑。

互联网摘选

18、

Environment Voice Reach Should Notice in the Mark Area Construction of a Few Problems

环境噪声达标区建设中应注意的几个问题

互联网摘选

19、

The system not only has the function of controlling the temperature and humidity on the same time, and can reach the given control mark, but also has the characteristics of stable, precise and performance easily.

该系统具有同时控制温箱温度和湿度的功能，能够达到既定的控制指标，并具有稳定、精确、操作方便的特点。

互联网摘选

20、

Only a few people can reach the 10000 hours mark and that's why they become world class.

只有一小部分人可以坚持一万个小时，而他们就成了世界级的高手。

互联网摘选