reachability的例句大全

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

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

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

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

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

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

Improvement to a Reachability Analysis Algorithm for Real-Time Systems

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

Reachability testing algorithm for parallel program in heterogeneous network environment

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

Matrix Analysis of Reachability Structure in Traffic Network

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

Reachability matrix of directed graph and calculation based on matrix calculation

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

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

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

Analysis of low reachability of gold dredger's design capacity

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

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

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

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

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

Secrecy Analysis of Security Protocol Based on Reachability Relation

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

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

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

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

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

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

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

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

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

A Improved Simple Algorithm to Compute Reachability Matrix with Adjacency Matrix

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

The Reachability Analysis Verification for Communication Protocols and Its Automation

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

Ripple-Effect Analysis of Software Architecture Evolution Based on Reachability Matrix

基于可达矩阵的软件体系结构演化波及效应分析

Necessity of Reachability Steady State for Interval Speed Continuous Petri Nets

区间速率连续Petri网可达稳态必要性分析