基于RBR和PCA的2.4米风洞故障诊断系统应用研究

为解决2.4米风洞试验装备的故障监测与诊断（FDD）问题,设计了一种基于规则推理（RBR）和主元分析（PCA）的并行故障诊断系统。对试验流程和因果关系较强的单一装备故障,采用RBR诊断方法;而对控制过程和重要传感器的故障,通过构建PCA模型,根据平方预报误差（SPE）实现系统故障的诊断。运行效果表明：该系统实时性好、诊断结果与实际相符合、且对过程故障具有较强的针对性。     

利用量纲分析法进行物理问题的定性推‘理

本文提出了定性推理的一种新方法-一量纲分祈法对物现问题的有关定性推理.文中介绍了它的工作机理和实现这种方法的LISP程序QDA及部分实例.并讨论了它的应用和局限性.     

赏析两道跨主题融合中考试题

新课标提倡整体把握教学内容之间的关联,促进学生核心素养的发展.本文通过赏析两道中考压轴题,获得了“图形与坐标”“函数”两个学习主题之间融合问题的一般解法,即在平面直角坐标系中挖掘图形的几何性质,建立几何直观,依托点的坐标、函数解析式构建方程,实施代数运算与推理,从而解决问题.这对贯彻新课标理念、解决跨主题融合问题具有示范效应.     

细粒度可循证医药学文档知识融合表示和推理

知识图谱开放灵活、互操作性强,对于表达医学知识具有重要价值,但现有医学知识本体模型存在过于关注概念体系构建、深层次医学知识及关联缺失、无法循证和难以跨病种和学科等不足,为解决以上问题,提出了一种支持全文内容与结构细粒度知识和知识论证与循证关系表示的医药学融合知识表示模型及其推理机制,构建了一个面向高血压专病的医药知识图谱来验证这一方法。结果表明,该模型能全面、一致地表达医药学文献、文档中的细粒度知识,同时支持可循证查询和推理。     

跨学科命制一道代数推理题的反思

《义务教育数学课程标准(2022版)》对代数式的课程目标进行了补充：其一,了解代数推理;其二,能利用乘法公式进行代数推理^[1],并提出应“适当考虑跨学科主题学习”.笔者试图以课程标准作为导向,以物理学科的牛顿第二定律作为背景,融合数学与物理学科的知识,进行原创命题,基于新课标对代数推理、项目式学习、综合实践进行思考.     

聚焦几何推理能力 落实数学核心素养——对一道中考几何试题的分析与思考

通过深度解读2022年福建省中考数学试卷第21题的试题特点和解答,揭示双减后中考如何巧妙考查学生的几何推理能力,落实数学核心素养.在分析其错因及主要方法的基础上,给出几点教学建议,以期引起广大教师对初中几何推理教学的重视与研讨.     

特大型桥梁钢套箱防撞性能研究及碰撞过程推理

以优化特大型桥梁防撞钢套箱防撞效果为目标,对防撞钢套箱的设计构造、尺寸、钢板厚度等进行参数分析,探讨了钢套箱构造及钢板厚度等对防撞效果的影响规律,并对钢套箱与船舶碰撞过程进行推理．结果表明：合理地选取钢套箱的结构形式及尺寸,并使其刚度与碰撞船艏相匹配,可有效地减少对基础的局部破坏,使防撞钢套箱发挥更大的防撞效果．     

S-Index:一种面向大规模RDF数据的高效率语义索引方案

大规模RDF数据的高效查询和推理是语义Web研究中关键问题.通过研究RDFS推理规则,结合ORDPATH编码机制,提出了一种新的大规模RDF数据的索引构建方案——S-Index.S-Index的一个显著特点是,通过对RDF数据的查询即可得到RDFS蕴含知识,实现了离线推理.对RDF数据中的ABox和TBox进行区分,通过ORDPATH编码,分别构建TBox中的Class和Property子父关系,以及domain和range关系的语义信息.将构建的语义编码信息持久化到RDF三元组索引中,使得三元组索引承载有语义信息,也即构成语义索引并最终持久化到底层数据库.设计并进行了一系列实验,对比了语义索引与一般索引在存储和查询时的性能.实验结果表明,S-Index语义索引在没有给不支持语义的传统RDF索引增加显著额外负担和开销的情况下,获得了在查询时对推理的有效支持.     

基于贝叶斯推理的像元内部端元选择模型

提出了利用贝叶斯推理选择混合像元内端元的模型.考虑到端元光谱的不确定性,基于贝叶斯推理和线性光谱混合模型得到了像元内端元集合的后验概率表达式.在获得端元共存的先验知识基础上,结合端元光谱的正态分布函数,通过最大后验概率得到最佳的端元集合.通过对包含147431个像元的ETM+影像试验表明,相对于IDRISI软件的MRES和PG算法,该算法可削减至少70%的冗余端元,使端元选择错误导致的分解误差降低至少28%.结果表明,由于充分考虑端元光谱的小确定性和端元的共存性,通过贝叶斯推理可以大幅度提高端元选择的正确率,从而改善混合像元的分解精度.     

二值命题逻辑中基于前提信息的近似推理理论

以真度为基础,给出二值命题逻辑系统中基于前提信息的相似度和伪距离的概念以及伪距离的真度表示式,对二值命题逻辑中具有前提信息的近似推理问题进行讨论.