基于学习的GSAT算法

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

液体仓库污染评估模型

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

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

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

内射余模的Baer准则

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

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

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

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

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

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

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

板块运动的纬向重力模式

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

山西省东亚飞蝗发生的灰色动态预测及其周期分析

采用灰色系统理论与方法,建立山西省东亚飞蝗的灰色动态预测模型。并通过残差周期分析提高了模型的精度,对未来10年山西省东亚飞蝗的发生情况做出预测,为其防治提供可靠的科学依据。图2,表7,参7。     

基于网格模型的光滑B样条曲面重建算法

提出并实现了一种基于网格模型的光滑B样条曲面重建方法.首先研究并实现了网格模型上特征线的定义和优化方法,在此基础上提供了多种交互式编辑工具,使用户可以方便地构建出符合原始设计意图的四边界区域拓扑模型;最后在综合考虑拟合精度、光顺性和连续性等条件下实现了B样条曲面的光滑拟合.实验证明算法的效率和曲面拟合质量都能较好地满足反求工程的要求.