下载频道  >  mianyanglangzi的资源
  • 科学计算程序的验证和确认

    针对科学计算中工程应用程序的研制和预测能力的评估,基于应用程序研制的过程与软件开发的生命周期,提出了一种科学计算程序验证与确认(V&V)模型.论述了物理建模、数值模拟与科学计算程序验证与确认的关系,以及科学计算程序验证与确认的方法,为科学计算程序验证与确认提供一种置信度评估方法.

    2011-01-29
    3
  • 多线程程序时序分析的隐Markov模型

    针对多线程程序数据竞争分析与检测困难的问题,提出一种基于隐Markov模型的多线程程序时序分析方法.用随机变量不确定性刻画不同线程之间时序上的交互关系,分析数据竞争条件下程序不确定结果的概率分布情况;建立多线程程序时序分析的隐Markov模型,使用Baum-Welch和前向算法仿真上下文对程序实际运行状态的影响.实验结果表明,该模型能够快速有效反映多线程执行时序,用于指导多线程程序时序竞争检测过程.

    2011-01-29
    3
  • 基于多目标演化算法的测试程序生成

    针对现有的演化测试程序方法只以覆盖率为优化目标的问题,提出一种使用多目标演化算法的测试程序生成方法.该方法把测试程序生成归结为多目标优化问题,以提高覆盖率和减少模拟执行周期作为优化目标;根据模拟器反馈回的信息,使用多目标演化算法来自动引导生成新的测试程序.使用该方法对北大众志UniCore32-2微处理器进行实验的结果表明,在保证覆盖率指标的前提下,采用文中方法生成的测试程序模拟执行时间是现有方法的12.92%,是手写测试程序集的3.62%.

    2011-01-29
    4
  • 面向压缩域视频拷贝检测的主要边缘相对相位算法

    为了提高视频拷贝检测的查全率和速度,提出了一种基于主要边缘相对相位的压缩域视频拷贝检测算法.该算法先通过压缩视频I帧中DCT系数的AC分量获取边缘信息,然后从边缘信息中抽取主要边缘相对相位,并将其作为视频特征,最后利用这种特征进行视频拷贝检测.各种拷贝攻击对主要边缘相对相位影响很小,因此本文算法是鲁棒的.此外,该算法直接从压缩域获取信息,避免了解压环节,从而减少了检测用时.实验结果表明,该算法相比于其他压缩域算法,查全率提高了68%,相比于非压缩域算法,检测速度提高了约5倍.

    2011-01-28
    3
  • 基于约束总体最小二乘算法的接地网故障诊断新模型

    针对变电站接地网实际敷设情况往往与施工图纸有所出入、可能造成诊断结果具有较大误差的情况,在传统电路诊断模型的基础上考虑了接地网腐蚀特性,即地理位置越接近的导体被腐蚀的程度越相近,并提出局部差异性腐蚀指标表示支路电阻腐蚀倍数的相近程度,从而建立了接地网故障诊断的增广线性模型,同时运用基于奇异值分解法分解的最佳降秩逼近定理解决模型中方程组等式两端的不相容性.为校正诊断模型中存在的扰动对诊断结果的影响,采用了基于约束总体最小二乘算法的优化算法,对明晰支路和模糊支路分别迭代,在已知设计模型与实际支路敷设有偏差的情况下得出了较为满意的解.仿真计算结果验证了所提方法的正确性和有效性.

    2011-01-28
    4
  • 求解约束优化问题M-精英协同进化算法

    提出了一种适用于约束优化问题的协同进化算法.该算法旨在模拟人类社会中团队的组建及其协作方式,并强调精英人才对团队建设的推动作用.算法将整个种群分为精英种群和普通种群,围绕各个精英来组建团队,使精英种群带动普通种群,进而带动整个种群不断进化.组建团队过程中,不同精英之间采用协作操作,精英对普通种群成员进行引导操作,其中协作操作和引导操作由若干交叉或变异算子的组合所定义.使用静态罚函数法将约束优化转化为无约束优化,利用13个约束优化测试函数对算法进行了测试.仿真实验和参数分析结果表明,该算法寻优精度高,算法稳定,运行时间少,其性能优于组织进化算法,能够有效解决复杂的约束优化问题.

    2011-01-28
    4
  • 一种新的改进粒子滤波算法

    标准粒子滤波算法存在的最大问题是粒子退化,针对这一问题,提出了一种改进的粒子滤波算法,该算法将无迹卡尔曼滤波算法(UKF)、混合遗传模拟退火算法和基本粒子滤波算法相结合,运用无迹卡尔曼滤波算法获得重要性函数,提高了粒子的使用效率;运用混合遗传模拟退火算法的进化思想,提高了粒子的多样性.仿真结果表明,新算法很好地解决了基本粒子滤波算法存在的粒子退化问题,提高了系统的滤波精度和稳定性(在信噪比为16 dB时,精度提高80%以上),较好地抑制了噪声的干扰.

    2011-01-28
    3
  • 小波域中的广义非局部平均去噪算法

    图像小波系数的统计分布具有非高斯特性,可以用广义高斯模型进行描述.使用广义高斯分布对图像子带小波系数进行建模并估计广义高斯分布模型的参数,根据参数确定了非局部平均权值的广义表达式,在此基础上提出了一种基于广义高斯分布的小波域广义非局部平均去噪算法.仿真结果表明,相比小波域阈值去噪和小波域非局部平均去噪算法,该方法的峰值信噪比平均提高1.5~3.3 dB,在边缘特征方面保持了良好的视觉效果.

    2011-01-28
    4
  • 用于全局优化问题的混合免疫进化算法

    为了克服免疫算法在优化高维多峰函数时存在的早熟收敛问题,提出一种高效的混合免疫进化算法.动态克隆扩张、基于学习机制的超变异和多母体交叉是该算法的主要特点.同时,提出了一种算法性能评价准则,以比较不同算法在优化高维函数时的性能.在实验部分,首先使用经典测试函数测试了混合免疫进化算法的性能;然后,分别在不同的评估次数下比较了自适应差分进化、基本免疫算法和混合免疫进化算法,结果表明免疫进化算法在求解精度、稳定性等方面均明显优于前两种算法.

    2011-01-28
    3
  • 严格顶点约束的网格光顺算法

    为了使网格光顺算法在优化网格顶点以消除噪声同时,保持原始数据的精度,避免模型细节当作噪声而去除,给出一种用于三角网格光顺的新算法,该算法保证光顺结果中每个顶点距离其原始位置不超过给定偏差范围.将此光顺问题转化为带有一组非线性约束的二次优化问题,并提出一种有效的迭代线性求解方法用于其优化.算法也可以通过在优化中结合特征约束来更好地保护模型的精细特征.在大量扫描模型和人工合成模型上进行了实验,结果显示:算法可以有效消除所有噪声,同时保持原始模型的特征.

    2011-01-28
    3
img

关注 私信


用户积分:516