一种新的不可延伸的承诺体制设计

讨论了不可延伸承诺体制的定义问题,分析了传统基于离散对数承诺体制的可延伸性,首次将Diffie-Hellman密钥协商方案用于随机挑战的生成以阻止知识证明的可延伸性,进而构造出一种新的基于Diffie-Hellman密钥协商的不可延伸的承诺体制.     

加速推进城市防空力量建设的三个问题

城市防空力量建设是国防建设的重要内容,加强城市防空力量建设,对于确保战时城市社会安全和稳定意义重大。我们必须紧贴使命求发展、紧贴实战谋打赢,在更高层次上推进城市防空力量建设科学发展。一是要形成军地共建合力。由于城市防空目标多、防空需求量大,必须将防卫任务纳入军地发展规划和党政军共同职责,充分整     

信息网站

黑龙江省鸡西市恒山区人武部积极开展党委支部共建活动。人武部党委与帮扶的民主村党支部结成共建对子,共同组织系列党日活动、党员权利与义务讲座,开展农村党建问题及对策研究,增强了农村党组织功能,促进了经济社会发展。     

加强国防动员建设应重点解决的两个问题

国防动员建设涉及社会发展各个方面,涵盖诸多领域,是复杂的系统工程.我们要着眼国家战略全局,坚持用整体、系统的思路,积极推进国防动员建设全面发展.     

对人武部干部教育管理几个问题的思考

近期,我们围绕人武部干部队伍建设问题先后到17个军分区81个人武部进行调研,感到这支队伍总体是好的,但也存在一些新情况新问题,需要各级领导机关更加牢固地确立科学发展观的指导地位,继续解放思想、更新观念,用新视角新思维新办法来研究和解决.     

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

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

规范智能手机使用严防失泄密问题发生

智能手机就像一把双刃剑,在为官兵带来便捷的同时,也将失泄密问题带入其中。当前,网上勾联、渗透成为间谍活动新的特征,如何积极面对智能手机进军营趋势,打好防失泄密主动仗,是全军上下亟待思考解决的问题。一、注重教育引导,筑牢防控手机失泄密的思想防线分析近年来手机失泄密案件,有人是主动勾联境外敌特分子卖密,有人是在不知情的状态下被敌特分子加为好友。有的官兵法纪意识不牢,敌情观念、防间保密意识淡薄,在思想源头上放松了警惕,使敌特分子有     

“推动军民融合深度发展暨国防大学国防经济研究中心2014年年会”在天津举行

<正>本刊讯;紧贴全面深化改革的大环境,紧贴国防和军队现代化建设的伟大实践,紧贴军民融合深度发展的重大理论和现实问题,充分发挥国防经济理论研究对于国防和军队建设实践的引领作用,2014年12月21日,国防大学国防经济研究中心与武警后勤学院联合举办的"推动军民融合深度发展暨国防大学国防经济研究中心2014年年会"在天津举行。     

推进国防科技工业全面深化改革

中共中央总书记,国家主席、中央军委主席习近平3月12日在出席十二届全国人大三次会议解放军代表团全体会议时强调,要强化改革创新,着力解决制约军民融合发展的体制性障碍,结构性矛盾、政策性问题,努力形成统一领导、军地协调、顺畅高效的组织管理体系,国家主导、需求牵引,市场运作相统一的工作运行体系,系统完备、衔接配套、有效激励的政策制度体系。     

论新课改下初中英语听力课堂中的问题与对策

初中英语教材在新课改的指导下,一直在做内容和结构上的调整,2013年出版的英语教材突出听力部分内容,听力部分占了每个单元的1/2.这是新课改以来在教材结构上做出的重大调整.而且每个单元的阅读和写作,都是由与听力相关的内容贯穿始终.这也突出了新课改所倡导的培养学生口语交际能力的教学理念.因此,听力教学在整个英语教学中显得尤为重要.但实际的英语听力课堂中存在许多的问题,这些问题直接影响着整个英语教学的质量,严重影响着新课改是否能达到预期的目标.本文就英语听力课堂中存在的问题,展开论述及提出解决问题的对策.