与时代同步的郑观应军事论述

郑观应是中国近代著名的实业家,他提出了一系列与时俱进的军事观。本文对其军事论述的重点进行了梳理,剖析其关于加强武装力量建设,加强海防边防建设和建立军校,派出留学生以培养近代军事人才等方面的重要观点和论述。     

最优停止理论中离散化方法的应用

离散化方法是研究连续参数最优停止理论和马尔可夫过程最优停止理论的有效方法。本文对这一方法进行了阐述，并用此方法解决了两个实际问题。     

流过泰氟隆烧蚀表面的化学非平衡粘性激波层数值研究

本文对有泰氟隆烧蚀的化学非平衡粘性激波层流场进行了数值模拟。应用空间推进与总体迭代相结合的求解方法，采用１９组元、２９种反应的空气—泰氟隆化学反应系统，对化学非平衡粘性激波层流场与泰氟隆壁面烧蚀传热过程进行耦合求解，研究了平衡催化壁和非催化壁条件对粘性激波层烧蚀流场的影响。     

机载多目标攻击武器系统作战飞行程序设计

机载多目标攻击武器系统是当今航空武器系统研究的重点和发展的标志 ,其作战飞行程序设计是系统顶层设计的主要内容之一。综合了已有的研究成果 ,绘制了机载多目标攻击武器系统的功能逻辑流程图。在此基础上 ,采用模块化设计思想 ,进行了机载多目标攻击武器系统的作战飞行程序的组织结构设计 ,并阐述了基于表驱动和时间刻度管理的系统任务调度技术。     

垂直惯性基准零位安装误差的校正模型

通过空间矢量法 ,推导出在舰载武器系统中由于垂直惯性基准零位安装误差所引入的坐标变换误差的解析式 ,并给出了误差校正公式     

提高装备战备完好性的新举措——综合诊断

介绍了国外正在发展的一种提高武器系统战备完好性的新设计与管理思想和采取的措施一综合诊断,对其涵义、特点、实施途径和诊断方案作了简要说明,对综合诊断的权衡方法进行了深入的研究,并开发出了综合诊断权衡辅助程序,指出了在我军开展综合诊断工作的必要性并提供了几点建议。     

An (s,S) model for inventory with exponential lifetimes and renewal demands

Inventory control of products with finite lifetimes is important in many modern business organizations. It has been an important and difficult research subject. Here, we study the (s, S) continuous review model for items with an exponential random lifetime and a general renewal demand process through a Markov process. We derive a fundamental rate conservation theorem and show that all the other system performance measures can be obtained easily through the expected reorder cycle length. This leads to a simple expression for the total expected long run cost rate function in terms of the expected reorder cycle length. Subsequently, we derive formulas for computing the expected cycle lengths for the general renewal demand as well as for a large class of demands characterized by the phase type interdemand time distribution. We show analytically when the cost as a function of the reorder level is monotone, concave, or convex. We also show analytically that, depending on the behavior of the expected reorder cycle, the cost as a function of the order‐up level is either monotone increasing or unimodal. These analytical properties enable us to understand the problem and make the subsequent numerical optimization much easier. Numerical studies confirm and illustrate some of the analytical properties. The results also demonstrate the impact of various parameters on the optimal policy and the cost. © 1999 John Wiley & Sons, Inc. Naval Research Logistics 46: 39–56, 1999     

基于生成对抗网络的多智能体对抗仿真建模方法

多智能体对抗仿真建模技术在军事上具有重要作用,其中强化学习深度增强网络(DQN)是重要的建模技术.随着体系对抗建模中环境输入信息及智能体数量的增加,DQN的复杂性不断增长,而单纯采用强化学习技术只能通过极度稀疏的对抗胜负结果提供反馈进行训练,模型训练的收敛速度是一个难题.探讨在多智能体对抗建模中采用基于生成对抗网络(G...     

A worst‐case formulation for constrained ranking and selection with input uncertainty

In this research, we consider robust simulation optimization with stochastic constraints. In particular, we focus on the ranking and selection problem in which the computing time is sufficient to evaluate all the designs (solutions) under consideration. Given a fixed simulation budget, we aim at maximizing the probability of correct selection (PCS) for the best feasible design, where the objective and constraint measures are assessed by their worst‐case performances. To simplify the complexity of PCS, we develop an approximated probability measure and derive the asymptotic optimality condition (optimality condition as the simulation budget goes to infinity) of the resulting problem. A sequential selection procedure is then designed within the optimal computing budget allocation framework. The high efficiency of the proposed procedure is tested via a number of numerical examples. In addition, we provide some useful insights into the efficiency of a budget allocation procedure.     

众核处理器访存链路接口的FPGA验证

面向众核处理器提出一种访存链路接口的现场可编程门阵列(Field-Programmable Gate Array,FPGA)验证平台,用于对处理器访存链路关键部件进行功能及可靠性测试。提出片上读写激励自动产生与检查机制、以太网接口硬件用户数据报协议(User Datagram Protocol,UDP)协议栈和FPGA芯片间多通道并行链路三项关键技术并进行设计实现。实验结果表明提出的各项关键技术功能正确,不仅丰富了功能验证中随机激励产生及结果验证的手段,而且实现了对链路数据检错和多lane间延迟偏斜纠正逻辑的可靠性测试与评估。经过该平台验证的访存链路接口在实际芯片中通过了功能正确性测试,证明了验证的有效性。