简介:目的:目前基于知识工程的设计过程自动化领域有一个缺陷,即缺乏一个语法、语义、公理完善的过程模型表示技术以便在不同平台之间共享,从而实现互操作。研究期望通过两个关键步骤来实现设计过程自动化。方法:1.对非规范化建模方法进行分析对比(表1);2.分析过程建模技术应该满足的功能,细化成不同的要点对不规范的建模方法进行分析对比,同时分析可以表示不同设计分解特征的规范建模技术。结论:1.明确了设计过程自动化的两个关键步骤:(1)非规范化地获取设计过程中的关键点,(2)将非规范化模型映射为规范化表示;2.分析得出表示不同设计分解特征的规范化表示方法和技术(表2);3.根据分析结果,可以选择最优的非规范化和规范化建模方法,从而支持设计过程自动化。
简介:数值模拟作为科学研究基础的计算数学越来越受到重视。一方面计算数学的应用领域越来越广泛,与其他学科的结合也越来越紧密、越来越深人;另一方面这些应用又反过来为计算数学提出了新的问题,促进了计算数学学科的发展。譬如在材料科学研究中的应用,其微观研究基于Schrodinger方程与分子动力学数值模拟,宏观复合材料模拟又涉及到有限元计算等计算方法的研究进展,同时也促进了多尺度计算研究与并行算法及并行机研制的发展。反问题数值模拟是另一个典型,其应用渗透到人们日常生活及经济活动的方方面面,同时反过来又对非适定问题的理论及数值模拟方法研究提出了新的挑战。计算数学发展的另一个特点是与数学其他学科的界限愈来愈模糊,共同关心的问题越来越多也越来越深刻。Lie群、Lie代数与微分复形等概念与方法进入计算数学就说明了此问题。