构造广义Sturm序列的递归算法

广义Ｓｔｕｒｍ序列被用于判断一个多项式方程ｆ（ｘ）在多项式ｈ（ｘ）〉０条件下的实根数。为了构造这样的序列，原先的方法基本上就是辗转相除法。对于带符号系数的多项式，大量的实例表明其效率甚低，无法处理较复杂的问题，代之以一个新的递归算法，成功地避免了由辗转相除引起的高复杂度的计算。     

形塑自然面相的三个层面

当绘画不是图像呈现的唯一方式的时候,绘画仍然以饱满的生命力存在于高等艺术的范畴之中,这个现象说明"形塑自然面相"的具体实施是需要情感的介入的.     

自动发现不等式型定理的一个完备算法

利用多项式的判别式序列、WR算法、吴消元法及部分的柱形代数分解算法,给出了能自动发现不等式的一个实用算法. 该算法无须事先对结果做任何形式的猜测,而能全自动地发现新不等式. 该算法对一大类不等式型定理是完备的,而且可用于几何约束问题的实解分类. 在Maple下,据之编写的程序DISCOVERER已发现了许多不同背景的不等式型定理.     

多项式的完全判别系统

符号（文字）系数多项式的１个完全判别系统是由这些系数构成的１组显式表达式，这些表达式足够判定该项式的实根和虚根的数目及相应的重数，这样１个关于多项式根的分类的显式判准，对于五次及五次以上多项式迄今无人给出，这方面有效工具的缺乏，严重地妨碍了Ｔａｒｓｋｉ的判定算法及近期的一些机器证明方法的计算机实现，为了弥补这一缺陷，提出了对任意次数的多项式建立完全判别系统的１个通用算法，这一结果在各个不同的领域会     

Al-Cu-Mn合金铸锭均匀化工艺及组织性能分析

采用光学金相显微镜、扫描电子显微镜及能谱分析、电导率等检测手段,对铸态和均匀化态的2219合金微观组织、第二相分布及电导率进行研究分析。结果表明,2219合金铸态组织存在着枝晶偏析,在晶界上聚集大量的Al₂Cu相,并有长条状的脆性相Al₇Cu₂（Fe、Mn）穿插在晶界上。经525 ℃均匀化处理22 h后,晶界上Al₂Cu相回溶到基体中,枝晶网络被破坏,枝晶偏析消除,Cu元素从晶界到晶内的分布趋于平稳;处于亚稳态的溶质原子从过饱和固溶体中析出,在晶内呈细小、弥散地分布,基体溶质原子固溶度降低,电子散射作用减弱,电导率提高10 %IACS。     

超高强7055铝合金均匀化处理制度研究

对7055铝合金铸锭进行不同均匀化处理制度的模拟分析,得出最优均匀化处理参数,分析不同均匀化处理制度后7055铝合金铸锭力学性能、硬度、金相组织和电导率。研究结果表明：经过260 ℃×1 h+430 ℃×2 h+470 ℃×15 h均匀化处理制度后,7055铝合金铸锭的抗拉强度、屈服强度和硬度较低,伸长率较高,有利于后续的塑性成形加工,使得加工后合金内应力消除更彻底,组织更均匀;边部、中部组织中未溶第二相绝大部分回溶于基体,心部组织存在少量第二相,回溶更加充分,均匀化效果良好,与模拟分析结果相吻合;电导率更小,电阻率更大,即过饱和程度相对更大,均匀化效果更明显。