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

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

Banach空间中有限族非扩张映象隐迭代程序的收敛性

在Banach空间的框架下，研究了有限族非扩张映象隐迭代程序的收敛性，其结果不仅改进和发展了最新的有关结果，而且也肯定地回答了Xu提出的一个公开问题。     

IBM－PC机多模块宏汇编程序之间数据通信的实用方法

编写多模块汇编程序时，不同模块之间的数据通信是一个不易处理好的问题。本文通过二个实例介绍了两种简单而又实用的方法，使多模块汇编程序之间的数据通信过程大为简化，并且易于理解、掌握和使用。参３。     

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

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

文化式原型变化之比较

从立体构成形式、基本松量、胸省量、肩斜角、前后高度差、袖斜角、省道变化应用等方面，对新老版本文化式原型进行了对比分析。论证了新版文化式原型的科学性、合理性和实用性。     

关于严格循环权位移的一个问题

给出了一个内射单侧权位移,其权序列空间H~2(β)≠H~∞(β),但对任意φ(z)属于H~∝(β),其部分和序列按算子范数收敛于φ(z).从而否定回答了Shields在文献[1]中的第12问题.     

基于多项式的函数序列一致收敛的性质

针对文中一个关于多项式函数序列一致收效性质的命题，提出了若改变区间条件或对多项式作一定的限制，则谊命题不成立．并得出在一定条件下，多项式序列必定一致收敛于多项式。     

图像处理中的数学问题

主要介绍了图像处理中应用最新和最广的数学方法之一，通过偏微分方程及变分原理和Euler-lagrange方程的应用，可以得到基于曲率的几何图像模型，使图像恢复光滑的边界，并指出了要解决的难点及热点问题．     

一类拟线性耦合方程组的初边值问题

引用带权的Sobolev模和牛顿迭代格式,讨论了拟线性对称双曲抛物耦合方程组的初边值问题,得到了可微解的存在和唯一性定理。     

渐近线性二阶Hamilton系统的非平凡周期解

利用极小极大方法得到了一类渐近线性二阶Hamilton系统的非平凡周期解的存在性结果。