【摘 要】
：
在基于模型的诊断中,模型一般都是用布尔代数来表示,而计算碰集(hitting sets)则采用HS-树或图,这就使得诊断系统采用多种不同的数据结构,给编程实现带来了不便. 本文用布尔
【机 构】
：
中山大学软件研究所,暨南大学数学系
论文部分内容阅读
在基于模型的诊断中,模型一般都是用布尔代数来表示,而计算碰集(hitting sets)则采用HS-树或图,这就使得诊断系统采用多种不同的数据结构,给编程实现带来了不便. 本文用布尔代数变量表示待诊断系统的部件,并给出了用布尔代数直接计算最小碰集的算法. 数据结构更为简单,只需要布尔表达式,相当于字符串,效率上比其他的一些研究结果也要好,同时可克服丢失正确解的问题,具有通用性.
其他文献
定义了h维墙式环托hDWT:给定偶数ni≥4,i=1,2,…,h.h维墙式环托hDWT(n1,n2,…,nh)是一个(h+1)-正则的二部图,可由h维普通环托hDOT(n1,n2,…,nh)删除每个节点的h-1条连边而得
1基本生产情况2011年12月．受主要畜产品价格继续走低和节前生猪、家禽集中出栏等因素的影响，全国饲料产量环比有所下降。根据中国饲料工业协会信息中心市场部重点跟踪的159家饲
猪对限制性氨基酸需要量虽然很少,但对猪的生理生化有着极为重要的影响,对猪的生长性能、免疫性能、肉品质等方面影响显著。此外,合理有效地使用限制性氨基酸可以降低氮的排
从数据访问轨迹入手,探讨了利用数据变换来改善数据访问局部性的本质,提出了一种新的优化数据访问的投影分层技术以及基于它的数据变换框架.该框架主要利用投影技术来优化数
给出了一种多重密钥共享认证方案.在该方案中,管理者容易给出任意用于共享的多重密钥集,成员拥有的子密钥不仅能重复使用,而且是可认证的.所给方案提供了抵御管理者欺骗和成
利用逃逸时间算法绘制M-J混沌分形图谱,通过计算机数学实验找到Mandelbrot集的普适常数和相应充满Julia集的近似标度不变因子,定性说明了M-J混沌分形图谱标度不变的特性. 同
模糊市场,是市场要素模糊且边界不清楚的市场.由于模糊市场的决策难度大,易导致错误决策,所以研究如何量化它具有重大意义.一、模糊市场量化原理精确数学,是建立在集合论的基
首先给出了随机时间依赖网络模型、K期望最短路径问题的形式化描述,并针对公交网络推导出到达弧头结点的时刻所服从的概率密度函数、路径期望耗费的计算方法;然后,基于随机一
提出了一种超声图像的多尺度非线性抑噪的自适应线边界检测方法 ,首先对超声斑点图像进行多尺度分解 ,然后对高频部分应用非线性软阈值方法来抑制斑点噪声 ,再利用逆小波变换重建图像 ,最后采用基于“窄条”的线边界检测方法对降噪图像进行处理 ,以不同方向与大小的“窄条”来近似组织边界 ,其中“窄条”的大小由基于区域增长的局部统计特性决定 .仿真实验与组织超声图像验证了此方法在抑制斑点噪声与增强边界方面具有
早就听说过韩城市诞生了三秦大地上第一家民办的银河股份公司;早就听说银河公司有座“戳破天”的银河大酒店;早就知道银河公司的缔造者,总经理兼董事长王耕银胆识过人,是个敢