话说形式

既然叫形式,那么,形式的尺度该如何衡量和把握？如果我们认真思考一下,就会感到：为什么在形式多样的事物中,竟然会存在那么多的形式主义呢!     

“大检证”和“大肃清”——日军对新马华人的大屠杀

1941年12月，日本第二十五军在山下奉文大将的率领下向新加坡要塞进攻。次年2月15日，英国马来亚陆军总司令自思华将军率8万英军向日军投降。日军进入新加坡后，对新马华人以“大检证”和“大肃清”的名义进行了灭绝性大屠杀。     

够了：虚伪的美国外交

有美国撑腰的开罗军事政权正加大对埃及已罢免总统穆罕默德·穆尔西支持者的杀戮。然而,华盛顿方面还是暴露出其在应对军事政变方面的无能为力,美国的援助资金仍在流向埃及。奥巴马政府正在将虚伪转化为一种艺术形式。     

伴随掩护进攻分队时雷达干扰机队形研究

针对雷达干扰机伴随掩护任务的需要,通过分析进攻分队进攻队形,对雷达干扰机与进攻分队的协同提出约束,并以干扰效能发挥为依据,建立了队形模型和机队形优化模型。通过仿真分析,得出了不同队形情况下干扰效果随队形倾角变化的情况,并提出了队形选择的建议。     

廉政传真

今年,各单位、各部门扎实开展以"唱响军垦文化推进廉洁政治"为主题的第四个廉政文化建设月活动,营造了"为民、务实、清廉"的政治氛围和廉荣贪耻的社会环境。二十二团表彰"三廉"典型推进活动开展二师二十二团纪委广泛开展第四个廉政文化建设月活动。3月6日,该团召开座谈会",对2012年度"廉公仆、廉内     

军队仪式教育中情感氛围的营造

仪式教育是思想政治教育的重要方法,是通过一定的形式或程序将既定的价值观传递给教育对象的教育形式。与课堂教育的区别在于,它不仅要对教育对象进行理性灌输,而且必须根据教育要求营造特定的情感氛围,以引发教育对象强烈的情感体验,从而达到育人于无声、化人于无形的效果。所以,仪式教育成功与否,关键在于情感氛围的营造。     

一机集团荣获首届“中国质量奖”提名奖

本刊讯近日从中国和平利用军工技术协会获悉,按照《中国质量奖评审规则》的规定,经形式审查、专家材料评审、中国质量奖评选委员会投票表决等环节严格评审,内蒙一机集团公司荣获首届“中国质量奖”提名奖。此次中国质量奖评审,全国共有56家企业进入提名奖候选名单,内蒙一机集团是中国兵器工业集团公司唯一一家荣获首届中国质量奖提名奖候选的企业。     

刘邓大军挺进大别山得失浅析

1947年下半年,解放军晋冀鲁豫野战军主力在司令员刘伯承、政治委员邓小平带领下转入战略进攻。在取得鲁西南大捷后,刘邓大军采取无后方的方式千里跃进大别山。以此为起点,整个南线战场逐渐发生了有利于我军的重大转变,但刘邓大军在此过程中也付出了极大的代价。     

怎样通过健全民主制度、丰富民主形式、拓宽民主渠道保证人民当家作主？

人民当家作主是社会主义民主政治的本质和核心。社会主义民主政治是一个不断发展、不断完善的过程。社会主义愈发展,民主也愈发展。为了发展社会主义民主政治,党的十七大报告提出,要健全民主制度,丰富民主形式,拓宽民主渠道,依法实行民主选举、民主决策、民主管理、民主监督,保障人民的知情权、参与权、表达权、监督权。     

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

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