智能缝制设备嵌入实时软件平台的定制与实现*

依据智能缝制设备数字化、网络化的应用特点,首先分析了面向智能缝制设备的嵌入式系统体系结构,重点研究了基于Linux开发面向领域的网络化嵌入实时软件平台的关键技术和方法。目前,基于该方法所实现的嵌入式软件平台已被成功应用于新型的电子花样缝纫机。     

基于多核的IPv4/IPv6过渡技术的研究与实现

针对目前IPv4/IPv6过渡时期存在的问题,结合目前主要过渡技术的不足,提出基于多核的IPv6隧道技术,设计了多核下IPv6隧道模型。利用多核流技术、锁技术和多核负载分担方法,加速转发处理、保护多核临界资源和提高系统整体性能。仿真实验结果表明,IPv6隧道技术基于多核比基于单核的实现,在转发与处理性能上成倍提高,能更好地解决过渡时期存在的问题与适应未来的发展。     

CUDA并行程序的内存访问优化技术研究

对统一计算设备架构CUDA技术进行了研究,分析了CUDA体系结构及其内存访问机制的显著特点,总结了CUDA并行程序常见的内存访问问题,针对全局内存的非对齐访问和共享内存的访问冲突,提出了相应的内存访问优化策略;最后,利用直方图均衡算法对此优化技术进行了测试,对比了优化前后的程序执行时间;实验结果表明,利用此优化技术可以大大缩短CUDA程序的执行时间,并且图像像素越大,优化效果越好。     

一种面向AADL架构的模型测试方法

鉴于模型在软件系统开发中日趋重要的地位和AADL模型在嵌入式软件建模中的良好应用前景,为了在嵌入式软件系统开发前期保证AADL模型的质量,提出了一种基于模型测试的AADL架构验证方法;该方法应用马尔可夫链描述AADL架构的行为,然后根据得到的马尔可夫链模型以及系统设计要求标准生成相应的测试用例和测试预言,并通过测试用例执行输出和期望值的比较判断AADL模型的正确性,实现对系统AADL模型的测试;最后通过案例分析证明了该方法的有效性。     

面向RTI的虚拟试验系统中监控工具的研究

一个虚拟试验系统能正确、高效、稳定地运行,需要有相应的监控工具对其进行监管;而现有的虚拟试验监控工具通用性差且效率较低,为此研究了面向RTI的虚拟试验系统中监控工具;对联邦监控工具的原理进行了分析,设计了其管理功能;结合HLA中的MOM的管理功能及各种配置文件,研究了得到联邦的各种信息和对联邦进行控制的方法;设计了可移植性的轻量级的线程模型及友好的用户界面,实现了面向RTI的联邦监控工具,并通过某试验系统的应用,验证了该工具的可用性.     

分布式软件系统兼容性自动测试用例的研究与开发

探讨了对网络作业负载均衡系统NISF进行兼容性自动测试的意义，技术难点以及解决措施，例举了一个典型兼容性自动测试用例的设计和实现，探讨了自动测试用例的功能特性，提出了开发自动测试用例的模式，讨论了自动测试信息的保存和分析，提出了如何改进自动测试用例质量的措施。     

Smith预估控制算法在事件通道中的应用

采用Smith预估反馈控制方法,通过离散事件仿真,对实时CORBA事件通道中任务的QoS级别进行控制,从而控制事件通道中的任务流量。试验结果证明,用该控制方法对事件通道进行性能控制,能够获得低延迟、高可靠的实时通信。     

XML数据存储方式的性能评价研究

论文介绍了文件系统、NativeXML数据库和XML-enabled数据库三种XML数据存储方式的基本原理,提出了以查询响应时间为性能指标、以XMark为基准测试工具的性能评价方法,设计并完成了对比文件系统和Xindice系统的实验,分析了结论。     

基于MC3D软件对核电厂压力容器蒸汽爆炸的重要参数计算及研究

在福岛核事故核安全问题倍受核工业界及核监管当局重视,蒸汽爆炸是对安全壳完整性的最重要威胁,也对采取堆内熔融物滞留(IVR)造成重大影响,因而成为国内外研究的热点。本文在对蒸汽爆炸机理与现象调研的基础上,使用法国辐射防护研究院(IRSN)开发的MC3D软件对国内自主设计核电厂华龙一号核电厂压力容器外蒸汽爆炸现象进行分析,并对设计方计算结果进行独立计算,所得出的结果验证了设计方的计算,为制定华龙一号核电厂严重事故管理策略提供参考。     

基于网络处理器的NAT优化设计

提出基于网络处理器IXP2400的网络地址转换(NAT)实现方案,并对NAT表的存储结构、表项的创建和删除、ME与XScale之间的通信机制、MAC地址修改与校验和计算等关键技术进行优化设计,使其既具有线速处理的能力,又能灵活地配置。