Analysis of the finite‐source multiclass priority queue with an unreliable server and setup time

In this article, we study a queueing system serving multiple classes of customers. Each class has a finite‐calling population. The customers are served according to the preemptive‐resume priority policy. We assume general distributions for the service times. For each priority class, we derive the steady‐state system size distributions at departure/arrival and arbitrary time epochs. We introduce the residual augmented process completion times conditioned on the number of customers in the system to obtain the system time distribution. We then extend the model by assuming that the server is subject to operation‐independent failures upon which a repair process with random duration starts immediately. We also demonstrate how setup times, which may be required before resuming interrupted service or picking up a new customer, can be incorporated in the model. © 2013 Wiley Periodicals, Inc. Naval Research Logistics, 2013     

基于星载照射源的被动SAR系统时频同步误差影响分析

时间和频率同步问题是基于星载照射源的被动SAR系统的关键技术之一。为了研究时、频同步误差对其成像的影响,针对系统工作特性,分析了时、频同步误差的产生机理,建立了时、频同步误差模型,并利用二阶距离模型和RD成像算法,建立了完整的时、频同步误差到成像结果的传递模型,仿真验证了理论分析的准确性。理论推导和仿真计算结果指出了基于星载照射源的被动SAR系统对时间同步和频率同步的精度要求。分析结论对于指导基于星载照射源的被动SAR系统设计及同步方法研究具有重要意义。     

YHFT-DX处理器全定制EDA技术的开发与应用

在YHFT-DX处理器的研制中,研究并实现了多项支撑全定制设计的EDA技术。针对全定制设计的功能验证,研究并实现了层次式功能模型自动提取技术,能够将晶体管级网表转化为等效的RTL级网表。研究并实现了晶体管级混合时序分析方法,可自动分析全定制设计的延时,并采用多线程并行的方法获得了约10倍左右的速度提升。为提高模拟结果分析的效率,开发了一个延时提取的工具Aimeasure。开发了两个信号完整性分析工具PNVisual和NoiseSpy,分别用于全定制设计的IR-Drop分析和噪声分析。上述技术已在YHFT-DX处理器的设计中得到了广泛应用,有效提高了全定制设计的效率与质量。     

Multinational counterinsurgency: the Western intervention in the Boxer Rebellion 1900–1901

This article proposes a case study of the multinational counterinsurgency operations that occurred in China during the Boxer Rebellion in 1900–1, to provide a better understanding of the political and military dynamics specific to this type of mission. The study focuses primarily on the nature of the cooperation on the ground, the various national approaches to counterinsurgency, and the asymmetry of strategic approach between the Westerners and the Chinese. A discussion is also proposed, highlighting that combined counterinsurgency is not per se an obstacle to the unity of command, but that politically international coalitions create unique challenges to counterinsurgency operations.     

光纤陀螺温度场分析及结构优化设计

从导热微分方程出发,建立了光纤陀螺温度场有限元模型,对模型进行了稳态温度场和瞬态温度场仿真分析。利用铂电阻测温电路对仿真结果进行实验验证,两者相对误差小于3%,证明仿真分析的结果是正确和有效的。针对光纤环温度场分布不均匀的情况,对光纤陀螺结构进行了优化设计。光纤陀螺在25℃环境中稳定工作时,稳态温度场分析结果表明,优化设计后光纤环最高与最低温度差为0.05℃,较优化前的0.19℃减小了73.7%;将陀螺置于60℃环境且处于非开机状态时,10min瞬态温度场分析结果表明,优化设计后光纤环最高与最低温度相差0.11℃,较优化前的0.19℃减小了42.1%。     

基于拉盖尔模型的超声信号渡越时间测量性能分析

传统窄带模型仅能通过数值计算统计出超声信号渡越时间的测量性能。针对这一问题,提出基于拉盖尔模型计算理论克拉下限的方法。研究了拉盖尔函数及其时间导数的性质,得到时间导数内积矩阵,并将其应用到费舍尔矩阵中,能够快速精确计算克拉下限。对混合指数模型仿真表明,在高斯白噪声背景下,渡越时间方差与理论克拉下限具有良好的一致性;受窄带噪声和反射等因素影响,实测数据的渡越时间方差与理论克拉下限存在较大偏差。     

基于pLSA模型的人体动作识别

提出一种基于主题模型的人体动作识别方法。该方法首先提取时空兴趣点(STIP,space-time interest point)来描述人体运动,然后提出使用慢特征分析(SFA, slow feature analysis)算法计算兴趣点梯度信息不变量最优解,最后使用概率潜在语义分析 (pLSA, probabilistic Latent Semantic Analysis) 模型识别人体动作。SFA计算的梯度不变量最优解可以表示时空兴趣点固有特征,能够无歧义反映时空兴趣点在空间及时间方向上的信息。同时,针对pLSA隐性主题正确性无法保证的缺点,算法将主题与动作标签“一对一”相关,通过监督方式得到主题,保证了训练中主题的正确性。该算法在KTH人体运动数据库和Weizmann人体动作数据库进行了训练与测试,动作识别结果正确率分别在91.50%和97%以上。     

基于OCSVM和MCSVM的新故障检测与诊断技术研究

针对SVM故障诊断方法无法对新故障模式进行有效检测的问题,在阐述OCSVM原理的基础上,详细分析了各种参数对其性能的影响,提出了基于OCSVM和多类分类MCSVM相结合的新故障检测与诊断方法．实验结果表明,该算法在故障诊断及新故障检测方面有较高的精度,具有良好的推广性．     

What determines military allocations in Africa: Theoretical and empirical investigations

This paper investigates theoretically and empirically the determinants of military spending in Africa. It specifies a formal model and uses time‐series and cross‐sectional estimations to ascertain the reasons behind variations in military allocations across and within 40 African countries during 1960–1991. The differences in military expenditures appear to reflect a complex of economic, political, and strategic factors at both national and international levels. Strategic considerations are, however, found to be the most important factors in most African countries.     

BUTTER,GUNS AND ICE‐CREAM THEORY AND EVIDENCE FROM SUB‐SAHARAN AFRICA

This paper is intended to complement the existing literature on civil wars. First, it presents a simple theoretical model of conflict that defines a two‐sector economy. In a contested sector, two agents struggle to appropriate the maximum possible fraction of a contestable output. In an uncontested sector, they hold secure property rights over the production of some goods. Agents split their resource endowment between ‘butter’, ‘guns’ and ‘ice‐cream’. Following the theoretical insights the empirical analysis focuses on the relationship between civil wars and different sectors of the economy. In particular, a panel probit specification shows that the incidence of a civil war decreases in the size of manufacturing sector.