查询词典 static model

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的关键技术，包括基音检测、幅度和相位参数的模型表示、浊音度分析、矢量量化以及语音合成等进行了详细研究。

According to the characteristics presented by armed helicopters during cruising or searching for ground targets, this paper has established the mean-square deviation stationary random model of helicopter tracks. It is an important method to decorrelate the measure noise by estimating the parameters of the color noise online. Kalman filtering and forecasting have been made with helicopter tracks. The simulated study has been carried out on helicopter tracks under the condition of color noise. It is very difficult to get an accurate and reliable prediction when the data is very limited. The paper make use of the theory of grey system to resolve the problem of prediction of helicopter tracks, establishing the GM model of grey systems and the cumulative residual error model of n degree, then correcting the GM forecast model. In the period of sampling, GM model and residual error model have been established on line to improve prediction precision.

结合武装直升机在巡航或搜索地面目标的特点，给出直升机航迹模型为协方差平稳随机模型，在线估计有色噪声参数，对测量噪声去相关，对直升机航迹进行卡尔曼滤波与预估，最后对有色噪声条件下的航迹进行了仿真研究；在数据非常有限的情况下，准确地预测又很困难，本文提出了用灰色系统理论解决直升机航迹预测问题，建立了灰色系统GM预测模型和n次累加残差模型并对GM预测模型进行修正，在每个采样期间内，实时在线建立GM预测模型和残差模型以提高预测精度。

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个二值逻辑的算法，经过转换后可用现有的模型检验技术进行模型检验·用该算法转换后，状态数、转移数和原子命题数目与原模型呈线性关系，没有增加模型检验的复杂度

The Markov forecast model, time series method (triple exponential smoothing method and a combined of triple exponential smoothing method and Markov model) and stepwise regression forecast method were choosed, and the basic principles and processes of the three models were analyzed and compared. Based on above, the three methods were used to predict population dynamic of Cricetulus barabansis and Meriones unguiculatus. The characteristic, accuracy and applicability of three methods were analysed and compared. The results showed that,(1) Markov model belongs to a middle-long time forecast model, and the result was interval forecast, but it reached the requirement of forecasting the harmful population dynamic of rodents. Through the forecasted population dynamic of Cricetulus barabansis and Meriones unguiculatus in 2004, the results were accurate; this meant that Markov model was a good forecast model to Cricetulus barabansis and Meriones unguiculatus population.

选择马尔可夫链预测模型、时间序列分析法(三次指数平滑法、三次指数平滑法和马尔可夫链预测模型的组合预测法)和逐步回归预测法，对这三种模型的基本原理、模型的构建过程进行对比分析，在此基础上用此三种方法预测了黑线仓鼠和长爪沙鼠的种群数量，并对三种方法的特点、预测的准确度和适用范围进行了比较分析，结果表明：(1)马尔可夫链预测模型属于中长期预测，预测的结果为区间预测，但对于害鼠种群数量的预测来说已经达到要求，通过对2004年黑线仓鼠和长爪沙鼠种群数量的预测，预测的结果都比较准确，这说明对于预测黑线仓鼠和长爪沙鼠种群的数量动态，马尔可夫链模型是比较好的模型。

Objective:To compare the response control and attention of Schizophrenic patients with that of the healthy controls by Integrated Visual and Auditorycontinuous performance test. To quantitate the impairment of cognitive function in patients, and to explore the relationship between cognitive function and the severity of the disorder.

目的：探讨精神分裂症病人在IVA持续操作测试中的反应控制能力、注意力等，并与健康人进行比较，从而量化精神分裂症病人的认知功能损害，并进一步探讨其认知功能与疾病严重程度的关系。

Main effective factors including subcooling degree, mechanical vibration, gas hydrate reformation, environment temperature, noncondensing gas and surfactant are analyzed.

指出过冷度、机械振动、重复生成水合物、环境温度、不凝性气体、添加剂是影响气体水合物生成的主要因素，还对R152a水合物的放冷进行了实验研究。