在算法上

In this paper a genetic algorithm four-dimension data assimilation system was applied to the more complex MM5 model, we verify the performance of the genetic algorithm assimilation system, we take the a heavy rainfall process during 04-05, July, 2003 as the experimental research object, and carry out data assimilation experiment of actual observation data, compare the experimental results of the genetic algorithm assimilation system and MM5 adjoint model assimilation system with the experimental results without assimilation, the following is the result:genetic algorithm assimilation system is used not only in a barotropic primitive equation but also in the complex model, MM5, for example, in the ideal experiment the result of the genetic algorithm assimilation system is better than the MM5 adjoint model assimilation system, in the assimilation experiment of actual observation data, whichever assimilation system is used, the initial field of numerical prediction model is effectively improved and the prediction effect of physical field and rainfall are somewhat enhanced.

本文将遗传算法的四维同化系统运用到更复杂的MM5模式中，在理想实验中验证遗传算法同化系统的性能，并以2003年7月4日"南京暴雨"作为研究对象，进行了实际观测资料的同化，并将遗传算法同化系统和MM5伴随模式同化系统得到的结果跟未同化的结果进行了比较，结果如下：遗传算法同化系统不仅可以用在正压原始方程模式上，同样也可以用在MM5等复杂模式上，理想实验证明了遗传算法同化系统优于MM5伴随同化系统，在实际观测资料同化中，采用两种方法的同化系统都能有效地改善数值预报模式的初始场，能在一定程度上提高物理量场和降水量的预报效果。

In chapter three, we prove that there exist solutions to the Ky Fan variation inequality, as the set-valued mappings are defined on spheres in infinite dimensional Banach spaces or odd dimensional Euclidean spaces, following from these theorems, we obtain some fixed point theorems for set-valued mappings defined on a sphere. When G is an approximate compact convex subset of E, or G is a almost quasi-convex set-valued mapping, we prove that there exist solutions to and type generalized Ky Fan variation inequality, following these theorems, we prove several best approximation theorems and coincidence theorems involving two set-valued mappings and two different spaces. In chapter four, we first present a new Simplicial algorithm for computing the Leray - Schauder fixed points, the algorithm can solve the set-valued nonlinear complementarily problem. We give a condition to guarantee the computation proceeding in a bounded region. We present integer-labeling algorithms for computing fixed points of some set-valued mappings, the best approximation points and solutions to a kind of set-valued variation inequalities.

第四章给出了计算定义在非凸集上的非自映射的Leray-Schauder不动点的算法，而现有的不动点算法都是计算凸集的上半连续集值自映射的不动点；给出了保证计算有界的一个充分条件，我们的条件大大弱于Mdrrill条件，我们的算法也可用来计算Eaves不动点；给出了集值非线性互补问题存在解的一个充分条件，此时可利用Leray-Schauder不动点算法来求解；向量标号算法以往是计算集值映射不动点的唯一有效算法，我们给出用整数标号算法计算一类集值映射的Kakutani 不动点的算法；定义在紧凸集上的连续映射不一定有不动点，但一定有最近点，最近点是不动点概念的推广，我们给出了计算最近点的算法；集值映射变分不等式尚无有效的求解算法，我们给出求解一类集值映射变分不等式的算法。

On this basis, according to historical data, apply ANN and differential simulation method to get the quantitatively correlative relations between each production and its own influence factors, and introduce the new methods of prediction for dynamic indexes with gas-field development (The combinatorial prediction method based on fuzzy comprehensive evaluation, the method of ANN to select optimally combinatorial prediction models and the ANN prediction method based on genetic algorithm).(2) Base on mathematical programming, combine with quantitative economics and techno-economics, introduce economical indexes to establish production"s distribution optimal model, production"s constitution optimal model and measured production"s constitution optimal model, including multi-objective models and five-years models. Upon this, the optimal project for all gas field and each gas-collected factory can be got. Also, introduce the time value of capitals to improve on these models.(3) Base on the optimal solution theory and algorithm theory for the nonlinear programming problem, introduce the SUMT algorithm and genetic algorithm to study how to solve the models, and on the basis of normal genetic algorithm, make use of auto-adaptively modulating method to improve on normal genetic algorithm; Base on algorithm"s convergence theory and calculation"s complexity theory to analyze seriatim SUMT algorithm"s convergence and genetic algorithms convergence, and compare performance with each other.

在此基础上，利用神经网络方法和微分模拟方法根据历史数据得到各分项产量与其影响因素之间的定量关联关系，并引入气田开发动态指标新的预测方法(基于模糊综合评判的组合预测方法、神经网络优选组合预测模型预测方法以及基于遗传优化的神经网络预测方法)；(2)以数学规划为基础，结合数量经济学和技术经济学，引入经济指标建立产量分配优化模型、产量构成优化模型、措施产量构成优化模型、气田开发多目标规划模型以及五年规划模型，进而获得全气田及各采气厂的最优方案，并引入资金时间价值对五年规划模型进行改进；(3)以非线性规划问题的最优解及算法理论为基础，引入SUMT算法以及遗传算法对模型的求解进行研究，并在原有的遗传算法基础上，引入自适应调整方法对遗传算法进行改进；以算法的收敛性理论和计算复杂性理论为基础，逐一分析SUMT算法以及遗传算法的收敛性，并比较三种算法的优劣性。

Using VMD software, we performed both structure and sequence analysis based on STAMP (Structural Alignment of Multiple Proteins) among lysozymes of four species: human, chicken, dog and mouse. The result represented that lysozymes of human and chicken have the highest similarities. Our results also demonstrate that the corresponding residues of Ile56 and Asp67 in chicken and human lysozyme have a highly structural conservation.

本研究基于STAMP结构比对算法，使用VMD软件主要从结构角度比较了人、鸡、狗、鼠四种脊椎动物溶菌酶的相似程度及亲缘关系，结果发现鸡的溶菌酶与人的溶菌酶结构最相似，亲缘关系最接近，并且人和鸡的溶菌酶的第56位和第67位两个残基位点在结构上高度保守。

Based on these, an improving μ-synthesis is presented, with which the high-purity distillation is designed well. 2. The robust performance problem of MIMO plant is explained with the plant direction angle, which shows that the robust performance varies with different input uncertainties and the μ-synthesis should be applied correctly according to the uncertainty structure. 3. Condition number and bandwidth are the important items for robust performance design in MIMO system. The H〓 two-block problems can not deal with the robust performance design of MIMO system because of the condition number cancellation. A general μ-synthesis procedure for MIMO system with uncertainties is presented. 4. For the SISO system, the object function in robust performance is amplified by at most 〓 than that of H〓 two-block problems in value: So the robust performance of SISO system can be done with the H〓 two-block problems to avoid the complicated μ-synthesis procedure. 5. All the conclusions and methods presented in this paper are demonstrated by some typical design examples.

从而形成一种改进的μ综合方去，并对精馏塔病态对象进行了鲁棒性能设计，得到令人满意的结果；（2）利用对象的方向角解释了MIMO对象鲁棒性能设计出现问题的原因，并提出不同输入摄动形式下系统的鲁棒性能问题也并不相同，因此利用μ综合处理鲁棒性能设计时，应根据不同的摄动情况采用不同的结构进行设计：（3）条件数问题和带宽问题是MIMO系统鲁棒性能设计的两个主要问题，指出由于条件数对消的存在使得一般H〓两块问题无法处理MIMO系统的鲁棒性能设计，而μ综合方法则是处理MIMO系统鲁棒性能设计的有效方法，并给出了其处理MIMO系统鲁棒性能设计的一般性方法；（4）提出对于SISO系统H〓两块问题（S/T问题、S/KS问题）的设计指标函数与鲁棒性能设计的μ指标函数在数值上最大差〓倍，因此对于一般SISO系统的鲁棒性能设计可以简单地用一般的H〓的两块问题处理，而避免μ综合设计的复杂过程；（5）本文中提出的结论和算法都利用H〓/μ发展中的典型例子：Doyle-Stein问题，Safonov的战斗机模型，精馏塔对象等进行了设计验证。

It is applied to design the hardware frame of system based on DM642, solve synchronous problem of double CCD and control frame speed by software. In addition, the effect application is considered on the implementation of arithmetic.

基于DM642设计了系统的硬件结构，解决了双目视觉两摄像头同步问题并能够用软件控制帧速；而且在算法的实现上，考虑到了理论的实际应用。

It should be built in a certain environment, namely, in the cab of the drivers. Then we can get an image mainly of the drivers' head through adjusting the installing position and the focus of the vidicon.

DSP芯片的功能越来越强大，使信号处理系统的研究重点重新由硬件转移到软件算法上，特别是在图像实时处理领域。

It is also an example of an exponential time algorithm — for all but the smallest number of discs, it will take an impractically huge amount of time, even on the fastest computers in the world.

这也是一个指数时间算法的例子，但所有的光盘最少-，将采取不切实际的大量时间，甚至在世界上最快的计算机。

This can decrease the requirement of the computer. This made it is possible to realize this algorithm on microcomputers.

这可以减小对机器计算速度和内存的要求，使得在微机上实现三维成像算法成为现实。

It respectively constructs quasi projection-separation facet sets of two convex polytopes while their orthogonal projection on the centerline overlap mutually. Afterward it judges the separation of two convex polytopes by confirming non-overlap in orthographic projection on the centerline or by finding out a projection-separation facet from two quasi projection-separation facet sets, otherwise a collision is judged.

该算法通过判断2个凸多面体在中心线上的正投影不相交，或者分别构造它们的准投影分离面集合，并从这2个集合中找到一个投影分离面，来判断2个凸多面体分离；否则，判断为相交。

I didn't watch TV last night, because it .

昨晚我没有看电视，因为电视机坏了。

Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.

今年以来，在北京的很多小区里，电梯液晶电视被撤了下来。