RUE-NRF演绎与使用归结和调解的演绎

本文证明了在一定条件下,RUE-NRF演绎可以重写为使用归结和调解的演绎;通过反例说明RUE-NRF输入反驳与RUE-NRF单元反驳不等价及RUE-NRF线性反驳的不完备性.     

提升机PLC控制设计

本文介绍了用PLC实现提升装置的逻辑控制的方法，并详细简明了其外部电路及梯形图工作过程。     

交锁髓内钉远端锁钉安装困难的原因和对策

目的：探讨如何准确地安装交锁髓内钉锁钉．方法：将1994来安装交锁髓内钉的经验加以总结，分析其成功与失败的原因．结果：在本组病历中，外力干扰交锁髓内钉的主钉和瞄准器，及与冠状面垂直的限位杆与主钉未接触，成为交锁髓内钉锁钉安装困难或失败的主要原因．结论：在安装交锁髓内钉时，尽量在术中做到无外力干扰交锁髓内钉主钉与瞄准器．     

基于归结原理的可扩展标识语言问题求解

针对可扩展标识语言(extensiblemarkuplanguage,XML)与说明描述理论结合的XDD(XMLdeclarativedescrip tion)语言是非过程的,只提供解决问题的机制,而不是解决问题的方法,论证了在XDD中应用归结原理解决问题的可行性,证明了归结过程是一个等价变换的过程,给出了求解过程,为求解XML问题提供了一种简洁有效的方法,为建立基于XML的智能信息关系奠定了基础。     

锁模光纤激光器在高速光通信中的应用研究

报道了锁模光纤激光器在高速光通信中应用的研究．研制了10GHz和40GHz主动锁模光纤激光器,获得了2ps左右脉宽,时间抖动160fs的高稳定性锁模脉冲序列．该锁模光纤激光器在高速光通讯系统全光时钟提取的应用中表现出码速透明的特征．     

L＇Hospital法则的新证明

法则是求不定式极限的常用、有效的方法。文章利用Stolz定理和Heine归结原则,上、下极限,Newton-Leibniz公式三种方法证明了L＇Hospital法则。启发人们在改造《高等数学》和《数学分析》教材体系上产生新的思路,同时作为以上几个定理的直接应用,解决了一类比原来更为广泛的利用导数求极限的问题.     

交锁髓内钉内固定术治疗下肢股骨干骨折的护理

目的 探讨交锁髓内钉内固定术治疗下肢骨干骨折患者的护理.方法 根据下肢骨折的特点,术前详细评估患者伤情,做好心理护理,术前准备及饮食指导;术后观察息肢伤口情况,早期指导功能锻炼.结果 56例患者骨折愈合良好,早期参加社会活动,无1例发生感染、断钉、骨不连、静脉栓塞等并发症.结论 通过对患者手术后的精心护理,保证了手术治疗效果,促进了患者骨折的早日康复.     

交锁髓内钉内固定术治疗下肢股骨干骨折的护理

目的探讨交锁髓内钉内固定术治疗下肢骨干骨折患者的护理。方法根据下肢骨折的特点,术前详细评估患者伤情,做好心理护理,术前准备及饮食指导;术后观察患肢伤口情况,早期指导功能锻炼。结果56例患者骨折愈合良好,早期参加社会活动,无1例发生感染、断钉、骨不连、静脉栓塞等并发症。结论通过对患者手术后的精心护理,保证了手术治疗效果,促进了患者骨折的早日康复。     

希斯威主阀在丰满电厂的应用

本文介绍了希威斯主阀的主要性能及特点，详尽阐述了该型号主阀的机械及液压操作系统。经过近六年的使用，证明该设备运行可靠稳定，为其它中低水头电站主阀选型提价了借鉴。