基于Event-B的联锁进路控制建模验证方法研究

计算机联锁系统具有典型的安全苛求特性.传统的联锁软件开发方法难以完整准确地定义需求,单纯依靠测试也无法发现软件中的所有错误,使软件在功能完整性和安全性方面难以得到保证.本文利用形式化Event-B方法和相关工具对联锁系统的核心功能-进路控制的相关功能需求和安全需求进行了建模、精化和验证,对开发高安全苛求和高可靠性的联锁软件提供了新的方法借鉴.     

新世纪公司30万吨级干船坞竣工

近日,江苏新世纪造船股份有限公司建造的30万吨级干船坞竣工,为丹麦和英国建造的两艘5万吨级散货船同时在新坞下水.此举不仅标志着该公司船舶建造能力和水平登上新台阶,而且开创了我国地方造船企业拥有大型干船坞和建造5万吨级船舶的先河. 新世纪造船股份有限公司30万吨级干船坞是该公司第3期技改工程的主体项目,总投资近两亿元.1999年上半年开始论证,2000年初开工,经过多方努力如期完成.此坞建成后,新世纪造船股份有限公司每年将在该坞内下水5万～7万吨级的船舶6～8艘.     

榆林地区沥青路面推移病害原因分析和处治对策研究

榆林地区在治理推移病害时,采用改性沥青混合料加铺钢丝网和纤维加筋沥青混凝土路面的综合治理措施取得了良好的处治效果．从经济效益分析看,采用这两种措施具有明显的经济优势,值得在养护中推广应用。     

基于长余辉发光材料的荧光涂层的制备工艺研究

利用稀土长余辉发光材料的吸光-发光特性,将其应用到道路涂料中以解决夜间、无照明条件下道路标线难以被识别的问题。采用能谱仪、X射线衍射仪、荧光分光光度计分别对2种荧光粉的元素构成与有效含量、矿物组成、荧光性能进行了表征。结果表明:2种荧光粉主要成分均为单斜相SrAl_2O_4,其中荧光粉B中含有较多的碳元素杂质,受其影响,荧光粉B发光需要较高强度的激发能,发光强度弱于荧光粉A;将2种荧光粉按照5种比例分别与环氧树脂混合,配制出10种荧光涂层,采用长余辉荧光粉测试仪对荧光涂层的发光性能进行表征,获得荧光涂层的最佳工艺:涂层厚度为1. 8 mm,荧光粉A与环氧树脂的质量比为5∶5,粘结强度为0. 54 MPa。     

高速公路路堤与桥梁方案的造价对比分析

高速公路的工程造价一直是建设单位、交通运输行业主管部门关注的焦点,也是设计单位进行方案比选的一项重要指标。近年来,随着国内公路建筑材料价格的不断上涨,土地资源日益紧缺带来的公路建设用地成本的大幅提高,高速公路平均每公里造价日益高企。如何合理选择工程方案降低工程造价？     

基于改进蚁群算法的船舶冰区航行路径规划

在北极航道开通的背景下,针对在冰区航行环境中船舶航行路径选择的特殊性,通过改进蚁群算法提高船舶航行路径的规划效果。综合考虑航线距离、航行操作复杂度和流冰规避在内的冰区航行路径影响因素,建立路径选择多目标规划模型,结合人工势场法对蚁群算法进行改进,通过人工势场法获得初始路径和节点间距离因素构造启发信息,并以电子海图为基础建立海冰覆盖率分别为30%和50%情况下的冰区航道环境栅格模型,将算法应用在栅格模型中对算法进行验证。结果表明:该算法实现简单,规划的路径优良,能够有效地满足船舶在冰区复杂环境中航行路径规划的需要。     

互敬每一天 快乐每一刻 杭州公交集团开展“1.11斑马线互敬日”公益活动

正文明是城市最美的风景线,斑马线是展示城市文明风貌的一扇窗。为进一步打造平安、有序、畅通、和谐的城市道路环境,深入践行社会主义核心价值观,杭州公交集团下属六大营运公司、巴士传媒公司开展"1.11斑马线互敬日"主题公益活动。杭州公交集团是"斑马线礼让"的先行者,早在2005年,公交集团就率先在11路试点推出了"人行横道礼让"。随着"礼让斑马线,文明我先行"活动的不断推行发展,由公交首倡的礼让行为,开始逐步带动全城车辆共同礼让行     

基于均值聚类的车牌定位技术研究

采用强制综合聚类中心的均值聚类思想对车牌图像进行区域分类,在HLS颜色空间下,利用数理统计的方法得到聚类颜色中心,并对目标图像进行强制聚类,以最终获得只包括车牌四种颜色的待处理的图像,然后利用形态学、人工神经元网络等技术对车牌进行车牌识别.该方法在实践中进行了验证,比基于二值化和灰度化处理思路的定位效果更好,能对多种不同环境下的拍摄的车牌进行有效的识别.     

南非机车车钩钩提杆结构设计优化

针对南非机车用车钩钩提杆弯曲变形问题,文章从钩提杆系统结构的角度进行原因分析和研究,并提出了设计优化方案.通过实际装车试验发现,采用改进型钩提杆和钩环,能够很好地解决南非机车车钩钩提杆弯曲变形的问题.