Strong Completeness of Medium Logic System

The strong completeness of medium logic system is discussed. The following results are proved： medium propositional logic system MP and its extension MP^＊ are strong complete; medium predicate logic system MF and its extensions （MF^＊ and ME^＊ ） are not strong complete; and generally, ff a consistent formal system is not strong complete, then any consistent extensions of this forreal system are not strong complete either.     

330国道丽缙段隧道渗漏水治理工程简介

基于330国道丽缙段隧道渗漏水的原因，针对各种类型的隧道渗漏水，详细介绍了治理工程的设计方案、材料选择、施工程序及方法。     

某二级公路旧水泥砼路面加铺沥青路面改造方案

随着道路建设的发展，道路修补、改造利用问题越来越突出，笔者结合S106线德阳中江段二级公路旧水泥砼路面的加铺改造设计，较详实地介绍了改造方案的设计以及沥青玛蹄脂SMA和玻纤格栅的应用。     

复方花刺参粘多糖对大鼠心肌缺血的保护作用

目的观察复方花刺参粘多糖对大鼠急性缺血心肌的保护作用。方法将大鼠随机分为正常对照组、复方花刺参粘多糖组。灌胃3 d后均静脉注射垂体后叶素造成心肌缺血损伤模型,观察两组大鼠心电图ST段偏移及心率失常的发生情况。结果复方花刺参粘多糖能明显缓解垂体后叶素所引起的心电图ST段变化(P<0.05),并能使大鼠心律失常的发生率显著下降(P<0.05)。结论复方花刺参粘多糖对垂体后叶素所致急性缺血心肌具有保护作用。     

十二相同步电动机对交-交变频调速系统谐波的改善

在给出十二相交-交变频器输出谐波电压的基础上,对交-交变频十二相同步电动机调速系统四"Y"综合d,q电压谐波进行了推导,结果表明,四"Y"d,q电压谐波可以互相抵消,使得d轴和谐波电压为零、q轴和谐波电压中仅含有幅值很小的少数次谐波,进一步对电流谐波、电磁转矩谐波的分析证明这种电压谐波抵消作用对改善交-交变频十二相同步电动机的谐波特性具有良好的效果.仿真和试验结果验证了理论推导的正确性.     

大型LNG船再液化装置数学建模计算

分析整理LNG实船气体试航试验数据,运用数学建模的研究方法,结合原理流程图与设备特性曲线,计算再液化装置实际运行时的各个物性参数,再通过对比设备的理论数据,可以得出实际运行时各个设备的运转状况,且能够根据实时数据对设备进行操作维护并找到引起异常运行的原因,对船舶选择适合的再液化装置具有现实的参考意义。     

浅谈桥梁通用图的使用

以通用图为基础,改变梁体长度后做计算,分析标准梁长改变后对梁体内力的影响。     

高教园区交通环境综合评价研究

研究高教园区交通与环境的关系,分析高教园区交通环境的影响因素,建立高教园区交通环境综合评价的指标体系。采用层次分析法解决指标体系中权重确定的问题,确定出高教园区交通环境的主要影响因素,利用模糊综合评价方法对园区交通与环境进行综合评价。通过对某高教园区交通环境进行综合评价验证了该方法的可行性和有效性。     

轨道交通车辆用电缆的阻燃性

介绍了轨道交通车辆所配置电缆必备的阻燃特性。当车辆遭受可能发生的火灾事故时,若电缆阻燃安全性能达标,可在整体上减少对车辆本身及乘员的损伤和伤害,并直接或间接地为乘员的及时逃生提供机会。