查询词典 model theory

Firstly, we establish the 3-D heat transfer model of the swine crura under the effect of indirect monkshood moxibustion, analyze the temperature distribution on the surface of the monkshood during the moxibustion in the experiment, then apply the boundary condition to the model with the air convection considered and calculate the temperature and heat flux distribution of the 3-D model at different times. Beside, we also compare the results of the 3-D model with the experiment and the results of the 2-D model to verify the correctness of the 3-D model.

本文先建立了艾炷隔附子饼灸作用于生物组织的三维传热模型，然后根据实验条件分析了艾炷燃烧过程中附子饼底面的温度分布情况，并在模型上施加了新建立的温度边界条件，同时考虑了生物模型表面的空气对流条件，计算得到了三维生物模型在不同时刻的温度分布图和热流量分布图，而且对三维模型的计算结果、实验以及二维模型的模拟数据进行了比较，验证了三维模型的准确性。

There are three important structural features in complex networks: small-world effect, scale- free property and network's navigability. Typical models reflecting these features, respectively, are the Watts-Strogatz's model, the Barabási-Albert's model and the Kleinberg's model. Based on the typical models, a new model of growing and navigable networks is proposed, with the generated networks possessing all these features simultaneously. The results of navigation obtained by using a greedy algorithm on networks of the model are similar to, or even better than, that of the Kleinberg's model.

复杂网络具有3种重要的结构特性：小世界性、Scale-free性和可导航性，反映它们的经典模型是：Watts-Strogatz模型、Barabási-Alhert模型和Kleinberg模型为了全面地反映出这些特性，在经典网络模型的基础上提出了一个新的增长可导航网络模型，这个模型同时具有这3种重要特征，并且在这个网络模型上使用贪婪算法时，它与Kleinberg模型具有相同的导航效果，有时甚至更加优越。

A fine-grained genetic algorithm based algorithm which is for the parameters optimization problem of agent model is proposed. The fine-grained genetic algorithm is used to solve the parameters optimization problem of agent model. As to the parameters optimization problem of the agents colony model, the first step is to define the concept of "the parameters mode of the combat agents colony" to describe the parameters of the combat agent colony model. Then the genetic algorithm is used to solve the optimization problem with the parameters mode of the combat agent colony model as the genetic individual. Besides the algorithm, the algorithm dispatch tactic is also considered. And the two level sequence dispatch tactic and the two level nesting dispatch tactic are put forward for those complex parameters optimization problem. At last, the model parameters optimization under antagonism codition is studied. The means to solve this problem is to translate it into a kind of antagonism problem, then use the competitive co-evolutionary genetic algorithms to solve it.

其中：提出了一种基于细粒度模型的作战智能体模型参数优化求解算法，用细粒度模型遗传算法求解作战智能体模型参数优化问题；提出了"作战智能体群体参数模式"的概念，对作战智能体群体模型参数进行形式化描述，再以作战智能体群体参数模式为遗传个体，应用遗传算法求解作战智能体群体模型参数的优化问题；研究了上述优化问题求解算法的调度策略，提出了分层模型参数优化算法的双层顺序调度策略和双层嵌套调度策略，解决复杂的模型参数优化问题；将对抗条件下作战模型参数的优化问题转化为一种对抗性问题，应用竞争性共同进化遗传算法，进行求解。

At leaf scale, TJ photosynthesis model was selected and Gao stomatal conductance model was proved suitable for semi-arid region after comparing with BBL model through the parameter regression and analysis of model sensitivity. Plant physio-ecological characteristics were analyzed based on the parameters gained from the nonlinear regression using TJ model and Gao model with field experimental data. As C4 photosynthesis types Zea mays and Panicum miliaceum 's carboxylation coefficient are bigger than the others.

在叶片尺度上，选择TJ模型作为叶片尺度所使用的光合模型，并对景观模拟中经常用到的Ball-Berry模型和Gao模型进行比较，通过参数拟合和模型的敏感性分析，选择Gao模型作为叶片尺度的气孔导度模型，应用模型模拟的结果，分析了研究区主要植物种的生理生态学特性。C4光合型的玉米和糜子，羧化速率系数大，光合能力强。

There are three major components of the payoff function:the demand model, the market share model, and the cost model. We use Bertrand model to solve equilibrium fares and frequency. And we use Stackelberg model to study each transport and have income which follows and leader to accept the situation. A case study of using survey data collected from passengers flying from Taipei to Tainan and from Taipei to Kaohsiung is presented to verify the effectiveness of the model.

报酬函数是由三个部分所构建而成：需求模式、市场占有率模式与成本模式，而本研究采取Bertrand模式来求取各运具均衡费率与航空班次，并且利用Stackelberg模式来探讨各运具领导跟随的营收情形，在路线选择方面则以台北-高雄与台北-台南两路线做为实证分析。

Secondly, the sinusoidal model, which is the speech production model used in STC, and its simplified model, harmonic sinusoidal model, are depicted in this thesis. Then, the key techniques, including pitch detection, magnitude model presentation, phase model presentation, voice probability analysis, vector quantization and speech synthesis, are discussed.

然后，本文对STC的语音产生模型——正弦模型与谐波正弦模型进行了系统阐述，并对低码率STC的关键技术，包括基音检测、幅度和相位参数的模型表示、浊音度分析、矢量量化以及语音合成等进行了详细研究。

Using the result for non-restricted model, we transform the restricted model to common model, and multi collectivity model to single collectivity model, thus, the necessary and sufficient conditions that nonhomogeneous linear estimators for Sβ are admissible in the class of nonhomogeneous linear estimators are obtained which filled the blank for admissibility for restricted linear model.

对线性等式约束的共同均值线性模型，利用无约束单总体模型的现有结果，通过适当变换，把等式约束模型向无约束转换，并把多总体转换为单总体，在矩阵损失下找到了均值参数β的条件可估函数Sβ的线性估计∑mAiyi+a在非齐次线性估计类中可容许的充要条件，填补了等式约束的共同均值线性模型可容许性方i=1面的空白。

The model is consisted of five sub-models including process model, infrastructure model, coordination model, behavior model and information model, which provides the means for the description of enterprise entity from different perspectives and implements the enterprise synthetical integration with attributes of polymorphism, overlapping and stereoscope.

该模型包括过程模型、基础设施模型、协同模型、行为模型和信息模型等五个子模型，为从不同侧面对企业实体进行全面描述提供了模型框架和描述手段，体现了企业模型的多态性、交叉性和立体性，实现了企业的综合集成。

Then the alveolar bone of model 1 was lowered to respectively construct Model 2(Bone loss was one fourth of the root), Model 3(Bone loss was one third of the root), Model 4(Bone loss was the half of the root), Model 5 (Bone loss was the two third of the root) and Model 6 (Bone loss was the three fourth of the root).

在模型1基础上，将牙槽骨骨高度分别删除1层、2层、3层、4层、5层(使处理后的牙槽骨骨高度与牙根长度之比由1：1变为3：4、2：3、1：2、1：3、1：4)，产生模型2、模型3、模型4、模型5、模型6，代表五种不同程度的牙槽骨骨吸收模型。

Analysis is conducted on model checking for three valued logic formulae of modal transition system using existing model checking techniques. We reduce the three valued logic model checking problem for modal transition system to the two valued model checking problem under Kripke structure. This reduction is linear in the number of states, size of transition relations, and number of atomic propositional formulae in the new formed model compared with those in the original model. It does not increase the comple...

分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题·提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法，经过转换后可用现有的模型检验技术进行模型检验·用该算法转换后，状态数、转移数和原子命题数目与原模型呈线性关系，没有增加模型检验的复杂度

"Yes, now you can give yourself airs," she said, you have got what you wanted.

"对了，您现在高兴了，"她说道，这是您所期待的。

Then the LORD said to me: Rebel Israel is inwardly more just than traitorous Judah.

上主于是对我说：＂失节的以色列比失信的犹大，更显得正义。