曹源
- 作品数：108 被引量：319H指数：10
- 供职机构：北京交通大学更多>>
- 发文基金：国家自然科学基金中央高校基本科研业务费专项资金国家高技术研究发展计划更多>>
- 相关领域：交通运输工程自动化与计算机技术机械工程电子电信更多>>
- 安全计算机通信管理机制的形式化验证与实现被引量：8
- 2016年
- 为提高下一代列车运行控制(简称列控)系统安全计算机的系统兼容性,首先对其结构进行简要分析,并对管理机制进行设计,建立了管理单元状态转移模型,同时以形式化验证工具对模型的正确性进行了验证。在此基础上对基于微控制单元(MCU,micro controller unit)的管理单元进行了软硬件的设计实现与测试。验证和测试结果表明,所设计的管理机制符合设计规范的要求,管理单元能够实现预期的状态转移功能。
- 梁靓曹源马连川张玉琢李恒奎
- 关键词：列控系统安全计算机形式化验证
- 基于Event-B的双机热备平台测试序列自动生成方法
- 2016年
- 为了确保双机热备平台满足相应的功能需求,需要对其进行功能测试。采用基于模型的测试方法,可以有效地避免人工手动生成测试中存在的不足,提高测试效率。利用Event-B方法对双机热备平台进行形式化建模,通过证明验证模型的正确性,并进一步利用L^1算法生成基于模型、满足平台测试需求的测试序列集,对于确保测试过程的完备性、提高测试效率有一定意义。
- 辛未穆建成马连川曹源
- 关键词：EVENT-B
- 成都地铁信号系统发车指示器优化设计被引量：1
- 2015年
- 地铁信号系统发车指示器具有指示列车在车站的发车时刻等功能。介绍成都地铁1、2号线发车指示器(DTI)工作原理,通过优化设计改善了既有系统延迟大、结构复杂及故障率高等缺点。现场试验表明,优化效果优良,提升了设备的可靠性和可用性。
- 王磊张玉琢曹源
- 关键词：地铁信号
- 数控铣削技术在CRH2动车组牵引拉杆螺纹加工中的应用被引量：1
- 2015年
- 传统的螺纹加工工艺已不能满足现代化的高精度、大规模的生产需要。随着数控加工技术的发展,尤其是三轴联动数控加工系统的出现,使更先进的螺纹加工方式数控铣削得以实现。通过工艺分析和试验验证,内螺纹铣削加工工艺成功地应用在CRH2动车组转向架牵引拉杆M36螺纹的加工上,并获得良好的效果。
- 魏薇董成文高宝杰曹源
- 关键词：动车组转向架牵引拉杆铣削
- 高速列车纵向动力学模型时变参数在线辨识方法被引量：7
- 2017年
- 针对高速列车纵向动力学特性,分析了牵引力、制动力、阻力与速度和加速度的关系;考虑了天气和线路对高速列车运行状态造成的随机干扰,以及机械磨损和运行环境对列车模型结构参数造成的随机影响,建立了噪声干扰下的高速列车纵向动力学参数化状态空间模型,利用期望极大化准则,计算了列车模型参数的条件数学期望,并结合粒子滤波理论估计了参数粒子下的列车状态;基于贝叶斯后验概率理论,建立了高速列车非线性动力学模型的时变参数辨识方法,估计了列车的实时状态,并在噪声与参数分布均属于高斯分布、噪声属于高斯分布与参数属于指数分布、噪声属于伽玛分布与参数属于高斯分布的3种工况下,进行了蒙特卡洛仿真试验。仿真结果表明:在3种工况下,高速列车位移和速度的估计值与真实值的相对误差小于5%,列车模型参数估计值与真实值的相对误差小于10%,满足实际系统需求,因此,在高斯或伽玛噪声的干扰下,针对给定概率分布的时变参数,本方法均能实现系统状态的估计和模型参数的辨识。
- 谢国张丹黑新宏钱富才曹源蔡伯根高橋聖望月宽
- 关键词：高速列车状态估计参数辨识
- 基于GMP算法的安全计算机高速通信的容错设计湦
- 2018年
- 安全计算机普遍采用分布式冗余结构但未有相应的容错管理机制,文章采用基于时间触发机制的通信方式,提出基于GMP(Group Membership Protocol)算法的高速通信容错机制。在2乘2取2结构的安全计算机平台上对容错机制进行了验证,结果表明,该机制对安全计算机通信的容错性有明显的优化效果。
- 杨则云杜一帆张玉琢曹源
- 关键词：安全计算机容错设计
- 一种高速列车有限时间自适应协调控制方法及系统
- 本发明涉及一种高速列车有限时间自适应协调控制方法及系统，先构建高速列车的多质点动力学模型，并利用Lipschitz连续映像算法和径向基函数神经网络对多质点动力学模型中的不确定参数进行估计，得到估计后模型，同时根据期望运行...
- 宿帅王迪韩连鸽曹源李开成刘宏杰吕继东阴佳腾
- 文献传递
- RSSP-II安全通信协议密钥管理机制的管理方法
- 本发明提供了一种RSSP‑II安全通信协议密钥管理机制的管理方法。该方法包括：当一个集群中各个节点设备存储的验证密钥到达其更新时间时，各个节点设备利用设定的投票机制选举出主节点设备；所述主节点设备生成新的验证密钥，利用公...
- 马连川廉获珍李开成曹源
- 文献传递
- 轨道交通信号控制系统反应式故障-安全机制的实现方法
- 本发明实施例提供了一种轨道交通信号控制系统反应式故障‑安全机制的实现方法。该方法包括：将轨道交通信号控制系统分为输入单元、逻辑运算单元、通信单元、输出合成单元、输出驱动单元和安全监视器，在逻辑运算单元和安全监视器之间设置...
- 马连川曹源李开成唐涛
- 文献传递
- 一种虚拟编组列车队形控制方法、系统、电子设备及介质
- 本发明涉及一种虚拟编组列车队形控制方法、系统、电子设备及介质，具体涉及轨道交通技术领域。所述方法包括根据当前时刻领航列车的控制量以及单元列车的状态判断预设事件触发机制是否被触发；根据判断结果选择基于列车运行环境模型、当前...
- 宿帅刘亚飞唐涛曹源郜春海孙永奎吕继东刘宏杰柴铭王伟杨旭文
