A Improved Simple Algorithm to Compute Reachability Matrix with Adjacency Matrix

Reachability is one of the most basic properties of Petri nets.

可达性是Petri网的最基本的动态性质之一。

互联网摘选

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

基于矩形混杂自动机的交叉口建模及可达性分析

互联网摘选

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

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

互联网摘选

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

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

互联网摘选

Secrecy Analysis of Security Protocol Based on Reachability Relation

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

互联网摘选

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

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

互联网摘选

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

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

互联网摘选

Analysis of low reachability of gold dredger's design capacity

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

互联网摘选

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

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

互联网摘选

Reachability matrix of directed graph and calculation based on matrix calculation

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

互联网摘选

Matrix Analysis of Reachability Structure in Traffic Network

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

互联网摘选

Reachability testing algorithm for parallel program in heterogeneous network environment

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

互联网摘选

Improvement to a Reachability Analysis Algorithm for Real-Time Systems

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

互联网摘选

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

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

互联网摘选

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

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

互联网摘选

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

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

互联网摘选

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

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

互联网摘选

The produce reach-in refrigerator at Per Se.

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

互联网摘选

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".

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

互联网摘选

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

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

互联网摘选