偏微分方程及泛函Hamiltonian结构的机械化研究与应用

来源 :内蒙古工业大学学报:自然科学版 | 被引量 : 0次 | 上传用户:luyong1111
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文是对PDEs与泛函的Hamiltonian结构的计算机代数构造和判别法的初步研究.首先给出了微分与泛函的形式化,以计算机代数系统Mathematica为例说明了计算机上实现变分导数,Euler-Lagrange算子,分部积分及Frechet导数等基本概念的自动推演形式.其次在理论上给出Hamiltonian结构的普适性及Hamilton方程的普遍形式,从而为泛函构造其Hamiltonian方程提供了机械化方法.
其他文献
针对云存储完整性审计公正性问题,提出一种基于联盟区块链的云存储完整性审计模型(CSACB,Cloud Storage Integrity Auditing Model Based on Consortium Blockchains).首先,
自改革开放以来我国不仅在经济上得到了发展,同时在文化教育上也展现出了一个新的篇章,国家大力发展全民教育,有关学前儿童钢琴教育的内容,也不断地被人们所重视。本文就学前
在社会融资规模下降,证券市场监管从严从重,部分上市公司过度融资严重、多元化投资复杂、盈利能力弱化、质押融资比例高的背景下,上市公司信用风险水平上升。为有效管控上市
设X是Banach空间,f:X→X是局部Lipschitz映射,σ是由方程σ(x,t)=-f(σ(x,t))σ(x,0)=x产生的局部流。本文证明了当f=I-F为K-集-压缩向时场时,在局部、对于充分小的正数t0,映射σ(.t0)是集一压缩映射,且σ的孤立不动点的指数等于F在此点的不动
2008年5月23日,GE Fanuc智能设备集团高层,向大家介绍了GE Fanuc智能设备所能为中国用户提供的解决方案和新兴技术以及他们在中国所采取的市场战略。
随着信息技术的发展与普及,全球学术交流模式总体朝着开放获取的趋势发展,信息时代的科学活动需要更多的数据开放和共享。开放数据是公众参与科学、推动社会进步的必要条件。无
南京白局,是一门用城南老南京话说唱的艺术,唱的是明清俗曲和江南民调,它内容丰富,囊括南京的历史风貌、民族来源、迁徙经过、民俗风情、风物特产、生产生活等方面,属于"国家
1病例介绍 患者男,67岁,因声音嘶哑、饮水呛咳半年,加重3d,于2004.2.16日入院,家人代述半年前无明显诱因出现声音嘶哑,饮水时有呛咳,在当地医院做头颅CT示双侧脑室旁多发性腔隙性脑梗
在西方音乐史中,重要的一个源头即希腊文化体系,希腊文化弘扬自然与理性,为西方音乐文明发展进程奠定了坚实基础。1949年,德国存在主义哲学家雅斯贝斯在《历史的起源与目标》
以非稳定期垃圾填埋场的渗滤液为对象,研究了水解/好氧MBR组合工艺对COD和氮污染物的去除效果和规律。在HRT为1~4.7 d、回流比为300%以及进水的COD为400~7600 mg/L、氨氮为247.1~1643.8 mg/L、TN为258.7~1743 mg/L的条件下,对COD、氨氮和TN的去除率分别为80%~88%、>99%和70%~82.2%,说明该组合工艺对渗滤液中的COD和氮污染物