The representation theorem with order-extremal points is obtained for compact order-convex sets.
研究了序凸集的一些运算性质，得到了紧序凸集的序端点表示定理。
In this paper, we prove the ergodic theorem of a stationary set valued stochastic process by the representation theorem.
本文作为平稳集值随机过程的表示定理的应用，证明了平稳集值随机过程的遍历性定理。
The union-representation theorem of both-branch fuzzy set is given, and some operational properties of both-branch fuzzy set are discussed.
建立了双枝模糊集并-表现定理，讨论了双枝模糊集的运算性质。
The representation theorem stating that every relational system of stacks is isomorphic to a system of finite sequences of elements is proved.
这一公理说明每个栈的关系与有限元素序列系统是同构的。关键词栈；算法?。
This paper discusses a principal problem in grey mathematical theory, that is grey set and its operation, and proves the decomposition theorem, representation theorem and extension principle.
讨论灰色数学理论的一个基本问题，即灰色集合以及它的有关运算，灰集的分解定理、表现定理和扩张原理。
Furthermore, an accurate calculation method for the multiplication of fuzzy Numbers is derived, and the fuzzy cost importance of each risk is obtained according to the representation theorem.
基于表现定理推导出三角模糊数相乘的精确求法，并求得各风险的模糊成本重要度。
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.
在一致性公理体系内，研究了一致风险测度的有关性质并由一致风险测度弱化部分条件后推广出凸性风险测度，并证明了它的表示定理。
It proves a schema theorem for genetic algorithms in which representation schema is based on graph grammar. The effect of crossover and mutation on schemata is described.
证明了一个基于图文法表示机制的遗传算法模式定理，描述了交叉和突变对模式作用的效果。
Traditionally, Mechanical theorem proving often use a logic representation, and then inference, these methods lack of flexibility and the proving processes are difficult to understand.
传统上，定理机器证明常常使用某种逻辑表示，然后再进行推理，这些方法往往缺乏灵活性，且证明过程难以理解。
Traditionally, Mechanical theorem proving often use a logic representation, and then inference, these methods lack of flexibility and the proving processes are difficult to understand.
传统上，定理机器证明常常使用某种逻辑表示，然后再进行推理，这些方法往往缺乏灵活性，且证明过程难以理解。
应用推荐