期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到6篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于物联网技术的危化品运输监控与管理平台 被引量：8
1
作者 陈闻杰 张冠华 《计算机应用与软件》 CSCD 2016年第1期45-48,共4页
针对现有的危化品运输监控系统重监管轻服务,多头监管,以及事故处理低效的问题,提出利用多元物联网感知技术、姿态综合分析技术、数据挖掘与报表分析技术、电子地图技术、多用户权限管理技术等,实现新的监控管理平台,满足安全(事故预防... 针对现有的危化品运输监控系统重监管轻服务,多头监管,以及事故处理低效的问题,提出利用多元物联网感知技术、姿态综合分析技术、数据挖掘与报表分析技术、电子地图技术、多用户权限管理技术等,实现新的监控管理平台,满足安全(事故预防、事故处理和事故分析)、企业管理(日常监控、驾驶行为管理、营运分析)及政府监管(数据维护、协同审批、实时监管)等多方面的需求。该平台提高了危化品运输过程的安全性,促进企业经济效益,并实现了政府各部门监管的协同性和高效性。 展开更多
关键词 危化品运输 监控管理平台 物联网技术
下载PDF
基于STP方法的SCADE模型形式化验证框架 被引量：3
2
作者 林荣峰 施健 +2 位作者 朱晏庆 沈怡颹 周宇 《计算机工程》 CAS CSCD 北大核心 2019年第10期70-77,共8页
高安全性应用开发环境(SCADE)的形式化验证组件Design Verifier能够验证航空航天领域嵌入式软件系统的安全性质,但不能充分描述拥有复杂时序性质的安全需求。为解决该问题,构建一种SCADE状态机的时序性质验证框架,将SCADE模型转换成NuSM... 高安全性应用开发环境(SCADE)的形式化验证组件Design Verifier能够验证航空航天领域嵌入式软件系统的安全性质,但不能充分描述拥有复杂时序性质的安全需求。为解决该问题,构建一种SCADE状态机的时序性质验证框架,将SCADE模型转换成NuSMV模型,并将线性时态逻辑和计算树逻辑引入SCADE模型的需求规范中。分析结果表明,借助NuSMV模型检查器及其验证结果可检验复杂时序相关的安全性质,减少模型设计阶段的错误,提高系统的安全性和可靠性。 展开更多
关键词 航天器系统 形式化验证 高安全性应用开发环境 安全攸关领域 模型检查 时序性质
下载PDF
基于半开放式微流控芯片的ZnO纳米材料的合成
3
作者 郑欣宇 李昕 +3 位作者 邹磊 潘海林 赵振杰 李欣 《微纳电子技术》 CAS 北大核心 2021年第10期926-934,共9页
设计并制备了一种半开放式微流控芯片,通过微通道喷管在邻近区域产生浓度梯度,探究了不同体积流量下的浓度变化,并在该区域合成氧化锌(ZnO)纳米材料。利用扫描电子显微镜(SEM)和X射线衍射仪(XRD)对ZnO纳米材料的形貌和晶体结构进行了表... 设计并制备了一种半开放式微流控芯片,通过微通道喷管在邻近区域产生浓度梯度,探究了不同体积流量下的浓度变化,并在该区域合成氧化锌(ZnO)纳米材料。利用扫描电子显微镜(SEM)和X射线衍射仪(XRD)对ZnO纳米材料的形貌和晶体结构进行了表征。结果表明,由于流场和扩散的影响,生长溶液在合成初期会形成显著的浓度梯度,进而在同一芯片的不同区域生长出不同形貌的ZnO纳米材料。此外,在1μL/min体积流量下合成ZnO纳米材料,并对异硫氰酸荧光素标记的羊抗牛免疫球蛋白(FITC-anti bovine IgG)进行了检测。结果表明,基于半开放式微流控芯片的合成方法不仅可以提高优化合成条件的效率,一步合成直径差可达2倍的ZnO纳米材料,也便于研究不同形貌的ZnO纳米材料的荧光检测性能。 展开更多
关键词 氧化锌(ZnO) 纳米材料 微流控芯片 微通道 荧光检测
原文传递
基于生成对抗式网络的Modbus协议安全性测试方法 被引量：3
4
作者 宋岩 胡志成 +2 位作者 郝丽 糜科 方炯 《电网与清洁能源》 2019年第8期8-15,24,共9页
Modbus协议作为一种在电力系统中应用广泛的通信协议,保证Modbus协议的正确应用与实现有利于保障电力系统的安全。基于此,提出一种基于生成对抗式网络的Modbus协议实现安全性模糊测试方法,通过应用生成对抗式网络架构训练Modbus通信指... Modbus协议作为一种在电力系统中应用广泛的通信协议,保证Modbus协议的正确应用与实现有利于保障电力系统的安全。基于此,提出一种基于生成对抗式网络的Modbus协议实现安全性模糊测试方法,通过应用生成对抗式网络架构训练Modbus通信指令生成模型。训练所得生成模型作为Modbus协议测试数据生成器,用于生成测试数据对Modbus设备进行模糊测试。对多种Modbus模拟器进行了测试,结果表明,本方法能够发现Modbus模拟器的漏洞。因此,提出的方法是一种有效的并且有良好应用前景的Modbus协议实现安全性测试方法。 展开更多
关键词 生成对抗式网络 模糊测试 工业控制系统 电力系统 MODBUS协议 安全性
下载PDF
Powerlink协议异步调度机制的建模与分析 被引量：2
5
作者 陈睿 庞海萍 +2 位作者 郝丽 厉达 杨栋 《计算机工程与应用》 CSCD 北大核心 2019年第17期259-265,共7页
针对通信协议进行形式化建模与分析,能够很大程度上提高工控协议的安全性。通过分析开源实时以太网Powerlink的同步、异步阶段的不同通信行为,以及在同步阶段的不同通信模式,提出一种利用CSP(Communication Sequential Process)语言对Po... 针对通信协议进行形式化建模与分析,能够很大程度上提高工控协议的安全性。通过分析开源实时以太网Powerlink的同步、异步阶段的不同通信行为,以及在同步阶段的不同通信模式,提出一种利用CSP(Communication Sequential Process)语言对Powerlink协议进行形式化建模的方法。使用该方法能够描述Powerlink在数据链路层上不同节点之间的通信行为,以及描述在随机产生异步请求的情况下,异步阶段的异步请求调度行为。同时,该方法也准确模拟了协议运行过程中,错误处理机制对丢失帧情况的处理过程。最后利用软件PAT(Process Analysis Toolkit)验证了这些异步调度过程是否满足优先级顺序等性质,有助于对协议的运行机制进行深入分析。 展开更多
关键词 POWERLINK 通信顺序进程(CSP) 建模 验证 流程分析工具箱(PAT)
下载PDF
基于深度学习的车身网络KWP2000协议漏洞挖掘 被引量：6
6
作者 张成彬 赵慧 曹宗钰 《山东大学学报（工学版）》 CAS CSCD 北大核心 2019年第2期17-22,共6页
为实现无需协议的任何结构知识进行网络安全漏洞检测,基于深度学习生成对抗式神经网络(generative adversarial nets, GAN),提出对车身网络关键字协议2000 (keyword protocol 2000, KWP2000)漏洞挖掘的方法。选用前向反馈网络作为生成模... 为实现无需协议的任何结构知识进行网络安全漏洞检测,基于深度学习生成对抗式神经网络(generative adversarial nets, GAN),提出对车身网络关键字协议2000 (keyword protocol 2000, KWP2000)漏洞挖掘的方法。选用前向反馈网络作为生成模型,支持向量机作为判别模型。利用神经网络模型训练生成KWP2000协议数据的测试用例数据,再利用这些测试用例数据对KWP2000进行模糊测试。通过试验发现目标协议KWP2000的超长错误、编码错误等漏洞。试验研究表明,该模糊测试方法提高了效率和安全性。 展开更多
关键词 协议2000 深度学习 生成对抗式网络 模糊测试 车载诊断
原文传递
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部