关于调和级数与Euler常数的数学实验

对调和级数与Euler常数做了两个数学实验，通过计算。发现了它们的变化规律，并给出了一个新的简单的证明。     

市场化服务型政府：政务公开地大踏步迈进

我国行政体制改革从1982年至今，已经经历了五次大的改革，即1982年、1988年、1993年以及2003年的改革。三十年，弹指一挥间，虽然还有一些问题没有完全解决，政府职能转变依然比较滞后，社会管理、公共服务相对薄弱。但同时我们也看到建立“市场化服务型城市”已经初见成效，这预示着中国政务公开地大踏步迈进。     

DH-2催化剂在尿素装置脱氢反应器的应用

简要介绍了塔西南化肥厂尿素原料气脱氢系统工艺,改用国产DH-2催化剂对系统进行的改进及实际应用情况.对国产催化剂应用前后的工艺情况--脱氢效果、反应器压差及床温进行了分析、评价,认为:用该催化剂取代进口催化剂是成功的,完全能满足工艺要求.     

四川近代主要地震

据四川地震方面的资料显示，20世纪以来，四川发生了多次大地震，以下是这些地震的时间、震级、地点（不完全统计）：     

PCF的信息系统模型

带类型的λ－演算是一个逻辑系统，它可以作为程序语言的基础．Ｐｌｏｔｋｉｎ所引进的ＰＣＦ就是这样一类程序语言．Ｐｌｏｔｋｉｎ构造了ＰＣＦ的一个模型，然后讨论与这个模型相关的指称语义和操作语义之间的配合问题──简单配合和完全配合．本文利用Ｓｃｏｔｔ引进的信息系统概念构造ＰＣＦ的另一种模型，并证明与这个模型对应的指称语义与操作语义是完全配合的．     

面向大规模定制的智能产品配置器研究

随着国家经济的高速发展,消费需求趋向多样化和个性化,中国即将进入大规模定制的信息时代.在全球信息化的竞争环境之中,安徽叉车集团公司迫切需要一套能适应大规模定制的产品配置器软件来完全替代当前应用的EMS软件.本文属于国家级科技创新项目"基于产品配置器的跨企业供应链管理系统"的研究成果,主要介绍智能产品配置器的研究过程.     

基于平面直线图链的单调完全集的研究

计算几何中的链方法是平面剖分中一点定位的好方法，本文讨论了从任何平面直线图红正则化手续，进而构造链的单调完全集的方法和过程，这是用链方法进行一点定位的必要准备。     

Steady-state weights solution to affine projection algorithm

A new expression of the weights update equation for the affine projection algorithm (APA) is proposed that improves the convergence rate of an adaptive filter,particularly for highly colored input sign...     

利用二进制数算法寻找5个点的Ramsey图

用二进制数来表示完全图的各种组合,借助计算机编程可从完全图的各种组合中寻找出ramsey图。5个顶点的Ramsey图是最基本的Ramsey图,这种基本方法为寻找更复杂的Ramsey图提供了基础。     

系统

文件拷贝不完全 Windows7系统,从移动硬盘拷贝文件到硬盘中,例如有1000个文件,300MB,在拷贝完成后只有300个文件被拷贝过去,体积为100MB。请问这是什么原因？