工艺规划系统中动态模式分类的研究

提出了工艺规划系统中动态模式分类（pattern classification）的概念，介绍了模式分类判定树和动态模式分类的基本原理，并对动态模式分类的聚类质量标准进行了研究。动态模式分类是基于实例归纳（case based reasoning,CBR)的自动分类过程，具有自学习和自完善的功能。     

略论非帕斯卡概率逻辑的知识创新意义

非帕斯卡概率逻辑的知识创新意义在于：（1）借助这种逻辑，我们更有可能在科学理论创新过程中探索出更为有效的解决科学实际问题的方式；（2）这种逻辑就是一种知识增长的逻辑；（3）它揭示的不断逼近的过程就是科学理论创新的过程。     

数学课中结课艺术的研究

选择恰当的结课方式,诱发学生的学习兴趣与学习动机,激活学生的思维,提高课堂效率。     

S桶空间的几个性质(Ⅱ)

讨论了S桶空间在归纳限和稠密子空间方面的一些基本性质．     

注重科学方法教育 提高学生科学素质

科学方法是人们在认识和改造实现世界的实践活动中总结出来的正确的思维方式和行为方式，在科学研究中，科学方法被视作产生知识的“知识”。学生掌握了科学的方法就能更快地获取科学知识，更透彻地理解科学规律。科学方法作为思维和行为方式，蕴含着极大的智力价值，学生一旦将科学方法内化为自己的思维和行为方式，其智力水平会大大提高。因此，化学教育实施素质教育实施素质教育应注重科学方法的教育。科学方法有非常丰富的内涵，这里主要谈如何指导学生运用探索法、归纳总结法、联想比较法、科学观察法和科学记忆法进行学习，切切实实提高学生的科学素质。     

关于双重数学归纳法

本文首先指出使用双重数学归纳法的一些技巧,然后提出一种“对和归纳”的新方法,文章对所举诸例的证明,皆比引文中相应的证明大为简捷.     

基于广义归纳逻辑因果模型的知识发现与算法实现

以语言场、广义细胞自动机和广义归纳逻辑因果模型为理论依据，分析了广义因果联系类知识的发现机理，给出了因果联系类知识发现的实现算法。该算法为解决具有随机不确定和模糊不确定性特征的因果联系类知识的发现提供了行之有效的方法。通过算法的运行实例，验证和说明了算法的正确性和有效性。     

为归纳辩护

两个半世纪以来，“归纳问题”始终困扰着逻辑学界，乃至整个哲学界，多少人“前赴后继”去攻克它，它却“磨炼”得更坚固、顽强。这种局面实在耐人寻味，为什么找不出圆满的解决办法呢？我认为，唯一的解释是“归纳问题”的提出本身是不合理的，它不能算是一个真正的问题，因为但凡真正的问题在理论上说都应该是有解的。本文将以此为出发点，用反证法论证休谟对归纳的怀疑在理论上是不能成立的，在实践中也是站不住脚的，从而为归纳进行辩护。     

A QUANTIFIER-ELIMINATION BASED HEURISTIC FOR AUTOMATICALLY GENERATING INDUCTIVE ASSERTIONS FOR PROGRAMS

A method using quantifier-elimination is proposed for automatically generating programinvariants/inductive assertions.Given a program,inductive assertions,hypothesized as parameterizedformulas in a theory,are associated with program locations.Parameters in inductive assertions arediscovered by generating constraints on parameters by ensuring that an inductive assertion is indeedpreserved by all execution paths leading to the associated location of the program.The method can beused to discover loop invariants-properties of variables that remain invariant at the entry of a loop.Theparameterized formula can be successively refined by considering execution paths one by one;heuristicscan be developed for determining the order in which the paths are considered.Initialization of programvariables as well as the precondition and postcondition,if available,can also be used to further refinethe hypothesized invariant.The method does not depend on the availability of the precondition andpostcondition of a program.Constraints on parameters generated in this way are solved for possiblevalues of parameters.If no solution is possible,this means that an invariant of the hypothesizedform is not likely to exist for the loop under the assumptions/approximations made to generate theassociated verification condition.Otherwise,if the parametric constraints are solvable,then undercertain conditions on methods for generating these constraints,the strongest possible invariant of thehypothesized form can be generated from most general solutions of the parametric constraints.Theapproach is illustrated using the logical languages of conjunction of polynomial equations as well asPresburger arithmetic for expressing assertions.