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

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

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

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

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

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

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

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

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

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

一种基于H.264的快速运动估计算法

H.264标准采用了新的编码模式,使H.264的编码压缩效率比先前的标准提高了50%以上,但这些新的编码模式也增加编码器的复杂度和编码运算时间.一种基于H.264的全方向十字型快速运动估计搜索算法,能够在视频质量最少损失的情况下,显著提高运动估计的搜索速度,降低编码器的设计复杂度并可以节省编码时间.     

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

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

无线传感器网络汇聚节点的研究与实现

研究无线传感器网络中汇聚节点的设计原则,分析汇聚节点的特性与需求,进行器件的选型。基于PXA270低功耗嵌入式处理器的设计实现了具有串口、以太网、USB和CF等多扩展接口的汇聚节点硬件平台。给出引导加载程序的过程,并在自主设计的硬件平台上实现了Blob的移植。     

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

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

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

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