规则化

The rules regulating confession of defendants have developed from "the king of evidence" to acquittal without corroborative evidences. With the development of justice of procedure and the protection of human rights,the rule of corroborative evidence has changed from the substantial rules to the exceptional modal rule of the free evaluation of evidence.

口供由历史上的"证据之王"生成的"无供不录案"证据规则到口供未经补强不得定案的证据法则，出现了口供证据适用的反叛；随着诉讼程序正当化和人权保障的深入，补强证据法则也由强化自由心证的实质规则转化为自由心证的例外形式规则，实现了口供证据适用的超越式革命。

The rules regulating confession of defendants have developed from"the king of evidence"to acquittal without corroborative evidences.With the development of justice of procedure and the protection of human rights,the rule of corroborative evidence has changed from the substantial rules to the exceptional modal rule ofthe free evaluation of evidence.

口供由历史上的"证据之王"生成的"无供不录案"证据规则到口供未经补强不得定案的证据法则，出现了口供证据适用的反叛；随着诉讼程序正当化和人权保障的深入，补强证据法则也由强化自由心证的实质规则转化为自由心证的例外形式规则，实现了口供证据适用的超越式革命。

The method involves an iterative procedure, which incrementally flattens a 3D triangular mesh by region growing and obtains a parameterization with free boundary. The result is then converted to a parameterization with regular boundary by conformal mapping. Our method accounts for both the angle and area distortion during parameterization, it yields a parameterization with less global distortion and no triangular flipping.

采用区域增长算法逐层展平空间三角网格，得到空间三角网格曲面的自由边界的参数化结果，并利用保形变换将自由边界的参数化结果变换为规则边界的参数化结果；同时兼顾了参数化的角度变形和面积变形，使得参数化结果具有整体变形较小的特点，并能够避免三角形折叠的现象。

Analysis for testability is widely used in DFT and test pattern generation, but most testability analysis algorithms have the shortcoming of either inaccuracy or being too complicated. A new method to calculate the signal probabilities of the nodes in IC is pre-sented in Chapter 7 of this dissertation. The signal probabilities by our method is more exact than by the previous ones. A symbol of the signal probability at the fan-out node is created and is propagated to the RFON (Reconvergent Fan-out Nodes). At the RFON, the expression containing the symbol is simplified using the rule which corresponds to the law of identity in Boolean algebra. After the expression is simplified, the symbol is substituted with its numeric value. Theoretical analysis shows that this method is concise and has a low computing complexity.

可测试性分析在可测试性设计和测试生成中都有着广泛的应用，然而大部分的可测性分析方法都存在不精确或者过于复杂的毛病，在第七章中作者提出了一种新的计算IC电路节点的信号概率值的符号算法，该算法得出的信号概率值比用以往的算法法得出的要更准确，也更简洁，针对电路中的扇出节点重汇聚现象，我们在每一个扇出节点定义了一个信号概率的符号，在以后的计算中一直使用该符号参与计算，直到该符号传播至重汇聚处，利用一定的规则把含符号的表达式化简，再将符号的真实值代入，在计算符号概率的过程中定义了一个和布尔代数中的同一律相对应的运算规则，通过该运算规则，使得信号概率的结果更加准确，符号算法具有简洁方便，计算复杂度小的特点 4。

And using thinking of evolvable hardware design,it had realized a novel way in simplifying the given logic function,which was different from conventional method,such as algebra way and Karnaugh map way.Experiments showed that evolvable hardware method could solve simplification of large scale logic function.

作者在对演化硬件设计理论的学习研究中，尝试了用遗传算法在可编程逻辑器件上应用来实现对某一给定的逻辑函数进行化简。2代数法和卡诺图法介绍[1]先给定一个逻辑函数F，并对其进行化简：F=A+ABC+AC+CD(1)2.1代数法化简代数法化简就是运用代数的公理、定理和规则对逻辑函数进行化简。

In this paper, a new kind of two-dimensional Cellular Automata is studied. Several algorithmic rules are discovered that can be used to design new Cellular Neural Networks which can implement shadow detector and overstriking for character recognition. Their Boolean expressions and learning algorithms are introduced detailedly.

摘要该文深入研究了一种新的二维细胞自动机，找到了几种新的算法规则可以用来实现字符的粗化处理和阴影检测，并且用这些规则设计了几种新的细胞神经网络，文中详细介绍了这些算法规则的布尔代数表达式和细胞神经网络学习算法。

In Modular Organization, associated boundary which is formed in the base of relationship network replaces entitative boundary which is formed in the base of administrative order.

首先，识别并界定了模块化组织边界，认为模块化组织边界是指依据模块化组织基本架构和主导规则所建立起来的关系网络的界限范畴。

The paper probed into the grammaticalized process of the prefix A- and some related problems on typology and gained several breakthroughs such as putting forward a new conception of "historical levels" on grammaticaliztion and the "unidirectionality", discussing some generant universals on the language's origin and change, recognizing the roles of the unique small contexts acted on the grammaticalization and the broadening process of grammatical rules, realizing the necessity of combination of researches on historical grammar and on Chinese etymology.

论文进而在更高的层次上对阿缀的语法化和相关类型学问题进行理论提炼与总结，取得了若干突破，如提出语法化研究中的历时层次与非单向性问题、语言起源发展的发生学共性问题，认识到独特小语境在语法化和语法规则泛化中的作用、语法史研究与汉语词源学研究结合的必要性等。

An automatic update system based on semantic web techniques to implement the drug-law checking automatically is proposed in this thesis. The design concept is to use OWL as the knowledge model. To represent the drug law knowledge, we view a drug law as a class of medical status, and we can use classification to implement the decision of drug use legality. This approach simplifies the design of inference engine. The OWL supports the syntax of class inherences, so it can reach the cognitive economy and shorten the drug laws encoding length. The OWL syntax can represent most drug laws style, so the system can just use one document and one inference engine to handle all drug laws rules.

本文导入语意网技术提出一法规检核同步化系统，来实现药品检核规则自动更新的功能，其主要设计理念为以语意网的OWL模型来实作法规检核系统，在法规的知识表徵上，系统将所有的药品规则视为医疗状态的类别，因此判别用药的合法性，便可使用分类运算达成，这简化了推理机的设计；利用OWL支援类别继承的语意，故能形成认知经济性效应，缩小医疗法规机器编码长度；最后OWL的语法能表示大部份规则型态，使得系统可以使用一个文件档，一种推理机模型便能表示所有的法规。

In the import process, but also to use WTO rules and domestic law in international trade disputes safeguarding the interests of these sectors, master dumping and anti-dumping, subsidies and countervailing trade disputes initiative, a favourable factor for the negative factors, and regain the initiative, while the use of the WTO rules.

在进口过程中，还要懂得运用 WTO规则和本国法律在国际贸易争端中维护本国这些行业的利益，掌握倾销与反倾销，补贴与反补贴贸易纠纷的主动权，化不利因素为有利因素，化被动为主动，运用WTO规则趋利避害。辛苦了！

Do you know, i need you to come back

你知道吗，我需要你回来

Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.

1〕 杨银书，王祥生，李德昌。安徽省首次发现嗜群血蜱。