它演示了自动化技术、TAL和自动化定理证明，从而验证了操作系统中和运行时复杂的低级代码的安全性。
Demonstration of automated techniques, TAL and automated theorem proving, to verify the safety of the complex low-level code in the operating system and run-time.
演示系统验证过程。
本文其余部分描述了使用IBMOmnifindDiscoveryEdition搜索文档及其元数据集合的分面导航系统的概念验证演示。
The rest of article describes a proof-of-concept demonstration of a faceted navigation system to search a collection of documents and its metadata, using IBM Omnifind Discovery Edition.
在详细分析了军事航空监视的系统结构和工作流程的基础上，设计了真实飞行搭载试验的演示验证方案并进行了相关试验。
On the basis of the system architecture and working flow of military aviation surveillance, a verifying solution is planned and associated experimentation is conducted on a real carrying flight.
在介绍EPA网络体系结构的基础上，详细地描述了《EPA标准》的核心部分：应用层服务和管理层服务，并介绍了基于《EPA标准》的演示系统，从而验证了《EPA标准》的可行性与正确性。
The application layer and management layer, the core of EPA profile, are described detailedly after the architecture of EPA network is introduced and EPA profile is proved out by the demo system.
目的研制环控生保集成演示验证系统，为未来中长期环控生保系统技术的研究创造一个先进的地面研究试验环境。
Objective To test and demonstrate embryonic form of our future space station ECLSS, which will also form an advanced research and test ground facility.
为了验证三轴微飞轮的调姿性能，设计了三轴姿态控制实验演示系统。
To validate the performance of attitude control of the three-axis micro flywheel system, a demo system for three-axis attitude control is made.
针对室内虚拟漫游的特点，对现有的全局光照模型的算法进行改进，并通过演示系统对改进后的效果加以验证。
According to indoor walkthrough's feature, we improve existing global illumination model's algorithm and check improved results by experimental system.
中性浮力地面实验系统的实验体设计问题是有效实现空间飞行器研制阶段地面演示验证实验的关键技术之一。
The problem of the experimental object design for ground experiment system of neutral buoyancy was one of the key to achieving demonstration effectually of the development of spacecraft.
该仿真系统可作为演示、验证和评估AUV导航系统正确性、有效性和实用性的先进手段和科学方法，并已得到实际应用。
This simulation system can be used as an advanced and scientific tool to display, verify and evaluate the correctness, validity and practicability for the navigation system of AUV.
该仿真系统可作为演示、验证和评估AUV导航系统正确性、有效性和实用性的先进手段和科学方法，并已得到实际应用。
This simulation system can be used as an advanced and scientific tool to display, verify and evaluate the correctness, validity and practicability for the navigation system of AUV.
应用推荐