构建度量区时序逻辑的时间自动机

在实时系统的形式验证中,为了直接验证带有明显时间约束的性质,选用了一种被广泛接受的(线性时间)实时时序逻辑——度量区时序逻辑来描述待验证的性质;提出了基于迁移的扩展时间B chi自动机;构建了度量区时序逻辑的基于迁移的扩展时间B chi自动机。这样扩展了已有实时系统模型检测工具的性质规范语言的表达能力,使其能直接处理和验证带有明显时间约束的性质。实现的工具表明,该算法有效且可行,并且显著地减少了结果自动机节点和迁移的数量,从而降低了结果自动机的大小,有利于进一步的模型检测过程。     

基于Creo电梯缓冲器支架设计

缓冲器作为最后一种安全保护的电梯安全装置，作为缓冲器的支撑部件一缓冲器支架一它的强度和刚度设计关系到电梯的安全。本文基于Creo平台，对缓冲器支架进行强度和刚度进行分析，并进行相互验证，证实了此方法的可靠性。     

浅谈轿架和轿底结构分析

目前电梯公司在开发电梯产品时,借用有限元软件分析产品的结构设计是否满足使用的需求。叙述了轿架和轿底在机构分析时力的计算方法,为业界提供了参考。     

基于SolidWorks的链轮滚刀精铲刀的设计与加工

根据链轮滚刀的结构尺寸以及法向齿形，利用SolidWorks软件的三维特征造型功能，可以生成链轮滚刀基本蜗杆的三维立体图，从而在轴剖面上可以获得精确的轴向齿形，据此设计出链轮滚刀精铲刀的精确廓形，结合实例，介绍了链轮滚刀精铲刀的CAD／CAM的具体过程。     

基于SolidWorks的花键滚刀铲刀廓形设计与加工

分析花键滚刀铲齿工艺的难点 ,提出利用SolidWorks软件的三维特征造型功能方便地获得花键滚刀基本蜗杆轴向齿形的方法 ,据此精确地设计加工花键滚刀铲刀的廓形     

基于 Pro／E电梯部件参数化设计

利用布局的传递参数的功能,结合关系式、程序、族表等一系列工具,实现了电梯部件参数化设计,有效地提高了电梯部件设计效率。