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

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

军事院校推动国家安全教育研究

提出互联网+时代军队院校面临与军队新型作战能力培养有关的国家安全时代课题,从整合新媒体网络资源、依托校园文化平台、构建国家安全教育体系三方面进行了对策分析,重点探索与新军事变革密切相关的"文化安全、军事话语传播、地缘政治"等议题,以学术活动的顶层设计将国家安全教育融入军事院校学员具有中国特色的军事理论创新。     

新型陆军部队作战能力综合实验支持系统设计

利用综合实验方法对新型陆军部队作战能力进行分析评估是新型陆军部队建设发展的客观需要,其综合实验的成功运用必须得到相应系统的支持。针对支持系统所需具备的功能,设计支持系统的总体结构及主要功能模块,详细分析各功能模块间的信息流程和支持系统的应用过程,为支持系统的具体构建提供指导。     

The Kashmir conflict in South Asia: voices from Srinagar

This article looks at the Kashmir conflict in South Asia, which has been going on since 1947, when India and Pakistan became independent from British colonial rule. After looking at some historical background, the article looks at both the external dimension as well as the internal dimension of the conflict. The external dimension tends to focus on Indo-Pak relations over Kashmir and the internal dimension looks at India's repressive state policies within the state of Kashmir. This article uses Mary Kaldor's “New War” thesis as a theoretical framework to understand the situation and pays special attention to the conflict's very complex and multifaceted nature. The article argues that although the levels of violence have differed from time to time in the region since 1947, today the conflict seems to have less to do with Indo-Pak relations or the external side of things and has more to do with the internal dimension and India's undemocratic ways within Kashmir. Today, Kashmir is one of the most militarised conflict zones in the world. The stationing of the Indian military and paramilitary forces in the region has only exacerbated the situation since it is the security personnel who cause much of the problem. The Armed Forces Special Powers Act gives these security forces extraordinary powers in the region, which they often abuse. The armed forces have no real understanding of the local culture or sympathy for local religious sentiments. Poverty, corruption, administrative failure, police brutality, identity politics and human rights abuses are some of the key features associated with this conflict. Methodologically, a number of interviews were carried out with the local people in the region recently. From the data gathered through the interviews, it is very obvious that the people still feel very oppressed and that the situation is still very volatile, fraught with uncertainty. Finally, after making an assessment of the situation, the article tries to suggest methods of peaceful building and conflict management as the way forward.     

The graph association problem: Mathematical models and a lagrangian heuristic

Graph association is the problem of merging many graphs that collectively describe a set of possibly repetitive entities and relationships into a single graph that contains unique entities and relationships. As a form of data association, graph association can be used to identify when two sensors are observing the same object so information from both sensors can be combined and analyzed in a meaningful and consistent way. Graph association between two graphs is related to the problem of graph matching, and between multiple graphs it is related to the common labeling of a graph set (also known as multiple graph matching) problem. This article contribution is to formulate graph association as a binary linear program and introduce a heuristic for solving multiple graph association using a Lagrangian relaxation approach to address issues with between‐graph transitivity requirements. The algorithms are tested on a representative dataset. The developed model formulation was found to accurately solve the graph association problem. Furthermore, the Lagrangian heuristic was found to solve the developed model within 3% of optimal on many problem instances, and found better solutions to large problems than is possible by directly using CPLEX. © 2013 Wiley Periodicals, Inc. Naval Research Logistics, 2013     

Lost through non-translation: bringing Clausewitz's writings on ‘new wars’ back in

While Carl von Clausewitz has generally been respected as one of the most profound philosophers of war, his expertise has been regarded as somewhat limited if not even irrelevant to the so-called ‘new wars’ of the post-Cold War world. Many scholars in international relations have claimed that ‘new wars’ are essentially ‘post-Clausewitzian’ and ‘post-trinitarian’ in nature, meaning that they are no longer fathomable through a Clausewitzian framework. However Clausewitz's earlier writings were nearly exclusively dedicated to guerrilla warfare, or what he called ‘small wars’. These writings have been largely overlooked by many analysts of contemporary conflicts. By drawing on his rare and untranslated writings, the article uncovers a critical part of Clausewitz's expertise in asymmetric warfare and shows that, far from being irrelevant in an age where interstate warfare is increasingly being replaced by conflicts between states and semi-/non-state actors, Clausewitz's philosophical writings actually shed new light into the particular interactive dynamics generated during wars waged under conditions of asymmetry.     

论新形势下高等职业院校学生思想政治工作

思想政治工作是党的优良传统和政治优势,而大学生代表着祖国的未来,高职学生是大学生群体的一部分,做好他们的思想政治工作关系着国家的发展。新形势下,必须了解高等职业院校大学生的现状及特点,分析目前高职学生思想政治工作中存在的问题,以采取有针对性的切实有效的措施,真正做好他们的思想政治工作。     

新型毒品犯罪与对策研究

所谓新型毒品是相对鸦片、海洛因等传统毒品而言的,主要指人工化学合成的致幻剂、兴奋剂类毒品,是由国际禁毒公约和我国法律法规所规定管制的、直接作用于人的中枢神经系统,使人兴奋或抑制,连续使用能使人产生依赖性的精神药品。中国每年被冰毒、氯胺酮等新型毒品吞食的社会财富以百亿计。新型毒品犯罪给我国禁毒工作带来了新挑战,在分析新型毒品犯罪特点的基础上,找出打击新型毒品犯罪所面临的问题,构建科学的新型毒品犯罪打防控对策。     

论信息化条件下战场空间的嬗变

随着信息技术在战争中的广泛应用,战场空间正在由传统的陆、海、空三维空间向自然空间、非自然空间和认知空间拓展,并且已经初步形成了七维一体作战空间的雏形,战场空间也呈现出与以往不同的宏观化、微观化、虚拟化和无序化的新特点;在分析各作战空间辩证关系的基础上,提出了对未来我军现代化建设的几点启示.     

落实科学发展观 提升高校科研水平

落实科学发展观,是党中央着眼于我国现代化建设的长远发展做出的重大决策。院校的科研工作,必须按照科学发展观的要求,转变思想观念,努力解决好影响科研工作上水平的“瓶颈”问题,打造有利于科研发展的坚实平台,最大限度地提高科研综合效益。