逆向推理

摘要： 数学课程标准强调培养学生的逻辑推理素养,“相交线与平行线”作为初中几何学习的起始部分、严格证明的开端,其目标在于帮助学生树立几何意识,养成推理与证明的能力,但教学中学生往往在逻辑推理、证明过程书写方面存在一定困难.在初中“相交线与平行线”相关证明专题教学过程中引入“逆向推理”的思维方式,有助于培养学生的逻辑推理能力,为之后几何内容的学习奠定良好基础.

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

摘要： 逆向思维创造法一、逆向思维创造法的原理任何事物都有其目的可寻,通过研究想要达到的目的,逆向推理出想要设计的新产品的功能,根据功能设计其对应的结构,对应的工艺,以及相应的操作流程。只有有了目的,才能有的放矢。

摘要： 针对EPC项目的特点,提出基于RBS-RM-BN理论的项目风险量化分析模型.首先从国家层面、市场层面、项目层面三层面建立风险分解结构(RBS);其次整合调研数据,应用风险矩阵法(RM)得到各风险因素的不同状态初始概率值,并进行初步评级;应用贝叶斯网络法(BN)进行机器学习,获得EPC项目风险因素的后验概率值;最后采用Genie软件中的逆向推理功能和最大致因链分析功能找出关键致因因素.模型应用结果表明,EPC项目风险管理应着重提升质量风险管控、合同风险管控能力和政策敏锐度.

摘要： 按照预期,美联储或在2023年三季度第一次加息。逆向推理可知,Taper(缩减)的起点位于2021年二至三季度。如果再考虑释放Taper的信号和预留的时间,本次美联储的行动已经滞后。如果宽松的货币政策对于提振就业、改善就业结构的效果已经消失,却增加了通胀的持续性,美联储将失信于市场,也必将遭到市场的报复。

摘要： 折叠问题是中考数学中常见题型,如何找到解题思路是解决问题的关键,本文以 2020 年安徽省中考题为例谈此类问题的解法。

摘要： 一、教学目标1.在图片的帮助下,获取“老虎没牙”的过程信息,并以“逆向推理”的形式进行梳理和概括。2.运用关键信息,复述、表演、创编故事,感受故事学习的乐趣,从中感悟“轻信容易上当”和“智慧处理事情”等的深刻内涵。3.根据图片和已有的生活经验,预测故事内容,分析文中老虎和狐狸等不同角色的态度和行为,并发表个人观点。

摘要： 数学课堂教学倡导多向思维,教师有意识培养学生逆向思维操作能力,能够给学生带来更多全新的学习感知体验.由顺而倒、从正及反、执果析因、双向变通,都能够促进逆反推理的进行,教师要为学生做出更多引导,让学生在具体推理实践中形成学科认知基础.小学生数学思维认知基础比较有限,逆向思维能力更为缺乏,教师从更多角度展开教学引导,势必能够顺利启动学生的数学思维,形成崭新的教学成长点.

摘要： 农业类综合题是地理教学的难点,对学生的知识储备、图文调用、综合能力、核心素养等要求较高,学生在此类题目的得分率较低。本文以高一地理一道农业类综合题作业为载体,尝试从问题导向的逆向推理的解题思路引导学生准确地找到解题方向,巧用答题技巧,用学科术语阐释地理现象,培养学生的地理学科综合素养。

摘要： 在初中数学课堂教学中,教师必须担当学生自主探究的领路人——主导者的角色,想学生所思,解学生所惑,不断强化点拨指导,让学生在深层次理解基本概念、公式、定理等知识的基础上,轻松找到解题的捷径.本文作者从循循善诱地指导学生找到解决问题的窍门入手,阐述了提高课堂效率的具体措施,值得大家深思.

摘要： 本发明公开了命题逻辑中基于矛盾体分离式的逆向并行演绎推理方法，该方法步骤为：对命题逻辑中子句集S构造矛盾体并形成矛盾体分离式，根据矛盾体分离式判断S的不可满足性：如果判定S不可满足则停止，否则，基于矛盾体分离式构造逆向演绎子句集，得到t个新子句集并进行演绎推理，如果对t个新子句集的演绎结果都是空子句，则S不可满足，否则循环前述步骤，直至得到S属性的判定结论或满足设定条件停止；本发明能动态分解矛盾体分离式，形成动态逆向演绎目标，有效指导下一步演绎推理，并对分解后的逻辑公式集属性判定进行并行处理，有效提高基于矛盾体分离的动态自动演绎推理系统的演绎效率；本发明可用于程序验证、定理机器证明等领域。

摘要： 本发明公开了一阶逻辑中基于矛盾体分离式的逆向并行演绎推理方法，该方法步骤为：对一阶逻辑中子句集S构造矛盾体并形成矛盾体分离式R，根据R判断演绎推理是否终止：如果判定S不可满足，则停止；否则，用R与S构造t个新子句集，然后对t个新子句集进行演绎推理得到结果R

摘要： 本发明公开了命题逻辑中基于矛盾体内部子句的逆向并行演绎推理方法，该方法步骤为：对命题逻辑中子句集S构造矛盾体并形成矛盾体分离式，根据矛盾体分离式判断演绎推理是否终止：若矛盾体分离式为空则停止，得到结论：S不可满足；否则，抽取矛盾体内部子句

摘要： 本发明公开了一阶逻辑中基于矛盾体内部子句的逆向并行演绎推理方法，该方法依次通过：对一阶逻辑中的子句集S构造矛盾体并形成矛盾体分离式，根据矛盾体分离式判断演绎推理是否终止：如果S不可满足，则停止；否则，抽取标准矛盾体内部子句

摘要： 一种车辆弯道动态逆向推理侧翻预警方法，包括以下步骤：侧翻预警单元在工作开始时会假设时间为t＝t0，t0为初始时刻，步长为ΔT,采样次数n，满足n＝0，其具体工作流程包括以下步骤：步骤1)、确定车辆在当前车辆状态和行驶工况状态下的差动制动防侧翻控制临界启动时间T；步骤2)、计算出t时刻下的LTRa(t)和步骤3)、计算出t时刻下LTRp(t)；步骤4)、判定差动制动启动时机。本发明提供了一种车辆弯道动态逆向推理侧翻预警方法，通过动态逆向推理方式在设定LTRP过程中考虑车辆状态信息和道路行驶环境对车辆差动制动防侧翻控制效果的影响，提升车辆在弯道行驶工况下的侧翻稳定性。

摘要： 本发明属于云计算系统资源配置领域，具体涉及基于倒向随机微分方程的云计算系统资源配置逆向推理系统及配置方法。基于倒向随机微分方程的云计算资源配置系统，由用户处理请求模块、历史数据处理模块、逆向推理模块和用户交互模块组成，用户请求处理模块首先按照指定格式接收用户对云计算服务器的访问请求，以及对资源配置的约束条件，并根据云计算系统计算节点的配置和网络条件，将前述访问请求和约束条件解析为中央处理器需求、带宽需求、内存需求的参数。能够根据未来确定时刻的计算资源需求情况，确定当前需要的计算资源，并保证当前准备的计算资源是“最节省的”；能够积极应对未来资源配置的随机波动性，提高云计算系统的稳定性和可用性。

摘要： 本发明公开了一种能够利用规则约束进行自动推导并利用函数的正向执行过程进行逆向推理的编程语言的编译系统及方法，该系统包括交互模块、编译模块、预执行模块和执行模块，通过编译模块和预执行模块将接收到的包含规则约束以及函数正向执行过程的源代码转换为拓展代码，再通过执行模块执行拓展代码获得结果，从而使得使用者只需要向该能够自动推导与逆向推理的编程语言的编译系统中输入问题的规则与约束或所需逆推问题的正向求解过程即可获得问题的解算结果或逆推结果，极大地降低了使用者的工作难度和错误量。

摘要： 一种车辆弯道动态逆向推理侧翻预警方法，包括以下步骤：侧翻预警单元在工作开始时会假设时间为t＝t0，t0为初始时刻，步长为ΔT,采样次数n，满足n＝0，其具体工作流程包括以下步骤：步骤1)、确定车辆在当前车辆状态和行驶工况状态下的差动制动防侧翻控制临界启动时间T；步骤2)、计算出t时刻下的LTRa(t)和步骤3)、计算出t时刻下LTRp(t)；步骤4)、判定差动制动启动时机。本发明提供了一种车辆弯道动态逆向推理侧翻预警方法，通过动态逆向推理方式在设定LTRP过程中考虑车辆状态信息和道路行驶环境对车辆差动制动防侧翻控制效果的影响，提升车辆在弯道行驶工况下的侧翻稳定性。

摘要： 本发明属于云计算系统资源配置领域，具体涉及基于倒向随机微分方程的云计算系统资源配置逆向推理系统及配置方法。基于倒向随机微分方程的云计算资源配置系统，由用户处理请求模块、历史数据处理模块、逆向推理模块和用户交互模块组成，用户请求处理模块首先按照指定格式接收用户对云计算服务器的访问请求，以及对资源配置的约束条件，并根据云计算系统计算节点的配置和网络条件，将前述访问请求和约束条件解析为中央处理器需求、带宽需求、内存需求的参数。能够根据未来确定时刻的计算资源需求情况，确定当前需要的计算资源，并保证当前准备的计算资源是“最节省的”；能够积极应对未来资源配置的随机波动性，提高云计算系统的稳定性和可用性。

摘要： 本发明公开了一种基于逆向推理的信任管理方法，包括信任评估模块和信任惩罚模块，对于信任评估模块，通过节点间交易产生节点间的满意度评价，采用多元评价机制计算被评估节点的直接信任值；利用余弦相似度公式求得相似节点集，计算被评估节点的间接信任值；结合直接信任值和间接信任值，计算被评估节点的综合信任值；比较综合信任值和信任阈值的大小，标记被评价节点；生成有标记的节点序列。对于信任惩罚模块，查询其他节点对标记节点的综合信任值；根据节点标记的不同，寻找并惩罚恶意节点；惩罚恶意节点，降低其信誉值；计算所有节点的最终信誉值；生成按信誉值降值排序的节点序列。本发明引入惩罚机制，使评估结果更准确。