一种安全关键软件系统的形式化开发模型

形式化方法的主要研究对象是计算机系统的设计和验证.近年来,形式化方法的研究扩展到计算机应用系统的各个领域,尤其是安全关键系统.论述了形式化方法对安全关键软件系统的作用,提出了一种安全关键软件系统的形式化开发模型(Safety Critical Software Model-SCSM),给出了模型的应用实例.     

铁路货运设备和专用线管理系统的设计和实现

系统地论述了铁路货运设备,专用线管理系统的设计目标,技术关键,并结合该管理系统的实际,详细描述了其主要的功能.     

融合网络拓扑结构特征与客流量的城市轨道交通 关键节点识别研究

科学合理地识别轨道交通网络的关键节点，并制定针对性的维护管理措施，有助于保障轨道交通的稳定运行。网络中的节点在局部发挥着对外传输与连接的作用，在全局中影响着网络的传输效率，同时，也必然受到其他节点的影响，本文提出一个考虑邻居节点影响的改进节点度模型评价节点的局部重要性，以及一个考虑其他节点影响的改进节点效率模型评价节点的全局重要性，基于改进的节点度模型和节点效率模型构建节点网络拓扑结构重要度评价模型，综合反映节点的局部重要性和全局重要性，也能反映其他节点对目标节点的影响；以进出站客流和换乘客流为基础建立节点客流量重要度评价模型；进一步构建综合考虑节点网络拓扑结构重要度和客流量重要度的关键节点识别模型，更加全面地评价节点的重要性，并以西安市数据为基础进行实例验证。结果表明：本文模型所识别出的关键节点，能很好地体现节点在网络中的功能特性；排名前5的关键节点失效，会导致客流损失34.41%，网络效率降低57%，相对最大连通子图比例下降91.82%，证明了模型的有效性。     

新三线城市轨道交通线网规模控制研究

为解决我国新三线城市的线网规模控制问题,定义了国家"新三线城市"含义,提出"新三线城市半小时轨道交通圈"的概念和意义。基于对新三线城市修建轨道交通规模控制的初步论述,阐述线网规模控制的意义,同时研究影响线网规划的各类因素、线网结构、基本形态等。通过对城市总体规划、客流预测、线网评价等方面研究,提出控制新三线城市线网规模的关键措施,并以此为依据初步规划国内某新三线城市初步合理的轨道交通线网规模,其方法可为其他新三线城市提供借鉴和参考作用。     

自动化集装箱码头堆场策略

研究自动化集装箱码头中堆场管理策略的制定、应用和效果评估。自动化码头新的垂直堆场结构带来堆场使用方式、机械作业模式、交互方式、堆码方式、操作习惯及思维方式的变化,因此新的堆场管理方式及堆码策略随之孕育而生。通过对作业进行分类,结合码头内外部情况制定自动化码头堆场策略,提高堆场空间利用率及作业效率,降低作业成本,提升堆场综合能力。     

中联重科新型整体式S管将登上泵车“舞台”

S管作为混凝土泵车的关键零部件,其性能好坏直接影响着泵车的工作效率及客户使用成本。从2011年开始,混凝土机械公司营销管理公司反馈:大方量S管存在使用寿命较短的问题。     

配套件行业将成工程机械投资亮点

正近10年,中国的工程机械领域在经济向好的大趋势下快速发展,成为全球最大、竞争最为激烈的市场,与此同时,其产业链和工业体系也获得了较为完善的发展。然而,自2011年以来,欧美经济的不景气导致我国工程机械出口量下降,加之国家采取的宏观调控政策,使得今年工程机械市场呈现出前高后低的发展趋势,行业景气指数也迅速下滑。中国工程机械工业协会秘书长苏子孟在出席"2011中国工程机械配套件行业高峰论坛"时     

政策频发定调新能源 中国汽车寻追赶机会

正2012年1月,或成为出台汽车新政最多的月份之一。新的《外商投资产业指导目录》,将汽车整车制造条目从鼓励类中删除,增加了新能源汽车关键零部件等条目;首批免征车船税新能源汽车车型公布,明确了首批49个产品型号的新能源汽车免征车船税;工信部出台了新的《乘用车和商用车燃料消耗量测量方法》。新年伊始,新能源及核心零部件产业作为中国汽车产业战略重点的架构显现出来,中国汽车工业以新能源领域、核心零部件为导向的产业布局已经初见端倪。国务院发展研究中心产业经济研究部     

碳纤维加固旧桥技术探讨

高强度。抗拉强度是钢材的10倍，弹性模量与钢接近。