本文讨论对称及广义对称非线性系统的可达性与可控性。
This paper discusses the reachability and the controllability of symmetric and generalized symmetric systems.
益康花园理论强调城市中绿地系统的可达性、便捷性、质量的维护、适用人群的普遍性等。
The healing garden theory emphasizes the accessibility, convenience, quality, maintenance of the park, universality for the people, etc.
模型检测时，实时系统的大多数安全属性和部分活性都可以通过可达性分析算法来验证。
For most safety properties and some liveness properties of real-time systems, model checking can be reduced to reachability analysis.
从理论上探讨了计算商业区可达性包含的4个因素：土地利用、交通系统、时间因素以及个体因素。
The study attempts to determine the theoretical accessibility of commercial centers based on 4 factors, namely, land-uses, transportation systems, time, and individual sites.
为此，笔者提出以景观可达性作为评价城市绿地系统对市民的服务功能的一个指标。
The authors propose the use of landscape accessibility as a measurement of the services or function of the green urban system.
本文提出了时序有限自动机，用它建立数据融合系统的形式化模型，并且给出了时序有限自动机模型的可达性分析方法，用于分析数据融合系统的性能和行为。
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.
她和她的医学认知实验室成员每天记录下电视时间并把医药广告时间单独列出来以便系统地分析它们的认知可达性。
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."
利用函数的Z -变换，获得了离散广义系统模型的一般响应公式，由此得到该模型的局部可达性与局部能控性的充分必要条。
By using Z transform of a function, the general response formula for the general model of discrete singular systems is derived.
从机器人柔性焊接系统设计的角度出发，分析了推土机后桥箱的结构特点和可达性，明确了焊接工装设计思路。
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.
运用均值、方差概念来定义的滑动模可达性，更能反映系统的随机特征。
Using mean, variance conceptions in the definition of the sliding mode reachability can better reflect the stochastic characteristics of the systems.
组合可达性分析是对并发系统模型分析验证的基础和关键，但是难于解决验证中的所谓的状态爆炸问题。
Model checking and refinement checking are two approaches to formal verification, whose difficulties are due to the state explosion problem.
系统依赖图的概念及两阶段图形可达性算法的出现，则有效解决了程序切片的过程调用问题。
To program slicing, the concept of SDG and a two-pass algorithm are effective to solve "calling-context" problem.
系统依赖图的概念及两阶段图形可达性算法的出现，则有效解决了程序切片的过程调用问题。
To program slicing, the concept of SDG and a two-pass algorithm are effective to solve "calling-context" problem.
应用推荐