期刊文献+

基于知识工程的设计自动化工程步骤的非规范化和规范化建模(英文)

Informal and formal modelling of engineering processes for design automation using knowledge based engineering
原文传递
导出
摘要 目的:目前基于知识工程的设计过程自动化领域有一个缺陷,即缺乏一个语法、语义、公理完善的过程模型表示技术以便在不同平台之间共享,从而实现互操作。研究期望通过两个关键步骤来实现设计过程自动化。方法:1.对非规范化建模方法进行分析对比(表1);2.分析过程建模技术应该满足的功能,细化成不同的要点对不规范的建模方法进行分析对比,同时分析可以表示不同设计分解特征的规范建模技术。结论:1.明确了设计过程自动化的两个关键步骤:(1)非规范化地获取设计过程中的关键点,(2)将非规范化模型映射为规范化表示;2.分析得出表示不同设计分解特征的规范化表示方法和技术(表2);3.根据分析结果,可以选择最优的非规范化和规范化建模方法,从而支持设计过程自动化。 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 nar- rows 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.
出处 《Journal of Zhejiang University-Science A(Applied Physics & Engineering)》 SCIE EI CAS CSCD 2015年第9期706-723,共18页 浙江大学学报(英文版)A辑(应用物理与工程)
关键词 基于知识的工程 设计自动化 过程模型 规范化表示 过程自动化 Knowledge based engineering (KBE), Design automation, Process model, Formal representation, Process automation
  • 相关文献

参考文献85

  • 1Abdullah, M.S., Evans, A., Benest, I., et al., 2005. Developing a UML profile for modelling knowledge- based systems, ln: Model Driven Architecture. Springer Berlin Heidelberg, p.220-233. [doi:10.1007/11538097 15]. 被引量:1
  • 2Aguilar-Sav6n, R.S., 2004. Business process modelling: review and framework. International Journal of Production Economics, 90(2):129-149. [doi:10.1016/ S0925-5273(03)00102-6]. 被引量:1
  • 3A1-Ahmari, A.M.A., Ridgway, K., 1999. An integrated modelling method to support manufacturing systems analysis and design. Computers in Industry, 38(3):225- 238. [doi:10.1016/S0166-3615(98)00094-3]. 被引量:1
  • 4Amigo, C.R., Iritani, D.R., Rozenfeld, H., et al., 2013. Product development process modeling: state of the art and classification, ln: Smart Product Engineering. Springer Berlin Heidelberg, p.169-179. [doi:10.1007/ 978-3-642-30817-8_17]. 被引量:1
  • 5Amoo, L.M., 2013. On the design and structural analysis of jet engine fan blade structures. Progress in Aerospace Sciences, 60:1-11. [doi: 10.1016/j.paerosci.2012.08.002]. 被引量:1
  • 6Badica, A., Badica, C., 2011. Formal Verification of Business Processes as Role Activity Diagrams. Proceedings of the Federated Conference on Computer Science and Infor, mation Systems, Szczecin, Poland, p.277-280. 被引量:1
  • 7Badica, C., Badica, A., Litoiu, V.,-2003. Role activity diagrams as finite state processes. 2nd InternationalSymposium on Parallel and Distributed Computing, Ljubljana, Slovenia. [doi: 10.1109/ISPDC.2003.1267638]. 被引量:1
  • 8Badica, C., Teodorescu, M., Spahiu, C., et al., 2005. Integrating role activity diagrams and hybrid IDEF for business process modeling using MDA. Seventh International Symposium on Symbolic and Numerical Algorithms for Scientific Computing, Timisoara, Romania, p.71-74. [doi: 10.1109/SYNASC.2005.40]. 被引量:1
  • 9Bancroft, C.N.;Crump, S.J., LoveR, P.J., et al., 2000. Taking KBE into the foundry. Proceedings of the 7th ISPE International Conference On Concurrent Engineering, Lyon, France, 24:17-20. 被引量:1
  • 10Baxter, D., Gao, J., Case, K., et al., 2007. An engineering design knowledge reuse methodology using process modelling. Research in Engineering Design, 18(1):37-48. [doi: 10.1007/s00163-007-0028-8]. 被引量:1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部