排序方式: 共有8条查询结果,搜索用时 156 毫秒
1
1.
UML是一种广泛使用的面向对象的可视化统一建模语言,但UML缺乏精确的语义描述,难以对UUL模型进行分析验证以判断设计规范是否满足目标需求。符号模型检验是一种能够有效保证系统可信性质的自动检验技术。为了检验UML模型的正确性,在建模的基础上把UML模型转换为SMV模型,然后使用符号模型检验器(SMV)对模型进行检验,有利于在系统的设计早期发现系统的缺陷。 相似文献
2.
ARM7嵌入式系统在车辆调度中的应用 总被引:3,自引:0,他引:3
本文设计并实现了车辆监控调度系统,在系统设计中采用S3C4480X做为处理器,并对嵌入式系统中开发中的几个关键技术进行了分析:操作系统内核调度机理。基于状态机的程序设计和硬件设计。 相似文献
3.
高速铁路运行控制系统是高速铁路的大脑和神经系统, 对列车的安全和高效运行至关重要. 随着我国高铁里程数和客运量的快速增加, 现有的控制手段和调度方法在快速、有效解决列车运行过程中出现的突发事件(比如电力故障、突发地震、山体滑坡、异物侵限等)方面尚有一定差距. 目前列车运行控制与调度采用分层架构, 突发情况下主要依赖调度员和司机的人工经验进行应急处置, 列车晚点时间较长, 旅客满意度不高. 因此, 如何针对高速列车运行过程中可能出现的突发事件, 提升其应急处置能力, 成为保障高铁安全高效运营的一大难题. 本文围绕高铁运行控制与动态调度一体化这一前沿研究热点, 对现有运行控制和动态调度的发展现状进行梳理, 在此基础上给出一体化的基本架构, 明确其基本内涵, 最后提出了未来的主要研究方向. 相似文献
4.
列车自动驾驶调速系统自适应模糊控制 总被引:1,自引:0,他引:1
列车自动驾驶(ATO)系统停车前采取一级调速制动,本文采用自适应模糊控制对ATO系统的速度进行控制.利用变论域收缩因子优化模糊控制器的量化因子,模糊推理实现比例因子的自调整.通过仿真表明,该算法能够有效改善速度控制的快速性与精度,提高乘客舒适性与运行效率,从而完成定位停车任务. 相似文献
5.
6.
基于ACP方法的应急疏散系统研究 总被引:1,自引:0,他引:1
目前地铁、建筑及煤矿等人员密集空间突发事件频发,解决人员密集空间人员安全疏散是当前社会发展亟待解决的问题. 本文以地铁为例研究了基于ACP方法的平行应急疏散系统,该系统由应急疏散人工系统、计算实验 和平行执行三部分组成. 平行应急疏散系统不仅适用于地铁,还适用于建筑及煤矿等生活和工作空间应急疏散管理,可实现人员培训、疏散演练、疏散方案优化和评估等功能. 本文初步建立了地铁枢纽站平行应急疏散系统,并进行了两种典型场景的计算实验,实验结果表明平行应急疏散系统可有效提高应急疏散效率. 相似文献
7.
8.
本文主要给出了一种实时的交通信息采集处理系统的设计与实现方案。着重讨论了PCI9054的结构和特点,PCI与DSP的接口,WDM驱动程序的设计以及信号处理在DSP中的实现等问题。 相似文献
1