子模型

How to establish the adjoint medel is discussed by using the Gateaux differential of function and the concepts of the adjoint operators in Hibert space. At the same time it is verified that selecting proper finite difference scheme can ensure discrete form remaining the same adjoint r...

文中利用泛函的Gateaux微分和Hilbert空间上伴随算子的概念讨论了连续的伴随模型的建立，并通过选择适当的差分格式离散伴随模型，使其保持连续时的伴随关系，同时给出了水温初始场最优化过程及相应的同化试验数值结果。

First the math theory of machining simulation is studied, and the set structure of NC machining simulation system whose components, including time, input, output and so on, are defined. Hereby we set up the hierarchy structure, the logical structure, the static model and the dynamic model of simulation system. The construction method of sweep entity of cutter and rotation parts is researched, and their differential geometry invariants are calculated. NC code is unscrambled, and the recursion division arithmetic of time segment is put forward, which is the driven data of the movement or rotation parts. The CLDATA should be interference-free. To examine if there is interference between cutter flank and the work piece, an arithmetic that discussed the existence of intersecting curve between them is put forward. To examine if there is interference between two turrets, an arithmetic that discussed the existence of intersection set between two polygons is put forward.

首先研究加工过程仿真的数学基础，然后定义数控加工仿真系统的集合结构及时间集、输入集、输出集等概念，建立加工仿真的层次结构和逻辑结构，阐述双刀车削仿真系统的静态模型和动态模型建立方法，分析刀具扫描体和旋转部件扫描体的建立方法及其微分几何性质；研究NC代码解读技术和双刀加工时间段递归子分划技术，为驱动各仿真单元作数据准备；通过讨论后刀面和工件表面交线的存在性判断刀具后刀面与工件间是否干涉，通过求多边形的交集判断刀架与刀架是否干涉。

A novel neural network model, named delayed standard neural network model, is proposed, which is the interconnection of a linear dynamic system and a bounded static delayed nonlinear operator.

摘要提出一种新的神经网络模型---时滞标准神经网络模型，它由线性动力学系统和有界静态时滞非线性算子连接而成。

The primary work of this paper includes: 1 The general process and the fundamental theory of genetic algorithm is introduced systematically, which is also be applied to an example; 2 The penalty function method and the constraint tournament method are introduced in the paper, which are used to process the constraint limit. Via analyzing the basic principle of NSGA-II ,which is elaborated in the paper, the fast non- dominated sorting method, congestion distance and its comparison operator, the elite strategy and the main process of NSGA-II is researched particularly. 3 Via modeling the fire distribution problem, the model is computed by the algorithm of NSGA-II, which is combined with both the penalty function method and the restraint league tournament method The optimization of two goals are also realized in the paper. The results derived from the VC++6.0 indicate that, two algorithms both have the high convergence, simultaneously the Pareto optimal solution also maintain the variety of distribution.

本文所作的主要工作如下：系统地介绍了遗传算法的一般流程和基本理论，并应用于一个函数优化的实例；研究了用于处理约束限制的罚函数法和约束联赛法，论述了NSGA-II的基本原理，并对其提出的快速非支配排序法、拥挤度及其比较算子、精英策略及NSGA-II的主要流程作了详细的研究；建立了火力分配问题的模型，并将NSGA-II算法分别与罚函数法和约束联赛法相结合对该模型进行了计算，实现了对两个目标的最优化；用VC++6.0编程计算后所得的结果表明，两种算法均具有很好的收敛性，同时Pareto最优解也保持了好的多样性分布。

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网，设计了相应的简化算法·实验说明，上述算法时间复杂度低，且优化效果接近最优值，能够为实时系统低能耗高层综合提供有力支持

A precise background theory of computational mechanics is formed. Saint-Venant's principle is discussed in chain model by means of this precise theory. The classical continued fraction is developed into operator continued fraction to be the constrictive formulation of the chain model.

用泛函分析的双空间理论为计算力学构造了一个严密的背景理论，以此在链式模型上讨论圣文南原理，同时将传统的连分数扩展为算子连分式作为链式模型的本征关系式。

Tsang has made a reseach on the approximate operator in covering approximation space, and proposed a more reasonable covering rough set model.

Tsang对覆盖近似空间中的近似算子进行了研究，提出了一种较已有模型更合理的覆盖粗糙集模型。

The paper first obtains the L2 -apriori estimates for the solutions of two kinds of autocatalytic model s under Dirichlet boundary conditions, and then, using the properties of linear semigroup and delicate calculations, the estimates of the maximal norms are obtained, therefore, the global existence of the solutions is proved.

该文利用重要不等式及能量积分方法首先得到了解的初等的先验估计。然后利用线性半群的有关性质及精细计算得到了解的最大模估计，从而证明了两类三次自催化模型在Dirichlet边界条件下整体解的存在性，并进而证明了第一类模型的最大吸引子的存在性

At last, we study two physical models including coupled oscillators and damped oscillators.

最后，我们用变形量子化方法处理了两个应用广泛的物理模型—耦合振子和阻尼振子。

However,it is the dissipa-tive mechanism,i.e.the mechanism of energy localization that attracts one′sattention for the problem of shock initiation.Since the test result of shock initia-tion about fine-grain explosive charge does not support hot spot ignition model,the author of this dissertation advances that the mechanism of energy localiza-tion is coincident with phonon-fracton crossover of fractal network for ultra-fine-grained charge and,moreover,analyzes the relation between shock sensi-tivity and porosity,which is consistent with shock Hugoniot curve for porousmaterials.

由于超细颗粒压装炸药的冲击起爆实验不支持热点点火模型，为此、本文提出对于单晶颗粒半径为微米以下量级的药床，冲击起爆的能量局域化机制与分形网络中弱局域化声子向强局域化分形子的渡越对应，并且根据这一机制分析了超细颗粒药床的冲击感度和孔隙度的关系，结果与多孔物质冲击压缩的P-V图吻合。

But we don't care about Battlegrounds.

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

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

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