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