隧道路面类型选择及调查研究

采用理论分析和实际调查相结合的方法分析了隧道内温度、湿度、噪声、基础强度、交通条件等对隧道路面类型选择影响.为了选择舒适、安全、耐久的隧道路面类型,基于灰靶分析理论从路面整体强度、耐久性、平整度、抗滑性能、耐磨性能及修复难易程度六个方面对沥青和水泥两种路面进行综合评价.结果表明沥青路面在隧道中具有更好的适用性.经对近百座隧道路面实地调查,验证了理论分析的正确性.随着施工、阻燃等技术进步,沥青路面将逐渐取代水泥路面在隧道内得到广泛应用.     

公路隧道初期支护结构与围岩特性分析

以湖北某高速公路隧道为工程背景,针对IV级围岩,利用有限元程序,通过数值模拟的方式,分析了采用台阶开挖和环形开挖时初期支护结构的变形和应力特征,结果表明:采用环形法所产生的应力和位移总体较台阶法小,从安全的角度考虑,环形开挖较好.此外,在初期支护后,应该对隧道的局部位置进行加强处理,以免出现初期支护的局部破损、降低其整体性.     

运用矩阵结构分析法进行军交运输快速反应能力量化评估

军交运输快速反应能力的影响因素较多,定量评估较为困难.介绍了矩阵结掏分析法基本原理,探讨了影响军交运输快速反应能力的有关因素,在此基础上,运用矩阵结构分析法对军交运输快速反应能力进行了量化评估,以求为军交运输训练、建设、管理和决策提供科学准确的参考依据.     

交通信息对驾驶员逐日路径选择行为影响研究

在无信息、发布历史信息和发布预测信息3种信息条件下,分别建立了驾驶员的路径理解行程时间期望值的更新模型.通过建立一个含有2条平行路径的简单路网,对3种交通信息条件下驾驶员逐日路径选择进行了仿真,结果表明:交通信息对驾驶员的作用与驾驶员路径选择的随机程度和对信息依赖程度有关;在3种交通信息条件下,路网均不能达到用户均衡平衡状态;交通信息的预测方法不同,预测信息对驾驶员路径选择的影响有差异.     

CoFe2O4的磁性和交换偏置场研究

用化学共沉淀法制备出颗粒细小的CoFe2O4纳米微粉,利用x射线衍射确定了粉体的组成,利用扫描电子显微镜观察了颗粒的形貌,利用振动样品磁强计测量了室温下粉体的磁性能。结果显示,常温下,存在交换偏置场。     

双柱式桥墩刚度对桥梁地震响应分析

为研究桥墩刚度对高墩桥梁抗震性能的影响,以带溪高架桥为研究背景,利用midas-civil选波工具选取合适地震波,建立了一致激励地震作用下的连续梁桥,并考虑P-Δ效应和非线性的影响,分析桥墩高度、桥墩截面尺寸及形式对桥梁抗震影响。通过改变墩径（墩径由1.2 m变化至2.4 m）抗震分析表明双柱墩直径对墩顶位移影响效果并不明显,墩径过大会导致桥墩内力较大;对不同墩高（墩高由20 m变化至50 m）地震响应分析表明墩高对墩顶位移起到控制作用,但墩高变化对桥墩所受轴力影响不大;由于P-Δ效应和约束影响,全桥为中间高墩、两边矮墩时具有较小的地震响应;在墩高为30 m情况下,相对于薄壁墩和实体墩,双柱式墩具有较好的抗震性能。     

R407C取代R22的工况计算及分析

围绕制冷剂发展历程和制冷剂技术更新进行了讨论.着重介绍制冷剂R407C替换制冷剂R22的工况计算,基于生产实践提出了制冷剂替换对系统的影响以及系统需要做出的改变.     

Behavior-consistent service substitutions in dynamic environments

In this paper, a novel approach for service substitutions based on the service type in terms of its interface type and behavior semantics is proposed. In order to analyze and verify behavior-consistent service substitutions in dynamic environments, we first present a formal language to describe services from control-flow perspective, then introduce a type and effect system to infer conservative approximations of all possible behaviors of these services. The service behaviors are represented by concurrent behavior expressions （CBEs）. Built upon the interpretation of CBEs, behavior-consistent service substitutions are defined and analyzed by subtyping technology. The correctness of the analysis approach is guaranteed by type safety theorem, which is mechanically proved in the Coq proof assistant. Finally, applications in web services show that our method is effective and feasible.     

钢桁腹组合梁桥静载试验分析

为检验某钢桁腹预应力混凝土组合梁桥的承载能力是否满足正常使用状况的要求,对该桥在静载作用下的挠度、应力进行试验分析.研究结果表明,该桥的受力性能和正常使用状态极限承栽力均满足设计要求,结构工作状况良好.     

民航大型货机流失影响我军战略投送能力建设的思考

民航大型货机是国家战略运输资源,当前,我国民航大型货机的不断流失将会削弱国家战略交通运输保障力量.分析了我国民航货运产业基本情况,阐述了民航货运力量在国防与经济建设中的地位作用,研究提出了军民融合加强我国民航货运力量建设发展的对策意见,有利于其健康发展.