论文部分内容阅读
用微分代数的观点,把标准型算法和矩阵多元多项式的带余除法相结合,获得构造一类微分方程组的通解的新方法,并在标准型算法的基础上给出了力学方程的推理的机械化方法.
构造一类偏微分方程组通解的机械化方法及力学方程的自动推理
【摘 要】
：
用微分代数的观点,把标准型算法和矩阵多元多项式的带余除法相结合,获得构造一类微分方程组的通解的新方法,并在标准型算法的基础上给出了力学方程的推理的机械化方法.
【机 构】
：
大连理工大学数学科学研究所
【出 处】
：
山东科技大学学报：自然科学版
【发表日期】
：
2002年1期
【基金项目】
：
国家自然科学基金，国家重点基础研究发展计划(973计划)
其他文献
一、房地产产权产籍管理工作的基本经验 1.取得各级领导的支持 建立健全产权产籍管理机构是做好产权产籍管理工作的保证。产权产籍管理是一项政策性强、涉及面广,情况复杂
<正>不确定性和风险广泛地存在于房地产开发过程中。本文旨在探讨其产生的原因和对其进行经济处理的方法,以利于房地产开发者进行正确的开发决策,减少决策的盲目性和失误。
、农垦事业发展取得了辉煌成绩，已经站在新的更高的起点上党的十六大以来，农垦在极其艰难的条件下奋力拼搏、开拓前进，创造了辉煌业绩。可以说，这十年是农垦发展最快、农场变化最
首先给出真假值行列式的概念、性质和计算方法,然后利用真假值行列式给出了错排问题的一种有效解法.这种解法比较简单易行,无需对问题进行分类,省却了分类的麻烦.最后给出一
多年来,我国城市土地利用的不公平与低效率有不同程度的反映.进入80年代以来,随着社会生产力的迅速提高和城市经济的突飞猛进,如何更合理,更有效地使用城市土地,最大化地获得
本文对277例住院老年患者发病与死亡的临床资料进行分析,探讨其发病与死亡的时间节律关系及影响因素。结果表明:发病多在白天,其中7～10时发病102例,13～17时发病83例,两者合计18
介绍一种源码公开的实时操作系统μC／OS—Ⅱ及其在ARM7上的移植过程，并以LabVIEW为上位机开发语言，ARM7为下位机的一个简单通信工程为例，分析了在μC／OS-Ⅱ基础上进行嵌入式系统开
<正> 香港的房地产业是香港经济的支柱之一。为确保房地产买卖双方的权益,房地产买卖制度的手续规定的相当复杂。所以一项房地产的买卖,从洽谈到转户,几乎各个环节都少不了律
在钢结构住宅体系中，由于受到结构防火等因素的影响，其应用受到很大的限制。介绍了方钢管混凝土多高层住宅结构体系，对方钢管混凝土结构的受力、设计计算和节点型式等进行了分析