基于嵌套树模型检测的研究

文章针对软件验证过程中的结构抽象表示问题,考虑到结构程序的顺序结构、调用返回关系,给出了嵌套树以及嵌套状态机的定义。在该数据结构及μ演算的基础上,定义了嵌套树的μ演算(NT-μ)。NT-μ的公式语法是基于概要的,在嵌套状态机上提出基于概要类的模型检测。嵌套状态机的结点是有限的,且嵌套状态机有限的概要类对应于嵌套树中的无限的概要,因此该方法能提高检测的效率。     

主动数据库的事件监测模型

事件监测是主动数据库中主动规则处理的一个关键问题。本文讨论了事件日志、参数上下文，然后在最近环境参数上下文的语义条件下给出了一种高效的事件监测模型：事件树模型。     

用于信息流分析的信息流树结构

在根据系统源代码进行隐通道搜索的分析方法基础上,针对目前隐通道搜索方法仍然采用人工分析系统中的语句信息流所带来的工作量巨大问题,将已提出的较为简单的高级语言语句信息流规则加以扩展,依据扩展得到的语句信息流规则,构造出一种可以描述并记录语句信息流且易于实现的二叉树结构——信息流树,给出自动分析信息流的遍历信息流树算法,并以自行开发的VISTA空间数据库系统中的一段源代码为例,通过构造并遍历其信息流树,说明用信息流树描述信息流并进行信息流分析的有效性和正确性．     

具有极值Randic’指标的二树图研究

简单连通图的Randic’指数是化学图论中一个重要的拓扑指数,其在化学领域中有着广泛的研究及应用.我们给出了一个具有n个顶点的二树图的最大和最小的Randic’指数,即2n-4/2(n-1)+1/n-1≤R(G)≤n/2-11/4+23/3+6/3+2/2同时当二树图达到这两个界限时,它的图也被刻画了出来.     

一种基于Radix树的数据库前端缓存

提出了一种基于Radix树的前端缓存系统,用以实现基于NoSQL概念下的数据库前端缓存系统.该系统采用C/S模式供客户端通过网络调用缓存系统实现数据访问.在服务端利用Radix树实现缓存数据的存储结构,并以Radix树遍历算法为基础实现了数据添加、数据删除、数据查找、数据查询等操作接口.在此基础上实现了包括主进程、协议处理、事件驱动等模块,用以在Linux环境下构建完整的缓存系统;客户端则基于定义的协议通过网络与服务端通信达到数据读写操作的目的.通过与Memcached系统在相同试验环境中的实验结果进行比较,表明该系统能够有效地降低数据读操作的时间开销,并能减少对系统内存的占用.     

一类图的特征值

文章将树做了推广,给出了圈树的定义:把树的度数大于3的若干点用相应点度数一样长的圈替换得到的图为圈树。证明了点赋权树T(权重均为正),权和为W,则存在一个点v∈V(T),使得T-v的所有连通片的权和不大于W/2。以此为基础,证明了n阶圈树D,证明了一定存在{u,v},使D-{u,v},所有的连通片的阶都不大于[n/2],最后对圈树的一些特征值阶进行了估计。     

关于一类树的优美性

在n阶树用0,1,2,…,n-1,不同的n个数对顶点标号,使得每一条边的标号也不相同(相关联一对顶点的标号差的绝对值不相同),即{1,2,…,n},称这种标号是优美标号;根据优美图的定义,研究了优美树问题中,Rosa猜想树是优美树;本文研究了一类树T_(k_3)~1,的优美性。     

一种污水管网系统优化的新方法

本文从大系统的角度,把污水管网系统的布局和管道参数的优化问题,看作为污水管网系统中的两个互相关联的子系统。在优化过程中,首先,用SI算法求出系统Steiner的最短树,作为其初始布局;其次,假定管径为连续变量,用高斯—赛德尔迭代法求出管道的优化参数,同时,对系统的初始布局进一步协调;最后,用点列枚举法求出管道实际参数的优化值。实例的计算表明,该方法相对简单,且有较好的经济效益。     

带约束边的最优树问题

本文给出了求解一个赋权图中含有约束边的最优树的两种算法和证明。并在此基础上,给出了关于含有约束边最优树的一些推广问题的算法和证明。     

国产大孔树脂固定氨基酰化酶

：对１０种国产载体进行了筛选，发现用弱碱性大孔阴离子交换树脂Ｄ３８０固定氨基酰化酶的效果最好。研究出适宜的固定化条件，使固定化酶的湿酶活可达６２０μｍｏｌ／（ｈ·ｇ）。对其动力学性质的研究表明其米氏常数为 ７．１５ｍｍｏｌ／Ｌ，并得到了合适的反应条件。