混合模糊测试中混合符号执行优化策略评估与分析

针对传统混合模糊测试提升技术多聚焦于利用多种动静态分析手段辅助而忽略了混合符号执行自身性能的问题,提出一种混合模糊测试平衡点模型,并基于该模型对主流混合符号执行方案进行剖析,包括污点分析辅助模糊测试、混合模糊测试以及混合符号执行,归纳了6种符号执行方案,基于混合符号执行引擎Triton复现了6种符号执行方案,并通过10个典型真实程序进行了测试评估。从效率、内存、覆盖率三个维度对各个方案进行性能对比与影响因素分析。实验证明,优化方案都可以消除不必要的约束并减少时间和空间开销,但约束缩减会造成信息丢失,造成覆盖率降低。基于实验数据分析,提出了一个优化方案的性能序列,并提出三种针对不同测试需求的优化方案。     

确保边海防安全稳定须着力统筹好五个关系

边海防是国防的重要领域和有机组成部分.新的历史时期强边固防,就必须坚持以习近平主席关于边海防建设发展的战略思想为指导,统筹处理好边海防建设中御外与安内、斗争与睦邻、严管与开放、兴边与强边、继承与创新的关系.     

通过务实合作实现安全之路不好走但必须走

我们当前面临着非常复杂的安全挑战,它超越了国境,而且涉及到地缘政治一系列的地区变化,所以需要我们共同应对。我们当前所在的亚太地区在发展方面面临着重大的机遇,但与此同时我们也面临着领土和海洋权益的争端,这有可能破坏地区的稳定,也影响到一些国家的政治利益。所以,在做政策决定的时     

七〇五所扎实开展安全生产月活动

<正>从3月1日开始,以"贯彻《安全生产法》、落实安全生产责任"为主题的"安全生产月"活动,在中船重工第七〇五研究所全面展开。为确保安全生产月活动取得实效,七〇五所在组织广大员工认真学习《安全生产法》及集团公司有关要求,不断提升广大员工安全意识的同时,结合科研生产工作实际,进一步完善安全生产责任状的内容,健全以法定代表人为第一责任人的全员、全方位安全生产责任体系,层层签订安全生产责任书,确保将安全责任落到实处。     

着眼确保国家政治安全 坚强思想政治领导

习主席强调从军事战略上考虑国家政治安全.各级党委必须把坚持思想政治领导摆在首位,坚持思想引领,把握思想政治领导的核心要求;发挥组织优势,强化思想政治领导的责任担当;从严落实制度,确保思想政治领导规范运行;注重改进创新,提升思想政治领导的质量层次.     

解读韩国国防工业与武器出口

英国《简氏防务周刊》网站2015年1月5日报道称,根据韩国国防部采购局提供的数据,2014年韩国国防出口额达到36亿美元,比2013年的34亿美元增加了6%,创下了历史新高。与2005年仅为2.6亿美元的国防出口额相比,这一金额增加了12倍。该局官员还表示,2015年韩国国防出口额目标为40亿美元。在错综复杂的东北亚安全格局中,韩国在国防工业与武器出口方面的相关动向颇为引人关注。     

日出东方红胜火 征尘未洗再出发——河北东方富达机械有限公司“军转民”纪实

<正>作为"三线建设"中诞生的企业,河北东方富达机械公司经过十几年的奋斗,由负债7000万元濒临倒闭,到如今年产值近7亿元,利税3000万元,电梯安全部件占全国市场的40%以上,成为行业龙头企业。东方富达的绚丽转身留给我们很多值得思考的东西。2014年12月5日,河北军民融合暨国防工业协同创新成果展洽会在廊坊举行。对于送上家门的军民融合科技盛宴,河北东方富达机械有限公司董事长兼党委书记王光明岂能错过。展洽会上,王光明高兴地告诉记者:2014年公司总产值有望突破7亿元,再上新台阶。     

基于BP和Hopfield神经网络的航空肼燃料保障安全评价

针对航空肼燃料保障安全评价的复杂性和非线性,提出并建立了基于BP和Hopfield神经网络的动态安全评价模型。在综合分析国内外肼燃料保障安全评价的基础上,针对航空肼燃料保障过程中出现的问题,构建并优化了指标体系,选取前馈神经网络中的BP网络和反馈神经网络中的Hopfield网络建立评价模型。在详细说明了BP和Hopfield神经网络的构建方法后,进行实例验证,并对预测效果进行了比较分析。仿真表明,两种模型都能正确评价安全保障状态。但在收敛速度、联想记忆功能方面Hopfield神经网络优于BP神经网络。将BP和Hopfield神经网络用于肼燃料保障安全评价过程中,具有适用性和可行性,对于航空肼燃料保障的安全建设与安全管理研究具有重要意义。     

略论新形势下我国边海防安全战略目标的确立

边海防安全战略目标,是国家层面边海防安全战略指导的重要组成部分,是引领国家边海防建设的总牵引.边海防安全战略目标的确立,必须站在战略全局的高度,服从服务于国家总体战略目标,遵循国家周边外交基本方针,与积极防御的军事战略方针相一致.     

加速边境地区城镇化建设助力维护新疆边防安全

新疆边境地区城镇化建设,具有地缘政治环境特殊、人文社会环境复杂、经济发展基础薄弱和戍边卫国功能重要的特殊性.城镇化建设在加速经济社会发展的同时,可能给边防安全带来领土受侵蚀威胁加剧、边境管控难度加大、社会安全隐患增多等问题.必须科学统筹边防安全和经济建设需求、优化城镇布局、加速基础设施建设、加大投入支持,为维护新疆边防安全提供强大的力量支撑、可靠的设施保障和较好的社会依托,实现兴边富民与强边固防的有机统一.