充分研究

We study the properties of $BR_0$-algebra and the total complication triple I method on complete $BR_0$-algebra, and we apply the results to $R_0$-Unite interval $\overline{W}$. Not only we have simplified the proof of the results of $R_0$-type triple I method on $R_0$-Unite interval $\overline{W}$, but also we make the proof to combine with the formal deductive system for fuzzy propositional calculus. This work also explains that the $R_0$-type triple I method is a matching fuzzy inference with $B{\cal L}^*$ system.

研究了基础$BR_0$-代数的性质和基于完备基础$BR_0$-代数的全蕴涵三I算法，对一般蕴涵算子给出了三I算法解存在的一个充分条件，并将结果应用于$R_0$-单位区间$\overline{W}$，不但极大的简化了$R_0$-单位区间$\overline{W}$的$R_0$-型$\alpha$-三I算法结果的证明，而且使其证明过程与相应的模糊命题演算系统结合起来，说明了$R_0$-型三I算法是与$B{\cal L}^*$系统相匹配的模糊推理方法。

Scientists at Hewlett Packard's UK research labs are aiming to make the most of this.

惠普在英国的研究实验室的科学家们正努力充分利用这个趋势和资源。

This view of the role of blogs in legal scholarship puts me at odds with a more Panglossian picture, well articulated by Richard Posner in his Hayekian gloss on the blogosphere

对博客在法学研究中的作用的上述观点使得我对过分乐观主义的画面无言以对；而理查德·波斯纳以他哈耶克式的对博客空间的注释中充分清晰地描述了这一画面

First it concludes elementary methods for product modeling such as feature recognition, feature-based design and feature mapping. Then it probes into the mechanism of constraint-based feature parametric modeling, representation of feature parametric model and methods for solving constraint in details. At the end it proposes a feature-based modeling system that makes good use of resources and synthesizes many feature modeling methods, and analyses the development of prototype system oriented to actual application.

首先全面归纳了基本的基于特征的产品建模方法，包括特征识别、基于特征设计和特征映射方法，然后对基于约束的特征参数化建模、特征参数化模型的表达和定义方法以及约束求解方法进行了深入研究，最后提出了一个充分利用现有资源，特征识别、基于特征设计和特征映射共用的特征建模系统，并探讨了面向实际应用的原型系统的开发技术。

Chapter 2, we investigate the existence of multiple positive solutions of the neutral partial difference equations on the base of the existed results of partial difference and difference equations, and obtain some sufficient conditions for the existence of multiple positive solutions.

第二章，基于已有的偏差分方程和差分方程的结果，我们研究了高阶非线性中立型偏差分方程多正解的存在性问题，建立了判断多正解存在的充分条件，对前人的结果进行推广。

The study of ore-forming rules indicates that the shearing force came from interaction of plate-plate is the initial force, which result in remelting of deep rock. Early formed faults and later dome structures provide favourable passage-way for ore-material migrating. Finally due to complete circulate convection, ore-material experience a process of complete differentation and begin to crystal and settle in certain circumstance. In some favourable tectonic zone ore-forming material enriched to deposit.

对成矿机制的研究显示板块作用产生的剪切力是造成区内深部岩石重熔的源动力，而早期形成的断裂体系及后期形成穹窿构造为矿物质的运移提供了有利的通道，在完善的循环对流机制配合下，成矿物质在迁移过程中发生较为充分的分异作用，各类矿物质在相应的物化环境中结晶沉淀，并在有利的构造部位富集成矿。

Develops this topic the research, may grasp the product the design process, expands in electronic technology new domain product designed capacity, exercises our application penetrating power fully.

开展本课题的研究，可以掌握产品的设计过程，拓宽在电子技术新领域产品的设计能力，充分锻炼我们的应用贯穿能力。

The model proposed by Penna TJP in 1995 has then used a computer Bit-String to represent an individual,i.e.,the genome of this individual.

这些工作从不同侧面显示了相应研究方法的可行性和必要性，但其中对个体信息的表达一般不充分，利用效率不高。

In this paper, the existence of the periodic solution for two classes of piecewise symmetric systems is studied, and the certain sufficient conditions for the existence of the corresponding systems are obtained.

本文研究了两类分段对称系统周期解的存在性，得到了系统相应的周期解存在的充分条件。

Later, electroluminescences based on organic phosphorescent complexes have drawn particular attention in recent years.

在过去20年对小分子电致发光器件的研究中，由于没有充分利用三线态激子能量，器件的内量子效率存在25%的理论极限。

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。