片语

uniform reachability一致能达性

connective reachability联结可达性

step reachability翻译

approximate reachability近似可达性

reachability time可达时间

forward reachability向前可达性

Advertising Reachability地址的可达性广播

Reachability testing可达性测试

Erreichbarkeit reachability可达到性

英汉例句

• in his paper, we introduce timed automata and the algorithm of reachability analysis, and proposes an improvement algorithm of the basic successor algorithm.

  本文介绍了时间自动机和可达性分析算法，并对可达性分析算法中的后继算法进行了改进。

• by the methods of module theory, ideal theory and algebraic geometry, simple criteria for these reachability and observability, and the sufficient conditions for stabilizing the system are obtained.

  并应用模论、理想论与代数几何的方法得到了这两种能达能观性的简单判据以及用补偿器综合稳定系统的充分条件。

• the reachability problem of switched linear singular (sls) systems is investigated under the regularity assumption of all subsystems.

  在各子系统正则的条件下研究了切换线性奇异系统的能达性问题。

• the monitoring method of start-up process was discussed by studying the coordination layer of this model, and the reachability method was adapted to analyze this model.

  通过对其协调层的深入讨论，研究了开车过程的监控问题，采用可达性等方法对模型进行了分析。

• reference queues, to which registered reference objects are appended by the garbage collector after the appropriate reachability changes are detected.

  当检测到相应的可达性发生改变后，垃圾回收器就会将注册有此队列的引用对象添加到这个引用队列中。

• at last, this paper establishes one computer aided ergonomics design system aimed at machine tool, which has the visibility evaluating, reachability evaluating and amenity evaluating function.

  最后，以机床为对象，构建了计算机辅助人机设计系统，实现了操作空间的可见性、可及性与宜人性人机评价。

• this network reachability information includes information on the list of autonomous system (ass) that reachability information traverses.

  这种网络可到达性信息包含了可到达性信息穿越的自治系统的列表。

• moreover, introduce the idea of reachability matrix, by which, figure out the average transfer times and come out the arithmetic.

  引入了「可达矩阵」的概念，利用可达矩阵计算出了公交线网的平均换乘次数，并给出了算法。

• for most safety properties and some liveness properties of real-time systems, model checking can be reduced to reachability analysis.

  模型检测时，实时系统的大多数安全属性和部分活性都可以通过可达性分析算法来验证。

• reachability testing is a general approach to testing concurrent programs via generating the minimal complete partial ordered set of test sequences.

  可达性测试是目前较为成熟的一种并发程序测试方法，该方法解决了如何生成最小完备偏序测试序列集的问题。

• a new method of protocol analysis is presented, in which a finite state automation with counters(cfsa)is applied to model the protocol to be analyzed and reachability analysis is made.

  本文提出一种用于协议分析的新方法，它以本文提出的带有参数计数器的有限状态自动机为基础，对协议模型进行可达性分析。

• php object persistent database. podb is implementing persistency by reachability approach.

  podb是通过可通性的途径实现持久性的。

• the border gateway protocol is the inter-domain routing protocol used to exchange reachability information between autonomous systems in the global internet.

  边界网关协议是自治域间的路由协议，用于在全球因特网之间交换网络可达性信息。

• the uniform controllability, reachability and observability of linear switched control systems are investigated.

  研究线性切换系统的一致能控、能观和能达性。

• using mean, variance conceptions in the definition of the sliding mode reachability can better reflect the stochastic characteristics of the systems.

  运用均值、方差概念来定义的滑动模可达性，更能反映系统的随机特征。

• reference queues, to which registered reference objects are appended by the garbage collector after the appropriate reachability changes are detected.

  引用队列，在检测到适当的可访问性变化后，通过垃圾收集器将已注册的引用对象加入。

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

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

• 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.

  给出一类线性切换系统能控性、能达性的充分必要条件，此类系统的特征是具有相同的系统矩阵和不同的输入矩阵。

• this paper discusses the reachability and the controllability of symmetric and generalized symmetric 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.

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

• php object persistent database. podb is implementing persistency by reachability approach. object of any class derived from persistent base class is considered as persistent capable.

  podb是通过可通性的途径实现持久性的。源自持久性基类的任何类的对象都是具有持久性能力的。

• reachability testing is a valid method for concurrent software testing.

  可达性测试是并发软件测试中的一种有效方法。

• in this paper, the reachability problems of target set and target tube as well as the estimation problems of the states of uncertain systems have been discussed by the application of the set theory.

  本文从集合论的观点讨论了不确定性系统的目标集和目标管的能达性问题，以及状态估计问题；

• tracking the stored object, should it be stored into an already processed object and popped off the stack, preserves reachability through the write barrier.

  跟蹤存储的对象，应将其存储在已经处理过的对象中并从栈中弹出，通过写入屏障保持可获取性。