1) AHP theorem of rank preservation proof
AHP保序性定理证明
2) rank preservation theorem
保序性定理
3) theorem proving
定理证明
1.
Real Variable Function Theorem Proving Methods Exploration
实变函数论中定理证明方法探究
2.
Using this model and theorem proving .
以Otway Rees协议为例 ,利用该计算模型和定理证明技术对密码协议进行了多层需求验
3.
The popular approaches are introduced and summarized,especially model checking based method,theorem proving based method,logic programming based method and so on.
对国际流行的方法进行了介绍和总结,重点分析和比较了基于模型检测的方法、基于定理证明的方法、基于逻辑程序的方法等能够进行攻击序列重构的各种方法,指出了各自的优缺点及技术手段、技术特点,最后给出了该领域的进一步研究方向。
4) theorem proof
定理证明
1.
Type- checking the theorem proof represented by the proposed calculus,we can find outwhethertheproof isthe rightone ofthe given theorem.
通过对由该语言描述的定理证明过程进行类型检查 ,可判断该证明是否是给定定理的正确的证明 。
2.
As one of the important research branch of formal verification, theorem proof plays an important role in enhancing the safty and dependability of software systems.
定理证明是计算机领域中形式化验证的重要研究课题,对保证软件的正确性和可靠性具有十分重要的意义。
5) reasons of proof
证明理性
1.
The premise of this theory also brings changes in the Anglo-American legal fact-finding theory itself:the shift from over-attention to the rules of evidence to an in-depth study on reasons of proof,opening up a discussion of a variety of new topics in Anglo-American legal fact-finding.
英美法律事实讨论的理论前设历经乐观的理性主义到谨慎的理性主义,从严格区分法律问题与事实问题到反思这种区分,这种理论前提的调整也带来了英美法律事实理论内容本身的转变,从过分关注证据规则转向对证明理性的深入探讨,开辟了英美法律事实讨论的各种崭新论题。
6) theorem prover
定理证明器
1.
This issue account for how to realize a vacuum cleaner Agent using Java through the medium of introducing the theorem prover.
通过介绍定理证明器方法,说明如何用JAVA语言实现一个真空吸尘器Agent。
补充资料：可保性证明
可保性证明
【可保性证明】在财产保险中，某些特定财产经有关部门检验合格后所签发的合格证或其他有关证件。这类财产，只有经检验合格并发给有关证明后，保险人方予承保。如对参加保险的机动车辆，必须有检验合格证、行驶证、车辆号牌，才能承保;参加船舶保险的船舶，必须经船舶检验部门检验合格，领有船舶证书、船员职务证书、航行签证、营业执照，方可承保。这些有关证明均为可保性证明。在人身保险业务中，有的险种需要医生检查身体，合格者才能被承保，因而检查身体合格证书亦属于可保性证明。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条