Datalog线性递归程序的自动编译

基于ＶＰＣ－扩展图模式，给出了Ｄａｔａｌｏｇ线性递归程序编译式的自动生成算法，研究表明，该算法能有效导出所有复杂类型Ｄａｔａｌｏｇ线性递归程序的编译式。     

数据库应用中层次关系表示新方法--标识路径法

介绍了数据库应用程序中表示层次关系的一种新方法——标识路径法，并且介绍了相关SQL语句设计。该方法对层次关系的递归表示进行了改进，避免了在Client／Server数据库应用程序中递归表示存在的诸多缺点。     

SPKI/SDSI2.0的安全性分析

用标准的Datalog程序表示信任管理系统SPK I/SDSI2.0的系统状态,以Datalog程序的最小Herbrand模型作为它的语义,定义了信任管理系统SPKI/SDSI2.0的安全分析模型,制定了状态转换的限制规则,该限制规则是可实现的,在此基础上对SPKI/SDSI2.0的权限泄露问题进行了全面的分析,证明了该问题是在多项式时间内可判定的;证明了一个状态对于权限r是否可靠依赖且仅依赖于关于权限r的可信主体集合,并给出了计算可信主体集合的算法.     

基于图的频繁闭项集挖掘算法

为了提高数据挖掘效率，提出了一种基于图的频繁闭项集挖掘算法GFCG(graph—based frequent closed itemset generation)．该算法采用位矢量技术构造有向图，表示项与项之间的频繁关系，并在有向图的基础上递归产生频繁闭项集，从而只需扫描数据库2次，不产生候选集；引入扩展频繁项集的概念，大大减小了检查频繁项集是否闭的搜索空间．用1个真实数据库和2个合成数据库对GFCG进行了测试，并与A-close和CLOSET算法的结果进行了比较，结果表明，该算法具有良好的速度和可伸缩性性能．     

基于改进遗传算法的递归神经网络非线性系统辨识

将递归内时延神经网络应用于非线性动力学系统辨识中，描述了其动力学方程，并引入改进遗传算法作为其学习算法，通过非线性动力学SISO和MIMO系统的辨识仿真研究，验证了内时延递归网络结构和改进遗传算法的有效性。     

汉诺塔问题的非递归算法设计及可视化实现

讨论了汉诺塔问题的经典递归算法,并基于二叉递归树对算法进行研究,得出了一种不使用堆栈技术的非递归解法,最后在.NET可视化开发环境下设计程序,分别用递归与非递归算法求解指定规模的汉诺塔问题,动态模拟了求解过程中盘片的移动效果。     

动态递归数字滤波器的鲁棒稳定性检验

提出了动态递归数字滤波器的鲁棒稳定性检验定理，将动态递归数字滤波器划分为两类，单调系统簇与非单调系统簇。单调系统簇的稳定性检验与Ｋｈａｒｉｔｏｎｏｖ定理的检验类似，只需检验集合中的四个端点复多项式，而非单调系统需检验所有可能的端点复多项式的组合。给出了定理的证明与应用举例。     

图的最大完全子图的一个算法

利用递归算法和引入点的向后度等概念，从而加快了图的极大完全子图的计算。     

DEDS的不可简约系统矩阵的周期性稳态分析

由在(max, )上建立的DEDS的状态空间表达式数学线性模型和描述闭环线性模型系统行为的递归方程组(称为原始系列)及对偶系列，对DEDS行为的周期性与谱射影矩阵的分析，得到其递归方程组的解，从而确定DEDS的系统矩阵具有周期性稳态过程。     

并行求解递归问题的块消元与迭代方法

讨论线性递推问题的并行算法，将递归变形成方程组，给出了一种块消元和迭代求解的分析，分析了并行度，而且还证明了迭代法的收敛性。