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

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

存储区域网系统在青岛港数据管理中的应用

存储区域网的港口数据管理系统是为提高青岛港的数据管理水平,特别是数据安全管理水平和重要港口应用的可靠性而建设的.它改造了青岛港沿用多年的数据存储模式,实现了数据的集中存储和虚拟化管理.基于存储区域网的港口数据管理系统的概念、功能、系统结构、关键技术,着重于建设过程中遇到的一系列问题,并提出了适合港口业务特点的解决办法,希望能为相关企业提供借鉴.     

牵引电机架悬参数对动车转向架稳定性的影响

目前研究牵引电机架悬参数对动车转向架稳定性的影响主要局限于对转向架线性临界速度的影响,对非线性临界速度的影响较少涉及。根据国内某型动车组牵引电机悬挂方式,导出动车转向架动力学方程,利用延续算法求得转向架横移极限环曲线,得到转向架线性、非线性临界速度,研究牵引电机架悬参数对其影响。研究发现:牵引电机架悬参数对线性、非线性临界速度影响存在一定差异。利用Hopf分叉范式理论研究系统的三次共振项系数与转向架线性、非线性临界速度的关系。计算表明:系统的三次共振项系数的实部越大,其线性临界速度与非线性临界速度相差越大。     

论高速公路监控系统的体系结构

高速公路监控技术为高速公路的信息化建设提供了很好的手段,对高速公路交通监控系统的内涵、功能和体系结构设计等进行了初步探讨。     

松茸多糖对辐射损伤小鼠免疫功能的保护作用

目的 探讨松茸多糖(PTM)对辐射损伤小鼠免疫功能的保护作用.方法 90只健康雄性ICR小鼠随机分为正常对照组(NC)、照射对照组(IC)和PTM组,每组30只.PTM组小鼠给予1200mg/kg剂量PTM灌胃,每天1次,连续7d;第8天给予IC组和PTM组动物全身一次性照射,总剂量2.0Gy.检测小鼠照射后第1、5、14天的脾指数、脾细胞对ConA诱导的增殖反应、巨噬细胞吞噬功能和抗体生成能力.结果与IC组比较,PTM组小鼠的脾指数、脾细胞对ConA的增殖反应、巨噬细胞吞噬功能和抗体生成能力均明显增强(P<0.01),且照射后第14天PTM组小鼠脾指数、脾细胞对ConA的增殖反应能力、巨噬细胞吞噬率和抗体生成能力与NC组比较差异无统计学意义(P>0.05).结论松茸多糖对辐射所致的小鼠免疫功能损伤有明显的保护作用.     

松茸多糖对受照小鼠抗氧化系统的保护作用

目的探讨松茸多糖(PTM)对辐射损伤小鼠血清抗氧化系统的保护作用。方法 150只健康雄性ICR小鼠随机分为5组,正常对照组、辐射对照组和高、中、低3个剂量PTM组,每组30只。正常对照组和辐射对照组给予生理盐水灌胃,3个剂量PTM组给予不同剂量PTM灌胃,每天1次,连续7 d;第8天给予辐射对照组和PTM组动物全身一次性照射,总剂量2.0 Gy,检测小鼠照射后第1、5、14天的血清中超氧化物歧化酶(SOD)、过氧化氢酶(CAT)、谷光肝肽过氧化物酶(GSH-Px)活性和丙二醛(MDA)含量的变化。结果与辐射对照组比较,PTM组小鼠血清中SOD、CAT、GSH-Px活性明显升高,MDA含量明显降低(P<0.05或P<0.01)。结论松茸多糖对辐射损伤小鼠的血清抗氧化系统有显著保护作用。     

承德民用机场高填方边坡稳定性分析

承德民用机场是近年来国内以石方为主的机场建设中遇到的土石方量最大、填方高度最高的机场工程,最大填方高度超过100 m,土石方填挖总量达5＆#215;107 m3。选取合理的边坡稳定安全系数是机场设计过程中面临的难点之一。试验段填筑体选在具有代表性的填方区域,通过 GEO-SLOPE 程序的 SLOPE/W模块对试验段边坡进行了稳定性分析,确定了试验段填筑体边坡的综合坡比。     

冲击碾压技术在霍林郭勒民用机场工程中的应用

结合内蒙古自治区霍林郭勒民用机场飞行区填筑的填料特点、沉降控制及工期要求,通过分析冲击碾压原理及与普通碾压的区别,确定场区土石方填筑采用冲击碾压技术进行施工.综合试验段的填筑体检测数据分析结果,提出了土石方工程大面积开展时的施工参数.     

三种摊铺机摊铺的沥青混凝土路面平整度,密实度比较

通过对ＡＢＧ４１１、ＶＯＧＥＬＥ１８００和ＢＫ４５０三种摊铺机所摊铺的沥青混凝土路面平整度、密实度的检测，分析得出了三处机型各自适合铺筑的路面结构类型。     

中型载重汽车可靠性与维修性指标评定

对EQ1090和CA1091两种载重汽车的可靠性与维修性进行了统计分析和计算。结果表明,EQ1090的平均故障间隔里程MTBF约为1776公里,平均修复时间MTTR约为10.39小时;CA1091的MTBF约为1821公里,MTTR约为9.88小时。各子系统中,EQ1090的发动机和CA1091的发动机MTBF为最小,EQ1090的后桥和CA1091的变速箱的MTTR为最大。