安全屏障机制下基于SAC算法的机器人导航系统

为了提高移动机器人自主导航系统的智能化水平和安全性,设计了安全屏障机制下基于SAC(Soft Actor-Critic)算法的自主导航系统,并构建了依赖于机器人与最近障碍物距离、目标点距离以及偏航角的回报函数.在Gazebo仿真平台中,搭建载有激光雷达的移动机器人以及周围环境.实验结果表明,安全屏障机制在一定程度上降低了机器人撞击障碍物的概率,提高了导航的成功率,并使得基于SAC算法的移动机器人自主导航系统具有更高的泛化能力.在更改起终点甚至将静态环境改为动态时,系统仍具有自主导航的能力.     

基于故障树的火电厂脱硝系统故障分析方法

脱硝系统在火电厂运行过程中扮演着重要角色, 系统的正常运行以及故障预防措施的制定对火电厂正常工作具有重要意义。提出了一种基于故障树的火电厂脱硝系统故障分析方法。通过分析脱硝系统的工作原理确定全 部故障事件, 并根据故障事件之间的逻辑关系建立脱硝系统故障树, 通过定性和定量分析确定系统的薄弱环节, 对火电厂脱硝系统的各种故障制定应对方案, 为企业安全生产提供指导意见。     

基于故障树与模糊理论的天然气门站安全评价

城市天然气门站安全状况的好坏,直接影响到整个城市天然气系统的安全运行,为此运用故障树分析法与模糊理论对城市天然气门站的安全状况进行了分析。通过对站内危险因素的分析,建立门站系统的失效故障树,得到引起天然气门站主要系统失效的28个主要事件,建立了门站安全评价指标体系。利用模糊综合评判理论对门站安全状况进行了定量分析,利用专家评分法对指标进行了评分,利用层次分析法计算了各指标层次相对权重;通过模糊理论得出门站安全等级,并给出了相应的日常安全工作重点。用该方法对常州市天然气门站进行安全评价,得出安全等级为Ⅱ级,这与门站实际运行状况相符,说明用该方法对门站进行安全评价是有效、可靠的,能够为城市天然气门站安全管理提供依据。     

一种基于契约的跨过程安全分析方法

针对C/C++程序安全漏洞,提出了一种基于契约的跨过程安全分析方法．该方法自下而上分析遍历程序中的函数体,将跨过程分析转变为过程内分析．通过为变量和函数附加契约以记录其前置和后置条件,并在程序分析的过程中按照规则更新契约,使得在程序分析时自动进行安全检查．该方法具有代价小,灵活性强的特点,可用来检查程序中指针非法引用、内存泄漏及其他资源泄漏等安全漏洞．     

基于模糊故障树的电网倒塔事故安全风险分析

采用故障树理论,从系统的角度对输电线路倒塔事故的原因进行逐层分解,对倒塔事故的安全风险因素进行辨识．考虑到强风暴对电网事故故障树基本事件发生概率的取值具有一定的不确定性,将基本事件的发生概率作为模糊数进行处理,并对电网输电线路倒塔事故中间事件和顶事件模糊故障树进行分析计算．实例分析表明,基于模糊数的故障树分析方法对电网倒塔事故的安全风险分析是可行的,并具有一定的应用价值．     

基于同态加密机制的云平台计算安全与完整性保护算法

针对云平台潜在的信息泄露、数据种类多样的风险,提出了一种基于同态加密机制的云平台安全保护算法,采用该算法对加密后的用户数据进行安全计算.使用同态加密算法保护用户详细信息,采用数据完整性隐私保护算法实现数据完整性验证,并采用RS编码算法在数据遭受破坏时恢复出原始数据.基于阿里云平台的仿真测试与实验结果表明,所提出的算法能够以较小的计算代价实现云平台数据安全保护,并能恢复出被破坏的数据.     

基于多项式表示的集合问题安全计算协议

针对集合问题安全计算方案在实际应用中的低效率及存在安全漏洞等问题,利用多项式表示技术将集合问题转化为多项式求值问题,结合离散对数问题提出了集合成员关系以及集合交集问题的安全两方计算协议。首先,从最近一个高效的集合成员关系计算协议的安全缺陷出发,分析存在的安全漏洞是在一定条件下可以通过穷举攻击获得参与方输入的元素信息,导致参与方的隐私信息得不到保障。为克服该安全漏洞,将集合表示为多项式,并对多项式进行随机化,以确保参与方交互过程中不会发生任何泄漏;然后,结合离散对数问题,提出了安全的集合成员关系计算协议。该协议能够快速判断输入的元素是否属于一个集合,并且除了集合的势,没有泄露参与双方的任何其他信息。接着,将完善后的集合成员关系计算协议进一步扩展,提出了能够解决集合交集问题的安全两方计算协议。利用该协议,互不信任的参与方能有效计算集合的交集,而不泄露自身的隐私信息。最后,在半诚实模型下,结合概率多项式时间模拟器,给出了两个协议的安全性证明,证明了模拟器视图与原协议执行视图在计算上无法区分;详细分析了本文协议的性能,结果表明提出的集合成员关系计算协议及集合交集安全计算协议比其他相关协议效率更高,具有较小的通信复杂度及计算复杂度。     

基于事故树分析法的试修作业井控安全监督重点研究

为有效预防在试修作业中发生井控失败事故,采用事故树分析法(FTA)建立井控失败事故树.运用事故树分析软件求取试修作业井控失败事故树最小割集和最小径集,进行结构重要度的计算和排序,最终确定试修作业井控安全监控重点.     

基于水电厂船舶安全管理问题的几点思考

近些年来,为了满足我国经济高速发展的需要,水上运输业发展的十分迅速。但是船舶安全管理水平,尤其是水电厂处的船舶安全管理水平还比很欠佳,安全形势不容乐观。为此,本文从水电厂船舶安全管理的介绍谈起,结合我国当前水电厂船舶安全管理的现状,总结分析当前水电厂对船舶安全管理中存在的问题,在此基础上进一步提出自己在改善当前水电厂船舶安全管理现状上的几点思考,希望自己的这些观点能对当前水电厂船舶安全管理工作提供一些有价值的参考。     

基于LPN困难问题的后量子安全密钥封装

选择密文攻击下的不可区分(Indistinguishability against Chosen Ciphertext Attack,IND-CCA)安全的密钥封装机制可以由选择明文攻击下的不可区分(Indistinguishability against Chosen Plaintext Attack,IND-CPA...     

基于FLAC^3D的边坡单元安全度分析及应用

为改进传统边坡稳定分析中安全系数的定义不适合于具有多个坡面的复杂边坡的缺陷,引入静载强度分析中对点安全系数的定义,结合FLAC^3D数值模型,提出了边坡单元安全度的概念．采用FLAC^3D内嵌编程语言FISH编写了单元安全度的计算模块,得到了边坡各单元安全度的分布．采用这种方法对平朔安家岭露天煤矿边坡下的井工开采进行了数值模拟．结果表明：在井工开采影响下,露天煤矿边坡可能会出现“圆弧-顺层”的滑坡模式;在开切眼附近坡体地表形成大范围的拉破坏区,单元安全度小于1的地方均位于坡体台阶受拉处,最小单元安全度为0．88,出现在南端帮边坡;井工开切眼位置应远离边坡体．