摘要：为了解决软件测试中路径爆炸、新路径发现率低以及静态分析中虚报率高等问题,提出了动静态分析结合的脆弱性挖掘框架,并针对循环爆炸问题设计了基于懒符号执行的路径求解算法,该路径求解算法应用最短路径、条件约束集概率和可达路径数量3种静态信息制导符号执行,提高了路径选择的准确率,能较快地逼近脆弱点,并利用懒符号执行技术自动识别循环结构,通过推迟变量实例化等方法,有效地缓解了循环结构的路径组合爆炸问题,最终生成到达脆弱点集的数据包.对coreutils6.10命令包的实验结果表明,与现有的方法 KLEE、Otter和SAGE相比,该文提出的方法可以有效地对具有较多分支的程序进行分析,当测试程序越大其优势越明显.

摘要：随着嵌入式设备的种类和数量的增加,设备之间日益增长的互联互通、制造商对安全的忽视、设备固件更新不及时或难以更新等,使得嵌入式设备的安全受到了严峻的考验,越来越多的设备漏洞被披露.但由于嵌入式设备种类繁多、专用性强、源码或设计文档往往不公开、运行环境受限等诸多因素的影响,通用漏洞挖掘技术无法直接适配.近年来,国内外安全专家和学者针对嵌入式设备及其固件的安全分析和测评技术提出了很多切实可行的解决方案,但缺乏详细和全面介绍最新安全研究成果的论文,使得安全分析人员难以系统地了解嵌入式设备及其固件安全分析技术的研究进展.本文围绕着当前嵌入式设备固件面临的安全风险,分析和总结了国内外最新的研究成果,并对相关安全技术进行了综合分析和评估.首先对嵌入式设备及其固件的表现形式、分类及获取方法、面临的安全攻击层面以及自动化解析情况进行了深入研究.然后,对嵌入式设备固件安全分析技术进行了细化分析,从静态分析、符号执行、二进制漏洞关联、动态分析平台和模糊测试等五个方面进行了详细分析和横向评估.最后对未来的研究方向进行了展望.

摘要：网络设备监管是指对IP网络中的关键设备进行实时监控和管理,使网络管理员对网络设备的使用情况有更为深入的了解。在研究分析网络管理协议的基础上论述了基于RMON的网络设备监管系统组成结构和实现原理,同时详细介绍了该系统各主要功能模块的设计与实现。

摘要：针对现有方法在定位效能和适应性方面的不足,提出一种基于污点状态空间的脆弱性可疑点定位方法,在动态污点分析的框架下,建模扩展污点状态机模型,通过离线轨迹文件分析指令执行时的污点状态迁移,同时设计了多类非安全迁移规则,检测并定位脆弱性可疑点。构造原型系统并进行测试的结果表明该方法能在未触发脆弱性的条件下较完备和快速地定位多类脆弱性可疑点。

摘要：针对道路交通及ITS应用的现状,在分析研究RDS-TMC技术的基础上,设计了利用RDS-TMC技术传输实时交通信息的车辆动态导航系统,并介绍了系统的主要功能模块。在跑车实践中证明,该系统设计可行,运行可靠。

摘要：乡村旅游作为乡村特有资源与旅游业有机融合的一种旅游业态,以其休闲、生态的特质,成为当今世界旅游业发展的潮流之一,在中国旅游业发展中起着重要作用。在新农村建设成效初显的环境下,乡村旅游是区域经济社会发展中最具活力的成份。以广西巴马盘阳河长寿养生休闲旅游开发规划为例,探讨景观设计在乡村旅游规划中的地位和作用。

摘要：针对现有气象探空测风系统存在的问题,在研究GPS定位原理及其数据交换协议的基础上,将GPS技术引入气象探空测风领域。设计实现了基于GPS定位技术的探空测风系统,并着重论述了系统采用的数据编码方式和纠错校验方法。系统预留了温度、湿度和压力信息的采集接口,具有较好的扩展性。在实际放飞试验中证明,该系统设计可行,运行可靠。

摘要：作为汽车主动式安全装置之一,汽车照明系统对行车安全有重要意义。在分析了现有汽车照明系统组成的基础上,采用新型固态光源LED代替传统光源用于汽车照明,根据汽车各个车灯的功能和特点,研究并设计了汽车LED灯光控制系统,包括控制电路和LED驱动电路的设计。以单片机XC164为控制核心,完成参数实时采样分析,并将热控回路和光控回路的反馈以PWM的形式输出,控制LED的状态。LED驱动电路部分选用电流模式LED驱动器MAX16834芯片,针对汽车照明系统的工作要求,通过搭建开关电源的升压、降压电路,设计出一种宽功率范围的LED恒流驱动电路。实践表明,该设计可以实现对汽车照明系统的检测和控制,具有良好的应用前景。

摘要：在比较B/S和C/S两种网络数据库开发模式各自特点的基础上 ,结合工艺敏捷响应系统所要实现的功能 ,提出采用混合模式来完成工艺敏捷响应系统的设计 ,并探讨各子系统的功能、实现模式和系统的数据库访问方式。

摘要：针对自主式车载导航系统的应用现状,本文在分析研究RDS-TMC技术的基础上,设计了利用RDS技术传输实时交通信息的车载动态导航系统,并介绍了系统的主要功能模块。在跑车实践中证明,该系统设计可行,运行可靠。