工控网络协议Fuzzing测试技术研究综述

随着信息化和工业化的深度融合,控制系统在工业生产过程中得到了越来越广泛的应用,很多研究者开始针对工控系统,特别是具有控制功能的工控网络协议的安全性展开研究,漏洞分析则是其中较为活跃的领域之一.由于工控网络协议具有专用性和面向控制的特点,通常在封闭环境下运行,无法直接应用传统Fuzzing测试技术进行网络协议的漏洞挖掘.本文阐述了工控网络协议的特点以及Fuzzing测试的困难,讨论并比较了现有各种Fuzzing测试技术应用于工控网络协议的优缺点,提出工控网络协议的专用Fuzzing测试工具的设计准则,最后展望了工控网络协议Fuzzing测试技术的未来研究方向.     

嵌入式时栅传感器高精度激励设计方法

介绍了嵌入式时栅传感器的基本原理,分析了两相激励信号不一致性主要是幅值不等和相位不正交对传感器测量精度的影响。基于DDS原理结合反馈控制设计了高精度的激励信号模块,采用反馈电路控制可程控放大电路调理两相信号幅值,实现了激励信号的幅值相等,基于闭环反馈控制直接修改数字激励信号实现了信号的相位正交。实验研究结果表明,采用这种闭环控制的方法,传感器短周期测角误差从±65″降低到±16″左右,常值误差基本消除,传感器精度大幅度提高。     

基于灰色评价法的黑河下游近期治理社会影响评价

社会影响评价是指对已完成的项目在社会发展方面产生的效果所进行的分析。构建了黑河下游近期治理社会影响评价指标体系,用灰色评价法对社会影响进行定量评价,并分析社会影响评价结果,总结经验、发现问题,并有针对性地对黑河后续工程的实施提出了相应的科学建议。     

基于偏序简化的并发系统验证

构件交互风格和交互协议的描述与验证是基于构件的分布式系统开发的基础和关键,而构件交互协议是一种典型的分布式并发系统.传统的方法难以解决系统建模和验证中的所谓的状态爆炸问题.偏序简化是应用迹的概念,对模型进行化简并且对模型进行死锁验证.但这样的验证重点放在了Petri网模型上,而没有涉及进程代数模型,所验证的只是模型是否有死锁状态.而以通信系统演算CCS为代表的进程代数,因其概念简洁,可用的数学工具丰富,在分布式并发系统的规范、分析、设计和验证方面获得了广泛应用.对此,提出将偏序规约应用于进程代数模型,给出基于进程代数模型的偏序简化算法,并提出利用进程代数模型偏序简化算法来验证安全性的方法.     

利用铋酸盐光纤高非线性效应实现40Gb/s全光3R再整形

该文研究的重点是全光3R再生技术中的再整形方法。研究了一个利用光纤的非线性的基于交叉相位调制与自相位调制的40Gb/s归零信号的再整形方法。文中使用软件Optisystem 3.0分别对基于高非线性光纤中的自相位调制和交叉相位调制实现再整形,并进行了仿真实验。该文提出的方案整形后得到的3R再生信号的质量得到了大幅改善。     

不同步速下人体步态规律的测量与研究

为研究人体下肢不同步速下的运动规律,采用了基于人体运动图像的检测系统和人体关节角度测量装置,对人体在跑步机上行走时下肢关节运动轨迹和关节角度进行了测量,通过Visual C 6.0和Matlab混合编程实现对运动图像和标志点的信息采集.对测量结果进行了处理和分析,不同步速对腰部、髋关节、膝关节在矢状面内前后、上下的运动轨迹影响不显著,随着步速的提高,脚踝从支撑相到摆动相的运动空间范围增大,支撑期在步态周期中所占的比例减小.     

基于自注意力机制模拟实体信息的实体关系抽取

在信息抽取领域,从非结构化文本中抽取实体关系是一项基础且重要的任务,且面临实体重叠和模型误差累积等挑战.本文以关系为导向,提出一种改进的实体关系联合抽取方法.该方法将实体关系抽取任务分为关系抽取与实体抽取两个子任务.在关系抽取任务上采用自注意力机制关注词与词之间的重要程度从而模拟实体信息,并使用平均池化来表征整个句子信息;在实体抽取任务上结合关系信息使用条件随机场识别该关系下的实体对.本模型不仅能够利用存在关系必定存在实体对的思想解决实体对重叠问题,还能够在训练过程中利用数据集中已知的关系使实体抽取模块不依赖于关系抽取模块的结果来训练,从而在训练阶段避免误差累积.最后,在WebNLG和NYT公开数据集上验证了该模型的有效性.     

Linux课程群建设研究

分析目前Linux相关课程教学面临的机遇与挑战,并在对国内外大学的Linux相关课程教学情况进行分析比较的基础上,提出"普通高校Linux课程群"建设目标和思路,并详细介绍了湖北民族学院在Linux课程群建设的实践情况和取得的效果。     

基于互斥角色约束的SSOD策略实现研究

静态职责分离（SSOD）是保证计算机安全的重要策略。在基于角色的权限控制(RBAC)中直接基于互斥角色约束（2-2 SMER）实现最简单的SSOD策略（2-n SSOD）是困难的。通过对互斥角色的权限分配进行约束,研究并证明了基于2-2 SMER实现2-n SSOD策略的充分条件,此充分条件和现有研究相比具有更弱的约束力,支持更灵活的权限分配。进一步给出了实现2-n SSOD策略的授权管理操作规则,以确保权限的动态管理始终满足此充分条件,维持系统对2-n SSOD策略的满足状态。最后,通过应用实例说明了实现2-n SSOD策略方法的有效性和可行性     

小浪底水库支流倒灌与淤积形态模型试验

利用小浪底水库实体模型开展水库拦沙后期运用方式长系列年试验,对争议较大的库区支流倒灌及其淤积形态问题进行重点分析。结果表明:库区最大支流畛水河口门狭窄且库容较大,拦门沙问题最为突出,其纵坡面形态与设计有一定的差别;支流年淤积量与当年大于2600 m3/s流量时段的总水量有较好的相关性;通过优化水库运用方式可较长时期保持动态三角洲淤积形态,有利于支流库容的有效利用;水库干流河床处于动平衡状态时,支流河床仍然会逐渐淤积抬升而使得干支流淤积面高差趋于减少。