一种顺序PROLOG机系统结构的研究

文中概述顺序执行PROLOG程序的计算机的一种系统结构的研究和实现情况,主要包括一个扩充的顺序PROLOG的抽象执行模型、机器指令系统、编译型PROLOG数据库的研究与实现算法、实验系统YH-SIM-ES的设计与实现、以及一种支持快速回顾的PROLOG机硬件组织的研究。     

关于有限时间热力学的最小熵产生最大值原则

本文力图从能表征状态的热力学参数熵的变化中找到有关有限时间热力学新的分析方法,提出了工作参数选择的最小熵产生最大值原则。这个原则揭示了有限时间热力学以时间为基础的“率”与非平衡热力学熵产生间的内在联系。据此,我们便可得到正、反向内可逆卡诺循环的最佳工作参数。为有限时间热力学的普遍应用研究提供了一新的线索。     

某型制导炸弹实时仿真系统设计

采用训练仿真系统进行武器装备的维修和操作训练是当今装备的发展趋势。某型制导炸弹是我军即将装备部队的精确制导武器,为了提高训练质量、节约训练经费和延长装备寿命,迫切需要研制该型弹训练仿真系统。介绍了基于PC/104总线的该型制导炸弹实时仿真系统的软硬件设计与实现。该系统具有操作简单,模拟控制信号精确,检测迅速准确,可扩展性强等特点,满足了部队训练和院校实验室教学的要求。     

战车火控系统射击命中三要素函数误差分析

火控系统射击(函数)误差可分解为射弹散布函数误差和火控射击准备函数误差。而射击准备函数则是命中三要素函数即瞄准函数、解算函数和控制函数的合成函数。命中三要素的提出,为火控系统射击误差(精度)的分析提供了新的途径。它们均是命中目标的关键要素,又各具特色,为火控系统射击精度乃至系统反应速度的提高,指出了应该努力的方向。针对此进行了具体的分析。     

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系统设计及同步方法研究具有重要意义。     

The failure of defense planning in European Post-Communist Defense Institutions: ascertaining causation and determining solutions

By any objective measure, defense institutions in Central and Eastern Europe have all but universally been incapable of producing viable defense plans that are based on objective costing and operational planning data. This situation exists in spite the provision of considerable Western advice and assistance, let alone reporting to and receiving assessments by NATO’s International Staff under Partnership for Peace, as well as via the integrated defense planning and reporting systems. An explanation for this systematic failure across European post-Communist defense institutions can be found in the continued slow development of an over-arching policy framework which directs and approves all activities of the armed forces, as well as the de-centralization of financial decision-making down to capability providers. The essay ends with an examination of the adverse effects of the early introduction of planning programming, budgeting system (PPBS), have had on the development of effective policy and planning capabilities within these defense institutions.     

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

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

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.     

STCN的对岸打击时间协同冲突消解研究

为验证航空兵对岸打击中时间协同计划的可行性以及快速地调整时间协同计划,建立了任务间的简单时间约束网络(STCN),并转化成权值矩阵的形式.根据权值矩阵特点,提出了一种检测STCN一致性的权值矩阵法,大大降低了算法复杂度.为加快时间协同计划的调整速度,基于检测结果,提出了一种代价最小的冲突消解方法,避免了消解过程中的重复检测问题,提高了效率,使计划调整更加快捷高效.