某机循环和子程序的组织

在某机上有六条指令用来控制循环和子程序的进出〔1〕,即604(#ZC),606(#FC),620(〔),622(〕),624(#SK)和626(#SG)。这些指令使用两个站和若干个寄存器,可以解决循环和子程序的非常出口(即不经由循环关门和返回指令而跳出)问题。这些寄存器和站之间信息传递的关系相当精微复杂,为了解和使用有关指令,直觉的观念是必不可少的;但以往的经验表明,对一定复杂程度的程序,其正确性问题只靠直觉往往是靠不住的。本文的目的就是要解决某机子程序和循环程序结构的正确性问题。文章分为七节,§1叙述六条指令的操作内容;§2定义循环的程序结构和有关规定;§3叙述有关寄存器、站和指令的直观含意;§4是本文的主要结果,即所述程序结构正确性的证明;§5定义子程序的结构;§6通过把子程序视为循环的特殊情形,而最后得到统一的结论;§7讨论了两个有关问题。只关心结论而对方法无兴趣的读者,无须读§4的证明和§7。但需要指出的是,文中的方法似是从事计算机功能设计和软件工作者应掌握的方法,这也是作者写本文的原因之一。     

一种改进的BOM展开及低层码生成算法

物料清单(BOM)和低层码(LLC)是MRP系统的关键输入,寻找一种高效的BOM遍历和低层码生成算法,是提高MRP计划编制效率的关键。传统的单层BOM存储格式描述的产品结构,通常采用递归算法进行BOM展开,但是递归算法的效率受到产品树层数的限制。论文基于SQLServer存储过程,通过创建一个临时堆栈表,使得BOM的遍历算法用一个循环就得以实现,实践证明,随着产品结构复杂度增加,该算法相对于递归算法更显示出其优越性。     

具有抽象数据类型的属性文法定义语言的编译结构

本文介绍了利用属性文法自动生成编译程序的总体结构和语义计算器的一般结构,还讨论了语义分析程序的结构,递归子程序的非范式与范式静态程序结构,着重讨论了目标程序(C语言)的输入范式数据结构、递归子程序目标范式结构。     

论递归算法的非递归化

递归算法简单自然、结构清晰、易写易读、易于验证其正确性，但执行效率不高。因此，在程序设计中，通常对所要处理的问题先用递归算法加以描述，然后再将其改写成非递归算法。本文从四个方面论述了递归算法的模拟问题。     

子程序花指令加密算法研究

根据反汇编器原理,分析现有的花指令加密算法存在的问题,提出了一种新的花指令加密算法——子程序花指令加密算法。详细论述了子程序花指令加密的工作流程和算法描述,分析了此算法的有效性和逻辑一致性。最后,通过算法的具体实现,对其有效性和逻辑一致性进行了验证。     

LL(1)文法句法分析程序自动生成的研究及实现

文中分析了对LL(1)文法采用递归子程序的方法进行句法分析的特点,讨论了递归子程序自动生成的一般规则,最后根据这些规则给出了递归子程序自动生成的算法及其实现.     

一种有效的约束非线性规划算法及其软件实现

本文介绍了一种求解约束非线性规划的算法——ALAPT法及其在M—240D大型机上的软件实现。§2、§3简单叙述了ALAPT法及Fletcher开关算法和共轭梯度法的基本原理,给出了一种非精确一维搜索方法;§4介绍了软件的结构、使用范围和使用方法;§5给出了软件对三个试题的计算结果,并对软件性能进行了评价。     

一个RISC流水结构机器QHRC上的编译时指令调度器

RISC体系结构常采用流水结构来提高机器的执行速度.然而,指令互锁现象的频繁出现严重影响了机器的执行效率.本文给出了一个流水结构机器上的基于机器描述表格化及参量化的指令调度算法。并利用该指令调度器作为工具,对多种解决指令互锁方案效果进行分析.最后,给出了一种兼顾硬件可行性与软件有效性的解决指令互锁的高性能方案。该算法的复杂度为O(n~2)。     

快速选择的循环迭代实现算法

在分析快速选择算法基本思想的基础上,给出了用于快速选择的非递归实现算法——循环迭代算法,并通过实验,与递归算法以及VC++标准库函数nth element进行了比较,结果表明,该算法比传统的递归算法具有较高的效率和可靠性;与标准库函数nth element比较,在时间效率方面具有明显优势.     

C语言递归生成二叉树探讨

递归生成二叉链表存储结构是一种常见的生成二叉树的方法,本文比较和分析了用C语言实现的几种递归生成算法,并指出了一种常见的错误算法。同时给出了两种递归遍历的C语言实现方法。     

基于栈结构的孔明棋算法研究

孔明棋是一种玩法简单,但其中变化无数的益智游戏。对孔明棋求解问题进行分析,提出了基于回溯思想的递归和非递归算法,运行结果表明了算法的有效性。文章还围绕栈在存储数据、消解递归等方面的应用对两个算法的优缺点进行了比较分析,递归算法结构清晰,但递归调用次数多;而非递归算法借助程序栈,将程序向循环转化,降低了时间复杂度,但算法难以分析和理解。因此在求解实际问题时可以采用递归思想来分析,然后借助栈用非递归来实现算法。     

汇编级代码程序结构分析算法研究

由于嵌入式系统可执行目标代码的多样性与灵活性，对其反汇编后，结果程序的结构化程度以及易读程度均不理想。为了更好地分析反汇编结果程序，该文提出了一种对反汇编结果程序进行子程序划分的算法，对算法设计所依赖的数据结构以及算法实现过程进行了描述和分析，给出了反汇编结果程序结构分析算法的性能测试分析结果。     

Hanoi塔问题的一种非递归算法

通过对 Hanoi塔问题的研究 ,给出了 Hanoi塔问题的非递归算法的思想和流程图 ,并用不允许递归调用的 BASIC语言实现了 Hanoi塔问题的非递归算法。该算法的优点在于可一次性求得总移动次数 ,但从程序结构看其编程思路较复杂 ,难于理解 ,算法的时间复杂性和空间复杂性与递归算法无异。     

Hanoi塔非递归算法的形式化推导和正确性验证

关于Hanoi塔问题的非递归算法已有大量的研究.运用薛锦云教授自创的PAR方法和循环不变式开发的新策略,形式化推导出逻辑结构清晰的Hanoi塔非递归算法及其循环不变式,并用Dijkstra最弱前置谓词法验证了该算法的正确性.充分体现了PAR方法的优越性、高效性和可靠性.     

Cholesky分解递归算法与改进

递归算法是计算稠密线性代数的一种新的有效方法。递归产生自动、变化的矩阵分块,能充分发挥当今分级存储高性能计算机的效率。对Cholesky分解递归算法进行了研究,给出了算法的详细推导过程,用具有递归功能的Fortran90实现了算法,并通过矩阵元素顺序重排的方法,进一步提高了递归算法的运算速度。研究产生的算法比目前常用的分块算法快15％－25％。     

基于整数线性规划的TTA代码优化

针对传输触发结构代码生成中的指令调度、多寄存器堆分配、全局寄存器分配和软件旁路等优化问题,给出一个整数线性规划形式化模型,并实现了一个软件架构来验证该模型的正确性。试验结果表明该方法可以有效地应用到40条传输指令以内的基本块,并生成高质量的代码。     

循环分块在MPI程序设计中的应用研究

提出了循环分块在MPI系统中的块分配方案———列组分配方案,并给出了在不同并行体系结构下依据列组分配方案计算块分配大小的算法。实验表明算法计算出的块分配方法对于发挥循环流水并行的效率有着较好的作用。     

多路并行S盒替代操作指令研究

在分析DES, AES, IDEA等41种分组密码算法结构的基础上,研究了4×4, 6×4, 8×8, 8×32 4种常用S盒替代的操作特征和S盒的实现方式。提出一种可高效、灵活地完成4种常用S盒替代操作的专用S盒运算指令、配置指令模型,给出了专用S盒指令的超长指令字(VLIW)扩展指令模型,设计并实现了S盒替代的硬件单元,并对专用S盒操作指令执行效率进行了分析。     

结构化程序方法在汇编语言中的应用

在传统的汇编语言程序设计中,选择结构程序设计一般用转移指令（ＪＭＰ）加标号来实现,这种程序结构实际上并不是真正的选择结构;在循环程序设计中,一般用循环指令（ＬＯＯＰ）或转移指令来实现循环,这种结构也不具有结构化程序中的“ＷＨＩＬＥ循环”或“ＲＥＰＥＡＴ循...     

形式化开发Hanoi塔问题非递归算法

使用形式化方法PAR及循环不变式开发新策略,开发了Hanoi塔问题非递归算法,并对其进行了形式化地正确性证明。本文直接面向非递归算法,在得到求解Hanoi塔问题的循环不变式的同时,直接得到易读、高效且可靠的非递归算法。对使用形式化方法及循环不变式开发新策略开发非递归算法作了较深入的实践和探讨。