基于项重写技术的机器发现逻辑

机器学习与机器发现的研究需要借鉴机器定理证明技术的成果和现代科学哲学的方法论.遵循这两个观点,本文扩展了基于项重写规则法的机器定理证明技术,使之能解决某些有关机器发现的问题.在此基础上给出了Lakatos 发现方法论的一个形式系统,并建立了实现Lakatos方法的算法.     

元胞自动机和复杂性研究

元胞自动机是建立复杂系统的离散模型，深入了解其动力学相互作用与时空演化过程的实验数学方法，它开创了基础科学研究与复杂性探索的新途径，是一类获得迅速发展的新的并行计算机，又是计算机、信息和智能应用高科技的热点之一。     

关于正交矩阵的一种求法

我们知道,实对称阵A的属于不同特征根的特征向量彼此正交,所以,求正交矩阵T,使得T~(-1)AT具有对角形式的关键是对A的属于某一重根λ的特征向量正交化,所用到的是我们熟知的Schmidt正交化法。在此,笔者给出一     

关于不完全双二次非协调板元的误差估计

本文在[1,2]的基础上,对不完全双二次板元作了进一步的讨论,不仅得到了最优的L~2—误差估计,改进了[1]的相应结果,而且利用“辅助元技巧”并结合正则Green函数法,得到了拟最优的L~∞—误差估计.     

位置参数模型变点问题的非参数检验

本文引入Fisher-Yates提出的计分函数和Van der Waerden提出的计分函数,对只有一个变点的位置参数模型的假设检验问题分别给出了四个检验统计量.利用Monte-Carlo随机模拟的方法,求出了检验的渐近临界值,并且对本文提出的检验,以及Pettitt在文[1] 中提出的检验,Schechtman和Wolfe在文[2]中提出的检验的势进行了比较。     

四元数射影n-空间HPn的最小CW-复形伦型与它的法线数量特征

利用Morse理论给出四元数射影n-空间HP^n的CW-复形伦型的另个证明，并给出它的最小性与法线的一个数量特征。     

广义酉矩阵与广义Hermite矩阵

给出了广义酉矩阵与广义(斜)Hermite矩阵的概念，研究了它们的性质及其与酉阵、共轭辛阵、Hermite阵、Hamilton及广义逆矩阵之间的联系；取得了许多新的结果；推广了酉矩阵、Hermite阵与斜Hermite阵间的相应结果，特别将正交阵的广义Cayley分解推广到了广义酉矩阵上；将各类酉矩阵、Hermite矩阵及广义逆矩阵统一了起来．     

对称法求积分

积分计算是高等数学的基本运算 ,巧妙地利用对称性解积分题 ,常能化难为易 ,简化计算 ,收到事半功倍的效果 ,本文拟就此方法作一探讨。　　一　利用函数奇偶性利用被积函数的奇偶性和积分区间关于原点的对称性简化计算 ,是积分运算中经常使用的方法。例 1　求积分 I =∫1- 12 x2 +xcosx1 +1 -x2 dx解　本题中虽然积分区间关于原点对称 ,但被积函数不具奇偶性 ,但通过拆项 ,可利用奇偶性来简化积分运算。原积分 I =∫1- 12 x21 +1 -x2 dx +∫1- 1xcosx1 +1 -x2 dx △ I1+I2 .因为 xcosx1 +1 -x2 是奇函数 ,而 2 x21 +1 -x2 是偶函数 ,所以 …     

应用无衍射贝塞尔光束的固体线膨胀系数测量系统

测量固体线膨胀系数是工程设计中的一项重要工作。这套非接触固体线膨胀系数测量系统利用激光三角法进行了设计。通过采用线阵CCD作为信号传感器来实现自动化测量。通过采用无衍射贝塞尔光束来提高测量精度和增大测量范围。