红外遥控小汽车设计

以AT89C52单片机为控制核心,采用并行口通信控制电动机驱动芯片L298N,达到用红外遥控方式控制小车前后、左右、调速、启停的设计目的。该设计电路结构简单、可靠性高,且小车上提供了数码管、发光二极管组成的提示系统,各种信息一目了然,搭建了友好的操作界面。     

出版企业‘转'企改制后如何拓展印制部的职能

<正>由于受传统编、印、发观念的影响,再加上历史的原因,传统出版社将印制完全作为生产的辅助部门。但随着市场观念的改变,出版企业印制管理工作不再仅仅是出版流程上辅助的生产职能,经营职能也应该成为转企改制新形势下印制管理工作的重心。本文根据行业生产实际状况及笔者近10年的印制管理工作实践,用经营的观念提出了出版企业拓展印制职能的规划。     

环氧树脂连续脱溶剂新工艺

本文介绍了由上海医工设计院和无锡树脂厂共同研究设计的国内第一套环氧树脂连续脱溶剂新工艺的流程、主要设备及工作原理、试车情况,可供全国同行业生产厂家参考.     

NGO/NC复合含能材料的制备及热分解性能

为了提高硝化纤维素(NC)的热分解性能,以硝化石墨烯(NGO)作为含能燃烧催化剂与NC进行复合,制备了NGO/NC复合含能材料。采用傅里叶变换红外光谱(FT-IR)和场发射扫描电子显微镜(SEM)分别研究了NGO/NC复合含能材料的结构和形貌,采用同步热分析仪(TG-DSC)研究了NGO对NC热分解的催化性能。结果表明,当NGO的添加量为1%时,NC的结构不会明显改变,NGO/NC复合含能材料为多孔的三维网络状,且NC的表观分解热由339 J·g~(-1)增加至2132 J·g~(-1),放热峰温度由201℃提高至213℃,质量损失为96%,表明NGO的加入提高了热稳定性,增加了表观放热量。     

具有DP的广义可能性模糊时态CTL模型检测

为了增强计算树逻辑在时序上的表达能力,以广义可能性测度、决策过程和计算树逻辑为基础,研究了具有决策过程的广义可能性模糊时态计算树逻辑的模型检测。首先采用广义可能性决策过程作为系统模型;然后引入模糊时态算子,构造了模糊时态计算树逻辑并给出其在广义可能性测度下的语义,得到新的广义可能性模糊时态计算树逻辑用来描述系统属性;最后在广义可能性调度下通过模糊矩阵运算讨论了"soon、within、last、nearly"等几类模糊时态连接词的具体计算方法,给出相应的模型检测算法。经验证明,广义可能性模糊时态计算树逻辑是广义可能性计算树逻辑在模糊时序上的扩充,具有更强的表达能力。     

价值链整合下的印制精细化经营

印制生产不再仅仅是以成本节约为核心的辅助管理业务,而是出版企业的核心价值增值业务之一。     

具有多值决策过程的广义可能性计算树逻辑模型检测

模型检测是一种自动验证软硬件系统行为的有效技术。为了对包含非确定性信息、不一致信息的并发系统进行形式化验证,在可能性理论、多值逻辑的基础上,研究了具有多值决策过程的广义可能性多值计算树逻辑模型检测算法,及其在检验非确定性系统中的具体应用。首先构造了多值决策过程作为系统模型,用多值计算树逻辑描述系统属性。然后给出具有多值决策过程的广义可能性多值计算树逻辑的模型检测算法,该算法将模型检测的具体问题转换为多项式时间内的模糊矩阵运算。最后就包含非确定性选择的多值系统的模型检测问题,给出一个具体的应用实例。