归结策略的推理能力和复杂度

为了对基于归结原理的各种归结策略进行性能分析,本文提出了推理能力和复杂度两个概念,并证明了:有序语义归结的推理能力强于单元归结;(2)有序线性归结的复杂度是指数级的。     

擒拿术中要害部位的解剖学分析

本文对人体头面部、上肢、躯干上部一些与擒拿技术有关的要害部位进行解剖学分析。从结构和力学特性方面阐述了这些部位的特点。认为头部的翼点、锁骨、肩锁关节、胸锁关节和肘关节的韧带在外界冲击性力的作用下,会发生骨折或韧带断裂;颈部的环枢关节、颈椎间关节在5—15牛顿米的力矩作用下会受到扭转性伤害;锁骨窝和腋窝内的神经血管束在外来手指力的作用下,可以受到扯裂性伤害;而上臂和手腕的神经、血管集中走行部位在外力压迫等作用下,可使其运动能力受到严重影响。     

带锁髓内针治疗股骨胫骨骨折

目的：探讨带锁髓内针在胫骨股骨骨折中的临床效果．方法：对56例下肢长管状骨骨折采用带锁髓内针内固定治疗，闭合性骨折39肢，开放性骨折17肢，均采用静力型锁定，静力型变为动力型固定9例．结果：56例平均随访17个月，骨折均愈合，平均愈合时间为16周．结论：在下肢长管状骨折中应用带锁髓内针内固定术疗效满意，具有创伤小，固定可靠，骨折愈合率高，能早期活动等优点．     

PROLOG线性归结的研究与设计

本文研究了 Horn 子句的形式描述,分析了 PROLOG 语言的归结机制,探讨了有选择线性归结及其不完备性,提出的改进技术引入了宽度优先搜索机制,并在理论上作了探讨,解决了使搜索陷入无穷分枝的问题。     

自动定量证明中的一个通用证明法

在自动定理证明中，我们发现一个卓有成效的证明方法－多余文字参数法。利用这一方法可以简单便捷地证明许多难以证明的各种推理策略中的完备性问题。本文列举了如何应用这一方法来证明自动定理证明中归结原理的完备性，语义归结完备性，线性归结的完备性以及输入归结和单位归结的等价性问题。     

归结原理在不精确推理中的应用

归结原理是定理机器证明中的一种基本技术.在知识工程的研究中,需要处理不确定和不精确的知识,本文讨论了采用可能性理论表示不确定命题和谓词的方法,以及如何应用归结原理来进行不精确的推理.     

从50到19飞秒,自锁模钛宝石激光器新进展

从５０到１９飞秒，自锁模钛宝石激光器新进展林位株，赖天树，陈毓川，徐杏绍，朱德瑞，莫党（中山大学物理学系，广州５１０２７５）自锁模钛宝石激光器是近年来才发展起来的新型固体激光器，它以其激光频谱范围宽（７００～９００ｎｍ），能够产生短的脉冲，输出功率高...     

广义线性半锁归结

文献[1,2]提出的广义归结方法,把归结方法引入到了一般的公式集(广义子句集)中,使得对问题的描述更为自然,并证明了广义线性归结和广义锁归结的完备性。文献[4]在分析了(常义)线性归结和锁归结不相容的基础上,提出了(常义)线性半锁归结方法,并证明了其完备性。广义线性归结和广义锁归结也是不相容的,为此,本文引入了广义线性半锁归结方法,并     

极薄煤层采煤机液压锁的优化设计

应用最优化理论及正交试验分析,导出了具有最优性能的液压锁结构参数的匹配方案,并对影响液压锁性能的结构参数进行了显著性检验,找出了各因素之间的主次关系。