查询词典 formal model

A formal model for computerised chinese restricted grammar, based on complex features, was proposed.

2全面评述了自然语言的机器理解理论和人工智能技术，并在应用系统中加以利用。

A formal model of knowledge-based system is given in this paper.

在对知识系统深入研究基础上，本文给出了知识系统的一个形式模型。

A multi-grain formal model for service composition is proposed in this paper.

提出一种多粒度的服务组合形式化模型。

Based on the analysis to the formal model of ecological water, new ecological water calculation model was established.

在以往生态需水计算模型的基础上，提出了利用空间关联分析方法计算生态地下水位埋深值的新方法。

A formal model is proposed to describe time character of constraint in this paper.

提出一套形式化地描述时间特性的模型，使之能够描述带时间特性的授权约束。

In our zeal to learn, we have transferred the formal model of learning into the collective mind of our corporations.

在我们的学习热情中，我们已经把学习的正式模式转化为我们公司的集体思维。

Second, the heterogeneousness and changeability of component runtime environment build many blocks in component assembly, integration, and interoperation.Model-Driven Architecture is a new framework given by OMG based on UML, MOF, XMI, CWM, and etc, concentrating on using formal model to understand, design, operate, and evolve all aspects of enterprise systems, using software engineering methods and tools.

模型驱动体系结构是OMG在UML、MOF、XMI、CWM等成功技术标准的基础上提出的一种新的系统框架，它提倡使用形式化的系统模型作为解决企业应用系统集成问题的核心，通过使用软件工程方法和工具去理解、设计、操作、发展企业系统的所有方面，从而为企业应用在不同生命周期阶段的集成提供了完备解决方案。

After introducing the AOP, there are components, system connectors, aspect connectors and constraints in architecture. The UML and ADL description of each model are given, and achieves the transform from semi-formal to formal model, and the model's refinement and verification, which provides a good foundation for the development of tools.

引入方面的软件体系结构是由构件、系统连接件、方面连接件以及约束构成的配置格局，不仅给出了体系结构中各元素的统一建模语言和体系结构描述语言的描述，实现体系结构模型从半形式化到形式化的转化，而且实现了模型的求精和验证，为各种工具的开发提供了一个良好的基础。

The guideline model and formal model are compared and analyzed by their characteristic and compatibility, which take the major roads of valley cities and coastal cities as examples, the result show two models have different adaptational condition, and provides references for studing on noise treatment from now on.

对导则模型和规范模型的特点与适应性进行比较与分析，并以河谷型城市和沿海型城市为例，利用模型进行预测分析，结果表明这两种模型具有不同的适应条件，可为今后对噪声污染防治问题的研究提供一定参考依据。

On the background of mobile computing, distributed system, agent system and ontology, the author explores the mobile computing in limited environment at three levels, i.e., mobile computing formal model, mobile ontology and application model. Some targets of the research works include the dynamic ambients calculus, robust ambients calculus and mobile ontology. Some innovative contributions of the dissertation are enumerated as: 1、Proposing a mobile computing dynamic ambients calculus.

论文研究工作基于陕西省十五科技攻关课题&移动嵌入式电子商务平台及关键技术研究&，以移动计算、分布式系统、Agent系统、本体论等相关领域技术为背景，从移动计算形式模型、移动本体论、应用模型三个层次研究了面向受限设备的移动计算技术，内容主要涉及移动计算形式模型中的动态环境演算、抗干扰鲁棒环境演算以及面向移动领域的移动本体论等，研究工作取得了如下创新性成果： 1、提出了跨平台、跨网络的动态环境演算。

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.

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