关于氯碱化工装置电气接地保护安全性分析思考

氯碱化工装置在长期运行中将会面临不同程度的腐蚀问题,有必要保障其电气接地保护安全性。通过阐述氯碱化工装置电气接地保护的重要性,分析了氯碱化工装置电气接地保护技术;最后讨论了氯碱化工装置电气接地保护安全性中的问题及处理。     

全面加强农村民居防震抗震保安

按照省委、省政府的总体部署,结合学习贯彻落实中央全国农村民居防震保安工作会议精神,甘肃省地震局全力推进社会主义新农村建设中的农居防震保安工作,增强全省城乡整体防震减灾能力,保障人民生命和财产安全,服务社会主义新农村建设。加强农村民居防震保安,制定的具体实施措施。     

适用于联网飞机网络的安全切换方案

本文提出了一种适用于联网飞机的安全切换方案,该方案通过地面基站或卫星周期性地发送签名消息实现消息源认证,不同的飞机预存要经过航路的相关密码学公共参数,然后利用签密实现网络的安全快速切换。在该方案中,由于使用了能够在一个逻辑步骤内同时实现机密性和认证性等安全功能的签密技术,因此具有较高的效率。     

微信公众平台在大学生安全教育中的应用

阐述微信公众平台的优势,分析利用微信公众平台开展大学生安全教育的可行性,通过突出信息推送功能、以案讲案、引导大学生参与平台建设等措施发挥微信公众平台载体作用,提出转变传统的安全教育观念、开发信息反馈功能、需要优秀编辑人员等完善微信公众平台运营的建议。     

带有白噪声的Berger方程随机吸引子

考虑带有白噪声的Berger方程解的随机渐近性行为, 用渐近先验估计技术和算子分解方法, 通过引入同构映射构造等价过程, 证明随机吸引子在(H²(U)∩H¹₀(U))×L²(U)中的存在性.     

基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

中立型分数阶微分控制系统能控性

研究一类分数阶中立型微分控制系统的能控性问题,对系统状态方程的分析,利用拉普拉斯变换通过基本控制系统的基础解给出了控制系统通解的表达式,并且通过构造格拉姆矩阵,研究了控制系统能控性的充分必要条件;最后通过举出一个格拉姆矩阵的计算举例来进行验证。     

征稿启事

<正>《南阳理工学院学报》是由河南省教育厅主管、南阳理工学院主办的综合性学术期刊.创刊于2009年,双月刊,A4开本,本刊分为自然科学版和社会科学版,单月25日出版,国内外公开发行来稿必须为原创性或评述性论文.要具有创新性、学术性和科学性,务须论点明确、文     

考虑单元互测的测试性指标分配方法

测试性分配是将系统级测试性指标按照一定规则分配给各组成单元的过程。针对现有主流测试性分配方法未考虑单元之间的互测情形,导致分配结果不合理,尤其是部分单元分配指标虚高,难以实现或代价过高等问题,提出了在综合考虑单元故障率、故障危害度等多重影响因素基础上,进一步考虑单元互测因素的测试性指标分配方法。首先实施考虑多重影响因素的指标初次分配;然后基于单元测试性初步设计结果,实施测试性建模与分析,得到单元自检故障率与他检故障率;再利用这两个数据以及初次分配结果构造分配函数实施再次分配,进而得到最终的分配结果;最后应用该方法进行仿真和实例运算,证明了该方法的有效性和先进性。