检查模型是否完整清晰，是否提供了关于区域、硬件、软件以及连接规范或细节的详细信息。
Check whether the model is complete and clear and provides detailed level of information about the zones, hardware, software and connection specifications or details.
SOAD框架使得知识工程师以及软件架构师能够管理决策依赖，这样他们可以检查模型一致性并删除不相干的决策。
The SOAD framework lets knowledge engineers and software architects manage decision dependencies, so they can check model consistency and prune irrelevant decisions.
时态逻辑在软件确认和模型检查中有广泛的应用。
Temporal logics are widely used in software verification and model checking.
本文以消防监督检查系统为实例，展示了UML在进行软件设计构造阶段中，设计阶段模型和需求分析阶段模型之间的依赖关系。
Using fire fighting supervising system as an example, this paper exhibits the dependency relations of design phase model and requirement analysis phase model in software build phase by UML.
利用基于特征的机械设计自动化软件建立了TRT调节机构三维实体模型，并进行了装配干涉检查及运动仿真。
This paper has discussed how to produce 3D models and process dynamic detection for control mechanism of TRT by using feature_based mechanical design automatic software.
利用基于特征的机械设计自动化软件建立了TRT调节机构三维实体模型，并进行了装配干涉检查及运动仿真。
This paper has discussed how to produce 3D models and process dynamic detection for control mechanism of TRT by using feature_based mechanical design automatic software.
应用推荐