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

来源 :全国第20届计算机技术与应用(CACIS)学术会议 | 被引量 : 0次 | 上传用户:moneyNUMBER_1
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
对垂直管理行业进行信息化改造的过程中,流程再造是非常重要的一个环节。本文引入IC卡、有限状态自动机、工作流等技术,对现有旅客列车交接控制工作流程进行了重构,设计了一个旅客列车交接工作流模型,系统以IC智能卡刷卡签字确认方式来驱动整个流程的有序运行。已实现的软件系统的运行结果表明,该模式较好地起到了责任到人、分工明确、互相监督的作用。
其他文献
2008年9月15日,美国金融危机全面爆发,由美国次贷危机所激起的金融大海啸所产生的连锁反应令全球经济大幅度下滑。由于国内外经济走势的急剧下降,将导致大量企业倒闭。因此,在经济完全复苏之前,我国的就业形势将面临着严峻的挑战。本文针时2008年爆发的金融危机影响,对高校的安全工程专业人才就业形势进行综合性评价,同时对安全工程专业人才严峻的就业形势提出相应的建议及看法,指导安全工程专业人才的就业和学科
新形势下社会经济发展对人才实践能力的要求越来越高。安全工程专业是一门综合性的交叉边缘学科。根据专业特点,从目前的安全生产形势与科技创新、人才市场与用人单位、科学发展观与需求理论等方面对安全工程专业人才实践能力的社会动态需求进行了较深入的分析。并对安全工程专业人才的供给方、需求方、受教育方提出了一点建议。
本文在安全工程教育的蓬勃发展前提下。结合应用型大学人才教育体系和工程实践教育创新改革思路,就我院安全工程专业实验室建设的历史以及实践教育的发展研究,提出了实践教学师资培养要求、发展有特色的实习基地,实验环节方法的构建、创新。根据学生的毕业环节安排,统筹企业和学校、教师和技术人员在培养安全工程实践环节中的地位与角色等观点。总结了我院安全工程实践教学的探索思路以及办学社会评价,供安全工程实践教育工作者
“产学研结合、校企联合”办学是安全工程专业实践能力培养的必由之路。本文结合我校安全工程专业办学现状,探讨了安全工程专业走联合办学之路的人才培养模式和联合办学实现“双赢”的运行机制。
宣钢的加速发展,造成电力系统也日趋扩大,对电力调度系统提出更高要求.为此,决定采用iES500 Extreme系统,承担所有变电站全部实现综合自动化的任务.这样方便了用户,加强了全面管理,对供电的稳定性和安全性有明显改善.
介绍唐钢一钢轧厂RH精炼炉炼钢的工艺流程,ControlLogix系统的特点及该系统的硬件组成和软件功能,并对主要控制功能的设计思路进行了较详细的叙述.
在分析了数据挖掘、分布式数据挖掘、NET Remoting的概念和技术特点的基础上,提出了一种基于.NET Remoting技术的分布式数据挖掘系统模型,并描述了系统各部分功能及实现方法。
Web服务组合通过重用已有的Web服务以满足用户高质量的应用需求,是面向服务架构研究领域的热点问题。为了解决Web服务组合的可靠性和一致性问题,给出了Web服务事务性描述及组合模型,并根据Qos及用户的喜好提出了两级风险度的服务选择算法,在满足事务性组合的基础上达到优化组合的目的。
目前面向切面编程的研究侧重于语言本身的实现和应用,而对AOP程序的检查和验证的相关研究十分缺乏。针对目前的需求,本文提出一种基于运行时验证的框架来验证AOP程序,使得AOP程序中横切关注点的验证得以实现。在这种框架中,程序的性质由线性时序逻辑公式描述,并在程序执行时使用运行时验证技术来验证。通过对日志记录程序验证和分析证明该框架是可行的。
缓冲区溢出攻击是一种被广泛利角并危害严重的攻击方式。本文主要分析了缓冲区溢出攻击原理,总结了Windows缓冲区溢出攻击的关键步骤,研究了Windows Vista的内存保护关键技术,最后对Windows Vista的内存保护机制进行了分析。