摘要：UML状态图是UML中重要的建模元素之一,用以描述软件系统的离散行为。完备性和一致性是UML状态图模型最重要的性质之一,是进一步验证模型行为正确性的前提。给出了状态图模型完备性和一致性的定义,研究了对完备性和一致性进行检验的方法。该方法首先把状态图模型变换成扩展层次自动机(EHA),然后对EHA进行分析。EHA中间格式消除了状态图的复杂性,简化了冲突迁移的优先级判别,便于设计简捷有效的算法对完备性和一致性进行检验。该方法的主要优点是利用了EHA的特性,给出了组合状态上迁移的传播算法,解决了完备性和一致性分析的难点。

摘要：我国制造业正处于转型和提升阶段,其鲜明特征包括:由产能型转向敏捷型的竞争方式转变、产业集群模式、企业目标价值体现由产品到核心制造能力的转变。作为当前和今后制造业企业信息化自动化建设的重点和热点,MES的发展必须适应这一变化,在集成基础上更应突出其智能型和可重构能力。本文重点提出并研究了MES三个层次的提升路线:基于产销一体化的敏捷制造MES(AMES)、基于设计制造一体化的协同MES(CMES)、面向智能制造的核心制造能力系统(CMCS)。

摘要：针对数据中心机柜的主动式火灾光电探测报警系统降低误报率和提高检测精度的需求,设计极早期火灾探测腔体结构,完成光电检测数字电路硬件,采集光电信号,分别采用集合经验模态分解(EEMD)算法和小波分析算法来滤除低频基线漂移和降低背景白噪声。经过对比计算处理后信号的相关性和信噪比,结果表明,在本文所述数据采集密度下,EEMD方法的性能明显优于小波分析方法,可有效地降低误报率和提高检测精度,实现对火灾的“极早期”探测和预警。

摘要：介绍了一种基于传统冲床改进的送料系统。详细说明了系统的体系结构、运动控制系统、送料台架的设计原则,阐明了基于PC、运动控制卡控制2轴伺服电机的设计方法,板材版面自动排版的设计思路,并具体给出了软件G代码的解释、执行方法。

摘要：详细论述了履带式机器人设计的理论依据,探讨了其结构形式,并以设计实例介绍了其控制系统的组成。

摘要：介绍了一种以微处理器PIC18F2480为核心的CAN总线和485协议及PLC自由口通讯在索道运行安全回路中的应用。文章用自上而下的层次化设计方法对系统进行实现,主要包括系统总体设计,CAN总线硬件设计、软件设计及上位机自由口通讯。在实际应用中效果良好,并且具有布线简单、可长距离通讯、维护方便、部件互换性好、可靠性高等优点,填补了国内外CAN总线在索道应用中的空白。

摘要：针对现有的客运索道广播系统,提出了一种基于Z igBee技术的客运索道无线广播系统。介绍了该系统的功能、各部分设计以及系统的特点。

摘要：针对火灾监控的通信要求，本文着重介绍了一种分布式智能火灾监控系统通信部分的设计与实现。该系统采用多CPU并行处理方式，利用现场总线技术实现系统各组件间的联网和信息传输。实践验证，系统中通讯协议设计灵活轻巧，可靠性和扩展性都很理想。

摘要：介绍了变频技术在客运索道上的设计与应用。分析了变频技术在索道业的发展趋势,介绍了电动机、变频器及制动电阻的设计选择思路,并给出了该技术在索道中的具体应用实例。

摘要：针对物流自动化对高速码垛的需求,基于平衡吊原理设计了一种四轴码垛机器人,并对机器人臂部进行了运动学分析,得到了连杆机构参数优化关系式。该机器人在满负载运动下,垂直方向运动600 mm,水平方向运动1600 mm,腰部旋转60°时,工作能力可达800回/小时,重复定位精度可达±0.35 mm。实验结果证明,机器人能够满足物流自动化的需求。