同格

Main work follows:(1) In the first part of this paper, a historical development of the number theory before Gauss is reviewed.Based on the systematic analysis of Gauss"s work in science and mathematics, inquiry into the mathematical background that Disquisitiones Arithmeticae appeals and Gauss"s congruent theory;(2) The development process of Fermat"s little theorem and its important function in the compositeness test is elaborated through original literature.we think that the first three section of Disquisitiones Arithmeticae is a summary and development for ancestors" work about Fermat"s little theorem,show that Fermat"s little theorem played an important role in the elementary number theory;(3) With the two main sources of the quadratic reciprocity law, investigating Fermat,Euler,Lagrange,Legendre, until the related work of Gauss,the way to realize the laws huge push to the development of algebraic number theory in 19 centuries.

本文主要做了以下工作：(1)首先回顾了高斯之前的数论研究状况，在系统分析高斯的科学与数学成就的基础上，探讨了《算术研究》出现的数学背景和高斯的同余理论；(2)通过对原始文献的系统解读，深入分析了费马小定理发现发展的历程以及在素性检验中的重要作用，指出《算术研究》前三节是高斯在总结并发展了前人对该定理研究的基础上形成的，并揭示了费马小定理在初等数论定理证明中的核心地位；(3)以二次互反律的两个主要来源为线索，详细考察了费马，欧拉，拉格朗目，勒让德，直到高斯的相关工作，揭示了该定律对十九世纪数论发展的巨大推动作用。

Unlike the canonical extension,the number of algebraic completion of a poset may be more.

一个偏序集的代数完备可能有多个，可是，当偏序集是并半格时，代数完备在序同构意义下却是唯一的。

This paper also gives a numeral model of LCS problem by using string-coding function, and proves that the LCS problem can be treated as so_called Tomograph problem and be solved with algorithms and hardware suitable for Tomograph problem.

本文提出与LCS问题和一阶Unification问题对应的两种格代数系统，并用项图描述Unification问题，从而构造得到这两种格代数系统之间的同态，使得用求解LCS的算法和硬件求解一类Unification问题成为可能，给出基于LCS硬件的Unification求解器的原理方案。

The company focusses on the research and development of new drugs in the treatment of pain, and early successes from the Grünenthal research include tramadol, currently world-wide the most prescribed weak opioid for the treatment of moderate to severe pain.

格兰泰的药品研究开发范围主要包括：镇痛药、抗生素、激素、治疗心血管疾病的基因工程药物、神经疾病药物等。-格兰泰集团的员工都有着强烈的自我责任感，我们细心准备，勇于探索，始终同公司一起共同发展

Retrahedrons O-Al4 and O-Fe4 exist in the Shandong sapphire, while other Tetrahedrons such as O-Al3Fe, O-Al2Fe2 and O-AlFe3 may also exist.

研究表明，山东蓝宝石中Fe主要是以Fe~(3+)的形式存在的；Fe含量的周期性变化主要表现为Fe~(3+)含量的周期性变化；而在蓝宝石中，Fe主要是以类质同象的形式替换Al而进入刚玉晶格的，在刚玉晶格中存在着O-Al_4，和O-Fe_4的结构格式，也极有可能存在着二者的几个过渡型分子结构如O-Al_3Fe，O-Al_2Fe_2及O-AlFe_3。

I. B. Singer's stereotyped male penitents become identified with his recurrent theme pattern rom betrayal to redemption in most of his novels, which is unanimously approved and gets eulogized in the literary world.

评论界普遍关注艾辛格长篇小说中男性&忏悔者&形象，肯定了这个模式化的角色对凸现小说&背弃－回归&主题模式的同构性意义，并高度评价了辛格为捍卫犹太传统文化所作的贡献。

State Key Laboratory of Geological Processes and Mineral Resources, China University of Geosciences, Beijing 100083, ChinaStrontium and barium in otoliths are mainly from ambient water where fish survives.

鱼耳石中元素锶和钡主要来源于鱼类生存的水体，这两种元素通过腮或肠进入内耳淋巴液，继而以类质同象的方式沉淀在耳石晶格内部空位和晶格间隙中。

However, because S is more easily combined with Fe than As does, hence when hydrothermal fluids are rich in S, the possibility of As presence in pyrite crystal lattice decreased, but the chance for Co and Ni to substitute Fe in pyrite crystal lattice increased, thus S rich is not favorable for the formation of P type of pyrite.

但另一方面，由于S与As相比更易与Fe结合，因而成矿介质中富S将使As进入黄铁矿晶格中的能力或几率降低，并进一步使Co、Ni因补偿类质同像进入黄铁矿晶格中代替Fe的能力或几率增大，反而不利于形成P型黄铁矿。

We introduce and investigate lower homomorphisms and upper homomorphisms of generalized continuous lattices.

引进和研究了广义连续格的下同态和上同态，建立了广义代数格紧元素之间的映射扩充为下同态的充要条件

For formalized lattice implication algebra theoryT, it is proved thatTis preserved under submodels, unions of chains and homomorphisms;Tis neither complete nor model complete, and hence there exists no built-in Skolem function.

讨论有关格蕴涵代数结构的模型论性质，证明了形式化格蕴涵代数理论T保子模型、保模型链之并、保模型同态，理论T不是完备的、也不是模型完备的，因而不存在内在Skolem函数。

It has been put forward that there exists single Ball point and double Ball points on the symmetrical connecting-rod curves of equilateral mechanisms.

从鲍尔点的形成原理出发，分析对称连杆曲线上鲍尔点的产生条件，提出等边机构的对称连杆曲线上有单鲍尔点和双鲍尔点。

The factory affiliated to the Group primarily manufactures multiple-purpose pincers, baking kits, knives, scissors, kitchenware, gardening tools and beauty care kits as well as other hardware tools, the annual production value of which reaches US$ 30 million dollars.

集团所属工厂主要生产多用钳、烤具、刀具、剪刀、厨具、花园工具、美容套等五金产品，年生产总值3000万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐