求解布尔不可满足子式的消解悖论算法

求解布尔不可满足子式在超大规模集成电路设计与验证领域都具有非常重要的理论与应用价值,帮助EDA工具迅速定位错误与不一致。针对求解不可满足子式的非完全方法,提出了消解悖论与悖论解析树的概念,在此基础上提出一种启发式局部搜索算法。该算法根据公式的消解规则,采用局部搜索过程直接构造证明不可满足性的悖论解析树,而后递归搜索得到不可满足子式;算法中融合了布尔推理技术、动态剪枝方法及蕴含消除方法以提高搜索效率。基于随机测试集进行了实验对比,结果表明提出的算法优于同类算法。     

提高遂行非战争军事行动中政治工作的效能

新颁发的《政工条例》在政治工作主要内容、各级政治机关职责等条文中,都强调要重视做好非战争军事行动政治工作。各级要深刻领会这一新的要求,把握政治工作特点规律,加大探索研究力度,积极创新形式方法,不断付诸实践检验,切实彰显政治工作在遂行非战争军事行动中的地位作用。     

以人文关怀激发活水源头——增强思想政治教育针对性、实效性的思考

胡锦涛同志最近在讲话中指出：“要在加强部队教育的针对性、实效性上下功夫”。这为我们进一步加强和改进部队思想政治教育指明了方向,提出了要求。我认为,只有加大情感投入,充分体现思想政治教育的人文关怀,在内容设置、组织形式、目标要求上,始终坚持尊重人、理解人、关心人、帮助人,从官兵的需要和全面发展出发,才能激发教育的活水源头,增强针对性和实效性。     

青海省国动委组织国防动员理论辅导讲座

为进一步提高国防动员系统业务能力,切实做好国防动员各项准备工作,前不久,青海省国防动员委员会在国防动员法颁布一周年之际,采用视频会议形式,组织全省国防动员系统进行了国防理论辅导讲座,邀请国防大学和南京陆军指挥学院的教授进行了专题理论辅     

电子防御的“五种”手段研究

电子防御,是合成军队为防止己方电子设备的辐射信号及和技术参数以及电子战部署被敌方发现,消除或削弱敌方电子干扰对己方电子设备的有害影响,避免电子设备被敌方摧毁、破坏,保障己方电子系统和设备发挥正常效能而采取的综合措施和作战行动,是合成军队实施电子战的重要组成部分和电子战的基本作战形式之一。     

脱胎换骨新陆军

随着信息时代的到来和新军事革命的兴起,陆战不再是“地面战”、“火力战”、“机动战”的代名词,“信息战”、“指挥控制战”、“精确打击战”等已加入到陆战系列之中。放眼21世纪,信息技术、纳米技术、新材料技术、新能源技术等高新科技的广     

努力创新军队反腐倡廉工作方法

一、注重创新廉政教育形式 “思想上松一寸,行动上就会散一尺”。思想是行动的总开关、总闸门。各类腐败行为腐败现象之所以屡禁不绝,说到底是因为一些党员干部的世界观、人生观、价值观发生了偏移和扭曲。而要有效解决这一问题,最根本的就是要创新教育形式、提高教育效果。     

编与读

正让读者全方位了解兵团一六七团读者张超《当代兵团》自创刊以来,一直十分注重自身内容和形式的创新,这也是她吸引我的重要原因之一。"特别观察"是我每期必看的栏目,该栏目聚焦兵团重大政策、会议精神等的解读,为我的日常工作起到了很好的指导作用。4月下半月,"特别观察"栏目推出的系列报道《兵团重点项目:助力实现"两个     

民兵营建在产业镞上江苏省新沂市实现民兵组织与产业互融互促

随着农村产业结构的变化,村级经济正由一家一户的小农经济形式走向市场化、产业化、规模化;从单一的种植业向农、副、工、贸多产业发展。在这种形势下,江苏省新沂市采取把“民兵营建在产业链上、民兵连建在致富项目上、青年民兵示范在创业岗位上”的方式。形成了“一产业一营部,一链点一连部”的组织格局,探索出了民兵组织与产业相融合、相促动的新路子。     

开国上将群体扫描

1955年9月,中国人民解放军对陆海空三军进行全面授衔,而且三军在服装、服饰、军衔符号、军种符号、勤务符号等外在形式上有着明显的区分。上将以下军官,陆海空三军都有。也就是说,我军首次有了自己的陆军上将、海军上将和空军上将。