Reachability

可达性

常用释义

词性释义

n.

[数] 可达性;[自] 能达性
例句
  • 全部
  • 可达性
Using DCM as a data structure for the reachability analysis algorithm for multirate automata, the complexity can considerably be decreased.
理论上证得,DCM可以大大降低可达性分析算法的复杂度。
贯通型公交网络与环形的结合既能提高公交的机动性,又能提高其可达性;
This network reachability information includes information on the list of Autonomous System (ASs) that reachability information traverses.
这种网络可到达性信息包含了可到达性信息穿越的自治系统的列表。
给出了其在矩形区域上局部能达和局部能控的充分必要条件。
Container placement and client reachability.
容器布置和客户机是否可以访问。
PHP Object Persistent Database. PODB is implementing persistency by reachability approach.
PODB是通过可通性的途径实现持久性的。
For most safety properties and some liveness properties, model checking can be reduced to reachability analysis.
实时系统的绝大多数安全性和部分活性可以通过可达性分析算法来验证。
第三章介绍了多种有关可达矩阵的算法。
一类线性切换系统能控性和能达性的充要条件
输入矩阵定常的切换线性系统的能控性和能达性
切换连续系统的可达性分析
异构网络环境下的并行程序可达性测试算法
一类区间速率连续Petri网的可达稳态分析
基于约束程序的变迁约束可达问题判定研究
An Algorithm to Dynamically Reduce the State Space of Timed Automata during the Reachability Analysis
一种动态消减时间自动机可达性搜索空间的方法
标记迁移系统的组合可达性分析
监听信源和信宿问的组播可达性;
一种改进的实时系统可达性分析算法
Analysis of Reachability and Prohibitibility of a Class of Coloured Petri Nets with Interval Timed Arcs
一类区段赋时弧有色Petri网的可达性和可阻断性分析
有交易费的折算资产优化性质和可达性
Buck变换器混杂动态系统的能控性和能达性
基于Petri网的可达树与可达图的构造与算法实现
一类混合动态系统的能控性和能观性研究
切换线性奇异系统能达的必要条件
新型蚂蚁算法可达性证明与性能分析
时间自动机可达性分析算法的改进
由邻接矩阵求解可达矩阵的一种改进简便算法
有限精度时间自动机的可达性检测
基于扩展同步序列的Java多线程程序可达性测试方法
大规模对等网络中可达性分析及短路效应解决方案
1·This paper discusses the reachability and the controllability of symmetric and generalized symmetric systems.
本文讨论对称及广义对称非线性系统的可达性与可控性。
2·Or is it simply reflected in the results of network and reachability calls? (Reporting no network?)
还是只是反映在网络和可达性的结果电话吗?(报告没有网络?)
3·Using mean, variance conceptions in the definition of the sliding mode reachability can better reflect the stochastic characteristics of the systems.
运用均值、方差概念来定义的滑动模可达性,更能反映系统的随机特征。
4·OER allows the network administrator to determine which outbound path to use among several options to use based upon delay, loss, reachability, use, load distribution, and transmit cost.
OER允许网络管理员根据延迟、损失、可达性、使用、负载分布和传输成本,在多种选择中确定使用哪一条出局路径。