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.     

综合交通运输体系的发展研究

分析了综合交通运输体系的内涵以及我国综合交通运输体系发展中存在的问题,提出了我国综合交通运输体系未来发展的几种模式,并对各种模式的优劣进行了比较。最后提出了我国发展综合交通运输体系的战略措施。     

子宫内膜超声形态与性激素的关系

目的探讨子宫内膜超声形态与性激素的关系。方法30例有正常排卵功能的育龄妇女,于尿中黄体生成素(LH)阳性日经阴道超声确定子宫内膜超声形态类型。按Gonen等子宫内膜超声形态的分型标准分为A、B、C三组。于月经周期第3天、尿LH阳性日和排卵后第6～7天放免法测定血清促卵泡激素(FSH)、黄体生成素(LH)、催乳素(PRL)、雌二醇(E2)、孕酮(P)、睾酮(T)水平。结果卵泡早期及围排卵期的血清E2浓度:A组>B组>C组,A、C组间有统计学差异(P<0.05);围排卵期LH和黄体中期血清P浓度为:A组>B组>C组,A、B组与C组间均有显著性差异(P<0.05)。结论围排卵期子宫内膜呈现不同的超声形态与雌激素的增殖效应、内膜分泌转化有关。     

基于神经网络多分类器组合模型的OCR应用研究

根据多分类器组合原理,提出一种基于神经网络的多分类器组合模型.该模型首先使用基于贯穿码特征的分类器对字符分类,然后,由基于投影特征的分类器对经过上一级分类器分类后的字符进行识别.试验表明,该模型能有效提高光学字符识别率.     

慢性肾衰血液透析患者外周血淋巴细胞CD15s抗原的表达

目的了解血液透析患者的外周血淋巴细胞表面CD15s抗原的表达。方法应用流式细胞技术检测慢性肾衰(CRF)血液透析患者的外周血淋巴细胞表面CD15s抗原的表达,并进行临床分析。结果长期透析患者外周血淋巴细胞CD15s表达水平为1.81±0.79,与正常对照(1.05±0.13)相比有所升高(P<0.05)。结论长期行血液透析的慢性肾衰患者外周血淋巴细胞表面CD15s表达升高。     

高速公路房建混凝土工程的质量控制

本文介绍了高速公路房建混凝土工程在施工过程中如何进行质量控制,以及出现质量问题后的补救办法,从而有效地对混凝土工程进行质量控制,保证结构的安全.     

质子交换膜燃料电池水管理研究

水管理是质子交换膜燃料电池（PEMFC）可靠运行的关键，既维持适当的膜的水合程度，又不致水淹电极，是水管理的理想状况．燃料电池作为一个多相、多尺度、多物理场、动态复杂系统，其中的流动、传热、传质、相变、多相流和电化学过程相互影响、相互联系、相互制约．就PEMFC内流体流动，物质的传输，热量生成和传递，水的相变及两相流，电化学反应等方面综述了目前的研究进展，权衡利弊，以期达到最佳的燃料电池电化学性能．     

基于CAN总线的汽车检测技术研究

为了提高汽车检测设备数据传输的实时性和可靠性，给出了以CAN总线技术为基础，利用独立CAN控制器SJA1000及嵌入式控制器组成汽车检测线各单元的核心控制器方法．文中完成了基于CAN总线的方案设计并开发了上下位机的软硬件系统．实践证明，其检测系统具有很高的实时性和非破坏性，与传统方法相比明显提高了数据采集系统的性能和检测速度．     

PEMFC中水的饱和蒸汽压力与其中多孔介质特征关系研究

质子交换膜燃料电池（PEMFC）水管理是电池能否良好运行的关键.根据催化层微观结构模型,分析了其中电化学反应生成水的传递方式;又据催化层、扩散亚层和扩散层多孔介质材料的亲水性和憎水性,计算了多孔材料中孔径对饱和蒸汽压力的影响.认为电化学反应生成的水可能是气态也可能是液态;材料亲、憎水性和孔径对饱和蒸汽压力有巨大的影响.为了在PEMFC中更精确地构造反应物和生成物的流通通道,微观上研究水的相变和二相流是必须的,因此应构造新的相变和二相流模型.     

质子交换膜燃料电池的温度场模拟

根据流体动力学和传热学理论，建立了一个三维的单流遭质子交换膜燃料电池模型，并应用有限控制体法对模型进行求解．总体而言，单流道燃料电池温差很小，阳极催化层温差大致在1K左右，而阴极催化层温差小于3K，最高温度发生在阴极催化层的反应区．将模拟的结果与有关的试验结果做了比较，结论相一致．