A model of the international arms market∗

Sales of arms are a significant component of international trade and raise a range of pressing policy issues. After a short review of the market, this paper provides a formal model of the trade which allows for competing forward‐looking suppliers whose welfare depends on both the economic benefits from the sales and the security repercussions of recipient behaviour. The recipient's behaviour depends on its military capability, a function of the stock of arms it has acquired. We first examine a myopic recipient, whose behaviour depends on current stocks, then a forward looking recipient for whom questions of the time‐consistency and the credibility of supplier threats to embargo or promises to resupply become crucial. Finally we examine the impact of supplier cooperation of the sort currently being discussed in the UN Security Council.     

近似平面场景多视点图像拼接算法

以小型无人机对地观测为应用背景,研究了近似平面场景多视点图像拼接问题。对于已知粗略相机位姿的情况,提出一种融合相机位姿信息和图像特征点对应信息的方法,采用直接稀疏Cholesky分解方法求解拼接全局优化问题。由该方法得到的拼接结果没有全局变形,局部拼接误差也得到了明显的改善。对于相机位姿未知的情况,先采用structure-from-motion(SFM)方法恢复相机姿态和场景稀疏结构信息,再采用稀疏全局调整方法获得最终的图像变换参数。通过沙盘图像和真实的航拍图像拼接实验验证了算法的有效性。     

Keep the change: Counterinsurgency,Iraq, and historical understanding

This article explores the historical reasoning behind counterinsurgency thinking, particularly as applied to Iraq, using Douglas Porch's book, Counterinsurgency: Exposing the Myths of the New Way of War as a reference point. It argues that the classic historical analogies of counterinsurgency theory were inapt in dealing with the conflict in Iraq, and that the historical reasoning behind counterinsurgency more generally deserves greater scrutiny. Not only are the analogies of questionable applicability, but the evidence of causation in prior conflicts is ultimately unproveable. In the end, Counterinsurgency theory and the US Army's Field Manual 3-24 on Counterinsurgency were politically useful during the ‘Surge’, beginning in 2007, but remain intellectually and historically problematic.     

“三色图”的一个充分条件

文中证明了定理:若图G中不存在与K_4同胚的子图,则其色数X(G)≤3,进而得到三色图的一个充分条件。只要能证明与上述定理类似的一个定理:“若图G中不存在与K_5同胚的子图,则其色数X(G)≤4”,则世界著名的“四色猜想(4CC)”即得证。     

基于摄影图像的三维信息提取技术研究

通过摄影成像的坐标系统与三维坐标计算方法的研究 ,应用“特征点选取 ,多角度摄影 ,对应点匹配”图象测试模型特征点标记的匹配法 ,给出了在桨叶型值点精度测试中的试验结果 ,并对桨叶应力试验图像测试的精度与灵敏度作了分析     

以对象Petri网为基础的C3I仿真系统的设计和实现

Petri网是描述具有分布、并发、异步特征的系统的有效工具.提出了对象Petri网(OPN)的概念,并对基于OPN的C3I仿真系统结构、设计及实现,作了较为详细的探讨.     

甲基二氯硅烷甲醇醇解产物含量的红外与核磁共振分析

本文对二甲苯溶剂中ＭｅＳｉＨＣｌ２ 和甲醇的反应产物Ｍｅ （ＯＭｅ）２ＳｉＨ 及ＭｅＳｉ（ＯＭｅ）３ 作了红外和核磁共振分析， 结果表明： 以红外谱图中Ｓｉ－Ｈ 和苯环吸收带作为含量分析谱带， 采用比例法， 借助工作曲线，可确定反应产物的含量。亦可以通过对各组分处于不同化学位移下质子的核磁共振分析，采用归一化法，经过换算测定反应产物混合液中各组份含量。两种测定方法均简便快捷， 并对两法的测定结果作了分析比较。     

烧结助剂对热压SiCw/Si3N4复合材料性能的影响

本文通过热压的方法分别制得以Ｙ２Ｏ３－Ａｌ２Ｏ３和Ｙ２Ｏ３－Ｌａ２Ｏ３为烧结助剂的ＳｉＣｗ／Ｓｉ３Ｎ４陶瓷基复合材料，对比了采用不同种类及含量的烧结助剂的ＳｉＣｗ／Ｓｉ３Ｎ４复合材料的性能结果，发现烧结助剂的种类及含量对ＳｉＣｗ／Ｓｉ３Ｎ４复合材料的弯曲强度和断裂韧性有明显的影响，对高温弯曲强度的影响尤为显著。     

低Ni/改性Al2O3催化剂表面性质表征

本文用氧吸附法和程序升温脱附（ＴＰＤ）法分别考察低Ｎｉ／改性Ａｌ２Ｏ３催化剂的分散度，环已烷和苯的吸附脱附性能。结果表明：该催化剂分散性好，表面至少存在两种吸附中心。苯、环已烷在该催化剂的表面上属于一级可逆吸附脱附过程，催化剂表面能量分布不均匀。     

三维高超音速干扰流场数值模拟与实验验证

采用Osher Chakraverthy的TVD格式、Baldwin Lomax湍流模型和LU SSOR隐式方法求解了完全NS方程 ,数值模拟了三维高超音速绕流与横向喷流干扰流场。并在高超音速炮风洞中开展了喷流实验研究 ,对该喷流流场的数值计算结果进行实验验证