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

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

船舶航向保持系统的云模型控制研究

云模型是对语言值所蕴含的模糊性和随机性的一种数学描述,它用期望值Ex,熵En和超熵He表征定性概念,将概念的模糊性和随机性集成在一起,是实现知识库中定量与定性之间相互转换的一种新途径.本文论述了模糊子集的云模型表示、基于云模型控制规则的不确定性推理,并设计了船舶航向保持系统的一维与二维云模型控制器.仿真结果表明,该控制器简易、直观、鲁棒性强,具有良好的控制性能和较好的应用价值.     

自由流状态的判别标准研究

基于运行速度的定义,首先通过现场试验采集了试验车的实时行驶速度,分析了试验车的行驶状态变化情况,基于不同的行驶状态确定了车头时距的变化阈值,然后通过研究典型断面的速度波动规律,分析了不同车头时距下的速度变化特征与分布特征,确定出车头时距为自由流状态的度量指标,并通过统计分析方法,提出了车辆自由行驶状态的判别标准。结果表明:自由流交通状态的车头时距应大于9 s;研究结论为公路运行速度体系的建立奠定了理论基础。     

红外探水在高水位下断裂破碎带隧道施工中的应用

在隧道施工中,断裂破碎带富水段常出现涌水、突水突泥等地质灾害问题,在施工过程中进行超前预报探水可以在一定程度上减少人员伤亡以及财产损失。以揭(阳)惠(来)高速公路小北山一号隧道高水位断裂破碎带施工为工程背景,阐述红外探水技术的基本原理、实施方案、操作方法,以及HS-S310红外探水仪在工程中的应用实践。实践表明:超前红外探水技术针对于断裂破碎带隧道掌子面前方隐伏含水构造体的预报具有一定的准确性以及可参考性。     

轻型货车碰撞安全性改进设计

针对轻型货车前部吸能区短、发生正面碰撞时吸能效果差的特点,提出了改进货车车架和保险杠之间缓冲吸能区的方案.通过分析改进前与改进后各测试点X向位移、整车加速度及保险杠系统能量变化情况表明,在整车前部长度不增加的情况下,改进后的结构有效降低了正面碰撞中的加速度,改善了吸能效果,对提高轻型货车碰撞安全性有重要作用.     

基于仿真的高速公路混合收费站通行能力确定方法

高速公路收费站通行能力直接决定了高速公路的通行能力,在总体上制约着公路的交通运行状况。随着电子收费系统(ETC)技术的推广和应用,大量人工收费车道和ETC收费车道并存的混合收费站随之出现,合理地确定混合收费站通行能力是收费系统设计的重要问题。分析了高速公路混合收费站中人工收费和ETC收费的交通流特性,结合现场实际调查数据标定参数并建立了VISSIM仿真模型,获得了收费站人工收费车道和ETC收费车道数在不同比例的情况下收费站的综合通行能力,并给出了收费站通行能力最优时,ETC交通量占总交通量的最佳比例。此外,研究还进行了收费站综合服务能力仿真研究,给出了在输入交通量一定的情况下,ETC交通量分别占10%、30%、50%的情况下收费站的服务能力。研究为混合收费站的合理通行能力确定,以及ETC车道开设方法提供了重要的参考。     

基于灵敏度分析的发动机悬置系统稳健优化设计

以发动机悬置系统能量解耦为目标,悬置刚度参数为设计变量,考虑目标函数和约束函数对于悬置刚度参数的灵敏度,构造了多目标优化数学模型.采用遗传优化算法对一款发动机悬置系统的悬置刚度参数进行了稳健优化设计,并用Monte Carlo方法进行了分析.结果表明,优化方法可以有效降低系统解耦度对悬置刚度参数的灵敏度,提高了悬置系统设计的实用性.     

公路土石方调配优化数学模型的建立和程序设计

线性规划运输平衡问题数学模型应用于公路土石方调配，综合考虑借，弃方单价及和纵向调配运价，以最小费用为目标函数，调配方量为决策变量，调配单位（元／m^3）为价值系数，编制程序完成实现最小费用的优化调配方案，并根据需要统计输各项表格。     

HXD3型大功率交流传动货运电力机车特点及故障处理

简要介绍HXD3型大功率交流传动货运电力机车总体设备布置情况及主电路、辅助电路、微机控制系统、空气制动系统的特点,针对主变流器、辅助变流器、110V电源模块、机车轮对空转的常见故障进行简要分析,制定相应的应急处理办法.     

抑制异步牵引电机启动峰值电流的控制策略研究

针对直接转矩控制(Direct Torque Control,简称DTC)模式下异步牵引电动机启动峰值电流过大的问题,提出了一种抑制异步牵引电机启动峰值电流的转矩和磁链同步控制策略。根据两相静止αβ坐标系下异步电机的数学模型,利用Matlab/Simulink软件包中的S函数模块和基本模块,构建出交流异步电动机直接转矩控制系统的仿真模型,对其在转矩和磁链不同控制策略下的启动过程进行了动态仿真。仿真结果与目前牵引电机运行的数据接近,证明了该仿真模型的合理性和有效性。这表明,采用转矩和磁链同步控制策略至少可以降低2/3的启动峰值电流。