期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
11
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于区块链的电子投票选举系统研究分析
被引量:
13
1
作者
张昕伟
张华
+1 位作者
郭
肖
旺
张雯
《电子技术应用》
北大核心
2017年第11期132-135,共4页
区块链通过分布式公式算法实现去中心化信任,其核心是一个开放的、可编程的分布式数据库,该数据库是全球性的。区块链技术不仅是用在金融交易上,还可以用于记录所有有价值的东西,如财务账目、医疗过程、出生证明、保险理赔、投票等任何...
区块链通过分布式公式算法实现去中心化信任,其核心是一个开放的、可编程的分布式数据库,该数据库是全球性的。区块链技术不仅是用在金融交易上,还可以用于记录所有有价值的东西,如财务账目、医疗过程、出生证明、保险理赔、投票等任何可用代码来表示的东西。分析了区块链技术应用于电子投票系统的可能性,分析采用区块链技术来构建新型电子投票选举系统的优缺点,在此基础上,给出了基于区块链技术的投票选举系统的框架需求分析,并提出了系统架构和设计方案,解决了电子投票选举系统中有关欺诈、欺骗选票的问题,最后给出了区块链在电子投票选举系统中的研究可行性结论,为基于区块链的系统设计与应用提供了新思路。
展开更多
关键词
电子投票
区块链
去中心化
下载PDF
职称材料
基于自适应深度检测的工控安全防护系统设计
被引量:
8
2
作者
郭
肖
旺
闵晓霜
韩庆敏
《电子技术应用》
2019年第1期85-87,91,共4页
为了解决工控防火墙及其他网络防护设备在接口流量过大、资源占用过多时,容易成为响应瓶颈的问题,研究一种基于自适应深度检测的工控安全防护系统。系统安装在被保护设备的上游,实现对工控协议的识别和深度解析,以及工控网络协议的深度...
为了解决工控防火墙及其他网络防护设备在接口流量过大、资源占用过多时,容易成为响应瓶颈的问题,研究一种基于自适应深度检测的工控安全防护系统。系统安装在被保护设备的上游,实现对工控协议的识别和深度解析,以及工控网络协议的深度检测过滤,并根据工控现场网络状态自适应动态调整深度检测算法级别。系统能够处理目前比较流行的各种工控协议,并对之进行深度解析,对工控现场网络起到保护作用。
展开更多
关键词
深度检测
工控安全
自适应
下载PDF
职称材料
基于干扰观测器的复杂非线性系统优化控制方法
3
作者
陈海
郭
肖
旺
+2 位作者
刘琛
封成玉
陈聪
《东南大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2024年第4期1046-1052,共7页
为了提高具有未知干扰的复杂非线性系统的控制性能和运行性能,提出了一种基于干扰观测器的复杂非线性系统优化控制方法(IOCM).该方法设计了一个基于模糊神经网络的模型逼近器来捕捉系统的非线性动力学,并利用干扰观测器来描述系统的未...
为了提高具有未知干扰的复杂非线性系统的控制性能和运行性能,提出了一种基于干扰观测器的复杂非线性系统优化控制方法(IOCM).该方法设计了一个基于模糊神经网络的模型逼近器来捕捉系统的非线性动力学,并利用干扰观测器来描述系统的未知干扰,以获得更准确的系统预测模型.然后,在多目标模型预测控制的框架下,提出了一种具有协同成本函数和多梯度算法的优化控制结构,以综合求解设定点和控制律.采用城市污水处理过程基准仿真平台(BSM1)验证所提方法的有效性.实验结果表明:暴雨天气条件下平均出水水质(EQ)为6711 mg/L、平均运行能耗(EC)为3805 kW·h;对比其他分步实现的优化控制方法,IOCM具有较好的鲁棒性,能够提高非线性系统的优化控制性能.
展开更多
关键词
非线性系统
模型逼近器
干扰观测器
复杂非线性系统优化控制方法
下载PDF
职称材料
基于国密算法的PKI在工控系统中的应用研究
被引量:
6
4
作者
魏珊珊
韩庆敏
+2 位作者
郭
肖
旺
张湾
贡春燕
《计算机与现代化》
2018年第11期1-6,共6页
工业控制系统的全国产化势在必行,迫切地需要一种更为自主安全可靠的身份鉴别方式。工控系统中比较典型的是以PLC为中心的系统,且PKI能够解决通信双方身份的真实性问题。本文研究PKI在以PLC为中心的工控系统中的应用,给出工控系统的证...
工业控制系统的全国产化势在必行,迫切地需要一种更为自主安全可靠的身份鉴别方式。工控系统中比较典型的是以PLC为中心的系统,且PKI能够解决通信双方身份的真实性问题。本文研究PKI在以PLC为中心的工控系统中的应用,给出工控系统的证书认证模型及PKI的部署设计。分析国密算法和PKI体系的结合现状,并从开源框架Open SSL入手,采用引擎机制给出国密算法SM2、SM3扩展到Open SSL中的关键结构体和算法设计。最后针对工控系统设计一款PKI管理系统并开发实现了该系统,为PKI应用到工控系统做了良好铺垫,为工控系统增强身份鉴别的安全性提供了新思路。
展开更多
关键词
工业控制系统
PKI
国密算法
OPENSSL
引擎机制
身份鉴别
下载PDF
职称材料
工业互联网时代的PLC发展趋势研究
被引量:
4
5
作者
原崇蛟
郭
肖
旺
贡春燕
《网络安全与数据治理》
2022年第11期16-21,共6页
近年来,工业互联网、物联网、智能制造等发展趋势迅猛,工业控制领域呈现出新型工业业态模式。在新业态模式下,PLC在设备通信、控制、数据采集等功能上得以提升。通过与云计算、大数据、5G、AI等新技术结合,实现与“智能制造”的融合,PL...
近年来,工业互联网、物联网、智能制造等发展趋势迅猛,工业控制领域呈现出新型工业业态模式。在新业态模式下,PLC在设备通信、控制、数据采集等功能上得以提升。通过与云计算、大数据、5G、AI等新技术结合,实现与“智能制造”的融合,PLC将发展成为一种可编程智能终端,推动制造生产控制系统的自动化,进而助推工业企业的信息化、智能化进程。针对当前PLC技术特点和市场现状进行了分析,对新业态模式下PLC发展路线进行了研究,提出PLC核心技术体系、先进制造能力、产业生态协作三方面发展思路,为我国自主安全PLC产业发展研究提供了支撑。
展开更多
关键词
工业互联网
智能制造
PLC
可编程智能终端
下载PDF
职称材料
工控行业自主可控编程编译工具关键技术研究
被引量:
4
6
作者
郭
肖
旺
陈海
赵德政
《信息技术与网络安全》
2018年第9期13-16,共4页
目前在工控行业中使用的编程编译工具大多是国外产品,软件内部逻辑、软件代码自主可控程度低,存在逻辑炸弹、软件后门等安全问题,严重制约国内工控行业的技术发展。针对关键领域自主可控,在分析编译器、架构设计、领域驱动等技术的基础...
目前在工控行业中使用的编程编译工具大多是国外产品,软件内部逻辑、软件代码自主可控程度低,存在逻辑炸弹、软件后门等安全问题,严重制约国内工控行业的技术发展。针对关键领域自主可控,在分析编译器、架构设计、领域驱动等技术的基础上,研究工控行业中所使用的编程编译工具在国产化自主可控方面的关键应用,提出了基于领域驱动的工控行业编程编译软件架构、工业语言编程编译工具链、异构平台调试技术、国产化基础软硬件平台适配、可信编译五个关键技术研究方向,为工控行业编程编译工具的自主可控研究奠定基础。
展开更多
关键词
自主可控
工业语言
可信编译
领域驱动
PLC
下载PDF
职称材料
基于注册码的软件授权保护系统的设计与实现
被引量:
4
7
作者
何永瑾
郭
肖
旺
赵德政
《信息技术与网络安全》
2020年第5期42-45,50,共5页
目前国内软件加密授权技术的发展较为缓慢,针对传统的软件保护方式单一,软件授权方式不灵活的问题,提出了基于注册码的软件授权保护方案,设计了软件的加密授权和检验流程,对软件加密授权的各环节进行优化和改进。该方案不仅为用户提供...
目前国内软件加密授权技术的发展较为缓慢,针对传统的软件保护方式单一,软件授权方式不灵活的问题,提出了基于注册码的软件授权保护方案,设计了软件的加密授权和检验流程,对软件加密授权的各环节进行优化和改进。该方案不仅为用户提供了软件的授权保护机制,如时间授权、功能授权等,还能在离线环境下增强软件的保护作用,具有较高的安全性和实用性。
展开更多
关键词
软件保护
软件授权
SM4算法
下载PDF
职称材料
基于工控网络拓扑结构的可视化分层方法
被引量:
3
8
作者
张湾
张华
+2 位作者
郭
肖
旺
霍玉鲜
张晓莉
《电子技术应用》
北大核心
2017年第12期85-88,共4页
为了实现工控网络组态的拓扑结构到二维平面的无交叉映射显示,从自主可控PLC的网络拓扑出发,提出按照广度优先生成树的高度对拓扑结构进行分层,根据层次的划分,每个界面只显示该层组态界面信息,简化了组态画面的复杂性,强化了组态拓扑...
为了实现工控网络组态的拓扑结构到二维平面的无交叉映射显示,从自主可控PLC的网络拓扑出发,提出按照广度优先生成树的高度对拓扑结构进行分层,根据层次的划分,每个界面只显示该层组态界面信息,简化了组态画面的复杂性,强化了组态拓扑的逻辑划分。通过统计每个节点可连通的叶节点数量分析节点的关键度,利用关键度分析网络组态中的节点,并提示预警。
展开更多
关键词
拓扑结构
分层显示
组态预警
PLC
下载PDF
职称材料
工控编程编译工具应用现状分析及展望
被引量:
1
9
作者
陈海
郭
肖
旺
+1 位作者
左娇
原崇蛟
《信息技术与网络安全》
2022年第1期37-41,46,共6页
为实现国家关键基础工控设备自主化战略,部分国产品牌先后推出了全国产化自主安全PLC。虽然这些国产品牌PLC的核心芯片、操作系统、编程软件工具都实现了国产自主化,但其功能、性能与国外品牌PLC相比具有较大差距,尤其是PLC编程软件工具...
为实现国家关键基础工控设备自主化战略,部分国产品牌先后推出了全国产化自主安全PLC。虽然这些国产品牌PLC的核心芯片、操作系统、编程软件工具都实现了国产自主化,但其功能、性能与国外品牌PLC相比具有较大差距,尤其是PLC编程软件工具,PLC的功能全部是通过编程软件工具来实现的,编程软件工具作为PLC的核心组件之一尤为重要。在对国内外编程工具现状分析的基础上,对国产自主开发的编程工具进行对比和探讨,并分析了目前国产自主安全编程工具的瓶颈,提出了一些关键技术和研究建议。
展开更多
关键词
自主安全
国产化
编译
下载PDF
职称材料
高效精准的移动应用广告投放系统研究
10
作者
乔慧
郭
肖
旺
张昕伟
《电子技术应用》
北大核心
2014年第3期137-139,共3页
针对移动应用广告投放技术,着重研究基于内容定向和位置信息的移动应用广告平台,由此构建高效精准的移动应用平台广告投放系统。
关键词
移动应用
广告投放
基于位置
移动社交
下载PDF
职称材料
基于NuSMV的LD和ST语言形式化验证研究与实现
被引量:
1
11
作者
郭
肖
旺
赵德政
《电子技术应用》
2022年第12期94-99,共6页
依据工控系统的特点,在分析现有工控系统编程标准IEC61131-3规定的工业语言基础上,研究基于工业语言的形式化验证方法,通过对ST和LD语言进行分析得到有限状态机组态模型,实现对控制目标进行准确描述;通过NuSMV验证有限状态机模型,获得...
依据工控系统的特点,在分析现有工控系统编程标准IEC61131-3规定的工业语言基础上,研究基于工业语言的形式化验证方法,通过对ST和LD语言进行分析得到有限状态机组态模型,实现对控制目标进行准确描述;通过NuSMV验证有限状态机模型,获得形式化验证的结果,从而实现对IEC61131-3编程语言实现的PLC逻辑代码进行分析,建立形式化验证模型,发现用户编写的PLC逻辑代码可能存在的逻辑缺陷,并提供对这些缺陷分析验证的报告。
展开更多
关键词
工控系统
编译
形式化验证
有限状态机
建模
下载PDF
职称材料
题名
基于区块链的电子投票选举系统研究分析
被引量:
13
1
作者
张昕伟
张华
郭
肖
旺
张雯
机构
中国电子信息产业集团有限公司第六研究所
北京航天飞行控制中心
IThinking Inc
出处
《电子技术应用》
北大核心
2017年第11期132-135,共4页
文摘
区块链通过分布式公式算法实现去中心化信任,其核心是一个开放的、可编程的分布式数据库,该数据库是全球性的。区块链技术不仅是用在金融交易上,还可以用于记录所有有价值的东西,如财务账目、医疗过程、出生证明、保险理赔、投票等任何可用代码来表示的东西。分析了区块链技术应用于电子投票系统的可能性,分析采用区块链技术来构建新型电子投票选举系统的优缺点,在此基础上,给出了基于区块链技术的投票选举系统的框架需求分析,并提出了系统架构和设计方案,解决了电子投票选举系统中有关欺诈、欺骗选票的问题,最后给出了区块链在电子投票选举系统中的研究可行性结论,为基于区块链的系统设计与应用提供了新思路。
关键词
电子投票
区块链
去中心化
Keywords
electronic voting
blockchain
decentralization
分类号
TP309.2 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
基于自适应深度检测的工控安全防护系统设计
被引量:
8
2
作者
郭
肖
旺
闵晓霜
韩庆敏
机构
中国电子信息产业集团有限公司第六研究所
出处
《电子技术应用》
2019年第1期85-87,91,共4页
基金
核高基重大专项(2017ZX01030-202)
文摘
为了解决工控防火墙及其他网络防护设备在接口流量过大、资源占用过多时,容易成为响应瓶颈的问题,研究一种基于自适应深度检测的工控安全防护系统。系统安装在被保护设备的上游,实现对工控协议的识别和深度解析,以及工控网络协议的深度检测过滤,并根据工控现场网络状态自适应动态调整深度检测算法级别。系统能够处理目前比较流行的各种工控协议,并对之进行深度解析,对工控现场网络起到保护作用。
关键词
深度检测
工控安全
自适应
Keywords
depth detection
industrial control safety
adaptive
分类号
TP309.2 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
基于干扰观测器的复杂非线性系统优化控制方法
3
作者
陈海
郭
肖
旺
刘琛
封成玉
陈聪
机构
中国电子信息产业集团有限公司第六研究所
中电智能科技有限公司
北京工业大学信息学部
出处
《东南大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2024年第4期1046-1052,共7页
基金
国家自然科学基金创新研究群体资助项目.
文摘
为了提高具有未知干扰的复杂非线性系统的控制性能和运行性能,提出了一种基于干扰观测器的复杂非线性系统优化控制方法(IOCM).该方法设计了一个基于模糊神经网络的模型逼近器来捕捉系统的非线性动力学,并利用干扰观测器来描述系统的未知干扰,以获得更准确的系统预测模型.然后,在多目标模型预测控制的框架下,提出了一种具有协同成本函数和多梯度算法的优化控制结构,以综合求解设定点和控制律.采用城市污水处理过程基准仿真平台(BSM1)验证所提方法的有效性.实验结果表明:暴雨天气条件下平均出水水质(EQ)为6711 mg/L、平均运行能耗(EC)为3805 kW·h;对比其他分步实现的优化控制方法,IOCM具有较好的鲁棒性,能够提高非线性系统的优化控制性能.
关键词
非线性系统
模型逼近器
干扰观测器
复杂非线性系统优化控制方法
Keywords
nonlinear system
model approximator
disturbance observer
optimal control method for complex nonlinear systems
分类号
U461 [机械工程—车辆工程]
TP308 [交通运输工程—载运工具运用工程]
下载PDF
职称材料
题名
基于国密算法的PKI在工控系统中的应用研究
被引量:
6
4
作者
魏珊珊
韩庆敏
郭
肖
旺
张湾
贡春燕
机构
华北计算机系统工程研究所
出处
《计算机与现代化》
2018年第11期1-6,共6页
基金
核高基重大专项(2017ZX01030202)
文摘
工业控制系统的全国产化势在必行,迫切地需要一种更为自主安全可靠的身份鉴别方式。工控系统中比较典型的是以PLC为中心的系统,且PKI能够解决通信双方身份的真实性问题。本文研究PKI在以PLC为中心的工控系统中的应用,给出工控系统的证书认证模型及PKI的部署设计。分析国密算法和PKI体系的结合现状,并从开源框架Open SSL入手,采用引擎机制给出国密算法SM2、SM3扩展到Open SSL中的关键结构体和算法设计。最后针对工控系统设计一款PKI管理系统并开发实现了该系统,为PKI应用到工控系统做了良好铺垫,为工控系统增强身份鉴别的安全性提供了新思路。
关键词
工业控制系统
PKI
国密算法
OPENSSL
引擎机制
身份鉴别
Keywords
ICS
PKI
nation secret algorithm
OpenSSL
engine
identification
分类号
TP309.7 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
工业互联网时代的PLC发展趋势研究
被引量:
4
5
作者
原崇蛟
郭
肖
旺
贡春燕
机构
中电智能科技有限公司
出处
《网络安全与数据治理》
2022年第11期16-21,共6页
文摘
近年来,工业互联网、物联网、智能制造等发展趋势迅猛,工业控制领域呈现出新型工业业态模式。在新业态模式下,PLC在设备通信、控制、数据采集等功能上得以提升。通过与云计算、大数据、5G、AI等新技术结合,实现与“智能制造”的融合,PLC将发展成为一种可编程智能终端,推动制造生产控制系统的自动化,进而助推工业企业的信息化、智能化进程。针对当前PLC技术特点和市场现状进行了分析,对新业态模式下PLC发展路线进行了研究,提出PLC核心技术体系、先进制造能力、产业生态协作三方面发展思路,为我国自主安全PLC产业发展研究提供了支撑。
关键词
工业互联网
智能制造
PLC
可编程智能终端
Keywords
industrial Internet
intelligent manufacturing
PLC
programmable intelligent terminal
分类号
TP314 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
工控行业自主可控编程编译工具关键技术研究
被引量:
4
6
作者
郭
肖
旺
陈海
赵德政
机构
中国电子信息产业集团有限公司第六研究所
出处
《信息技术与网络安全》
2018年第9期13-16,共4页
基金
核高基重大专项(2017ZX01030-202)
文摘
目前在工控行业中使用的编程编译工具大多是国外产品,软件内部逻辑、软件代码自主可控程度低,存在逻辑炸弹、软件后门等安全问题,严重制约国内工控行业的技术发展。针对关键领域自主可控,在分析编译器、架构设计、领域驱动等技术的基础上,研究工控行业中所使用的编程编译工具在国产化自主可控方面的关键应用,提出了基于领域驱动的工控行业编程编译软件架构、工业语言编程编译工具链、异构平台调试技术、国产化基础软硬件平台适配、可信编译五个关键技术研究方向,为工控行业编程编译工具的自主可控研究奠定基础。
关键词
自主可控
工业语言
可信编译
领域驱动
PLC
Keywords
autonomous & controllable
industrial ianguage
trusted compiler
domain driven
PLC
分类号
TP313.3 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于注册码的软件授权保护系统的设计与实现
被引量:
4
7
作者
何永瑾
郭
肖
旺
赵德政
机构
华北计算机系统工程研究所
中电智能科技有限公司
出处
《信息技术与网络安全》
2020年第5期42-45,50,共5页
文摘
目前国内软件加密授权技术的发展较为缓慢,针对传统的软件保护方式单一,软件授权方式不灵活的问题,提出了基于注册码的软件授权保护方案,设计了软件的加密授权和检验流程,对软件加密授权的各环节进行优化和改进。该方案不仅为用户提供了软件的授权保护机制,如时间授权、功能授权等,还能在离线环境下增强软件的保护作用,具有较高的安全性和实用性。
关键词
软件保护
软件授权
SM4算法
Keywords
software protection
software authority
SM4
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于工控网络拓扑结构的可视化分层方法
被引量:
3
8
作者
张湾
张华
郭
肖
旺
霍玉鲜
张晓莉
机构
华北计算机系统工程研究所
北京航天飞行控制中心
出处
《电子技术应用》
北大核心
2017年第12期85-88,共4页
文摘
为了实现工控网络组态的拓扑结构到二维平面的无交叉映射显示,从自主可控PLC的网络拓扑出发,提出按照广度优先生成树的高度对拓扑结构进行分层,根据层次的划分,每个界面只显示该层组态界面信息,简化了组态画面的复杂性,强化了组态拓扑的逻辑划分。通过统计每个节点可连通的叶节点数量分析节点的关键度,利用关键度分析网络组态中的节点,并提示预警。
关键词
拓扑结构
分层显示
组态预警
PLC
Keywords
topology
hierarchical visualization
configuration warning
PLC
分类号
TP273 [自动化与计算机技术—检测技术与自动化装置]
下载PDF
职称材料
题名
工控编程编译工具应用现状分析及展望
被引量:
1
9
作者
陈海
郭
肖
旺
左娇
原崇蛟
机构
中电智能科技有限公司
华北计算机系统工程研究所
中国长城科技集团股份有限公司
出处
《信息技术与网络安全》
2022年第1期37-41,46,共6页
文摘
为实现国家关键基础工控设备自主化战略,部分国产品牌先后推出了全国产化自主安全PLC。虽然这些国产品牌PLC的核心芯片、操作系统、编程软件工具都实现了国产自主化,但其功能、性能与国外品牌PLC相比具有较大差距,尤其是PLC编程软件工具,PLC的功能全部是通过编程软件工具来实现的,编程软件工具作为PLC的核心组件之一尤为重要。在对国内外编程工具现状分析的基础上,对国产自主开发的编程工具进行对比和探讨,并分析了目前国产自主安全编程工具的瓶颈,提出了一些关键技术和研究建议。
关键词
自主安全
国产化
编译
Keywords
autonomous&secure
localization
compile
分类号
TP313.3 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
高效精准的移动应用广告投放系统研究
10
作者
乔慧
郭
肖
旺
张昕伟
机构
内蒙古化工职业学院
出处
《电子技术应用》
北大核心
2014年第3期137-139,共3页
文摘
针对移动应用广告投放技术,着重研究基于内容定向和位置信息的移动应用广告平台,由此构建高效精准的移动应用平台广告投放系统。
关键词
移动应用
广告投放
基于位置
移动社交
Keywords
mobile application
mobile advertising
location-based
mobile social
分类号
TP315 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于NuSMV的LD和ST语言形式化验证研究与实现
被引量:
1
11
作者
郭
肖
旺
赵德政
机构
中国电子信息产业集团有限公司第六研究所
中电智能科技有限公司
出处
《电子技术应用》
2022年第12期94-99,共6页
基金
国防基础科研计划资助项目(JCKY2018211C001)。
文摘
依据工控系统的特点,在分析现有工控系统编程标准IEC61131-3规定的工业语言基础上,研究基于工业语言的形式化验证方法,通过对ST和LD语言进行分析得到有限状态机组态模型,实现对控制目标进行准确描述;通过NuSMV验证有限状态机模型,获得形式化验证的结果,从而实现对IEC61131-3编程语言实现的PLC逻辑代码进行分析,建立形式化验证模型,发现用户编写的PLC逻辑代码可能存在的逻辑缺陷,并提供对这些缺陷分析验证的报告。
关键词
工控系统
编译
形式化验证
有限状态机
建模
Keywords
industrial control system
compile
formal verification
finite state machine
modeling
分类号
TP314 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于区块链的电子投票选举系统研究分析
张昕伟
张华
郭
肖
旺
张雯
《电子技术应用》
北大核心
2017
13
下载PDF
职称材料
2
基于自适应深度检测的工控安全防护系统设计
郭
肖
旺
闵晓霜
韩庆敏
《电子技术应用》
2019
8
下载PDF
职称材料
3
基于干扰观测器的复杂非线性系统优化控制方法
陈海
郭
肖
旺
刘琛
封成玉
陈聪
《东南大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2024
0
下载PDF
职称材料
4
基于国密算法的PKI在工控系统中的应用研究
魏珊珊
韩庆敏
郭
肖
旺
张湾
贡春燕
《计算机与现代化》
2018
6
下载PDF
职称材料
5
工业互联网时代的PLC发展趋势研究
原崇蛟
郭
肖
旺
贡春燕
《网络安全与数据治理》
2022
4
下载PDF
职称材料
6
工控行业自主可控编程编译工具关键技术研究
郭
肖
旺
陈海
赵德政
《信息技术与网络安全》
2018
4
下载PDF
职称材料
7
基于注册码的软件授权保护系统的设计与实现
何永瑾
郭
肖
旺
赵德政
《信息技术与网络安全》
2020
4
下载PDF
职称材料
8
基于工控网络拓扑结构的可视化分层方法
张湾
张华
郭
肖
旺
霍玉鲜
张晓莉
《电子技术应用》
北大核心
2017
3
下载PDF
职称材料
9
工控编程编译工具应用现状分析及展望
陈海
郭
肖
旺
左娇
原崇蛟
《信息技术与网络安全》
2022
1
下载PDF
职称材料
10
高效精准的移动应用广告投放系统研究
乔慧
郭
肖
旺
张昕伟
《电子技术应用》
北大核心
2014
0
下载PDF
职称材料
11
基于NuSMV的LD和ST语言形式化验证研究与实现
郭
肖
旺
赵德政
《电子技术应用》
2022
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部