分类： 计算机科学 >> 计算机应用技术 提交时间： 2023-02-15 合作期刊: 《桂林电子科技大学学报》
摘要： 为了快速地对模糊迁移系统中给定状态是否满足互模拟关系进行验证,提出了一种模糊互模拟的局部算法。该算 法将验证与遍历相结合,在对状态是否满足模糊互模拟关系验证的同时,动态地增加状态空间,使得算法只需遍历部分状 态空间即可完成验证。在部分情况下,尤其是当2个状态不满足模糊互模拟关系时,模糊互模拟的局部算法可以更快地对 给定状态是否满足模糊互模拟关系进行验证。通过Java实现了模糊互模拟的局部算法和已有全局算法,并进行了比较实 验。实验结果表明,在给定状态对不满足互模拟关系的情况下,本算法比现有模糊互模拟的全局算法的效率更高。
分类： 计算机科学 >> 计算机应用技术 提交时间： 2022-11-02 合作期刊: 《桂林电子科技大学学报》
摘要： 为了提高超大规模集成逻辑阵列的重构效率,提出一种基于最短长链接优先选择原则的改进算法。该算法从阵列 2端分别构建逻辑列,直到2条逻辑列相交,则停止构建逻辑列。在2条相交逻辑列作为边界的局部区域内,以从上到下的 方式寻找每行长链接最短的处理器单元,所选取的处理单元用于构建局部最优的逻辑列。基于上述操作,利用分治思想, 将新获得的逻辑列作为新的局部区域的边界,依次迭代获得新的局部最优逻辑列。最后,将所得到的局部最优逻辑列连接 起来,即可获得最终的目标阵列。通过与现有的重构算法的比较分析,验证了算法的高效性。仿真结果表明,在保证逻辑 阵列规模不变的条件下,相较于现有的重构算法,该算法能够有效减少阵列重构过程中处理器的访问数,并能在一定程度 上降低重构的运行时间,提高逻辑阵列的重构效率。
点击量
点击量
下载量
评论
