查询词典 formal model

Most formal methods proposed for protocol analysis use the state machine model in one form or another.

多数正式方法提议为协议分析使用系统模型在一形式或另。

From a formal point of view these model worlds are clearly based on the dioramas of natural history museums, but they are not designed for systematic, generic categorization and clarity in terms of their content; rather, they stage a game where nature follows rules the human mind cannot fathom and ultimately overgrows and conquers human space.

以严谨的角度来看，这些模型世界很清晰的表明它是参照自然历史博物馆中那些微缩场景所建立起来的，但不是为系统学，种类分类，明晰他们内在联系所设计的，而是为了营造一个人类无法领悟的遵循自然规则的世界，在这个规则下自然界最终过渡繁衍并吞噬了人类的空间。

Subsequently, the contrary-based concept design model integrating with Triz theory is presented, which generates new concepts by reformulating the representation of the existing product concepts through parametric variations, substitutions and other formal operations.

然后根据旋转动力学理论提出了尺度弯曲的产品模型和该模型的启发式建模方法，提出了与Triz理论结合的对立创新模型，其以对立矛盾为出发点，寻找对立转换条件来消除矛盾，进而实现创新。

Model records are a type of vinyl LP but with white paper and are used for testing sound before the formal production of a record. This is called a "white board album", and is not for sale. Due to its high quality and rarity it is a very valuable collectors' item.

有一种唱片的片芯是白纸，所示内容为水笔手写，这样的唱片是唱片正式生产前测试时压制的示范片，通常称之为&白板片&，白板片属非卖品，品质极高，数量奇少，有很高的收藏价值。

Also the formal semantic of agents capability is defined by planning tree. Combined ant arithmetic, a six-set model is established.

论文采用了蚁群觅食模型算法，并为Agent建立了六元组描述模型。

The analysis model of grouped-metadata may construct based on coupling information of variables and methods inside component. According to formal component couping testing criteria description, coupling relationship among methods inside component is decribed using component methods coupling graph. And DU table is further constructed, which includes definition and definition information of component method. Then observation mechanism based on observation–points is introduced in order to increase the observability of component. An implementation framework of testable component is constructed bansed on coupling information.

分层描述性元数据中的分析模型基于构件内变量和方法之间的耦合信息来构造，根据形式化的构件耦合测试准则描述，使用构件方法耦合图的概念描述构件中方法之间的耦合关系，进而构造包含构件内定义和使用信息的DU表，并引入旨在提高构件可观察性的基于观察点的监控机制，构造一个基于构件耦合信息的可测试构件的总体实现框架。

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部分绑定问题、数据源定位以及查询重写的算法；最后在原型系统的基础上，通过实例验证本文所提方法的可行性。

After executing the formal questionnaire including mentoring relationship questionnaire , organizational commitment questionnaire, job performance questionnaire, and turnover intention questionnaire, the result of the Structure Equation Model's test indicated the career support and the psychological support of the mentoring relationship both had positive effect on prentices' job performances, and the direct effect of career support was larger.

在正式施测中，除了师徒关系问卷外，还添加了组织承诺、工作绩效和离职意愿等问卷。结构方程模型检验的结果显示，师徒关系中的职业支持和心理支持都对徒弟的工作绩效存在着显著的正面影响，其中职业支持对徒弟工作绩效的直接影响作用更大

After executing the formal questionnaire including mentoring relationship questionnaire, organizational commitment questionnaire, job performance questionnaire, and turnover intention questionnaire, the result of the Structure Equation Model's test indicated the career support and the psychological support of the mentoring relationship both had positive effect on prentices' job performances, and the direct effect of career support was larger.

在正式施测中，除了师徒关系问卷外，还添加了组织承诺、工作绩效和离职意愿等问卷。

OOA(object-oriented analysis) aims to build a analysis model based on class diagram..but among most OO methods,OOA lacks formal,unified and well-operated measures, only directly finding class diagram by means of analyzing problem domain through domain experience.

OOA的目的是建立以类图为核心的分析模型，但这些OO方法的OOA阶段对于建立类图大都缺乏规范、统一、可操作性强的手段，只是凭借领域经验通过分析问题域直接得到类图。

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.

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