分划递推法及其应用

分划递推法是一种新的算法设计技术。在分划递推法中使用逻辑符号和扩充的量词表示功能规约。分划是处理复杂问题的一般方法,而递推可用于循环不变式和算法设计开发。文中给出的三个实例呈现了使用分划递推法进行算法设计和开发的步骤和要点。     

递归递推与算法设计

本文以Ａｃｋｅｒｍａｎｎ函数为例阐述了递归和递推在算法设计中的应用，以说明两种不同设计方法的编程效率和执行效率。文中的递传传值算法是计算Ａｃｋｅｒｍａｎｎ函数的 有效算之一。     

若干算法程序的形式化推导与生成技术研究

PAR方法基于分划与递推、量词变换规则、循环不变式开发新策略和软件转换工具,实现了复杂算法问题的形式化开发.采用PAR方法形式化推导几个典型的算法问题.通过量词变换规则对程序规约进行形式化推导,可以得到具有数学引用透明性、易于形式化证明的求解算法问题的递推关系;并在此基础上,自然地导出循环不变式.在得到简短、易于理解、高可靠性的Apla算法程序之后,通过转换工具自动生成Java,C 等可执行程序.     

运用PAR方法进行算法程序设计

本文主要阐述如何运用一种系统的、统一的算法程序设计方法即PAR方法来开发正确的、高效的算法。该方法将算法设计从程序设计中分离出来,因此我们可以集中精力开发出正确的、高效率的算法。使用该方法得到正确的算法后,经过自动转换系统直接得到某一可执行语言程序。     

输入输出双线性系统的递推辨识与实现算法

本文对输入输出双线性系统给出了一套完整的辨识方法。首先给出了输入输出方程的一般形式,并对于一类规范型给出了相应地输入输出差分方程。然后给出了确定系统的结构指标和参数估计的递推算法,它改进了由Katta和Nurges(1984)给出的方法,大大缩短了计量时间。另外,还给出了状态方法的简单实现算法。最后,给出了仿真例子说明算法的有效性。     

基于递推预报误差算法的前馈神经网络的设计

该文介绍了一种基于递推预报误差算法的前馈神经网络的实现方法。将该网络应用于非线性系统模型的仿真试验中取得了良好的效果。文中给出了试验的结果,并对该网络的应用进行了讨论。     

一类非线性递推的变距二分算法

提出了一种有效求解一类非线性递推问题的并行算法。比较求解此类问题的奇偶二分法，变距二分算法显著节省了总运算量；比较约简二分法，变距二分算法仅含消元过程，算法结构简单。     

最小绝对误差和回归的递推辨识算法

本文首先介绍最小绝对误差和回归方法中的BR算法,然后根据线性规划中的灵敏度分析,对最小绝对误差和回归提出两种分别按样本点和阶进行递推的快速辨识算法,为最小绝对误差和回归的在线辨识和实时控制奠定基础。     

基于粒子群算法的弹道导弹设计方法研究

弹道导弹初步设计的主要任务就是寻优选择导弹的设计参数,从而使导弹满足战术指标和限制条件.针对惩罚函数法在弹道导弹设计中计算时间长,计算效果差的缺点,采用柱子群优.化算法进行弹道导弹优化设计,该方法能够提高计算效率,得到更好的弹道导弹设计参数,并通过仿真试验证明了该方法的有效性.     

使用递推解决递归问题的研究与应用

使用递推技术实现递归问题的算法,不仅可以节省存储空间,而且可以极大地提高算法的执行效率.在对递归问题进行研究的基础上,给出了使用递推技术将递归问题的递归算法转换成非递归算法的具体方法,并通过具体实例加以了说明.     

Unified Approach for Developing EfficientAlgorithmic Programs

A unified approach called partition-and-recur for developing efficient and correct algorithmic programs is presented.An algorithm(represented by recurrence and initiation)is separated from program,and special attention is paid to algorithm manipulation rather than proram calculus.An algorithm is exactly a set of mathematical formulae.It is easier for formal erivation and proof.After getting efficient and correct algorithm,a trivial transformation is used to get a final rogram,The approach covers several known algorithm design techniques,e.g.dynamic programming,greedy,divide-and-conquer and enumeration,etc.The techniques of partition and recurrence are not new.Partition is a general approach for dealing with complicated objects and is typically used in divide-and-conquer approach.Recurrence is used in algorithm analysis,in developing loop invariants and dynamic programming approach.The main contribution is combining two techniques used in typical algorithm development into a unified and systematic approach to develop general efficient algorithmic programs and presenting a new representation of algorithm that is easier for understanding and demonstrating the correctness and ingenuity of algorithmicprograms.     

递归问题的非递归实现方法的应用研究

使用非递归方式实现递归问题的算法程序,不仅可以节省存储空间,而且可以极大地提高算法程序的执行效率.本文将递归问题分成简单递归问题和复杂递归问题;简单递归问题的非递归实现采用递推技术加以求解,复杂递归问题则根据问题求解的特点采用两类非递归实现算法,使用栈加以实现.     

基于映射迭代策略的FFT重排序算法设计

传统位反算法在对快速傅里叶变换(FFT)的输出进行重排序时,只能以基-2形式输入数据。为此,提出一种新的基于映射迭代策略的算法,实现对任意基形式FFT输入的输出重排序,包括对映射迭代过程收敛性的证明。得出当FFT的输入点数N确定时,混合基形式下迭代次数为lbN的结论,为硬件架构的确定提供依据。     

基于VB文件控件的递归算法及其应用

为了在Windows98/95中一次性设置某文件夹下的所有文件的属性(如只读、存档、系统和隐藏属性等),文中通过VB中的文件控件(DriveListBox,DirListBox和FileListBox)的协同工作,并利用递归算法来达到遍历该目录下所有文件的目的。在遍历文件的过程中,通过相应的WindowsAPI函数将所有文件设置成所需要的属性。在VB上编程实现了该算法,程序结果显示本算法的可行性且具有极高的灵活性。     

LabVIEW程序设计方法在自动测试系统中的应用探讨

以LabVIEW软件为开发工具,研究探讨了面向过程、面向对象、面向组件3种程序设计方法在不同类型测试系统程序设计中的实现方法,并对各方法的优缺点,以及对程序设计过程和程序质量的影响进行了分析比较,为基于LabVIEW的测试系统程序设计方法的合理选择提供了依据。     

USB接口技术的研究与应用

USB接口如今已经成为计算机外设必不可少的设备。本文详细介绍了USB接口设备及其工作原理,并对其在生产实践中的具体应用方法进行了研究。     

基于GPS的电网同步相量测量算法

现代电力系统结构日趋复杂,现代电网的安全性存在新的挑战,电网的稳定监控将越来越重要。母线电压相量是反映系统稳定性的最主要的状态量,电压和电流相量的实时测量可以为安全调度、稳定控制等提供有力依据。因此实时测量母线电压相量,将是电力系统稳定监视和控制的关键性与基础性问题。文章在总结相量测量装置研发应用的基础上,详细分析了相量测量原理及方法,综合比较了过零检测法、最小二乘法、Fourier变换算法各自的特点,从处理速度与测量精度等多方面考虑,提出了采用递推Fourier算法的相量测量方法。     

一种基于算法机制设计的社会法则合成方法

社会法则是在多Agent系统中为确立某种目标属性而对各个Agent实施的行为限制集合.在Agent具有“个体理性”及“私有信息”的“策略情况”下,社会法则合成问题不应建模成通常的优化问题,而应建模成算法机制设计问题.“最小化副作用”经常是社会法则需要满足的基本要求.从博弈论的角度来看,“最小化副作用”与“最大化社会福利”的概念紧密相关,可以将“最小化副作用的社会法则合成”建模为一种效率机制设计问题.不仅需要为给定目标属性找到有效且社会福利最大的社会法则,还需要向Agent支付适当的金额,以实现激励相容性和个体理性.首先基于VCG机制设计一种名叫VCG-SLM的效率机制,证明它可满足所有必需的形式属性.然而,由于发现可证明该机制的计算是一个FP^NP-完全问题,针对性地提出该机制的一种基于整数规划的实现方式VCG-SLM-ILP,基于ATL语义将分配及支付的计算转化为整数规划,并严格地证明其正确性,从而可有效利用目前已非常成熟的工业级整数规划求解器,成功解决棘手的机制计算问题.