并且基于该算法开发出新的符号模型检测工具。
A new symbolic model checking tool was built based on this algorithm.
结果表明，利用符号模型检验方法分析检验网络协议是可行的。
This result shows that it is effective analyzing and checking the property of network protocols by symbol model checker.
结果表明利用符号模型检验方法分析检验电子商务协议的新特性是行之有效的。
This result shows that it is effective to analyse and check the new property of E-commerce protocols by symbol model checker.
键合空间模型如同键合图模型一样可以通过图示符号模型的自动推导而得到系统的状态方程。
The models of bond space, just like the models of bond graph, can gain systemic state functions by means of the automatic derivation of the models of graph symbols.
结果表明，利用符号模型检测方法分析并发现密码协议重放攻击的漏洞是一种行之有效的方法。
Results show that the method using symbol model checker can discover replay attacks upon some cryptographic protocols and is effective.
介绍了一个针对同步时序电路VHDL设计的性质验证的解决方案——一个有效的符号模型判别器veris。
A solution for property verification of synchronous VHDL design is introduced, and VERIS an efficient symbolic model checker is implemented.
通过对该软件的测试试验，证明了工艺过程符号模型组态、机理模型与符号模型连接组态功能是有效的，达到了设计要求。
The software developed in this paper is tested, and the results of test show that the functions for the configuration software are efficient and the design function has basically realized.
一个模型可能包含了数百个工件，这样我们可能需要将它们分组的方法，或者从其他的符号中进行一些区别。
A model may contain hundreds of artifacts, so we might need ways of grouping them or differentiating a few symbols from the others.
我们使用这一模型来创建一个AJAX方式的客户端，它通过您输入的符号更新股票价格。
We used this model to create an AJAX-style client that updates the stock price as you type in the ticker symbol.
只要预测到符号是独特的，就不需要对其进行编码，因为解码器从DTD生成相同的模型，从而可以生成独特的预期符号。
Whenever the predicted symbol is unique, there is no need to encode it as the decoder generates the same model from the DTD and thus can generate the unique expected symbol.
数据模型没有表示文本节点中的单词或符号的概念；它只是将元素或属性的文本内容表示为一个后续节点。
The data model has no notions of words or tokens inside a text node; it just represents the textual content of an element or attribute as one contiguous node.
在未来的版本中，将逻辑单元组成到虚拟的容器层次中将成为可能，并且“uml模型”的符号和逻辑单元将变得可以区分。
In future versions, it will become possible to compose LUs into virtual containment hierarchies and the notions of "UML model" and LU will become distinct.
以一中定义良好的符号表示的模型是理解企业级方案系统的基础。
Models expressed in a well-defined notation are a cornerstone to understanding systems for enterprise-scale solutions.
在编辑方面，规范的格式已经统一化了，使用了语法与简单参考资料相结合的模型概念符号规范。
On the editorial side, the format of the specification was consolidated with the semantics and notation specifications for the modeling concepts combined for easier reference.
ESAX字节码根据其句法结构(元素、字符、属性和杂项符号)通过多个复用PPM模型之一进行编码。
The ESAX bytecodes are encoded using one of several multiplexed PPM models based on its syntactic structure (elements, characters, attributes, and miscellaneous symbols).
从上面可以看出，虽然不同建模方法的图形符号存在差异，但用于建立控制流模型的主要元素却十分相似。
We can see that although the graphical notations differ, the main elements for modeling control flow are very similar across the different modeling approaches.
该RUP业务模型为业务用例提供了工具和符号，这些用例可以有效的促进涉众同领域专家之间的交流和验证。
The RUP business Modeling discipline provides tools and notations for business use cases which facilitate effective stakeholder communication and validation with domain experts.
对以上数据模型使用IDEF 1x符号的例子如下面的图9所示。
The IDEF1X notation for the above data model example is shown in Figure 9 following.
启用多维符号的第一步是在逻辑数据模型中实现多维功能。
The first step for enabling dimensional notation is to enable dimensional capability in the logical data model.
上面的符号从未实际使用过，因为它会使流程模型变得无法阅读。
The notation above is never actually used, because it renders a process model unreadable.
图15显示了采用此类“速记”符号的典型流程模型。
Figure 15 shows a typical process model that has adopted such a "short-hand" modeling notation.
当把一个分析过程模型和一个可执行过程实现联系起来的时候，这暗示了不要给图中的分析过程符号包括太多的复杂细节。
When linking an analysis process model with an executable process implementation, the clue is not to include too many of the sophisticated details of the analysis process notation in the diagram.
这一概要可以应用于任何新模型或现有模型，它还为SOA分析和设计添加了一些新概念和新符号。
The profile can be applied to any new or existing model, and it adds new concepts and notations specific to SOA analysis and design.
现在我们已经将通过多维符号生成的多维物理数据模型添加到源多维逻辑数据模型中。
Now we have the dimensional physical data model generated with the dimensional notations added to the source dimensional logical data model.
通常缺少一种单一、可移植、可接受的业务流程执行标准和业务流程模型符号标准。
There's usually a lack of a single, portable, and acceptable standard for business process execution and business process model notation.
主要的理由是，他们希望UML模型能够表达模型驱动架构（MDA），这意味着 UML必须支持更多的模型驱动的符号。
The main reason was that they wanted UML models to be capable of delivering Model Driven Architecture (MDA), which meant that the UML had to function as a more model driven notation.
现在可以使用业务流程模型符号(Business ProcessModel Notation,BPMN)流程图样式发布模型，从而使业务用户能够确定要使用哪一种流程图样式，如图24所示。
Models can now be published using the business Process Model Notation (BPMN) diagram style, enabling business users to determine which diagram style to use, as shown in Figure 24.
他们可以通过把语法树回馈给编译集来创建语义模型，从而用符号数据对其进行注解。
A semantic model is created by feeding a syntax tree back into the compilation so that it will be annotated with symbol data. The semantic model can then be queried for information such as.
相应地，Rational Software Architect支持使用行业级BPMN2符号来创建业务过程模型。
Accordingly, Rational Software Architect supports building business process models using the industry-standard BPMN2 notation.
OMG 已经完成了服务建模的SoaML标准元数据模型和符号的制定。
The OMG was reaching closure on the SoaML standard meta-model and notation for service modeling.
应用推荐