...
首页> 外文期刊>Journal of Zhejiang University. Science, A >Informal and formal modelling of engineering processes for design automation using knowledge based engineering
【24h】

Informal and formal modelling of engineering processes for design automation using knowledge based engineering

机译:基于知识工程设计自动化设计自动化的非正式和正式建模

获取原文
           

摘要

knowledge based engineering (KBE) as a design method helps formulate a comprehensive knowledge base as a virtual prototype which includes design intent, requirements, rationale, and logic along with geometric information, which can then be utilised for representing the product design process, and to achieve complex design automation. One of the identified shortcomings in the field of design process automation using KBE as a holistic approach is a suitable neutral representation technique of a process model with well-defined syntax, axioms, and semantics for it to be shared across multiple platforms and to enable interoperability. To achieve design process automation, two steps are very important. First, a modelling method should be able to informally capture all critical aspects of a process to enable design automation. Second, the informal model should be able to be mapped onto a formal representation technique in a system, which will then enable automation by running a query through this representation. This paper discusses all the critical aspects in the form of design decomposition features and narrows down informal modelling approaches based on the criteria formulated for design automation from the literature. formal representation techniques are discussed with the help of an example to ensure correct mapping of the informal model to a formal representation. The next steps of this research would be recommendation of the formal representation techniques of the informal model based on the discussion in this paper and for future work that will enable process automation.
机译:基于知识的工程(KBE)作为设计方法有助于将全面的知识库作为虚拟原型,包括设计意图,要求,理由和逻辑以及几何信息,然后可以用于代表产品设计过程,以及实现复杂的设计自动化。使用KbE作为整体方法设计过程自动化领域的识别缺点之一是具有明确定义的语法,公理和语义的过程模型的合适中性表示技术,用于跨多个平台共享,并启用互操作性。为实现设计过程自动化,两个步骤非常重要。首先,建模方法应该能够非正式地捕获过程的所有关键方面,以实现设计自动化。其次,非正式模型应该能够映射到一个系统中的形式表示技术,然后通过通过此表示来通过运行查询来实现自动化。本文讨论了设计分解特征形式的所有关键方面,并根据从文献中设计自动化的标准,缩小非正式建模方法。借助示例讨论了形式的表示技术,以确保正确映射非正式模型到正式表示。本研究的下一步是基于本文讨论的非正式模型的正式代表技术的建议,并为将实现过程自动化的未来工作。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号