广义直观Fuzzy集

本文给出了广义直观Ｆｕｚｚｙ集的概念,讨论了基本运算及其性质,拓广了文献［１］与［２］的结果。     

静磁场Dirichlet问题

本文以单调算子理论为基础,应用文献［１］中得到的静磁场Ｂ－Ｈ的几个不等式证明了静磁场Ｄｉｒｉｃｈｌｅｔ问题广义解的存在与唯一性,并证明了静磁场Ｄｉｒｉｃｈｌｅｔ问题相应泛函的极小值的存在性,得出主要结论如定理３．１和定理３．２。     

二维时变电磁场第一边值初值问题广义解的存在与唯一性

在频率为１０１０以下的情况下,给出了由正弦交变电流引起的二维时变电磁场所对应的偏微分方程,并用非线性算子半群理论及单调算子理论证明了相应偏微分方程第一边值初值问题广义解的存在与唯一性．     

基于三对Bell态纠缠交换的QDKD方案

提出了一种基于三对Bell态纠缠交换的量子确定性密钥分发方案(Quantum Deterministic Key Distribution,QDKD),该方案充分利用量子纠缠交换的原理,通过对三对Bell态进行纠缠、测量操作,并辅以经典信息实现确定性密钥的分发,方案中任何窃听行为都会被及时发现。同基于两对Bell态纠缠交换的QDKD方案相比,协议利用三对Bell态并使用两种方法实现确定性密钥信息的分发。分析结果表明,方案仅用到两粒子纠缠态,没有涉及任何幺正操作,操作性强,密钥分发效率高。     

带混合误差的Ishikawa迭代格式

将Ishikawa型迭代格式的收敛性问题推广到带混合误差的Ishikawa型迭代格式的情形 ,同时所用的证明方法和技巧有所改进     

The Problem of Weak Nuclear States

Governments are increasingly recognizing the problem posed by internally weak nuclear-capable states. The problem, however, is under-theorized. This article brings together literature on sovereignty and international order, the nonproliferation regime, and weak states, and introduces new concepts to provide a more structured understanding of this problem. Insight comes from focusing attention on the function and governance of two nuclear estates (termed the production and operational estates), and on their resilience to decay and disorder occurring within the state and society. Drawing on empirical observation, the authors suggest a typology of weakness in nuclear states, involving state fragmentation typified by the former Soviet Union, the “hard weak state” typified by North Korea, and the internally conflicted state typified by Pakistan. Although these types give rise to distinctive difficulties, their alleviation depends heavily on the maintenance of internal authority within the state and estates, the presence or absence of cooperative relations, and the international regulatory framework's vitality.     

Trinitarian troubles: governmental,military, and societal explanations for post-1945 Western failures in asymmetric conflicts

It seems paradoxical that powerful Western states are at their most vulnerable when the disparity in military capabilities between them and their opponents is at its largest. Yet it is precisely in such ‘asymmetric conflicts’ that Western countries have failed to achieve their overall political objectives the most often. Focusing on the post-1945 world, this article will examine governmental, military, and societal reasons for Western failures in asymmetric conflicts. Politicians' lack of understanding regarding war's fundamental nature, militaries' tendency to dissociate operational goals from grand strategy objectives and citizens' moral aversion to warfare appear to be among the main obstacles to success.     

ASLR机制脆弱性自动分析方法

地址随机化是一种针对控制流劫持漏洞的防御机制。已有的漏洞自动分析与利用技术缺少对地址随机化机制影响的分析,导致生成的测试用例在实际环境中的运行效果受到极大限制。针对地址随机化的缺陷及其绕过技术的特点,提出了一种地址随机化脆弱性分析方法。该方法使用有限状态机描述程序运行路径中各关键节点的状态;针对常见的内存泄漏与控制流劫持场景建立约束条件;通过求解内存泄漏状态约束与控制流劫持状态约束的兼容性,分析地址随机化机制在特定场景下的脆弱性。实验结果表明,该方法可有效检测通过内存泄漏导致的地址随机化绕过及控制流劫持攻击,实现自动化的地址随机化脆弱性分析,提高针对软件安全性分析的效率。     

The making of the EU Global Strategy

This article traces the evolution of the EU strategic reflection which culminated in the publication of the EU Global Strategy (EUGS) in June 2016. It explains the choices made by EU High Representative Federica Mogherini over this time period—including both the initial strategic assessment and the final EUGS. It provides a behind the scenes view on the players, the organization and the methods of work used to produce a strategic vision for the EU’s role in the world.     

Technical and proliferation‐related aspects of the dismantlement of Russian Alfa‐Class nuclear submarines

When does a state become a “nuclear weapon state”? How we choose to answer this question has significant implications for proliferation assessment, analysis, and policy. Traditionally, the standard demarcation line has been a state's first nuclear test, but in recent years analysts have increasingly focused instead on the accumulation of a significant quantity (SQ) of fissile material. The article argues that although the test/no-test indicator clearly has problems, its replacement by the SQ/no-SQ indicator would be highly counterproductive. The article instead proposes supplementing the traditional test/no-test indicator with a theory-driven approach that focuses on the incentives and disincentives to test.