简介:目的:目前基于知识工程的设计过程自动化领域有一个缺陷,即缺乏一个语法、语义、公理完善的过程模型表示技术以便在不同平台之间共享,从而实现互操作。研究期望通过两个关键步骤来实现设计过程自动化。方法:1.对非规范化建模方法进行分析对比(表1);2.分析过程建模技术应该满足的功能,细化成不同的要点对不规范的建模方法进行分析对比,同时分析可以表示不同设计分解特征的规范建模技术。结论:1.明确了设计过程自动化的两个关键步骤:(1)非规范化地获取设计过程中的关键点,(2)将非规范化模型映射为规范化表示;2.分析得出表示不同设计分解特征的规范化表示方法和技术(表2);3.根据分析结果,可以选择最优的非规范化和规范化建模方法,从而支持设计过程自动化。
简介:证明了在场强为零势不为零的复连通区域,规范势沿粒子运动闭合路径的不可积积分是Berry几何相位。说明了由规范势构成的不可积相位因子中一部分是几何Berry相因子,并以电磁场为例说明规范场和相位因子的关系。因此不可积Berry相因子最完整地描述了与规范场有关的物理现象
简介:目的:1.对现有的CO_2重整系统中铁系催化剂进行改进以期获得更高的产率和产物选择性;2.实现反应体系中催化剂的高效回收以延长反应体系的可持续性。创新点:1.开发复合铁、镍、铜催化剂用于水煤气变换反应,获得了更高的产物选择性;2.提高了CO_2重整体系在常压条件下液态烃类的产率。方法:1.由核心沉淀法制得复合铁/氧化铝催化剂;2.在固定床反应器中进行CO_2重整反应。结论:1.干、湿条件下的CO_2重整过程产生相同数量的CO;当温度高于500°C时,CO的产率达到饱和。2.采用镍作为铁催化剂助剂时,CO的选择性从85%降低到76%,但是产物中可检出9%的甲烷。3.采用铜作为铁催化剂助剂时,尽管CO_2的转化率降低了一半,然而CO的选择性提高到了95%。