区间自动闭塞系统安全性测试系统仿真建模

!!#$#!%!!&’$()*#+,-./0120345/346789:;+:;+=3!(!++!?%+%*@!A*#*’%&!*)#)(!#A!#$%&’()*+,-)(%(./0(1!&0+’/*+2’).(03&%4&/5$’(#&’,6%(,7!/2’+#!#$%&’()*+’(,-.&’()/0+BC114CD,1=9EC30=7/3:F3DCE./90C3,3403E034GC34H030IE709JK8/348/0!(!B803/582’1&,’G8E10/50109J/3:7/D9JCDE/01L/J/;9C./90=51C=M7J79.8/7/1L/J753/DC=;7:N1J79;:0:5J./3JE-7/E=8E7+F907/3/NNECNE0/9/NNEC/=89C:I1CN/=C.N;9E979/3:/7777.397J79.CD98E/01L/J/;9C./90=51C=M7J79.9C7C1I9807NEC51.+G807N/NE:7=E057985/70=NE03=0N17CD98E/01L/J/;9C./90=51C=M7J79.NE7397/3C5H=9-CE039:.C:1/3::N0=979870.;1/90C39=83C1C4J;703498C3-:I1CN034=C.N;9E979/3:/7777.397J79.CD98E/01L/J/;9C./90=51C=M7J79.DCE98N;ENC7CD799034;N/70.;1/90C3.C:1CD987043/19E/37NCE9/90C3103+G8L8C179E;=9;E:0/4E/.CD98C3-:I1CN034=C.N;9E979/3:/7777.397J79.CD98E/01L/J/;9C./90=51C=M7J79.0740I3039807N/NE+9+/4(1:2/;9C./90=51C=M7J79.7/D9J97970.;1/90C3.C:1034++$O*+++++*$)!*)PQRS@TQUGQSVPFSFW,RKFGXWC1+*$SC+)P;3+!*!!!!!#$%!&’#()#*+,-./01,230.420#)5+.)6-7-0,4%!!#!8#$%89(/.’420#.(0’2(-*.’020#.(*’#()#*+,./01,230.420#)5+.)6-7-0,4#!!!#$%&’()!$#$####$%*+&,-&../01(&&2!&&+&,*-&../0&-&../0*1(&&2&1(&&2*1(&&2!$344!!!!!#$%&’&()!*+,#-$.%##/-0#1$--&(2/,&23&1/$&42&2/+$45/$&16,417-8-$#53#-1%&6#36814,4+%#3#$%&2#$#$%&’()%*+,-’%&.,*-/012!34!012565!4!!4!9’&()9:6;#1$543#,4$.#/+$45/$&16,417-8-$#5=0789:20789:2;=5155?@2A!=5155?@2!0B0B;0#$%&’C0#$%&’DA0#$%&’C!0789:20#$%&’D!0789:2!!!1B0B1B;0#$%&’C0#$%&’DA0#$%&’C!0789:20#E$%&’D!0789:210#$%&’C0#$%&’D1919!0#$%&’D!15!10#$%&’C0#$%&’D190#$%&’C0#$%&’D1919!0#$%&’D!150#$%&’D19!9:?F0B:?F;0#$%&’C0#$%&’DA0#$%&’C!0789:20#E$%&’D!0789:20#$%&’D!0#$%&’C!?@!0#$%&’D!0#$%&’C!?@0#$%&’D0#$%&’C!!!4GH3C!!!!!!#$%!&’#()#*+,-#.$’./0123,)0/*42,’2,52.(-.55,55/,(25652,/0123,’.#+7.6.420/.2#)8+0)95652,/#$%!!!&!’!(!)!*!(!)!*#($(%(&(!(+#)$)%)&)!)+#*$*%*&*!*+,-,!(!)!*-+!).’/0#’12$(1(/0%’12&(1!:#$%:;4#=.+,(2104’,(-5(,2012’.)9)#’)4#2#$%04’,(-5(,252’.(5*0’2.2#0()3.’.)2,’-#.$’./3&&!!#!$!%&#$#$#’$()$%#$%$$&#$&$$#’$’%#$’’$(!#&#$)!%&$$’%$$’’$(!$&$$)!%&#$’&#$’’$(#)#$%#$*#$%$$’&$$’’$($)#$%$$*#$%#$!#$%!&’(#)*+,-./#00,1,-.#*+2#12(#.30.1*24+#-,5!*!!!!!!#+$,,#$-###$--.#&,$$+$,,#$&(*,.*/&0123456789:;=?@567A:56B1C@567D9:E959F@G:56G9HGI@H9J4F;KLLM@H9’45N548O9’69M@H9!KLP%Q$,,#/G3K5G9F5@G:45@OLRDS4H:TD45P9HG@5’%9@HTF9D95G;?9:U:56K5G9F5@G:45@O!I@’9D:IVTMO:H39FHQ?9:U:56B4F’VTMO:H3:56;4FS4F@G:45$,,#((#.((//+$,,,#$#$).&$(%#-)#*W$,,$*-*&#区间自动闭塞系统安全性测试系统仿真建模作者：陈邦兴，吴芳美作者单位：同济大学,电子与信息工程学院,上海,200092刊名：同济大学学报(自然科学版)英文刊名：JOURNALOFTONGJIUNIVERSITY(NATURALSCIENCE)年，卷(期)：2003，31(6)被引用次数：0次参考文献(6条)1.徐中伟.吴芳美形式化故障树分析建模和软件安全性测试[期刊论文]-同济大学学报（自然科学版）2001(11)2.徐中伟.吴芳美嵌入式联锁软件模拟自动测试平台的研究[期刊论文]-铁道学报2001(05)3.XUZhong-wei.CHENBang-xing.WUFang-meiGeneratingtestcaseforCISSbasedonknowledgebase20014.崔智社对象建模技术在分布交互仿真系统中的应用研究[期刊论文]-系统仿真学报2000(01)5.布列也夫阿米.克拉夫错夫尤阿.希师良柯夫阿伏.孙铭甫轨道电路的分析与综合19816.张小林面向对象的铁路区间信号仿真系统研究和实现2002相似文献(10条)1.期刊论文杨昭军.徐洪泽.岳强基于光纤通信的半自动闭塞系统-铁道通信信号2007,43(11)分析了半自动闭塞系统的功能需求,指出了继电半自动闭塞系统的不足.给出了基于光纤通信网的计算机半自动闭塞系统设计方案.研制光纤半自动闭塞系统的工程样机并成功应用于舞钢线铁山等车站,应用效果表明,该系统满足半自动闭塞系统的功能和安全需求.2.学位论文李晓举微机化站间自动闭塞冗余控制系统研究2007在大型复杂实时协作等关键应用中，需要高可靠性的保障。如何保证系统能快速、准确、可靠、持久的运行，是需重点解决的关键问题之一，这就需要系统具备冗余和容错能力。微机化站间自动闭塞系统采用计算机实现站间闭塞，并结合现有计轴技术，显著的提高了区间通过能力，对提高我国单线区段行车安全性及铁路运输自动化水平具有重要的社会意义。本文依据微机化站间自动闭塞系统的基本功能提出了系统总体结构，对系统组成、工作原理、主要特点进行了分析。针对铁路站间自动闭塞系统的故障-安全及可靠性应用要求，设计实现了二乘二取二的冗余闭塞控制模块、智能I/O模块。并对二乘二取二冗余控制系统中同步策略及通信等关键技术进行了分析研究，其中通信包括了控制机与现场设备间的通信、工作控制机与备用控制机之间的通信、以及与邻站的通信。以单模光纤为传输介质构建了双环冗余自愈网络，结合数据校验和正反码传输技术实现了控制机与安全智能I/O模块及计轴器之间的可靠通信，该通信过程具有适应分布式系统控制、系统升级方便、多重安全防护等特点。最后结合实际应用，基于系统状态转换模型，采用马尔可夫过程研究了可修复系统的可靠度和安全度，分析了不同故障覆盖和维修率对系统可靠性和安全性的影响，仿真结果表明该系统具有较高的可靠性及安全性。3.期刊论文夏学峰浅析移频自动闭塞系统中信号抗干扰技术-中小企业管理与科技2009(13)目前在闭塞区间通过轨道电路传输的信息越来越复杂,信息传送的可靠性和安全性问题便显得日益突出.自动闭塞的行车信息以铁轨作为信道进行传输时,轨道电路具有高电感、高漏泄电导、大牵引电流和串音干扰的缺点,由于传输系统复杂性,不可避免地叠加有各种外界干扰.这些干扰将会对信号设备产生影响,甚至危及行车安全.因此在移频自动闭塞系统中抗干扰技术十分重要.4.学位论文陈红霞以微机为基础的铁路信号设备可靠性设计与分析2005本论文运用可靠性工程基本理论和方法结合正在研制开发的采用微机实现站间自动闭塞并结合现有计轴技术的新方法构成微机化站间自动闭塞系统的可靠性研究为实例研究铁路信号设备的可靠性与安全性，其研究方法对该类系统的研制、改进和完善及可靠性设计具有一定的参考意义。　　本文的目的是研究铁路信号系统的可靠性设计与分析的方法，论文以系统的功能需求、技术指标为出发点，利用容错技术进行可靠性设计，提出设计方案，系统地进行设计方案的可靠性分析和验证，对系统的可靠度和可用度进行合理的分配。然后，利用故障模式、效应分析和危害性分析、故障树分析等方法对系统进行微观的定性、定量分析，指出系统的薄弱环节，这对系统的可靠性设计、进一步改进和完善具有很好的指导意义。最后，针对系统所处的特殊环境，对通信部分进行了可靠性设计和分析。5.学位论文梅萌铁路区间自动闭塞系统测试评估平台的信息处理与接口研究2005本文在开发区间自动闭塞系统测试评估工具(平台)的背景下,深入研究了铁路区间自动闭塞系统测试评估平台的数据采集与处理和以及平台与被测系统接口两个子系统.移频自动闭塞是国内外广泛应用的铁路自动闭塞系统.对移频信号进行数据采集、分析和处理是平台测试和验证系统可靠性和安全性的必要手段.文中阐述采集系统的结构和参数设置,从时域和频域两个角度探讨移频信号的频率检测方法,并以数字信号处理的理论为基础,给出从频域角度对移频信号进行分析和处理方法.虚拟仪器技术的应用,成功的完成数字信号和模拟信号的相互转换,快速高效的实现数据采集和信号分析,方便计算机仿真信道模型的信息处理,具有良好的人机交互界面.采用成熟硬件,保证平台具有较高的精度.在研究计算机接口技术的理论基础上,探讨了自动闭塞系统测试评估平台的通信和接口问题.选用可编程控制器取代继电器,完成继电逻辑开关电路功能,完善测试评估的环境条件.6.期刊论文王素倩ZPW-2000A型无绝缘移频自动闭塞系统可靠性分析-科技信息（学术版）2008(6)随着列车货、客流的增加,列车的高速运行对区间信号设备的可靠性和安全性提出了更高的要求.针对于这种情况本文就ZPW-2000A型无绝缘移频自动闭塞系统的可靠性作出分析.7.学位论文管立加基于跟驰模型列车运行控制系统的模拟研究2009移动自动闭塞系统可以有效缩短列车在区间和车站运行的间隔，提高轨道线路的通过能力，其已经成为列车信号控制系统的发展趋势。由于移动自动闭塞系统下列车之间运行间隔大大缩短，所以列车之间相互影响有可能增大。本文运用跟驰模型理论，根据轨道交通系统的特点建立了移动闭塞系统下的几种列车追踪模型，并利用模型模拟了轨道交通流的复杂现象，在此基础上，重点分析系统中列车运行特