针对软件模型检测中的状态爆炸问题，提出将程序条件化技术用于软件状态空间缩减的方案。
Aiming at the state explosion problem existed in the software model checking, a scheme of applying program conditioning to reduce the state space of programs was proposed.
理论分析和实验结果表明，条件化可以有效缩减程序状态空间，并且满足软件模型检测对状态缩减的安全性要求。
Theoretical analysis and experiments show that the scheme can effectively reduce a program's state space and satisfy the safety requirement imposed by software model check.
9月份普林斯顿大学的三位科学家使用最受欢迎的触摸屏机器模型对机器及其软件进行了模拟检测。
In September three scientists at Princeton University got hold of the most popular touch-screen model and took it and its software to bits.
对客车的旅客运输量自动检测系统技术进行了研究，建立了与之相适应的软件数学模型。
This article introduces the research of the technique of automatic checkout system of passenger traffic on bus, and the establishment of corresponding software mathematical model.
利用该模型可以精确描述面向服务软件中异常处理总体方案，便于辅助设计人员检测异常处理设计方案中的缺陷。
The model can accurately describe the overall program of exception handling in service-oriented software, aiding to detect the defects in it.
用研制成功的多波检测计算机三维成像软件系统对观测数据进行处理，其成像结果与已知模型基本相符。
The three-dimensional imaging software of the multi-wave detecting computer processes the test data and the imaging results match the given model.
为了便于分析处理，本文构建的软件安全性模型仅考虑检测人员可能检测到的不安全输出。
For ease of analysis processing, this article constructs the software safety model which is only considered the unsafe output which is possibly examined the personnel.
并用MATLAB软件对振动模型的位移和加速度响应进行幅值解算，为压实度检测提供了理论依据。
With MATLAB software, the amplitude of vibration displacement and acceleration response can be figured out, this provides theoretical basis for compaction degree detection.
本文针对数控车削在线检测的需要，建立了用于状态监测与预报的AR模型，并开发了基于该模型的软件，它能够实现AR模型的自动定阶、AR谱分析、加工状态的实时预报。
In this paper, ar model has been built for on-line NC turning monitoring and the software has been developed which can decide the order of ar model, analyze ar spectrum, predict working condition.
采用MATLAB软件并通过某航空公司A320机型的实际飞行数据，实现神经网络模型的训练与检测，误差在可接受范围内。
By using MATLAB software and flight data of A320, the training and verification of the model were realized, and the errors were acceptable.
应用该模型，以此为基础，为一个检测算法是自动升级和更新了新的恶意软件样品提交用户来我们的服务器上。
This model is used as a basis for a detection algorithm which is automatically enhanced and updated with new malware samples submitted by our users to our servers.
软件允许用户采用三维CAD数据，脱机或者联机生成工件检测程序，同时完成图形化工件模型和探测路径的模拟。
PC-DMIS CAD lets you use the power of 3D CAD data to create part programs, both on and off-line, complete with graphical part models and probe path simulations.
软件允许用户采用三维CAD数据，脱机或者联机生成工件检测程序，同时完成图形化工件模型和探测路径的模拟。
PC-DMIS CAD lets you use the power of 3D CAD data to create part programs, both on and off-line, complete with graphical part models and probe path simulations.
应用推荐