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.
理论分析和实验结果表明，条件化可以有效缩减程序状态空间，并且满足软件模型检测对状态缩减的安全性要求。
Check whether the model is complete and clear and provides detailed level of information about the zones, hardware, software and connection specifications or details.
检查模型是否完整清晰，是否提供了关于区域、硬件、软件以及连接规范或细节的详细信息。
The SOAD framework lets knowledge engineers and software architects manage decision dependencies, so they can check model consistency and prune irrelevant decisions.
SOAD框架使得知识工程师以及软件架构师能够管理决策依赖，这样他们可以检查模型一致性并删除不相干的决策。
Therefore, we adopt finite element software to establish finite element model of local deck structure, calculate structure stresses and to check its strength.
因此采用大型有限元计算软件建立甲板局部结构模型，对系泊工况下甲板局部加强进行强度校核。
This paper presents the mathematical model and coding principle of cyclic redundancy check, and show the software implementation.
论述了循环冗余校验的数学模型以及编码原理，并给出了软件的实现方法。
This paper presents the mathematical model and coding principle of cyclic redundancy check, and show the software implementation.
论述了循环冗余校验的数学模型以及编码原理，并给出了软件的实现方法。
应用推荐