关于循环与循环不变式的讨论

讨论程序设计中的循环与循环不变式的应用 .利用循环不变式可以方便地设计循环程序 ,并可证明程序的正确性 .     

用daikon发现循环不变式

随着软件行业的深入发展,软件存在的问题与日俱增,程序正确性受到了广泛的关注,形式化方法是解决程序正确性的基本途径,而发现程序循环不变式是证明程序正确性的关键。本文介绍了循环不变式的基本概念以及计算不变式的基本方法;用JAVA重写了Siemens的replace C程序,并以JAVA和C两种语言的replace程序为例,对不变式动态探测工具daikon进行了深入的实验研究,试验结果揭示了daikon在探测循环语句不变式方面的不足,依此提出了改进daikon探测循环不变式的措施。     

2类数列问题循环不变式开发策略研究与应用

该文通过对组合数学中Catalan数列问题和Fibonacci数列问题进行深入研究,利用归纳推理、组合数学中的加法和乘法原理等方法得到问题求解函数,使用变量记录算法求解过程中子问题的解,并约束循环变量的变化范围,获得问题求解算法的循环不变式,由此得到了2类数列问题循环不变式的统一开发策略.以二叉树的形态数问题和阶梯问题为例,利用所提策略开发循环不变式,并基于循环不变式展示了这2类数列问题算法程序的形式化推导过程.     

关于求已知do循环不变式的一个方法及for循环的WP的定义

对确定性do循环,利用其WP求出循环不变式.给出了for循环的话义定义.     

试论循环不变式和囿界函数在循环研制中的地位和作用

详尽分析了循环不变式和囿界函数在循环研制中的地位和作用,并讨论了其构造方法。     

一类单元赋值语句型循环不变式的开发方法研究

依据现有循环不变式的定义和开发策略,阐述了一类单元赋值语句型循环不变式开发方法,同时使用 Dijkstra 最弱前置谓词方法确认了循环不变式的正确性。最后通过典型实例来说明该方法的应用。     

背包问题算法设计及分析

随着网络技术的不断发展,网络安全中有关密码技术的应用作为有效可行的方法倍受网络开发人员的青睐,背包公钥密码在电子商务中的公钥设计中具有其它技术不可替代的作用。因此,“背包问题”求解也是算法设计及验证的一个热点,本文分别采用了优先策略、动态规划及递归三种不同方法对“背包问题”进行求解、算法设计及验证,文中较详细的描述其设计思想,并分析了各种算法实现的复杂度问题。     

安全Petri网位置不变式的一种生成算法

Petri网是一种系统设计和分析的有用工具,在系统测试中有着广泛的应用.利用安全Petri网的特点,提出一种由安全Petri网可达树和带自环的m阶完全图来计算位置不变式的生成算法.     

一种训练循环神经网络的演化算法

根据演化算法具有内在的并行性、自组织、自适应和自学习性等优点,进而成功地运用到神经网络中,给出了一种能同时训练循环神经网络结构和参数的演化算法.     

一种电源扩展动态规划模型与算法

对电源长期扩展规划进行了探讨,建立了电源长期扩展动态规划模型,提出了解算该模型的方法——两步规划法,并对例样系统进行了优化试算。     

一类改进的动态规划逆序算法

本文提出了一种改进的动态规划逆序算法,并通过MATLAB具体实现.该算法能给出最优解所对应的全部最优策略,并找到产生多个最优策略的原因.多个数值例子检验了此种新算法的优越性,也显示了本文中的算法程序对众多典型的动态规划应用问题的适用性.     

多柱汉诺塔问题研究

对多柱汉诺塔问题进行了研究。采用动态规划的想法,给出了多柱汉诺塔问题最少移动步数的递推公式和具体表达式,并使用3层数学归纳和纯组合的方法对其进行了证明。     

炼钢组炉问题优化模型及其动态规划算法

针对炼钢组炉计划编制中的集约优化问题,建立了各优化目标下的数学模型,并利用动态规划法,对该优化问题进行了求解.经算法时间复杂性分析和实际生产数据仿真演算,结果表明在一定的生产条件下,该算法能在合理的时间范围内给出一批合同最优的组炉方案,使得生产余材最小,可显著降低组炉计划余材量,经济效益非常显著.     

葛洲坝水电站厂内优化调度分析

水电站厂内优化调度是一个优化问题,它包括机组组合,负荷分配以及机组检修等问题.针对葛洲坝水电站厂内经济运行要求,在满足电能生产的安全、可靠、优质的前提下,基于动态规划以及遗传算法2种优化方法,对葛洲坝各机组优化调度进行了研究,合理的安排组织电厂设备的运行,以获得尽可能大的经济效益.由计算结果可以看出,运用的2种方法都能较好地求出最优结果,在给定水头和总流量的情况下,合理的进行流量分配,从而实现葛洲坝生产调度的优化运行.     

基于MATLAB的动态规划常用算法的实现

运用MATLAB编程实现了动态规划的逆序、顺序、双向混合算法,并分别应用于求解几类典型问题,验证了该方法的有效性,同时表明该程序对求解动态规划多类典型问题是通用的,丰富了MATLAB优化工具箱,具有一定的应用价值．     

转差闭环调速系统动态设计方法研究

转差频率控制是异步电动机变频调速系统转矩控制的重要方法,本文从讨论转差频率控制原理及转差闭环高速系统的控制结构出发,研究了异步电动机数学模型的工程简化及电压型变频高速系统转差闭环控制的动态设计问题,提出了类似直汉高速系统动态设计的工程设计方法,经仿真研究证明了该方法的可行性。     

动态规划法在道路施工组织设计中的应用

针对道路施工组织中按阶段决策问题,介绍了利用动态规划法进行组织设计的基本原理及方法步骤,并进行了实例计算。     

双闭环直流调速系统参数的进化计算

用现代控制理论方法建立闭环直流调速系统的状态方程式,并以时域性能指标为目标函数,建立了系统参数优化的数学模型。在工程设计方法的基础上引入了遗传算法,对设计参数进行了优化,优化后的设计参数显著地提高了系统性能指标。