FoxBASE~＋递归程序的设计与实现

分析了递归程序的实现原理及在ＦｏｘＢＡＳＥ￣＋中实现递归调用的可能性，提出了递归程序工作栈的概念。利用这一概念，使ＦｏｘＢＡＳＥ￣＋的解释程序与应用程序协同工作，从而在ＦｏｘＢＡＳＥ￣＋中实现递归调用。     

二阶A型Cooper变换的增强型

对二阶Ａ型Ｃｏｏｐｅｒ变换进行增强，放宽可用性条件，并证明了其正确性，最后举例说明其应用。     

求S盒布尔函数表达式的一种新算法

求分组密码S盒布尔函数表达式就是要确定表达式的各个系数。本文给出布尔函数表达式中通项的取值与输入值之间的关系，证明了表达式通项的系数可由已知系数来确定，从而设计出求S盒布尔函数表达式一种新的递归算法。算法只进行异或和内积运算，运算次数少，具有简洁、易于编程实现、准确而快速的特点。应用于DES获得与公开文献相符的结果，应用于AES首次求出其S盒的布尔函数表达式。     

扩展有限递归进程模型

主要讨论离散事件动态系统的建模问题。由ＫＩｎａｎ和ＰＶａｒａｉｙａ提出的有限递归进程（ＦＲＰ）是描述并发离散事件动态系统的有力工具，但在其ＦＲＰ中，没有定义对数据变量的操作和条件转移算子。本文扩展ＦＲＰ包括这两方面内容。最后举例说明扩展ＦＲＰ的描述能力。     

一种递归构造的互连网络：正四面传递归网络

本文提出了一种递归的构造的，适用于基于消息传递的多计算机系统的互连网络－正四面体递归网络。在对该网络作出概述之后，讨论了该网络的通信问题。对网络的性能分析表明，该网络在一定条件下，性能较优。最后，本文还讨论了网络的软件模拟等问题。     

军械调运方案优化算法的设计与仿真

军械调运问题的数学模型和手工算法过去已有研究,但是当问题较为复杂时,手工算法就要花费大量时间而且准确性也难以保证。针对这一缺陷,本文在已有的数学模型和手工算法的基础上,设计了一种可以用计算机实现的基于递归的算法来寻求军械紧急调运问题的最优方案,并使用面向对象的java语言将算法实现。     

一类具比例时滞脉冲递归神经网络的全局多项式稳定性

该文对一类具比例时滞脉冲递归神经网络给出全局多项式稳定性定义。通过引入可调参数,构造适合的Lyapunov泛函和运用线性矩阵不等式 (LMI) 的方法,对该系统的全局多项式稳定性进行讨论,得到了保证该系统全局多项式稳定的判定准则,且这些准则以LMI的形式给出的,方便应用Matlab工具箱进行验证。该文还揭示了多项式稳定性与指数稳定性之间的关系,最后通过数值算例验证了所得准则的准确性。     

一种新的基于递归分解的图可达性查询算法

针对现实中许多超大规模图可达性查询的问题,提出了一种新的基于递归分解的算法,即将原图递归分解成一系列生成树和剩余图两类子图,并通过分别查询这两类子图来减少查询开销.相比于区间标记、链分解、2-hop标签和路径树等传统算法,该算法不仅空间开销更小,且时间复杂度更低.仿真实验表明,该算法对处理大规模有向图可达性问题上存储规模更小且查询效率更高.     

基于函数划分块及置信度的反汇编优化研究

针对传统静态递归反汇编算法因无法解析间接跳转指令而导致反汇编结果不完整的问题,提出一种基于函数划分块和置信度的递归反汇编算法:以函数为划分块,对代码间隙进行多次递归扫描,获取反汇编过程中可能遗漏的重要基本块;建立置信度评估函数,以置信度为依据,剔除冲突的基本块,筛选出高置信度的基本块,用于补充和优化反汇编结果。实验证明,改进后的递归反汇编算法具有较高的反汇编精度。