分布式约束管理系统的设计与实现

来源 :计算机工程与设计 | 被引量 : 0次 | 上传用户:cbgch
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
介绍了一种并行工程中分布式约束管理系统的设计与实现的方法。该系统采用约束满足问题的求解算法作为核心,可以求解约束网络中连续变量的可行值域。采用C/S结构及分布式数据库产品,具有分布式的特点,以支持IPT地理位置的分布特点。它可及时地发现冲突,针对冲突信息,可从冲突仲裁系统的实例库中获得可行的解决方案。最后通过一个转向架设计的应用实例说明了该系统的有效性。
其他文献
大型网络中,需要对网络中传输的信息进行抽取和分析,以提供给网络管理员以及其他特定用户,如网站经理等.给出了一种大型网络自动信息机的设计与实现,以及该网络信息机系统的
计算机工业的一个最急需关心的问题是以更快的速度和更低的费用维护和升级软件产品.为了达到这个目标,必须设计更好、更易于维护的软件.文中讨论了可维护软件的设计技术与方
软测量是采用过程中比较容易测量的辅助变量,构造推断估计器来推算出难以测量或根本无法测量的关键工艺参数;是根据某种最优准则,选择一组既与主导变量有密切联系又容易测量的变量,即辅助变量,通过构造某种数学关系,用计算机软件实现对主导变量的在线估计。介绍了软测量的核心技术,并重点阐述了软测量模型建立的方法,还给出了建立一个完整的软测量模型的步骤。
提出了一种针对VLSI电路多故障ATPG(Automatic Test Pattern Generation)的新算法.该算法引入蚂蚁路径定义,将多个故障点的前向传输和回溯归结到一条单一路径之上,从而解决了
利用早期不交化法求解最小割集是目前进行故障树定性分析的一种有效方法.但不交化最小割集矩阵行数随着故障树规模的大小呈指教增长,对于数万乃至教百万行的不交化矩阵求解最
介绍了人工神经网络的概念和原理,重点介绍和推导了BP算法。分析了手写体汉字识别存在的问题及 应用的技术,并对利用BP算法进行手写体汉字识别进行了详细讨论,分析了在用BP算法进行手写体汉字识别 时的具体步骤,最后介绍了对BP算法提出的改进方法。
针对应用系统性能指标难于测量的现状,提出一种以测量性能指标为目的的设计模式.通过应用本模式,软件开发人员可以使设计出的软件系统本身具有测量性能的功能,从而为定位系统
基于锁相红外热成像理论,对复合材料网格加筋结构的几类典型缺陷进行无损检测,采用法国Cedip公司开发的锁相红外热成像系统对检测结果进行分析。讨论了加载频率、输出电压偏
近年来,随着数字媒体的大量出现,数字水印作为一种信息安全技术越来越受到人们的关注.目前已经有许多BMP图像的数字水印算法,但是这些算法生成的数字水印图像很容易受到拷贝
着重从提高壳聚糖膜吸附性能的角度出发,结合水处理机理,从表面改性、共混改性、纳米复合改性、离子印迹改性、接枝改性及其他改性方法六个方面综述了近年来改性壳聚糖膜的方