形式模型

Based on the idea of the equivalence of response.of structure to a large namber of structural linear time history analys es under excitations of ARMA artificial earthquake waves with Monte Carlo method ,the ground motion is madeled as the sin usoidal model,and its parameters are det ermined with probabilistic warranty.

本文运用结构响应等效的思想，在用Monte Carlo法作大量结构弹性时程分析的基础上，将地震动等效成了形式简单的简谐激励模型，为该模型定出了具有概率保证的参数，并求出了模型参数与场地卓越周期和结构基本周期之间的回归关系。

Firstly, the thesis analyzes the content of behavior consistency of C~4ISR system requirement, researches the theory of behavior consistency validation based on executable model. Secondly, it analyzes the extense form of basic state chart, researches the grammar rules and formal description method of the transition-oriented state chart. Lastly, it brings forward the method for transforming TO_StateChart to Object Petri Net model, and based on executable model, researches the method of validation for behavior consistency between the state chart and sequence diagram.

论文首先对C~4ISR系统需求行为一致性验证的内容进行了分析，研究了基于可执行模型进行行为一致性验证的原理；其次分析了基本状态图的扩展形式，研究了面向转移的状态图(简称为TO_StateChart)的语法规则及其形式化描述方法；最后研究了TO_StateChart转换为对象Petri网模型的方法，并以此为基础，深入研究了基于可执行模型进行状态图和时序图之间行为一致性验证的方法。

This thesis investigates the profile extraction and shape optimization on the result of topology optimization of planar compliant mechanisms. The main context includes the following work:(1) summarizing and analyzing the recent research status, some harvest and unsolved problems;(2) analyzing the conceptual design of planar path-generating compliant mechanisms and its mathematical model and tools;(3) Modifying the method of density contour as the method of profile extraction, and developing a method to optimize the density function in the profile extraction according to the requirement of the design of compliant mechanism;(4) developing a method to abstract the compliant mechanism into a form of links and joints by using the principle of connectivity on topology;(5) developing a method of shape optimization of planar path-generating compliant mechanisms, by representing the profile of the abstracted compliant mechanism as simple curves such as straight lines and arcs, establishing the models of the size optimization of the parameters of these curves, so that the compliant mechanism has a machinable shape;(6) At last, proving the feasibleness and effectiveness of the design method by making simulation design and validating it in FEA software.

主要工作包括：(1)分析了柔顺机构拓扑优化和形状优化的研究现状，分析了目前柔顺机构的研究重点、主要成果和尚未解决的问题；(2)分析了基于SIMP的柔顺机构概念设计方法及其相关工具和模型；(3)针对柔顺机构轮廓提取的特殊要求，提出了密度等值线法的改进方案，对密度函数插值点密度值进行优化，提出优化模型和选择优化算法；(4)根据轨迹输出平面全柔顺机构自身的形状特点，提出了轨迹输出平面全柔顺机构的抽象方法，即应用拓扑学上的连通性原理将柔顺机构抽象成杆件和结点形式，并对相应的数学原理进行了证明；(5)提出了平面全柔顺机构的形状还原和尺寸优化方法，对抽象的柔顺机构进行还原，将其轮廓还原成简单曲线的连接，从而建立尺寸优化模型，对机构进行尺寸优化设计，在得到可加工的机构轮廓的同时又能对关键部位进行特别处理；(6)进行了柔顺机构的数值仿真设计，并将所得设计结果导入商用有限元软件中进行仿真实验，证明了设计方法的可行性和有效性。

Moreover some notations of Riemannian geometry we need in this thesis are given there.

第二章介绍我们所讨论的薄壳的数学模型，这些模型都是经典的薄壳模型，而它们是由位移方程的形式所给出的。

The models combined with the constitutive equations for upper convected Maxwell, the momentum equations, the continuity equation and boundary conditions of two channel model, were used to building the complete mathematics model.

为此，本文做了以下工作：首先，为了形成对粘弹性聚合物溶液在微观孔隙中流动行为的完整的数学描述，便于从理论上研究粘弹性流体的微观驱油效率，本文针对残余油的多种微观存在形式，使用了两种孔隙模型：扩张通道模型、带横向槽的流道模型。

In order to solve the problem of engine starting characteristics calculation under windmilling condition, a generalized format of engine starting nonlinear mathematical model based on liner-in-parameters model was given.

针对高空风车条件下航空发动机起动性能估算问题，给出了用线参数模型描述发动机风车起动非线性过程的一般形式，利用约简遗传规划算法进行模型结构选择的思路，建立了基于约简遗传规划的航空发动机起动性能计算模型。

Based on Tseng-Lytton evaluation model for permanent deformation, and evaluation model for permanent deformation of clayed subgrade soils is established by improving and calibrating Tseng-Lytton model.

利用室内重复荷载三轴试验，研究了在含水量、压实度和偏应力影响下粘性路基土的永久变形特性，并以Tseng-Lytton路基土永久变形预估模型形式为基础，对Tseng-Lytton模型进行了改进和标定，建立了粘性路基土的永久变形预估模型；最后利用分层应变总和法，并结合一个典型粒料柔性基层沥青路面结构实例，计算了路基土的永久变形量。

This chapter provides a mathematic model for the transformation between two images obtained from the same scene. Based on pin-hole camera model, the relationship between the coordination of two images is discussed using two camera models, and it is proved that geometric relationship of two images obtained from one scene satisfies affine transformation.

论文在透视投影成像模型基础上，用两个不同相机在不同位置对空间中同一点成像，推导出对应点在不同图像中像素坐标之间的解析表示形式，证明了像素坐标之间满足仿射模型，同时分析了图像之间满足仿射模型时应具备的条件。

This chapter provides a mathematic model for the transformation between two images obtained from the same scene. Based on pin-hole camera model, the relationship between the coordination of two images is discussed using two camera models, and it is proved that geometric relationship of two images obtained from one scene satisfies affine transformation.

论文在****投影成像模型基础上，用两个不同相机在不同位置对空间中同一点成像，推导出对应点在不同图像中像素坐标之间的解析表示形式，证明了像素坐标之间满足仿射模型，同时分析了图像之间满足仿射模型时应具备的条件。

The paper explained the parameters,transformation and rectification of the SLEUTH model-one specific realizid format of the cellular automation model,what'more,the author modified urban growth rule and parameter setting of this model in order to improve simulation accuracy.

SLEUTH模型是元胞自动机模型的一种具体实现形式，通过介绍该模型的增长参数、增长规则以及校正过程，提出了可提高模拟精度的增长参数与增长规则改进方法。

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.

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