一种基于核心数据区监视的交叉验证方法

通常商用体系结构模拟器不开源,仿真过程中无法直接获取中间结果.提出了一种基于核心数据区监视的交叉验证方法,可将体系结构模拟器运行过程中核心数据区的变化情况提取出来,用以支持该模拟器与寄存器传输级代码的模拟结果进行交叉比对,快速精确定位两者的执行差异,提高验证人员的查错效率.实验分析和实际应用表明,本方法比传统方法可将查...     

Wisdom without tears: Statecraft and the uses of history

The world is mired in history again, as historical modes of competition return and historical grievances fuel the policies of multiple revisionist actors. If the end of history has ended, then it follows that the time is ripe for an engagement with history’s wisdom. We argue that the making of American statecraft—the deliberate, coordinated use of national power to achieve important objectives—can be significantly enhanced by a better understanding of the past. This essay, which draws on the extensive literature on history and statecraft, U.S. foreign policy, and the author’s own research and experiences, offers a defense of the use of history to improve statecraft, as well as a typology of ten distinct ways in which an understanding of history can improve government policy.     

Some implications of pricing bundles

In this article, we consider a problem in which two suppliers can sell their respective products both individually and together as a bundle, and study the impact of bundle pricing. Four pricing models (centralized, decentralized, coop–comp, and comp–coop) are analyzed with regard to the competition formats and sequences. As one would expect, the firms are always better off when pricing decisions are centralized. However, rather surprisingly, we find that firms may be worse off if the bundle prices are set in a cooperative way; we provide analytical characterization of those instances. Numerical studies show that these insights also hold for some nonlinear demand. © 2013 Wiley Periodicals, Inc. Naval Research Logistics, 2013     

Research communication

A UK House of Commons Defence Committee (HCDC) Report on the Gulf War recommended that the UK should be self‐sufficient in supporting its Armed Forces in times of crisis and not even rely on its Allies. This recommendation is at odds with UK Government policy which rejects any formal strategy of support for the defence industrial base preferring international open competition as its procurement philosophy. This paper examines the various factors ranging from the supply of raw materials, production capacity, stockpiling, international joint ventures, and competition through to the effects on the technological update of weapon systems resulting from this philosophy. It draws conclusions supporting the HCDC recommendation and calls for joint MOD‐Industry action to address the issues involved and thereby reduce the risks to the Defence of the Realm.     

Rent‐seeking models of international competition: An experimental investigation*

This paper experimentally tests a number of hypotheses that follow from models of international competition that are based on Tullock style rent‐seeking models. Specifically, we designed and performed experiments to see how variations in the degree of publicness in the prize as well as changes in the values assigned to the prize affect alliances in terms of individual nation contributions, total contributions, burden sharing, and the likelihood of winning the prize. While there was substantial variation in individual behavior, the results of the experiments generally conform to the theoretical predictions of the rent‐seeking model of international competition and alliances.     

Deferred verification: the role of new verification technologies and approaches

ABSTRACT

Researchers have recently proposed a new approach to nuclear-arms-control verification, dubbed “deferred verification.” The concept forgoes inspections at sensitive nuclear sites and of nuclear weapons or components in classified form. To implement this concept, a state first divides its nuclear program into a closed segment and an open segment. The total fissile-material inventory in the closed segment, which includes the weapon complex, is known and declared with very high accuracy. Essentially no inspections take place in the closed segment. In contrast, inspectors have access to the open segment, which includes in particular the civilian nuclear sector. The fissile-material inventory in the open segment is known with less accuracy, but uncertainties can be reduced over time using nuclear-archaeology methods. Deferred verification relies primarily on established safeguards techniques and avoids many unresolved verification challenges, such as the need for information barriers for warhead confirmation measurements. At the same time, deferred verification faces some unique challenges. Here, we explore some of these challenges and offer possible solutions; to do so, we examine possible noncompliance strategies in which a state would seek to withhold a higher-than-declared inventory.     

VERIFIABILITY,RELIABILITY, AND NATIONAL SECURITY

The rejection of the Comprehensive Nuclear-Test-Ban Treaty (CTBT) by the U.S. Senate in October 1999 could have been avoided, and the consequences of that vote still loom in the minds of supporters of the treaty. President Barack Obama has embraced the vision of a world free of nuclear weapons, and a key element of the Obama administration's arms control agenda is delivering on U.S. CTBT ratification. In order to secure the two-thirds majority in the Senate necessary to ratify the treaty, senators that remain skeptical of nuclear disarmament must also be convinced that the entry into force of the CTBT is in the national security interest of the United States. This article provides an analysis of the issues surrounding U.S. CTBT ratification divided into three segments—verifiability of the treaty, reliability of the U.S. stockpile, and the treaty's impact on U.S. national security—and concludes that CTBT ratification serves the security objectives of the United States. The CTBT constitutes an integral component of the multilateral nonproliferation architecture designed to prevent the proliferation of nuclear weapons, and it constrains the qualitative development of nuclear weapons, thereby hindering efforts by states of concern to develop advanced nuclear weapons.     

用随机仿真方法验证液体火箭发动机静特性数学模型

以某泵压式液体火箭发动机为研究对象，用试车数据对发动机静特性数学模型进行了验证，在验证模型时既考虑了外部干扰因素的实际测量误差范围和内部干扰因素的实际变化范围，又考虑了发动机参数实测量的误差范围，并且使用了随机仿真的方法。验证结果表明，发动机静特性的非线性数学模型是足够准确的，所用的计算方法是合理的。     

关于战术导弹的储存可靠性问题

本文依据战术导弹储存可靠性的研究与实践,结合导弹的特点,论述了储存状态的界定,储存可靠性的有关基本概念和有关指标。探讨研究了导弹储存可靠性的储存条件与方式、试验验证与数据库等问题。     

指挥控制的形式化描述与性质验证

在分析了IDEF0基本模型及其军用模型的基础上,结合面向对象的分析方法,提出了一个通用的指挥控制对象的概念模型,并采用形式化描述语言LOTOS(LanguageofTemporalOrderingSpecification)和基于动作的时序逻辑ACTL(ActionBasedTemporalLogical)对系统进行了形式化描述和性质验证。这为C4ISR系统的需求描述和验证提供了一种新的思路和方法。