形式模型

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

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

Labeled transition system is a formalism that is widely used in the literature of computer-assistant design and verification.

标记迁移系统是一种在计算机辅助设计和验证中得到广泛使用的形式模型。

It is completely free-form based on the model.

它是完全免费的形式模型的基础上。

Metamathematics is the fascinating study of what the limits are on math itself: the intrinsic capabilities of our formal models, proofs, axiomatic systems, and representations of rules, information, and computation.

对数学本身的研究就是无止境而且令人着迷的：构造形式模型本质的能力，证明，自明的系统，规则表示，信息，和计算。

Metamathematics is the fascinating study of what the limits are on math itself: the intrinsic capabilities of our formal models, proofs, axiomatic systems, andrepresentations of rules, information, and computation.

对数学本身的研究就是无止境而且令人着迷的：构造形式模型本质的能力，证明，自明的系统，规则表示，信息，和计算。

Metamathematics is the fascinating study ofwhat the limits are on math itself: the intrinsic capabilitiesof our formal models, proofs, axiomatic systems, and representationsof rules, information, and computation.

对数学本身的研究就是无止境而且令人着迷的：构造形式模型本质的能力，证实，自明的系统，规则表示，信息，和计算。

At the same time, it puts out the theory of multi-space of technology action, analyses the super circulated procession of technology evolution and its pattern as well as the situs structure of technology orbit space, reveals the law and controlling method of technological evolution.

同时，还提出了地球表层学视野技术活动的多维空间的概念。分析了技术进化的模式、超循环过程和技术系统进化的形式模型及其技术轨道空间拓扑结构，并进一步揭示了技术系统进化的规律和控制方法。

Based on them, this paper proposes evaluation indexof fund performance from the aspect of finance, investor and interiormanagement. Considering the limitation of data envelopment analysis approach usedto evaluate fund performance, such as conventional DEA models can not considerinputs and outputs of evaluation units simultaneously, and an input-oriented DEAmodel and output-oriented DEA model often produce different evaluation results,this paper proposes a general form of DEA model which is input- andoutput-oriented by using multi-objective optimization and fuzzy set theory. Sincethe general form of DEA model can be transformed into a conventional input oroutput oriented DEA model by using special membership functions, it can beseemed as a nature extense of conventional DEA models, and a conventionalmodel can be regarded as a special case of DEA mdoel with general form.

针对现有基金绩效评价方法中较具优越性的数据包络分析方法的不足，如传统DEA模型不能同时综合考虑评价单元的输入和输出，以及分别采用面向输入和面向输出DEA模型评价基金绩效时，常常出现不一致的评价结果等，本文以多目标优化与模糊集合理论为工具，提出了一种能够同时面向输入和输出的DEA一般形式模型，并通过选择一些特殊的模糊集合隶属函数，使得这种DEA一般形式模型成为传统DEA模型的自然推广，而传统DEA模型是该模型的特殊形式。

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 shear modulus and mass density of FUMs are assumed to be of exponential form and the Poisson's ratio is assumed to be constant.

假设裂纹突然受到均匀载荷作用，材料的剪切模量和密度为指数形式模型，泊松比为常数。

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.

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