SQL_*Menu的构成及其工作评价

本文分析了ＯＲＡＣＬＥ上的一个用户菜单动态生成与维护工具ＳＱＬ＊ＭｅｎｕＶ４．１软件的数据结构、程序组织、基本工作过程与特性，提出了解决其使用过程常见问题的一些方法或途径。     

计算机游戏中地图路径发现算法的优化与实现

在概述地图路径发现问题的基础上,给出了一个平滑A＊算法所得路径的方法．为了达到平滑路径的目的,先采用了最直接的路线,忽略了转弯,然后用一个预平滑过程来处理路径,在A＊算法找到路径后再进行处理．讨论了如何改进A＊算法的启发函数．给出一个引导型A＊算法,主要的改变是将结点空间从二维扩展到三维,使搜索过程能曲线转弯,避免了碰撞障碍物,实现了“合法”转弯．     

周期性微扰的严格表述

本文推导了一般情况下周期性微扰的跃迁几率的严格公式,提出了一些教材中存在的问题并对此进行了分析讨论.     

利用σ~*-共振峰位决定分子键长

近边X射线吸收精细结构(NEXAFS)是近年来迅速发展的表面结构分析手段,特别对于分子吸附系统NEXAFS能提供分子取向和键长等信息,与实验研究状况相比较,分子NEXAFS谱的计算显得很不够。本文作者首次利用原子集团多重散射方法(MSC)研究了甲酸在Cu(100)表面催化分解的分子结构以及乙炔、乙烯在Cu表面的吸附结构。分子以     

群Z*n的构造

本文证明群Zn^*是它的一些子群的直积，同时给出直积分解的方法与例子。     

续论Lebesgue-Stieltjes 测度

以单调递增左连续有界函数f给出了Lebesgue—Stieltjes测度的概念，进一步讨论了由它产生的若干相应的性质。     

非经典形式系统Z和ZT之比较研究

张金成同志先后建立了两个非经典的形式系统Ｚ和ＺＴ（见①，②），他本人对两个系统的辩证含义及其间的区别和联系己作了扼要的说明。本文通过该两系统在刻划辩证法规律方面和语义模型上的异同比较研究，对辩证逻辑形式化研究中的疑难和发展前景提出了自己的看法。