可达性

基于GIS的县域交通网络可达性探讨

Research on Accessibility of County Transportation Network Based on GIS

基于GIS的绿地景观可达性研究&以沈阳市为例

Green Space Accessibility Research Based on GIS : Taking Shenyang as an Example

GAS具有可重构安全状态可达性。

GAS possesses reachability of dynamic reconfigurable safety status .

可达性矩阵的C语言程序实现

C Language Programming for the Connectivity Matrix

基于扩展同步序列的Java多线程程序可达性测试方法

Reachability testing for Java multithread programs based on extended synchronization sequences

一种Java多线程可达性测试框架系统的研究和实现

The Investigation and Implementation of a Reachability Testing Framework for Java Multithread

一个用于Java程序可达性测试的改进方案

An Improved Scheme for Reachability Testing of Java Programs

基于GIS和空间可达性的城市地价分布研究

Research of the relationship between space accessibility and urban land price based on GIS

单触发Petri网的一个可达性判定方法

An Algorithm for Reachability Decision of Live Single Firing Petri-Nets Shopping list

模糊Petri网及其可达性的必要性条件

Fuzzy Petri net and the necessary condition for its reachability

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

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

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

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

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

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

基于GIS的两步移动搜寻法在北京市就医空间可达性评价中的应用

Application of the GIS-based two-step floating catchment area method in measurement of spatial accessibility to hospitals in Beijing

多维MIMO数字系统的可达性可观测性和噪声格拉姆矩阵

Reachability , Observability and Noise Gramians of Multidimensional MIMO Digital Systems

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

State Reachability Analysis Algorithm of Timing Constraint Petri Nets

混合Petri网及其可达性分析

Hybrid Petri Nets and Analysis of Its Reachability

众所周知，对于有界Petri网，通过构造其可达性树或可达标识图来判定其可达性是容易的。

It is well known that deciding reachability of bounded Petri nets with its reachability tree is easy .

但对于大量存在的无界Petri网，找到一个能判定其可达性的一般性算法却不太容易。

But for unbounded Petri nets that generally existing , finding an algorithm for its reachability decision is not easy .

基于结构无竞争Petri网的DEDS的状态可达性可控性及其控制

State Reachability , Controllability and the control of DEDS Represented by No-Competing Petri Nets

首先，利用转移矩阵（TransitiveMatrix）分析方法对组合模型进行了可达性分析并检测是否有死锁。

At first , It utilize Transitive Matrix analysis methods to analyze reachability of the composition model and check whether there are deadlocks .

论文利用现有相对成熟的GIS技术方法最小邻近距离法和成本加权距离法探讨城市公园的可达性。

The paper use existing relatively mature GIS computing technique smallest neighbor discusses the metropolitan park from the law and the cost weighting from the law the accessibility .

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

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

可达性是Petri网的一个基本性质，其判定问题是Petri网理论研究方面的一个重要课题。

Reachability is one of the most basic properties of Petri-Nets and its decision problem is one of the most important topics in Petri-Nets theory .

对词典编纂者来说，如何平衡句法信息的准确性和可达性（accessibility），是一项富有挑战性的任务。

It is a challenging task for the dictionary makers to strike a balance between accuracy and accessibility of syntactic information .

通过对学校的现状分布、政府规划以及推荐方案三者的比较，证明了可达性理论结合地理信息系统（GIS）在公共设施规划中的优越性。

To investigate the advantage of the integration of accessibility theory and GIS , the comparisons between the current situation , the plan and the proposed pattern are carried out in this research .

第五，深入分析和研究了状态转换规则形式化语言和建模分析工具有色Petri网之间的关系，以及P不变量的可达性分析。

Fifthly , it studies the relationship between the formal language state transition rule ( STR ) and the modeling tools colored Petri net ( CPN ), and the character of P invariant .

多数无线传感器网络路由协议仅仅考虑可达性问题和节能问题，一些协议虽然提供了一定的QoS保证但还很不成熟。

Most routing protocols in WSN only consider the reachability and energy efficiency , though some protocols have provided some QoS metric , they are far away from perfect .

BGP作为一种域间路由选择协议，它的主要功能是在各实现了BGP协议地系统之间交换网络层可达性信息。

As a intra-domain routeing protocol , its main function is that realizes switching NLRI between the systems with BGP protocol .

BGP发布系统的基本功能就是与其他BGP系统交换网络可达性信息。

The primary function of a BGP speaking system is to exchange network ( 72 ) information with other BGP system .