最大值堆的枚举计数公式及其实现

根据堆的定义,在构造与最大值堆对应的n元排列的过程中推导出了n个结点最大值堆的枚举总数目的计算公式,讨论了当堆为满堆时的情况,给出了一个复杂度为O(n)的算法实现了任意最大值堆的枚举计数公式.     

基于生成函数的二项树堆枚举计数公式推导

通过对二项堆性质的深入研究,证明最大值堆的枚举计数递推公式适用于二项树堆(遵循堆性质的二项树)。由二项树堆的枚举计数递推公式计算出的枚举数目能组成枚举值数列。把枚举值数列表示成生成函数,并根据生成函数的求和、微分、积分等运算将枚举值数列的生成函数化简为幂级数形式,进而对二项树堆的枚举计数递推公式进行化简,得到二项树堆的枚举计数公式。据此可直接计算出二项树堆的枚举总数目。经过实验验证,与递推计算二项树堆枚举总数目的方法相比,该方法的计算效率更高。     

改进的堆的枚举算法的研究

提出一种生成所有堆的枚举算法。该算法按照从深层次向低层次的顺序生成堆,采用单个数判断法。测试结果验证了该算法的有效性和可靠性。     

一种生成所有堆的枚举实用算法

提出一种生成所有堆的枚举实用算法，此算法采用了两种判断方法-单个数判断法和层次判断法，大大提高了算法效率；设计了一个C语言程序结合实例运行验证了此算法。     

有向图投影图的递推公式及其应用

本文给出了求有向图投影图的递推公式，同时利用分块矩阵的概念加以实现。本文也讨论了有向图投影图在结构化程序设计中应用，同时讨论了有向图投影概念的推广。     

计算任意最大值堆的枚举总数目的实用算法

给出了一个最大值堆（当它为一棵满二叉树时）的枚举计数公式，提出了计算任意一个最大值堆的枚举总数目的一个实用算法。     

用递推公式解常系数齐次线性微分方程组

１引言关于常系数齐次线性微分方程组ｄＹ／ｄＸ-ＡＹ（１）其中＊一ｈ,儿...,";Ａ一【Ｚ的解法有关教材上已有介绍,当方程组（１）中系数矩阵ＡＬａ－,"ａ－－－一的特征根有重根时,所用方法或是将矩阵Ａ化为Ｊ。ｄａｎ标准型;或是应用待定系数法求解。而这些解法过程较繁琐、不便应用。为此,本文应用待定向量建立了递推公式解法。２主要结果２．１定理１若矩阵Ａ有ｎ（ｎ＞２）重特征根Ａ,则方程组（ｌ）的通解可设为ｙ００。（ａ;＋ｏｐ＋...＋Ｍ''）ｅｔｓ（２）其中,。;为含有ｎ个任意常数的非零向量,即：。;一（ｃ;,…     

递推公式计算精馏塔的理论塔板数

阐述递推公式的推导过程,介绍如何和Excel函数及公式计算精馏塔理论塔板数的气-液相组成,使多媒体教学中的化工计算过程实现了图形化、可视化及自动化.其Excel逐板计算和Excel图解计算方法易于掌握,对于处理类似的化工计算有一定的参考作用.     

正形置换的枚举与计数

正形置换在密码算法的设计中占有很重要的地位．研究正形置换的特性、枚举、计数对于密码设计和密码分析均具有重要的意义．正形置换的理论研究已成为国内外密码学编码理论的热点问题．对正形置换的计数和枚举问题进行讨论,利用和阵给出了正形置换的一个枚举方法,利用该方法可以列出所有的”阶正形置换．国内外相关文献中还未见到正形置换的枚举方法．由该枚举法得出了n阶正形置换个数Nn的上界和下界,这个结果比迄今为止给出的结果都要好,是目前给出的最优上下界．     

递归子程序的依赖性分析及其应用

程序依赖性是一种重要的程序分析、理解与维护方法,广泛应用于软件工程及软件逆向工程的各个方面,但递归子程序间的依赖分析一直是依赖性分析中的难点。为此,该文提出了一种新的递归子程序间的依赖性分析方法,它首先分析子程序内部的各种依赖关系;然后,结合子程序调用图分析子程序参数间的依赖关系;最后,通过模拟递归子程序的执行过程来分析它们之间的依赖关系。利用该文提供的方法可得到比较精确的递归子程序间的依赖关系。     

Recursive functions of context free languages (I)--The definitions of CFPRF and CFRF

It is intended to establish the recursive function theory on context free languages (CFLs). In this paper, the function class CFRF and its proper subclass CFPRF were defined on CFLs; it is quite straightforward to use them for describing non_numerical algorithms. In fact, they are respectively the partial recursive functions and primitive recursive functions of context free languages. The structure induction method for proving CFPRF function properties was presented. A method for CFL sentence enumeration was given, the minimization operator was defined. Based on CFL sentence enumeration, the minimization operator evaluation method was given. Finally, the design and implementation principles of executable specification languages with the CFRF as theoretical basis were discussed.     

基于8255的5位脉冲计数仿真电路的设计与实现

该文的研究目的是用Proteus软件设计一个5位8255脉冲计数仿真电路。该电路的实现用到了主板电路和译码电路,文中给出了脉冲计数仿真电路和汇编实现代码。该文同时讨论了影响检测分辨率的相关因素。该电路已由笔者应用在自己的实践教学中,该电路的有效性已得到验证。     

基于图像处理的菌落自动计数方法及其实现

针对菌落图像特点,提出用最大类间方差法对采集的菌落图像进行二值化,用Hough变换去除平皿边缘图像,用距离变换和分水岭算法分割粘连菌落,最后用八邻域边缘跟踪和区域填充算法进行标号后计数。实验证明此法不仅计数结果准确．重现性好,而且速度快,计数结果不受菌落接种方法、菌落种类、形态、大小的影响,完全可以代替传统的人工计数,具有一定的推广和应用价值。本文所提出的用于分割粘连菌落图像的距离变换和分水岭算法,对其他各种颗粒图像的分割同样适用,它在如细胞图像处理、材料图像处理等颗粒图像分析方面．具有很高的实用价值。     

基于MathML描述的数学公式编辑器的实现

对Web教学应用开发中数学公式的显示和编辑的实现技术进行分析,给出一个使用有向树型数据结构和MathML描述的实际解决方案。对关键的实现技术进行了详细的讨论,为设计功能完善的Web教学系统提供有力的支持。     

用Java语言实现八皇后问题的递归和非递归算法设计

采用回溯法解决八皇后问题,给出了逻辑结构清晰的递归算法和非递归算法,并用Java语言加以实现     

基于极性转移和LSTM递归网络的情感分析

长短时记忆(long short term memory,LSTM)是一种有效的链式循环神经网络(recurrent neural network,R²NN^①),被广泛用于语言模型、机器翻译、语音识别等领域。但由于该网络结构是一种链式结构,不能有效表征语言的结构层次信息,该文将LSTM扩展到基于树结构的递归神经网络(Recursive Neural Network,RNN)上,用于捕获文本更深层次的语义语法信息,并根据句子前后词语间的关联性引入情感极性转移模型。实验证明本文提出的模型优于LSTM、递归神经网络等。
     

循环赛日程表的递归和非递解

介绍了算法设计技术分治法的应用。使用分治法实现了循环赛日程表的递归和非递归解,并作了较为详细的说明,供《算法设计与分析》课程教学参考。