摘要：目前,高级数据链路控制(High-Level Data Link Control, HDLC)协议控制器在航天型号中依然应用广泛,通常以IP核的形式被集成在通信部件中。但是近年,多个经过仿真验证的HDLC IP核在航天型号运行过程中出现了触发概率极小的功能错误,导致数据帧丢失、通信功能失效甚至任务失败。在仅依靠仿真无法保证验证充分性的背景下,采用形式化验证方法进行功能验证。本文依据HDLC国际标准分析同步传输模式关键功能,将关键功能拆分为属性描述,并根据属性编写断言,从而建立HDLC协议同步传输模式关键功能用例集,并以正在航天型号中使用的某HDLC IP核为例,使用形式化验证工具进行验证实验,发现了此前从未发现的两处设计缺陷。针对这些设计缺陷,分析了其触发原理和可能造成的危害。

摘要：为解决现有块级持续数据保护技术对系统写性能影响过大的问题,通过对CDP读写过程进行研究分析,设计了一种Linux下基于设备映射机制的块级CDP系统设计方案。该方案使用缓存队列和后台数据同步技术,减少写操作时的磁盘IO操作次数,并通过读状态映射表实现数据的正确读取。测试结果表明,该方案在较少损失系统读性能的条件下,可获得较高的写性能。

摘要：网络的攻击方式从简单的网络层攻击升级到应用层的混合型攻击,网络安全的需求也在发生变化,用户需要能够防御混合型威胁的安全设备。针对上述网络混合威胁盛行的现状,提出了一种基于多核网络处理器的统一威胁管理(UTM)的设计思想,介绍了UTM的硬件结构设计、多核网络处理器的结构以及UTM软件的体系结构设计,能较好地适应网络环境对高性能以及应用层数据处理的需求。

摘要：渗透测试模型是渗透测试的关键技术,但现有的渗透测试模型难以模拟网络攻击过程。借鉴了攻击图这种成熟的攻击模型,设计了基于攻击图的渗透测试模型(PTGM),将渗透测试全过程映射到PTGM模型中,最后给出了基于PTGM的渗透测试过程。

摘要：为了减小低通宽带滤波器引起的负载端谐波电压畸变,提高负载整流侧直流电压,减小换向重叠角度,保证整流负载稳定工作,提出了宽带滤波器的优化设计方法。分析了串联电抗器对换向过程的影响,提出了宽带滤波器谐波抑制效果与负载波形畸变之间存在的问题,在宽带滤波器中引入了吸收回路并且对滤波器参数设计方法进行了改进,达到了减小负载端波形畸变的目的。将该设计方法应用于工程实际中,解决了负载功率降低等问题。实验结果表明了该方法的有效性和可行性。

摘要：针对GUI软件数据流异常难以跟踪与分析的问题,提出一种基于事件驱动模型的GUI数据流异常分析方法。基于有限状态机,对变量生命周期状态迁移进行建模,引入别名分析方法,实现过程内数据流分析;通过获取化简的交互事件序列,将序列引入到代码数据流跟踪中。实验结果表明,该方法可有效检测由于GUI软件不确定性导致的数据流异常问题。

摘要：针对滑模控制存在的抖振问题,通过分析抖振产生的原因,提出一种基于改进趋近律的滑模控制方案。对传统的趋近率进行改进,提高系统的初始运动速度,降低系统在切换面附近的趋近速度。该算法可以改善趋近运动的动态特性,明显削弱系统的抖振。在Matlab中实现该算法,仿真结果表明,此控制方案是可行的,有较好的控制效果。

摘要：作为一个高性能的外设接口,PCI总线非常适于各类高速外设板卡的开发。为完成实验室中指控计算机与各分系统之间的高速串行通信,设计并实现了基于PCI总线的高速串行通信模拟系统。它主要由高速串行通信板和相应的驱动软件组成,利用通信板上固化的汇编程序初始化设备和实现HDLC协议的通信控制,借助设备驱动开发软件WinDriver,在VC的编程环境下编写了通信模拟系统的驱动控制程序,给出了基于PCI总线的高速串行通信模拟系统的设计与实现。

摘要：OSD文件系统主要承担通用文件系统中存储管理部分的功能,其与通用文件系统存在很大的差异,针对OSD的特征,设计了一种适用于小对象的OSD文件系统,其中提出了“盘区记录表”这种对象ID到对象数据的映射方式和一种新的空间分配策略,同时结合空间分配方式的特点提出了一种主动对象数据调整策略。实验表明,该文件系统在管理小型对象时能有效提高读写性能。

摘要：为使用户信任安全系统,保证OAuth2.0协议的有效实施,提出对OAuth2.0协议进行详细的安全性分析。通过对Scyther的研究和OAuth2.0协议的分析,形式化验证OAuth2.0协议的安全性。将OAuth2.0协议标准转化为Scyther的形式化语义,分析协议的安全目标,将安全目标转化为安全属性,与形式化语义相结合,利用Scyther的对手模型和基于模型的改进算法进行安全性形式化分析。结合实例分析协议角色执行轨迹,得到协议的攻击路径。