突发事件应急血液调剂问题的两阶段决策方法 被引量：7

1

作者 王恪铭 马祖军 周愉峰 《交通运输系统工程与信息》 EI CSCD 北大核心 2013年第1期169-178,共10页

基于血液的生理特性及应急保障特性,以应急血液最晚运达时间最小、接收时的最低新鲜度最大、运输总费用最小为目标,建立考虑多品种、多式联运的应急血液调剂出救点选择,即运输路线安排问题两阶段决策优化模型,并设计了一种包含局部邻域... 基于血液的生理特性及应急保障特性,以应急血液最晚运达时间最小、接收时的最低新鲜度最大、运输总费用最小为目标,建立考虑多品种、多式联运的应急血液调剂出救点选择,即运输路线安排问题两阶段决策优化模型,并设计了一种包含局部邻域优化的遗传,即禁忌混合算法进行求解.以"5.12"汶川大地震应急血液保障为背景构建算例,分析验证了两阶段决策方法在最晚抵达时间、新鲜度均值、运输总费用、血液积压量等指标上的优越性. 展开更多

关键词 物流工程 血液调剂 两阶段决策 出救点选择 运输路线安排

在线阅读 下载PDF 职称材料

灾后重建地区新增血站的选址问题研究 被引量：4

2

作者 王恪铭 马祖军 郑斌 《运筹与管理》 CSSCI CSCD 北大核心 2012年第1期136-141,共6页

根据灾后重建地区血液保障体系建设的实际情况,考虑血站间的依附系数对血站布局的影响,建立了一种p-中值模型用来解决新增血站的选址问题,并设计了一种遗传-禁忌混合算法对模型进行求解。之后以汶川大地震灾区——四川省阿坝州为例进行... 根据灾后重建地区血液保障体系建设的实际情况,考虑血站间的依附系数对血站布局的影响,建立了一种p-中值模型用来解决新增血站的选址问题,并设计了一种遗传-禁忌混合算法对模型进行求解。之后以汶川大地震灾区——四川省阿坝州为例进行了实例分析,得到了不同p值与依附系数下的新增血站选址方案,以期为相关部门规划灾后重建地区的血液保障体系提供理论依据与决策参考。 展开更多

关键词 灾后重建 设施选址问题 血站 依附系数 遗传—禁忌混合算法

在线阅读 下载PDF 职称材料

水平穿越理论在库存控制研究中的应用 被引量：2

3

作者 王恪铭 马祖军 周愉峰 《控制工程》 CSCD 北大核心 2015年第6期1235-1241,共7页

库存控制一直是工业工程研究领域关注的焦点之一。水平穿越理论巧妙地建立起了库存系统中入库、需求、在库物品库龄等变量之间的联系,为复杂随机系统状态属性的动态性分析提供了一种新的理论工具。以M/G/1队列为例引出了水平穿越理论的... 库存控制一直是工业工程研究领域关注的焦点之一。水平穿越理论巧妙地建立起了库存系统中入库、需求、在库物品库龄等变量之间的联系,为复杂随机系统状态属性的动态性分析提供了一种新的理论工具。以M/G/1队列为例引出了水平穿越理论的基本原理,通过虚拟到期过程分析系统点的变化建立其在易腐品库存控制中的应用模型,并基于恒定变质率的易逝品库存模型推导了其在普通物品库存控制中的应用过程。按照入库、需求、提前期等变量表现形式的不同,文对该方法在库存控制研究中的应用进行了系统性的回顾,最后指出了进一步的研究方向。 展开更多

关键词 库存控制 水平穿越理论 随机系统 虚拟到期过程 综述

在线阅读 下载PDF 职称材料

中国高铁联调联试与运行试验现状分析 被引量：7

4

作者 王恪铭 薛维清 许鹏 《城市轨道交通研究》 北大核心 2013年第10期11-14,17,共5页

介绍了高铁联调联试与运行试验的作用和内容。对联调联试与运行试验过程中存在的进行时间紧凑、缺少其他相关部门的参与、人员演练需要加强、缺少独立第三方的安全评估等现状问题进行分析,提出了组织计划统筹、测试案例库构建、系统状... 介绍了高铁联调联试与运行试验的作用和内容。对联调联试与运行试验过程中存在的进行时间紧凑、缺少其他相关部门的参与、人员演练需要加强、缺少独立第三方的安全评估等现状问题进行分析,提出了组织计划统筹、测试案例库构建、系统状态评价等需深入研究的要点,并建议进行全生命周期的RAMS(可靠性、可用性、可维护性和安全性)评价,为我国高铁联调联试与运行试验体系的进一步完善提供参考。 展开更多

关键词 高速铁路 联调联试 运行试验

在线阅读 下载PDF 职称材料

车站联锁系统行为验证与数据确认的形式化方法 被引量：5

5

作者 王恪铭 王霞 +2 位作者 程鹏 刘宁 张传东 《西南交通大学学报》 EI CSCD 北大核心 2021年第3期587-593,610,共8页

车站联锁系统是一种典型的基于数据驱动的安全苛求系统,开发过程中需要对系统行为进行验证并需确认数据的正确性.为此,通过分析联锁系统的设计规范,基于RODIN平台并使用Event-B语言,辅助使用UML(unified modeling language)图工具快速... 车站联锁系统是一种典型的基于数据驱动的安全苛求系统,开发过程中需要对系统行为进行验证并需确认数据的正确性.为此,通过分析联锁系统的设计规范,基于RODIN平台并使用Event-B语言,辅助使用UML(unified modeling language)图工具快速建立系统的初始模型,以自动生成模型文件并描述出各系统属性与事件流程;基于精化策略分层建模,对各层模型的证明义务进行定理证明,验证了系统的各项属性,得出可靠的通用功能模型;基于实例车站,对模型的公理进行了验证,同时实现了对联锁数据的确认;通过形式化验证过程,结合给定场景联锁数据的有效性确认,发现并纠正系统需求及分析过程中造成的潜在行为缺陷;通过功能仿真与验收测试,进一步确认了通用模型与联锁数据的正确性.结果表明:本文方法提高了基于模型开发过程的准确性与层次性,验证了系统通用行为状态,且结合公理验证,实现了联锁数据的确认,并能基于模型进行功能场景仿真与测试,从而可进一步提高系统通用功能原型的可靠性. 展开更多

关键词 车站联锁系统 形式化验证 定理证明 数据确认 功能仿真 测试

在线阅读 下载PDF 职称材料

基于累积前景理论的随机异质道路网配流模型 被引量：7

6

作者 吕彪 刘海旭 +2 位作者 蒲云 王恪铭 郭茜 《西南交通大学学报》 EI CSCD 北大核心 2015年第1期173-182,共10页

针对出行者择路行为的有限理性和风险取向的差异性,将出行者分为4类:分别以可靠度低于50%的出行时间预算、期望出行时间、可靠度高于50%的出行时间预算和超预算期望出行时间作为选择路径的参考点.推导了需求服从对数正态分布、路段通行... 针对出行者择路行为的有限理性和风险取向的差异性,将出行者分为4类:分别以可靠度低于50%的出行时间预算、期望出行时间、可靠度高于50%的出行时间预算和超预算期望出行时间作为选择路径的参考点.推导了需求服从对数正态分布、路段通行能力服从均匀分布条件下各类出行者的前景值计算公式,建立了用等价变分不等式表示的均衡模型.算例结果表明,累积前景理论参数设置对配流具有重要影响,随着收益敏感系数的增大,各类出行者的路径前景均呈增大趋势,且第3、4类出行者比第1、2类出行者变化更显著;随着损失敏感系数和损失规避系数的增大,各类出行者的路径前景均呈减少趋势,且第1、2类出行者比第3、4类出行者变化更显著;随着感知概率系数的增大,第1、2类出行者的路径前景呈减小趋势,而第3、4类出行者的路径前景呈增大趋势. 展开更多

关键词 交通工程 交通分配 累积前景理论 变分不等式 出行时间预算 超预算期望出行时间 有限理性

在线阅读 下载PDF 职称材料

有容量限制的可靠性固定费用选址问题 被引量：9

7

作者 周愉峰 马祖军 王恪铭 《运筹与管理》 CSSCI CSCD 北大核心 2015年第3期6-13,共8页

设施网络可能面临各种失灵风险,而设施选址属于战略决策问题,短期内难以改变,因而在选址设计时需要充分考虑设施的非完全可靠性。本文针对无容量限制的可靠性固定费用选址问题进行扩展,进一步考虑设施的容量约束,基于非线性混合整数规... 设施网络可能面临各种失灵风险,而设施选址属于战略决策问题,短期内难以改变,因而在选址设计时需要充分考虑设施的非完全可靠性。本文针对无容量限制的可靠性固定费用选址问题进行扩展,进一步考虑设施的容量约束,基于非线性混合整数规划方法建立了一个有容量限制的可靠性固定费用选址问题优化模型。针对该模型的特点,应用线性化技术进行模型转化,并设计了一种拉格朗日松弛算法予以求解。通过多组算例分析,验证了算法的性能。算例分析结果表明设施失灵风险和设施容量对于选址决策有显著影响,因而在实际的选址决策过程中有必要充分考虑设施的失灵风险及容量约束。 展开更多

关键词 设施选址 设施失灵 可靠性 容量限制 拉格朗日松弛

在线阅读 下载PDF 职称材料

基于形式化方法的道口控制系统规范建模与验证 被引量：6

8

作者 王恪铭 王峥 《西南交通大学学报》 EI CSCD 北大核心 2019年第3期573-578,603,共7页

为了增强铁路道口控制系统设计的可靠性,使用一种形式化方法对该系统进行建模与验证.基于道口管理规范,在分析系统各类属性与事件流程的基础上,使用 UML 图方法并结合精化策略建立了系统各层的 Event-B语言模型.通过对不变式的证明义务... 为了增强铁路道口控制系统设计的可靠性,使用一种形式化方法对该系统进行建模与验证.基于道口管理规范,在分析系统各类属性与事件流程的基础上,使用 UML 图方法并结合精化策略建立了系统各层的 Event-B语言模型.通过对不变式的证明义务进行证明,验证了系统设计中的安全、时间特性,检查出了需求规范分析中的缺陷,提出了增强系统稳健性的改进方案,修正了系统的设计原型.最后,通过不变式冲突与死锁检验进一步确认了模型的正确性.研究表明文中方法提高了形式化建模过程的准确性与层次性,且确认得出目前规范中存在列车驶入道口时不能确保道口出清的缺陷,证实了使用本文形式化流程可以验证道口控制系统的需求规范并形成可靠的设计原型,从而可提高铁路道口的安全性. 展开更多

关键词 铁路运输 铁路道口 需求规范 形式化方法 系统设计 模型验证

在线阅读 下载PDF 职称材料

基于形式化方法的平交道口控制系统安全设计 被引量：2

9

作者 王霞 王恪铭 +1 位作者 徐扬 唐伟健 《西南交通大学学报》 EI CSCD 北大核心 2023年第1期109-116,共8页

铁路平交道口控制系统是一种典型的安全苛求系统,为提高铁路平交道口的安全性,提出一个能适应双线双向接车的自动控制系统.首先,分析现有铁路平交道口的作业流程,利用新的控制系统解决现有系统中常见的三个问题,即出清检查、制动距离限... 铁路平交道口控制系统是一种典型的安全苛求系统,为提高铁路平交道口的安全性,提出一个能适应双线双向接车的自动控制系统.首先,分析现有铁路平交道口的作业流程,利用新的控制系统解决现有系统中常见的三个问题,即出清检查、制动距离限制、连续接车中防护门短时间开放问题;其次,基于Event-B语言以及精化策略对设计的自动控制系统建立形式化模型;最后,检查证明义务以验证需求属性是否被满足,并应用动画器Animation展示系统功能的正确性.结果显示:相比传统的道口管理系统,本文提出的自动控制系统增加了双线连续接车功能,且使用形式化建模和验证,避免系统设计中存在的二义性,对平交道口安全管理有一定的参考意义. 展开更多

关键词 平交道口 控制系统 需求规范 安全苛求系统 形式化方法

在线阅读 下载PDF 职称材料

基于状态图转形式化B模型的安全苛求系统开发方法 被引量：1

10

作者 赵大地 王恪铭 《计算机工程》 CAS CSCD 北大核心 2024年第11期173-186,共14页

形式化方法精确且严格,较多应用于安全苛求系统开发,但目前仍存在学习成本高、使用复杂、重用性低等问题。常用的非形式化状态图模型虽易于使用却缺乏严格验证。针对这些问题,提出一种将状态图SCXML模型转译为形式化B模型的模型转化方法... 形式化方法精确且严格,较多应用于安全苛求系统开发,但目前仍存在学习成本高、使用复杂、重用性低等问题。常用的非形式化状态图模型虽易于使用却缺乏严格验证。针对这些问题,提出一种将状态图SCXML模型转译为形式化B模型的模型转化方法,从而结合状态图的易用性降低在安全苛求软件系统开发过程中使用形式化方法的复杂度。该转译方法分为映射规则、同步语义和程序实现3个部分,以保证自动转译后的模型自身含义与基础语义不变。在平交道口控制系统开发案例分析中,该方法根据图元模型自动生成了对应形式化模型,通过对形式化模型的分析改进系统在功能安全、数据安全、隐藏分支3个方面的非安全因素,并保证从需求至模型的一致性,证明了该方法可降低形式化方法建模难度,提高软件系统的正确性、可靠性与安全性。 展开更多

关键词 软件功能安全 形式化方法 模型转化 SCXML状态图 B方法

在线阅读 下载PDF 职称材料

基于近期文字极性分配的学习子句评估算法

11

作者 冯心妍 吴贯锋 +1 位作者 张丁荣 王恪铭 《计算机工程与科学》 CSCD 北大核心 2023年第11期1941-1948,共8页

为了维护学习子句数据库的大小,并以合理的成本执行单元传播,在SAT求解器求解过程中需要对学习子句进行评估,从而删除对求解过程无用的子句。因此,需要对学习子句数据库进行动态管理,包含对学习子句的分析和删除等,并提出新的评估子句... 为了维护学习子句数据库的大小,并以合理的成本执行单元传播,在SAT求解器求解过程中需要对学习子句进行评估,从而删除对求解过程无用的子句。因此,需要对学习子句数据库进行动态管理,包含对学习子句的分析和删除等,并提出新的评估子句有用性的方法,从而保留对求解最有促进作用的学习子句,以提高求解效能。从捕获学习子句近期的极性分配出发,结合现代求解器的回溯环节中常用到的基于字面极性的启发式方法——进度节省,来推断给定学习子句与剩余搜索步骤的相关性。以最先进的2种基于冲突驱动子句学习算法CDCL的求解器Glucose和MapleLCMDistChronoBT求解器为基准,针对其在子句评估环节的算法进行改进测试。实验结果表明,这种基于近期文字极性分配的子句评估策略能够普遍提高CDCL串行和并行求解器的求解效率,有效改善了原有求解器在一些问题上求解耗时过长的问题,并在先进求解器的水平上多求解了2个合取范式CNF文件,单个文件的平均求解时间缩短了13~34 s。 展开更多

关键词 SAT问题 子句评估策略 CDCL 学习子句

在线阅读 下载PDF 职称材料

基于网络连接及服务中心选择的高铁路网区域划分方法 被引量：3

12

作者 张强锋 王恪铭 +1 位作者 倪少权 吕红霞 《中国铁道科学》 EI CAS CSCD 北大核心 2018年第4期123-130,共8页

高速铁路路网的区域划分对于区域性运行图的编制具有重要意义。结合路网的邻接特性,并考虑动车储备与检修能力进行区域中心的选择,以区域内的最小连接距离、最大平均连接紧密度为目标,建立高铁路网区域划分混合整数规划模型,并设计向量... 高速铁路路网的区域划分对于区域性运行图的编制具有重要意义。结合路网的邻接特性,并考虑动车储备与检修能力进行区域中心的选择,以区域内的最小连接距离、最大平均连接紧密度为目标,建立高铁路网区域划分混合整数规划模型,并设计向量编码方式的遗传优化求解算法、高铁客运周转量折算方法。最后,以中国铁路总公司所属路网区域构建算例,对比聚类算法说明文中模型与算法的有效性与适应性,分析目标函数权重系数、最大服务半径与最大服务容量约束对划分结果的影响,得出服务半径系数、服务容量系数的设定方法。 展开更多

关键词 高铁路网 区域划分 路网连接 中心选择 向量编码遗传算法 服务半径 服务容量

在线阅读 下载PDF 职称材料