A new symbolic model checking tool was built based on this algorithm.
并且基于该算法开发出新的符号模型检测工具。
Apart from three traditional narrative models, namely, "narration", "experience" and "plot", he has applied a unique symbolic model.
他于传统的“纪事型”、“感事型”、“情节型”三种叙事模式之外，运用了独特的象征型叙事模式。
A solution for property verification of synchronous VHDL design is introduced, and VERIS an efficient symbolic model checker is implemented.
介绍了一个针对同步时序电路VHDL设计的性质验证的解决方案——一个有效的符号模型判别器veris。
Tesla has huge symbolic significance because it is the first company to make people believe a business model solely around electric vehicles is possible.
特斯拉具有强大的象征意义，因为它是第一个让人们相信，完全围绕电动汽车的商业模式是可行的公司。
These cultural symbols and symbolic significance of the "content" will be adopted to express the model community.
而这些文化符号和象征意义的“内涵”都将通过社区模式来表述。
To model check a value-passing concurrent system, an abstract model must be constructed, and Symbolic Transition Graphs with Assignment is such an abstract model.
对并发传值系统进行模型检测需要建立相应的抽象模型，带赋值的符号迁移图是一种广为使用的抽象模型。
A constraint relation dependence graph (CRDG) is applied to express the dependence of coupling constraints, and establish the numerical and symbolic coupling constraints model.
采用约束关系依赖图(CRDG)表达耦合约束之间的依赖关系，从而建立数值与符号耦合约束模型。
At last, by the Structural Equation Model it studies the mediator effect of brand trust and brand symbolic value.
最后，通过结构方程模型检验了品牌信任和象征价值的中介效应。
Firstly, the chaotic state of weak signal detection method was proposed, based on the inverted sawtooth map model and symbolic dynamics description methods.
首先，基于混沌理论中的倒锯齿映射模型，以符号动力学为描述方法，设计了一种基于混沌状态的微弱电信号检测方法。
Model shift maps is a class of special chaotic maps on symbolic space and received much attention.
拟移位映射是符号空间上一类特殊的混沌映射，被广泛关注。
Genre Film is taken on in the characteristics: model, duality, repeatability, cumulation, predictability, nostalgia, symbolic and functionality.
类型电影具有模式性、二元性、重复性、累积性、可预见性、怀旧性、象征性和功能性的特点。
Mathematical logic is an extension of symbolic logic into other areas, in particular to the study of model theory, proof theory, set theory, and recursion theory.
数理逻辑的延伸符号逻辑到其他领域，特别是研究模型理论，证据理论，集理论，并递归理论。
Abstract: Model shift maps is a class of special chaotic maps on symbolic space and received much attention.
摘要：拟移位映射是符号空间上一类特殊的混沌映射，被广泛关注。
"Model" is a simple and direct description for the internal mechanism and external relationship to some items or entities, and is a symbolic and logic assumption to relatively simple status.
“模式”是对某一事项或实体的内在机械设计与外部联系的直观和简洁的描述，是对相对简单状况所做的象征性合乎逻辑的设想。
The information about the symbolic notation is derived from a configurable graphical model as a set of rules governing the aspect and placement of residues and linkages.
有关符号记法的信息源自一个可配置的图解模型，作为一套规则调整残基和连接的方向和布局。
In the paper, we study these problems memtioned above by symbolic logic, and propose a formal model of RBAC.
本文针对这个问题，从数理逻辑的角度出发，建立了一个形式化模型。
In the paper, we study these problems memtioned above by symbolic logic, and propose a formal model of RBAC.
本文针对这个问题，从数理逻辑的角度出发，建立了一个形式化模型。
应用推荐