分析对不同形式模型的各种求解算法；
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.
图6显示了采用网关形式的流程模型。
最后，我将以静态模型的形式来使这种系统的观点成为正式。
Eventually, I'll formalize this view of the system into something called a static model.
然后再确定这些流在流程模型中是否是以并行或可选分支的形式出现的。
Then determine whether these flows occur as parallel or alternative branches in the process model.
可以选择模型形式来捕获复杂信息。
You can use a selection of model forms to capture complex information.
流程模型的网关形式和活动形式。
模型——模型是特定于领域的数据表现形式。
Model – The model is a domain specific representation of data.
每一步中模型都进一步精化，更加形式化。
形式化的工作流模型越来越重要。
A formalized workflow model will become more important than it has been.
考虑捕获同一个模型的不同表示形式(结构)。
Consider capturing different representations (structure) of the same model.
这些模型采取多种形式。
所给物理模型是具有代表性的负载形式。
请注意单词模型——为复数形式。
这种离散模型形式简单，尤便于在计算机上实现。
The form of this model is simple and eased to carry out by computer.
数学模型表示成状态空间的形式。
The mathematical model is manipulated into a state space form.
模型支持各种形式的变化，所有的工作都好。
The model supports various forms of change which all work OK.
本文详细讨论了域数据模型的形式化表达和抽象结构。
We firstly talk about what is domain and data model, and define their use range.
传统铁道客车模型一般是弹簧、阻尼器并联的形式。
In traditional vehicle model, spring and damper are usually parallelly arranged.
该系统的数学模型满足“三角形系统”形式。
The mathematic model of these system has the form of triangular system.
该模型的数学形式是一个非线性二阶常微分方程，利用有限差分方法进行求解。
The mathematical expression of this model is a second order non linear ordinary difference equation.
串空间模型是一种新兴的密码协议形式化分析工具。
Strand space model is a new formal analysis tool to the analysis of cryptogram protocol.
单一的形式，多个模型，使用第三方应用程序。
提出一套形式化地描述时间特性的模型，使之能够描述带时间特性的授权约束。
A formal model is proposed to describe time character of constraint in this paper.
该模型物理意义明确，形式简单，不需要非常复杂的计算。
This model has an evidently physical meaning and simple form.
形式化的本体模型及其检验问题一直是人工智能中的研究热点。
Ontology model and ontology checking recently are still under hot discussion.
文中分别对案例知识和经验知识进行了形式化描述，并建立了相应的诊断模型。
Case and experience knowledge are formally describing, and diagnosing model is built in this article.
因此，在UML模型上添加形式化语言是必要的。
Thus, it is necessary to add formal language into current UML model.
同时对该模型的核心模型进行了形式化描述和定义。
The formalized description and definition of the kernel model are also given.
同时对该模型的核心模型进行了形式化描述和定义。
The formalized description and definition of the kernel model are also given.
应用推荐