数学与文学

龟兔赛跑的故事,是大家很熟悉的.兔子本来跑在前面,但由于骄傲,路上睡了一觉,结果输给了乌龟.作为文学作品来说,当然要大力渲染兔子的骄傲自满,乌龟的坚持不懈.而从数学角度来看,则可抽象为下面的行程图.     

交换子群较小的一类有限p群

研究了阶为p(m(m+1)/2)且交换子群的最大阶为p(m)的有限群,得到了这类特殊的p群的几个性质,给出了满足极大类条件的这类p群的同构分类.     

让学生建构自己的理解——以等比数列前n项和公式推导为例

学生的学习一般都是基于已有的知识和经验,从已有的思维出发,通过发现问题、提出问题、分析问题、解决问题的学习过程,抽象概念、形成公式、产生结论、感悟思想方法,建构知识的意义与价值.笔者认为,要将静态的知识变成学生头脑中“活”的知识.     

阶梯激励合约下代理人行为与合约激励效果

基于委托代理理论研究了阶梯激励合约下的代理人行为,并从委托人角度探讨了最优合约设计的问题。在一般市场需求分布和代理人效用函数下,代理人的效用可能是其努力水平的双峰函数,且存在一个阈值使得当合约绩效奖励超过该阈值时,代理人的努力水平“跳跃式”增加。通过比较阶梯激励合约与其他两类激励合约发现,当代理人是风险厌恶型且代理人的产出完全依赖于其努力水平,委托人总是更偏好阶梯激励合约。     

基于吴方法的几何定理证明的恒等式方法

多年来通常认为以吴方法为代表的几何定理机器证明的坐标法给出的证明不可读,或不是图灵意义下的类人解答.其实,只要对吴氏的算法做不多的改进,即将命题的结论多项式表示为其条件多项式的线性组合,就能获得不依赖于理论、算法和大量计算过程的恒等式明证.这样的恒等式可以转化为其他更简明且更有直观几何意义的点几何形式或向量及其他形式,从而获得多种证明方法.这也证明了点几何恒等式明证方法对等式型几何命题的普遍有效性.     

Generalized Rule Induction Based on Immune Algorithm

A generalized rule induction mechanism, immune algorithm, for knowledge bases is building an inheritance hierarchy of classes based on the content of their knowledge objects. This hierarchy facilitates group-related processing tasks such as answering set queries, discriminating between objects, finding similarities among objects, etc. Building this hierarchy is a difficult task for knowledge engineers. Conceptual induction may be used to automate or assist engineers in the creation of such a classification structure. This paper introduces a new conceptual rule induction method, which addresses the problem of clustering large amounts of structured objects. The conditions under which the method is applicable are discussed.     

构造色等价图的几种新方法

给出了构造伴随等价图的几种新方法，因而也给出了构造色等价图的几种新方法。     

量子理论的发展过程与浅评

量子理论,亦称量子物理学,是20世纪与相对论并肩崛起的又一场物理科学的重大变革,是探索微观粒子运动规律的物理学新理论。到目前为止,它的发展过程历经了旧量子论,量子力学,量子电动力学,量子味动力学和量子色动力学五个阶段。这里作简要介绍如下。     

相似圆锥曲线的一个重要性质

我国数学家路见可先生曾撰文《谈相似形》~[1]探讨相似与位似的关系问题,如果能把两个图形中的一个搬到某个位置与另一图形位似,则称两个图形相似,所以我们可以通过讨论位似来讨论图形的相似性,文[2]-[4]讨论了圆锥曲线相似的判定问题,文[5]-[6]分别讨论了相似椭圆和相似双曲线