电信交换网络安全机制及其安全风险分析

随着信息技术的快速发展和网络的日益普及,网络安全和网络开放矛盾渐渐突显出来,尤其是互联网的共享与开放对电信网络安全构成严重威胁。电信交换网络安全指交换网络软硬件和交换系统内的数据得到保护,不会因为恶意破坏等原因被泄露、更改,交换系统可以安全运行,进而保证电信业务连续。     

颅脑损伤后HMGB1-RAGE介导血管周细胞脱离血管和血脑屏障损伤的机制研究

目的 观察颅脑损伤后皮层血管周细胞的反应性变化并探讨其机制。方法 使用可控性皮层撞击动物模型模拟颅脑损伤,通过蛋白免疫印迹检测外伤后不同时间点皮层周细胞标记物表达情况,并通过透射电镜确定颅脑损伤后血管周细胞的生物学行为。通过Western blotting检测外伤后高迁移率族蛋白1(highmobilitygroupbox 1,HMGB1)、晚期糖基化终末产物受体(receptor for advanced glycation end product, RAGE)、核因子κB(nuclear factor kappa B, NF-κB)表达水平,并将实验动物分为FPS-ZM1(一种特异性RAGE受体阻滞剂)注射组和野生型组,利用干湿脑重和透射电镜的方法检测外伤后HMGB1-RAGE对周细胞的影响。培养原代小鼠脑微血管周细胞,添加HMGB1重组蛋白并以同时添加FPS-ZM1的培养周细胞作为对照,离体水平探索HMGB1-RAGE通路对血管周细胞的影响。结果 外伤后早期皮层周细胞标记物血小板源性生长因子受体B(platelet-derived growth factor receptor b...     

形式化方法应用于计算机联锁软件的安全验证研究

铁路信号系统中的联锁系统对安全性要求极高，仅通过普通的功能测试无法保障其安全性。采用形式化验证的方式可以验证联锁系统的应用逻辑与安全需求的一致性。将通用安全需求结合具体的站场图进行实例化，得到具体的安全需求后输入带归纳功能的布尔可满足问题（SAT）约束求解器进行验证，通过覆盖所有的实例、所有周期以及每个周期所有的状态空间，保证了验证方法的完备性。     

大跨度斜拉桥钢桁梁悬臂架设与造价分析

随着桥梁技术的发展,采用钢桁梁的大跨度斜拉桥在铁路桥梁建设中不断得到应用,主跨跨度也不断增大,所使用的施工机械和施工技术也不断得到更新和发展。因而现行斜拉桥钢桁梁架设定额已不能满足目前桥梁建设施工技术的要求。为此,此文根据宁安城际铁路安庆长江大桥和武冈城际铁路黄冈长江大桥钢桁梁悬臂散拼架设方案和施工组织等,进行了工程造价方面的分析,编制了参考定额,可为工程造价人员编制类似工程的概预算和修订现行铁路定额提供参考。