基于多项式组主项解耦消元法的几何定理机器证明

用多项式组主项解耦消元法，将几何定理的假设条件（多项式组PS）化为主系数不含变元的三角型多项式组DTS，可得到定理命题成立的不含变化的非退化条件，即充分必要或更接近充分必要的非退化条件，由于多项式主系统不含变化，已不存在DTS多项式之间的约化问题，故方法有普遍意义，文中例为西姆松定理的机器证明。     

推动区域科技进步的一项强有力措施--谈实施党政领导科技进步目标责任制实地考核的成效与体会

按照<安徽省地方党政领导科技进步目标责任制考核实施办法>,从2001年起省委组织部、省科技厅已连续两年分别对合肥、芜湖、马鞍山、铜陵、淮南、安庆等市党政领导班子科技进步目标责任制实施情况进行实地抽查考核.实践证明:实施党的领导科技进步目标责任已成为一股强大动力,正有力地推动着区域科技进步和科技人才队伍建设.     

公式H_n=lnn+C+ε_n及在级数中的运用

证明公式Hn =lnn+C+εn,并在级数收敛性判别中运用     

卡尔达诺的构造性几何证明

基于对《大术》第7章关于三项方程变换法则的几何证明的构造性特点分析,总结了卡尔达诺的构造思想,并按照其方法把他针对三项三次方程的证明自然地推广到一般三项方程.由此认为,卡尔达诺在《大术》中的几何证明大多区别于经典的综合证明,而属于以分析为基础的验证.他对涉及高次方程的几何证明一般是通过具体例子来展示一般方法,但是,他针对特殊情形的证明方法具有一般性.另外,在方法论上指出,古证复原方法也适用于历史上存在的几何证明.     

迎接分子机器

人类从不满足于欣赏,而是要创新。犹如化学在发掘天然产物的过程中,创造出了不仅在数量上,而且在性能上也超越天然的合成化合物。人类在学习生物分子机器的过程中,定将会创造出人工分子机器。令人兴奋的是这一创造已经开始。     

建立递阶层次结构中可达阵的又一方法

L．A．Satty在利用可达阵建立递阶层次结构中，是通过二元阵乘法定义，逐步找寻满足A^k-1≤A^k=A^k 1条件的k值，根据A^k建立递阶层次结构。现通过二元件A的有向图直接给出A^k。下面给出这两种方法一致性的证明过程。     

周期函数的导函数的周期问题

本文将证明：在整个实轴上可微分的周期函数与其导函数的周期相同这一推测．     

NP问题的3轮零知识证明系统的存在性

研究NP问题的3轮零知识证明的存在性.O.Goldreich与H.Krawczyk在1996年证明BBP以外的语言不存在（欺骗概率可忽略的）3轮黑箱模拟零知识协议,但是否存在3轮非黑箱模拟零知识证明仍然是一个尚未解决的问题.采用一种新的交互证明模式,在标准的DDH假设下,对图的3着色问题构造了一个3轮零知识证明.由于对零知识性的证明采用了一种特殊的方法,文中的协议实际上是非黑箱模拟意义下的零知识证明,从而证明了在DDH假设下,所有的NP语言都有3轮零知识证明系统.     

机器噪声机理分析与减噪措施

通过对噪声机理分析，提出机器的噪声以噪声源、噪声传播和噪声辐射来分类。以此进行噪声分析，并采取一些措施进行噪声控制，降低噪声。     

KosnioWski-Stong公式的一个简单证明

Kosniowski-Stong公式是近年来带对合协边领域的一个较重要的结果，它来源于Atiyah与Singer在指标定理方面的工作。此公式现有2种证明方法，其中属于带对合协边理论的是一种验算性质的证明。现利用带对合协边理论基本定理直接导出了此公式，由此可看出这2个重要结果是紧密相连的。