形式模型

And resolves many difficult issues for complex multibody systems dynamic analysis, design and simulation in engineering areas. Therefore, it is worth to deeply investigate and perfect the spatial operator algebra.

本篇论文也是以空间算子代数理论为研究对象，对其理论作深入研究，并在Lie群、Lie代数、Riemannian流形理论体系中建立空间伴随算子形式的高效率建模和高效率递推运算动力学模型。

Failure formation ; optimal economic model ; process of series decision ; optimal use time ; all value function.

破坏形式；最优经济模型；连续化决策过程；最佳使用时间；总价值函数

Module history and module family data were saved in the form of ordered three-dimensional group, and then the extensibility and transformation of module-matter-element were studied.

该方法首先在物元模型的基础上，结合模块自身特点，建立了模块物元与模块族物元，以有序三元组的形式规范化地保存了历史模块和模块族数据，并研究了模块物元的可拓性及其变换。

Differential equation model is classified as ordinary differential equation, partial differential equation and stochastic differential equation.

微分方程模型的形式包括常微分方程，偏微分方程和随机微分方程。

According to the orthotropy and characteristics which have an extremevalue probably also in the region of 0—90°with respect to the rolling dire-ction of an orthotropic metal sheet,besides 0°and 90°,a model describing theanisotropic pattern of mechanical properties of an orthotropic metal sheet un-der uniaxial tension is developed by this paper.

本文依据板料异性性质的正交性，以几种符合正交特性的函数对一些材料的试验数据进行了拟合和对比，并与现有的异性模型进行了比较。结果表明，以形式为 A=A？

The stability and wave overtopping rate of 3 kinds of revetments (sloping, big step and cylindrical structure types) are studied by using sectional model test.

利用断面物理模型试验，对 3种结构形式(斜坡段、大台阶段、圆筒段)的护岸的稳定性和越浪量进行了研究。

The Wielandt inequality is an improvement on the general Cauchy-Schwarz inequality, and its applications to statistics were studied. In a note, Wang and Ip (1999) gave the Wielandt inequality in matrix version in terms of the Lo|¨wner partial ordering.

Wielandt不等式是对著名的Cauchy-Schwarz不等式的一种改进，该不等式被广泛应用于统计理论中线型模型的研究方面，因此研究更一般形式的Wielandt不等式有重要的意义。

On the base of applied tech. and system structure, the key tech. are expressed in detail. It includes:Knowledge representation technology: it is described in two stages by "Depictive frame + Rule group"."Depictive frame" is used to reflect the factors concerning question field."Rule group" reflects the son-question in question field; knowledge management system: it is made up of knowledge-base editing component, factor classifying component, knowledge inspecting component and extractive knowledge component; uncertainty reasoning adopt method of elicitation search strategy and data drive controlled by member knowledge. It take reliability of compound proof at first. That can resolve the matching contradiction. Reasoning explanation introduce pre-text and followed method of resolving path. Knowledge discovery component take SLIQ as basic arithmetic. It provides classification model in two stage forms which aim at training suit. That is decision tree and productive rule.

在确定应用技术与系统结构的基础上，重点阐述了本文的核心技术，这包括：知识表示技术，采用"描述框架+规则组"的层次结构，"描述框架"用于描述问题域所涉及的因素，"规则组"反映问题域内的子问题；知识管理系统，由知识库编辑构件、因素分类构件、知识检测构件和知识求精构件组成；不确定性推理机采用启发式搜索策略，元知识控制的数据驱动，以复合证据可信度优先作为匹配冲突消解的策略，推理解释采用预置文本与求解路径追踪的方法；知识发现，采用SLIQ快速可伸缩算法，分类模型用判定树与产生式规则两种形式描述。

Using computer to control camera to shot the object continually and process the image timely, the pels coordinates of the laser can be get accurately. The 2-D coordinate can be changed to 3-D coordinate based on the arithmetic model builded and the automatic measurement is completed after the object can be rebuild as point cloud.

利用计算机控制摄像头对实物进行连续拍摄，并对图像进行实时处理，从而获得精确的激光线上的像素点坐标，利用建立的算法模型，将已知的二维坐标转换成三维坐标，以点云信息的形式重构出物体，完成三维自动测量。

It is pointed out that the solution of the differential equation is a periodic function.

建立了水平方向静电悬浮非线性系统微分方程形式的数学模型，指明了该微分方程的解是振动周期函数。

But we don't care about Battlegrounds.

但我们并不在乎沙场中的显露。

Ah! don't mention it, the butcher's shop is a horror.

啊！不用提了。提到肉，真是糟透了。