BCK—代数的原子与极大元

本文给出了BCK一代数X存在非零原子及存在极大元的充要条件，同时利用子代数aX及高截段H（a)，给出了有限BCK-代数的乘法表的结构。     

面向对象的MIS重构

在MIS(Management Information System)的开发中,软件重用是提高开发效率的一条重要途径。本文通过引入对象的表示、变换等,提出了软件重构的概念和方法,它是对软件重用的重要扩充。     

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

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

双参数量子代数SUqs（1,1）的表示：正离散序列

本文通过构造双参数量子群ＳＵｑｓ（１，１）生成元的ｑｓ－Ｂｏｓｏｎ实现，给出了ＳＵｑｓ（１，１）的正离散序列表示。     

城市规划辅助审批系统中的相似度研究

城市规划的审批是一件难于量化的工作，它受政治经济等多方面因素影响，是城市规划领域关注的一大焦点．本文尝试将CBR技术用于城市规划辅助审批，让政府的审批依据达到历史与现实的统一．实现CBR的一个关键是相似度的设计，本文结合城市规划辅助审批领域的特点，设计了可行的方案，并应用于实际的办公系统中．     

su(1,1)代数的无限维Schwinger实现

运用su(1,1)代数的无限维Bose和Fermi算符实现,得到对称和反对称无限维矩阵的行列式.     

论社会主义政治文明的价值视野

政治文明中的价值理念是支撑制度文明和机构运行的深层次要素，制度创新首先应从价值理念的创新开始。不同文明之间价值资源的共享与相互借鉴，已成为当今世界政治发展的一个主流趋势。社会主义政治文明建设必须以人本理念为核心价值，吸收借鉴人类一切政治文明成果，在实践中不断推进体制创新。     

利用量子么正变换引起拓扑项的可移性求微扰项对Berry相因子的贡献

利用量子么正变换引起拓扑项的可移性，求出了一维无限深运动边界方势阱在压缩变换中出现的微扰项在一级近似下对Ｂｅｒｒｙ相因子的贡献。