基于基元关系模型的C++程序静态分析器

分析了面向对象软件测试和度量的特点,结合面向对象程序的性质提出了描述程序基本组成元素之间关系的基元关系模型(ERM),介绍了从基于MFC(Microsoft Foundation Class)的Visual C+ +6.0源程序中构造ERM模型的算法,据此构造了一个基于基元关系模型的VC+ +6.0程序静态分析器.对分析器实现中采取的名称空间符号表、增量式开发和增量式分析等关键技术进行了介绍.实践证明,该分析器可以高效正确地提取出模型中描述的各种关系,有助于面向对象软件测试和度量方面的进一步研究.      

具有容错特性的两层数据流聚类方法

提出一种具有容错能力的进化数据流聚类算法FTGDStream (Fault-Tolerant Grid-Density Clustering over Data Stream),通过在聚类过程中引入适当的松弛条件,从而在含有噪声的真实世界数据中获取更加泛化的有用知识.首先利用基于相似性度量和小波技术的HLSFTS (Hierarchical Lifting Scheme Fault-Tolerant Synopses)层次概要数据结构实现在线微聚类过程,然后采用基于网格密度的聚类算法实现离线宏聚类过程.在线算法所构造的小波概要数据结构对原始数据的高压缩率降低了离线网格密度聚类算法的计算负载,提高了二层数据流聚类算法的效率.在UCI数据集上的仿真实验结果表明,FTGDStream算法可以聚类任意空间形状的数据并且适用于高维数据流环境,是一种具有容错能力的高效数据流聚类算法.     

渐进扩展的优先关系矩阵

应用扩展矩阵描述并行工艺规划中动态变化的优先关系,通过状态转化构造矩阵的动态生成,通过迭代递进形成扩展过程,主要算法步骤是:①构造约束集合;②在约束集上依据优先准则构造约束矩阵;③生成优先矩阵的扩展行、列向量;④组合扩展优先矩阵.由此,建立了与动态CAD设计交叉并行、逐步完善的工艺优先关系描述方法.      

基于Pareto遗传算法的复合材料机翼优化设计

针对某型飞机设计过程中遇到的副翼反效问题,提出了复合材料机翼满足气动弹性要求的优 化方法,构造了一种基于Pareto最优解定义的多目标遗传算法——Pareto遗传算法.该算法 以权重信息为基础建立Pareto解集过滤器,引入小生境技术等实现Pareto前沿面的求解.测 试函数计算表明该算法有较好的收敛性.以复合材料机翼的升力系数和滚转力矩系数为目标 函数,采用Pareto遗传算法进行计算得出一组Pareto最优解集,计算结果表明,给出的方案 能够满足工程需求,为决策者提供了多种可选方案.      

遗传算法在软件测试数据生成中的应用

测试数据生成是软件测试中的关键环节,它的实现对于软件测试过程的自动化具有重要意义.本文阐述了用遗传算法作为核心搜索算法来生成软件结构测试数据的方法和技术,其中讨论了编码策略、评价函数构造及插装等问题的解决方案,并重点说明了如何对遗传算子进行改进,使算法在解决本问题时更加有效.实验数据证明该方法是高效的.     

航天器分布式智能计算体系的数学建模与调度算法研究

航天器对大容量高效计算的要求越来越高,现有的星载计算体系的能力已经难以满足其需求,需要建立具有自组织能力的智能计算体系,还要实现高效的任务调度.给出了航天器分布式智能计算体系的模型和任务调度问题的多目标优化模型,并根据该模型设计了改进粒子群算法和改进蚁群算法结合的DPSO-EACO算法,先利用粒子群算法生成初始调度方案,再用该方案初始化蚁群算法,利用蚁群算法生成最终调度结果.仿真结果表明,该算法的性能与改进粒子群算法和改进蚁群算法相比具有明显的性能优势.     

交替LU分裂算法及其在CFD中的应用

在CFD(Computational Fluid Dynamics)时间相关算法中,为了保证计算的稳定性,时间步长的取值通常会很小,这将导致计算过程收敛缓慢.针对这一问题,提出了一种新的迭代算法—交替LU分裂(ALUS,Alternating Lower-Upper Splitting)算法,可以有效加速收敛,提高计算效率.ALUS算法将系数矩阵分裂成上、下三角矩阵,因此仅需要利用追赶法求解两个三角矩阵,计算量较小,容易实现.给出了ALUS算法收敛的定理,并且通过线性问题以及CFD圆柱绕流的数值模拟对ALUS算法进行了检验.理论分析和数值实验的结果均表明:ALUS算法计算量小,大大节省了计算时间,而且该算法是鲁棒的.因此ALUS算法是高效的、稳定的算法,适用于CFD数值模拟.     

航天器分布式智能计算体系的数学建模与调度算法研究#br#

航天器对大容量高效计算的要求越来越高，现有的星载计算体系的能力已经难以满足其需求，需要建立具有自组织能力的智能计算体系，还要实现高效的任务调度.给出了航天器分布式智能计算体系的模型和任务调度问题的多目标优化模型，并根据该模型设计了改进粒子群算法和改进蚁群算法结合的DPSO EACO算法，先利用粒子群算法生成初始调度方案，再用该方案初始化蚁群算法，利用蚁群算法生成最终调度结果.仿真结果表明，该算法的性能与改进粒子群算法和改进蚁群算法相比具有明显的性能优势.     

一种显式构造非奇异对象降阶H∞控制器的算法

目前显式构造降阶H_∞控制器的算法仅适用于奇异H_∞控制情形,为对非奇异情形使用这些算法,将广义对象的矩阵 A 分为 A ₀和 Δ A 2部分,并且使( A ₀, B ₁, C ₂, D ₂₁)或 ( A ₀, B ₂, C ₁, D ₁₂)含有不稳定零点,从而可以使用构造降阶控制器的算法得到可用于构造降阶控制器的解( X , Y ).矩阵 A 的这种改变将使得对象的3个线性矩阵不等式中的1个发生改变,因此该解( X , Y )必须在 A 未改变时,代入发生改变的那个不等式并判断其是否成立,若成立则该解( X , Y )可用于对广义对象构造降阶控制器.数值算例表明了该算法的有效性.     

基于参数矩阵计算全体极小碰集的方法

极小碰集计算是基于模型诊断的关键步骤之一.针对参数化求解方法的局限性,以及大型系统诊断中由于状态空间规模增加导致诊断能力下降甚至无法诊断等问题,研究了一种非参数化极小碰集求解算法M-MHS(Matrix-based Minimal Hitting Set)算法.该算法利用参数矩阵描述元素与集合的关系,通过矩阵分解将原始问题逐步分解为多个子问题,并采用有效的剪枝规则避免对无解子问题的计算.仿真结果表明:该算法能够计算全体极小碰集,且在进行较大规模碰集计算时性能优于HSSE(Hitting Set-Set Enumeration)算法和去参数化后的BNB-HSSE(Branch and Bound-HSSE)算法,并对不同规律数据能够维持性能稳定,从而为大型系统基于模型诊断提供了可行方法.     

软件定义的GNSS反射信号接收机设计

分析了导航卫星反射信号的特点,给出了反射信号软件接收机的总体结构及其主要模块,主要包括接收直射和反射信号的天线、射频前端和高速A/D变换器,以及数据处理用的计算机.重点介绍了反射信号处理的基本过程,其中主要讨论了本地反射信号C/A码的生成模式,在此基础上分析了反射信号相关功率的计算方法,并给出了具体的仿真计算实例.设计了反射信号处理的具体实现软件,包括详细的流程图,关键参数和主要函数的定义及用户界面,利用实际采集的数据进行了验证,结果表明所设计的反射信号接收机运行稳定,能根据用户输入的不同参数提供导航卫星反射信号的相关功率输出.     

基于CHC算法的无人机航迹规划方法

利用改进的遗传算法——跨世代异物种重组大变异(CHC, Cross generation Heterogeneous recombination Cataclysmic mutation)算法提出了一种无人机的航迹规划方法.初始种群即初始航线集利用具有启发式信息的搜索算法产生;适应度函数为距离指标与威胁指标的组合形式;选择操作群体为当前群体与上世代群体的群体总和,由于大个体群操作,可以更好地保持遗传多样性;交叉操作采用单点交叉方法,交叉点取为2条航线中距离最近的2个点;变异操作的步骤是:首先在航线中搜索出2个点,然后算出这2个点之间的直线距离与实际航线距离的比值,如果这个比值小于某一阈值则以这2个点为端点重新规划一条航线.由于考虑到了无人机约束条件的限制,从而避免了盲目性且加快了收敛速度.仿真结果表明该方法比基本遗传算法要快而且满足最优条件.      

基于FRFT的多分量LFM信号检测与参数估计方法

针对传统方法搜寻效率低的问题，采取瞄准搜寻策略，提出一种快速精确地检测和估计多分量线性调频（LFM）信号参数的方法。推导出LFM信号的分数阶长度和旋转角度间的近似关系；利用分数阶幅度随旋转角度变化规律，提出一种高效搜寻最优旋转角度的算法，分析得出该算法的计算量较小，相比于传统算法具有较大优势。在低信噪比情况下，进行两次S-G滤波可显著提高检测概率。仿真结果表明，所提方法在低信噪比和存在分量间信号干扰的情况下，能可靠检测和精确估计多分量LFM信号参数。      

连续波雷达测量数据随机误差处理方法研究

针对差分方法和最小二乘法在处理连续波雷达跟踪数据的随机误差时,处理结果常常出现不一致的情况,对这两种方法的内在联系进行了深刻的研究,首次证明了“ｋ阶差分与ｋ＋１个点的ｋ－１次多项式的平滑残差具有完全相同的频谱特性”。针对雷达测量数据中随机误差时序相关性较强的实际情况,导出了相关条件下差分步长的计算公式,最后,提出了高精度分离数据中随机误差的非线性自由节点样条函数方法,该方法经仿真和大量实测数据处理     

Hermite算法的收敛性分析及其改进

为了提高多点切触加工算法的计算效率,对其中的Hermite算法进行了改进,并且对改进后的Hermite算法的收敛性进行了理论分析,推导了改进后算法的局部收敛条件,同时给出算法的Steffensen加速迭代公式并新提出了一种基于试算的待定系数迭代法.分析和实例表明,改进后的Hermite算法属于线性收敛的算法,而待定系数迭代法则有接近二阶的收敛速度.综合应用上述算法,可以满足一般性自由曲面多点切触加工刀位计算的要求.      

H.264中多模式运动估计算法优化

针对H.264标准的多模式运动估计算法编码模式复杂、计算量大的不足,通过对H.264参考模型JM10中运动估计算法的分析,提出了一种利用时间、空间相关性的模式选择算法和结合一维绝对差值和(SAD,Sum of Absolute Difference)的高效匹配准则,将串行全搜索的运动估计算法改进为并行部分搜索的运动估计算法,把一维SAD和二维SAD匹配准则结合使用,从模式选择和编码速度两个方面对原算法进行优化.实验结果表明:与参考模型JM10的运动估计算法相比,提出的优化算法在恢复质量(用峰值信噪比表征)平均下降0.03 dB、码速率增加不超过1.5%的前提下,编码速率提高20%~30%,表明了该算法在恢复质量略有下降的情况下明显提高了编码速度.      

基于FPGA的低复杂度快速SIFT特征提取

尺度不变特征变换（SIFT）算法具有优良的鲁棒性,在计算机视觉领域得到广泛应用。针对SIFT算法高计算复杂度而导致其在CPU上运行实时性低的问题,基于现场可编程门阵列（FPGA）设计了一种低复杂度的快速SIFT硬件架构,主要对算法的特征描述符提取部分进行优化。通过降低梯度信息（包括梯度幅值和梯度方向）的位宽、优化高斯权重系数的产生、简化三线性插值系数的计算和简化梯度幅值直方图索引的求解等方法,避免了指数、三角函数和乘法等复杂计算,降低了硬件设计复杂度和硬件资源消耗。实验结果显示,提出的低复杂度快速SIFT硬件架构,与软件相比,可以获得约200倍的加速;与相关研究相比,速度提高了3倍,特征描述符稳定性提高了18%以上。      

NGG中异构数据的集成与协同工作

在国家地质调查应用网格环境中,数据集成除了实现异构数据源中数据检索,还应满足异构数据管理系统之间数据约束关系维护与协同工作的需求.针对这一需求,提出一种基于面向服务的体系结构(SOA,Service Oriented Architecture)的数据集成机制.将虚拟化的局部数据信息与全局统一的抽象数据视图相结合,形成层次化数据信息组织模型;通过该模型,维护异构数据之间的约束依赖关系,利用数据管理系统触发器与网络服务,满足数据管理系统的协同工作需求.基于研究成果的数据集成中间件NGG-DBMs(National Geology Grid-Data Base Management system)系统平稳运行于国家地质调查应用网格环境中.      

一种高动态环境下卫星扩频信号的快速捕获方法研究

现代卫星导航及测控应用对接收机在高动态环境下实现测量通信提出了迫切需求。为了解决大多普勒频偏扩频信号的快速捕获问题,提出了一种在频域并行搜索码相位及多普勒频偏的双频域快速捕获方法。采用双块补零算法将长的相关积分操作分割为多个短的相关积分操作,然后采用快速傅里叶变换进行圆周相关,大大节约了处理时间,利用频域圆周移位与时域载波剥离等价的原理,大幅提高了频率搜索效率。与时域相关算法和单频域计算方法相比,在捕获灵敏度不变的条件下,该方法将计算量减少90%,显著提高了运算速度,适合高动态环境下扩频信号的快速捕获。该方案应用于星载接收机平台FPGA实现,测试结果表明该方案可以在0.1s内完成±500kHz频偏下扩频信号捕获。