简介:目的:目前基于知识工程的设计过程自动化领域有一个缺陷,即缺乏一个语法、语义、公理完善的过程模型表示技术以便在不同平台之间共享,从而实现互操作。研究期望通过两个关键步骤来实现设计过程自动化。方法:1.对非规范化建模方法进行分析对比(表1);2.分析过程建模技术应该满足的功能,细化成不同的要点对不规范的建模方法进行分析对比,同时分析可以表示不同设计分解特征的规范建模技术。结论:1.明确了设计过程自动化的两个关键步骤:(1)非规范化地获取设计过程中的关键点,(2)将非规范化模型映射为规范化表示;2.分析得出表示不同设计分解特征的规范化表示方法和技术(表2);3.根据分析结果,可以选择最优的非规范化和规范化建模方法,从而支持设计过程自动化。
简介:99年成都市中考数学B卷是选拔性质的考题,具有较高的区分度,有一定难度,尤其是第四、五两题难度较大.但是只要认真分析这些题目,会感到并不是我们想象的那么困难,试题不偏、不怪,有的还很基础。只要我们注意灵活运用已学过的基础知识,便会较容易得出解答来,如第四题是一道几何证明题,采用一般的证法,除需要添加四条辅助线外,证明过程也较复杂,似乎是一道几何难题.如果我们灵活运用基础知识,并把证明过程优化一下,就只需添加两条辅助线,证明两对直角三角形相似即可.如果我们进一步把证直角三角形相似得比例线段的问题,用三角函数有关的知识去解决,具体证明如下,连结PB、PC,设∠BCP=α,∠CBP=β,则∠EBP=