公式分层的谓词模态逻辑

由于必然模态词□的引入,谓词模态逻辑的公式在一个可能世界中的真假值可能依赖于其可达的可能世界.在谓词模态逻辑中存在个体跨可能世界相等问题.针对这一问题,Lewis提出了对应物理论,并且在对应物理论中用对应物关系来表示个体跨可能世界相等.但是,当一个对象具有一个以上的对应物时,谓词模态逻辑中的跨可能世界相等关系无法与对应物关系建立一一对应.通过限制谓词模态逻辑中全称量词∀的范围,给出了一种公式分层的谓词模态逻辑.它是谓词模态逻辑的一个子逻辑,并且其语言与谓词模态逻辑的语言是相同的.但其公式是分层定义的,使得∀可以出现在□的范围内,并且□不能出现在∀的范围内.由于任意形如∀x□φ（x）的表达式都不是该逻辑的公式,以量词开头的公式在一个可能世界w中的真假值只依赖于w,该逻辑避免了个体跨可能世界相等问题.给出了该逻辑的语言、语法和语义,并证明了该逻辑是可靠的和完备的.     

现代汉语常用动词释义对比研究——以《现代汉语词典》(第六版)和《重編國語辭典修訂本》为例

动词在语言中的地位十分重要,而汉语更是一种动词性语言。了解动词的释义,是研究动词的一个重要途径。该文采用《现代汉语词典》(第六版)和《重編國語辭典修訂本》为对比研究的材料,参考新汉语水平考试大纲,选取三者共有的动词词条进行研究,着重对比两本词典对动词的释义,找出普通话和台湾地区所用标准语两者在动词方面的差异,减少两岸交流中因词义不同所产生的误会,更好地促进两岸交流。     

β-sialon结合SiC复相材料的分相抗氧化行为

对粘土类原料碳热还原及氮化反应法合成的β-sialon结合SiC复相耐火陶瓷材料进行了不同氧化条件下的抗氧化性实验。研究表明：1300℃时的氧化过程在12h内为化学反应控制阶段，12h后为扩散控制阶段。扩散控制阶段反应符合Ginsterlinger扩散动力学关系。首次分别得到复合状态下的β-sialon基质相、SiC颗粒相及β-sialon结合SiC复合相在1300℃下的分相扩散控制型抗氧化反应动力学方程，从各相的扩散控制型反应级数确认了β-sialon基质相对SiC颗粒相的高温氧化保护作用以及复相材料具有的优异抗高温氧化性能。     

正交车铣复合加工的切削用量优化

针对正交车铣复合加工的生产效率和生产成本多目标的切削用量优化问题,确定了切削速度、轴向进给量、工件转速为优化设计变量。建立了正交车铣复合加工的优化目标函数。从机床、工件、刀具的特性等方面考虑,建立了约束条件方程。采用统一目标法求解了正交车铣复合加工的切削用量优化.     

Si基薄膜太阳电池绒面ZGO透明导电膜的研究

采用孪生对靶直流磁控溅射的方法在室温下制备高质量的Ga掺杂ZnO(ZGO)透明导电薄膜,用HCl腐蚀的方法获得满足光散射特性的绒面ZGO薄膜。制备的ZGO样品为具有六角纤锌矿结构的多晶膜,具有(002)方向的择优取向。腐蚀后,绒面ZGO薄膜的晶粒度减小,电阻率基本不变。在可见光范围内,绒面ZGO的反射率比平面ZGO的反射率下降了10%左右。将绒面ZGO薄膜应用于p-i-n型非晶Si薄膜太阳电池中,有效提高了太阳电池性能,使得电池的短路电流提高到17.79 mA/cm2,电池的转换效率增加到7.23%。     

我国电力产出对经济增长拉动作用的实证分析

运用了单整和协整技术、向量自回归模型、Granger影响关系检验、脉冲响应函数等分析方法,对我国电力产出和国内总产出1970～2007年的水平值(对数变量)时间序列和增长率(同比增长率)时间序列进行了计量研究.研究结果表明我国电力产出与经济增长存在明显的长期协整关系,并且电力产出对国内产出具有"正的贡献";从二者增长率的关系上看,我国电力产出增长率与经济增长率存在明显的正向协同变化过程.     

通风与空调系统中风管系统清洗设备控制装置的设计

探讨了风管系统清洗设备控制装置工作原理,控制装置提供了多路直流电源,通过微处理器(MCU)控制继电器完成对小车运动的控制,抬臂机构的升起、降落和停止由MCU与限位机构联合控制,保证抬臂机构工作在安全范围内,在控制装置面板上安装了液晶屏,监视风管中积尘情况以及清扫过程,并内置图像数据采集卡,通过USB口与计算机连接,将摄像头传过来的图像信号用MPEG格式存储在硬盘中,可以在计算机上重放,记录的信息可以作为清洗效果评定依据之一.     

天然染料银杏叶上染棉织物的媒染工艺研究

对棉织物进行银杏叶天然染料媒染染色,同时考察银杏叶媒染后织物的色牢度.探讨了明矾、硫酸铜两种媒染剂对棉织物银杏叶染色性能的影响;通过正交设计试验,确定了媒染最佳工艺条件.试验结果表明,明矾媒染最佳工艺为染色温度70℃、媒染时间25 min、媒染剂质量浓度10 g/L;硫酸铜媒染最佳工艺为染色温度60℃、媒染时间25 m...     

涤棉织物单面防水泡沫涂层工艺

通过泡沫整理法对涤棉织物进行单面防水整理,使其单面防水的同时反面具有良好的吸湿透气性能。复配了稳定型泡沫防水涂层剂,并探讨了该涂层工艺的最佳焙烘温度和时间。实验结果表明,最佳整理剂配方为防水剂与10%SDS溶液以2∶1混合,并添加CMC 10g/L,HEC 0.5g/L,PTF 5g/L,焙烘温度160℃,时间3min,效果最佳;织物带液率由传统整理的45%降至为26%,节约原料55%。     

住宅辐射-送风末端冷负荷分担率研究——从热舒适及室内空气品质角度

以住宅建筑为研究对象,针对低、中、高负荷3种不同住宅负荷工况,对不同冷负荷条件下不同负荷分担率下的室内热环境进行了数值模拟,分别分析比较不同冷负荷分担率匹配时室内热舒适性水平及室内空气品质情况,从舒适和健康的角度,分析适宜的冷负荷分担率范围。研究结果表明辐射供冷末端承担的显热负荷分担率ωc〈0．7时,可将工作区人体热舒适性指标控制在舒适性标准允许范围内。从避免局部不舒适度方面讲,ωc宜取0．4～1。从室内空气品质角度讲,定风量模式低中负荷工况,ωc宜取0．5～0．9,高负荷工况,叫。宜取0．35～0．6;变风量模式,ωc值越小,室内空气品质越好。