形式模型

To solve calculable problem of the reliability of fibre channel interconnection, based on basic FC interconnection model, a task based analysis method of system reliability was proposed, a reliability model of FC interconnection system was developed and the matrix of system reliability was used to describe reliability model.

对于光纤通道互连的可靠性计算问题，从FC的基本模型出发，提出了基于任务的系统可靠性分析方法，建立了FC互连系统的可靠性模型，并给出了系统可靠度矩阵的表达形式。

Related with the traffic status of our country, the content of this paper is combined with practical application. The paper studies how to investigate traffic status in urban signal intersection, By field observing and videography, this paper get the geometry formal、traffic control and traffic running state of Xingtan road and Wenhuiyuan north road intersection, which can be support database for model building and model testing. On currently basic design principles of signal phase, through deep study of signal phase and canalization design.

本文结合我国目前的交通状况，着力将所要研究的内容与实际应用结合起来，研究了城市信号交叉口交通调查的方法，通过实地观测和摄像的手段获得杏坛路与文慧园北路交叉路口的几何形式、交通管理和交通运行状况的信息，以此作为建立模型和验证模型的支持数据，并在现有信号相位设计基本原则的基础上，深入研究了混合通行情况下的相位方案及渠化设计。

According to the principle of quantum mechanics, exploringly presented the possible mechanism of large-scale expansion at forepart of earth, quanta earth tectonic dynamic mechanism formed from super solid state of centrosphere material, presented the integral tectonic criterion in the process of evolution of earth system considering potential of quanta, potential energy of gravitation and heat energy as a result of special state of matter of centrosphere.③Established the evolutional model of finite nonlinear expansion to of integral tectonic dynamic of earth expansion., presumed and gived the skeleton model of original forepart earth before expanding. Applying the universal large scale finite element software, for the first time considered heat power and self gravitation in the same model of tectonic dynamic model simultaneously.

较系统地讨论了地球膨胀整体构造动力的若干基本理论问题：①分析汇总了地球演化产生、积累和以各种形式损耗的总能量，根据考虑引力势能与热能的维里定理，对现时地球整体动力状态进行判断；②根据量子力学原理，探索性地提出地球大规模膨胀的可能机制——地核物质超固态形成量子简併压强产生的动力——地球量子动力，给出了考虑地核特殊物态的量子势能、引力势能和热能的地球系统演化过程中的整体动力状态判据；③建立了地球膨胀整体构造动力的非线性有限膨胀演化模型，推测给出膨胀前早期地球的轮廓性模型。

In this paper, mathematical models of soil-water characteristic curve are divided into four types based on the patterns of mathematical models.

本文对土水特征曲线数学模型进行了研究，依据这些模型的数学表达式形式，将其划分为4种类型。

In this paper, using time Petri nets as specification models, system functionality and timeliness are first verified. Then a heuristic algorithm is proposed to optimize the system energy, which is driven by subtasks' energy-gradients and can be further simplified in the case that TPNs are composable. The experimental results show that the proposed methods can support the high-level low-power synthesis of real-time systems with results close to the optimum one, but with very low time complexities.

以时间Petri网为模型，验证系统功能性和实时性，在此基础上，提出了一种由子任务的能耗变化率驱动的启发式能耗优化算法，并针对一类特殊形式的网模型———可组合时间Petri网，设计了相应的简化算法·实验说明，上述算法时间复杂度低，且优化效果接近最优值，能够为实时系统低能耗高层综合提供有力支持

Because this is based on model of IGES format curved surface, gave out to choose the computational method that the error is worth between cloud data and CAD model, the form that pursues with splash undertakes indication to the error, distinguish effect is more direct.

因此基于IGES格式曲面模型，给出了点云数据和CAD模型之间误差值的计算方法，并以色斑图的形式对误差进行显示，使显示效果更加直观。

The state space model has a Gamma-Gamma type invariant conditional distribution. A cost model subject

我们将在一个具有Gamma-Gamma形式的状态空间模型假设下，结合一个包含移除错误成本及软体风险成本的成本模型来进行讨论。

The grids can be densified locally where the flow is complicated for the sharp change of water depth.(5) 2-D hydrodynamic equations in the generalized curvilinear coordinates have been derived with the contravariant velocities as main variables. The new equations keep the original styles and physical meanings. Based on the water depth correction method, the 2-D flow numerical model has been established and validated by the measured data.

推导了广义曲线坐标系下以逆变流速张量作为主变量的二维水动力方程，新方程保持原有结构形式及物理含义，采用水位校正法建立了二维水流数学模型，经实测资料验证后的模型，模拟并分析了分流角度、宽深比等因素变化对分汊流平面二维水流结构的影响。

Moreover, when a design is pronounced incorrect by model checking methods, a counterexample is reported.

而模型检测方法是一种有效的完全自动的形式验证方法，它可以完全自动的验证系统模型是否满足某种属性，并且在不满足时，能找出导致错误的输入路径。

Using the theory of radiative capture reaction and combining our department experiment, we investigate two nuclear reactions,〓 and 〓, and calculate the cross sections and astrophysical reaction rate of them.

我们对ANC系数的近似模型无关性给出了一个数学形式理论证明，并结合具体的核反应，利用数值计算验证了ANC系数的近似模型无关性；在E1跃迁情况下，我们给出了一个用ANC系数计算辐射俘获反应截面的计算公式。

For a big chunk of credit-card losses; the number of filings (and thus charge-off rates) would be rising again, whether

年美国个人破产法的一个改动使得破产登记急速下降，而后引起了信用卡大规模的亏损。

Eph. 4:23 And that you be renewed in the spirit of your mind

弗四23 而在你们心思的灵里得以更新