结合眼电和脑电的人机交互系统设计与实现

针对CTCS-4下列车运行的特点,研究了移动闭塞条件下列车追踪运行问题。以多智能体(Multi-Agent)理论为基础,建立了一种移动闭塞条件下的多列车追踪运行多智能体系统(MAS)模型,提出了列车与无线闭塞中心(RBC)之间的MAS交互机制,实现了实时车地通信及多列车追踪运行的安全距离控制。仿真研究了列车追踪运行过程中速度变化关系、不同线路初始化密度对线路交通的影响,得到了相应的定量分析结论。仿真结果表明,该MAS模型能够较好地实现列车控制系统中静态环境与动态环境的复杂系统形式化描述,可以准确地描述CTCS-4列车追踪运行机理,所提方法具有较强的适用性和应用性。     

轨道交通列车追踪运行模型及追踪间隔研究

轨道交通列车追踪间隔是制定及调整列车运行计划的基础,构建精确的列车追踪运行模型是研究列车追踪间隔的关键。根据列车追踪运行规律建立城市轨道交通CBTC列车追踪运行模型,采用Matlab编制程序对CBTC列车追踪运行进行仿真,设计快速迭代算法对列车追踪间隔进行求解。仿真所得列车运行曲线及相关数据与列车实际追踪运行情况一致,求解所得列车追踪间隔值与现场实际测量值一致,充分验证了模型的可用性及仿真精度。CBTC列车追踪运行模型及追踪间隔快速迭代算法可用于列车追踪运行方面的研究,为城市轨道交通运输组织优化与管理提供了理论依据。     

全电子计算机联锁系统信号控制模块研究

受我国经济发展趋势影响,我国高速铁路行业得到快速发展,相关技术得到了优化。我国完成信息技术普及后,传统继电器集中联锁系统被计算机联锁系统取代。为发挥计算机联锁系统的最大价值,以铁路车站信号为切入点,针对计算机联锁系统信号控制模块展开了详细分析,提出了全电子联锁系统列车信号模块设计方案,供相关人员参考使用。     

高速列车在移动闭塞条件下的运行仿真

本文构造了移动闭塞条件下的高速列车计算机运行仿真系统,介绍了系统总体结构,对列车实际运行间隔进行了分析,对各功能模块进行了描述。该系统为进一步分析研究移动闭塞条件下高速列车追踪运行间隔模型、列车的优化控制方法和列车的运行延误影响等提供了仿真平台,对系统实际运用起到了指导的作用。     

基于LabVIEW和OPC的2.4米风洞安全联锁系统

针对2.4米风洞安全联锁系统设备老化、功能缺失、信息显示不直观、故障报警不完善的现状,对安全联锁系统进行了重新研制。该系统以GE PLC为平台、配置传感器监测设备状态信息、开发基于LabVIEW软件和OPC协议的安全联锁监控显示软件,并通过触摸屏实现油源系统的远程控制。经风洞运行验证,该系统性能稳定、联锁功能全面、信息显示直观、可及时预报相应设备故障,极大地提高了风洞运行的安全性与可靠性。     

智能仪表对安全联锁系统可靠性影响的评估

仪表作为石化装置中安全联锁系统的基本组成元素,其可靠性对装置安全稳定运行具有重要影响。本文以某仪表的选型为例,采用蒙特卡洛仿真方法对普通仪表与智能仪表在安全性、可靠性方面进行定量分析与比较,评估了智能仪表对安全联锁系统的影响。分析表明,使用智能仪表可以有效提高安全联锁系统的安全水平,并显著降低联锁的误跳车。本文最后对智能仪表选型中需考虑的因素进行了探讨,对指导石化装置安全联锁系统中仪表的选型具有一定的借鉴作用。     

车站联锁进路控制逻辑的形式化方法

基于计算机联锁系统是一个对列车行驶系统提供安全条件的系统,车站联锁系统是保证车站行车安全和提高运输效率的典型安全苛求性系统。以形式化 方法Event-B为基础,引入角色Agent对联锁系统进行规范定义,通过智能体与Event-B的建模和验证,构造了车站联锁进路控制逻辑形式化验证模型,并进行 了形式化规范和推理,该模型在RODIN平台上进行验证,通过实例验证,满足了计算机联锁系统的安全需求。     

基于自适应模糊滑模控制的高速列车自动停车算法

为实现高速列车自动停车功能,根据列车纵向动力学分析和制动系统原理,建立了高速列车非线性制动模型.针对大系统模型的强耦合、强非线性和不确定性的特点,依据列车运行速度,将非线性模型表示为T-S(Takagi-Sugeno)模型,并基于自适应模糊策略,设计了自动停车滑模控制器.控制算法通过自适应模糊系统逼近模型中不确定项和互联项的上界,消除了车间作用力及运行阻力的影响,使列车追踪理想停车曲线.依据李亚普诺夫方法证明了闭环系统的稳定性和追踪误差的收敛性.仿真结果验证了所提滑模控制器的有效性.     

基于编队技术的地铁列车运行控制研究

首先分析了移动闭塞条件下地铁列车的运行规律,建立了地铁列车的动力学模型,研究移动闭塞条件下地铁列车车组间的控制,采用基于事件的控制理论和编队技术降低列车间的最小追踪允许间隔,在保证不撞车以及尽量减少站外停车的前提下,提高地铁线路的通过能力,并且能够方便地实现系统的重新配置以及各子系统间的协调协作。以相邻的三列列车运行为例,研究在移动闭塞条件下后续列车的控制策略,根据列车的走行距离以及前后列车间所要求保留的安全距离,动态调整列车的运行速度、加速度。     

基于动态故障树的车站计算机联锁系统冗余结构可靠性研究

随着铁路事业的高速发展,铁路信号的传输量逐渐增大,加大了信号传输设备的压力.车站计算机联锁系统,作为控制信号设备的核心,其可靠性直接影响了列车能否安全、高效运行.基于国内计算机联锁系统多为二乘二取二冗余结构,应用马尔可夫过程分析了该结构的可靠性,并针对马尔可夫过程存在的建模过程复杂等问题,给出了动态故障树的分析方法研究...     

基于JSP分页技术的研究

电子商务应用中的数据量往往非常大,甚至会达到几十万到几千万条记录的规模,将如此大量的数据显示在一个页面里困难大、效率低。在这种情况下就需要采用分页显示技术将数据库中符合条件的数据逐页显示给用户。对JSP分页技术进行比较,在分析JSP分页技术特点的基础上,提出一种有效的分页解决方案,同时对分页技术的优化进行阐述。     

系统集成芯片综述

集成电路芯片工艺的发展已可使一个系统或一个子系统集成在一个芯片上 ,称为系统集成芯片。本文综述了系统集成芯片的硬件构造、超长指令 (VLIW )结构、芯片嵌入软件及软硬件协同设计方法。     

Hibernate技术在基于GIS数据库中的应用研究

空间信息的存储和处理问题是地理信息系统(GIS)的核心问题.对空间数据和属性数据的统一存储管理已成为必然趋势.本文通过对GIS中海量数据的存储方式进行研究,指出对象-关系型的数据库存储方式是空间数据库的发展方向.在此基础上讨论了Hibernate技术与GIS数据库的结合,使用Hibernate技术将关系数据库中空间数据和属性数据进行封装,屏蔽了数据库底层操作,使得程序员可以用面向对象的思想随意操纵数据库,在利用了关系数据库的快速检索、查询能力的同时也增强了数据的一致性和可移植性.     

基于VRML的网上虚拟教室漫游研究

以一个虚拟教室为例进行3D虚拟漫游的初步设计．这种方式不同于目前网上的虚拟教室。介绍在WWW上采用VKML实现虚拟教室漫游系统的特点、VRML的工作模式和造型机制,采用了基于几何图形的建模方法,探讨场景中交互设计实现的方法,提出碰撞检测技术的应用．实现网上发布和优化。     

基于CUDA的引导源目标定位快速算法研究

研究引导源的目标定位问题,为实现水下目标定位提供了一种新的途径。实际海洋环境中存在噪声,对定位精度的影响非常大,为了实现低信噪比条件下对目标的准确定位,提出了一种改进的邻域平均法对条纹图像进行降噪处理。同时,由于声场计算和图像处理需要非常大的计算量,实现会耗费较长的时间,提出了利用CUDA技术对GTL算法进行加速处理。处理结果表明,经降噪方法处理后,目标距离估计结果准确,误差较小;与传统CPU方法相比,CUDA技术能不改变精度,且使算法时间减少,为目标定位提供了依据。     

基于《伤寒论》的命名实体识别研究

研究《伤寒论》中命名实体的识别方法,助力张仲景《伤寒论》不同版本文本的深度挖掘,有助于传承中医文化.该文尝试构建ALBERT-BiLSTM-CRF模型,提取《伤寒论》中疾病、证候、症状、处方、药物等实体,并与BiLSTM-CRF模型和BERT-BiLSTM-CRF模型进行对比.五次实验ALBERT-BiLSTM-CRF模型三个评价指标准确率(P),召回率(R)和F1-测度值(F1-score)的平均值分别为85.37％,86.84％和86.02％,相较于BiLSTM-CRF模型和BERT-BiLSTM-CRF模型F1-score分别提升了6％和3％.实验表明相比BiLSTM-CRF和BERT-BiLSTM-CRF模型,ALBERT-BiLSTM-CRF模型在基于《伤寒论》的实体识别任务中效果最好,更适用于中文古籍的知识挖掘.     

Elastos中间件ContentProvider的设计与实现

E1astos是具有中国自主知识产权的面向服务的新型嵌入式网络操作系统。目前主要用嵌入式设备,多款基于Elastos的3G手机已经面世．一款基于Elastos的电子书也即将进入量产。本文提出了基于Elastos的Content Provider,这是一种易于使用和扩展的应用程序数据访问模式．解决了在需求多变的市场背景下,手机应用程序如何方便的访问数据的问题。     

Elastos中间件ContentProvider的设计与实现

Elastos是具有中国自主知识产权的面向服务的新型嵌入式网络操作系统。目前主要用嵌入式设备,多款基于Elastos的3G手机已经面世,一款基于Elastos的电子书也即将进入量产。本文提出了基于Elastos的ContentProvider,这是一种易于使用和扩展的应用程序数据访问模式,解决了在需求多变的市场背景下,手机应用程序如何方便的访问数据的问题。     

AADL模型的测试方法研究

近几年来,MDA开发方式的应用使得如何保证模型质量成为研究的热点.以基于模型的测试为研究对象,研究了对AADL模型进行模型测试的方法,并提出了结合马尔可夫链对AADL模型进行测试的框架以及实施方法.最后,通过示例进一步说明了该方法.     

剖析Windows的用户验证机制

随着Internet和电子商务的发展,信息安全越来越得到业界的重视,其中网络操作系统的安全更是系统安全的基础.本文从计算机安全性的角度出发,着重讨论了Windows针对不同的使用环境所提供的用户身份验证的机制.