基于UPPAAL的二乘二取二逻辑建模与仿真

二乘二取二冗余结构以其高安全性和高可靠性特点,被广泛应用于核电、航空航天和铁路等安全关键领域。为验证二乘二取二冗余结构的核心逻辑,保证其高安全性和高可靠性的要求,对二乘二取二逻辑进行建模与验证。基于时间自动机理论,以列控车载ATP子系统二乘二取二冗余逻辑为研究对象,在分析工作原理的基础上,利用UPPAAL工具建立二乘二取二冗余逻辑的时间自动机模型,分别验证二乘、二取冗余逻辑的基本安全属性。根据验证后的软件逻辑模型,实现冗余逻辑仿真。模型构建与程序仿真的结果表明:车载ATP二乘二取二冗余逻辑结构具有高安全性与高可靠性。     

CBTC车载子系统二乘二取二软件平台关键算法设计

提出了CBTC车载子系统二乘二取二软件平台中双机任务同步,二取二双CPU数据比较以及双系之间的状态调整等关键算法的一种可行方案.通过实验室测试证明了设计方案的正确性、可行性和有效性.     

"海大1号"摇臂式波浪发电装置水动力性能研究

浮子的水动力性能是影响波浪发电装置一级能量转换效率的重要因素,为了提高浮子的取能效率,开展浮子的水动力性能研究非常必要.文章以自主研发的"海大1号"摇臂式波浪发电装置为研究对象,基于三维势流理论,推导出浮子在线性规则波作用下的的运动方程,并利用CFD水动力仿真软件分析了不同形状浮子的水动力性能,从而确定了浮子的最优形状;在最优浮子形状的基础上,进一步研究了波长与浮子尺寸关系对浮子水动力性能的影响;用1:1物理模型试验验证了仿真试验结果的正确性,并测得不同波长与浮子尺寸比下浮子的取能效率;最后得出结论:浮子的最优形状为圆柱体+球的混合体,波长与浮子之间的最优关系是波长与浮子尺寸之比为4,此时浮子的水动力性能最佳.文中得出的浮子水动力性能研究结论可为其他波浪发电装置提供参考,具有很好的工程应用价值.     

盾构分体始发施工技术在核电厂取水工程中的应用

核电厂取水隧洞紧邻常规岛及泵房结构,施工场地有限,无法进行盾构整体始发。通过对盾构台车管线改造及延长、出渣皮带口前移、电瓶车短编组等方法,在盾构1#和2#台车之间进行分离,实现盾构分体始发,待掘进出盾构整体长度后进行正常掘进。盾构分体始发技术在电厂取排水隧洞建设中的应用可以解决电厂多厂房结构同时建造时场地狭小的问题,可在今后的电力取排水工程中推广应用。     

吴家街电站下游河道可利用水头数值计算分析

通过能量方程对吴家街电站下游河道疏浚治理新方案的计算分析，研究了下游河段不同开挖开方案电站下游河道可利用水头的增加值与工程之间的关系。分析了下游河段最佳利用水头及相应的工程量，并对下游河道的演变与挖槽的稳定性问题进行了分析论证。     

iLOCK的安全模型和安全性分析

分析了iLOCK系统的体系架构,提出了系统的安全模型和安全性计算公式,并对iL-OCK各部分和总体的安全性进行了计算。此外还对影响iLOCK系统安全性的各项指标进行了分析,阐明了确保iLOCK系统达到SIL4级安全要求的关键技术。     

真空卸污系统管道设计参数试验研究

结合真空卸污系统管道设计参数试验研究,介绍真空卸污系统中管道设计的主要参数,叙述主要参数在设计过程中的计算与选取的方法。通过真空卸污系统的仿真试验,将沿程水头损失随机选取计算,并分析计算结果;根据澳标选取气液比,并通过计算验证气液比的可靠性;选取不同数量的卸污点与不同卸污单元软管长度进行卸污试验,并对试验结果进行分析。     

大型倒虹吸进、出口渐变段水头损失系数的试验研究

通过对倒虹吸模型试验的研究,采用试验、分析、回归计算得到了大型倒虹吸进、出口渐变段水头损失系数,填补了现有文献资料的空白。     

湖北保康寺坪水利工程大坝填料的渗流计算研究

该大坝轴线长376米,最大坝高90．6米,工程规模大,针对工程特点,本文应用了三维非均质各向异性稳定饱和渗流有限元程序S3D,选择典型坝体断面,根据其边界条件及分区,作出了几个方案,进行了二维渗流计算分析,并对成果进行解释。     

哥伦比亚高等级公路路基路面设计理念分析

哥伦比亚公路设计基本按美国标准执行,设计理念也偏向于美国,同时有哥伦比亚自身工程设计的习惯、理念及特点。该文介绍了哥伦比亚北部MAR2公路项目中的防护工程、排水工程、路基填料、取弃土场和路面等方面的主要设计方案,对比分析了中哥设计理念的异同,并提出可互学互鉴的内容。