形式化

This paper gives the study of polynomial symbolic algebraic theory in formal verification method.

本文研究基于多项式符号代数理论的形式化验证方法。

The appliance of polynomial symbolic algebraic in formal verification ,people have given two polynamial denotative module WGLs and TEDs,and gives the corresponding equivalence checking algorithms .

关于多项式符号代数理论在形式化验证方面的研究，人们给出了WGLs和TEDs两个多项式表示模型，并给出了相应的等价性验证算法。

Formal Verification; Polynomial Symbolic Algebraic; WGLs; TEDs

形式化验证；多项式符号代数； WGLs； TEDs

Aiming at the complexity of DSRC (Dedicated Short-Range Communication) protocol, the fuzziness and ambiguousness resulted from the natural language of the protocol, the protocol engineering method is adop ted to guarantee the integrality, correctness, security, portability and standardization of the protocol.

针对专用短程通信协议的复杂性以及协议本身由自然语言承载、存在模糊性和二义性的特点，采用协议工程方法来保证协议的完整性、正确性、安全性、可移植性和标准化，并采用SDL对DSRC协议进行形式化描述，在此基础上提出了DSRC协议验证的步骤和实现方法，并对所开发的协议SDL模型进行验证，结果表明了协议的逻辑正确性。

AMM formally describes the goal, feature, and indicator of software process, and their relationship. AMM also provides some principles, methods, and techniques to determine the measurement of software process.

模型形式化描述了软件过程的目标、特征和度量指标等关键元素以及相互间的关系，给出了确定软件过程度量的原则、方法和步骤。

With respect to syntax, the roles of tagmeme in the structure of word and sentence and Chomsky's Generative-Transformational Grammar are discussed. The spatial relation theory and existing research achievements are investigated. Having noticed the shortage of the capability of topological and metrical relation in the description of spatial information structure, the author proposes Combinational Qualitative Geometry based on the two invariables under ordinary transformations, distance ratio and direction difference, the CQG-based spatial relation system between topological and metrical constraint is thus constructed, on which several spatial relations such as parallel, perpendicularity, co-linearity, sequence and direct neighborhood are derived. Based on extended theory of spatial relation, the language anamorphosis is analyzed from the aspects of phonetics, semantics and syntax. The mere geometric and formalized spatial relation is then integrated with concrete geographic ontology to accommodate richer and indicative spatial configuration of spatial information in the different geographic context. Finally a syntax framework for spatial information is put forward.

在语法结构方面，首先阐述了法位和法素在语法结构词法和句法中的地位和作用，以及Chomsky生成转换语法的核心内容；详细介绍了地理信息系统空间关系理论及现有的研究成果；在分析现有的拓扑关系和量度关系对空间信息结构描述能力不足的基础上，提出了基于长度比和角度差两个不变量的组合定性几何，以此建立了介于拓扑及量度约束之间的组合定性关系体系，并以此为基础派生出平行、垂直、共线、次序、直接邻近等空间关系描述；本文基于扩展的空间关系理论，详细讨论了空间关系在语音、语法和语义三个方面的语言变体，将纯几何和纯形式化的空间关系与具体的地理本体结合起来，可以获得更为丰富的、更能反映空间关系在不同语言上下文中具体体现的组合关系；最后给出了一个空间信息的语法结构的基本框架。

Literary theory and creation, as a result of thinking, are no exception of antinomy.

思维的复杂性或模糊性不能被简单的形式化与逻辑化的理论所束缚。

Apollonian Vision differs from the classical idea of vision, which is characterized by a desire-excluded subject. It also distinguishes itself from the abstracting and formalizing tendency in the Modernist visional conception.

这种视觉模式既不同于传统哲学中以主体为中心、排除欲望的视觉观念，也不同于现代主义中视觉的抽象化和形式化倾向。

In the contradiction among the coherence theory、truth dualism and logic apriorism, Tarski published《the semantic notion of truth in formal language》in 1935 ,creating new approach to study the truth and setting up theory of truth which regarded as the more complete theory on logic truth than others in the history.

真理符合论、真理二元论以及逻辑先验论的长期斗争和矛盾使得美籍波兰学家塔斯基独辟蹊径，在1935年发表了《形式化语言中的真理概念》，开创了真理研究的新途径，建立了语义学真理论，这也是历史上第一个比较完整的逻辑真理论。

Index ; assessment ; axiomatic method ; formalization

指数；测验；公理方法；形式化

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了