正规模态逻辑S4的表推演系统TS4

讨论正规模态逻辑Ｓ４的自动定理证明理论，给出了一个关于正规模态逻辑Ｓ４的表推演（Ｔａｂｌｅａｕ）系统ＴＳ４，证明了该系统的可靠性与完备性。     

S5-115U可编程序控制器在催化主风机上的应用

介绍了德国西门子公司ＳＩＭＡＴＩＣＳ５－１１５Ｕ可编程序控制器在催化主风机上应用的情况，分析了控制系统的要求，并结合工艺流程及对控制系统的要求，给出了主风机停机、启动、运行的控制逻辑原理图和软件，该系统运行平稳、性能可靠、故障率低。     

在MxOy／ZSM－5沸石催化剂上二氯甲烷的催化氧化研究

运用色谱微反联用技术研究了二氯甲烷在ＭｘＯｙ／ＺＳＭ－５沸石催化剂上的催化氧化．实验发现，ＭｘＯｙ／ＺＳＭ－５催化剂可以在较低温度下表现出较高的反应活性，如ＣｒＯ３／ＺＳＭ－５－（１）在３００℃即达１００％。本文试验结果表明，ＭｘＯｙ／ＺＳＭ－５的催化活性次序为；ＣｒＯ３／ＺＳＭ－５＞ＺｒＯ２／ＺＳＭ－５＞Ｖ２Ｏ５／ＺＳＭ－５。实验还揭示，ＺＳＭ－５沸石中Ｂ酸中心浓度的不同明显影响催化剂的活性与选择性．     

在MxOy／ZSM—5沸石催化剂上二氯甲烷的催化氧化研究

运用色谱微反关用技术研究了二氯甲烷在ＭｘＯｙ／ＺＳＭ－５沸石催化剂上的催化氧化，实验发现ＭｘＯｙ／ＺＳＭ－５催化剂可以在较低温度下表现较高的反应活性，如ＣｒＯ３／ＺＳＭ－５－（１）在３００℃即达１００％。本文试验结果表明，ＭｘＯｙ／ＺＳＭ－５的催化活性次序为：ＣｒＯ３／ＺＳＭ－５〉ＺｒＯ２／ＺＳＭ－５〉Ｖ２Ｏ５／ＺＳＭ－５实验还揭示：ＺＳＭ－５沸石中Ｂ酸中心浓度的不同明显影响催化剂的活性与选择性。     

机械合金化制备MoSi2和Mo5Si3

用机械合金化方法制得了ＭｏＳｉ２粉末和Ｍｏ５Ｓｉ３非晶粉末，Ｍｏ５Ｓｉ３非晶经１０００℃真空退火后晶化成Ｍｏ５Ｓｉ２晶体，用Ｘ射线衍射研究了机械合金化过程中粉末结构变化规律。     

铁（Ⅲ）—PDTS配合物光还原反应的研究及应用

实验发现，在散射光下无色的Ｆｅ（Ⅲ）—ＰＤＴＳ配合物能发生显著的光还原反应，生成红色的Ｆｅ（Ⅲ）—ＰＤＴＳ配合物。反应在ｐＨ５．５～６．５范围内进行缓慢。用于测定铁矿中铁的价态比，结果令人满意。     

自蔓延高温合成MoSi2／Mo5Si3复合材料

用初始Ｍｏ粉和Ｓｉ粉通过自蔓延高温合成方法（ＳＨＳ）制取不同Ｍｏ５Ｓｉ３含量的ＭｏＳｉ２／Ｍｏ５Ｓｉ３复合材料，用Ｘ射线衍射仪、扫描电镜对产物进行组织结构分析。实验结果表明，在自蔓延高温合成中，ＭｏＳｉ２是一步生成，无中间相形成。随着样品中Ｓｉ含量的减少，产物中Ｍｏ５Ｓｉ３的含量增多，颗粒度变小。     

二次不热合成制备有支撑纯ZSM—5沸石膜

用二次水热合成法得到了有支撑纯ＺＳＭ－５沸石膜。扫描电镜观察结果表明：ＺＳＭ－５结晶情况良好，尺寸比较均匀，晶粒紧密堆积成膜。沸石膜与支撑体结构紧密，膜的平均厚度为１０μｍ。     

OPS5解释器分析

通过运行样本程序，顺链跟踪，查清内部函数的功能和变量定义，剖析了ＯＰＳ５解释器的构成和提高解释器运行效率的ｒａｔｅ算法，从总体框架与推理机制方面提供了分析软件的一种方法，为了软件移植和功能扩充提供了便利条件。     

提高ZSM-5沸石催化裂化活性的研究

以ＳｉＯ２／Ａｌ２Ｏ３＝２５、３８、４６的ＮａＺＳＭ－５为原料,用ＨＣｌ、ＮＨ４Ｃｌ进行改性,并对改性样品进行水热处理（７３０℃、５ｈ、１００％水蒸气）,然后再经酸洗除铝氧碎片。用ＸＰＳ表征水热处理前后及洗除铝氧碎片后改性样品的表面组成。采用正十六烷裂解反应考察改性样品水热处理前后及酸洗铝氧碎片后的催化性能。     

施工现场“5S”管理的执行标准及评价研究

将“5S”用于施工现场的管理,受到了越来越多的关注。结合“5S”标准和施工现场的特点,建立起“5S”执行指标体系,并利用层次分析法、强制确定法和专家咨询法确定各级指标的重要性系数。根据各指标的重要性,通过专家咨询法建立末端指标的评价标准,提出各级指标评价值的计算方法,以此进行“5S”管理绩效的分析,并提出相应的奖惩措施及改进方法。     

基于WinCC和S5 PLC的浓相输送监控系统设计与实现

本文给出了一种基于Siemens S5 Serial 3964R协议、S5 PLC和工业组态软件WinCC的浓相输送监控系统设计与实现方法,克服了传统的采用高级语言进行监控系统设计的缺点．实践证明:该系统技术先进,运行稳定,人机界面友好。系统扩充性能强,具有很高的性能价格比．     

基于Lotus R5的办公信息系统设计与实现

介绍了以Lotus Domino R5为平台开发Internet/Intranet结构的校园办公信息系统设计开发、系统功能设计、主要技术实现方法,讨论了B/S三层客户机/服务器模型、DECS、Lotus R5Web应用在开发Intranet办公信息系统的技术要点。     

基于S5PC110的高分辨率VGA显示研究

为实现基于三星公司S5PC110的高分辨率VGA显示系统,采用国产SDA7123芯片为D/A转换器设计VGA显示硬件电路,并以Linux系统下的Framebuffer驱动方法来实现VGA显示系统的驱动。最终实现了支持多种高分辨率的VGA显示系统,如1 024＊768,1 280＊800,1 400＊900等。为开发高分辨率的广告机、POS机、游戏机等提供参考。     

二维扩散方程的5点格式有限近似解法

提出求解二维扩散方程的曲线网格有限近似解法.对非规则区域定常扩散方程和规则区域非定常扩散方程的计算结果与精确解比较,表明该方法既可以用于求解规则区域矩形网格的扩散问题,又可以用于求解非规则区域曲线网格的扩散问题.最后模拟计算了典型的坝基渗流流场,计算结果与实验结果吻合较好,表明该方法具有计算简便、精度高、适应强等特点.     

弱正则*-半群的E-酉覆盖和纯覆盖

证明了半群S和T的子直积是弱正则*-半群时S和T也是弱正则*-半群.给出弱正则*-半群的子直积的构造.利用这一构造定理,研究弱正则*-半群的E-酉覆盖和纯覆盖.     

5S管理与节约型校园建设

5S管理即整理、整顿、清扫、清洁和素养,在校园推广5S管理将促使学生养成节约习惯,推进节约型校园建设,进而有助于校园文化与企业文化实现有效对接。     

从员工宿舍建设谈企业有效推行5S管理

从企业员工宿舍建设人手,介绍了5S实施的步骤和方法,分析了企业如何有效地推行5S管理.     

以HTML5和ASP.NET开发中小型药店线上管理系统

传统中小型药店管理系统大多还处在线下单机或C/S(客户端/服务器)双层体系结构阶段。随着电商平台和“互联网+”技术的兴起,其弊端愈加明显。引入架构更优的B/S三层体系结构,并结合当下热门的HTML5和ASP.NET工具开发面向网络平台的新型中小型药店线上管理系统,可以助力企业进行技术升级,有效提升竞争力。