- 博客(0)
- 资源 (17)
空空如也
科学计算程序的验证和确认
针对科学计算中工程应用程序的研制和预测能力的评估,基于应用程序研制的过程与软件开发的生命周期,提出了一种科学计算程序验证与确认(V&V)模型.论述了物理建模、数值模拟与科学计算程序验证与确认的关系,以及科学计算程序验证与确认的方法,为科学计算程序验证与确认提供一种置信度评估方法.
2011-01-29
多线程程序时序分析的隐Markov模型
针对多线程程序数据竞争分析与检测困难的问题,提出一种基于隐Markov模型的多线程程序时序分析方法.用随机变量不确定性刻画不同线程之间时序上的交互关系,分析数据竞争条件下程序不确定结果的概率分布情况;建立多线程程序时序分析的隐Markov模型,使用Baum-Welch和前向算法仿真上下文对程序实际运行状态的影响.实验结果表明,该模型能够快速有效反映多线程执行时序,用于指导多线程程序时序竞争检测过程.
2011-01-29
基于多目标演化算法的测试程序生成
针对现有的演化测试程序方法只以覆盖率为优化目标的问题,提出一种使用多目标演化算法的测试程序生成方法.该方法把测试程序生成归结为多目标优化问题,以提高覆盖率和减少模拟执行周期作为优化目标;根据模拟器反馈回的信息,使用多目标演化算法来自动引导生成新的测试程序.使用该方法对北大众志UniCore32-2微处理器进行实验的结果表明,在保证覆盖率指标的前提下,采用文中方法生成的测试程序模拟执行时间是现有方法的12.92%,是手写测试程序集的3.62%.
2011-01-29
面向压缩域视频拷贝检测的主要边缘相对相位算法
为了提高视频拷贝检测的查全率和速度,提出了一种基于主要边缘相对相位的压缩域视频拷贝检测算法.该算法先通过压缩视频I帧中DCT系数的AC分量获取边缘信息,然后从边缘信息中抽取主要边缘相对相位,并将其作为视频特征,最后利用这种特征进行视频拷贝检测.各种拷贝攻击对主要边缘相对相位影响很小,因此本文算法是鲁棒的.此外,该算法直接从压缩域获取信息,避免了解压环节,从而减少了检测用时.实验结果表明,该算法相比于其他压缩域算法,查全率提高了68%,相比于非压缩域算法,检测速度提高了约5倍.
2011-01-28
基于约束总体最小二乘算法的接地网故障诊断新模型
针对变电站接地网实际敷设情况往往与施工图纸有所出入、可能造成诊断结果具有较大误差的情况,在传统电路诊断模型的基础上考虑了接地网腐蚀特性,即地理位置越接近的导体被腐蚀的程度越相近,并提出局部差异性腐蚀指标表示支路电阻腐蚀倍数的相近程度,从而建立了接地网故障诊断的增广线性模型,同时运用基于奇异值分解法分解的最佳降秩逼近定理解决模型中方程组等式两端的不相容性.为校正诊断模型中存在的扰动对诊断结果的影响,采用了基于约束总体最小二乘算法的优化算法,对明晰支路和模糊支路分别迭代,在已知设计模型与实际支路敷设有偏差的情况下得出了较为满意的解.仿真计算结果验证了所提方法的正确性和有效性.
2011-01-28
求解约束优化问题M-精英协同进化算法
提出了一种适用于约束优化问题的协同进化算法.该算法旨在模拟人类社会中团队的组建及其协作方式,并强调精英人才对团队建设的推动作用.算法将整个种群分为精英种群和普通种群,围绕各个精英来组建团队,使精英种群带动普通种群,进而带动整个种群不断进化.组建团队过程中,不同精英之间采用协作操作,精英对普通种群成员进行引导操作,其中协作操作和引导操作由若干交叉或变异算子的组合所定义.使用静态罚函数法将约束优化转化为无约束优化,利用13个约束优化测试函数对算法进行了测试.仿真实验和参数分析结果表明,该算法寻优精度高,算法稳定,运行时间少,其性能优于组织进化算法,能够有效解决复杂的约束优化问题.
2011-01-28
一种新的改进粒子滤波算法
标准粒子滤波算法存在的最大问题是粒子退化,针对这一问题,提出了一种改进的粒子滤波算法,该算法将无迹卡尔曼滤波算法(UKF)、混合遗传模拟退火算法和基本粒子滤波算法相结合,运用无迹卡尔曼滤波算法获得重要性函数,提高了粒子的使用效率;运用混合遗传模拟退火算法的进化思想,提高了粒子的多样性.仿真结果表明,新算法很好地解决了基本粒子滤波算法存在的粒子退化问题,提高了系统的滤波精度和稳定性(在信噪比为16 dB时,精度提高80%以上),较好地抑制了噪声的干扰.
2011-01-28
小波域中的广义非局部平均去噪算法
图像小波系数的统计分布具有非高斯特性,可以用广义高斯模型进行描述.使用广义高斯分布对图像子带小波系数进行建模并估计广义高斯分布模型的参数,根据参数确定了非局部平均权值的广义表达式,在此基础上提出了一种基于广义高斯分布的小波域广义非局部平均去噪算法.仿真结果表明,相比小波域阈值去噪和小波域非局部平均去噪算法,该方法的峰值信噪比平均提高1.5~3.3 dB,在边缘特征方面保持了良好的视觉效果.
2011-01-28
用于全局优化问题的混合免疫进化算法
为了克服免疫算法在优化高维多峰函数时存在的早熟收敛问题,提出一种高效的混合免疫进化算法.动态克隆扩张、基于学习机制的超变异和多母体交叉是该算法的主要特点.同时,提出了一种算法性能评价准则,以比较不同算法在优化高维函数时的性能.在实验部分,首先使用经典测试函数测试了混合免疫进化算法的性能;然后,分别在不同的评估次数下比较了自适应差分进化、基本免疫算法和混合免疫进化算法,结果表明免疫进化算法在求解精度、稳定性等方面均明显优于前两种算法.
2011-01-28
严格顶点约束的网格光顺算法
为了使网格光顺算法在优化网格顶点以消除噪声同时,保持原始数据的精度,避免模型细节当作噪声而去除,给出一种用于三角网格光顺的新算法,该算法保证光顺结果中每个顶点距离其原始位置不超过给定偏差范围.将此光顺问题转化为带有一组非线性约束的二次优化问题,并提出一种有效的迭代线性求解方法用于其优化.算法也可以通过在优化中结合特征约束来更好地保护模型的精细特征.在大量扫描模型和人工合成模型上进行了实验,结果显示:算法可以有效消除所有噪声,同时保持原始模型的特征.
2011-01-28
一种开放环境下的软件可靠性评估方法
目前,软件系统运行环境日益增强的开放性对原有的软件开发技术(包括软件可靠性评估方法)提出了挑战.一些基于软件测试和模拟的方法由于效率上的不足而不再适用;而另一些方法,例如基于状态的可靠性评估方法,虽然在效率上有了很大的提高,但在适用范围上又存在着不足,比如不能很好地处理含并行结构的系统.为此,在基于状态的可靠性评估方法的基础上,文中提出一种改进的可靠性评估方法,以兼顾效率和适用范围两个方面.首先介绍如何用Petri网来描述各种复杂结构的系统,接着介绍一种自底向上的可靠性计算过程,该过程能对并行结构进行分解和综合计算,高效、准确地计算出系统的可靠性.该方法还可以估算出组件对系统的重要性,从而大大地增强了可靠性评估在软件开发中的作用.
2011-01-28
软件模块故障倾向预测方法研究
研究了在区分故障严重程度下的软件模块故障倾向预测方法,将故障分为高严重程度和低严重程度两种类型,用统计分析和机器学习方法分析静态代码度量与故障倾向之间的关系。以公开和私有两种类型的失效数据集作为实验数据,分析发现,故障的严重程度影响预测性能,预测不同严重程度的故障需要选择不同的度量和分类模型,预测低严重程度故障的性能好于预测高严重程度故障的性能。
2011-01-28
一种支持实时软件时间建模的形式化方法
随着实时系统非功能性质研究的深入,为了分析软件对系统执行时间的影响并对其进行定量分析,提出了一种支持实时软件时间建模的形式化方法。通过扩展时间通信顺序进程的时间语义,将实时系统指令执行的时间映射成为时间通信顺序进程的时间,利用时间通信顺序进程对实时软件时间建模并进行量化分析。提出的时间最优调度算法可以判断时间通信顺序进程的可达性并计算时间最优路径。通过实例验证表明,该方法可以从很大程度上提高实时系统执行时间计算的准确性,计算结果有助于实时系统执行时间的量化分析与优化设计。
2011-01-28
多核软件的几个关键问题及其研究进
提高应用程序开发产能同时获得并行性能收益是多核大众化并行计算研究的核心目标.采用应用驱动和自顶向下的研究思想着重综述了影响该目标的三个关键问题.首先,对当前的多核应用驱动研究做了比较,并对多核应用研究现状做了综述.其次,对当前的多核编程模型在产能编程和性能使能编程方面的研究思想做了比较研究.然后,综述了多核算法以及多核计算模型的研究现状.最后分析了多核软件未来的研究问题.
2011-01-28
基于架构的软件设计方法
经过近十几年的发展,架构设计已经成为软件工程领域一门重要的学科。在一个软件项目设计之初,首先进行体系架构设计已经成为广大软件开发人员的共识。但大多数项目只是停留在整个软件项目的大的体系架构设计层次,渐深则一般采用基于组件(CBD),基于设计模式等方法进行更细粒度的软件设计,这在一定时期对软件设计方法起到了很大的推动作用。提高了软件开发效率及软件复用程度。但也应该看到,在软件开发的过程中,多次的需求变更以及项目完成之后的软件维护,特别是新业务逻辑的增加对软件项目形成越来越大的威胁,如何提高软件开发期质量属性及运行期质量属性,已经成为业界所面临的课题。 卡内基梅隆大学软件工程研究所本世纪初曾提出了基于架构的设计(Architecture Based Design)方法,本文着重从软件系统设计方面阐述基于架构的软件设计方法,用于产品线及长生命系统的高层软件架构设计,同时也为项目开发过程中需求不能在短时间内明确的软件项目提供参考。并以一个具体的例子来介绍基于架构的软件设计方法的应用。最后总结了所做的主要工作,提出下一阶段的工作。 本论文研究目的和意义在于,从软件架构的角度深入探讨一种软件设计...
2011-01-28
软件可靠性测试与评估方法的改进
软件测试是保证软件质量的重要手段,软件可靠性是软件质量的重要度量。两者之间有着密切的内在联系。软件测试提高软件的可靠性;软件可靠性的评估可以为软件测试提供合理的终止信号。相对于硬件可靠性稳步上升的趋势,软件的质量保证显得很困难。软件的可靠性研究也很不成熟,远远落后于硬件的可靠性研究。关于软件可靠性的研究还有很多的工作。 本文首先介绍了软件测试的理论与方法,介绍了软件错误在软件测试工作中的重要地位与软件测试的模型。接着对可靠性与软件可靠性研究的理论做了介绍,详细介绍了几种重要的软件可靠性模型。最后对传统工程可靠性研究分析了其取得成功的原因。在此基础上分析了软件可靠性研究的特点,阐述了导致软件可靠性研究困难的四个原因。并针对其中的两个提出了改进的方法,并将其应用到软件可靠性模型的改进之上。在对一个物流管理系统的可靠性评估工作中,验证了可靠性模型改进的有效性。 本文主要的工作有以下几点: 1)分析了软件可靠性研究特有的四个难点:软件开发面临的问题领域的不确定性;软件开发中实现机制的人为性与多样性;软件开发缺乏标准化的设计;可靠性研究中对软件错误的...
2011-01-28
软件缺陷分析与预防技术研究与应用
本论文针对缺陷分析方法和缺陷预防技术的应用实际,尤其在项目实施过程中应用
相对孤立的特点,通过对软件缺陷分析方法和缺陷预防技术相关理论的仔细分析研究,
提出了软件缺陷分析方法和缺陷预防技术结合的缺陷“矩阵管理”模型和“缺陷管理”
过程,可提前预防软件缺陷,有效地提高了软件系统的质量。在项目研发的不同阶段,
根据矩阵的运算结果,推荐采用相应的缺陷分析方法和选择合适的缺陷预防技术,并运
用于“某光通讯系统”项目中,既加快了研发进度、提高了软件质量,又降低了产品的
错误发生率,实验数据证明了“缺陷矩阵管理”模型的可用性,通过验证结果表明该模
型是有效的。
2011-01-28
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人