分析对不同形式模型的各种求解算法；
What are the differences between different algorithms for different equation models?
本文的主要工作包括以下几个部分：1建立支持软件故障定位的形式模型。
The main works include the following: 1 Build the formal software model for fault location.
该文根据建模基础的不同，对目前处在研究热点中的几个重要协议形式模型进行了分类分析。
In this paper, some kinds of critically formal models for security protocols, which have recently catched much researcher's attentions, are analyzed in terms of their different modeling bases.
本文首先给出了RMS的形式模型，而后，重点讨论了系统中用以消除矛盾的一致性维护问题。
This paper first introduces the formal model of RMS. Then, it puts stress on discussing the consistency preservation problem to remove contradicts in reasoning systems.
DBLP模型作为可用于系统设计的形式模型，它在多方面改进了现有文献中的工作，使模型更实用。
As a model that can be used to develop practical system, DBLP model has been designed based on some researches improving those works described in literature relevant to confidentiality policy models.
本文通过对业务在执行过程中，业务逻辑实例与外部实体交互消息的分析，提出一个基于消息序列语义的特征交互形式模型。
This paper proposes a formal model of feature interactions based on the semantic of message lists in runtime between the object of service logical programming instance and the network entities.
一些研究人员在密码协议分析中引入形式化方法，通过建立形式模型和自动检测工具分析密码协议的安全性，取得了较大的成功。
Some researchers introduced formal methods for analyzing cryptographic protocols, and achieved many significant results by building formal models and automatic verifying tools.
因为混沌理论的基本观点是这样的“模型”不存在——不存在确定的形式，只有发展变化中的模式。
Because the basic idea of chaos theory is that there aren't any "models" as such—there aren't guaranteed forms, but rather patterns of change in development.
这不仅为您提供了另一种形式的可视化，而且还使用了底层的正式技术模型。
This not only provides you with another form of visualization, but it also uses a formal, technical model underneath.
一个游泳冠军的线框模型划开水面，她的双臂以慢动作的形式划动。
A wire-frame model of a champion swimmer slices through the water, her arms moving in slow motion.
还可以以动态模型的形式来表示动态行为，但在那样做之前，我们必须确定动态行为是什么。
Dynamic behavior can also be formalized into something called the dynamic model, but before we can do that, we have to figure out what the dynamic behavior is.
这样的资产没有被实现，它们代表一个抽象的形式，比如模型或者文档。
Such assets have no implementation, and are represented in an abstract form such as a model or document.
对ejb可视化编辑器以前版本做的另一个改进是以uml形式引入了交叉模型引用标记。
Another improvement from the previous version of the EJB Visual Editor is the introduction of Cross Model Reference decorations in UML shapes.
因此，要达到最佳性能，您最好还是使用XML数据库或一些其它形式的索引模型。
For best performance, then, you're still better off using an XML database or some other sort of indexing model.
利用网关形式，模型中的分支和联接点会更加明确。
Gateway form makes the branching and joining points in the model more explicit.
图6显示了采用网关形式的流程模型。
数据将以模型对象的形式在层与组件之间来回传递。
Data is passed back and forth between tiers and components in the form of model objects.
最后，我将以静态模型的形式来使这种系统的观点成为正式。
Eventually, I'll formalize this view of the system into something called a static model.
没有现成的指南或过程样品、模型、形式和实例可供你复制。
There are no policy or process samples, no templates, no forms, and no examples to copy.
可以选择模型形式来捕获复杂信息。
You can use a selection of model forms to capture complex information.
接下来是撰写过程，它负责将简化的模型翻译为代码形式。
The writing phase follows, which translates the simplified model into code.
利用这些模式，可设计出形式良好的模型结构，从而避免因随意使用网关而导致的建模错误。
These patterns lead to a well-formed structure for the models, which avoids many modeling errors that otherwise occur when gateways are used in an arbitrary way.
对于仅显示控制流的模型，这两种形式可以互换，模型将保留其本身的语义。
For models that show control flow only, both forms can be used interchangeably and the models will preserve their execution semantics.
有两种相关的模型形式：表示形式和组织形式。
There are two interrelated model forms: the representational form and the organizational form.
治理模型：SOA项目的正确形式。
熟悉各种模型形式，如实体关系图(Entity - Relationship Diagram,ERD)、UML和其他面向系统的建模方法，将提供广泛的建模选项。
Familiarity with a variety of model forms, such as entity-relationship diagrams (ERDs), UML, and other system-oriented modeling approaches, will provide you with a wide range of modeling options.
被证明有效的使用新广告形式的收入模型。
WBIModeler以业务流程执行语言(BPEL)、XSD和WSDL构件相结合的形式输出流程模型以及相关的业务级别的对象定义。
The WBI Modeler exports the process model and its associated business-level object definitions in a combination of business process Execution Language (BPEL), XSD, and WSDL artifacts.
您需要创建存储库动态Web服务，而不采用将代码存储在基于活动和资源的服务上的形式引用模型。
You need to create Repository Dynamic Web services without references to a model as a way of storing and retrieving code on activity - and resource-based services.
流程模型的网关形式和活动形式。
应用推荐