可能设想一个世界，其中可归约性公理是无效的。
It is possible to imagine a world in which the axiom of reducibility is not valid.
最后讨论了基于一致性公理的金融风险测度模型的发展前景。
Then we also briefly discuss the trends of development of models based on the coherent risk measures axiom.
作为本章的最后一部分，我们把层分离性进一步弱化，提出了超分离性公理。
At the end of this chapter, we weaken the layer separations, introduce the ultra-separation axioms.
由质点运动连续性公理导得力的连续性定理及关于质点运动轨迹的三个定理。
We can derive one theorem of the continuity of a force and three theorems about the trajectory of a particle with the particle-motion-continuity axiom.
在具有半开集可数交性质的S-L空间中，讨论了几个S-分离性公理之间的关系。
The relations of S-separation axioms in S-L space that has countable intersection property of seim-open set were obtained.
就具有最简单结构的抽象垄断服务系统的基本特性及其公共损耗的费用分摊问题建立了较为完整的公平性与合理性公理体系。
The basic characteristic of abstract monopoly service system with simple structure is described, and the axiom system on cost allocation of its common losses is built.
在一致性公理体系内，研究了一致风险测度的有关性质并由一致风险测度弱化部分条件后推广出凸性风险测度，并证明了它的表示定理。
In this axiom system, we made a study of the coherent measures of risk and convex measures of risk, which is extended from the coherent measures of risk, and proved its representation theorem.
研究了序列成本定价机制对同质分配模型公理体系的满足情况，并着重探讨了该机制与上限性、下限性、免费午餐、需求可控性和一致性公理的关系。
The relation between the serial cost pricing and the axioms of upper bound, lower bound, free lunch, controllability of demand and consistency was discussed in detail.
主观期望效用理论对人的决策的描述性效度一直受到怀疑，越来越多的实证研究表明与主观期望效用理论的公理相背离。
The descriptive validity of subjective expected utility theory has been doubted all the time, more and more empirical research violates from the axioms of subjective expected utility theory.
再次，对凯尔逊思想中的公理化的倾向进行了分析，总结了凯尔逊的命令性规范的逻辑的思想。
Thirdly, the writer summarizes the notion of the logic of command-norm and argues that there is an axiomatic trend in Kelsen's thought.
给出模糊空值连接依赖的公理系统，并且进行了有效性证明。
The axiom of fuzzy null value join dependency is introduced and its availability is proved.
本文对公理A自同态建立了中心极限定理和大偏差估计，并且复习了已知的有关统计性结果。
In this paper a central limit theorem and some large deviation estimates are proved for Axiom a endomorphisms, and some known statistical results are reviewed.
根据一组导出的公理，应用自动推理技术，进行知识库维护与修改的有效性检查。
Based on a set of axioms, automated reasoning techniques are employ-edt to check the validity and integrity of the knowledge base maintenance and modification.
公理化设计是设计领域的通用性设计理论，它以四个域和两条设计公理抽象地概括设计领域的基本规律。
Axiomatic design is a general design theory in the design field, using the four domains and two design axioms it generalizes abstractly basic role of design field.
公理设计理论为由多机器人组成的多零部件集成装配与自动焊接系统的设计提供了一种指导性的框架。
Axiomatic design theory provides an instructional frame for the design of multi-part integration assemblage composed of multi-robots and automatic weld system.
堆叠标签说明了下面的用户界面设计公理，即所有的习惯用法，无论有多少优点，都有其实践性约束。
Stacked tabs illustrate the following axiom of user-interface design: All idioms, regardless of their merits, have practical limits.
特别，讨论了区间分离后的时态关系确定问题以及公理的完备性。
Especially, it is discussed how to determine their temporal relations when some intervals are splitted in calculus.
本文利用演绎定理的证明思路给出了一个由演绎证明构造公理证明的一般程序，并增加了一条简化命令，使该程序既严格又具有实际可操作性。
The article USES the proving of deduction theorem to give general program of construction theorem proving, and adding a piece of simplification command. The program is gotten strict and exercisable.
经济理论的公理化有很多明显的优越性。
Axiomatization of economic theory has many obvious advantage.
本文证明了：群、欧几里得空间、距离空间和拓扑空间的公理系统的独立性。
It has been proved that the nature of independence exists in the axiomatic system of Group, Euclidean space, distance space and topological space.
柏拉图方法以普遍可以被人接受的概念和公理为出发点，建立一个许多未被定义的具有逻辑连贯性的科学描述。
The Platonic approach starts from generally accepted concepts and global ideas of the world. They constitute a coherent picture in which many details are undefined.
比较了序列成本定价机制和平均成本定价机制满足上限性、下限性、免费午餐、需求可控性等公理的情况。
Serial cost pricing was compared with average cost pricing in terms of meeting the atoms of upper bound, lower bound, free lunch and control of demand.
本文最后解决了向量空间公理系统独立性的问题，这在理论上有一定意义。
The paper presents a final solution for the independence of the axiomatic system of the vector space, and so is of some basic significance in theory.
我们给出两个判断类间关系一致性的算法并分析其性质，还探讨了基于公理的知识的一致性。
Two algorithms for checking relationships between categories are presented and their properties are analyzed. Knowledge consistency analysis based on musicology-specific axioms is also discussed.
本文引入和研究德摩根拓扑代数的可数公理、可分性和连通性，拓宽了原有的结果。
Countability axioms, separability and connectedness are introduced and investigated for a DE Morgan algebra of topology. Thus the scope of a DE Morgan algebra of topology is extended.
最后，对提出的自适应交叉概率和自适应变异概率利用遗传算法的公理化理论进行了收敛性的证明。
We proved the convergence of GA which we proposed adaptive fitness functions, adaptive crossover probability and adaptive mutation probability.
研究了生产可能性集合的公理性假设对生产可能性集合包含关系的影响，证明了满足不同公理性假设的生产可能性集合之间存在着包含关系。
The paper discusses the inclusion relations between production possibility sets (PPS) in DEA models and axiomatic assumptions on PPS, proves that there exist inclusion relations between several PPS.
提出了基于公理化设计理论的供应链设计方法，降低了供应链设计的复杂性，给出并分析了供应链设计步骤。
Design method and design steps of supply chain based-on axiomatic design are presented. The designing complexity is reduced.
法秩序统一性的真义是价值评判上、公理上的一致性。
The real meaning of legal order's unity is a consistency in the sense of value judging and axiom.
根据一组导出的公理，应用自动推理技术，进行知识库维护与修改的有效性检查。
Based on a set of axioms, automated reasoning techniques are employ-edt to check the validity and integrity of the knowledge base maintenance and mod...
应用推荐