Runge-Kutta型波形松弛方法的A-稳定

描述芯片或电力系统运行规律的常用数学模型是高维微分代数方程组,其中的微分方程组太大,诸如线性多步法和Runge-Kutta(RK)法等经典数值方法均不能有效求解.为求解这些微分方程组,学者们提出了波形松弛(WR)方法.多数情况下,这些微分方程组是刚性的,求解他们需要稳定性好的隐式方法,尤其需要A-稳定的方法.此外,RK方法是使用最广泛的常微分方程的数值方法.然而,迄今为止尚未发现RK型WR方法A-稳定的研究.本文研究了RK型WR方法的A-稳定性,获得了方法A-稳定的充分条件.常见A-稳定的RK方法有Gauss-Legendre方法、Radau IA方法、Radau IIA方法、Lobatto ⅢA方法、LobattoⅢB方法、LobattoⅢC方法,而且并非RK方法A-稳定,相应的RK型WR方法也A-稳定.在一个假设下,本文所得结果说明当选择低阶Radau IA方法,或Radau IIA方法,或LobattoⅢC方法为底层方法时,存在分裂方式使得RK型WR方法是A-稳定的.     

基于遗传算法的多方法协作优化方法

采用遗传算法、模式搜索法和Powell法进行多方法协作构成多方法协作优化方法,进行多方法协作优化方法的结构设计,分析多方法协作优化方法的优化性能。实例证明了多方法协作优化方法相对于遗传算法的优越性。     

图像轮廓提取方法研究

对现有的轮廓提取现状进行分析,把主要的轮廓提取方法划分为先验知识法、数学形态法、基于梯度的方法、水平集方法、活动轮廓模型方法、以及神经动力学方法六大类,并研究这些方法的主要特点。对轮廓提取方法研究进行展望,提出神经动力学方法是轮廓提取方法的发展方向。     

适应型PID控制器参数整定性能比较

基于蒙特卡罗实验原理,提出了一种针对适应型PID控制器的参数整定比较方法。对于若干典型热工对象,利用所提出的方法,研究了Ziegler-Nichols方法、Chien-Hrones-Reswick方法、Co-hen-Coon方法、IMC方法、IST2E最优方法、极点配置方法、幅值相位裕量方法所设计的适应型PID控制系统的性能比较问题。     

定性仿真——一种新的智能仿真技术

从朴素物理方法、模糊数学方法和归纳学习仿真方法３种有代表性的方法来介绍定性仿真技术的原理和方法，并对这３类方法进行了评价。     

波形松弛方法的绝对稳定与压缩

波形松弛(WR)方法是求常微分方程近似解的数值方法,对它的研究多集中于收敛性,极少见到稳定性研究报告,而不稳定的数值方法是没有意义的.借鉴常微分方程数值方法绝对稳定的思想,提出了WR方法的绝对稳定定义.分析连续基本WR方法和基于Θ方法的离散基本WR方法的稳定性,给出了连续和离散WR方法的绝对稳定条件,以及离散WR方法的压缩条件.对于WR方法,分裂函数和数值方法(用于离散连续WR方法)的选择是两个基础问题.论文结论部分地揭示了WR方法的稳定性与分裂函数和数值方法的关系.     

OMT方法与OOram方法的比较-面向对象软件设计中的两种建模技术

本文通过对经典的面向对象建模方法ＯＭＴ方法与ＯＯｒａｍ方法的比较,论述这两种方法的区别和联系,进而讨论了ＯＯｒａｍ方法比经黄的面向对象建模方法比经黄的面向 对象建方法的优势,以及它的不足之处。     

广义q-ROF TODIM方法及应用

基于Pythagorean模糊迭代多准则决策(TODIM)方法和简化的TODIM方法,首先给出简化的q-ROF TODIM方法,并分析该方法产生的悖论;其次,结合广义TODIM方法的思想,提出广义q-ROF TODIM方法;再次,通过一个实例来说明广义q-ROF TODIM方法的可行性和有效性;最后,结合该实例,将所提出的方法与其他q-ROF决策方法进行比较分析,同时分析参数的变化对决策结果的影响,进一步阐明所提出方法的优越性.     

信息技术课中的学习(三)方法与步骤——程序的学习

使用工具的方法与步骤是现有信息技术课的主要学习内容. 方法与步骤--工作程序 几乎每节信息技术课都会提到方法与步骤.例如,保存文件的方法、打开文件的方法、画图软件中使用铅笔工具的方法、选定某一区域图形的方法、使用IE浏览器的方法……还有用Word打字的步骤,使用PPT的步骤,申请电子邮件的步骤、方法.     

导航系统故障检测与诊断技术综述

导航系统的故障检测与诊断技术受到理论界的广泛重视,总结了国内外应用于导航系统的故障检测与诊断方法:基于硬件冗余方法、基于χ2检验方法、基于奇偶空间方法、基于小波变换方法、基于神经网络方法、基于联邦滤波器方法和一些其他方法.讨论了导航系统的故障检测与诊断发展趋势.     

一种混合的中文文本校对方法

本文以模式匹配的方法和3 元文法分析的方法为基础,结合语法属性标注和分 析的方法,提出了一种混合的中文文本校对方法,其结果优于任何一种方法的单独应用。 本文描述了这种方法并将它和其它两种方法进行了分析对比。     

基于数据驱动的故障诊断方法综述

首先介绍了基于数据驱动的故障诊断方法研究动机和国内外发艘现状.以新的视角将现有故障诊断方法分为基十数据驱动的方法、基十分析模型的方法和基于定性经验的人工智能方法.说明了该方法在整个体系中的地位.并从数据利用及其与基十分析模型的方法比较等方面探讨了该方法的应用背景;然后综述了按照新分类中基于数据驱动故障诊断的现有方法,分...     

一种新的网络协议测试生成方法

本文以UIO(Unique Input/Output)方法为核心,概述了基于自动机等多种协议测试序列生成方法的研究进展。把优化的T方法与UIO方法相结合,提出了一种新的全优的测试序列生成方法-扩展T方法,序列长度几乎等同于优化的T方法,而纠错能力要同改善的UIO方法一样好。     

一种改进的可区分矩阵与求核方法

本文针对Hu方法存在的问题,提出了一种改进的可区分矩阵与求核方法,并证明了该方法的正确性。该方法不仅克服了Hu方法的不足,而且指出了Hu方法出错的根本原因。     

一种新的基于中间语义的跨语言信息检索模型

目前的跨语言信息检索能够使用的方法有四种查询词翻译的方法、文档翻译的方法、中间语言翻译方法和非翻译的方法。该文对这四种方法进行了简要介绍,提出它们的优缺点,并且提出了一种新的非翻译的方法——基于中间语义的方法。我们对提出来的方法进行了TREC跨语言语料库的试验,并且与单语言的信息检索模型进行了比较。试验证明我们的方法具有很好的性能和健壮性。     

彩色地图分色算法研究现状

对已有彩色地图分色方法进行了综述.把彩色地图分色方法细分成颜色空间的选择和具体的分割方法两个方面,并从上述两个方面进行了总结.具体分割算法包括基于直方图的阈值化方法,基于特征空间的聚类、基于模糊的方法、基于神经网络的方法、基于熵的方法、基于遗传算法的方法、基于随机场模型的统计学方法以及其它一些方法.颜色空间模型包括RGB颜色空间、CIELab空间、HVC空间、HLS颜色空间等.     

对面向对象概念建模方法用于系统开发的一些思考

从方法学的角度对面向对象思想方法进行了评述,讨论了面向对象方法的局限性。论文指出面向对象思想方法并非消除系统开发的实质性困难的万能方法。作为系统集成开发策略的一方面,面向对象思想方法应该与其它方法互相协调。文章最后还讨论了面向对象方法在描述问题域时的不足。     

立体图像对的极线校正

将Seitz方法和Francesco方法结合起来,给出了一种改进的极线校正方法.该方法利用改进的八点算法算出基本矩阵,根据基本矩阵采用Seitz方法计算投影变换矩阵,最后以算出的投影变换矩阵为初值采用Francesco方法对其进行最优化,从而有效地避免了最优化时陷入局部最优的可能,同时又不过分依赖基本矩阵的精度.通过对Francesco方法、Mallon方法和该方法进行对比实验,可以发现该方法具有更高的校正精度,图像的扭曲也比较小.     

一个抽象机库中B方法的研究

B方法是支持规格说明到软件设计和执行的形式化方法。文章研究了B方法中一种抽象机库的实现模型和生成代码,对该方法的特点进行评述。验证了B的正确可靠的实现方法,充分利用B方法的精化原则,提高了B形式化方法的开发验证效率。     

解大规模非对称矩阵特征问题的精化Arnoldi方法的一种变形

§1.引言 传统的投影类方法是计算大规模非对称矩阵特征问题Ax=λx部分特征对的主要方法,它们包括Arnoldi方法、块Arnoldi方法、同时迭代法、Davidson方法和Jacobi-Davidson方法,贾提出的精化投影类方法目前被公认为是另一类重要