约束冲突相关论文
为了在协同设计中建立以人为核心的冲突消解方法,使设计者在约束冲突发生时,对约束信息之间的制约关系有较清晰的把握,合理地消解冲突......
产品变型设计过程中,零件实例重用必然会导致大量的尺寸约束冲突.由于冲突解决涉及对象多,方案庞杂,因此,常常靠领域专家的知识和......
UML是一种通用的可视化建模语言,用于对软件进行描述、可视化处理、构建软件系统的文档。作为UML标准的一部分,对象约束语言(Object ......
在研究多体动系统时,基于广义坐标的建模方式更加便捷,列方程更加容易。然而,当广义坐标数量大于系统自由度时,我们称这些广义坐标......
提出一种带OCL约束的状态图测试线索的自动生成方法。该方法自动解析类图和带OCL约束的状态图的XML模型文件,获取相应的状态节点邻......
为了在协同设计中建立以人为核心的冲突消解方法,使设计者在约束冲突发生时,对约束信息之间的制约关系有较清晰的把握,合理地消解......
通过对约束满足与约束冲突的分析 ,提出了约束求解的定量化策略 基于变量不确定性 ,量化了约束满足程度与约束冲突程度 ,解决了约......
本文主要从三方面论述了WTO的基本贸易规则和环境保护的关系:多边贸易制度中以环境为目标的贸易措施与国际贸易规则的冲突;多边环......
从分析配置设计过程中约束对变量的不同作用程度入手,提出将配置求解过程作为分级约束满足问题进行处理,对约束进行分级处理,赋予不同......
为了能在运行时验证OCL约束,提出了约束验证框架。针对OCL-Java代码(即OCL约束对应的可执行Java代码)插入的简单方案和封装方法存在......