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

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

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

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

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

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

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

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

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

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

面向QoS保障的虚拟可信服务*

针对服务计算模型中对应用的可信特性支持不足问题,提出面向QoS保障的虚拟可信服务VTS,并依据VTS设计了一种基于反馈控制的自适应QoS保障机制。首先将VTS的QoS保障转换为反馈控制问题,给出一种自适应QoS保障框架,再在此框架下对VTS的QoS维护过程和策略进行建模,设计和实现了相应的动态组建、调节算法和实时评估策略。最后通过仿真实验的结果分析表明,该保障机制能够有效地增强VTS对服务实体运行时的QoS保障能力。     

AADL软件容错系统建模与评估

提出了一种解决软件客错系统的可靠性评估方法,该方法基于AADL,对嵌入式软件系统进行建模,详细分析了软件系统内部各种构件的各种错误状态和其之间的错误传播,构建了AADL软件系统错误模型,并根据基本的转换规则将其转化为广义随机Petri网模型,使用现有工具对其进行了计算,从而实现了软件客错系统的可靠性评估;以航空交通控制(ATC)为应用场景进行实验.根据经验数据适当的假设了部分构件的失效率,收到了较好效果.     

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

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

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

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

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

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