基于TSSM的城市轨道交通CBTC区域控制器建模与验证

针对安全状态机缺乏时间描述能力的缺点,利用反应式系统的同步设计方法,提出了时间安全状态机TSSM (timed safe state machine)建模方法,定义了弱变迁和同步变迁语法,建立了城市轨道交通ZC (zone controller)系统模型.首先,分析了ZC系统的运行环境、工作原理和功能需求,根据ZC反应式系统的特点,利用TSSM在SCADE (safety critical application development environment)中建立了ZC系统列车管理、ZC控制、MA计算和队列管理子模型;其次,通过ZC系统的TSSM网络模型,分析了子模型间的交互信息;最后,采用Lustre语言对ZC系统的安全特性进行了形式化描述,并利用Design Verifier模型检测工具,结合数据流验证了ZC系统的功能和性能需要.研究结果表明,ZC系统TSSM模型的安全性和受限活性均为有效,ZC系统完全满足预期的安全需求.      

Exergy Analysis of Direct-Expansion Solar-Assisted Heat Pump Based on Experimental Data

The purpose of this research is to reveal the exergy variation of each component in a direct-expansion solar-assisted heat pump(DX-SAHP)system.Exergy analysis o...     

城市浅埋隧道施工对地面房屋影响的数值计算

随着城市隧道的修建,浅埋隧道穿越房屋的数量明显增多.应用三维有限元计算地面房屋横跨凹凸区的工况,得出了房屋不同区域部分与不同方向的变形规律,为隧道接近建筑物施工提供了参考价值.     

新形势下铁路疾病预防控制机构的定位与发展思考

2013年,随着铁道部政企分开,铁路疾病预防控制工作职能将进行相应调整,铁路疾病预防控制机构除继续承担国家法律、法规规定的疾病预防控制职责外,应更侧重于为铁路运输生产提供卫生保障和为本系统职工提供卫生技术服务。笔者根据多年从事铁路卫生管理工作的经验,就新形势下铁路疾病预防控制机构的定位、未来重点工作和如何加强机构建设等方面进行了探讨。     

基于工业以太网的动车组列车网络技术研究

基于以太网技术的不断发展和在工业控制领域的广泛应用,对工业以太网在动车组列车网络中应用的可行性进行了分析;设计了基于工业以太网的列车网络拓扑结构,并采用网络仿真工具OPNET对其进行了仿真分析,仿真结果表明以太网用于动车组列车网络系统具有充分的可行性。     

基于OpenGL的工程三维仿真系统通用开发平台

为了高效、快速地开发各种工程三维仿真应用系统,深入分析了工程三维仿真需求及特点,基于OpenGL技术,设计了一种工程三维虚拟仿真系统的通用开发平台。重点介绍了该平台的层次结构、关键技术以及应用方法。实践应用表明,该平台简化了三维仿真系统的开发过程,缩短了系统的研发周期,平台扩展性强,执行效率高。     

船舶货舱通风系统气流组织的数值模拟研究

基于装载风冷式冷藏集装箱货舱内动态负荷的研究,对货舱空间简化后建立了物理和数学模型,模型中充分考虑了船舶动态航行过程中太阳辐射等因素的影响,采用SIMPLE算法对代数方程的分离式进行求解.通过分析送风和抽风两种方式下货舱内气流组织的温度场、速度场分布情况,提出了优化通风量及通风形式的建议.     

箱形桥梁内外温差空间效应分析

为研究箱梁内外温差对其抗裂性影响的程度,以苏通大桥辅桥(140 268 140)m大跨径连续刚构桥为对象,采用结构空间分析有限元软件,建立空间整体分析模型,针对箱梁内外温差对抗裂性的影响进行分析,并与相同条件的结构平面杆系有限元分析软件计算结果进行比较。     

船舶喷水推进系统数学建模及仿真研究

在船舶喷水推进系统中,喷水推进装置控制系统参数设定正确与否将直接影响喷水推进泵的工作安全性.文章依据喷水推进系统的工作原理建立了适用于系统动态工况仿真的船舶喷水推进系统数学模型;从避免喷水推进泵在工作过程中进入使用限制区域的角度出发,重点对推进系统中主机与喷水推进泵的工作匹配关系进行了分析,并通过仿真研究对喷水推进系统某些关键控制参数的正确设定方法进行了具体分析.     

高速公路高填土长桥涵顶进施工技术

结合工程实例对大跨度长桥涵在路基中顶进技术进行了分析,指出桥涵在顶进过程中涵顶填土的强度、稳定性及变形是施工过程中必须重点解决的技术问题,介绍了采用超前水平压浆及就位后双向压浆的技术措施.