UML状态图映射为Petri网模型的方法研究

UML广泛应用于软件建模,然而UML是半形式化的,这使得很难对其进行严格的语义分析和正确性验证。状态图作为UML动态描述机制的重要组成部分,同样存在这样的问题。Petri网作为一种图形化建模工具,具有严格的形式化语法语义,而且有很多成熟的分析方法。本文提出了将UML状态图映射为Petri网模型的方法,并结合实例对映射后的模型进行分析,验证了模型的一系列正确性。     

Harrison V-5型变排量压缩机工作原理与异响分析

别克系列汽车空调系统均采用Harrison V-5型变排量压缩机。在一般条件下,该压缩机可不必循环电磁离合器的接合与脱开就能达到汽车空调负荷要求,主要是通过改变活塞冲程来改变压缩机排量而实现的。     

二次生长法FAU型沸石膜的合成与表征

采用二次生长成膜的方法,在合成液的配比为46Na2O∶12.8SiO2∶1Al2O3∶4 500 H2O的稀溶液中,在大孔α-Al2O3陶瓷管载体外表面,合成出致密的FAU型沸石膜,并用扫描电镜、X射线衍射以及气体渗透性能等手段对沸石膜进行了表征.用热浸渍法将与载体孔径尺寸相近的晶种引入载体表面,晶种嵌入了载体表面的孔口和次孔口,且均匀地分布在膜管表面,明显改善了载体的表面性质,促进了膜的生长.所制备的膜表面晶粒相互交织生长完好,致密,连续,规整,无裂缺,沸石膜厚约6～7 μm.H2的渗透率为1.46×10-6 mol/(m2·s·Pa),H2/SF6的理想分离因子为9.67,高于其努森扩散值8.54.对稀溶液中沸石膜的形成机制也进行了探讨.     

基于行驶工况的零部件耐久性测试工况构建

针对汽车零部件耐久性测试工况获取过程复杂的问题,提出了通过实际行驶工况解析出零部件耐久性测试工况的方法.基于西安市某线路纯电动公交车实际运行数据构建得出行驶工况,根据车辆实际参数建立整车仿真模型,仿真并计算得到基于实际行驶工况的电机输出轴应力载荷工况.由线性疲劳累计损伤理论和电机输出轴材料S-N曲线得出电机输出轴损伤值计算方法,并通过四峰谷值雨流计数法统计出不同应力载荷工况下的电机输出轴受到的损伤值,从而得出对应的循环寿命,选择寿命最短的行驶工况对应的电机转速工况和转矩工况作为电机输出轴耐久性测试工况.     

石墨烯对SBS改性沥青流变性能的影响研究

采用熔融共混法制备了石墨烯/SBS改性沥青(GSMB),研究了石墨烯对SBS改性沥青压力老化(PAV)前后动态剪切流变性能的影响，并利用红外光谱(FTIR)分析了GSMB老化前后化学结构的变化。结果表明：石墨烯提高了SBS改性沥青的复数剪切模量，降低了相位角，增强了SBS改性沥青的抗永久形变能力；相比SBS改性沥青，GSMB在PAV老化后的复数剪切模量老化指数明显降低；FTIR显示SBS改性沥青老化后的羰基指数变化率、亚砜基指数变化率和碳碳双键指数变化率均随石墨烯掺量增加而减小，表明石墨烯能够有效改善SBS改性沥青的耐老化性能。     

应用在线检测技术对机车电子插件板故障进行检测

对电子插件板上的元器件常见故障进行了分析,论述了应用在线检测技术对电阻、电容、二极管、三极管、场效应管、晶闸管等元器件进行故障检测的工作原理,并介绍了根据在线检测技术所研制的电子插件板故障检测仪的使用情况。     

五项机车电气设备检测暂行标准简介

1975年8月,在加格达奇召开的全路内燃机车牵引电机专业会议上,由于当时对东风型内燃机车ZQDR-204型牵引电动机绝缘是否已老化的问题缺乏必要的检测手段,与会代表建议开展牵引电机绝缘检测方面的研究工作。随后,上海铁道学院有关人员即着手进行此课题的研究工作。 1977年,开展内燃、电力机车检测技术的研究受到部科技局、机务局、计划局的关注,正式纳入全国铁路十年发展规划中。从1979年     

桥头搭板设计

在桥台背后设置桥头搭板是防治桥头跳车的重要措施之一。我们对桥头搭板进行了导师研究。研究和分析的主要内容有：台后引道路堤沉降、桥头搭板尺寸、桥头搭板内力、桥头搭板配筋、桥头搭板构造及枕梁设置。