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

依据智能缝制设备数字化、网络化的应用特点,首先分析了面向智能缝制设备的嵌入式系统体系结构,重点研究了基于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进行兼容性自动测试的意义，技术难点以及解决措施，例举了一个典型兼容性自动测试用例的设计和实现，探讨了自动测试用例的功能特性，提出了开发自动测试用例的模式，讨论了自动测试信息的保存和分析，提出了如何改进自动测试用例质量的措施。     

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

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

一种基于HMM的场景识别方法

隐马尔科夫模型作为一种统计分析模型,能够通过观测向量序列计算其隐含状态的概率分布密度。提出一种智能空间中基于HMM的场景识别方法,该方法指定系统相关情境信息,确定隐含场景集和观察情境集,采用部分相关情境信息而非全部情境信息作为场景特征参与场景识别,利用HMM对隐含场景间的关系进行建模,设计了基于HMM的场景识别算法。实验结果表明,采用基于HMM的场景识别方法能够获得较高的识别效率。     

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

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

实时仿真技术研究

信号数据的实时采集和处理是实现以信号测控为特点的实时仿真系统关键技术之一.文中针对某智能花样机仿真测试系统的实时要求,综合采用Windows提供的硬件中断、线程同步和双级缓存等技术,提出了一种基于计数器卡实现信号数据的实时采集和与仿真目标同步显示的方案,并给出详细设计思路论证方案的可行性,实验结果表明可以明显改善目标仿真平台的实时性与准确性.该系统的设计思想在其它方面的应用也具有借鉴意义.