论文部分内容阅读
在Reid等人标准型概念的基础上,引进形式可积系统的概念.并给出验证形式可积系统解的完备性的机械化算法,并用此方法证明了各向同性弹性力学方程组的胡海昌解的完备性问题.
验证形式可积系统解的完备性的机械化算法
【摘 要】
：
在Reid等人标准型概念的基础上,引进形式可积系统的概念.并给出验证形式可积系统解的完备性的机械化算法,并用此方法证明了各向同性弹性力学方程组的胡海昌解的完备性问题.
【机 构】
：
大连理工大学数学科学研究所
【出 处】
：
工科数学
【发表日期】
：
2002年1期
【基金项目】
：
中国科学院资助项目，法国国家自然科学基金，高等学校博士学科点专项科研项目
其他文献
很高兴能有这样一个机会在这里和工科数学的同行们一起讨论数学改革的问题.我想讲两方面问题:1当前社会发展的特点和对高等教育的要求我想在谈论教学改革之前先了解一下当前
目的探讨癌基因c-myc的表达与脑震荡性损伤的关系。方法60只实验大鼠随机分为脑震荡组和对照组。用免疫组织化学SABC法观察大鼠脑震荡后不同时间段脑内c-myc蛋白表达的规律。
国际信息安全标准4Jc．x_作兴起于20世纪70年代中期，80年代有了较快的发展，90年代引起了世界各国的普遍关注。很多国际电信和互联网标准化组织都设立了专门工作组从事信息安全标
在以银行为主体的金融产业组织结构的大力发展下,银行业经济绩效的高低直接影响到金融行业的经济稳定,进而影响我国宏观经济。深入分析上市银行经济绩效的形成机理,构建评价
数学教育本质上是一种素质教育.学习数学的目的,不仅仅在于学到一些数学的概念、公式和结论,更重要的是要了解数学的思想方法和精神实质,真正掌握数学这门学科的精髓.只有这
在先秦文学中,既有以表达思辨哲理为主的说理散文,又有以记述军国大事,总结历史经验为主的历史散文,像《晏子春秋》专以一个人的生平事迹为描写对象的著作,在先秦文学中还是
通过阐述空气悬架系统中橡胶衬套的重要性和设计使用现状,总结了该类零件的设计、匹配、试验选择和采用原则;并对该类零件的性能等提出了建议,以期改进悬架系统传统的设计方
目的建立荧光标记复合扩增检测4个STR基因座的方法,应用于法医学亲权鉴定与个人识别.方法用6-FAM标记D3S1754引物,HEX标记D4S2366和D12S375引物,TMR标记D1S549引物,PCR复合扩
信息通信技术供应链安全事关国家安全。ICT供应链安全评价可以发现并尝试解决由拙劣的制造和开发流程所产生的一系列风险问题。本文从战略政策方面系统梳理了美国、欧盟、俄罗斯等信息技术发达国家在ICT供应链安全方面的工作;从标准规范方面,梳理了ISO、NIST以及我国的相关工作,并分析了ICT产品和服务供应链安全风险点。在上述工作基础上,结合我国工作现状,从制度建立、标准制定、工作开展、人才培养等方面提出