有序二叉树中的插入,删除及其PDC—PROLOG实现

二叉树是一种重要的数据结构，而有序二叉树是一种重要的二叉树，本文讨论了在ＰＤＣ－ＰＲＯＬＯＧ中，用递归技术对有序二叉树进行插入与删除结点。     

按定义判断无复铰运动链同构的通用程序

本文直接应用两图同构的定义．讨论了在微机上判断无复铰运动链同构的算法和步骤，并用ＰＲＯＬＯＧ程序设计语言实现了这种算法．     

代数规格说明语言ASL及到PROLOGR的转换

本文讨论了代数规范说明技术及其到逻辑程序设计语言ＰＲＯＬＯＧ的转换，首先给出了一种基于抽象数据类型的代数规格说明语言ＡＳＬ；然后介绍了由ＡＳＬ描述的规格说明到ＰＲＯＬＯＧ转换的形式化方法，在这种方法的基础上设计了一个自动转换系统，该系统接受ＡＳＬ语言描述的规格说明，通过转换规则，逐步将此规格说明转换成可执行的ＰＲＯＬＯＧ语言程序。     

用PDC—PROLOG表示基本控制结构

良好的程序结构是模块化程序设计的基础，为构造结构良好的ＰＲＯＬＯＧ应用软件，本文讨论了三种控制结构在ＰＤＣ－ＰＲＯＬＯＧ中的实现。     

一种函数式语言到PROLOG的转换技术

定义了函数式语言ＳＦＬ，给出了由ＳＦＬ到ＰＲＯＬＯＧ的一般性转换方法，设计并实现了自动转换系统。     

基于二叉树的位排序算法

利用二叉树的结构性质，给出了一个基于二叉树的位排序算法（ＢＢＳ算法），并证明了ＢＢＳ算法是生成二叉树的这组数据按排序码升序的排序，最后，我们讨论了该算法的算法复杂性。     

论复杂二叉树的初始化算法

在计算机科学领域,数据结构以及算法分析是软件开发和程序设计的理论基础。而在实际应用中,二叉树又是一种重要的非线性结构,而且应用很广泛,比如族谱等。在对二叉树的操作中,初始化二叉树是最基本的操作。由于二叉树本身的非线性结构特点,在对二叉树的某个结点进行处理等操作时,前提条件是二叉树必须存在,也就是说计算机内存中应该准确地存储该二叉树。因此,建立二叉树是应用的前提条件,特别是如何更人性化建立一个复杂而庞大的二叉树,目前的算法显得有点困难。在此介绍两种改进型算法来实现复杂而庞大二叉链表的初始化。     

哈夫曼树及其应用

哈夫曼树是最优的二叉树,在所有带权结点所构成的二叉树中哈夫曼树的带权路径长度WPL是最小的,因为这个特点可以将其应用到很多领域中。     

对称双二叉树PTS相位搜索

为降低OFDM系统中部分传输序列的计算复杂度,提出一种对称双二叉树的相位搜索方法,将最优相位因子的搜索映射为满二叉树中代价最小通路的搜索. 通过选择中间节点数量与二叉树的搜索深度,在有效抑制OFDM峰值平均功率比的同时大幅度降低了计算复杂度. 仿真结果表明,该方法能很好地协调OFDM系统性
能和计算复杂度.     

线性递归并行排序算法

应用左递归二叉树构造一个新的并行排序算法,对ｐ个有序块进行排序．从而,将ｎ元素的分类问题转化为对ｐ个有序块的并行排序问题．算法在最坏情况下并行步为Ｏ（（ｎ／ｐ）ｌｏｇｎ／ｐ）,是目前比较好的排序算法．     

完全二叉树到星连通圈网络的嵌入

依据对二叉树嵌入的研究,主要讨论了完全二叉树到星连通圈网络的嵌入,得出该嵌入的膨胀数为1,并且给出了完全二叉树嵌入星连通圈网络的构造算法.     

同构图的等价条件

讨论了同构图G和H的邻接矩阵AG与AH之间的关系，给出了图的同构变换撅念，并证明了图同构的充要条件。     

基于二叉树搜索的塔机防碰撞包围球判定方法

建筑工地中,往往是多塔机同时作业,而塔机间的防碰撞问题一直是建筑施工中所面临的一项安全问题.在防碰撞包围球判定方法基础上,研究了二叉树搜索算法在其中的应用.借助空间坐标变换以及位置信息的无线通信交换,详细论述了二叉树搜索算法的实现.该方法提高了碰撞区域判定效率,对于塔机安全运行,有效避免碰撞事故发生具有重要意义.     

反商群性质的研究

反商群在群论的研究中起着重要作用,利用群的同态、反同态、同构和反同构等研究了反商群的性质.     

高等代数教学中关于同构的注记

同构是高等代数中的一个重要工具,借助同构思想可以让复杂问题简单化.对北京大学编写的第4版《高等代数》教材中利用同构思想来表示所有特征向量的问题给出一些注记,借助一道例题说明同构的相关用法,为学生理解并应用同构思想奠定基础.     

逻辑代数与图论中的运算符号“”

“■”运算在逻辑代数和图论中定义形式不同，运算性质却类似，原因是对于“■”，逻辑函数集合与某个图的集合同构．     

参数化二叉树编码实现加密图像可逆数据隐藏

为了提高数据嵌入容量，提出了一种基于参数化二叉树编码的加密图像可逆数据隐藏新方法。该方法的系统由图像所有者、数据嵌入者和授权接收者三方组成，其中，图像所有者采用特殊的图像块随机调制和置乱对原始图像加密并上传；由于加密操作很好地保留了图像块的像素相关性，数据嵌入者可在加密域充分利用图像块相关性，通过自适应选择参考像素来预测同一图像块的其余像素得到预测差值，再使用参数化二叉树编码进行无损压缩生成嵌入空间，实现大容量数据嵌入；授权接收者可正确提取嵌入数据或无失真恢复原图像。仿真实验结果表明：所提方法提高了嵌入容量，且可用于医学、云服务、军事等众多领域。     

溴酸钾氧化孔雀绿催化光度法测定痕量NO2^—

本文研究了在稀磷酸介质中，ＮＯ２＾－催化溴酸钾氧化孔雀绿褪色的指示反应，建立了催化光度法测定ＮＯ２＾－的新方法，ＮＯ２＾－量在０－４５０ｎｇ／２５ｍｌ范围内与ｌｎ（Ａ０／Ａ）成线性关系，用于水样和蔬菜中ＮＯ２＾－的测定取得满意结果。     

改进电路模拟法的应用——同构混合开关拓扑辨识

提出了一种基于已有图同构判定算法--电路模拟法的改进方法,并将其应用到同构混合开关拓扑的辨识中. 首先介绍混合开关拓扑的数学描述方法,给出混合开关拓扑的邻接矩阵表示及其相应的含权无向图表示,由此将同构混合开关拓扑的辨识问题转换为与其对应的含权无向图的同构判定问题,继而采用所提出的改进电路模拟法加以判定. 在同样环境下对改进的电路模拟法及另一种混合开关拓扑同构判定方法--特征值判定法进行测试比对,测试结果表明该方法在处理同构混合开关拓扑辨识问题上是有效的,并且在判定速度和节点匹配能力上有较大的优势.     

三值、多值代数和类同构

将代数系统同构的概念扩展为类同构,并推出一些相关的定理,在类同构基础上完整地研究各种三值逻辑和三值电路理论,该电路理论可推广到任意多值电路和绝热电路中,以便建立二值电路,多值电路和绝热电路的统一理论.