您要查找的是不是:
- T~3BDD Based Dynamic Model Checking 基于T~3BDD的动态模型检查
- dynamic model checking 动态模型检验
- MWB is a model checking tool based on PI-calculus. MWB是一个基于PI演算的模型检测工具。
- A new modulation dynamic model of LD is presented. 本文给出一个新的适于电路分析的激光二极管(LD)动态调制分析模型.
- Dynamic model for Pb isotope evolution in the continental crust of China. 中国大陆地壳铅同位素演化的动力学模型。
- Then the dynamic model of ultrasonic focalization decomposition is constructed. 通过研究构建了超声裂解动力学模型。
- Over the last decade the use of model checking to verify the presence or absence of properties has gained prominence. 近十年以来,使用模型检查来验证有无某些特性已经成为主流。
- The first,the system dynamic model,which is expressed in quaternion,is given. 首先给出了以四元数表示的系统动力学模型;
- For most safety properties and some liveness properties, model checking can be reduced to reachability analysis. 实时系统的绝大多数安全性和部分活性可以通过可达性分析算法来验证。
- A dynamical model for the mast mechanism is built. 建立了桅杆机构的动力学模型。
- Edelkamp S,Helmert M.The model checking integrated planning system.AI-Magazine (AIMAG),2001,67-71. 对动作进行置换的含义见第3节中的"定义3.;2";本节是从宏观上介绍本文内容的组织结构
- The key characteristics of MASM are veri ed and validated through the model checking technique. 利用模型检测技术,建立了验证模型关键属性的方法;
- K.L. McMillan. Symbolic Model Checking: an approach to the State explosion problem. 邵明;李光辉;李晓维.;模型检验中迁移关系的分组策略
- Dynamic models emphasize the behavioral quality of systems. 动态模型强调系统的行为质量。
- The experimental results show that this dynamic modeling meth... 最后,实验证明了该动态建模方法有效。
- The remarkable fruits have been made: the improvements on Graphplan including CGP, SGP, the different class of universal plan via model checking. 在这方面已取得的重要成果有:基于图规划所做的一系列改进如CGP、SGP,基于模型检测方法生成各种通用规划等。
- SAT-based bounded model checking is powerful in bug finding,but it does not support specification with mathematic formula. 而基于SAT的有界模型检验方法虽然能较快地发现反例;但它不支持包含数学公式的系统规范;因而难以用于验证运算电路.
- Word level model checking based on decision diagrams can verify arithmetic circuits completely,but its bug finding is time-consuming. 基于决策图的字级模型检验方法虽然能完全验证运算电路;但它从有缺陷的设计中发现系统规范的反例所需时间较长.
- The continuum equation and kinematics differential equation composed the dynamic model of mixed traffic flow. 连续性方程和运动微分方程构成了混合交通流的动力学模型。
- In model checking a new method is proposed on checking whether a system property represented by a computation temperal logic (CTL) formula is vacuity. 摘要在模型检验中建立了一种新方法:检验可计算时态逻辑(CTL)公式描述的系统属性是否为空属性。