排序方式: 共有335条查询结果,搜索用时 15 毫秒
141.
本刊讯近日从中国和平利用军工技术协会获悉,按照《中国质量奖评审规则》的规定,经形式审查、专家材料评审、中国质量奖评选委员会投票表决等环节严格评审,内蒙一机集团公司荣获首届“中国质量奖”提名奖。此次中国质量奖评审,全国共有56家企业进入提名奖候选名单,内蒙一机集团是中国兵器工业集团公司唯一一家荣获首届中国质量奖提名奖候选的企业。 相似文献
142.
143.
求解布尔不可满足子式在超大规模集成电路设计与验证领域都具有非常重要的理论与应用价值,帮助EDA工具迅速定位错误与不一致。针对求解不可满足子式的非完全方法,提出了消解悖论与悖论解析树的概念,在此基础上提出一种启发式局部搜索算法。该算法根据公式的消解规则,采用局部搜索过程直接构造证明不可满足性的悖论解析树,而后递归搜索得到不可满足子式;算法中融合了布尔推理技术、动态剪枝方法及蕴含消除方法以提高搜索效率。基于随机测试集进行了实验对比,结果表明提出的算法优于同类算法。 相似文献
144.
5月15日,浙江省温州军分区组织督导组到各县(市、区)人武部检查党的群众路线教育实践活动开展情况,与以往不同的是,督导组用召开座谈会听取干部职工和基层武装部对活动实效评价的方式,代替了以往单纯看书面材料、听党委汇报的检查形式。军分区政委雷林告诉笔者,机关通过检查督导树立明确导向,有效纠治了教育实践活动只落在笔头上的不良倾向。 相似文献
145.
欧光安 《兵团教育学院学报》2014,(1):49-51,56
《英语诗歌》作为国内普通高校英语专业的专业选修课程,其课堂教学方式一直以传统的讲授为主。本文从认知诗学的视角,以著名的英语诗人叶芝为例,探讨《英语诗歌》课程教学中形式诗学与文化诗学方式方法的结合,在学科建设、课程设置和课堂教学等方面提出建议和参考。 相似文献
146.
147.
党的十六大强调:要“加强国防教育,增强全民国防观念”。这是新形势下加强国防和军队建设的思想基础。因此,切实抓好国防教育,增强全党、全军、全民的国防意识,是摆在我们面前的一项重要任务。特别是当今世界风云变幻,多极化趋势加速发展,国际关系错综复杂,中东和平进程艰难,伊拉克战争后果严重。我们面临着机遇,也面临着挑战。在集中精力进行经济建设的同时,应该时刻牢记忘战必危的古训.加强国防教育,增强全民国防意识,保卫我们国家的安全。 相似文献
148.
目前,信息化战争研究及军队信息化建设已经列入我军现代化的重要议事日程,大量的理论和实践问题亟待解决,特别是在信息化战争研究方面。笔者认为,“信息战不等于信息化战争、战争信息化不等于战争‘文明化’、强调技术因素不等于忽视人的因素”这三个方面尤为值得关注,因为它们是研究信息化战争的前提和根本。信息化战争≠信息战信息化战争和信息战是两种不同的称谓,反映着两种不同的事物,是两个有本质区别的概念。信息化战争是战争形态,信息战则是作战形式,不可将战争形态与作战形式相混淆,信息化战争并不等于信息战。信息化战争是信息时代… 相似文献
149.
游击战是我军三大作战形式之一,是我军克敌制胜的重要手段。在过去的革命战争中,游击战一直是民兵和地方部队的基本作战形式。高技术在军事领域的广泛运用,改变了战争面貌,同时也使游击战这种传统作战形式面临巨大挑战。在未来高技术局部战争中,游击战的生命力如何,怎样才能使这种传统作战样式重放异彩?值得深思。在此,谈谈我们的几点粗浅认识。一、以信息技术为核心的高新技术广泛应用于战场,极大地改变了战争的面貌,但游击战仍然是一种行之有效的战法,必须树立对这一传统作战形式的信心20世纪90年代以来,世界范围内新军事革命浪潮蓬勃兴起… 相似文献
150.
在东海之滨,驻守着一支水下劲旅。他们常年与水中的鱼儿为伴,和海底的泥沙为伍,他们的名字叫"潜水兵"。部说,宁上山,莫下海。然而,他们却说:"我们的水下生活其实也很有趣。" 相似文献