嵌入的

The stuff in between, including the internal Lemma, is there only to prove there exists an injective map from the group of rational points on an elliptic curve to the group of points over each finite field of prime order not dividing 2D where D is the discriminant.

证明中间的引理，主要是证明椭圆曲线上有限阶有理点到有限域上椭圆曲线的点之间的嵌入映射的存在性，其中点的阶不整除两倍的判别式2D。

Next in section 2.3,usingthe finite isolated regular representations in SO(3)character varity of 〓,weobtained a computation formula of SO(3)Donaldson invariants with degree 1 of4—manifold 〓(Theorem 2.3.1).Finally in section 2.4 wediscussed the Donaldson invariants of 4—manifolds with smoothly embedded 2—torus 〓 whose selfintersection is +1,with the help of the single irreducibleSU(2)representation of the principal 〓—bundle over a 2—torus with Eulernumber—1,we got a gluing formula of the Donaldson invariant on the 2—homology represented by 2—torus 〓(Theorem 2.4.1),it is a supplement of P.

最后在§2.4我们讨论了具有自交数为+1的嵌入环面〓的4—流形的Donladson不变量，运用环面上欧拉数为-1的圆丛的单个不可约SU（2）表示给出了Donaldson不变量在环面表示的同调类上的一个粘合公式（定理2.4.1），这一结果补充了P。

First, this thesis introduces basic theory of CBR , and studies many aspects of typical part design case , such as case representation, case retrieval, retain etc. Second, regards design code as case code in order to integrate the case with geometrical and non- geometrical information, and realizes the parametric modifying function for 3D solid model in the condition of Pro/E. Third, for the purpose of making true of system's aided design requirement, this thesis brings forward to create part design knowledge base with AI language CLIPS, and integrates the rule based KB into the system; finally, collects and summarizes the knowledge of shaft,gear,sleave, and a sample with ladder—shaft is shown in order to verify the correction of theory research.

首先，本文介绍CBR技术的基础理论，并重点研究典型零件案例的表示、检索、修改等功能；其次，以零件设计编号为案例编号实现对案例的几何与非几何信息的集成，并实现了三维实体模型在Pro／E环境下的参数化修改功能；再次，从系统辅助设计功能要求出发，提出将基于规则的知识库嵌入到系统内部，用人工智能语言CLIPS建立零件设计知识库；最后，对轴类、齿轮类、盘套类零件案例知识进行收集、总结，并通过阶梯轴设计实例验证了理论研究的正确性。

In Theology,human world is continuity of the nature,but Vico believed that human is embedded into nature and human affair is created by human himself,that what important is not what man is,but what he does,and what he does defines what he is.

维柯认为，人类世界是嵌入在自然世界之中的，在上帝眼中人类世界是自然世界的延续；可是在维柯的心目中，人类事务则是人类自己创造的。这就是说，重要的问题不是人是什么，而是人做什么。人怎样做，就生成为什么样的人。

Of discharge capacity at the first cycle after 20 cycles. At the same condition, the uncoated MCMBs just keep 74. 6% of the first discharge capacity. Cu coating have the same effect as the Ag coating about sensitive to humidity, but the coated Cu is easily oxided on air. Cu-Ag alloy is provided with normal temperature antioxygenic property in air.

从动力学角度出发，提出电极放电行为的理论模型，根据材料的基本性能来计算锂嵌入和脱出的反应过程，根据该模型对材料的放电曲线、锂在材料中的扩散系数和交换电流密度进行模拟和计算，并且得到了和实验结果的一致性。

Cu coating have the same effect as the Ag coating about sensitive to humidity, but the coated Cu is easily oxided on air. Cu-Ag alloy is provided with normal temperature antioxygenic property in air. The coated MCMBs still have excellent electrochemical performance after being held at high humidity.

从动力学角度出发，提出电极放电行为的理论模型，根据材料的基中南大学博士学位论文摘要本性能来计算铿嵌入和脱出的反应过程，根据该模型对材料的放电曲线、铿在材料中的扩散系数和交换电流密度进行模拟和计算，并且得到了和实验结果的一致性。

In building the simulation models for manufacturing missions, based on the combination with the multi-agent method and the GOOPN method, the compoundable method is presented, which makes the models more intelligent. Based on the result above, combined with the GOOPN models and the GERTS model, we put forward EPN-GERTS model through embedding Petri net into GERTS model, which can simplify the complexity in building models, and also improve the defects of GERTS model in describing resource conflicts and Petri net model in building models. In building the simulation models for development missions, the improved GERTS model is present to describe the development processes in QRMS. Through dynamically computing the redo times in GERTS, the improved model can reflect the operation character of development process. The simulation results are more precise when we use the models above.

针对构建快速研制系统的仿真对象问题，提出了基于多Agent的快速研制系统可靠性复合仿真建模方法，增强了仿真模型的智能性；在此基础上，针对制造任务，将Petri网嵌入到GERTS网中，提出了用于快速研制系统制造任务可靠性仿真的EPN-GERTS模型，简化了建模过程，同时也能考虑任务之间的资源冲突；针对研制任务，提出了用于快速研制系统研制任务可靠性仿真的改进GERTS模型，该模型可以描述设计迭代过程的动态运行特点，使仿真结果更加准确。

The partial least-squares regression model is built up to forecast crop leaf water potential of estival maize.Thirdly, atmosphere aspect, the low water age has been forecasting by R/S method of fractal theory in Si Chuan middle region. The chaotic behavior of agriculture meteorologic factors (average temperature, max temperature, min temperature, temperature of the earths surface, evaporators, precipitation, relative humidity, sunlight time) time series is investigated using the phase-space reconstruction technique, and the delay time and relation dimension and min embedding dimension and Lyapunov exponent and Kolmogrov entropy is calculated. The atmosphere water potential is calculated by surveyed data, and the day change law of atmosphere water potential and the relation between it and sun radiation has been discussed.

第三，关于大气方面，利用分形理论中R/S分析法对川中丘陵区的枯水年进行了预测；利用混沌理论的重构相空间技术，确定了农业气象因子(旬平均气温、最高气温、最低气温、地表温度、蒸发量、降水量、相对湿度、日照时数)的延时、关联维数、最小嵌入维数、Lyapunov指数、Kolmogrov熵，从而证明了以上各农业气象因子的时间序列具有混沌特性，为利用混沌理论预测各气象因子提供了科学依据；利用田间自动气象站的数据计算了大气水势并探讨了大气水势的日变化规律以及大气水势与太阳辐射的关系。

But 4 common sayings concepts and their definition looks at and appraises a frame right away like one , it is fixed invariant, inlaying culture fixing painting inside the indeterminate appearance frame , being just a common saying in this , its is various , rich.

但是 4项通常的叙述观念和他们的定义立刻看着并且评价一个体格相似的，它在这被修理不变量，嵌入固定在不确的外表体格之内油漆的文化，只是一个通常的叙述，它的是各种不同的，富有的。

The application status of Real time and Embedded softwa re is introduced in this paper firstly ,and based on analyzing character of Real time and Embedded softwar e including real time nature ,embed nature and reactive nature, the paper summar izes the current domestic and foreign research thing of this field ,including va rious kinds of test method, test ...

本文首先概括地介绍了实时嵌入式软件的应用现状，在详细分析了实时嵌入式软件的特征—实时性、嵌入特性和反应性—的基础上，综述了在该领域的国内外测试现状，包括各种测试方法、测试工具、测试策略和存在的问题。最后，对实时嵌入式软件的测试进行了小结。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。