理论上证得,DCM可以大大降低可达性分析算法的复杂度。
贯通型公交网络与环形的结合既能提高公交的机动性,又能提高其可达性;
这种网络可到达性信息包含了可到达性信息穿越的自治系统的列表。
给出了其在矩形区域上局部能达和局部能控的充分必要条件。
实时系统的绝大多数安全性和部分活性可以通过可达性分析算法来验证。
一类区段赋时弧有色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允许网络管理员根据延迟、损失、可达性、使用、负载分布和传输成本,在多种选择中确定使用哪一条出局路径。
1·The sufficient and necessary condition of controllability and reachability of a class of linear switching systems which has the same systematic matrix and different input matrixes is given.
给出一类线性切换系统能控性、能达性的充分必要条件,此类系统的特征是具有相同的系统矩阵和不同的输入矩阵。
2·The problems of reachability and observability for 2-d continuous-discrete systems are studied.
对2—D连续—离散系统的局部能达性与局部能观性作了系统地分析。