收藏本站
《全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(下册)》2009年
收藏 | 手机打开
二维码
手机客户端打开本文

基于有限自动机的列车交接系统研究

闫继钢  武文忠  李汉文  蒙应杰  是垚  赵雅纳  
【摘要】:对垂直管理行业进行信息化改造的过程中,流程再造是非常重要的一个环节。本文引入IC卡、有限状态自动机、工作流等技术,对现有旅客列车交接控制工作流程进行了重构,设计了一个旅客列车交接工作流模型,系统以IC智能卡刷卡签字确认方式来驱动整个流程的有序运行。已实现的软件系统的运行结果表明,该模式较好地起到了责任到人、分工明确、互相监督的作用。

【参考文献】
中国期刊全文数据库 前4条
1 金红;蒋存波;陈小琴;;基于有限状态自动机原理的孔中心定位程序[J];计算机工程与应用;2007年04期
2 张建伟,李鑫,张梅峰;基于MD5算法的身份鉴别技术的研究与实现[J];计算机工程;2003年04期
3 牛建伟,胡建平;基于IC卡的数字签名技术研究与实现[J];计算机应用研究;2001年04期
4 崔振磊;王忠静;;基于工作流的水资源知识管理框架[J];清华大学学报(自然科学版);2007年06期
【共引文献】
中国期刊全文数据库 前10条
1 宋立洪;;B/S模式下远程招生信息管理系统的安全机制[J];安徽电气工程职业技术学院学报;2006年03期
2 许益成;陈丽婷;;面向服务的新农村信息资源整合研究——以浙江台州为例[J];安徽农业科学;2010年08期
3 赵烨;;WEB SERVICE技术与分布式技术之异同[J];北京工业职业技术学院学报;2007年03期
4 孙万卿;葛亮;;一种基于有穷状态自动机的二维浅海声线追踪方法[J];兵工学报;2007年11期
5 魏东;;普适计算的应用和展望[J];辽宁科技学院学报;2006年04期
6 闵兰;陈晓敏;;正则语言的可递归性[J];重庆邮电大学学报(自然科学版);2009年06期
7 吕贤睿;单汩源;;供应链管理信息集成与共享的技术实现[J];长春理工大学学报(综合版);2006年02期
8 吴克威;;CMM与中国软件人才培养模式的研究[J];长春师范学院学报(人文社会科学版);2008年10期
9 盛莉,雷红轩,李永明;格值正则语言的性质[J];纯粹数学与应用数学;2005年01期
10 盛莉;;格值上下文无关文法的范式[J];纯粹数学与应用数学;2010年02期
中国重要会议论文全文数据库 前10条
1 莫岚;朱开梅;徐云;;基于ASP的查新数据库管理系统的敏捷开发[A];广西图书馆学会2009年年会暨第27次科学讨论会论文集[C];2009年
2 姚远;董世龙;姜玲云;凌毓涛;卫金磊;;基于WEB的《通信原理》教学系统设计[A];教育技术的创新、发展与服务——第五届教育技术国际论坛论文集(下册)[C];2006年
3 彭一凡;陈文;;基于XML的动态数据结构持久化方法之研究[A];促进企业信息化进程——第九届中国Java技术及应用交流大会文集[C];2006年
4 任秀丽;;基于J2EE的多媒体远程教学平台设计[A];促进企业信息化进程——第十届中国Java技术及应用大会文集[C];2007年
5 李平;李永明;;基于量子逻辑的确定型正则语言的代数性质[A];第六届中国不确定系统年会论文集[C];2008年
6 薛丽娟;杨柳堤;王成军;;基于Gentle.net的科研项目管理系统持久化层解决方案[A];第四届中国软件工程大会论文集[C];2007年
7 庄宏杰;;电子皮带秤在钢厂卸船管理系统中的应用[A];称重科技暨第六届称重技术研讨会论文集[C];2007年
8 庄宏杰;;电子皮带秤在集散配料系统(DCS)中的应用[A];称重科技暨第六届称重技术研讨会论文集[C];2007年
9 杨晓朋;李雄;;浅谈企业信息系统的安全[A];第十届中国科协年会信息化与社会发展学术讨论会分会场论文集[C];2008年
10 徐卫东;;浅析基于MIS的兽医行政管理软件质量控制[A];吉林省畜牧兽医学会2007学术年会论文集[C];2007年
中国博士学位论文全文数据库 前10条
1 刘朝涛;中文问答系统中的句型理论及其应用研究[D];重庆大学;2010年
2 杜海江;高压无换向器电机及其控制技术研究[D];华北电力大学(河北);2005年
3 高伟;工艺设计信息系统中的知识发现技术研究[D];四川大学;2005年
4 李冬冬;基因组序列标注的算法与理论研究[D];国防科学技术大学;2004年
5 丁明石;基于移动通信技术的远程实时心电监护系统设计[D];天津大学;2005年
6 张义荣;基于机器学习的入侵检测技术研究[D];国防科学技术大学;2005年
7 李双跃;制造工艺资源建模技术及其在夹具设计支持系统中的应用[D];四川大学;2006年
8 邓小妮;基于模型检验与仿真的C~4ISR系统需求验证方法研究[D];国防科学技术大学;2008年
9 王朝霞;专利知识获取及其支持概念创新设计的方法研究[D];浙江大学;2009年
10 张兴义;脉冲神经膜系统的计算能力研究[D];华中科技大学;2009年
中国硕士学位论文全文数据库 前10条
1 王廷刚;Petri网表征语言和可达性分析[D];山东科技大学;2010年
2 韩冰;线性时序逻辑在失业保险审计中的应用研究[D];哈尔滨工程大学;2010年
3 王海涛;基于SOA的人事信息查询方法研究[D];哈尔滨工程大学;2010年
4 范晓娟;基于校园网的教务管理系统设计与实现[D];大连海事大学;2010年
5 王永生;PKI数字签名在电子政务中的应用研究[D];合肥工业大学;2010年
6 张立立;哈尔滨金融高等专科学校教务管理系统的设计与实现[D];华东师范大学;2010年
7 杨绿林;基于语义的建筑施工图分析与理解的研究[D];长春工业大学;2010年
8 娄山佑;基于形式语言的建筑施工图分析理解的研究[D];长春工业大学;2010年
9 周伟;基于J2EE的新闻发布系统的设计与实现[D];南昌大学;2010年
10 汪涵;金融投资数据仓库中数据融合的设计与实现[D];电子科技大学;2010年
【二级参考文献】
中国期刊全文数据库 前7条
1 曾志峰,杨义先;基于身份认证和加密技术的包过滤防火墙系统的设计与实现[J];计算机工程与应用;1999年12期
2 牛建伟,胡建平;基于IC卡的数字签名技术研究与实现[J];计算机应用研究;2001年04期
3 高天真;知识管理系统的模型框架及成功实施知识管理的核心问题分析[J];科学学与科学技术管理;2005年03期
4 王方,杨斌,毛波,赵纯均;知识管理:管理教学的新领域[J];清华大学学报(哲学社会科学版);2000年05期
5 刘家宏;王光谦;王开;;数字流域研究综述[J];水利学报;2006年02期
6 王贵竹,李津生,洪佩琳;MD5报文摘要算法与IPv6认证[J];小型微型计算机系统;2001年01期
7 周竺,孙爱英;知识管理研究综述[J];中南财经政法大学学报;2005年06期
【相似文献】
中国期刊全文数据库 前10条
1 赵晶晶,刘云;铁通调度指挥系统主要技术实现及性能分析[J];中国铁路;2005年02期
2 ;永达安全管理控制平台(SOC)和铁路客票安全系统建设方案[J];信息网络安全;2010年10期
3 刘涵;办公自动化系统在铁路企业的应用[J];中国铁路;2003年05期
4 杨世玉;徐中伟;喻钢;张盛;;铁路信号安全协议一致性测试序列生成研究[J];计算机工程与应用;2010年34期
5 许永宏;;铁路工程设计流程控制系统的设计与应用[J];机电产品开发与创新;2010年04期
6 张锐;丁烈云;;地铁工程项目协同总控平台开发与应用[J];现代城市轨道交通;2006年06期
7 潘荣华,刘云;铁通调度指挥系统的建模及实现[J];中国铁路;2004年12期
8 彭蓉;鄢玲;;Petri网模型在铁路集装箱运输业务流程优化中的应用研究[J];铁道运输与经济;2008年09期
9 庞玉成;张勇;;城轨交通工程项目的信息集成管理[J];都市快轨交通;2007年05期
10 高博文;;基于SCADE的列车调度软件设计[J];铁道通信信号;2010年08期
中国重要会议论文全文数据库 前1条
1 闫继钢;武文忠;李汉文;蒙应杰;是垚;赵雅纳;;基于有限自动机的列车交接系统研究[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(下册)[C];2009年
中国重要报纸全文数据库 前1条
1 本报记者 霍娜 孙鹤然;京港地铁信息技术部经理黄颖俊: 用IT规划消除系统“钉子户”[N];中国计算机报;2011年
中国博士学位论文全文数据库 前2条
1 崔炳谋;编组站综合自动化若干问题的研究[D];铁道部科学研究院;2007年
2 燕飞;轨道交通列车运行控制系统的形式化建模和模型检验方法研究[D];北京交通大学;2006年
中国硕士学位论文全文数据库 前7条
1 李雁;基于TTCN-3的CTCS-3级车地通信协议一致性测试研究[D];北京交通大学;2009年
2 程梁;基于UML的联锁软件建模与仿真研究[D];北京交通大学;2008年
3 王磊;列车网络控制系统的分析与研究[D];西南交通大学;2008年
4 秦玲;基于STATEMATE的无线闭塞中心数据流生成及形式化验证[D];北京交通大学;2009年
5 李文文;扇门式闸机控制系统研究[D];南京理工大学;2011年
6 刘彬;新型电力机车电能计量系统的研制[D];华中科技大学;2004年
7 李鹏;基于DSP技术的接触网动态图像数据采集系统的研究[D];西南交通大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026