简介:目的:目前基于知识工程的设计过程自动化领域有一个缺陷,即缺乏一个语法、语义、公理完善的过程模型表示技术以便在不同平台之间共享,从而实现互操作。研究期望通过两个关键步骤来实现设计过程自动化。方法:1.对非规范化建模方法进行分析对比(表1);2.分析过程建模技术应该满足的功能,细化成不同的要点对不规范的建模方法进行分析对比,同时分析可以表示不同设计分解特征的规范建模技术。结论:1.明确了设计过程自动化的两个关键步骤:(1)非规范化地获取设计过程中的关键点,(2)将非规范化模型映射为规范化表示;2.分析得出表示不同设计分解特征的规范化表示方法和技术(表2);3.根据分析结果,可以选择最优的非规范化和规范化建模方法,从而支持设计过程自动化。
简介:基于Schmidt正交化过程获得了一种计算逆矩阵的新方法.对于可逆矩阵A,有Q=MA,其中Q是酉矩阵,M是下三角矩阵.本文直接从Schmidt规范正交化出发,获得下三角矩阵M的计算公式,从而求得逆矩阵A-1=QHM=AHMTM.
简介:运用李群对称方法解决Bretherton方程问题,得到方程的对称约化和群不变解,比如幂级数解,最后得出该问题的守恒率.