形式化

The dissertation focuses on the topics for automatic, accurate, and efficient metadata extraction from general and unstructured documents, on the basis of the state of the work on metadata extraction. After analyzing the limitations of current work, we propose a model for Automatic Document Metadata Extraction, and formulize the problem under the framework of statistical learning.

首先，论文针对目前元数据抽取在处理的文档对象和采用的抽取方法方面所存在的问题和不足，以统计学习理论和信息抽取领域相关研究为指导，结合非结构化文档的特点，提出了文档元数据自动抽取（Automatic Document Metadata Extraction，ADME）模型，给出其形式化描述，进而介绍模型工作机理和处理流程。

These thematic roles form implicational hierarchy and thematic role grid or theta grid. As an important part of sentence semantics, sentence meaning is mainly studied from the relation between it and propositions.

句义在句子语义学中有重要的作用，语言学家主要从句义和命题的关系方面来研究，并且对句义进行了形式化，主要是卡茨-福特理论和蒙塔古理论。

By using non-order pair as the basic element, we give out the definitions of discernibility system and the indiscernibility context.

5以无序偶作为基本元素，我们给出了区分系统和不可区分背景的形式化定义。

The conversion from sentences to Intensional Logic formulas is achieved by translation rules.

MG具有高度形式化和严谨性的特点，在描写自然语言的句法与语义时采用的是一种严格的代数运算；MG注重自然语言外部意义的刻划，以真值条件语义学、模型论语义学和可能世界语义学作为自己的语义学基础；MG在语法构造中坚持了句法与语义同构原则。

Based on intensional semantics, this ***** uses a formal method to reveal that generic sentences express the intensions of concepts, and shows that what generics are about.Thus, some puzzling phenomena around generics are explained with satisfaction.

在概称句内涵语义的基础上，借助于形式化方法，本文通过构造可能世界到内涵域幂集的映射，发现概称句是表达概念内涵的句子，揭示了概称句的本质，使得关于概称句的一些现象得到合理的解释。

Based on intensional semantics, this paper uses a formal method to reveal that generic sentences express the intensions of concepts, and shows that what generics are about.Thus, some puzzling phenomena around generics are explained with satisfaction.

在概称句内涵语义的基础上，借助于形式化方法，本文通过构造可能世界到内涵域幂集的映射，发现概称句是表达概念内涵的句子，揭示了概称句的本质，使得关于概称句的一些现象得到合理的解释。

Hemaintains the factors of Kantism in Husserl's thought,regarded linguistic structureas the form formalizing things.Beause of unifying things,thinking and text intolinguistic structure,his discribing linguistics in the the way of formalization have asignificance of"laying foundation".

他坚持胡塞尔思想中康德主义因素，把语言结构看成是统摄事物的形式，由于将事物、思维和文本统一到语言上来，使得他对语言作出的形式化描述具有&奠基&意义。

The B model of disk scheduling is built by using B method and its liveness is proved.

形式化方法是一种能够保证软件质量和软件可靠性的软件开发方法。

There is no restriction on the momentum k of particles in such virtual states, and such terms are of the form and thus logarithmically divergent.

在这些虚状态中，粒子的动量没有限制。而这些项都是形式化的并因此是对数发散的。

Despite of language is not pure reason outcome, language construction regulation is not the regulation that one kind of culture defends like hair bloodstain make a law article , the upper characteristic of language structure type requires that the object carries out elemental analysis on thought but with national culture mode of thinking, Carry out logicalization , formalized formulation, systematicness that being running after shows.

尽管语言并非非纯粹理性的产物，语言结构规则并不像发血迹制定法律条文那样是一种文卫的规定，然而语言结构类型上的特点同民族文化思维方式要求对思维客体进行元素分析，进行逻辑化，形式化的表述，追求的是表现的规则性。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。