本文讨论了编译软件的组合理论，并提出了一个形式演绎系统。
In this paper a combinational theory of compilers is described and a formal deductive system is given.
最后用本文的形式演绎系统统一地讨论了诸如普通编译、自编译、自展结构、宏结构和分层结构的概念。
Finally, concepts such as ordinary compiling, self-compiling, bootstrap structure, macro structure and hierarchical structure are discussed with the formal deductive system given in this paper.
最后用本文的形式演绎系统统一地讨论了诸如普通编译、自编译、自展结构、宏结构和分层结构的概念。
Finally, concepts such as ordinary compiling, self-compiling, bootstrap structure, macro structure and hierarchical structure are discussed with the formal deductives...
最后用本文的形式演绎系统统一地讨论了诸如普通编译、自编译、自展结构、宏结构和分层结构的概念。
Finally, concepts such as ordinary compiling, self-compiling, bootstrap structure, macro structure and hierarchical structure are discussed with the formal DE...
然而，如果这个目标动作对于她来说是不可完成的，这时一个额外的牵涉到演绎原因的大脑区域系统开始工作了。
However, if the goal of the action was impossible for her, then an additional group of brain regions involved in deductive reasoning were also engaged.
正是在这一对策均衡与非均衡的不断演绎过程中，税制才得以不断完善，从而达到系统一致性的理想境界。
It is in the process of constant deduction of gaming equilibrium or non-equilibrium, that tax system gradually comes to perfection and reaches ideal condition of systematic consistency.
本系统应用了逐级上溯和标准化子树的概念，综合应用演绎法和合成法进行建树推理。
The system applies the conception of continuously tracing and standard sub-tree, and uses both synthesis and deduction method of FT building.
本文中提出一个用于程序综合的构造证明系统，规范演绎。
In this paper, a new constructive proving system, Specification Deduction, is presented.
建立了基于协进化的多智能体系统的符号演绎理论模型。
We established the symbol deduction theory model of the multi-agent system based on co-evolution.
文章首先通过对航空救生试验仿真系统的分析，提出了一种基于演绎型数学仿真和归纳型数学仿真相结合的混合型的数学仿真方法。
The paper firstly analyzes aviation ejection experimentation simulation system and presents an composite math simulation methods based on deduction math simulation and induction math simulation.
交叉论即对中国传统艺术和现代设计运用比较法、例证法、演绎法、交叉法等方式进行系统分析。
Cross theory promptly to traditional Chinese art and modern to design comparative law of using, illustrate law, deductive method, cross law, etc. way carry on network analysis.
提出一种基于PROLOG扩充不确定性处理能力的逻辑程序设计语言EXLOGL，并介绍了该语言解释系统的总体结构、知识库设计及演绎求解原理。
A logic programming language EXLOGL based on extended PROLOG is proposed and its interpreting system architecture, knowledge base structure and deductive solution principle are discussed.
演绎对象库语言dool的设计与基于DOOL的原型系统的实现是本文的关键。
The design of DOOL, the language of the deductive object database, and the implementation of the prototype system based on DOOL are the keys of this diesis.
模式可以解释演绎，归纳和诠释：在一个有效的演绎中，结论作为所有系统的前提。
Models explain deduction, induction, and explanation. In a valid deduction, the conclusion holds for all models of the premises.
这一概念的演绎有效性可以说严格的系统的形式逻辑而言，良好的理解概念的语义。
Thenotion of deductive validity can be rigorously stated for systems offormal logic in terms of the well-understood notions of semantics.
我们认为在下一代信息系统中组合面向数据、行为和演绎方面是必要的。
In the next generation information system, we agree that the combination of data_oriented, behavior and deduce is necessary.
二级演绎数据库系统是一种结合一般数据库系统与PROLOG系统特点的演绎数据库系统，它分为数据库级和推理级两个不同的层次。
Two-level deductive database system is the amalgamation of conventional database and PROLOG system, which is divided into two levels: database level and inference level.
多群体协进化算法数学模型及基于协进化的多智能体系统的符号演绎理论模型，是全文的理论基础。
The mathematics model of the multi-population co-evolution algorithm and the symbol deduction theory model of multi-agent system based on co-evolution mechanism are theory bases of whole paper.
进一步讨论了形式系统L ？中的一般演绎推理及强完备性问题。
General deduction and strong completeness of the formal deductive system l? Are further studied.
故障树分析法是一种演绎分析的方法，考虑的是基本故障事件，追溯的是系统失效根源，深入到故障组合之中。
FTA (Fault Tree Analysis) is a deductive analyzing method, which considers the fundamental failure incidents, discusses the source of system troubles and goes deep into the failure groups.
通常，几何定理的证明是依据公理系统，按一定的逻辑规则演绎地进行。
Generally, the proving of geometry theorem is based on the axiom system, and is deducted according to certain logic rules.
用演绎法建立了潜油电泵系统的故障树。
The fault tree of electric submersible pump system is established by deductive method.
它的本质在于用形式逻辑的方法处理辩证逻辑问题。本文指出逻辑循环和所谓“逆演绎”在建立公理系统中的合理性。
The paper points to the justification of the logic cycle and so called "anti-deduction" in the establishment of a axiomatical system.
主要采用了文献研究、内容分析、逻辑推理、归纳演绎和系统建模等研究方法。
The main research methods include use of literature research, content analysis, logical reasoning and system modeling.
本文利用制度分析法、比较分析法、归纳演绎法、系统研究法等方法对这些问题进行了思考与研究。
This paper makes a research upon the above issues through the methodologies of institutional analysis, comparison, conclusion and deduction.
对系统的完整性约束问题提出了关于演绎知识的吸收概念以及用元谓词实现吸收的方法。
In order to maintain the integrity of deductive databases, deductive knowledge assimilation and implementation in meta-predicate are introduced.
分析了住宅火灾的特点，指出住宅喷淋系统的设置部位不能任意应用和演绎。
The special characters of fire accident in dwelling houses were discussed, which indicating that the location to install the sprinkling fire control system would not be arbitrarily.
这种程序设计语言不仅可用在关系数据库系统中还可用在演绎数据库中。
This programming language can be used not only for RDBMS but also for DDES.
本文将决策表技术引入管理信息系统作为知识存贮手段，用户可通过决策表自行设置规则集，并用推理机进行演绎推理，从而实现对管理信息系统数据库的智能查询。
Intelligent query for database of MIS is implemented, for storing knowledge with decision table. The user can create rule-set by way of decision table and carry out reasoning.
本文演绎出了可能存在的全部造字法，其中有汉字为证的便是汉字系统实际具有的造字法。
All the possible approaches to word-formation have been deduced in this essay, some of which may be called character-form...
应用推荐