基于符号执行的格式化字符串漏洞自动验证方法研究

格式化字符串漏洞是一种常见的危害较大的软件漏洞.现有格式化字符串漏洞自动验证系统未充分考虑参数存储位置位于栈以外空间的情况,造成对该部分漏洞可利用性的误判.针对该问题,论文设计实现了一种基于符号执行的格式化字符串漏洞自动验证方法,首先根据参数符号信息检测当前格式化字符串函数漏洞,然后分别构建参数存储于不同内存空间情况下的漏洞验证符号约束,最后利用约束求解自动得到漏洞验证代码,实现了格式化字符串漏洞的自动验证.在Linux系统下对不同类型测试程序进行了实验,验证了方法的有效性.     

二元随机争用仲裁性能的计算机模拟

给出了０，１随机序列中各竞争模式性态的计算机模拟的一些结果，并用状态转移图计算获胜概率和平均仲裁长度的方法，模拟结果与计算机结果相符。     

第十一届全运会羽毛球男单决赛网前技术比较分析

羽毛球是我国的优势项目,高水平运动员网前技术掌握的好坏关系到整个比赛的成败.文章对第十一届全运会羽毛球男单决赛录像进行统计分析,其结论如下:就网前技术而言,在整场比赛中,挑球、搓球、勾球、扑球、推球、放球的技术环节方面,林丹的失误较少,而鲍春来表现出过多的失误；在网前技术运用上,林丹在搓球、勾球、推球、放球技术运用次数要高于鲍春来；而鲍春来在扑球、挑球技术运用次数较多.     

针对短波3G-ALE信号的改进脉冲干扰性能研究

针对美军新一代短波3G-ALE信号为提高其协议信息传输可靠性而在通信链路层进行的多重数据编码,提出一种改进脉冲干扰方法。首先利用公开的伪随机扰码,建立对周期脉冲信号进行伪随机预加扰的干扰模型;之后推导信号接收处理公式,在此基础上分析脉冲占空比、脉冲周期等干扰参数,以及扰码失步、干扰频偏等因素对于干扰性能的影响;最后仿真干扰实验并得到相关结论。实验结果验证改进脉冲干扰对于3G-ALE信号协议信息可靠传输的干扰有效性,在设置脉冲占空比75%、脉冲周期使得脉冲持续时间等于整数倍符号长度TB时的干扰效果最佳;2TB以内的扰码失步、80 Hz以内的干扰频偏导致的干扰效果下降,则可以通过提高干信比较好地予以克服。     

Kademlia协议中的路由表自适应调节机制

为提高DHT网络在抖动条件下的性能,该文研究Kademlia协议及其路由表自适应调节机制,提出一种k 桶容积参数K 值的自适应调节算法,根据路由数据的可用概率判断网络的抖动状况,通过调节K 值来实现路由表的规模对抖动强度的自适应. 仿真实验结果表明,该算法能有效缩短抖动情况下的查询延迟,将网络的崩溃点提高了近10%,使网络在抖动强度波动时仍能保持较高性能.     

一种基于运动方向变异的混合粒子群算法研究

针对粒子群算法搜索精度不高、易早熟收敛、搜索后期多样性下降快等问题,提出一种基于运动方向变异的混合改进粒子群算法.该算法通过改变部分粒子的运动方向增加种群多样性,扩大粒子的搜索范围;利用非线性减小惯性权重的方法增加搜索后期的精度;用线性地增大和减小两个学习因子来平衡搜索的范围和精度,使得在搜索前期能够迅速定位到全局最优点附近,在搜索后期能够收敛到全局最优点.将该方法应用于函数优化中,仿真结果表明,该算法能够使粒子均匀分布在最优值空间范围内,调整和平衡粒子的全局搜索和局部精细搜索能力,同时能延缓粒子多样性的下降速度,使粒子能够跳出局部最优值.     

分布式电源电网中电能质量调节装置优化配置

为了适应网络参数和谐波源的随机变化,提出一种改进的免疫-粒子群算法来优化配置电网中电能质量调节装置,并采用Matlab/Simulink仿真,验证其正确性和可行性。研究结果表明:该算法能在给定电网范围内统一优化配置滤波装置的安装地点及相应的参数,减小系统损耗,将电压、功率因数等保持在规定的范围内,达到系统平均电压谐波总畸变率和投资成本最小的目的。     

一个新的三维类Lorenz系统的动力学分析及仿真

研究了一个新的三维自治类Lorenz系统,利用非线性动力学的相关理论分析了系统平衡点的稳定性以及Hopf分支,得到了系统发生Hopf分支时参数应满足的临界条件.通过数值仿真,分析了在多组参数下系统的各类动力学行为,进一步验证了理论推导的正确性.     

一种基于XSLT的系统配置设计方法

针对嵌入式实时操作系统用户经常需要手工编辑系统配置文件的技术难点,基于配置文件CML2系统配置的特点,提出了一种基于XSLT技术的系统配置设计方法。以模型驱动架构为设计模式,把系统配置的开发核心转移到模型上,通过模型的相互转换和代码生成技术得到最终的系统配置,利用XSD进行模型的语义约束,再通过XSL语言进行目标文件的转换。改进后的系统运行效果显示:该配置方法能够针对不同平台实现软件构件的"即插即用",做到易于维护,易于操作。     

企业孵化网络的集成创新模型及动态选择研究

分析了企业孵化网络的机理,提出了集成创新模型。在此模型中,孵化器和被孵化企业都间接或者直接地受益于知识转移的环状利益网络。企业孵化网络形成的动态过程展示了处于关系网络中的不同孵化主体与其最近利益相关者的偏好集,说明了孵化网络个体的行为选择如何在长期中受知识可转移性程度影响。实证结果表明,孵化网络动态选择的关键价值来源于知识溢出。