约束分解相关论文
基于种群的进化算法在一次运行中能够产生一组近似的Pareto最优解集,因此多目标进化算法成为处理多目标优化问题中的主流方法。基......
该文首先分析了二维草图设计、三维造型与装配设计以及多刚体系统几何模型各自在几何上的特点及相互之间的共同点,提出了几何元素......
在基于有向图表达的几何约束系统中,几何约束的匹配方向、分布状态以及有向图中强连通分量的规模直接影响到整个约束系统的求解;如......
针对几何约束系统的数值求解过程中 ,经常发生的数值不稳定性问题 ,构造了一种面向欠约束系统的同伦方法 ,并将其与现有的求解与分......
提出一种几何约束求解组件与CAD平台的集成框架,基于此设计了一个动态几何约束系统。该系统利用目标捕捉和尺寸推断结果,可自动建......
1引言约束分解是几何约束满足问题(GCSP)研究的一个重要内容.此前已经有很多工作实现了将GCSP向非线性方程组求解的转化,并研究了......
基于时序约束的QoS感知的Web服务组合（TC-QSC）问题是在考虑时序约束的基础上寻找满足QoS约束或效用最大化的Web服务组合问题,受到了......
在基于有向图表达的几何约束系统中，几何约束的匹配方向，分布状态以及有向图中强连通分量的规模直接影响到整个约束系统的求解；如何对......
为了获得产品原始设计意图,提高重构模型的整体质量,提出一种实用的逆向工程中约束驱动数据点云曲面特征优化方法,其中包括约束分......
摘要：第四方物流服务通过大规模的资源整合，可以将领域内优秀的物流服务组合起来，为用户提供技术、仓储、运输服务等最佳结合的物流服......
构建了多层分布式潮流计算系统，研究了分布式潮流异步协调算法，并进行了两层和多层的异步迭代潮流计算。IEEE标准系统测试结果表明，通......
信息集成旨在为用户访问多个异构的信息源提供统一的全局视图,屏蔽数据来源,克服异构性和数据冲突,从而对应用所需要数据提供透明......
在Web服务组合过程中,基于全局Qo S(quality of service)约束分解的服务组合方法是提高服务组合动态性与灵活性的有效途径。已有的......
采用基于稀疏矩阵分解的方法,可以把约束系统分解成依次求解的子约束集合,但有时并不能顺利求解,其子约束集合的雅可比矩阵非满秩.......
以Web服务为关键技术的面向服务的构架(Service-Oriented Architecture,SOA)正成为Internet上主流的软件形态,它通过重用和重组现......
随着集成电路技术与工艺的不断发展,目前工业界所采用的形式验证工具已很难适应集成电路规模的飞速增长.为了对RTL电路的可满足性......
