对堵河流域水环境保护功能区的合理划分及功能可达性分析进行了探讨。
The paper presents discussions on the rational division of the water environment protection functional zones in Du River basin as well as analysis of the achievability of the functions.
模型检测时，实时系统的大多数安全属性和部分活性都可以通过可达性分析算法来验证。
For most safety properties and some liveness properties of real-time systems, model checking can be reduced to reachability analysis.
本文介绍了时间自动机和可达性分析算法，并对可达性分析算法中的后继算法进行了改进。
In his paper, we introduce timed automata and the algorithm of reachability analysis, and proposes an improvement algorithm of the basic successor algorithm.
然后分别从空间管制、耕作半径和交通、服务设施可达性分析三个主要影响因子进行GIS建模。
Then we set up GIS modeling of spatial development control, cultivating radius, traffic and public facilities accessibility.
组合可达性分析是对并发系统模型分析验证的基础和关键，但是难于解决验证中的所谓的状态爆炸问题。
Model checking and refinement checking are two approaches to formal verification, whose difficulties are due to the state explosion problem.
本文提出了时序有限自动机，用它建立数据融合系统的形式化模型，并且给出了时序有限自动机模型的可达性分析方法，用于分析数据融合系统的性能和行为。
We extend finite automata with time sequence and define temporal finite automata, then we propose using temporal finite automat to build formal model for data fusion system.
从机器人柔性焊接系统设计的角度出发，分析了推土机后桥箱的结构特点和可达性，明确了焊接工装设计思路。
From the perspective of flexible welding robot system design, analyze the structure feature and welding accessibility of rear axel housing for bulldozer and clarify the approach of fixture design.
目前已被应用于城市诸多方面的分析，包括城市土地利用，交通网络可达性，街道布局等。
The method has now been applied to analysis of many aspects of the city, including urban land use, transportation network accessibility, street layout, etc.
因此，对高速公路网络中的城镇可达性进行分析具有重要意义。
Therefore, it is very important and meaningful to analysis the city accessibility of expressway network.
文中分析了不同凸障碍环境下滚动路径规划子目标选择策略，并且还探讨了规划算法的可达性。
The subgoal determination strategy of rolling path planning is analyzed according to various convex obstacle environment. And the accessibility of the planning algorithm is also discussed.
并将可达性图与可达性树进行比较，证明了可达图是较可达树更为有力的一种分析工具。
Compare the reachable tree and the reachable graph prove that reachable graph is better than reachable tree.
她和她的医学认知实验室成员每天记录下电视时间并把医药广告时间单独列出来以便系统地分析它们的认知可达性。
She and her small staff at Duke's Medical Cognition Laboratory record hours of television every day, isolate drug commercials, and systematically measure their "cognitive accessibility."
通过对其协调层的深入讨论，研究了开车过程的监控问题，采用可达性等方法对模型进行了分析。
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.
借助建立的模型对某型号军用飞机电子化驾驶舱中的部分控制器的可达性进行了分析；
The reach ability of some controllers in one electronic cockpit was analyzed by reach envelope analysis model.
本文以建立面向网络的虚拟软件研发组织过程建模为目标，在分析虚拟软件研发组织运作过程特性的基础上，提出了一种虚拟软件研发组织过程模型，并对其软件研发项目的可达性进行了研究。
This paper presents a reachability model of VSR&DO based on network, and proposes a model to estimate the reachability of VSR&DO, which based on the analysis of the process of VSR&DO model.
本文以建立面向网络的虚拟软件研发组织过程建模为目标，在分析虚拟软件研发组织运作过程特性的基础上，提出了一种虚拟软件研发组织过程模型，并对其软件研发项目的可达性进行了研究。
This paper presents a reachability model of VSR&DO based on network, and proposes a model to estimate the reachability of VSR&DO, which based on the analysis of the process of VSR&DO model.
应用推荐