论文部分内容阅读
针对实例的配置合理性审核以及复合配置约束入库前的冗余和一致审核，提出了一种基于布尔方程组的复合配置约束表达形式，给出了配置约束冗余和一致判定的充分必要条件以及配置合理性审核的算法。实例表明，这种表达形式有利于对于新加入规则库的配置约束进行冗余和一致审核，并且使实例的配置合理性审核得到简化。
复合配置约束的知识审核研究
【摘 要】
：
针对实例的配置合理性审核以及复合配置约束入库前的冗余和一致审核，提出了一种基于布尔方程组的复合配置约束表达形式，给出了配置约束冗余和一致判定的充分必要条件以及配置合
【机 构】
：
大连理工大学精密与特种加工教育部重点实验室
【出 处】
：
计算机工程与应用
【发表日期】
：
2008年13期
其他文献
提出了一种联合二维离散小波变换(2D-DWT)和独立分量分析(ICA)相结合的表情特征提取法。首先通过2D-DWT将当前图像分解成4个子图像,其中一子图像对应原图像的主体部分(低通部分),其余三个子图像对应图像的细节部分(高通部分)。采用ICA分别对每一子图像进行特征提取,得到的表情矢量与中性矢量的差值矢量作为特征矢量,在此基础上使用性能比较稳定的支持向量机来分析各个子带图像的识别情况。此外,还提
主要研究基于移动终端的网页融合处理方法，目的是实现在移动终端上无缝地浏览互联网页。要在移动终端上顺利浏览此页面，需要克服移动网络的带宽限制和移动终端的处理能力限制。
我们以“炎症学说”为理论依据，在“王氏骨刺神贴”（家传方，专利号：200510089926．3，内含：洋金花、樟脑等）贴敷治疗基础上，吸取了传统治疗和民间疗法的精华，采用点穴、穴位刺激、蜡疗、
腕舟骨脱位是腕部最严重的一种损伤，如不能早期诊治，后期只能行近排腕骨切除术治疗，有较高的致残率。早期确诊者大多数采用石膏制动，对腕关节有较大影响。2010年3月~2013年7月，我
通过工程实例,介绍采矿场井下涌水的回收与利用,实现采矿场、选矿厂生产用水自给自足,减少井下废水的排放,以达到节能减排的目的。
Through the engineering examples, this
首次给出了多输出广义部分Bent函数的定义并论证了其的存在，得到了多输出广义部分Bent函数的等价判别条件，给出了多输出P值广义部分Bent函数与多输出P值广义Bent函数的关系，并讨