什么叫做约束集

建议参考李伟平,李莉,薜劲松等"工作流管理系统实现技术
研究"计算机集成制造系统
摘要:布局设计是一个基于约束空间的求解过程,而影响布局设计的约
束因素又是复杂多变的.针对工程领域的管线布局设计问题,提出了约束
元,约束集,约束方法,约束度,约束链和关联约束子集等概念,并应用这些概
念对影响管线布局的约束因素进行了分析,进而给出了基于目标分解的管线
布局建模方法.
《管线布局设计的约束因素分析及建模方法研究》作者简介
李伟平,男,中国科学院沈阳自动化研究所博士研究生.研究方向为工作流管理,企业建模等.
薛劲松,男,中国科学院沈阳自动化研究所研究员,博士研究生导师.
朱云龙,男,中国科学院沈阳自动化研究所副研究员.
!"!概念的定义
定义!约束元对管线布置方案设计产生约束功能,并具有一定独立性的基本约束单元体,通常指设计过程中的设计变量,用!"("#$%&'()$&*$)&)表示.如管道直径,类型,材料,可用布局空间的几何尺寸等.约束元具有自己的属性与方法(操作).
定义+约束集由具有相似约束功能的约束元及其属性(用#表示)和操作方法(用$表示)组成的集合体,用!#("#$%&'()$&(,,'-,(&-)表示,!#%{!"!,!"+,!".,…,!"&,#!,#+,…,#',$!,$+,…,$()&!*,'!$,(!+}.约束集具有可扩展性和继承性.定义.约束方法用于描述约束元行为特征的操作,用$(!")表示.通过在某一时刻对约束元的约束方法调用,可以确定约束元的状态,实现其约束功能.定义/约束关系具有关联关系约束元之间的一种明确的数学关系,用,%,(-.!,-.+,…,-.&)表示.通过这种数学关系可以建立相关约束元的约束方法.定义0约束度管线布局方案场(模型)中未确定约束状态的约束元个数,或在确定某约束元约束状态时与之关联的,未确定约束状态的约束元个数,用!表示.当!%1,表示管线布局方案或约束元的约束状态确定,有惟一解;当!/1(欠约束状态),表示管线布局方案或约束元的约束状态不