共查询到20条相似文献,搜索用时 8 毫秒
1.
基于逆向MVD超图的求MVD最小覆盖算法研究 总被引:4,自引:0,他引:4
本文详细讨论了逆向MVD超图的性质,给出了伪完全等价准路、完全等价准路、子边等价准路等概念。证明了若干个逆向MVD超图的化简定理,最后给出了基于逆向MVD超图的求MVD最小覆盖算法。 相似文献
2.
本文给出了求解函数依赖最小覆盖集算法在计算机上的具体实现并把它应用到关系数据模式求解中去,成功地开发了关系数据库模式生成算法,向数据库设计自动化的具体实现迈进一大步。 相似文献
3.
4.
5.
6.
郝忠孝 《计算机研究与发展》1996,33(10):760-763
本文在文献「3」、「4」、「5」所讨论的超图及 的分类的基础上,分析了最优覆盖对应的超图的结构特点,用替换化简方法解决了最优覆盖的多项式时间算法。 相似文献
7.
一种求解多值逻辑函数接近最小覆盖的算法 总被引:2,自引:1,他引:2
1.引言 本文研究Allen-Givone多值逻辑代数系统中的“积之和”形式的函数的简化算法。首先,在讨论符合目前多值逻辑函数实现特点的合理代价标准基础上,提出了一种折衷的代价标准,按着这个标准不求所有质蕴涵项集合,直接求解无冗余覆盖。这个算法以减少文字门的个数为依据,在确定某些质蕴涵项和实现文字数较少之间进行权衡,它在一个位 相似文献
8.
9.
10.
根据部分K值逻辑的完备性理论以及准完备集之间的相似关系理论,定出了部分四值逻辑的所有准完备集的最小覆盖,从而解决了部分四值逻辑中Sheffer函数的判定问题。 相似文献
11.
本文在Vague集理论的框架下,结合超图理论,提出了加权Vague超图的冲突分析策略,并引入了Vague冲突([αt,1-αf],β,β )-截系统和Vague超边(d,β)-截集的概念.基于冲突联盟间的距离本文还给出了冲突的消解算法.最后通过一个Vague冲突实例,详细地讨论了如何运用加权Vague超图来进行冲突分析. 相似文献
12.
13.
关系模式一种基于超图的全部候选关键字求法 总被引:1,自引:0,他引:1
本文详细讨论了基于超图的关系模式的有关候选关键字的某些理论,给出了相应的定理.圆满地解决了关系模式全部候选关键字的求解问题,具体地给出了以递归形式的求全部候选关键字的新算法. 相似文献
14.
本文讨论了有关等价属性集的一些性质,提出了准等价属性集和基本等价属性集的概念。在此基础上给出了一种求等价属性集的算法。 相似文献
15.
最小函数依赖是数据库模式分解的基础。本文首先介绍最小函数依赖集的概念和最小不动点理论.然后分析函数依赖集的闭包与完全格的关系,提出了用最小不动点理论求解最小函数依赖集的具体求解方法。 相似文献
16.
17.
无线传感器网络最小连通覆盖集问题求解算法 总被引:45,自引:0,他引:45
降低能耗以延长网络生存时间是无线传感器网络设计中的一个重要挑战.在传感器节点高密度部署的环境中,在保证网络性能的前提下,仅将最少量的节点投入活跃工作状态,而将其余节点投入低功耗的睡眠状态,是一种节约系统能量的有效方法.如何计算同时满足"覆盖要求"(工作节点必须能够完全覆盖目标区域)和"连通性要求"(工作节点组成的通信网络必须是连通的)的最小节点集合,是一个NP难问题.设计了一种基于目标区域Voronoi划分的集中式近似算法(centralized Voronoi tessellation,简称CVT),用于计算完全覆盖目标区域所需要的近似最小节点集.当节点通信半径大于等于2倍感知半径时,CVT算法构造的节点集是连通的;当节点通信半径小于2倍感知半径时,设计了一种基于最小生成树(minimum spanning tree,简称MST)的连通算法来计算确保CVT算法构造的覆盖集连通所需的辅助节点.理论分析和实验数据表明,CVT(+MST)算法的性能在时间复杂性和连通覆盖集大小方面都优于已有的贪婪算法. 相似文献
18.
邸振山 《电脑编程技巧与维护》2012,(18):14-15,21
函数依赖反映了现实世界中数据的完整性约束,对关系数据库的分析和设计起着重要的作用。最小函数依赖集和模式规范化是规范化理论和模式分解中的两个最重要概念。研究并实现了最小函数依赖集的求解算法。 相似文献
19.
20.
外汇交易中,一些企业由于企业本身特点或从事业务的相近有着相似的交易行为。根据这些天然特征发现具备相似行为的交易并对其分组,有利于发现海量交易数据中的典型交易行为模式,这有助于外汇管理和监督职能的更好实施。本文根据外汇交易行为的特点,用一种基于超图模型的聚类算法来发现不同类型的交易对象。 相似文献