reachability

State Reachability Analysis Algorithm of Timing Constraint Petri Nets

时间约束Petri网的状态可达性分析算法

互联网摘选

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

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

互联网摘选

Secrecy Analysis of Security Protocol Based on Reachability Relation

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

互联网摘选

A Improved Simple Algorithm to Compute Reachability Matrix with Adjacency Matrix

由邻接矩阵求解可达矩阵的一种改进简便算法

互联网摘选

Reachability Analysis Study of Switched Continuous System

切换连续系统的可达性分析

互联网摘选

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

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

互联网摘选

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

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

互联网摘选

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

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

互联网摘选

Reachability testing algorithm for parallel program in heterogeneous network environment

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

互联网摘选

Analysis of low reachability of gold dredger's design capacity

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

互联网摘选

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

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

互联网摘选

Study of Reachability in Variable Structure Control Systems with the Sliding Mode

关于滑模变结构控制系统中滑动状态可达性探讨

互联网摘选

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

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

互联网摘选

The crucial technologies including the reachability set algorithm of the stochastic Petri net model, the constitution of the homogeneous Markov chain, and the computation of the steady state probability are implemented.

实现了随机Petri网模型的可达集生成算法和同构马尔可夫链的构造及其稳定状态概率的求解等关键技术；

互联网摘选

The load balanced FMS scheduling method based on Petri Net get result by searching models reachability graph using AI technique.

基于Petri的FMS负载平衡调度，以Petri网为建模工具，利用人工智能搜索模型可达图，获得调度结果。采用TPPN构造各生产单元的PN子网，通过共享资源库将其连接。

互联网摘选

The sufficient and necessary conditions for local reachability and local controllability in the rectangle are presented.

给出了其在矩形区域上局部能达和局部能控的充分必要条件.

互联网摘选

Improvement to a Reachability Analysis Algorithm for Real-Time Systems

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

互联网摘选

The reachability matrix of directed graph plays a very important role on identifying whether a directed graph to be strongly connected or not and calculating the strongly connected sub graph.

图的可达性矩阵在判断图的强连通性以及求强连通分图中具有重要作用。

互联网摘选

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

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

互联网摘选

Conditional digraph is represented by connectivity matrix C and conditional matrix D and an algorithm for computing reachability matrix R is devised.

条件有向图需要二种矩阵（连通矩阵C及条件矩阵D）进行表示。

互联网摘选

FLS: A Labeling Scheme to Solve the Reachability Problem of Dynamic Updating Graph

FLS：一种支持更新的图可达性标记算法

互联网摘选

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

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

互联网摘选

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

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

互联网摘选

The Reachability Analysis Verification for Communication Protocols and Its Automation

通信协议验证的可达性分析方法及其自动化

互联网摘选

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

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

互联网摘选

PHP Object Persistent Database. PODB is implementing persistency by reachability approach.

PODB是通过可通性的途径实现持久性的.

互联网摘选

Matrix Analysis of Reachability Structure in Traffic Network

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

互联网摘选

There is a clear opportunity here for Apple to use the iPhone's pressure sensitivity, called 3D Touch, to let you press hard on the bottom of the screen to trigger Reachability.

很明显，苹果可以用上iPhone被称为3D Touch的压力敏感度功能，让用户用力按压屏幕底部以触发单手操作系统。

互联网摘选

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

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

互联网摘选