王恪铭
- 作品数：25 被引量：76H指数：6
- 供职机构：西南交通大学更多>>
- 发文基金：国家自然科学基金中央高校基本科研业务费专项资金教育部“新世纪优秀人才支持计划”更多>>
- 相关领域：交通运输工程经济管理自动化与计算机技术社会学更多>>
- 城市轨道交通机电设备安全评价体系的研究
- 2011年
- 本文分析了机电设备在城市轨道交通运营中产生的风险与安全评价存在的问题，指出进行全生命周期安全评价的重要性。结合IEC62278标准，对全生命周期内RAMS管理的内容与安全评价方法进行了阐述，并以新造机车车辆上线运营评价过程为例进行了说明。
- 薛维清张在明王恪铭
- 关键词：安全评估RAMS
- 基于卫星云图的风矢场度量模型与自适应算法
- 2013年
- 探讨了基于卫星云图度量风矢的模型与算法.首先,构建三维地球坐标系和二维帧平面坐标,实现了经纬度与灰度矩阵的行列号的相互转换;其次,近似修正定位目标云,采用最大交叉相关系数选择最优化匹配云,进而建立固定尺度下风矢度量模型;再其次,根据该先验信息构造变尺度的搜索空间,设计自适应算法加快搜索进程和提高精度;最后,挖掘预报文件中的温度-压强关系,分段拟合风矢的压强和所在等压面层数.
- 陈崇双种鹏云王恪铭薛长虹
- 关键词：卫星云图自适应
- 基于B方法的道岔控制系统形式化建模与验证
- 2022年
- 为解决目前安全苛求系统研发中的功能安全问题,以用于轨旁设备联锁控制的道岔控制系统为研究对象,基于系统需求规范,使用形式化软件开发方法(B方法)对系统的功能逻辑建立形式化模型,完成对需求规范、系统功能及决策过程的验证,最终生成C语言形式的可执行代码。在分析系统各类属性与联锁逻辑关系的基础上,使用一阶逻辑和公理化集合论的数学方式,严格定义系统各层的B语言模型。通过对不变式的证明义务进行证明,验证系统中的安全、时间特性,检查出需求规范中的缺陷,提出增强系统稳健性的改进方案,进一步修正系统设计原型。通过不变式冲突和死锁检验进一步确认系统的正确性。研究表明,在所有证明义务通过机器自动证明和手动交互式证明的验证后,B模型自动生成的C代码能够正常运行并且功能满足实际联锁需求。将形式化方法应用于系统开发的全过程,所使用的技术路线及开发方法可以有效提高道岔控制系统的安全可靠性,并减少编码阶段工作量,对其他安全苛求系统的开发有重要参考意义。
- 刘宁韩程王峥侯锡立王恪铭
- 关键词：B方法形式化验证代码生成
- 道口管理系统多参数的形式化建模与验证被引量：2
- 2019年
- 铁路平交道口作为铁路安全的瓶颈,其作业流程的缺陷是导致安全事故发生的重要原因之一。而现有道口管理规范大部分只针对单线接车,对于双线双向接车没有给出详细的规范。为了丰富实际流程,基于道口管理规范,探讨双线双向道口连续接车的问题,同时考虑道口接车作业流程中存在的异常,提出流程方案。分析系统环境属性、功能属性和安全属性,并利用UPPAAL时间自动机进行建模仿真,对模型的属性进行验证,根据验证结果确认方案流程的可行性。结果表明,本文所提出的多参数道口作业流程更符合实际情况,改进了多列车接车流程,并提出了接车过程中异常情况下的应对方案。
- 王霞刘宁王恪铭
- 关键词：平交道口
- 基于B方法的轨道交通控制系统配置数据的形式化验证
- 2022年
- 轨道交通控制系统对安全性和可靠性要求极高,其正常运行依赖于正确的配置数据,因而采用有效的方法保证配置数据的正确性显得十分重要。以轨道交通控制系统的配置数据为研究对象,选取道岔、信号机、轨道区段、进路等站场型信号设备数据为研究案例,基于各个配置数据的站场型数据结构,先用自然语言描述各个配置数据和配置数据需要满足的静态规则,再使用B语言形式规约各个配置数据及其所需要满足的静态规则,建立静态形式化模型,最后使用ProB模型检验工具,验证分析已生成的各个配置数据是否满足静态规则。验证结果表明,使用B方法对轨道交通控制系统配置数据进行形式化验证,有效提高配置数据正确性,进而为轨道交通控制系统的正常运行提供可靠保障。
- 程鹏王恪铭王峥姚文华韩程
- 关键词：配置数据B方法形式化验证
- 水平穿越理论在库存控制研究中的应用被引量：2
- 2015年
- 库存控制一直是工业工程研究领域关注的焦点之一。水平穿越理论巧妙地建立起了库存系统中入库、需求、在库物品库龄等变量之间的联系,为复杂随机系统状态属性的动态性分析提供了一种新的理论工具。以M/G/1队列为例引出了水平穿越理论的基本原理,通过虚拟到期过程分析系统点的变化建立其在易腐品库存控制中的应用模型,并基于恒定变质率的易逝品库存模型推导了其在普通物品库存控制中的应用过程。按照入库、需求、提前期等变量表现形式的不同,文对该方法在库存控制研究中的应用进行了系统性的回顾,最后指出了进一步的研究方向。
- 王恪铭马祖军周愉峰
- 基于库存结构特性的血荒血液转运问题
- 临床用血来源主要依靠捐献,学生及进城务工人员等流动性人群是献血的主体人群之一。受寒暑假期间流动性人口返乡及酷热、严寒对人们出行的影响,部分城市寒暑期间的血液采集量大大减少。若此期间这些城市临床用血量较多,将不可避免地发生...
- 王恪铭马祖军
- 关键词：血荒应急保障易腐品
- 文献传递
- 中国高铁联调联试与运行试验现状分析被引量：6
- 2013年
- 介绍了高铁联调联试与运行试验的作用和内容。对联调联试与运行试验过程中存在的进行时间紧凑、缺少其他相关部门的参与、人员演练需要加强、缺少独立第三方的安全评估等现状问题进行分析,提出了组织计划统筹、测试案例库构建、系统状态评价等需深入研究的要点,并建议进行全生命周期的RAMS(可靠性、可用性、可维护性和安全性)评价,为我国高铁联调联试与运行试验体系的进一步完善提供参考。
- 王恪铭薛维清许鹏
- 关键词：高速铁路联调联试
- 铁路既有线事故多发路段智能防护系统
- 本实用新型公开了一种铁路既有线事故多发路段智能防护系统，由AT80C51主控芯片、STC12C5A32S2系统板、APC250无线模块、GSM发短信模块、无线双鉴探测器、LM258电压跟随器、L298N驱动模块、警报器、...
- 王利雷石小林金宗李王子兰王恪铭
- 文献传递
- 有容量限制的可靠性固定费用选址问题被引量：9
- 2015年
- 设施网络可能面临各种失灵风险,而设施选址属于战略决策问题,短期内难以改变,因而在选址设计时需要充分考虑设施的非完全可靠性。本文针对无容量限制的可靠性固定费用选址问题进行扩展,进一步考虑设施的容量约束,基于非线性混合整数规划方法建立了一个有容量限制的可靠性固定费用选址问题优化模型。针对该模型的特点,应用线性化技术进行模型转化,并设计了一种拉格朗日松弛算法予以求解。通过多组算例分析,验证了算法的性能。算例分析结果表明设施失灵风险和设施容量对于选址决策有显著影响,因而在实际的选址决策过程中有必要充分考虑设施的失灵风险及容量约束。
- 周愉峰马祖军王恪铭
- 关键词：可靠性拉格朗日松弛
