机械化方法相关论文
该文基于数学机械化方法和计算机符号处理技术，对平面三环复杂机构的位置分析进行了符号求解，该法成功地将一晨线性多项式方程化简为......
该文将数学机械化方法应用于偏微分方程领域,主要讨论了求微分方程解析解的机械化方法及其在计算机代数系统上的实现.......
该文主要工作包括两个部分,一方面归纳分析了近年来在线性系统代数理论研究中取得的重要进展,主要是控制系统行为理论;另一方面,讨......
本文整体概括了应用古典对称求解偏微分方程的过程以及与其部分相关的Lie代数知识，并介绍了有限维Lie代数的Killing型在判断Lie代数......
1.菌丝的培养接种后的菌袋立即放入18℃～20℃的菌丝培养室内,接种后10～15天菌丝可伸入培养基内20～25厘米,一般需培养25～30天长满菌袋。......
<正>引言向量法解题平易简捷,但也有一定的技巧,且对几何图形有一定的依赖性.当遇到一个构图更复杂的几何问题时,用向量解题往往需......
在建立不等式时，将判别式法、极值法与和机械化法做比较，实例表明机械化法之优越性．...
用微分代数的观点,把标准型算法和矩阵多元多项式的带余除法相结合,获得构造一类微分方程组的通解的新方法,并在标准型算法的基础......
【正】 一、引言 本世纪中国数学发展的第三代人吴文俊教授指出:“我们必须吸收渊源于西方的公理化方法的长处,也应珍视我国古代的......
<正> 顾名思义,“人工智能”就是用人工的方法产生智能:制造出具有智能的机器、培育出具有智能的产品、驯教出具有智能的生物……......
<正> 在全国向四个现代化进军的时刻,究竟什么是数学的现代化,怎样才能实现数学的现代化,是每个数学工作者不能不关心的问题。为了......
