恒等式证明的概率模型法

本文利用建立概率模型,证明几个重要的恒等式。有些恒等式用常用的分析方法证明是很不易的,但建立了概率模型后,通过求概率或求数学期望,很方便地把恒等式证明出来。     

求解多项式重零点的并行迭代方法

建立了一种至少4阶收敛的求解多项式重零点的并行迭代方法，分析并证明了相应的收敛性定理。     

Hadamard不等式的几种新证明

本利用几何算术不等式，矩阵的分解，行列式的性质给出Hadamard不等式几种新颖，简洁的证明。     

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

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

硒铟镓银多晶材料的合成研究

根据Ag2Se-Ga2Se3赝二元相图,对AgGa1-xInxSe2按同成分点配料,通过机械和温度振荡的方法合成出AgGa1-xInxSe2多晶材料.并对合成的多晶材料进行了XRD测试,与直接法合成的AgGa1-xInxSe多晶材料进行对比.结果表明,改进工艺后合成的AgGa1-xInxSe2多晶材料的图谱与标准PDF卡片相符,表明其是高纯单相的AgGa1-xInxSe2多晶材料.用新方法合成的AgGa1-xInxSe2多晶材料进行单晶生长,获得了完整的AgGa1-xInxSe2单晶体.实验结果表明,机械和温度振荡法是合成高质量AgGa1-xInxSe2多晶材料的一种有效方法.     

医用降温仪的设计与试验研究

介绍应用机械制冷方法设计医用降温仪的过程，并对所研制的降温仪进行试验和分析研究。     

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

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

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

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

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

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