基于UML的CTCS-3级列控系统需求规范形式化验证方法

采用UML与符号模型检验相结合的方法,对CTCS-3级列控系统需求规范进行形式化验证.使用引入事件、可见变量抽象的方法,对需求规范UML模型进行扩展和抽象.根据转换规则,建立需求规范的NuSMV模型,并对NuSMV模型进行领域无关特性和领域相关特性的验证,通过反例对错误进行追踪、定位和修改.以需求规范中的模式转换为例,采用给出的形式化验证方法对其进行验证,验证结果确认模式转换满足活性、转移性、无死锁性、确定性及安全性的要求;验证过程表明UML与符号模型检验相结合的方法适用于CTCS-3级列控系统需求规范的验证.     

大直径单洞双线盾构隧道防灾救援与安全疏散方案初探

1 大直径单洞双线盾构隧道火灾特点 1.1隧道主要特点 大直径单洞双线盾构隧道断面较大,且由于隧道内轮廓的限制,两条线路之间一般不设置隔墙,其与普通单洞单线隧道相比有如下特点: (1)大直径单洞双线盾构隧道一般长度较长,直通地面的疏散口受规划及施工方法限制,设置较少,距离两端的车站较远. (2)由于隧道内两条线路之间没有隔墙,火灾会对相邻线路的列车造成威胁,其火灾危险性更大.     

深圳机场T3航站楼车道边规模分析

车道边的规模是机场规划设计需要解决的首要问题,直接关系到机场车流运行的畅通性和客流集散的效率。应用M／M/N排队论法及分析法对机场车道边的规模进行分析,并利用VISSIM仿真软件对车道边规模分析进行验证,可为车道边规模的分析提供一种新思路。     

非粘接柔性管力学性能验证实验方法研究

非粘接柔性管是一种特殊的复合材料,由多种材料非粘接复合而成,相比粘接性柔性管,其可设计性、弯曲性、施工安装及回收利用有很好的优势。在海洋工程中,非粘接柔性管被大量的应用于海洋油气管道中。在风、浪、流等复杂的海况条件下,海洋油气管道的力学性能引起更多的关注。为了研究海洋油气管道的拉伸、弯曲以及压溃等力学性能,减少在海洋工程作业中的意外事故,需要对原型管子进行相应的验证试验。     

迁安市居民出行调查与交通特性分析

为指导中心城区交通规划的展开,迁安市展开中心城区范围内居民出行调查,对迁安市居民交通出行特征进行全面分析.通过居民出行调查数据分析,从性别、年龄、职业、交通工具拥有量、出行率、出行方式、出行分布等方面,梳理迁安市居民样本特征及出行特性,在相应的调查分析基础上,对迁安市交通特性的发展方向进行预测,为交通需求模型的搭建提供参数,为新城交通政策的制定提供依据,也为类似城市的发展提供借鉴.     

神经网络驱动的桥梁主动气动翼板颤振智能控制优化

通过风洞试验和数值模拟获得主动气动翼板优化控制参数需要庞大的试验和计算成本，并且难以得到最优的翼板控制参数。基于流线箱梁主动气动翼板颤振控制的风洞试验数据，以翼板与主梁扭转运动相位差为输入，颤振临界风速变化比例为输出建立BP人工神经网络模型，对神经网络进行训练得到了主动气动翼板颤振临界风速预测关系。结果表明：预测输出值和实际值之间误差为5%左右，相关系数为0.965;使用训练得到的人工神经网络模型以1°增量对0°～360°范围内的气动翼板相位差进行遍历计算，得到了两侧翼板相位差对主梁-翼板系统颤振性能的影响规律，当迎风侧翼板相位差位于180°～360°内时系统颤振性能得以提高，最优参数组合为迎风翼板相位差231°,背风侧翼板相位差63°;利用获得的最优气动翼板相位差参数组合，建立了主梁-翼板系统流固耦合模型，对试验和神经网络模型的最优参数的颤振控制效果进行验证，证明了神经网络对颤振控制预测的准确性。提出的通过数据量较少的试验数据训练构建人工神经网络模型，构建预测主梁-翼板系统颤振性能的理论框架，显著改善了颤振控制效果，实现了高精度主动气动翼板颤振的优化控制。