基于时间自动机模型的安全计算机平台的形式化验证

众多工业控制领域要求计算机控制系统具有高可靠、高可用和高安全的运行基础,2乘2取2冗余结构的安全计算机平台是提高系统安全性、可靠性的一种重要解决方式。CBTC列控系统的安全计算机平台采用2乘2取2冗余结构,它是一个实时系统,控制过程需要考虑时间因素。本文分析CBTC系统安全计算机平台系统的组成结构,提取出系统的功能约束,采用基于时间自动机理论的建模验证工具UPPAAL建立系统的自动机网络模型,进行仿真分析,验证系统的功能性、实时性、安全性要求。     

城市轨道交通工程公私合作融资项目风险分析与管理

公私合作(PPP)模式有效解决了政府部门在轨道交通建设方面资金不足的问题,但因其组织结构复杂、时间跨度长、牵扯面广而使潜在风险巨大.对PPP项目融资过程中的风险进行了分析,对其如何分担、管理进行了阐述.通过分析风险管理的概念、过程和框架,以及相应的风险防范与管理对策,为PPP模式在城市轨道交通中的应用提供有益的帮助.     

我国城市轨道交通安全预评价发展现状

我国城市轨道交通发展迅速,安全形势不容乐观。阐述城市轨道交通安全预评价的重要作用,从发展历程、相关法规标准、组织架构、评价资质、收费标准等方面,介绍城市轨道交通安全预评价的发展现状,就当前城市轨道交通安全预评价技术上的不足展开论述。     

动态识别道路坡度的多传感器信息融合方法

在行驶中动态识别道路坡度的大小是采用电控机械自动变速器的车辆实现智能换挡控制的重要环节之一 ,也是目前的一大技术难题 .针对这一问题 ,提出了采用多个传感器信息融合来识别坡度角的方法 ,建立了数学模型 ,并对识别误差进行了分析 .     

Identification of Dynamic Parameters Based on Pseudo-Parallel Ant Colony Optimization Algorithm

IntroductionReal ants are capable of finding the shortest pathfrom a food source to the nest. Inspired by this factand the behavior of ant colonies, a novel optimizationalgorithm called ant system (AS) was first developedby Dorigo in1992[1]. In the following years, diversemodifications of the AS algorithm were made andapplied to many different types of optimization prob-lems, and satisfactory results were obtained. Re-cently, the AS algorithm has been extended to an al-gorithm for solving d…     

利用声压信号基于HHT方法识别结构模态参数

文章基于结构振动声辐射的近场声压信号,结合Hilbert-Huang变换推导出声压信号和结构模态参数的关系,实现了利用声压信号对结构模态参数的识别。该方法既结合了声压信号非接触测量的优点,也结合了HHT适合处理非线性非平稳信号的优点,且只需适当一位置近场声压测量值,就可以准确地识别结构的固有频率和模态阻尼比。数值模拟实例也表明了该方法准确有效,为工程实际中结构的模态参数识别提供了一种新的简单实用方法。     

基于支持向量回归机和粒子群算法的船舶操纵运动模型辨识

基于仿真的Z形试验数据,应用支持向量回归机对船舶操纵运动响应模型进行了机理建模,从核函数结构中得到了模型中的操纵性指数,并利用建立的响应模型进行了Z形试验的运动预报,同时引入粒子群算法对惩罚因子C值进行寻优,以减少惩罚因子C值选择的任意性对船舶操纵运动模型辨识精度产生的不利影响。通过将运动预报结果同仿真试验数据进行比较,验证了文中方法的有效性。     

平板湍流边界层流向—法向平面发卡涡的PIV实验研究

湍流边界层流动精细涡结构的分析对于水下航行体表面减阻乃至降噪机理的深入研究都具有重要意义.文章应用粒子图像测速技术(PIV),对Reθ=1 743和5 400时的平板湍流边界层的流向—法向平面流场进行了测试研究.一方面,直接对瞬时速度场精细涡结构进行提取分析,通过Galilean分解和λci准则识别出流向—法向平面中的发卡涡及发卡涡包.研究表明,发卡涡和雷诺应力的分布特征具有高度相关性;发卡涡包产生了流向动量的法向不规则分层分布特征.另一方面,文中通过对500个瞬时速度场子样进行时间平均分析,获得了不同雷诺数下平均速度以及湍流度分量的法向分布规律.此外,文中还对发卡涡的几何尺寸和漩涡强度λci进行了统计分析.研究表明,在y+＜50范围内无量纲化的漩涡强度λciδ/uт沿法向迅速衰减,且在不同雷诺数下变化曲线基本一致;在y+ ＞50后λciδ/uт衰减平缓,且低雷诺数下的值较大.     

基于遗传算法的三体船快速性仿真分析

以三体船船模为研究对象,通过理论研究、船模试验、数值模拟三者相结合的方式,对其快速性进行研究。在快速性试验的基础上,笔者基于ISIGHT-FD软件平台,建立数学模型,从船舶阻力和船舶推进相结合的角度出发,选用遗传算法建立辨识系统,分析该三体船船模的片体布局对其快速性的影响以及船、机、桨的配合情况。最终,通过绘制的剩余阻力曲线和敞水效率曲线,验证辨识结果并加以预报。     

考虑温度效应的磁流变阻尼器的Bouc-Wen模型

由于能量耗散生热、环境温度以及通电线圈产生的热能会使磁流变阻尼器在很大的温度范围内工作,温度对磁流变阻尼器输出阻尼力有很大影响,因此有必要实验研究温度对磁流变阻尼器输出特性的影响和建立能在较大温度范围预测磁流变阻尼器阻尼力的数学模型。本文从Bouc-Wen模型出发,通过温度实验数据,建立了能在较大电流范围和温度范围内使用的数学模型,并用1stOpt软件的通用全局优化算法识别模型参数,验证表明该模型能很好地体现磁流变阻尼器不同温度时的阻尼特性。