约束检查相关论文
通过分析尺寸标注和二维工程图件中基本图元的约束关系及基本图元之间的拓扑关系，提出一种集过约束，欠约束检查和约束求解为一体的几......
给出了CPL构件的复用机制,定义了一种对构件组合约束检查的矩阵技术.通过比较CPL语言与Java语言的语法特点,在XML规范的框架内,提......
本文讨论了一种允许用户定义任意代码特性集，并保证在编译时被调用函数满足调用者所有代码特性要求的机制。......
本文讨论了一种允许用户定义任意代码特性集的机制，它同时能保证在编译时被调用函数满足调用者所有代码特性要求。......
约束检查是保持数据库语义合法性的关键环节.由于在事务执行后直接检查约束的代价太大,一般通过分析对数据库的修改和约束公式得出......
随着软件智能化与大数据时代的到来,环境感知自适应软件作为智能软件中的代表趋于流行。环境感知自适应软件有两大特征:1)“环境感......
A promising approach on the search for geometric constraint of directional graph in off-line parametric design has been ......
给出了CPL构件的复用机制，定义了一种对构件组合约束检查的矩阵技术。通过比较CPL语言与Java语言的语法特点，在XML规范的框架内，提出......
为了便于识别加工序列是否满足工序优化过程中的相关工艺约束,引进工艺约束矩阵实现了定性约束的转化及加工序列的合法性识别;通过......
