恒等式证明的概率模型法

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

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

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

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

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

基于网络和数据库技术的远程服务

通过网络和数据库的应用研究,建立故障库,解决远程设备故障,并介绍了远程维修服务的应用实例.     

下一代互联网的精彩

互联网从诞生到现在,经过了近十年的跨越式发展,已经深入到我们生活的方方面面,网络就象“衣、食、住、行”一样,成为我们日常生活中不可或缺的重要组成部分。对很多人而言,已经难以想象离开互连网将如何生存,这个充满魔力的互连网轻而易举地将上亿人带入了—个全新的数字化时代,在现实存在的社会之外,营造了另一个虚拟社会——网络社会。     

聋人工学院远程视频会议系统

聋人工学院远程视频会议系统是专用于与美国国家聋人工学院和日本筑波短期大学进行实时通信。系统采用ISDN技术作为多媒体信息服务的基础，本文着重介绍了该系统的制定方案及其特点。     

微机与程控交换机实现远程多门电话实时计费

系统地论述了利用DMS10 0 /2 0 0程控交换机的功能端子itopsdev ,在微机上实现远程多门电话实时计费的方法 .并给出串行通讯中断驱动方式下利用汇编语言、C语言实现该系统的具体算法和框图 .最后还总结了利用混和语言设计串口中断方式下的编程方法     

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

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

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

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

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

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