关于偏微分方程解的规模,恰当解,形式幂级数解和序的优化

基于Reid标准型,楔子(盒子)理论,吴方法解决了一些偏微分方程组的维数问题 -即解的规模,并给出了形式幂级数解并编制了算法．最重要的是给出了验证恰当解的优序-即Ⅱ-型序。     

射孔弹爆轰波间干扰的有限元分析

通过有限元显式动力分析程序的显式算法,对石油射孔弹顺序起爆后弹间爆轰冲击波干扰的过程进行了2维数值模拟,并考虑了弹体对弹间干扰的影响,对模拟结果进行了讨论;分析了影响高孔密射孔技术的弹间干扰产生的原因,主要是爆轰冲击波的压力场受到不同程度的干扰,致使初始爆轰波形破坏.计算结果与已有的物理现象和规律吻合,说明该计算模型和...     

直邮营销中统计数据挖掘的应用

我们将讨论在直邮营销行业中如何使用数据挖掘方法分析客户历史数据,提高营销的效率。随后我们给出对某公司真实数据的一个分析实例。     

一类初等微分几何定理机器证明的算法与实现

空间曲面上的曲线论是初等微分几何的重要部分．作者提出了一种以外微分运算和向量计算为主要工具,可以进行有关曲面上曲线局部性质的定理机器证明的算法．该算法结合了曲面上的活动标架,曲面上曲线的测地标架和曲线自身的Frenet标架,在Maple 9下得到实现．对20个例子进行的测试表明,由该算法生成的自动证明简短可读．