排序方式: 共有14条查询结果,搜索用时 15 毫秒
1.
利用现场可编程门阵列固有的并行性和灵活性,提出在硬件可编程平台上基于随机局部搜索算法的布尔可满足性求解器,用于求解大规模的布尔可满足性问题。相对其他求解器,该求解器的预处理技术能极大提高求解效率;其变元加强策略避免了同一变元被反复连续翻转,降低了搜索陷入局部最优的可能。评估结果表明,求解器最多能处理32 000个变元/128 000个子句的实例。相比当前同类型的求解器,其求解效率明显提高。 相似文献
2.
本文针对武警部队固定通信台站业务训练中存在的问题,论述了怎样处理好通信值勤与业务训练的关系;怎样针对固定通信台站的特点,有的放矢地计划与安排业务训练.提出了搞好固定通信台站业务训练应重点抓好的几个环节和具体实施方法. 相似文献
3.
张建民 《武警工程学院学报》1999,15(1):67-69
本文重点论述了拟制和组织落实通信保障预案,搞好平战结合的通信联络以及战场通信建设等三个方面的通信准备工作.结合武警部队通信的实际,提出了通信保障预案的拟制要求和拟制内容.对组织建立平战结合的通信网,加强通信值勤台站管理的方法进行了探讨.对武警部队战场通信建设的内容和方法提出了自己的设想. 相似文献
4.
解释布尔公式不可满足的原因在很多领域都具有实际的应用需求,而最小不可满足子式能够为诸如电路的自动综合等应用领域中的不可满足原因提供最精确的解释。因此,将两种能够高效求解最小不可满足子式的算法——分支-限界算法与贪心遗传算法,集成到解码电路的自动综合工具中。采用通信领域的标准编码电路作为测试集,将两种算法进行对比。实验结果表明,在运行时间与每秒剔除的短句数方面,贪心遗传算法优于分支-限界算法;不可满足子式在解码电路的自动综合过程中发挥重要作用。 相似文献
5.
求解布尔不可满足子式在超大规模集成电路设计与验证领域都具有非常重要的理论与应用价值,帮助EDA工具迅速定位错误与不一致。针对求解不可满足子式的非完全方法,提出了消解悖论与悖论解析树的概念,在此基础上提出一种启发式局部搜索算法。该算法根据公式的消解规则,采用局部搜索过程直接构造证明不可满足性的悖论解析树,而后递归搜索得到不可满足子式;算法中融合了布尔推理技术、动态剪枝方法及蕴含消除方法以提高搜索效率。基于随机测试集进行了实验对比,结果表明提出的算法优于同类算法。 相似文献
6.
张建民 《武警工程学院学报》1997,13(1):45-46
无线电台通信组织图,是通信保障计划(预案、指示)的重要组成部分,是部队实施无线电台通信时,组织与建立无线电台网路、专向的基本依据.正确地标绘无线电台通信组织图,对于规范通信战斗文书的格式和内容,完整、准确地反映无线电台通信组织者的意图,都具有十分重要的意义.然而,目前部队在无线电台通信组织图的标绘中却极不规范,随意性很大.从内容到形式上都存在着许多问题,使通信指挥员的组网意图往往因标绘不正确而被曲解,通信分队也无法按图正确地开通无线电台网路和专向.有些单位甚至在向上级报告的正规通信文书中,无线电台通信组织图的标绘也是漏洞百出.笔者在部队调研时发现,从装饰精美的通信大挂图到通信保障指示(计划),都存在着标绘上的错误,主要存在问题如下: 相似文献
7.
张建民 《武警工程学院学报》2004,20(6):27-29
信息化是当代科技革命、社会变革最重要的推动因素,也是武警特色军事变革的本质内容,而信息化人才培养是武警信息化建设的根本要求。 相似文献
8.
1991年5月,陕西澄县一等残废军人张清海,光荣地出席了在北京召开的“全国助残先进集体、个人表彰大会”,被国家人事部、民政部和中国残联授予“全国自强模范”称号,受到国家主席江泽民亲切接见。这名常卧病榻的荣誉军人,过去在国防施工、救护战友和抢救国家财产过程中,先后6次光荣负伤,成为终身一等残废。由于 相似文献
9.
随着VLSI芯片复杂度不断增加,功能验证与调试已占到整个芯片设计周期的60%以上。而错误的定位往往消耗大量的时间与精力,因此迫切需要一种高效的方法诊断与定位电路中的错误。针对近年来出现的许多电路错误定位方法,介绍了电路错误诊断方法的分类与工作流程,深入分析了基于SAT的错误定位方法的基本原理;对各种算法进行了概述评论,并简要介绍了在不可满足子式求解方面所做的一些研究工作,而不可满足子式能够显著提高错误定位效率与精度;讨论了电路错误定位技术所面临的主要挑战,并对今后的研究方向进行了展望。 相似文献
10.
队列方向变换是训练的难点,对其变换公式的计算、实践方法和意义,进行较为深入的研究与实践,有利于进一步提高部(分)队的队列训练水平和整体战斗力。 相似文献