可信软件研究

可信软件是近年来软件工程领域研究的热点,装备软件可信性的研究有助于提升我国国防武器装备的作战效能。首先分析了进行装备软件可信相关研究的必要性;然后阐述可信软件技术的研究现状,主要包括软件可信度量和评估、可信软件的构造与验证、可信软件的演化与控制等三个方面;最后分析了研究可信装备软件面临的挑战。     

William and John Pickering and the garniture made for the Prince of Brunswick under their supervision at the Royal ‘Almain’ Armoury at Greenwich, 1610 to 1612

Abstract

The princely garniture ‘commanded’ to be made by Prince Henry Frederick for his cousin, Prince Friedrich Ulrich, later Duke of Brunswick, from the Royal ‘Almain’ Armoury at Greenwich, during the stewardship of the Master Armourer, William Pickering, his son, John, and the men of the Greenwich workshop, is described, illustrated and discussed. Accounts are presented of the lives and work of the Pickerings and the evidence is reviewed for the manufacture of this last decorated garniture of the Greenwich School.     

Military Power: A Reply

This article argues that the prewar planning process for postwar Iraq was plagued by myriad problems, including a dysfunctional interagency process, overly optimistic assumptions, and a lack of contingency planning for alternative outcomes. These problems were compounded by a lack of civilian capacity during the occupation period, which led to a complicated and often uncoordinated relationship with the military authorities who found themselves taking the lead in many reconstruction activities. Taken together, these mistakes meant that US success on the battlefield was merely a prelude to a postwar insurgency whose outcome remains very much in doubt more than three years later.     

Inequality‐based reliability estimates for complex systems

Full‐system testing for large‐scale systems is often infeasible or very costly. Thus, when estimating system reliability, it is desirable to use a method that uses subsystem tests, which are often less expensive and more feasible. This article presents a method for bounding full‐system reliabilities based on subsystem tests and, if available, full‐system tests. The method does not require that subsystems be independent. It accounts for dependencies through the use of certain probability inequalities. The inequalities provide the basis for valid reliability calculations while not requiring independent subsystems or full‐system tests. The inequalities allow for test information on pairwise subsystem failure modes to be incorporated, thereby improving the bound on system reliability. We illustrate some of the properties of the estimates via an example application. © 2013 Wiley Periodicals, Inc. Naval Research Logistics, 2013     

Notes on contributors

In 1897 and 1898, Winston Churchill participated in what late Victorian Britain termed ‘small wars’, first on India's northwest frontier and then in the vast wasteland of the Sudan. Churchill chronicled his experiences in these conflicts in personal letters, dispatches to newspapers, and in his first two books, The Story of the Malakand Field Force and The River War. These writings provide a snapshot of a particular period in the formative years of the great statesman, demonstrating through Churchill's eloquent analyses many of the contradictions concerning the conduct of small wars that have emerged in the present era.     

空间重采样的宽带多重信号分类算法高分辨方位估计

空间重采样法是宽带恒定束宽波束形成的一种重要方法,采用声矢量阵推导了基于空间重采样的宽带MUSIC算法,并和相干子空间FFT插值法做了仿真比较,结果表明,所提算法的性能优于FFT插值法,表现为更低的分辨信噪比门限和估计均方误差上.     

PXI计算机在一体化多模式发控系统中的应用

针对一体化火控系统的特殊性,提出了基于PXI计算机的发控技术,介绍了PXI总线计算机在一体化火控系统中的设计理念及其在一体化火控系统中的功能实现.应用表明,PXI计算机在火控系统测控领域具有广阔的应用前景.     

基于压缩估计的单星观测定轨方法研究

分析了单星观测模式下的天基测控系统的可行性,并针对该观测模式下轨道确定中法矩阵的特点,提出了一种基于压缩估计的定轨方法,该方法对法矩阵进行变换,避免了法矩阵奇异造成的误差传递。证明了当满足一定条件时,该压缩方法的估计精度要高于传统的定轨方法。并结合单星观测的特殊性,提出了误差传递因子,设计了单星观测下的压缩估计定轨算法。最后以单星模式下的天基测控系统作为仿真背景进行了仿真试验。结果表明,该压缩估计可有效提高单星观测模式下的轨道确定精度。     

高校课堂问题行为产生原因及解决措施

高校课堂问题行为在高校课堂教学中比较普遍,课堂问题行为具有一定的特征和不同的表现形式,分析了课堂问题行为产生的原因,并从营造良好的课堂行为、控制课堂问题行为、建立良好的师生关系等方面提出了应对课堂问题行为的有效措施.     

Insights from a Database of Lashkar-e-Taiba and Hizb-ul-Mujahideen Militants

This article uses a novel database of 1,625 posthumously published biographies of members of two Islamist militant organizations (Lashkar-e-Taiba (LeT) and Hizb-ul-Mujahideen (HM)), all of whom were killed in the course of carrying out militant attacks. In general, each biography provides data on the militant’s birthplace, education, recruitment, and training. The number of observations in this database is a full order of magnitude larger than those of previous databases assembled from militant biographies. While the sample of militants in this database is the product of multiple selection effects, analysis of the database undermines many common myths about Pakistani militants and casts doubt on current policy approaches to mitigating Islamist militancy in Pakistan.