基于程序建模的网络程序漏洞检测技术

研究和分析了网络程序漏洞检测方法,针对C/S结构下网络程序存在的二进制漏洞提出了一种基于程序建模的漏洞检测方法。该方法针对网络程序架构进行分析,通过抽取不同类型网络程序中的关键性系统函数,进行程序建模和检测系统执行模块开发。采用选择符号执行技术进行检测,通过函数挂钩的方式定制挂钩函数语义和函数执行触发的操作,引入符号化数据和引导符号执行过程。研究过程中基于该技术实现了一套网络程序漏洞检测系统,系统能够识别目标网络程序采用的I/O模型,根据目标网络程序的不同类型调取相应的系统执行模块,利用选择符号执行技术进行自动化漏洞检测过程。实验结果表明,相比于已有的检测工具,该系统在网络程序的漏洞检测方面针对性更强,程序代码的覆盖率更高,同时具有很好的可扩展性。      

五自由度位移平台控制系统设计

介绍了一种五自由度位移平台控制系统的设计。该系统为风洞流场中温度、压力等传感器进行测试提供位移平台。采用自行设计的运动控制器,结构简单,控制精确;移植了嵌入式实时操作系统μC／OS-Ⅱ,通过μC／OS-Ⅱ来调度运动控制器的多个任务;采用PC机作为上位机,为用户提供友好的人机界面。     

高精度全机重心测量方法的探讨

飞机全机质量、重心测量是飞机出厂检验必须的工序。本文系统地介绍了飞机重心测量的原理,定量地分析了飞机姿态对重心测量精度的影响。在此基础上,提出了一种全新的质量、重心测量方法,该方法避开了对飞机进行几何测量的环节,从而减少了导致测量误差的因素。     

用CST软件仿真替代部分卫星RM测试的可行性研究

环境减灾-1A、1B卫星采用CST-MWS软件完成了RM星仿真分析,快、好、省地完成了天线分系统设计验证任务。文章通过某卫星全向天线CST-MWS软件分析结果与RM测试结果的比较,表明软件分析结果的准确性满足RM验证的要求,验证了环境减灾-1A、1B卫星RM星仿真结果的正确性。进而也论证了软件仿真替代部分RM测试的可行性。     

直流电阻测试仪电阻示值误差测量结果的不确定度评定

介绍了一种利用直流标准电阻检定电阻测试仪电阻示值误差测量结果的不确定度评定方法。     

1553B总线控制系统时间同步设计

高准确度的时间同步是实时性现场总线控制系统正确运行的基础.本文介绍了几种现场总线系统软硬件时间同步机制,针对1553B总线控制系统,通过深入分析总线协议芯片的工作时序,利用芯片内部的时标寄存器,采用软件补偿的方法,设计了一种准确度与软件和网络延迟无关的高准确度、低通讯开销的软件时间同步机制.试验表明,这种同步机制准确度可达到μs数量级.     

基于J2EE的网上考试系统的设计与实现

为提高教学质量、减轻教师的工作负担,本文给出了一种基于J2EE的网上考试系统,同时对该系统功能结构进行了详细的设计与分析。     

基于uclinux的嵌入式网络洗碗机

采用32位ARM内核的S3C44B0作为核心微处理器,设计了网络洗碗机控制器各个模块的硬件电路,包括系统电源、FLASH、SDRAM、网口、LCD显示屏等.在基于嵌入式实时操作系统μClinux的软件平台上,移植了用户图形界面minigui,编写了洗碗机的应用软件.试验情况表明,系统既可实现洗碗机现场操控功能,又能够进行基于以太网的数据通信,对洗涤参数和运行状态进行远程监测,其可靠性和实时性达到了设计要求.     

基于高精度压力传感器的气压高度表设计

本文介绍了基于绝对压力传感器SCP1000-D01的气压高度表设计。对其硬件和软件设计进行了详细说明,通过SPI总线和UART串口通信的调试,得到温度和压力数据并完成高度表与上位机之间的通信。     

基于FDTD与C＋＋的金属目标RCS省内存计算

利用C＋＋语言的面向对象特性,实现了金属目标雷达散射截面（Radar Cross Section,RCS）的省内存计算。一般用时域有限差分（Finite—Difference Time-Domain,FDTD）法计算金属目标的RCS时,没有考虑到金属目标内部电磁场量为零的特性,对金属目标内部也分配了大量的内存。将金属目标分为内外两部分,对内部区域分配内存消耗少的数组,利用C＋＋语言的多态性,将各个不同的区域连接成一个整体来计算,从而减少了内存消耗。数值计算结果表明,与普通计算方法相比,对计算精度没有影响,同时可以大幅节省内存消耗。