查询词典 formal language

Forth, depending on a limited syntax language, a research on the method and process of the semi-formal specification of the top level function is developed. This top level specification paves the way for the system verification and the covert channel analysis.

第四，借助一种受限的句法语言，研究了对系统顶层功能进行半形式化规范的方法和过程，而顶层功能规范则为系统验证、隐蔽通道分析等后继工作奠定了基础。

In this paper a computable formal algorithm language is advanced to disoribe somebasic concepts, such as dynamic process, stabilization, teachability etc, which are usedin control and manegement science, by means of ∑-module.

本文讨论了如何将控制与管理科学理论中的一些基本概念，例如系统的动态过程，稳定性、可达性等，用统一的形式化算法-Σ-模结构语言来描述。

The more formal styles were elicited by three reading tasks in which the informants had to read a prose passage, a word list and a list of minimal pairs of word that in the vernacular are homophonous but are distinguished in the standard language.

更正式的风格是由三个阅读任务的检举人已读一篇散文，一个单词表和一串最小的双字，但在本国的是homophonous划分标准语言。

Its software development tool are very important to the applications of virtual reality technology because of the rapid development of network technology Being aimed of the shortcoming that the development for the distributed parallelism of simulation computing unit is not enough and formal in current distributed virtual environment systems, we study the modeling language of virtual environment and the system architecture of distributed virtual environment in a new view point, build a complete extensible theory framework novelly for the research of virtual environment technology.

本文针对当前分布式虚拟环境系统对仿真计算单元的分布并行性开发不够充分和规范的缺点，从一个全新的角度来研究虚拟环境的建模语言及其分布式虚拟环境的系统结构，开创性地为虚拟环境技术的研究建立了一个全面可扩展的理论框架。

To fulfill the requirements of reliability, extensibility and adaptability, this dissertation proposes a Holon-based control architecture for flexible manufacturing shop floor using a bottom-up design approach. The inner structure of component Holon, the relationships of data and functions among Holons, the model of message transfer and the basic specification of communication language are described in detail. Then, from the aspect of software architecture, a formal description and analysis of the proposed architecture is conducted by First-order Polyadic pi-Calculus.

针对可靠性、可扩展性和适应性等要求，提出了基于Holon的柔性制造车间控制体系结构，描述了组件Holon的结构模型、数据和功能关系、信息传递模型和通信语言基本规范，并从软件体系结构的观点出发，运用π演算对其进行了形式化描述和分析，为基于Holon的体系结构设计和分析奠定基础；3。

His forms include two aspects. One is the formal originality. He deeply looks down the set of academic rules of oil painting. The dead and unspiritual language of oil painting only belongs to history and cannot describe today's life which asks for new expressive ways.

他的形式包括两个方面，一个是形式的独创性，他在骨子里是瞧不起那套学院派的油画规则，那种无生命无精神性的油画语言只是属于历史，无法表现今天的生活，今天的需要新的表达方式。

The more formal the style is, the more redundant the language will be.

越正式的文体，语言冗余度越大。

This mechanism is reified as the strategies exploiting the phonetic, formal and semantic characteristics of the language.

该机制具体体现为对语言的语音，形式和意义三方面特征的利用和操控。

12 The fact that the propositions of logic are tautologies shows the formal--logical--properties of language and the world.

6.12 逻辑命题是重言式，这显示语言和世界的形式的——逻辑的——属性。

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 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.

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