高性能面向对象场景图系统

描述了一种高性能场景图系统的设计与实现。主要的设计目的是使三维图形应用开发者从繁琐的低级API(如OpenGL)中解放出来并获得最高的图形性能。该系统可以工作在Windows和各种UNIX变体(如IRIX、Linux等)操作系统上，主要的目标操作系统是Windows，主要针对低端(单处理器)硬件平台(如个人电脑)。应用范围包括视景仿真、虚拟现实、科学可视化、临场感娱乐及其他实时三维图形应用。     

星际链路天线的建模与仿真

理论结合工程实践，介绍了卫星通信网络中的星际链路的特点及各种关键因素，重点讨论了星际链路天线的仿真模型，分别建立了天线方向图模型和天线增益模型，并给出了NS下的仿真分析方法，提高了NS下卫星通信网络的仿真精度。     

卡诺图法化简异或逻辑函数

探讨了卡诺图化简异或逻辑函数的原理，提出了化简异或逻辑函数的新方法。     

P2×C5的全染色

令Pm=u1u2...um,Cn=ν1ν2...vnν1,则定义图Pm×Cn,(m≥2,n≥3)为V(Pm×Cn)={wij|i=1,2,…,m;j=1,2,…,n},E(Pm×Cn)={wijwrs|wij,wrs∈V(Pm×Cn),且i=r,νjνs∈E(Cn)或j=s,νiνr∈E(Pm)}.从而得到了图P2×C5的全色数.     

一种ad hoc网络可靠性度量——网络均衡度

通过网络节点的重要性,定义了网络的均衡度,从而用来衡量网络的可靠性.该度量反映了网络的抗毁性、生存性以及有效性,是一种衡量网络可靠性的有效尺度.     

同步时序逻辑电路设计方法改进

用卡诺图化简法求电路激励方程的方法进行改进。     

用坐标的观点看卡诺图

卡诺图(K-Map)是用来描述一个逻辑函数并且可以化简一个逻辑函数的特殊图形。在用卡诺图表示逻辑函数时,有时给出的逻辑函数是与或表达式,我们必须先把逻辑函数化简成最小项表达式形式,然后再填入卡诺图,而且需牢记变量卡诺图的顺序表示,比较繁锁,且易出错。在利用卡诺图法化简时也往往不能快速准确地写出化简后的逻辑函数表达式,利用坐标的观点来看卡诺图,这些问题可以迎刃而解。     

组合数丢番图方程[2x]=[4y]的正解

运用递推序列法，给出组合数丢番图方程[x2]=[y4]的一个初等解法．     

平图的transition多项式的Maple计算

将现有的计算方法改进得到了一种新的计算平图的transition多项式的方法。算法使用了圈置换的方法计算每个transition操作所产生的欧拉圈的数目。利用Maple软件编写出了该算法的程序,通过这个程序,可以实现任意一个平图的transition多项式的计算。     

竞赛图中给定长度的点不相交的圈

对Lichiardopol提出的猜想,给定正整数q≥3,r≥1,在竞赛图T中,若最小出度δ+(T)≥(q-1)r-1,则在T中至少存在r个点不相交的q圈.证明了当r≤3时,这个猜想的正确性.