高速洁净玻璃基板搬运机器人发展现状与展望

玻璃基板是生产显示屏的关键基础材料,其生产线工艺复杂,条件严苛,需要通过搬运机器人实现在产线中的流转。首先分析了显示屏产业的发展趋势,以及产线对搬运机器人的性能需求。随后从构型的角度,对搬运机器人的研发做了概述。对比分析了中外玻璃基板搬运机器人的性能特点,阐述了中国企业、高校在产业和科研方面所做的创新性工作。对搬运机器人关键技术做了论述,指明了自主化研发机器人的技术突破方向。     

试析大学生公民素质的现状及培养途径

大学生公民素质包括思想道德素质、知识文化素质、政治法律素质及身心素质等。提高大学生公民素质对于实现中国的现代化、构建和谐社会具有重大意义。当前大学生公民素质的现状总体来讲是好的，但也存在一些突出的问题。应采取课堂教育与课外活动并重、专业教育和思想教育相结合、学习与生活习惯养成并举的培养模式，以切实培养、提高大学生的公民素质。     

一种验证数控系统软件安全可靠性的建模方法

作为一个典型的离散计算机控制系统,CNC(数字控制)系统在运行中需要满足可靠性和安全性.因此如何设计出安全可靠的系统软件以及如何有效地对CNC系统的安全性和可靠性进行验证成为一个非常重要的问题.基于此给出一个新的建模方法TTM/ATRTTL(时间转化模型/全时轴实时时态逻辑)来描述和验证CNC系统.TTM/ATRTTL提供了一整套方法用于描述CNC系统建模的硬实时特性和反馈特性,也提供了一个包括一整套验证规则和定理的验证模型并且应用工具STeP和SF2STeP来实现之.这个验证模型可以用于对TTM/ATRTTL表达的系统的可靠性,安全性进行验证.使用该建模和验证方法可以对OAC(开放式体系结构CNC)系统进行分析和验证,并设计出OAC的逻辑控制器,该控制器是OAC系统的核心部分.验证结果表明,该形式化建模与验证方法可以有效地对CNC系统进行分析和建模.在此基础上,可以开发出能够保证系统可靠性和安全性的CNC系统软件.