王恪铭

作品数：20被引量：90H指数：7
导出分析报告
供职机构：西南交通大学更多>>
发文主题：形式化方法形式化验证B方法传感器集成传感器更多>>
发文领域：交通运输工程自动化与计算机技术经济管理社会学更多>>
发文期刊：《铁路通信信号工程技术》《数学的实践与认识》《综合运输》《西南交通大学学报》更多>>
所获基金：国家自然科学基金中央高校基本科研业务费专项资金教育部“新世纪优秀人才支持计划”四川省学术和技术带头人培养资金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于状态图转形式化B模型的安全苛求系统开发方法
《计算机工程》2024年第11期173-186,共14页赵大地 王恪铭 
四川省自然科学基金(2022NSFSC0464);成都市软科学研究项目(2023-RK00-00084-ZF)。
形式化方法精确且严格,较多应用于安全苛求系统开发,但目前仍存在学习成本高、使用复杂、重用性低等问题。常用的非形式化状态图模型虽易于使用却缺乏严格验证。针对这些问题,提出一种将状态图SCXML模型转译为形式化B模型的模型转化方法...
关键词：软件功能安全 形式化方法 模型转化 SCXML状态图 B方法 
基于近期文字极性分配的学习子句评估算法
《计算机工程与科学》2023年第11期1941-1948,共8页冯心妍 吴贯锋 张丁荣 王恪铭 
国家自然科学基金(62106206)。
为了维护学习子句数据库的大小,并以合理的成本执行单元传播,在SAT求解器求解过程中需要对学习子句进行评估,从而删除对求解过程无用的子句。因此,需要对学习子句数据库进行动态管理,包含对学习子句的分析和删除等,并提出新的评估子句...
关键词：SAT问题 子句评估策略 CDCL 学习子句 
基于知识图谱和故障树的高速铁路事故致因分析被引量：2
《铁路计算机应用》2023年第7期14-18,共5页张丁荣 王恪铭 冯心妍 
四川省自然科学基金(2022NSFSC0464)。
针对高速铁路(简称:高铁)事故开放共享程度不高,数据条块化、垂直化,信息碎片化等问题,基于知识图谱构建高铁事故的本体层及数据层,实现事故数据的资源整合,使用图数据库表达事故致因逻辑关系,通过Python编程生成高铁事故致因故障树,完...
关键词：高速铁路 事故致因 知识图谱 故障树 事故分析 
基于形式化方法的平交道口控制系统安全设计被引量：1
《西南交通大学学报》2023年第1期109-116,共8页王霞 王恪铭 徐扬 唐伟健 
国家自然科学基金(61976130,61673320);四川省科技计划(2022NSFSC0464)。
铁路平交道口控制系统是一种典型的安全苛求系统,为提高铁路平交道口的安全性,提出一个能适应双线双向接车的自动控制系统.首先,分析现有铁路平交道口的作业流程,利用新的控制系统解决现有系统中常见的三个问题,即出清检查、制动距离限...
关键词：平交道口 控制系统 需求规范 安全苛求系统 形式化方法 
基于B方法的道岔控制系统形式化建模与验证被引量：2
《铁路通信信号工程技术》2022年第6期5-11,共7页刘宁 韩程 王峥 侯锡立 王恪铭 
国家重点研发计划资助项目(2016YFB1200602)。
为解决目前安全苛求系统研发中的功能安全问题,以用于轨旁设备联锁控制的道岔控制系统为研究对象,基于系统需求规范,使用形式化软件开发方法(B方法)对系统的功能逻辑建立形式化模型,完成对需求规范、系统功能及决策过程的验证,最终生成...
关键词：道岔控制系统 B方法 形式化验证 代码生成 
基于B方法的轨道交通控制系统配置数据的形式化验证被引量：3
《铁路通信信号工程技术》2022年第5期7-16,共10页程鹏 王恪铭 王峥 姚文华 韩程 
国家重点研发计划项目(2016YFB1200602)。
轨道交通控制系统对安全性和可靠性要求极高,其正常运行依赖于正确的配置数据,因而采用有效的方法保证配置数据的正确性显得十分重要。以轨道交通控制系统的配置数据为研究对象,选取道岔、信号机、轨道区段、进路等站场型信号设备数据...
关键词：轨道交通控制系统 配置数据 B方法 形式化验证 
车站联锁系统行为验证与数据确认的形式化方法被引量：5
《西南交通大学学报》2021年第3期587-593,610,共8页王恪铭 王霞 程鹏 刘宁 张传东 
国家自然科学基金(71502146,61673320);中央高校基本科研业务费专项资金(2682017ZT12)。
车站联锁系统是一种典型的基于数据驱动的安全苛求系统,开发过程中需要对系统行为进行验证并需确认数据的正确性.为此,通过分析联锁系统的设计规范,基于RODIN平台并使用Event-B语言,辅助使用UML(unified modeling language)图工具快速...
关键词：车站联锁系统 形式化验证 定理证明 数据确认 功能仿真 测试 
基于形式化方法的道口控制系统规范建模与验证被引量：5
《西南交通大学学报》2019年第3期573-578,603,共7页王恪铭 王峥 
国家自然科学基金资助项目(71502146,61673320);中央高校基本科研业务费资助项目(2682017ZT12)
为了增强铁路道口控制系统设计的可靠性,使用一种形式化方法对该系统进行建模与验证.基于道口管理规范,在分析系统各类属性与事件流程的基础上,使用 UML 图方法并结合精化策略建立了系统各层的 Event-B语言模型.通过对不变式的证明义务...
关键词：铁路运输 铁路道口 需求规范 形式化方法 系统设计 模型验证 
道口管理系统多参数的形式化建模与验证被引量：2
《综合运输》2019年第2期65-72,共8页王霞 刘宁 王恪铭 
国家自然科学基金(71502146;61673320);中央高校基本科研业务费项目(2682017ZT12)
铁路平交道口作为铁路安全的瓶颈,其作业流程的缺陷是导致安全事故发生的重要原因之一。而现有道口管理规范大部分只针对单线接车,对于双线双向接车没有给出详细的规范。为了丰富实际流程,基于道口管理规范,探讨双线双向道口连续接车的...
关键词：平交道口 双线双向 多参数 安全 模型验证 
水平穿越理论在库存控制研究中的应用被引量：2
《控制工程》2015年第6期1235-1241,共7页王恪铭 马祖军 周愉峰 
国家自然科学基金(71502146;90924012;71090402);中央高校基本科研业务费专项资金资助项目(SWJTU11CX152;2682014CX012EM);教育部新世纪优秀人才支持计划资助项目(NCET-10-0706);四川省学术和技术带头人培养资金项目(川人社办发[2011]441号)
库存控制一直是工业工程研究领域关注的焦点之一。水平穿越理论巧妙地建立起了库存系统中入库、需求、在库物品库龄等变量之间的联系,为复杂随机系统状态属性的动态性分析提供了一种新的理论工具。以M/G/1队列为例引出了水平穿越理论的...
关键词：库存控制 水平穿越理论 随机系统 虚拟到期过程 综述 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部