摘要：为降低产品关键设计质量特性识别的主观性,保证其排序的科学性,提出一种从故障反馈的角度出发,通过逆向推理对产品关键设计质量特性进行识别与排序的方法。为降低故障分析中信息的模糊性和冗余性,基于可拓操作提取产品元故障,将元故障、故障原因、关键设计质量特性作为逆向推理过程中的基本关联要素,通过分析“元故障故障原因关键设计质量特性”不同级之间的纵向关联关系和各同级之间的横向关联关系,建立关键设计质量特性扩展关联模型;基于该模型建立了关键设计质量特性的影响广度和影响深度的量化表达模型与算法,通过有向图和失效模式及影响分析实现关键设计质量特性的量化排序。起重机起升机构实例验证了所提方法的有效性。

摘要：将传统的逆向推理技术根据求解问题的特征进行改进，实现新的模糊推理算法及其网络结构。通过实际工程中的应用，说明该方法是合理的。

摘要：本文研究了几何约束网络的求解问题。首先,介绍了常用的几何推理方法,指出了存在的问题。然后,提出了求解约束网络图的一种新方法——逆向推理方法,阐明了基本思想,并给出了应用实例。逆向推理方法继承了几何推理方法的优点,克服了其不足。

摘要：面对空前繁荣、潜力巨大的中国冷藏车市场,作为冷藏车设计者,我们急需一套行之有效的车型选择标准,使得我们的产品既能满足客户的真实需求,又能保证产品符合国家标准、本文将针对冷藏车、冷藏半挂车,梳理一套对专用车企业有效的车型选择思路。

摘要：设备润滑问题的多样性、复杂性需要用不同的方法来分析和处理,逆向推理法有助于明确问题导向,通过充分调动和应用各个子目标涉及的“人、机、料、法、环”等因素,还原事件真相,赢得客户,赢得市场。

摘要：为在分布网络环境下快速准确地进行科学决策,提出了可实现分布式的模型管理与组合的多Agent模型系统。设计了系统组成成分———管理Agent和模型Agent的结构,分析了它们的功能和行为。利用逆向推理技术实现模型Agent的动态自动组合,给出了利用多个模型Agent组合求解复杂问题的过程。最后,以某企业产品开发中的投产决策问题为例,论述了模型系统的工作过程。与传统模型系统相比,该系统具有模型远程调用和运行、模型动态自动组合等功能,为研究开发复杂问题的决策支持系统提供了新的模型系统建模方法。

摘要：针对模糊知识的内在联系,提出了一种模糊推理与逆向推理相结合的混合推理技术,介绍了该技术的设计思想,结合模糊知识实现了算法,重点论述了模糊推理与逆向推理相结合的推理过程,实现了一种较为理想的不确定性推理方法,有效地提高了推理机的执行效率。

摘要：简要说明了对安全协议进行协议度量和冗余度量的一个基于模态逻辑方法,形式化地给出了协议对安全目标满足度的度量方法定义, 并讨论了相应的协议冗余分析和化简方法。给出了对安全协议的内容进行逻辑比较的准则,结合实例分析了两个协议之间的逻辑包含关系。讨论结合逆向推理的两个应用:对基于模态逻辑的协议分析中隐含假设的分析方法,协议设计和生成方法。

摘要：为解决目前第五代编程语言存在语义不直观、所处理问题表述严苛、推理能力有限等问题,本文提出了一种第五代编程语言——COOL(Constraint and Object Oriented Language),COOL语言主要借鉴PCHR的设计思想,即通过概率控制约束求解过程。同时通过允许将表达式作为函数声明以及函数返回,克服了LISP的数学语义不清晰问题;通过实现对表达式的约束求解和逆推,克服了PROLOG推理能力不足的问题;提出预执行步骤将推理过程与执行过程分离,加快了执行速度,并通过支持面向对象,优化了大量约束的管理问题。

摘要：小学数学应用问题中有一类“逆推问题”让学生常常感到困惑，这是因为大多数学生习惯于沿着事物的发展进程从条件到结果顺向思考，若要从结果人手展开逆向推理，往往会束手无策，这也是许多处于低层次学习水平学生的薄弱点。