基于有色Petri网的ETCS无线通信可靠性分析

ETCS-3级(欧洲列车运行控制3级系统)无线通信系统是一个动态、复杂的分布式系统,其性质和最终实现正确性的形式化验证具有重要意义.本文利用分层赋时有色Petri(CPN)网,综合随机信道恶化、越区切换、信道连接中断等无线信道失效模型,提出ETCS无线通信信道模型的分层结构,定义信道失效模型和概率传输延时,分析信道模型和数据传输的时间特性.分析结果表明,数据帧传输延时小于20s的通信可靠性为99.97%.因此,相继运行列车时距为1min时,数据帧传输延时小于20s的通信可靠性满足ETCS规范要求.     

真空联合堆载预压法在软土地基处理中的应用及经济效益

分析常用软土地基处理方法,在真空预压法的加固机理基础上,探讨了真空联合堆载预压的特点施工工艺及关键技术,并从适用性、施工工艺和技术经济等几方面做一个比较分析,说明真空联合堆载预压处理方法在高速公路软基处理中应用的可行性及经济性.     

一种抗差型航迹关联算法研究

航迹关联是多源信息融合中的关键问题.通过选择目标数据相似度计算模型和参数,计算不同信源航迹与航迹间的关联相似度,并以之构成目标关联矩阵.引入伪行列式的概念,对目标关联矩阵进行变换,形成目标联合分配矩阵.在分配限定条件下,通过最大化目标联合分配似然度,可得到航迹与航迹间的关联匹配对,实现航迹关联.仿真实验表明,在信源具有较大的系统误差情况下,该算法能够保持较高的关联正确率,表现出了良好的抗差特性.     

洛阳联合动力机车俱乐部

洛阳位于河南省西部,黄河南岸,洛阳因地处古洛水之北岸而得名。暖温带大陆性季风气候,年平均气温:14.2℃。适宜的地理位置,得天独厚的环境气候,名胜古迹、自然风光相织环绕。成就了洛阳市摩托车运动的良好环境。记得去年俱乐部挂牌的那一天,暴雨突临,风声、雨声、雷声、摩托车的发动机声,声声不息却声声悦耳,顷刻间秒杀了洛阳城六月的高温。洛阳联     

第七届亚太平洋交通运输发展会议

第七屆亞太平洋交通運輸發展會議暨第二十一屆國際華人交通運輸協會年會将于2008年5月25日至28日在中国江苏省南京市东南大学召开。本次会议主题是:多方式联合运输促进世界繁荣。随着亚太地区经济的持续     

货船甲板起货机电功率的实用计算法

货船上的甲板起货机工作时消耗电功率很大，且随时间发生不规则的波动，对决定船舶主电站的配置有着直接影响。本文依据概率论，介绍一种较为实用的起货机电功率计算方法，供有关设计人员参考。     

太平洋战争第一炮 美国海军MK9舰炮

舰炮可以算是最重要的"舰载武器"了。是它的轰鸣,宣告了太平洋战争正式打响,同样是它的怒吼,首次摧毁了日本联合舰队的战舰。非但如此,第一艘击沉德军伪装巡洋舰的商船用舰炮和第一种由华人操作、击沉最大吨位日舰的舰炮,属于同一种型号。本文就介绍一下这种曾立大功、但又罕为人知的美国4吋(101.6毫米)50倍径Mk9式水平速射炮。     

旧日本海军鱼雷艇小传

日本是一个对鱼雷武器有丰富使用经验的国家，早在中日甲午战争时期，面对坚不可摧的北洋舰队“定远”、“镇远”两艘铁甲舰，鱼雷几乎成了日本海军唯一有效的对抗武器，亚洲第一大巨舰“定远”号正是在鱼雷艇的偷袭下被迫搁浅。1903年2月8日夜，日本联合舰队对沙俄太平洋舰队旅顺锚地发起鱼雷夜袭，造成两艘俄战列舰重创，为日军取得旅顺战役的胜利奠定了基础。同年5月27日夜到28日晨，那可怕的“鱼雷之夜”更是对日本海军后来的雷击战术的发展产生了巨大影响。著名的“特”型“吹雪”级驱逐舰的服役，使日本海军的雷击战术上升到一个新阶段。日本海军对鱼雷的迷恋在搭载10座四联裳93式鱼雷的“北上”和“大井”号巡洋舰上达到了顶峰。但随着大型舰艇的重型鱼雷装备逐渐完善，为日本海军早期发展立下汗马功劳的鱼雷艇逐渐退回到被人遗忘的角落。     

德尔福宣布重组计划年底脱离破产保护

德尔福公司经过长达22个月的艰苦谈判,与美国工会、通用汽车公司达成协议,股权投资和融资也已有眉目。现德尔福公司正式向美国破产法庭提出《联合重组计划》,在2007年年底脱离破产保护,重振旗鼓发展,再创辉煌[编者按]     

基于Monte Carlo模拟法和Markov过程理论效果评估研究

在扫雷作业过程中会出现许多复杂的随机性问题,用确定性方法对扫雷效果进行评估给出其近似解是很困难的,甚至是不可能的;而在水雷工作制度、扫雷概率以及水雷最大定次未知的情况下,对非接触扫雷雷区的状态进行评估,是实用上最常遇到的问题.针对上述情况,设计实现了基于Monte Carlo模拟法和Markov过程理论的扫雷作业模拟和评估模型,并对模型进行了仿真计算,验证了模型的正确性.