一个定理的改进证明

本文指出了文献［1］中一个定理证明中的疏漏,并给出一个改进证法。     

金属材料铣削力及振幅预测模型

为了实现对加工过程中铣削力动态变化的预测，课题组构建了金属材料铣削力及振幅的预测模型。首先通过仿真与试验相结合的方法，探究不同材料在不同主轴转速和轴向切深下的铣削力特性；在确认仿真模型准确的基础上进行铣削力的正交仿真，采用回归分析的方法构建平均铣削力及振幅的预测模型。结果表明：不同材料的平均铣削力受主轴转速和轴向切深的影响不同，但铣削力的振幅大小与主轴转速和轴向切深均呈正相关。课题组所提出的铣削力及振幅预测模型可以为铣削参数的合理选择提供参考。     

什么是里氏震级

里氏震级的由来 里氏震级（Richter magnitude scale）是由两位来自美国加州理工学院的地震学家里克特和古登堡于1935年提出的一种震级标度，是目前国际通用的地震震级标准。它是根据离震中一定距离所观测到的地震波幅度和周期，并且考虑从震源到观测点的地震波衰减，经过一定公式，计算出来的震源处地震的大小。     

这一刻，终止也即开始

大地震动的一瞬，时间在这里终止。 2008年5月12日14时28分，一座钟楼的机械装置被地震波摧毁，指针定格。这里距震中四川省汶川县仅60公里。这里记录的，是汶川地震的时间，也是许多生命终止的时间。在这个瞬间有多少条生命被斩断，现在无法确知。从这个瞬间开始，时针不再移动，生命的损耗却在不断攀升。截至20日，死亡34074人。     

Hartley变换法地震波成像原理

建立了基于Hartly变换的地震波成像理论。理论分析和模拟计算表明,该方法比F-K地震波偏移成像法的计算速度更快,并使所需內存减半,是一个颇具工业价值的地震波成像新体制。