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

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

元胞自动机和复杂性研究

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

Г-环的单位元与其算子环的单位元之间的关系

г—环的单位元是其算子环中的元素.本文探讨Г—的单位与其算子环的单位元之间的关系.举例表明存在Г—环(Г_N—环)M,它的左、右算子环均有单位元,而M既无左单位元,又无右单位元.那么在什么条件下,Г—环(Г_N—环)的左、右算子环具有单位元时,其本身必定具有左、右单位元呢?对Г—环和Г_N—环分别探讨了此问题,并给出了了解答此问题的充要条件.     

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

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

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

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

n维氢原子的散射态

研究了n维氢原子的散射态性质．给出了精确的按“k/2π标度”归一化的散射态的精确解波函数及相移表达式，讨论了相移的解析性质，获得了束缚-连续跃迁矩阵元的解析计算公式．普通氢原子(n=3)散射态的有关结果作为特例包含在本文的一般结论之中． 关键词： n维氢原子 散射态 精确解 相移 束缚-连续跃迁矩阵元     

对称法求积分

积分计算是高等数学的基本运算 ,巧妙地利用对称性解积分题 ,常能化难为易 ,简化计算 ,收到事半功倍的效果 ,本文拟就此方法作一探讨。　　一　利用函数奇偶性利用被积函数的奇偶性和积分区间关于原点的对称性简化计算 ,是积分运算中经常使用的方法。例 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 是偶函数 ,所以 …     

直接求线性规划可行基的一种方法

本文给出直接求线性规划问题基可行解的一种简易方法,该方法既避免了引入人工变量,减少存储,一般又能较快地得到一个较好的基可行解.     

资产的拓展、描述与物元统计

本文提出了广义无形资产的概念,并将其内涵界定为无形资产与知识资产.为形象直观地反映企业的资产构成,本文尝试物元量的演化,并对资产进行物元描述与统计.     

Experimental and Theoretical Evidence for the Existence of Broad Forbidden Gaps in the Three—Component Composite

The influence of localized resonance on the properties of band-gaps of the two-dimensional periodic composite are analysed numerically and experimentally by comparing the two-component phononic crystal with the three-component one. The three-component composite which exhibits localized resonance in the elastically soft coating ring is composed of a square array of coated cylinders embedded in an epoxy resin. The coated cylinders consist of a steel inner core and a rubber coating, which has much smaller wave velocity and mass density than the matrixand tile inner material. Tile measured transmission power of tile three-component composite drops to the noise level in a broad ultrasonic frequency interval in contrast to the binary composite, which is in good agreement with the calculation using the finite element method.