一些特殊树的对偶带宽

图G的对偶带宽是指图G中相邻两点最小标号差的最大值。确定了一些特殊树的对偶带宽，主要结果如下：(1)如果树T有n个顶点，并且其最大度△(T)不小于[n/2]，那么树T的对偶带宽等于n一△(T)的充要条件为T是双层星且其内星的中心为最大度顶点；(2)完全二叉树T2,k的对偶带宽等于2^k-1；(3)等高单毛虫树Pm,n的对偶带宽为[mn/2]。     

BAN逻辑与串空间的比较

研究了2种安全协议的分析方法,即BAN逻辑和串空间.利用这2种方法分别分析了Needham-Schroeder公钥协议,指出了这2种方法各自的优点和缺点.在对这2种方法进行了比较后,指出了这2种方法有2种结合方式.1种是利用串空间给出BAN逻辑的语义,另外1种结合方式是串行,即对于需要分析的协议,先利用BAN逻辑进行分析,然后再利用串空间进行分析,使分析出的结果更加可靠.     

基于决策树方法的银行客户信用评估

分析了传统银行客户信用评估方法存在的问题,针对ID3算法存在的不足,提出了一种改进的ID3算法.实验结果表明,改进后的ID3算法分类正确率有所提高,所生成的决策树较为健壮、简洁,可以减少计算代价,提高计算效率.     

决策树在文本分类中的应用

介绍了文本分类的思想,探讨了通过决策树学习来对文本进行有效分类的过程。     

关于树的几个问题

定义了树T的一个全序(《),证明了(《)的一个性质,运用这个性质证明了序数理论中的一些已知结论,使证明大为简化.     

建筑物室外环视中加速绘制算法

提出一种用于建筑物环视系统混合绘制的加速方法,场景划分为主体模型和层次环境的带有深度的图像缓存(sprite with depth),采用BSP树存储场景的具有深度的图像缓存,用模型对存储场景的BSP树应用三维裁剪算法来减少不必要的绘制,并在环视过程中采用生成替代图像缓存方法,加速环视场景的生成.     

基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

实现自动化测试系统中串行通信若干问题的研究

本文讨论研究了计算机与智能仪器串行通信的主要问题,首先分析了这种串行通信的特点,阐述了计算机串行通信方式的选择,接口硬件的连接及软件的编程。重点讨论了实现串行通信中的通信协议、流量控制和差错检测,经在PC—386工控机与数种智能仪器的串行通信实验,得到了令人满意的良好效果。文中提出的内容是理论与实践结合的经验总结,它对从事于计算机与智能仪器串行通信工作的人员具有重要的参考价值。     

使用Java Web Start部署自己的Java应用程序

JavaWebStart是部署基于JavaTM技术的应用程序的一种新技术,是SUN公司提供的一个实现JNLP的软件。JNLP解决了很多先前用java开发针对客户端的功能的问题,可以实现将功能由基于浏览器的胖客户端转向瘦客户端。以我院自行开发的宽带网计费与安全管理系统为例,对JavaWebStart作了介绍。     

树与色树

给出了色树的两种性质；（１）色树相关联的两个顶点对应的串是色分划的不同色组对应的串；（２）色树顶点的对应串所含链的上等。并应用构造方法证明了任意树都是以树，从而解决了遗留问题。