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

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

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

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

图的一种加权邻接矩阵谱半径和能量的界

图G的一种加权邻接矩阵记为A_db(G)=(a^db_ij)_n×n,若顶点v_i和顶点v_j相邻,则$a_{i j}^{d b}=\frac{d_{i}+d_{j}}{d_{i} d_{j}}$, 反之a^db_ij=0.给出图G的加权谱半径的上下界,并在此基础上给出加权谱半径的Nordhaus-Gaddum-type关系.得到了图G的加权能量的几个上下界,并在此基础上给出加权能量的Nordhaus-Gaddum-type关系.     

高分子力学中的Valanis－Landel假说

根据经验公式的建立原则和橡胶的各向同性性能,讨论了Ｖａｌａｎｉｓ－Ｌａｎｄｅｌ假说中关于“任何一种应变类型的应力一应变关系,可从单一的纯剪试验推导出来”这一重要结论,并证明了结论的正确性,还研究了结论的应用。     

ORACLE SQL* FORMS主从块设计

介绍在ＯＲＡＣＬＥＳＱＬ＊ＦＯＲＭＳ中快捷且灵活地建立主从关系的一种方法．     

面向对象的二叉树装配模型研究

文章研究可装配性设计中的产品装配建模,提出一种以装配体为对象并能充分反映装配过程特点的二叉树装配模型。应用面向对象技术,建立了相应的数据结构及应用框架,为可装配性评价奠定了基础,也可做为通用的产品装配模型应用于ＣＡＰＰ等领域。     

Syndrome series of one point algebraic-geometric codes and majority voting scheme

A type of recurring relations on syndrome series is presnted. After some important theorems are established, an algorithm for computing a minimal polynomial set is presented. Finally an algorithm for determining the unknown syndromes with incorporating α majority scheme is presented.     

模糊灰关联模式识别方法及其应用

首先建立了灰关联分析的新的理论模型,然后将其与模糊集理论结合起来,提出了一种模糊灰关联模式识别方法．通过应用于场地土类别的评定,从而说明了本文方法的有效性     

我的几点意见——评论“关于狭义相对论的本质”一文

评论了“关于狭义相对论的本质”一文,实际上仍使用了狭义相对论的两个基本假设。     

高硅沸石中二元物系表面扩散系数的预测

用动力学蒙特卡罗（Kinetic Monte Carlo，KMC）方法模拟客体分子单组分及双组分混合物在高硅沸石（Silicalite）分子筛中的扩散，与分子动力学（Molecular Dynamics，MD）方法的模拟结果及Maxwell-Stefan（M-S）方程计算对比说明KMC方法的合理性，而由真实的体系性质获得正确的跳跃频率值及合适的晶格模型是获得正确计算结果的关键，且一旦由单组分研究获得正确的跳跃频率值及晶格模型，便可直接移用至多组分体系的KMC模拟中。