马权

作品数：36被引量：83H指数：5
导出分析报告
供职机构：中国核动力研究设计院更多>>
发文主题：安全级核电厂DCS核安全级核电厂安全更多>>
发文领域：自动化与计算机技术核科学技术电气工程机械工程更多>>
发文期刊：《自动化应用》《工程科学与技术》《自动化仪表》《重庆理工大学学报（自然科学）》更多>>
所获基金：四川省杰出青年科技基金国家自然科学基金陕西省自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
同步数据流语言pre算子在Coq中的翻译验证
《西华大学学报(自然科学版)》2025年第2期87-95,共9页李春燕 赵长名 杨斐 马权 侯荣彬 
四川省重点研发计划项目“面向电力领域的规划评审知识库智能构建关键技术研究”(2021YFG0307);四川省科技计划资助(2019ZDZX0001)。
文章对同步数据流语言的pre算子进行详细处理,除了将pre算子翻译至fby算子,还对pre算子在第一周期的值根据其输入参数类型的不同做了相应的初始化,解决了pre算子第一周期为空的问题。输入参数为整型和布尔型,其第一周期初始化为false,...
关键词：同步数据流语言 可信编译器 形式化验证 
核电厂仪控系统测试设计方法研究
《自动化应用》2025年第1期273-276,共4页肖璇 瞿铭君 贺先建 刘明星 马权 
在以往的测试工作中,测试设计的质量基本依赖于测试人员自身的从业经验、学习能力,当系统的规模越来越大,业务流程越来越复杂,提升测试设计的质量以及保证需求覆盖率就显得尤为重要。在此基础上,论述了MBT(基于模型的测试)方法,分析其...
关键词：核电厂 仪控系统 MBT方法 
核能装备安全控制代码自动生成软件研发与应用的构想与成果展望
《工程科学与技术》2024年第2期1-16,共16页刘明星 马权 吴鹏 杨斐 侯荣彬 王俊峰 黄滟鸿 吴延群 
国家重点研发计划项目(2022YFB3305200);四川省重大科技专项(2022ZDZX0008)。
目前,核能装备等安全关键系统中软件的作用越来越重要,对系统的安全稳定运行具有至关重要的影响。安全关键软件规模的增长和复杂度的增加给设计和开发高可信的软件带来了新的挑战,亟需新的软件开发和验证方法与模式。针对此需求,本文围...
关键词：核能装备 代码生成 形式化 模型驱动 
基于模块化设计的堆外核测量系统研究
《自动化仪表》2023年第S01期228-231,共4页宁星 李昆 李昂 彭浩 马权 
作为核反应堆测量系统的重要组成之一,堆外核测量系统能够实时连续测得反应堆物理参数。核电站堆外核测量数字仪表控制系统的设计需要采用模块化的方法来提高设计效率,以提升设备的可靠性和可维护性。设计了堆外核测量系统的模块化构建...
关键词：堆外核测量 模块化 源量程 中间量程 功率量程 
核电厂工控网络私有通信协议测试方法研究被引量：1
《自动化仪表》2023年第S01期235-239,共5页瞿铭君 马权 刘明星 贺先建 贾垚 
国家重点研发计划基金资助项目(2022YFB3305200)。
核电厂的工控网络结构复杂、设备众多,且大部分采用商业秘密的私有通信协议。通信效率和通信质量是常见的系统故障原因。为解决私有通信协议难以测试的问题,通过研究核电厂工控网络私有协议的特征、应用场景和通信的质量属性,采用嵌套...
关键词：核电厂 工控网络 私有通信协议 通信质量 类型⁃长度⁃数据 测试方法 
同步数据流语言输入结构体的可信翻译
《计算机系统应用》2023年第6期269-277,共9页刘莛杨 吴锡 杨斐 侯荣彬 马权 王汝桥 梁根华 
四川省科技厅科技计划(2020JDTD0020,2022YFG0042);四川科技厅重大科技专项(2019ZDZX0007,2022ZDZX0008)。
为最大程度地减少同步数据流语言编译过程中由编译器引入的错误,需要利用形式化方法自动生成代码,保证编译器产生的代码能够应用于核能仪控系统.本研究使用定理证明工具Coq,对同步数据流语言Lustre到Clight的主节点输入结构翻译阶段涉...
关键词：同步数据流语言 形式化验证 仪控系统 可信编译器 
核电厂安全级DCS机柜可燃物分析及火灾仿真模拟被引量：1
《仪器仪表用户》2022年第8期52-58,共7页高楠 刘明明 覃吴 马权 肖林 郑兴 
安全级DCS是核电厂的安全重要部分,对设备的安全性及可靠性要求较高。火灾作为影响其安全可靠运行的内部事件,它的发生将会导致DCS设备故障和误操作。为预防火灾发生及限制火灾后果,使火灾产生的影响降到最低,对安全级DCS机柜提前进行...
关键词：安全级DCS机柜 可燃物 火灾仿真 
电子连接器微动摩擦磨损问题研究综述被引量：6
《重庆理工大学学报（自然科学）》2021年第10期210-223,共14页王东伟 刘明星 陈晓 曹善成 马权 
国家自然科学基金项目(51705422);四川省杰出青年科技基金项目(2020JDJ10068);陕西省自然科学基础研究计划(2020JQ-109)。
电子连接器在实际工作过程中,由于受到温度变化与振动激励等因素的影响,在其接触位置会产生微动摩擦磨损行为,导致接触电阻发生瞬时增大的现象,从而导致连接器断路失效,因此确保电子连接器的正常工作对保证电子系统的运行稳定性和可靠...
关键词：电子连接器 微动 摩擦磨损 接触电阻 表面分析 
核电站安全级DCS机柜结构抗震分析及试验研究被引量：7
《重庆理工大学学报（自然科学）》2021年第10期224-232,共9页刘明星 杨静远 王东伟 马权 吴志强 
国家自然科学基金项目(52075460);四川省杰出青年科技基金项目(2020JDJQ0068)。
对核电安全级数字化控制系统(SDCS)机柜结构进行详细设计,采用有限元分析中的响应谱分析法,对该设备的抗震特性进行校核。加工出设备样机进行抗震性能鉴定试验,对地震作用下机柜的结构响应特性与抗震性能进行分析。研究结果表明:该核电...
关键词：核电站 仪控系统 机柜 地震 响应谱分析 
核电厂主控室BUP盘台散热机理研究被引量：3
《自动化仪表》2021年第S01期168-172,共5页杨宗昊 马权 刘明明 武有光 王恺 
后备盘(BUP)主要作为核电厂主控制室数字化技术失效后的备用手段,用于安全停堆并将反应堆维持在冷停堆水平以及事故工况下处理。后备盘实现报警、显示和控制三类功能,其安全、可靠性对于保障反应堆安全停堆十分重要。开展对核电厂后备...
关键词：核电厂 主控室 后备盘 自然对流 辐射换热 散热分析 机理研究 计算流体力学 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部