摘要：基于扩展规则的方法是一种定理证明方法.在IER(improved extension rule)扩展规则算法的基础上,提出了IMOM(improved maximum occurrences on clauses of maximumsize)和IBOHM(improved BOHM)启发式策略,并将两种启发式策略用于IER算法中,有指导性地选择限定搜索空间的子句,设计并实现了算法IMOMH_IER和IBOHMH_IER.实验结果表明,由于这两种启发式策略能够选择较为合适的搜索空间,可以尽快地判定出原问题是否可满足,故其速度平均能够达到原有算法DR(directional resolution)和IER的10～200倍.

摘要：基于扩展规则的定理证明方法是一种与归结方法互补的新的定理证明方法.首先通过对扩展规则的深入研究,给出了扩展规则的一个重要性质,设计并实现了该性质的判定算法.此外,从理论上分析及证明了该判定算法的时间和空间复杂性.基于此,提出了一种新的基于扩展规则的定理证明算法NER,将判定子句集可满足性问题转化为一系列文字集合的包含问题,而非计数问题.实验结果表明,算法NER的执行效率较原有扩展规则算法IER和基于归结的有向归结算法DR有明显提高,有些问题可以提高两个数量级.

摘要：本文针对无径流深观测资料地区的实际情况,考虑了水田、旱地、水面积和不透水层地面面积比重,建立了相关计算公式推求陆地蒸发量。并选择了几个有实测资料的大型水库或水文站,利用建立的公式推求多年平均陆地蒸发量,与实测成果进行对比,计算结果的误差最大值只有1.77%,具有相当高的精度,可满足实用要求。

摘要：针对湖州市水资源分布特点和现状水资源利用存在的主要问题,提出通过水资源的调控和优化配置,实现水资源可持续利用的对策。

摘要：为提高应对近年来大洪水频发的能力,确保工程安全运行,文章对长兴县泗安水库存在的病险问题进行分析,并提出除险加固方案。结果表明,通过采取大坝、泄洪闸、非常溢洪道除险加固、新建导流泄洪隧洞、白蚁治理、安全监测设施和防汛道路改造等措施可有效解决水库目前存在的安全问题。研究成果为确保工程安全运行提供重要决策支撑,对促进地方经济社会高质量发展具有重大意义。

摘要：针对中国大学生方程式赛车,运用三维建模软件CATIA建立车身的基本造型,设计一套包括前鼻翼、扩散器和尾翼的空气动力学套件,采用FLUENT软件对建立的整车模型进行外流场分析,对比分析改装前后赛车的气动性能。分析结果表明,在赛车上加装空气动力学套件后,虽然整车阻力有所增加,但赛车的气动升力特性由正变为负,下压力大幅度增加,整车升阻比提升明显,赛车的气动性能和操纵稳定性得到提高。通过实车实验,进一步验证了该设计方案的合理性。

摘要：人工股骨头假体植入技术目前存在的主要问题之一是 :植入假体存在远期松动等并发症 ,从而导致手术失败。对于引起松动的主要原因 ,通常人们认为是磨损碎屑和应力遮挡所造成的骨质吸收。因此 ,对人工股骨头假体植入物的结构进行优化是具有特别重要的意义。本文采用骨再造理论与有限元结合的方法 ,用计算机模拟人工股骨头假体植入后股骨的再造行为 ,用截面吸收率和抗弯截面模量损失率定量分析假体所产生的应力遮挡效应。骨再造理论采用应变能密度作控制变量的表面再造理论 ,有限单元采用二十节点等参数单元。结果表明 :在所讨论的假体模型中 ,三种围领形式的假体所产生的骨吸收仅相差 4%。三种长度直柄的假体所产生的骨吸收相差近 30 %,直柄长度的变化对应力遮挡效应有更显著的影响。

摘要：针对现有打瓜收获机牵引方式不合理、工作效率低、藤秧易进入机内等问题,明确了双行打瓜联合收获机整体结构和各机构空间布局,阐述了其工作原理,并对其传动系统进行了分析与设计。设计了弧形扎瓜齿、集条与清秧机构及对转式分离滚筒等机构,用于解决打瓜捡拾时易掉落、藤秧易进入机具及分离效率不高等问题。试制了双行打瓜联合收获机并开展了田间试验,试验表明:该收获机可满足打瓜收获需求,能够有效地提高整机捡拾率、分离率与工作效率,整机工作效率达400kg/s,分离率达98%,籽粒破损率低至2%,验证了机具设计的合理性。

摘要：ECG-6511型心电图机是日本光电厂设计生产的一种便携式单导心电图机.由于它具有抗干扰性能好、操作方便、蓄电池容量较大(2A)和检修方便等优点,所以投放市场以来,较受用户欢迎.它主要由四部分组成,即前置放大电路板、键控电路板、主放大器电路板和供电电路板.我院心血管内科自20世纪90年代初期开始启用的ECG-6511型心电图机目前仍能正常使用.在其使用过程中尽管故障率比较低,但故障也会时有发生.作者ECG-6511型心电图机的两个典型故障的原理进行分析和检修,现总结报道如下.