基于RFDL的批量生产操作流程的合成  

The Operating Procedures Synthesis for Batch Plants Based on Recipe Formal Definition Language

作　　者：刘佳[1,2] 杨宗霄[1] 张安年[2] 

机构地区：[1]河南科技大学系统科学与工程研究所,河南洛阳471003 [2]河南科技大学电子信息工程学院,河南洛阳471003

出　　处：《微电子学与计算机》2009年第3期60-63,共4页Microelectronics & Computer

基　　金：国家自然科学基金项目(70671035)

摘　　要：目前在批量生产过程中,需要根据市场需求和产品规格的动态变化来对批量产品的实施处方进行连续修改,在此基础上合成批量生产操作流程存在很大的复杂性。针对这一问题,提出了一种使用处方形式化描述语言(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...

关 键 词：处方工程学 处方形式化描述语言(RFDL) 批量过程 基本处方 实施处方 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]