形式化

In some cases, supporting materials will also be provided in the form of templates and/or suggested formalisms to further encourage reuse.

在某些情况下，也可以用模板和/或形式化建议的形式来提供辅助材料，以进一步鼓励重复使用。

Written using language and formalisms that practitioners understand.

使用书面语言和形式化语言进行描述，以便从业人员理解。

Successfully deployed to all new projects;(2) periodically revised based on lessons learned from use;(3) compatible with individual and team practices and flexible enough for teams to adapt the processes to their needs according to their experience; and(4) written using language and formalisms that practitioners understand.

成功地部署到所有新的项目；（ 2 ）在定期修订经验教训的基础上使用；（ 3 ）符合个人和团队的实践和足够灵活的适应团队，以便他们的需要根据自己的经验；使用过程，和（ 4 ）使用书面语言和形式化语言进行描述，以便从业人员理解。

With HyHO, the essential attributes of hybrid systems can be addressed, the computational model for hybrid systems can be ascertained, the modeling formalisms can be described, which are all the basics for hybrid simulation language specification.

通过HyHO能够研究混合系统的本质属性，确定先进仿真中混合系统的计算模型，以及模型的通用形式化方法，为混合仿真语言规范设计奠定了基础。

According to the complexity of non-engineering innovation,the ontology and direct hyperGraph are used in building formalization frame.

本体论可以表征复杂的现实世界，有向超图和矩阵能够将现实世界复杂的语义关系能够形式化的表示。

This article focuses on the structure of CCD,which presents a concept defined by a set of synonyms and a network of concepts based on the hypernymy hierarchy,the basic relationship,with other supplementary relationships.

本文着重描述了CCD的结构：CCD中的&概念&用同义词的集合定义，CCD的主关系———概念之间的继承关系和一些附加关系使得CCD形成一个概念网络，其上的演绎规则是严格形式化了的，可应用于中文的语义分析

The standard of knowledge is open, and is shaped by common sense using conversation between knowers and beknowers.

学习者是被动的、被塑造和被利用的客体，没有自己的声音和权利；受工具理性的支配，研究者以实证主义的定量化、形式化作为教师教育研究的方法；科学知识的霸权地位剥夺了本土知识的合法性，造成了研究者对我国教师教育发展历史、尊师重教的民族传统、基本国情以及独特的教师教育资源等的&集体遗忘&，也造成了研究者多元思想的祛魅。

This paper introduces the background knowledge of heterogeneous data integration, as well as the knowledge of data integration. On the basis of the above, The author develops an ontology-based Heterogeneous data Integration prototype system, expounds the main framework and essiontial technology. Then the paper introduces its work in detail: it explains the very significance of using ontology as an comon semantic description and an global query model ,and illustrates the reason fo adopting LAV method ; then it builds the formal representation of the mapping between ontology and data resources, applies OWL to describe the ontology and the mapping ; defines a query language named by DIQL to query on our integration system , and supply the detailed arithmetic of reolving partial binding of LAV method、locating of data sources and query rewriting,etc. Finally,the paper demostrates and proves the result of research by examples .

本文介绍了目前异构数据集成的研究现状以及数据集成和本体的相关背景知识，并在此基础上设计开发了一个基于本体的异构数据LAV集成原型系统，同时对原型系统的总体框架、关键实现技术分别做了讨论：首先阐述了将本体作为公共语义描述和全局查询模型的意义，给出了采用LAV集成方案的理由，然后规定了本体和数据源间映射的形式化表示方式，采用能结合描述逻辑和框架系统的优点、适合于半结构化环境的OWL表示本体和映射；其次定义了一种针对集成系统的查询语言DIQL，并在此基础上给出解决LAV部分绑定问题、数据源定位以及查询重写的算法；最后在原型系统的基础上，通过实例验证本文所提方法的可行性。

The superficial phenomenon of rule by law refers to the understanding disconnection of the form and content of rule by lawin the process of promoting the strategy of governing the country according to law, especially the hollow spiritual understanding of rule by law.

法治的&表层化&是指我国在推进依法治国方略的进程中，对法治形式和法治内容理解的脱节，所呈现出来的是对法治理解的表面化、肤浅化和形式化，尤其是对法治精神理解的空洞化。

This representation method not only wides SRC Ontology's 8 topological relation representation method, and provides more explicit formalization representation for spatial relation ontology modeling, but also make the practical application possible.

该表示方法比SRC-Ontology 8种拓扑关系表示更适合点、直线、面三类空间目标表示的需要，为空间拓扑关系建立本体模型提供了更加清晰明确的形式化表示基础，同时使得实际应用成为可能。

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.

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