您要查找的是不是:
- Formal model check 符号模型检测
- Finally, the author proposes a formal model of discourse construal from a generative holistic perspective. 最后,文章提出了一个语篇整体性识解的形式模型。
- MWB is a model checking tool based on PI-calculus. MWB是一个基于PI演算的模型检测工具。
- TUGEN integrates the features of data-flow and control-flow test and is based on a formal model called EBE, which specifies only the external behavior of a protocol. 测试集自动生成方法的研究是协议一致性测试领域中比较活跃的一个分支。 提出了一种基于EBE模型,集成数据流和控制流测试的新的协议测试自动生成方法并给出了其实现TUGEN。
- Select the Secure individual model items independently for this model check box. 选中“单独保护此模型的各项”复选框。
- The definitions of 3A (Any time, Any place and Any device) utilization mode are presented and a formal model of user and service grid system (USG) is built using ASM. 给出了用户3A (Anytime, Anyplace and on Anydevice)使用模式的定义,利用抽象状态机(ASM)理论对用户和服务网格系统进行形式化建模,并证明了服务网格3A使用模式定理。
- If you see this message again, clear the Assume linear model check box, and then run the problem again. 如果又一次出现同样信息,请清除“采用线性模型”复选框,然后再运行一次。
- You selected the Assume Linear Model check box in the Solver Options dialog box, but the problem is nonlinear. 选中了“规划求解选项”对话框中的“采用线性模型”复选框,但问题是非线性的。
- When the Assume Linear Model check box in the Solver Options dialog box is selected, there is no limit on the number of constraints. 当“规划求解选项”对话框中的“采用线性模型”复选框处于选中状态时,对约束条件的数量没有限制。
- When the Assume Linear Model check box on the Solver Options dialog box is selected, there is no limit on the number of constraints. 当“规划求解选项”对话框中的“采用线性模型”复选框被选中时,对约束条件的数量没有限制。
- Once again, the "soft" nature of these constraints has prevented their inclusion in formal models. 这的制约因素的“伸缩”性质再一次使它们不能包括在正式模型里。
- ESTELLE LOTOS SDL UML and MSC are introduced. After analyzed SDL system structure communication mechanism and data type, we use SDL toolkit Telelogic Tau to develop our formal model. 然后本文采用SDL规范,利用Telelogic Tau软件对传输协议进行形式化开发,包括协议形式化描述、仿真、和验证。
- Timothy K. Shih, Lain-jinn Huang, Jich-yan Tsai, "Formal model of temporal properties underlying multimedia presentations," 1997 international conference of multimedia computing and systems, 1997. 洪文斌;黄连进;"使用类神经网路来作文件自动分类之研究;"1998分散式系统技术及应用研讨会;1998/05/14.
- This paper introduced the timed automata and TCTL in brief, and described how to model check the real-time systems based dense time, then we give an example in the end. 本文简要介绍了时间自动机和时序逻辑TCTL,并着重说明了如何进行基于稠密时间的实时系统的模型检测,最后给出了一个应用实例。
- The formal modeling for cryptographic protocols, namely security protocols, is the basis of their analysis and design. 摘要密码协议分析与设计的基础是对其进行形式化建模。
- Such tinkering is anathema to pure theorists, who see experiments as a rickety crutch for those who cannot build good formal models. 纯理论学家对这种修修补补的办法深恶痛绝,他们认为只有无法建立良好正规模型的人,才会想出实验这种不牢靠的办法。
- This thesis proposes a CASE tool ACASE which is an integration of different techniques for the formal modeling and simulation of Active Networks. 本论文是利用电脑程式作为逻辑电路的模拟实验,并且采用包括类神经网路与模糊逻辑控制推论方法,来实现全加器与全减器的真值表。
- The experiment result shows model checking for obfuscated binary executable is an effective static analysis method and can check out some obfuscated binary executable. 实验结果表明模型检查迷惑二进制恶意代码是一种有效的静态分析方法,可以检测出一些常用的迷惑恶意代码。
- Over the last decade the use of model checking to verify the presence or absence of properties has gained prominence. 近十年以来,使用模型检查来验证有无某些特性已经成为主流。
- And then based on the framework, this paper fatherly researched CMMS based data-collection, ECA rules based scheduling formatted description, and UML based scheduling formal modeling. 基于该建模框架,面向兵力调度本文进一步研究了基于CMMS的数据搜集、基于ECA规则的兵力调度格式化描述以及基于UML的兵力调度形式化建模,在此基础上给出了基于工作流的兵力调度模型。