形式化规则

Alone with them, and based on the conception of time interval, and the Function Net, a rule for correctness is present, which correctness is also proved.

提出了活动状态、前序后继活动以及工作流实例状态、状态转换及状态转换图的定义和工作流运行重配置结构和数据正确性规则，在此基础上提出了进行工作流运行重配置的理论基础，形式化描述了一个完备最小的工作流模型修改操作集合WMOL，并给出了这些操作可以进行的时机。

The synchronization problem in the distributed multimedia system is studied in this paper. The basic concept and convention about formalized stand language LOTOS are introduced,and the language is improved and extended by adding discrete time domain and time operator for establishment of its syntactic and semantic rules.

就分布式多媒体系统DMS中同步问题进行了分析与探讨，首先论述了形式化规范语言LOTOS的约定与基本概念，然后对其进行了基于时间的扩充，引入时间操作算子，确定了相应的语法定义和语义规则。

Firstly, the basic concept and convention about formalized stand language LOTOS is introduced, and, the language was improved and extended by adding discrete time domain and time operator to confirm its syntax and semantics rules.

本文首先论述了形式化规范语言 L OTOS的基本概念与约定，对其进行了基于时间的改进和扩充，引入了离散时间域和时间操作算子，然后确定其相应的语法定义和语义规则，通过仔细分析分布式环境下的多媒体同步问题，基于时间扩充的 L OTOS，给出了一种特殊的多媒体同步系统以及具体的算法描述。

Firstly, the basic concept and convention about formalized stand language LOTOS is introduced, and, the language was improved and extended by adding discrete time domain and time operator to confirm its syntax and semantics rules. Then, a special multimedia synchronization system and implement algorithm is proposed by anatomizing multimedia synchronization problems in distributed environment.

本文首先论述了形式化规范语言LOTOS的基本概念与约定，对其进行了基于时间的改进和扩充，引入了离散时间域和时间操作算子，然后确定其相应的语法定义和语义规则，通过仔细分析分布式环境下的多媒体同步问题，基于时间扩充的LOTOS，给出了一种特殊的多媒体同步系统以及具体的算法描述。

This paper disertation explores on modeling and automatic recognition of NP in Russian sentences in light of Natural Language Processing, including linguistic foundation in the course of modeling, modeling of NP, multilevel description of models, modeling of AP with patulous components and automatic recognition of NP. In the process of recognition attention is paid to theoretic precondition of automatic recognition of NP, combinational rules of models, boundary mensuration of NP, automatic recognition of NP with postpositive attributes.

本文从自然语言处理的角度研究俄语中NP构句块的模式化和自动识别问题，内容涉及NP构句块模式化的语言学基础、NP构句块的模式化及模式的多层级、多平面形式化描写(包括带有扩展模式形容词的模式化)、NP构句块自动化处理，包括NP构句块处理的理论前提、模式组配规则、NP构句块的边界测定、带后置定语的NP构句块识别等。

After analyzing the merit and lack of 9I model, the main idea is proposed: to distill some basic topological relations from 9I model, of which the composite topological relations of complex objects are made up. In detail, the composite topological relationships between region and region, line and line, line and region are particularly discussed;(2)Analyze the characteristics and inner relations of cadastral features. According to the expressional model of complex topological relations, the author discovers the possible topological relations between parcels, parcel lines and parcel points. In addition, sum up the general topological relationship rules of cadastral data.(3) Then the topological relations model is extended to the spatio-temporal data. Time in cadastral database and change semantic are discussed. It's redefined that spatio-temporal topological relations is composed of time, location, status and event relation. Spatio-temporal topological relationships can be represented by extended 4I model. Taking cadastral parcels as example, there are different possible spatio-temporal topological relationships between parcels when they are extended, shrunken, split, merged or others. Thus, some deductions are drawn that, for example, if parcels have be coexisting for some time they are impossible to be overlapped. Furthermore, the parents of parcels alternated and their possible change types can be detected by their spatio-temporal topological relationships.(4) Before carrying out the experiment, the calculation method must be designed.

具体研究工作及成果如下：（1）根据点集拓扑理论中与拓扑空间相关的概念，本文对空间的点、线、面进行了重新定义，以区分对象的复杂性；分析了9I模型在表示简单对象方面的优点，以及在表达复杂对象上的不足，阐述了本文的研究思路和解决方案，并以复杂的面面、线线和线面为例详细探讨了复合拓扑关系的表达方法；（2）分析了地籍权属数据和地类数据的内涵、特点和要素之间的联系，根据复杂对象的拓扑关系表达模型，本文讨论了宗地、界址线、界址点之间，图斑、线状地物、零星地类之间可能存在的拓扑关系和形式化表达方法，归纳总结了地籍对象的拓扑关系满足的约束性规则；（3）将拓扑关系的研究延伸到时空领域，从地籍对象的时态性出发，本文阐述了地籍数据中时间的含义和变化语义描述的需要；从时间、位置、状态、事件等之间的拓扑关系方面，重新系统性地进行了时空拓扑关系的定义；研究了一维时间和二维空间的集成表达方式，以宗地、界址线为例，分析了变更前后不同时间区间里可能的拓扑关系，探讨了时空拓扑关系对时空变化操作类型和变化语义的推理方法和意义；（4）为实现空间拓扑关系的查询分析等应用，本文研究了空间拓扑关系的计算方法。

Based on the characters of decision-tree nodes and the definition of LESS, the universal rules of transformation are proposed.

本文根据业务逻辑树节点的特性和LESS的定义，提出了通用的转化规则，实现了端业务的形式化建模，从而方便了业务的集成及业务间的离线检测。

Firstly, the thesis analyzes the content of behavior consistency of C~4ISR system requirement, researches the theory of behavior consistency validation based on executable model. Secondly, it analyzes the extense form of basic state chart, researches the grammar rules and formal description method of the transition-oriented state chart. Lastly, it brings forward the method for transforming TO_StateChart to Object Petri Net model, and based on executable model, researches the method of validation for behavior consistency between the state chart and sequence diagram.

论文首先对C~4ISR系统需求行为一致性验证的内容进行了分析，研究了基于可执行模型进行行为一致性验证的原理；其次分析了基本状态图的扩展形式，研究了面向转移的状态图(简称为TO_StateChart)的语法规则及其形式化描述方法；最后研究了TO_StateChart转换为对象Petri网模型的方法，并以此为基础，深入研究了基于可执行模型进行状态图和时序图之间行为一致性验证的方法。

It suggests that legal characters of Economic Law be largely different from traditionalistic law such as Civil Law and Administrative Law.

借用昂格尔关于法律自治性的分析框架，通过对比研究法律规则与法律标准、形式化法律推理与实质性法律推理、法律理论的纯粹性与复合性、法律实务的垄断性与开放性、法律机构的官僚性与非官僚性等，就法律内容、法律推理、法律职业、法律机构四个方面阐述了经济法实质化发展的具体表现，从不同侧面展示了经济法独特的法律特征。

This dissertation, which is oriented towards Chinese Information Processing by computer, proposes a set of formulized rules on Chinese phrase structures, and discusses the treatment of the phrase structure disambiguation.

本文面向中文信息处理的实际需要，尝试以形式化的方式对现代汉语短语结构的组合规则进行全面的描写，并探讨解决短语结构歧义问题的途径。

Since historical times,England ,where the early inhabitants were Celts, has been conquered three times .

从有历史以来，英国，在此地早期居住的是凯尔特人，已经被征服了三次。

Bluetooth OBEX File Transfer Enables the sending and receiving of files on your phone via Bluetooth.

蓝牙OBEX文件移动允许经过蓝牙传送和接受文件。。。。