CAJ | 학술논문

在总结制造过程数据内容和分析现有制造过程数据表达方法的基础上,提出一种基于多色集合理论的制造过程数据形式化表达方法,将制造过程数据所涉及的活动、对象、关系置于统一的以过程为核心的数学模型框架中.给出基于多色集的制造过程数据模型与过程描述语言(Process specification language,PSL)核心语义的映射关系,并对PSL核心语义进行扩展定义,以保证制造过程数据具有规范的过程语义.以一个齿轮轴工艺过程制造数据形式化语义定义为实例,说明基于多色集合理论和过程描述语言相结合的形式化语义建模方法在统一组织和关联描述制造过程数据以及维护语义一致性方面的可行性与有效性.
재총결제조과정수거내용화분석현유제조과정수거표체방법적기출상,제출일충기우다색집합이론적제조과정수거형식화표체방법,장제조과정수거소섭급적활동、대상、관계치우통일적이과정위핵심적수학모형광가중.급출기우다색집적제조과정수거모형여과정묘술어언(Process specification language,PSL)핵심어의적영사관계,병대PSL핵심어의진행확전정의,이보증제조과정수거구유규범적과정어의.이일개치륜축공예과정제조수거형식화어의정의위실례,설명기우다색집합이론화과정묘술어언상결합적형식화어의건모방법재통일조직화관련묘술제조과정수거이급유호어의일치성방면적가행성여유효성.