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

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

基于PC/DSP的开放系统结构智能切削模块

研究了采用PC微机和数字信号处理器(DSP)板构成实时开放系统结构智能切削模块(OSA-IMM)的体系结构和功能要求,以及实现开放系统结构设计的关键问题.采用信号处理网络、可重入的插入式模块、描述命令文件以及面向切削过程智能化控制的标准函数库等,实现了系统的开放性和智能化.以OSA-IMM构成了车削过程自适应控制系统和基于人工神经网络的车刀后刀面磨损值在线估计系统.实验表明,OSA-IMM具有良好的开放系统结构和强大的实时处理能力,并有智能计算能力,在该平台上,可以方便地配置成适用于切削加工过程不同要求的控制/监测系统.     

三坐标数控自动编程系统

本语言系统作为计算机辅助制造中的一个应用软件,可以处理自由曲面,以简化复杂曲面的数控编程工作、语言格式符合曲面的集合描写概念。具有曲面数学模型的完整描述,同时又具有工艺性和直观性。系统主要用FORTRAN Ⅳ编写,为模块分层结构,共分三个主要模块:编译模块、数学处理模块、后置处理模块。数学处理可提供三种选择:COONS曲面、BEZIER曲面、直纹曲面。在COONS曲面块(PATCH)中扭矢由混合偏导数求出。在BEZIER曲面中用户可以给出多边形顶点或直接给出型值点(均匀分布)。系统还提供了某些特殊功能,以满足不同用户的需要。输出信息亦可有几种选择。     

基于CDD函数的ICT系统设计技术

工业计算机层析成像(ICT,Industrial Computed Tomography)是一种先进的非接触式无损 检测技术,具有复杂精密、非通用和高成本的特点,需要根据用户的具体检测需求进行定制 开发,以降低系统研发风险和成本.为此,提出并研究了一种基于对比度-细节-剂量(CDD ,Contrast-Detail-Dose)函数的ICT系统设计技术框架.据此,推导了扇束三代二维ICT 系统基于CDD函数的设计平台,并完成了软件开发.该项技术包括基于CDD函数的计算机辅助 设计(CAD,Computer Aided Design)模块、扇束三代二维ICT成像数字仿真模块和CT图像 性能评定模块3部分.其输入参数是表征用户检测需求的初始设计参数,输出参数是满足用户 检测需求的最优解.初始设计参数首先进入CAD模块完成性能考核;如果满足要求,再进入仿 真模块完成仿真考核;最后,对仿真结果进行量化评定,得到设计参数对应的系统性能指标 .计算机仿真和工程系统开发结果验证了该设计技术的有效性.      

基于Casper和Simulink的射电谱仪信号处理系统设计与实现

基于Casper硬件平台的射电望远镜数字系统正在被广泛应用.在Simulink中通过调用Casper模块可以实现复杂的数字信号设计，加快FPGA开发射电望远镜系统的效率.利用Casper模块和Simulink中Xilinx模块设计射电望远镜单元样机的数字信号处理单元，完成子带的抽取、下变频和整体频谱分析等功能.在Casper通用硬件平台ZYNQ7020上进行相关功能的仿真，验证了利用Casper模块和Xilinx模块设计基于FPGA的射电望远镜单元样机信号处理系统的可行性和高效性.      

高低温环境模拟系统MATLAB仿真研究

在MATLAB仿真软件平台上,针对高低温环境模拟系统,首先以建立系统动态仿真模型为目的,以单个设备为基本模块,以状态、质量连续、能量守恒、动量守恒等方程为基础,以MS-Function函数与封装模块为基本方法,建立了高低温环境模拟系统MATLAB仿真模型库,然后在此基础上搭建了实际系统仿真模型,最后采用MATLAB图形窗口、ActiveX数据传输技术相结合的设计方法开发了系统仿真应用软件.实践证明该方法效率高,仿真研究及所开发的系统仿真软件都具有较好的扩展性和延续性.      

空间高等植物培养装置

空间高等植物培养装置用于中国天宫二号空间实验室开展微重力条件下高等植物生长机理研究.该装置由高等植物培养模块、生命保障模块、实时在线检测模块和返回单元等功能单元组成,可实现高等植物空间长周期培养,在轨启动生物实验,实时在线观察和荧光监测,水分循环利用及营养供给,模拟太阳长短日照周期控制与检测,环境温度测量与控制,CO₂浓度调节,有害气体去除及航天员回收部分样品等功能.      

一种图像缩放算法的SoC协同加速设计方法

针对无人机自主着陆的跑道检测、识别、跟踪等视觉算法中需要对大量图像进行缩放处理以便后续计算,但又对实时性要求比较高的情况,根据输入输出像素点的映射关系提出了一种适用于硬件加速的图像缩放算法,简化算法结构的同时利用现场可编程门阵列进行模块硬件功能的设计对算法加速,并采用软硬件协同的体系结构搭建实时图像处理系统。实验结果表明,该缩放算法处理精度高、耗时少,且用硬件逻辑实现后,可以进一步提速171倍,硬化后的系统可以通过摄像头获取图像数据,实时处理后在显示器中显示,达到30帧/s的处理速度,可以应用于实时性要求较高的图像处理算法中。      

工业总线标准电容层析成像系统设计

为保证电容层析成像(ECT)系统满足航空航天领域多相流参数测试的要求,开发了一套基于CPCI工业总线标准的ECT系统。采用高性能现场可编程门阵列(FPGA)芯片作为主控芯片,实现信号激励模块、多路复用开关模块、数据处理模块、数据解调和传输模块的集成式设计,将采集信号进行预处理,实现信号的滤波、放大和相敏解调,并通过CPCI工业总线接口把解调后的电容数据传送至系统上位机,完成图像重建。实验测试结果表明:系统采用1 MHz激励信号和8电极传感器的工作模式下,采用10周期的测试信号解调时,图像采集速度可达1 785幅/s,信号的信噪比高于60 d B,成像结果具有良好的空间分辨率。     

通讯—导航—识别综合系统中导航功能的实现

同步时分多址系统,根据接收到的同一网络中用户的讯号,可以以很高的精度完成讯号到达时间的测量。以此为基础,在通讯系统中增加一些软件模块,可以完成相对导航功能。如果网络中的某些用户,具有准确已知的地理位置,也可以提供绝对导航功能。本文论述相对导航的实现方式,并对其中的主要误差来源进行了讨论。     

在轨服务卫星GNC系统地面测试与在轨支持设计

针对在轨服务卫星GNC系统的任务特性,设计了一套地面测试系统,经过相应模块扩展即可用于在轨服务技术支持.该系统已应用于某型号GNC系统的地面测试和在轨运行,稳定性和可靠性良好.地面测试系统由动力学仿真器、星上产品模拟器、ATS测试系统、三维显示系统组成,该系统充分验证了星上软件算法逻辑和硬件电气接口.增加三维避障、图像显示分析等模块后,测试系统实时性更强,可视化程度更高,能适应卫星在轨服务等复杂工况.     

基于ASIC技术的1553B IP核的设计

针对卫星轻小型化的应用需求和现有1553B总线接口设计存在缺陷的问题,提出一种面向航天器综合电子的1553B总线协议ASIC芯片设计方案,并介绍了自主研发的1553B协议IP核设计. 1553B IP核采用自顶向下的设计方法,使用Verilog硬件设计语言进行编程,实现了1553B总线中的总线控制器BC和远程终端RT功能. 分别从1553B IP核总体框架、BC/RT共享模块、BC功能模块和RT功能模块详细介绍了IP核的设计.1553B IP核设计完成模块仿真验证、ASIC芯片系统仿真验证和FPGA验证,通过DDC的1553B板卡对设计进行验证,误码率小于10-9. 实验结果表明,本IP核设计具有可靠性高、可移植性强、资源占用少、实时性好的特点.      

基于PXI总线的姿态角变换器高精密测试系统设计

为了验证遥测系统姿态角变换器的功能可靠性,研制了一种基于PXI总线的高精密测试系统。姿态角变换器高精密测试系统以PXI的模块化设计为平台,各功能模块板卡即插即拔,增强了硬件上的可扩展性;整个测试台为一体式设计,内嵌显示器。软件设计中采用针对测试系统的开发软件LabWindows/CVI,采用C语言进行编写,为了充分利用系统资源,采用多线程技术,通过软定时器来控制各个线程的运行和停止,并实时刷新显示数据。实际测试结果验证了设计的可行性。     

基于PXI总线的姿态角变换器高精密测试系统设计

为了验证遥测系统姿态角变换器的功能可靠性,研制了一种基于PXI总线的高精密测试系统。姿态角变换器高精密测试系统以PXI的模块化设计为平台,各功能模块板卡即插即拔,增强了硬件上的可扩展性;整个测试台为一体式设计,内嵌显示器。软件设计中采用针对测试系统的开发软件LabWindows/CVI,采用C语言进行编写,为了充分利用系统资源,采用多线程技术,通过软定时器来控制各个线程的运行和停止,并实时刷新显示数据。实际测试结果验证了设计的可行性。     

虚拟原型技术及控制工程中的虚拟原型机

虚拟原型技术是当前设计、制造领域中的一个新技术,数字式的虚拟原型机将在很多场合替代物理原型机的使用,大大缩短设计周期,节约设计经费。在控制系统设计中,虚拟原型机可以分成３个层次,分别完成控制律的设计,控制软件的开发和控制系统的定型验证的任务。飞行控制系统虚拟原型机是建立在局域分布式仿真基础上的全数字式,并有接入实物的能力的仿真环境。为实现飞控计算机的虚拟原型机,硬件上构筑由多台计算机构成的主从结构     

控制系统通用综合测试系统组建研究

在分析系统需求和基本功能的基础上 ,采用VXI总线技术、远程测控技术和测试应用程序自动生成等关键技术 ,按照综合测试的总体要求进行系统集成 ,组建控制系统通用综合测试系统 ,包括系统硬件和软件方案 ,对系统的硬件结构方案、模件选型以及软件流程、组成和作用进行了详细讨论。     

空间电子设备辐射屏蔽方法的研究与软件实现

研究了空间电子设备辐射屏蔽分析的方法,利用计算机辅助设计(CAD)技术和软件开发工具,将复杂繁琐的计算过程编写成流程化的程序;利用三维CAD技术的二次开发功能,从Candence软件生成的记录文件中提取出信息,在计算机图形环境中高效自动地生成电路板模型;借助计算机交互技术,实现剂量点坐标的自动提取和保存;利用办公软件个性化设置功能,设计出提取背景信息的接口,实现了最终报告文档的自动生成.开发出的软件最终成功地实现了在不同结构和布局的空间电子设备中,在不同方向和位置上累积的空间带电粒子剂量值的计算,为电子设备结构的抗辐射设计提供了参考和依据.     

旋转跟踪模块测试系统设计

简单介绍了旋转跟踪模块测试系统的研发需求背景,阐述了测试系统的组成结构及工作原理;详细介NTN试系统的主要组成单元,最后对测试系统的软件设计要求、程序流程和关键参数测量进行了说明。     

一种嵌入式系统软件的非干涉测试方法

传统的嵌入式系统软件测试方法对被测试系统有一定的干涉效应,影响了测试结果的精确性和正确性.采用"非干涉测试方法"可以将这种影响消除,从而得到精确的测试结果,是一种准确反映被测试目标系统真实运行状态的测试方法.与传统的测试方法不同,该方法的特点在于对目标系统完全是非干涉的.通过分析非干涉测试方法的基本特征,提出了该方法的应用模型.在这个模型中,有3个组成部分是必需的,包括静态分析模块,动态分析模块和通过硬件采集目标系统状态信息的数据采集子系统.静态分析模块对被测试软件静态特征进行分析,指导硬件采集子系统如何采集以及动态分析模块如何解析采集的数据.在整个测试周期,"非干涉测试方法"不需要在目标软件中驻留任何仅用于测试的可执行代码.      

基于DeviceNet总线的双CPU冗余实现

介绍了一种基于DeviceNet现场总线的双CPU冗余实现,双CPU冗余设计对提高分布式计算系统(DCS,Distributed Computer System)可靠性有重要意义.两个CPU处理单元与多个数据I/O单元通过一个现场总线连接,CPU处理单元中运行的DeviceNet客户机和服务器程序实现两个处理器单元之间的数据同步及对各个数据I/O单元的冗余控制.当主CPU单元发生严重故障停止运行时,从CPU单元中运行的伪组2客户机程序帮助从CPU单元快速完成主从切换,在不到8 ms的时间内接管整个系统.该研究应用于某专用DCS系统过程控制站的设计中,提高了系统的可靠性.