- 更多网络例句与形式模型相关的网络例句 [注：此内容来源于网络，仅供参考]
-
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.
假设裂纹突然受到均匀载荷作用，材料的剪切模量和密度为指数形式模型，泊松比为常数。
- 更多网络解释与形式模型相关的网络解释 [注：此内容来源于网络，仅供参考]
-
formal model：形式模型
他认为造成这一现象的主要原因是传播学研究范式缺乏"累积性成长",实体理论(substantive theory)、形式模型(formal model)与经验数据(empirical data)之间没有进行必要的互动.
-
formal model of system behavior：系统特性的形式模型
软件生命周期的形式模型 formal model of software life cycle | 系统特性的形式模型 formal model of system behavior | 文法的形式概念 formal notion for grammar
-
formal model of software life cycle：软件生命周期的形式模型
形式模型 formal model | 软件生命周期的形式模型 formal model of software life cycle | 系统特性的形式模型 formal model of system behavior
-
formal model of software life cycle：软体生命周期的形式模型
"形式模型","formal model" | "软体生命周期的形式模型","formal model of software life cycle" | "系统特性的形式模型","formal model of system behavior"
-
formal structural model：形式结构模型
形式描述技术:formal description technique | 形式结构模型:formal structural model | formal的例句:
-
formal type model：形式类模型
正式顶层规格 formal top-level specification | 形式类模型 formal type model | 形式上限 formal upper bound
-
Formal Security Policy Model：正式保全政策模型
形式规则 formal rule | 正式保全政策模型 formal security policy model | 形式语意定义 formal semantic definition
-
conceptual formalism：概念形式 概念形式
■ conceptual data model 概念数据模型 概念データモデル | ■ conceptual formalism 概念形式 概念形式 | ■ conceptual model 概念模型 概念モデル
-
modal：模型
综合多种形式得到微世界的形式,是从LOGO思想发展过来的,现在指从由基本成份综合成为各种模型(Modal),模式(Pattern)的先进的知识表示方法:根据以上思路,可以设计平台操作界面,支持工作与学习.
-
crystallise：形式;模型
shankexcessivelybaggy?芯太松 | crystallise形式;模型 | crystalliseaberration?形