基于形式化方法的服务自动测试方法

鉴于开放网络环境下的Web服务实体主要来源于不同的第三方提供者,并且其形成与运行过程常处于一种演化状态中,故难以采取传统的测试方式保障其可靠性。利用代数方法从“观察”角度考察系统及其性质,结合单子的高度可结合性、反射性和重用性,对Web服务相关活动的性质进行统一描述和测试,重点研究基于单子的Web服务测试用例形式化描述及其自动生产,以及服务测试单子的设计和实现等,以期从一定程度上解决Web服务测试目前所面临的动态灵活性和可组合重用性等问题。     

卫星导航电磁干扰识别分类器设计

根据卫星导航系统干扰识别特点与高阶累积量对高斯噪声的抑制作用,提出了一种基于干扰四阶及六阶累积量的特征识别算法,分析了在不同干噪比下不同干扰信号的特征区间分布。根据在相同识别特征下不同干扰信号的分离度,设计了一种基于高阶累积量的树形干扰识别分类器。仿真试验结果表明,当干噪比达到5 dB时,识别分类器对9种干扰信号的识别率均达到100%,并且受干噪比变化影响较小,试验验证了其良好的分类识别性能。     

主动式毫米波近距离圆柱扫描三维成像系统

针对主动式毫米波近距离圆柱扫描三维成像系统在人体安检中的应用,研究了该体制成像系统下的重构算法,给出了该系统中信号的带宽、采样准则以及在三维直角坐标系下的系统分辨率评估方法。基于微波暗室条件下获取的高质量回波数据验证了该体制成像系统理论上的正确性,并在此基础上搭建了高速的主动式毫米波近距离圆柱扫描三维成像人体安检系统,验证了该体制成像系统在人体安检领域应用的可行性和检测能力的有效性。     

空间遥操作预测仿真快速图形碰撞检测算法

高效实时的图形碰撞检测是实现空间遥操作三维图形预测仿真关键难点之一。在非结构化虚拟现实环境下由于无法预先构造层次包围盒,必须对大量三角形对进行相交测试,繁重的计算严重影响了碰撞检测的实时性。针对上述问题,提出了一种优化的快速三角形相交测试算法。通过引入计算坐标系,将可能的空间平面相交问题降维为平面坐标系下交线段与三角形的位置关系问题。通过重用三角形计算信息,大幅减少了多对三角形相交测试时的计算量。对比分析表明本算法具有更少的计算量和更短的计算时间。仿真对比实验验证了该算法的优越性。     

#br# 基于自组合核的增量分类方法

在线极端学习机(online sequential extreme learning machine,OSELM)模型在解决动态数据实时分类问题时,无需批量计算,仅保留前一时刻训练模型,根据当前时刻样本调整原有模型即可。然而,该增量方法在离线训练阶段随机指定隐层神经元使模型鲁棒性差,且求解过程难以拓展于核方法,降低了分类效果。针对上述问题,提出一种基于自组合核的在线极端学习机(self compounding kernel online sequential extreme learning machine,SCK OSELM)模型。首先,提出一种新的自组合核(self compounding kernel,SCK)方法,构建样本不同核空间的非线性特征组合,该方法可被应用于其他监督核方法中。其次,以稀疏贝叶斯为理论基础将训练数据的先验分布作为模型权值引入,并利用超参调整权值后验分布,从而达到对当前时间点参数稀疏的目的。最后,将稀疏得到的参数并入下一时刻运算。对动态数据的实时分类实验表明,该方法是一种有效的增量学习算法。相比于OSELM,该方法在解决动态数据实时分类问题时获得更稳定、准确的分类效果。     

归零Turbo码的盲识别方法

针对归零Turbo码的识别问题,提出一种有效的识别方法。该方法首先根据归零Turbo码的特殊结构,利用遍历矩阵列数的方式,寻找相关列均值最大值的位置,识别归零Turbo码长和起始点;其次,构建归零Turbo码的交织器识别模型,利用分层比对的方法得到交织置换关系, 完成对交织器参数的识别。仿真实验表明,该方法在0.02的误码率条件下识别率仍能达到80%以上,验证了所提方法的有效性和鲁棒性。     

KF/UPF在SINS大方位失准角初始对准中的应用

为解决捷联惯导系统大方位失准角初始对准中状态维数较高,直接应用无迹粒子滤波(unscented particle filter, UPF)会带来维数灾难的问题,提出了基于卡尔曼滤波(Kalman filter, KF) /UPF组合滤波的初始对准方法。将非线性初始对准模型分解为线性与非线性两部分,采用KF实现对线性部分的最优估计,采用UPF对系统的非线性部分进行状态估计。通过仿真比较不同粒子数下KF/UPF组合滤波算法和UPF算法,结果表明,KF/UPF组合滤波算法在保证初始对准精度和收敛速度的同时,将需要进行UPF滤波的状态维数由10 维降为3 维,减少了计算量,运算时间分别缩短至原来的52.69%和6.0%,提高了初始对准的实时性。     

湖南高望界自然保护区雪峰山梭罗的群落特征

应用样地调查法对湖南高望界国家级自然保护区内的野生雪峰山梭罗（Reevesia xuefengensis）群落特征进行了研究,从群落的生境、优势种群的数量特征、群落的垂直结构、种群动态等方面揭示了该群落的基本特征.结果表明,雪峰山梭罗和青冈（Cyclobalanopsis glauca）为该群落的优势种群,因而命名为雪峰山梭罗＋青冈群落.群落的垂直结构明显,可分为乔木层、灌木层和草本层,层间植物少.雪峰山梭罗种群的龄级结构呈钟型,具衰退趋势; 青冈种群的龄级结构属增长型,青冈终将取代雪峰山梭罗而形成稳定的顶级群落.建议规划保护范围,实行动态保护管理,加强人工复壮.     

窖面酒、醇甜酒与窖底酒中香气物质差异性分析

应用顶空固相微萃取（HS-SPME）结合气相色谱质谱技术（GC-MS）获得窖底酒、醇甜酒与窖面酒中的微量香气物质信息,然后应用多元统计分析方法如主成分分析（PCA）、偏最小二乘判别分析（PLS-DA）等研究3组酒的差异性香气物质,并利用聚类分析（HCA）验证了差异性分析结果的正确性。结果表明：窖面酒、醇甜酒与窖底酒之间的差异性香气物质共有15种,其中准确定性9种,包括戊酸乙酯、己酸乙酯、庚酸乙酯、辛酸乙酯、十二酸乙酯、糠醛、苯甲醛、戊酸、庚酸。这些差异性香气物质的变化提供了醇甜酒与窖底酒不同的风格与口感特征。     

复Ginzburg-Landau方程的格子Boltzmann模型分析解

利用格子Boltzmann模型中的Chapman分析方法, 给出系列偏微分方程以及Chapman多项式的一般形式, 通过求解复Ginzburg-Landau方程的平衡态分布函数, 给出不同时间尺度上分布函数的表达式, 进而得到复Ginzburg-Landau方程的格子Boltzmann分析解.