简介:运用李群对称方法解决Bretherton方程问题,得到方程的对称约化和群不变解,比如幂级数解,最后得出该问题的守恒率.
简介:采用密度泛函理论的B3LYP方法、从头算的MP2方法和自洽反应场极化连续模型(PCM),在6-311++G(2d,2p)基组水平上研究了N,N’-二甲基-S-异苯并呋喃在气相和溶液中发生S→N烷基重排反应的机理、溶剂效应和取代基效应.结果表明:该反应通过四元环机理和双位迁移机理生成产物,在气相和溶剂水中,双位迁移途径的能垒均比四元环途径低,反应主要通过双位迁移途径生成产物.在气相,苯环上发生-Cl,-NO2和-OCH3取代时,双位迁移途径的能垒在MP2/6-311++G(2d,2p)水平上比没有取代时分别低4.18,7.61,4.96kJ/mol,反应的取代基效应不明显.而在溶剂水中,苯环上发生-Cl,-NO2和-OCH3取代时,双位迁移途径的能垒在PCM-MP2/6-311++G(2d,2p)水平上比气相时分别低37.73,39.96和37.17kJ/mol,反应的溶剂化效应非常明显.理论研究结果与实验观察结果一致.
简介:目的:目前基于知识工程的设计过程自动化领域有一个缺陷,即缺乏一个语法、语义、公理完善的过程模型表示技术以便在不同平台之间共享,从而实现互操作。研究期望通过两个关键步骤来实现设计过程自动化。方法:1.对非规范化建模方法进行分析对比(表1);2.分析过程建模技术应该满足的功能,细化成不同的要点对不规范的建模方法进行分析对比,同时分析可以表示不同设计分解特征的规范建模技术。结论:1.明确了设计过程自动化的两个关键步骤:(1)非规范化地获取设计过程中的关键点,(2)将非规范化模型映射为规范化表示;2.分析得出表示不同设计分解特征的规范化表示方法和技术(表2);3.根据分析结果,可以选择最优的非规范化和规范化建模方法,从而支持设计过程自动化。
简介:讨论了具有时滞和反馈控制的离散Leslie概周期捕食与被捕食系统.利用差分不等式和通过构造适当的Lyapunov函数,得到了系统持久性和全局吸引的充分条件.利用泛函概周期的壳理论,得到了系统存在唯一全局吸引概周期解的充分条件.