关于无限方阵的注记

文章对文献[1]作了若干补充,并修正了其中一个定理的证明。     

基于学习的GSAT算法

在GSAT算法的基础上，引进学习的概念，设计了一种新的SAT求解算法，用若干DIMAC的测试实例进行了仿真实验研究，比较了基于学习的GSAT算法与著名的Random Walk GSAT算法，结果表明两种算法对于随机SAT的实例比较有效，但对于Real-World SAT的实例性能较差。     

液体仓库污染评估模型

建立了两个数学模型，利用仓库周围样品所测得的数据来评价液体仓库对土壤的污染情况，两个模型抛开传统的复杂三微分方程，分别从水平切面和坚直剖面入手，建立二维微分方程，并解出可以用代数方法确定参数的解析解，同时，给出获取确定参数所需数据的抽样方法及数据的类型和数据量。     

改进遗传交叉算子求解TSP问题

遗传算法中的交叉算子最根本的作用就是要使子代继承父代的优秀基因。本文着重考虑了用遗传算法求解TSP问题中遇到的交叉算子，根据TSP问题的特点，构造出一种能很好继承父代优秀基因的交叉算子；实例计算表明该算法收敛速度快，从而可以进一步改善遗传算法的性能。     

一种新的物体连续切片图象的截面三维重建

描述了一种新的截面三维重建方法,它是在截面重建法的基础上,引入仿射变换作为旋转、投影变换,利用线性插值消隐填充算法,生成物体的可视侧面,直接利用重建图象的深度信息计算可视侧面的灰度,在显示平面获得物体可视侧面的三维结构及形状信息.并可通过旋转投影变换获得物体任一可视侧面的重建显示图象.     

内射余模的Baer准则

本文借助余循环余模，研究了内射余模的Ｂａｅｒ差别准则，统一了右余理想和余循环余模，并给出了余半单余代数的一个同调刻划。     

区域性地下水系统动态识别方法及其应用（Ⅱ）

本文承接上文［１］将区域性地下水系统动态识别方法应用于阳泉市深层溶水系统的参数识别，与以往人们常用的静态识别方法相比较证明，动态识别法比静态识别法具有更高的精确度，所得参数更符合实际。     

生化主副修制专业办学探究

文山师专是1984年4月经云南省人民政府批准正式成立,生化系也由此应运而生,并于1985年秋率先试行招收化生主副修制专业,学生至今已招收六届学生。目前已毕业三届,在校三届。现就这几年的办学作一小结,特别对出现的一些问题作一些探究,旨在使化生主副修制能逐步趋于完     

可资借鉴的美国高校办学理念--访美、泰部分高校闻见及思考

作为地方高等师范专科学校,与国外的校际交流一直是我校拓展世界视野进程的“瓶颈”。要借鉴国内外高校先进的办学经验和理念,进一步发展地方高等教育,推进教育、教学改革和实现学校跨越式发展,我们必须在“走出去”中学习、比较,在“带回来”中借鉴、求证。     

板块运动的纬向重力模式

按照“纬向正常密度假说”的观点提出了“纬向密度异常”和“纬向重力”的概念,进而提出了板块运动的“纬向重力模式”,按照这一模式,纬向重力总是把地球物质从“纬向密度异常高”的地区推向、纬向密度异常低！”的地区,一方面,,纬向重力驱动岩石圈沿水平方向运动,另一方面,因纬向重力驱动软流圈物质沿水平方向运动而使得岩石圈沿垂直方向发生,同密度异常高地区的岩石圈会因软流圈物质的流失而下沉,纬向密度异常低地区的岩石圈会因为软流圈物质的补充而上升。