GJK算法的一种特殊情形的形式化验证和应用

计算几何算法经常用于机器人避碰运动规划等安全攸关领域,对这些算法进行正确性证明非常重要.用形式化方法对算法进行验证是一种十分有效的手段,尤其是定理证明的方法用严格的数学公理和定理推理证明逻辑模型的性质,对所验证的性质而言是完备的.基于GJK算法设计了计算空间两条线段间距离的算法,用定理证明器HOL4对其相关的定义和定理进行形式化定义和证明,进而基于霍尔逻辑完成形式化表示和证明,对该算法的正确性实现了形式化验证.最后,给出了这一经过验证的算法在双臂机器人无碰撞运动规划中的应用.     

嵌入式微波自动阻抗匹配系统

阻抗匹配是微波系统的必要环节.传统的手工匹配方式限制了微波系统在很多领域的应用.针对微波等离子体设备,基于ARM Cortex-M3的LM3S8962处理器,可构建一种微波自动阻抗匹配系统.系统硬件包括信号检测、电机驱动等电路,软件方面进行嵌入式应用开发、自动阻抗匹配算法研究和编程等.测试结果表明,该系统实现首次自动阻抗匹配的时间低于1 min,跟踪负载动态变化再次实现匹配的时间低于10 s,匹配时反射与入射功率之比低于10％.该系统有利于促进微波技术的应用.     

基于XFEM和正交实验法的裂纹参数对扭杆强度影响的分析

为研究裂纹对扭杆安全运行的影响,采用扩展有限元法（eXtended Finite Element Method, XFEM）对其进行裂纹扩展分析,并结合正交实验法研究裂纹参数对扭杆强度的影响.结果表明：裂纹的长度对扭杆强度影响最大,裂纹的形状对扭杆强度影响最小.该数值分析方法可应用于扭杆的设计和检修中.     

软件可靠性测试用例的复用度量

针对目前基于复用的软件可靠性测试缺少对测试用例复用度量的现实问题,在构建测试用例复用模型的基础上,首先应用特征分析法求解测试用例各复用资源的权重,然后再分别计算它们在测试中的复用度,最后求解得到测试用例的平均复用度。从定量的角度解决了测试用例的复用度量问题。     

使用多重纹理实时绘制Phong高光表面

物体表面的高光现象均由镜面反射的一个复杂的非线性表达式描述,这为实时绘制带来了困难,由此本文提出了一种使用纹理映射技术绘制高光表面的方法。首先将具有镜面反射表达式的Phong模型分解成多个预计算的函数,然后存储为纹理图,最后使用多重纹理技术将这些纹理组合起来,实现高光表面的绘制。实验结果表明,本文算法大大提高了绘制的性能。     

浅谈连续语音识别中的关键技术

连续语音识别系统的出现,更进一步的推动了连续语音识别的研究及应用,但识别技术的成熟也同时推动了更高层次的语音理解技术的研究。文章分别对连续语音识别中可能出现的关联词技术、关键词技术、顽健性技术、自适应性技术及搜索策略给予了介绍。     

基于直接估计梯度思想的数据降维算法

高维非线性数据的降维处理对于计算机完成高复杂度的数据源分析是非常重要的。从拓扑学角度分析,维数约简的过程是挖掘嵌入在高维数据中的低维线性或非线性的流形。该文在局部嵌入思想的流形学习算法的基础上,提出直接估计梯度值的方法,从而达到局部线性误差逼近最小化,实现高维非线性数据的维数约简,并在Swiss roll曲线上采样测试取得了良好的降维效果。     

分布式高校水电收费信息管理系统设计与实现

该文通过分析高校水电收费管理上的现状,根据其存在的弊端,提出一套解决方案,即分布式水电收费信息管理系统,并就其开发原理与技术进行论述。     

OFDM系统下脉冲噪声的时频联合抑制方法

本文分析了VHF或较低UHF频段下出现的脉冲噪声对OFDM系统下信号接收的影响.基于Mobile WiMAX的下行链路和Bemouli Gaussian脉冲噪声模型,提出时频二维相结合的脉冲噪声联合抑制算法.仿真结果表明通过联合抑制方法,符号错误率和比特错误概率得到了明显的改善.     

OFDM精细定时同步算法性能分析

在OFDM系统中,定时同步估计的精度直接影响到了系统的整体性能.目前尚无文献对OFDM系统的精细定时算法进行理论分析,其性能基本都是通过仿真得到,不便于对OFDM系统性能进行理论分析.本文对瑞利信道下基于PN序列自相关特性的精细定时同步算法性能进行了理论分析,得到了精细定时误差的概率密度函数,与仿真得到的概率密度函数基本一致.