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

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

Fuzzy集的基数

关于Fuzzy集的基数，[1]中曾对有限支集的Fuzzy集以及极苛刻条件下的无限Fuzzy集给出过一种定义。但是，正如本文将要指出的那样，该定义是不合理的。本文将从研究Fuzzy映射入手，给出Fuzzy集基数的一般性定义。基于这一定义，不但得到有关基数的大部分结论，而且有其自身的特殊性。     

狭义相对论的复平面表示

本文根据X—O—ict复平面上坐标系旋转和洛伦兹变换的等价性,提出和利用坐标系旋转下的“投影关系”,对狭义相对论的时空理论作出较为直观的表述,进而对著名的时钟佯谬问题给出一种简明的解释。     

浅谈新型的师生关系

三种新型的师生关系一是平等民主的关系.有利于师生双向的思想交流,发挥学生的主观能动性.二是良师益友的关系.有利于陶冶学生的情操,发展学生的情感.三是全面教育的关系.有利于推行素质教育,全面发展学生的能力.     

光路一一对应的红外编译码遥控系统

由于红外线兼有电磁波和光的特性，在红外光的发射、接收系统中采用编码、译码集成电路可大大提高其抗干扰性。但在实际应用上，由于红外管的发射有－３０°的立体角，在特定场合，会造成光的干扰，从而使系统误运行。利用光路的一一对应关系，较好地解决了这一难题。     

实空间上的闭子集与相似包含关系

Paul Frdos曾提出如下关于实直线R的问题：是否对R的每一个无限子集X，都存在一个具有正测度（Lebesgue测度）的闭子集E，使得E的任何子集都不相似于X（E的任何子集都不与X线性同胚）。1984年，Falconer证明了如下结论：对于一个满足limxn=0和linxn 1/xn＝1的单调递减的正实数列{xn}，Erdos问题有一个部分肯定的解答。本文将证明：上述关于数列的条件可以替换为更一般的（弱一些的）条件。最后把本文的相应结论推广到有限维欧氏空间R^n中。     

一类特殊矩阵正交化的方法

关系R的矩M_R,R的逆关系R~-1的矩阵M_R~-1”,M_R和M_R~-1互为转置矩阵;当R满足了一定的条件时M_R×M_R~-1为单位矩阵。据此,给出了一类特殊矩阵正交化的思路和方法。     

平凡的R-关系对两类半群的刻划

运用“平凡的R-关系”这一条件,刻划了两类周期半群,给出了它们的性质特征。     

大学科技园发展中的几个问题

参照国外一些先进国家和地区创办大学科技园的经验和做法,我国在国家层而上正在积极推动大学科技园的建设。为此国家科技部和教育部组织专家充分地进行论证与考察,在2001年确定了22个大学科技园,2002年     

产业集群发展形态与转型升级机理研究

当前,产业集群已经成为世界性的经济现象,集群的发展程度和效益决定着区域竞争力的高低。关于产业集群的理论研究,国际上有两位较有影响的学者,一位是19世纪著名经济学家阿尔弗雷德·马歇尔,他在其《经济学原理》著作中研究了特定区域专业化产业集中的现象,他把劳动市场共享、专业化附属行业的创造和技术外溢看作是产业集中的三个关键性因素。另一位是美国经济学家波特,1990年,波特在《国家竞争优势》一书中正式提出产业集群概念,并用产业集群的方法分析一个国家或地区的竞争优势,他认为产业的竞争是获得国家竞争优势的关键,而产业的发展往…