链式桥规则导致的D3L知识传播及推理

作为分布式、模块化本体的逻辑基础,分布式动态描述逻辑(D3L)使得通过有向语义映射连接的多个动态描述逻辑本体之上的推理成为可能.文中针对复合桥规则的知识传播进行了研究.作者发现当桥规则构成合取链的情况下,D3L的原始语义不能保证本体元素的局部语义关系正确传播到目标本体.通过引入合取映射桥规则,作者对D3L进行了扩展.由于对合取映射对应的目标元素属性进行了约束,新的桥规则可以支持局部语义关系在分布式本体间的正确传播,并且不改变D3L的原始属性.最后提出了合取映射桥规则到传统桥规则的转换语义,并证明了基于该语义的Tableaux推理算法的正确性.扩展后的D3L更好地实现了在本体间导入和重用知识的思想,因此可以为语义Web提供较完备的逻辑基础.

支持链式桥规则的分布式动态描述逻辑

研究了链式桥规则在分布式动态描述逻辑(D3L)中的应用,旨在使得现有的分布式动态描述逻辑可以在多个系统中进行推理和发挥其在信息集成中的重要作用。在动态描述逻辑(DDL)推理和D3L推理的基础上,提出了支持链式桥规则的分布式动态描述逻辑(CD3L)推理算法。该算法首先判断能否在一个DDL系统内部进行推理,然后再判断能否在两个D3L系统间进行推理,最后通过CD3L在多个D3L系统中进行推理。与D3L相比,新提出的CD3L弥补了传统桥规则描述逻辑系统的不足,为信息系统集成和语义网提供了更为合理的逻辑基础。

利用量子微积分加深对复合函数求导链式法则的理解

链式法则是复合函数求导的基本规则,给复合函数的求导计算带来便利,但是往往忽略这一法则的重要意义,本文尝试通过讨论量子微积分中复合函数求导的链式法则的丧失,来加深对这一法则的理解。

非牛顿流体层流微分黏度函数

为避开用流体力学中的平均值方法求解微分黏度函数时遇到的奇异问题,基于复合函数链式规则简化非牛顿流体的微分黏度函数,并在此基础上建立微分黏度的3种近似式,针对不同近似式的精确性进行分析和比较,明确了近似式的最佳适用范围.

直升机旋翼气弹动力学优化策略(Ⅰ)——灵敏度分析技术研究

基于旋翼气弹动力学模型以及摄动法的灵敏度分析和直接解析的链式规则灵敏度分析相结合技术,推导了直升机旋翼气弹动力学的气弹稳定性、模态频率、自转惯量、桨叶质量、桨叶动应力等参数的灵敏度计算过程。通过算例计算结果表明:使用灵敏度分析方法与直接优化相比,实现动应力减少1.2%,质量减少0.84%,优化时间缩短2.73倍;该灵敏度分析技术对于直升机旋翼气弹动力学优化设计收敛的速度和优化结果效果明显。

华中电网调试操作票智能成票系统设计与开发

结合华中电网调试操作经验,将调试操作票的操作指令按功能进行模块划分,逐一研究各模块成票机理;依据《华中电网状态令术语规范》定义描述电网各类设备元件状态的数据结构(状态表单),并用于记录和流转设备状态信息;根据调试带电路径特征,编制了基于电网拓扑的链式推理成票规则及防误规则。通过对调试操作票成票过程的模块化、数据化和流程化处理,设计和开发了华中电网调试操作票智能成票系统,提高了华中电网调试操作效率与安全性。

面向“排除合理怀疑”标准的案件推理模型

在社会安全案件审判阶段,对于案件推理依据“排除合理怀疑”标准认定案件事实,是在无罪推定原则下判定嫌疑人是否有罪的关键前提。针对这一问题的研究存在定量化不足的问题。该研究应用链式规则和Bayes推理方法,深入解析“排除合理怀疑”标准,通过理论和实证分析提出主张合理性的判断规则和证据解释的链式规则;定义解释间的独立性,提出证据的独立划分方法以判断主张能否合理解释证据,构建面向该标准的案件推理模型。将构建的案件推理模型应用于车辆冲撞案和故意杀人案2类频发的刑事案件,对控辩双方提出的主张进行模型推理分析,并对比模型分析结果与实际案件事实,验证模型的有效性。研究结果表明:对于达到“排除合理怀疑”标准的与未达到“排除合理怀疑”标准的案件,所提出的模型均能够协助认定案件事实,并给出相应依据。