理论模型

Compared to previous models, this is the first thesis that based on experiments and theories to increase factuality and generality, which provide the social scientists a platform to observe and experiment.

相较於过去的模型，本研究模型率先尝试以社会心理学之理论和实验数据为依据来制定模型，以提高模型的参考价值，为社会科学领域的研究者提供一个观察和实验平台。

A new kind of the mathematical discription of fines deposition, release and migration in porous media was formulated. So, a new mathematical tool was given for the quantitative discription of the injectivity decline due to the fines problem.

与现存理论相比，本文提出的数学模型具有如下方面的特点： 1、由于直接从微粒在孔隙内的动力学特征出发，因此，模型中需要由实验确定的模型参数较少，同时，模型中不出现由实验确定的经验的关系式。

The class one which was expressed by diameters of pore maximum inscribed circle was adapted and a new distribution model expressed by diameters of pore area equivalent circle modified with fiber thickness was presented.

以几何概率和平面随机分割理论为依据，分析了非织造布中孔隙结构的分布模型，将经典的以内按圆直径表示的有效孔径分布模型改为以面积等效圆直径表示的有效孔径分布模型，并结合纤维细度进行修正，实验证明，该模型更符合实际情况。

In order to assist Boost converter design, the working process of the converter at discontinuous current mode was analyzed and a nonlinear mathematical model was estabilished as well. Case study on Matlab/ Simulink was performed with binary logical variable used, the simulation result was consistent with the theoretical analysis which proveed the validitd and feasibility of the proposed model. The model could be used to assist Boost circuit design effectively and supplie a basis for parameter optimization.

为了辅助升压变换器在应用中的设计，分析了电流断续状态下Boost变换器的工作过程，建立了这种状态下的Boost变换器非线性数学模型，在结合二进制逻辑变量，建立了Simulink模块下的变换器仿真模型，研究表明仿真结果与理论分析结果一致，证实了模型的准确性和可行性，这种逻辑与模拟结合的简明通用的模型可以高效辅助Boost电路设计并为参数优选打下了基础。

To study the limit behavior of computations, the procedure scheme (Li, 1992, 1999) is generalized to model convergent infinite computations for analyzing how an infinite computation interacts and evolves in changing environments and what the limit of the evolution might be. The model is based on classical computation model Turing machine and Li's limit theory of sequences of formal systems.

收敛无穷计算的模型过程模式：本文将李未提出的过程模式推广为更一般的刻画收敛无穷计算的模型，该模型是基于经典计算模型Turing机和形式系统序列及其极限的理论的，可以用过程模式刻画网络上长期运行程序的计算特性与动态行为。

One reason is that the model is an algebra method and it is based on the theory of minimal element. It can give more credible proof. Another reason is that the model tries to prove security of protocols, rather than check them. Thirdly, the model is simple and easy to use, and proof can be finished by manual. Moreover, graphic description makes its proof more comprehensible. Fourthly, there is much research work related to the model, which gives me a good springboard.

首先，该模型是一种代数方法，以极小元等理论为基础，可以给出可信度较高的证明；其次，该模型不是验证协议，而是试图证明协议的安全性；第三，该模型简单、易用，可以手工的方式完成证明，而且图形表示使其证明更加直观；第四，关于该模型有许多相关的研究工作，这为进一步工作打下了良好的基础。

Flat plate steady mathematical model and non steady symmetric model are presented, the analytical solution of temperature of powder is derived on the basis of non steady symmetric model in spheroidal coordinates with the methods of mathematical transformation and principle of superposition .

对点火问题进行研究，给出了两种点火的数学模型；平板定常模型和球对称非定常模型。从火药颗粒的球对称非定常模型出发，利用叠加原理和数学变换导出了火药颗粒表面温度的分析解。该研究对深入研究点火理论和起始弹道学有一定的作

The error model of normal direction is a simplified model of the previous one and is widely used in describing error of straight lines.

通过实例说明了εm模型是理论上更加严密的缓和曲线误差模型，而εm模型是一种简化的描述模型。

The paper commencing with analyses of the basic property of the hydrate, structure and sort, analyzes micro kinetics, formation condition, gas hydrate formation mechanism and influencing factor in high sulfur; also proceed analysis in depth for existent hydrate prediction model; according to gas dissolving, hydrate lattice deformation, synergistic action of inhibitor, carry out analytical study for existent error between normal forecast model and physical condition; introduce key parameter theory to establish and modify prediction model of hydrate formation condition to suit for high sulfur gas reservoir and inhibitor system, analyses different kinds of prevention and cure measures to influence of hydrate; finally, through field application in high sulfur gas reservoir hydrate.

本文从分析水合物的基本性质、结构与分类出发，分析了水合物生成过程中的微观动力学、生成条件、高含硫天然气水合物生成机理以及影响因素；并对现行的水合物预测模型进行了深入剖析，根据气体溶解、水合物晶格变形、抑制剂协同作用等因素对常规预测模型与实际条件之间存在的误差进行了分析研究；通过引入关键参数理论，建立并改进了适合高含硫气藏水合物生成条件预测模型及抑制剂体系的高含硫水合物生成条件预测模型，分析了各种防治措施对水合物的影响；最后通过高含硫气藏水合物实例计算，分析了含硫化氢、二氧化碳组分的天然气与常规气体对水合物生成条件的影响，并对各种水合物防治措施进行了实例计算。

The efficiency of modeling and identifying can be evidently improved by using the techniques of object oriented modeling, interface finite element grid, unit node code auto-numbering and model parameters setting. At the same time, the capability of GIS analysis features is extended. These techniques will promote GIS's application to groundwater, and speedup the course that theoretic research on groundwater systemic analysis models transfer to productivity.

在地下水地理信息系统中，采用面向对象的地下水建模技术，交互式有限单元网格生成与单元节点自动编号，通过对象属性设置完成模型参数设置，这些不仅提高了模型建立和模型识别的速度，提高了工作效率，而且将推动GIS在地下水研究中的应用，加速地下水系统分析模型从理论研究向生产力转化的进程。

Plunder melds and run with this jewel!

掠夺melds和运行与此宝石！

My dream is to be a crazy growing tree and extend at the edge between the city and the forest.

此刻，也许正是在通往天国的路上，我体验着这白色的晕旋。