形式模型

A calculation is an infinite sequence of state and time with changing alternaltively, a state is an interpretation of the variables set of the ASRT system.

一个专用实时系统的并发过程模型可以翻译到并发过程的交叉计算模型，从而获得系统模型的形式语义：一个计算的集合。

Firstly, by adopting the thought of Adomian's decomposition method, the generic dynamic model in mechanical systems are transformed into a standard first-orderdifferential-equations, and then the inverse operator method for the approximate analytic solution of nonlinear mechanical system is developed based on the exact solution in form.

主要研 究工作如下：利用Adomian的分解方法的思想，把机械系统中最一般的动力学模型转化为一阶标准型微分方程组，以形式上的精确解的表达式为基础构造了求解机械系统非线性模型近似解析解的逆算符方法；针对机械系统非线性模型的特点，提出了直接处理高阶方程的不降阶逆算符方法；证明了该方法的收敛性。

Secondly, A new heat and moisture model between skin surface and clothes and environment is introduced here, which considers all of the heat and moisture exchange to be Neumann (or second-type) boundary condition. Great benefits will be available for the various requirement of the clothing model.

更多其次，针对目前热调节模型的复杂性带来的改变服装形式和改进服装模型的困难较大的问题，本课题提出将环境对人体的所有热湿影响抽象为皮肤表面的第二类换热现象的新方法，提高了模型的灵活性并且扩展了其使用范围。

New model Platte and model storage form have also presented using the model element asbasic storage element.

论文还提出了一种以模型组成元素为基本存储单元的模型模板和模型的存储形式。

First, It is a key technique in this paper which is robust design mathematical model in the form of multiobjective optimization. It contains two respects, which are preprocess and mathematical expression of the model.

首先，以多目标优化问题的形式表达的健壮性设计数学模型，是本论文研究中的一个关键技术，其中包括两个部分，即建立模型的前处理过程和模型的数学表达。

A general mathematic model of lifting subsystem and hydraulic balancing subsystem was set up by using correspond relation of the force and the displacement at the interface of lifting and hydraulic system, then the question that the principal diagonal elements of mass matrix were zero is resolved. Meanwhile the effect on the general dynamic characteristic of ellipticity of is considered.

通过卷扬系统与液压系统在界面耦合处的力和位移协调关系，建立诸如M〓+C〓+KX=F形式的机械卷扬-液压均衡系统综合数学模型，模型中考虑了卷筒椭圆度偏差以及直径偏差对整体动态性能的影响，解决了耦合后数学模型质量矩阵主对角线元素奇异的问题。

Two objective programming models are established under the situations where the DM has preference information on alternatives, which takes the form of reciprocal judgement matrix and complementary judgement matrix respectively.

首先对方案的偏好信息以互反判断矩阵和互补判断矩阵这两种形式给出的情形，分别建立一个目标规划模型，通过求解这两个模型可确定属性的权重；然后提出一种基于目标规划模型的多属性决策方法；最后通过实例说明了该方法的可行性和有效性。

Based upon modification of the regular solution theory, a subregular solution model, SReS, has been proposed for the analysis of the thermodynamic properties of metallurgical slag s.

通过对正规溶液模型的修正，并引入CALPHAD技术，构成了物理意义明确和数学形式简洁的冶金熔渣亚正规模型，这实际上是SELF－SReM模型的一种发展。

The restoring force, torsional effect and peak values（displacement, velocity, acceleration） at each floor during the shaking table test are also presented in the report. Finally, a numerical model of this steel structure is developed by Drain2D+ computer program. Model is proved by test result.

最后，以Drain2D+建立本试验结构之二维数值模型，根据试验过程中之不同结构形式所模拟之不同地震状况，进行动力分析，并与振动台试验结果做比较，可以验证此一数值模型的可靠性，并更进一步利用此数值模型求出其结构模态以及塑性铰产生的时机与顺序及其生成的位置。

It is difficult of definiting model form and appraising the models because of the inconsistency of model form.

模型的不统一给确定模型形式和比较不同模型之间的优劣带来困难。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。