有限精度时间自动机的时钟表示

简要介绍了有限精度时间自动机（FPTA）的基本概念,重点讨论FPTA状态中时钟的表示。FPTA只记录时钟值的整数部分,而用时钟序的概念来模拟表示时钟值小数部分的大小关系,从而减少生成的状态空间。在FPTA模型中,时钟操作的时空性能主要依赖于时钟序的数据结构和算法。提出了用位矩阵来表示时钟序的数据结构POM（PartialOrder Matrix）。采用该结构的操作算法具有O(n)复杂度,且无需标准化操作;同时,一切操作均可以通过位运算实现,从而大幅度提高时钟操作的时间效率。     

基于动力学模型的轮式移动机器人运动控制

目前,对不确定非完整动力学系统进行设计的主要方法有自适应控制,预测控制、最优控制、智能控制等。结合WMR动力学建模理论的研究成果,对基于动力学模型的WMR运动控制器的设计和研究进展进行综述,并分析今后的重点研究方向。     

Ce对00Cr17高纯铁素体不锈钢热塑性的影响

利用Gleeble-2000热模拟试验机研究了不同Ce含量的00Cr17高纯铁素体不锈钢的热变形行为,并利用光学显微镜、扫描电镜和透射电镜对实验钢在不同温度下的显微组织进行了观察和分析.结果表明:在00Cr17高纯铁素体不锈钢中添加稀土Ce完全抑制了900～1050℃的中温脆性区的产生,改善了1350℃以上的高温脆性区内的热塑性.Ce抑制中温脆性区产生的主要原因是Ce抑制了Cr23C6在晶界上的析出,而改善高温脆性区的热塑性是因为Ce减少了硫、磷等低熔点杂质在晶界的富集,抑制了高温时部分晶界优先熔化而造成的开裂.     

高氮奥氏体不锈钢研究进展

目前高氮钢研究的主要热点是高氮不锈钢,而高氮奥氏体不锈钢的应用前景最被看好.综述近年来国内外高氮奥氏体不锈钢的研究现状,包括氮在奥氏体不锈钢中的作用机理;高氮奥氏体不锈钢的试制;高含量氮对奥氏体不锈钢力学性能、耐蚀性能和组织稳定性的影响以及对高氮不锈钢应用前景的展望.     

异步轧制对表面纳米化316L不锈钢组织和性能的影响

采用表面机械研磨处理(SMAT)在316L不锈钢上制备出纳米结构表层,然后在室温对其进行80％形变量的异步轧制(CSR),研究了CSR处理后表层组织和性能的变化．结果表明：经过60min SMAT后,样品表面形成了一定厚度的纳米晶层,晶粒尺寸为10—30nm．对其进行80％形变量的CSR后,表层组织仍为纳米晶组织,但纳米晶尺寸更加均匀、细小(为5—15nm),表面粗糙度显著下降;纳米表层硬度略有提高,但基体硬度显著提高;在0．05mol／L H2SO4 0.25mol／L Na2SO4腐蚀介质中的耐腐蚀性能比SMAT后的样品有明显改善,但均低于原基材．     

基于ARIMA的电网地磁感应电流预测研究

地磁感应电流(GIC)对电网安全运行会带来影响,GIC的分析与预测是近来研究的重点,文中应用ARIMA模型对某一时段内的GIC进行建模分析,挖掘其内在的趋势规律,并运用建立的模型进行短期预测.所建立的模型通过了适应性检验和参数的显著性检验,误差在(8％～21％)范围内,能较好的应用于GIC的预测,为保证电网的安全运行提供理论支持.     

气相碱度与质子亲合势的基本概念及其测定方法

介绍了气相碱度和质子亲合势的基本概念 ,对气相碱度及质子亲合势的测定方法进行了详细评述 ,包括 :电离阈值法、理论计算法、气相平衡常数法、插入法、动力学法、热力学法等。列出相关文献近 4 0篇     

经济耐候钢的研究

系统研究了Mn、Cu含量及腐蚀环境体系对协同作用的影响,并利用电化学测试、扫描电镜、XRD等材料分析技术对带锈电极的腐蚀行为、锈层组成、结构和性质进行了深入分析,阐述了Mn-Cu合金化协同作用的机制;利用Mn-Cu合金化的协同作用,成功开发出Mn-Cu型经济耐候钢和实现工业化试生产。实验表明：热轧Mn-Cu钢具有良好的耐候性,其耐候性略优于传统的09CuPTiRE和SPA-H耐候钢。     

应用PLC改造攻丝机

本文介绍了采用PLC改造攻丝机的方法。在硬件、软件方面提出了相应措施 ,以适应攻丝机的特殊动作要求 ,改造后机床的生产效率及产品合格率有了很大的提高 ,使用两年以来运行正常可靠     

建筑节能设计应用于陶瓷成型车间

建筑节能在工业厂房的应用,建筑节能在成型车间应用的节能效果,经济效益。