摘要
目前在批量生产过程中,需要根据市场需求和产品规格的动态变化来对批量产品的实施处方进行连续修改,在此基础上合成批量生产操作流程存在很大的复杂性。针对这一问题,提出了一种使用处方形式化描述语言(RFDL)对操作流程正式描述,实现了操作流程和领域知识间的匹配体系化.通过一系列的RFDL描述语句进行批量产品处方的构建及合成,使设计人员可以在不改变设备的前提下,通过改变处方进行新产品的生产.
In batch plants,the design of complete and accurate control recipe is a complex process and requires continuous modifications to cope with the dynamic changes in market demands and product specifications.Besides this,the synthesis and generation of batch plants is very complex.This paper proposes a formal representation for operating procedures:a recipe formal definition language,called RFDL,which enables the smooth and systematic mapping between operating procedures and domain knowledge.The designer will b...
出处
《微电子学与计算机》
CSCD
北大核心
2009年第3期60-63,共4页
Microelectronics & Computer
基金
国家自然科学基金项目(70671035)
