民用航空电子系统网络安全验证方法研究

针对民用飞机适航中的网络安全特殊风险,通过研究美欧等民航审定机构的网络安全特殊风险的测试过程和方法,结合常用的符合性测试方法提出了民用飞机电子系统网络安全测试方法。基于DO-326A中的网络安全测试框架,提出航电系统适用的网络安全鲁棒性测试方法与网络安全脆弱性测试方法。该方法为民用飞机电子系统网络安全适航提供了可行的思路。     

基于API和Postscript的图形自动化验证方法

当今,软件测试工程师越来越倾向于自动化测试的研究工作。自动化测试主要由测试用例的设计、执行测试和验证三个模块组成。而验证模块实现上的困难使得自动化研究陷入了举步维艰的境地。特别是现有的自动测试工具都不能对图形对象进行有效的对比验证。因此文中提出一种自动验证的技术,用于解决屏幕图像、纸质输出图像的验证问题,并借助PowerPoint以实例加以论述。     

软件企业CMMI与ISO9001的符合性验证研究

随着科学信息技术的快速发展,软件产品占据了越来越多的市场,软件研究单位也开始面临却来越严峻的挑战。本文主要介绍分析CMMI模型与ISO9001标准的异同,分析软件企业分别采用CMMI与ISO9001的项目管理的主要环节,探讨软件企业采用CMMI与ISO9001的符合性问题。     

网络处理器验证技术研究

网络处理器是面向网络应用领域的专用指令处理器,是面向数据分组处理的、具有特定电路的软件可编程器件.它将基于精简指令集处理器的低成本、高灵活性与专用网络处理芯片的高性能很好地结合在一起,可适应网络新协议和新应用.该文通过对网络处理器体系结构的分析,在设计过程中应用目前主流的验证技术,根据网络处理器的特点,在各阶段采取不同的验证策略,从而缩短验证周期.     

基于API和Postscript的图形自动化验证方法

当今,软件测试工程师越来越倾向于自动化测试的研究工作.自动化测试主要由测试用例的设计、执行测试和验证三个模块组成.而验证模块实现上的困难使得自动化研究陷入了举步维艰的境地.特别是现有的自动测试工具都不能对图形对象进行有效的对比验证.因此文中提出一种自动验证的技术,用于解决屏幕图像、纸质输出图像的验证问题,并借助PowerPiont以实例加以论述.     

面向移动设备的3D图形处理器设计

提出一种面向移动设备的3D图形处理器的设计方法,从图形算法和硬件架构两个层次进行优化.对图形算法进行C语言的仿真模拟,并设计高效的具有并行和流水线结构的图形处理器架构.该架构采用定点的数据通道,拥有一个可编程的顶点处理器和基于像素块的光栅扫描转换模块,降低电路复杂度的同时提高了整体性能.该设计已经在FPGA上验证,并给出了实验结果.实验结果显示该图形处理器结构可以满足移动设备的图形应用要求,具有可行性.     

Kernel虚拟机的3D图形加速方法

针对当前Kernel虚拟机(KVM)中3D图形硬件加速不完善的现状,提出一种支持OpenGL加速的改进方法。把提供虚拟机3D应用程序加速的开源虚拟机图形库运行在KVM上,使其支持应用程序OpenGL图形加速,并通过对VMGL框架和功能的改进,使得宿主机渲染后的图像结果回显到KVM上,实现虚拟机上的图形加速。     

微处理器Cache的验证方法研究

在微处理器功能验证中,由于高速缓存(Cache)是软件(即测试程序)不可见的,对其进行芯片级验证难以获得高的可控制性(测试场景构造)和可观测性(验证结果检测)。基于此,提出通过验证平台调用的方法,为软件提供服务和管理Cache,构造测试场景。采样由Cache引起的微处理器系统总线行为检测验证结果。实验结果表明,该方法方便测试程序开发,减少验证时间。     

微处理器功能验证方法研究

微处理器验证是微处理器设计的关键环节。该文探讨了微处理器模拟、硬件仿真、形式验证等方法的原理、特点和适用场合,提出了进行多层次微处理器功能验证的总体思路。     

可视语音合成技术的3D通信关键技术研究

针对3D通信中人物模型面部表情难以控制、音频和动作数据同步性较差的问题,本研究基于可视语音合成技术的3D通信平台,用户终端对接收到的数据进行人物化表达,通过虚拟人物模型的肢体动作和面部表情传递情感和意图.基于OpenGL工具开发,将纹理展开图作为映射材质,提高了虚拟人物模型的真实性.实验结果显示,本研究输出的语音数据正确率最高可达到99％,面部模型的动作数据与真实运动数据最为接近.     

基于微机的三维图形引擎体系结构研究

本文分析了目前在微机上广泛应用的几种三维应用程序接口的结构及其特点，提出了一个基于OpenGL和Direct3D两种三维应用程序的三维图形引擎体系结构框架，该框架采用面向对象的设计思想，具有很好的可扩展性和代码复用率。     

六自由度机械手三维运动仿真研究

以六自由度机械手三维运动仿真为背景,介绍了利用OpenGL实现机械手运动仿真的有效方法,重点分析了机械手运动学模型的构建以及运动轨迹规划的实现。对于一般的机械手运动仿真系统,该实例具有一般普遍性。     

一种面向服务构件的高可信组装技术的研究

服务构件的组装和验证是基于构件的软件工程的核心。为确保服务构件组装的高可靠性,引入了马丁洛夫类型理论来形式化地描述构件接口的功能性和非功能语义信息,使之在进行组装时,可利用其接口所携带的语义并根据推理规则在验证工具Coq中推导其正确性和可信性。其次,提出基于类型理论的组装验证模型并结合实例进行分析。最后,介绍了文中的可视化开发平台的原型系统,其具有界面友好、功能操作简单等特点。通过马丁洛夫类型理论的方法组合的构件系统表现出高可靠性。     

3D虚拟仿真技术在体育馆购票系统开发中的应用研究

传统体育馆售票方式无法使购票者在购票时实时感知座位的具体视角。本文提出一种解决思路,其基本思想是根据设计图纸提取场馆的拓扑结构和几何信息,并对场馆三维建模,虚拟仿真体育馆内部场景,再使用OpenGL库函数将模型导入系统来实现场景旋转、转换和购票等人机交互操作。为使用户在购票时更好地感受逼真的三维视角效果,运用画法几何中射线和三角形求交算法解决三维仿真交互中座位定位等问题。     

创建中国人三维人脸库关键技术研究

通过CyberWare人脸专用扫描仪获取高分辨率的彩色三维人脸来构建中国人三维人脸数据库．创建三维人脸数据库时,要对原始三维人脸数据进行预处理,并通过规格化将三维人脸表示为统一的标准形式．规格化的关键是要建立三维人脸数据基于特征的稠密对应,这是图形学和计算机视觉中的难点问题,目前使用光流方法建立的对应效果并不理想,因此提出了基于网格重采样的计算方法,取得了良好的对应效果．     

VxWorks系统下CF卡中HEX格式文件读写方法研究

为修理VxWorks系统下含486处理器板件,迫切需要开展板件Flash器件内部代码读写研究.为此,从系统组成、基本结构以及编程开发方面,对VxWorks系统进行较为全面的诠释,并在此基础上,针对CF卡,对其HEX格式文件进行读写,设计出相应的读写流程框图,给出程序清单,并针对盛博486平台,对所提出的文件读写方法进行实验验证,结果表明其有效性.     

物联网关键技术研究

针对近年来人们广泛关注的物联网,分析讨论了制约物联网发展应用的关键技术,包括感知技术、网络通信技术、数据融合与智能技术,以及云计算等。这些技术将对物联网的发展和应用乃至人类生活、工业发展、科技进步起到至关重要的促进作用。     

基于OpenGL的3DS模型组件运动仿真的实现方法研究

利用3DS模型文件的特点和OpenGL的模型变换功能,通过先还原模型坐标为全局坐标,再重新组织模型变换的方法,实现了单个3DS模型文件中不同组件相对运动的仿真,进而得出一种通用的3DS模型各组件相对运动的实现方法。该方法具有控制简单、变换灵活、通用性强的特点。     

交互式图像辅助三维复杂曲面数控自动编程系统

本文介绍一个简单、实用的复杂曲面三坐标数控自动编程系统的设计原理和实现方法。该系统在微机上运行,具有交互式的图像辅助功能,能有效地解决复杂曲面的数控加工编程问题,对推广CAD/CAM技术具有一定的实际意义。