文献调研报告模板范文Word文档下载推荐.docx
- 文档编号:15098398
- 上传时间:2022-10-27
- 格式:DOCX
- 页数:8
- 大小:25.10KB
文献调研报告模板范文Word文档下载推荐.docx
《文献调研报告模板范文Word文档下载推荐.docx》由会员分享,可在线阅读,更多相关《文献调研报告模板范文Word文档下载推荐.docx(8页珍藏版)》请在冰豆网上搜索。
2)补充通信协议中的具体网络;
3)阅读标准EN50159;
3关键字
检索词:
CBTC;
安全关键系统;
安全通信协议;
EN50159;
safetycommunicationprotocol
检索策略:
无线*通信;
总线*通信;
以太网*通信;
CBTC*communicationprotocol;
safety*protocol;
verification/test/model/simulation/design/analysis*(safety)communicationprotocol;
4检索范围
中国知网
XX
webofscience(SCIE)
IEEE
SpringerLINK
ELSEVIERScienceDirect(SDOL)
在不同关键词组合下,检索范围内,近三年的文献总数
5主要的检索文献
[1]BSEN50159Railwayapplications—Communication,signalingandprocessingsystems-Safety-relatedcommunicationintransmissionsystems[S].
[2]安全通信与安全通信标准EN50159[J].铁路通信信号工程技术,.
[3]Performanceevaluationandverificationofcommunicationprotocolforrailwaysignalingsystems[J].ComputerStandards&
Interfaces,.
[4]Verificationandconformancetestgenerationofcommunicationprotocolforrailwaysignalingsystems[J].ComputerStandards&
[5]Developmentofverificationandconformancetestingtoolsforarailwaysignalingcommunicationprotocol[J].ComputerStandards&
[4]Groupcommunicationonhighways:
Anevaluationstudyofgeocastprotocolsandapplications[J].AdHocNetworks,.
[6]Compositionalverificationofacommunicationprotocolforaremotelyoperatedaircraft[C].ScienceofComputerProgramming,.
[7]VerificationofthesafetycommunicationprotocolintraincontrolsystemusingcoloredPetrinet[J].ReliabilityEngineeringandSystemSafety,.(国内-陈黎洁)
[8]SimulationandverificationofRSSP-IIsafetycommunicationprotocol[C].SecondInternationalConferenceonBusinessComputingandGlobalInformation,.(国内-许孟华)
[9]Formalverificationofsafetyprotocolintraincontrolsystem[J].TechnologicalSciences,(国内-北交团队)
[10]无线传感器网络安全通信协议研究与设计[D].硕士,大连理工大学,.
[11]安全关键实时通信协议研究[D].博士,兰州大学,.
[12]基于ZigBee的无线传感器网络通信协议栈设计与实现[D].硕士,电子科技大学,.
[13]基于工业以太网的列车通信网络研究[D].硕士,北京交通大学,.
6检索结果摘要汇总
根据以上检索范围与检索关键词,其中部分检索结果5篇,摘述如下:
【篇名】安全通信与安全通信标准EN50159
【作者】杨剑
【期刊名称】铁路通信信号工程技术
【年份】2月,第11卷第1期
【摘要】EN50159是欧洲铁路通信信号领域信息传输系统中安全通信标准。
对安全通信基本知识进行一般介绍,对最新版本EN50159:
标准内容进行简单解读,并结合自身实践,对安全通信协议软件开发相关经验要点进行介绍。
【篇名】Developmentofverificationandconformancetestingtoolsforarailwaysignalingcommunicationprotocol
【作者】Jae-HoLee,Jong-GyuHwang,DuckoShin,Kang-MiLee,Sung-UnKim
【期刊名称】ComputerStandards&
Interfaces
【年份】
【摘要】Verificationandconformancetestingforprotocolspecification,thekeypartoftheprotocoldevelopmentprocess,arecomplementarytechnologiesemployedtoincreaseconfidencethatasystemwillfunctionasstatedinitsspecifications.Inthispaper,weverifythesafetyandlivenessoftheprotocolspecifiedfortheLabeledTransitionSystem(LTS)byusingmodel-checkingmethodandimplementingthetestingtool,whichexperimentallydemonstratesthepresenceofdeadlockandreachabilityfromtheinitialstatetoarandomstate.Implementingthetestingtoolcanusemodalmu-calculustoassesswhetherprotocolmodelproperties,presentedbymodallogic,meetprotocolspecifications.Inaddition,weproposeaconformancetestingtooltocheckcorrectimplementationofsequencesthathavebeenderivedbytheUIOmethodfromthespecificationoftheprotocolbeingverified.ThisgeneratingtoolusestheC++languageintheMicrosoftWindowsNTenvironment.
【篇名】Compositionalverificationofacommunicationprotocolforaremotelyoperatedaircraft
【作者】AlwynE.Goodloe,Cé
sarA.Muñ
oz
【期刊类型】ScienceofComputerProgramming
【摘要】Thispaperpresentstheformalspecificationandverificationofacommunicationprotocolbetweenagroundstationandaremotelyoperatedaircraft.Theprotocolcanbeseenastheverticalcompositionofprotocollayers,whereeachlayerperformsinputandoutputmessageprocessing,andthehorizontalcompositionofdifferentprocessesconcurrentlyinhabitingthesamelayer,whereeachprocessshouldsatisfyadistinctdeliveryrequirement.Acompositionaltechniqueisusedtoformallyprovethattheprotocolsatisfiestheserequirements.Althoughtheprotocolitselfisnotnovel,themethodologyemployedinitsverificationextendsexistingtechniquesbyautomatingthetediousandusuallycumbersomepartoftheproof,therebymakingtheiterativedesignprocessofprotocolsfeasible.
【篇名】基于工业以太网的列车通信网络研究
【作者】张建斌
【学位类型】硕士
【授予单位】北京交通大学
【导师】谭南林
【摘要】:
传统以太网通信的非实时和非确定性限制了其在列车通信网络中应用。
改变以太网通信驱动和调度机制可使之成为适合列车通信的实时以太网。
本文深入研究了影响以太网实时性和确定性通信的因素后提出了解决方案,并在设计的实验平台上进行了验证。
本文以星型网络为基础研究了共享式和交换式以太网的实时特性,得出交换式以太网符合列车通信网络组网要求。
分析了时间触发架构的通信机制并引入以太网中,分时复用的通信方法保证了以太网的通信的实时性和确定性,在此基础上提出以太网确定性通信的调度机制,并分析计算了通信网络的宏观调度周期。
为了建立基于时间触发机制的以太网通信网络,本文在IEEEI588时钟同步协议基础上,提出了一种新的从时钟时间补偿方法即渐近时间补偿法,解决了直接补偿算法的时间“突变”问题,为验证算法的合理性和科学性,用MATLAB对时钟同步过程进行了建模分析。
在以太网技术基础上研究了以太网通信节点可行性设计方案。
完成了两类以太网通信节点硬件设计,移植了实时操作系统和TCP/IP协议栈,搭建了交换式以太网通信的实验平台,以实验平台为基础,实现了IEEEI588时钟同步协议栈,建立了时钟同步网络。
最后,为考察通信网络的实时响应能力和时钟同步精度,本文设计了通信网络的测试方案,对通信网
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 文献 调研 报告 模板 范文