电子战仿真模型库系统建设方法

电子战仿真模型库系统提供经过校验的、可重用的模型,能够提高电子战模型和仿真设计与实现的效率和质量。总结分析了国内外相关的研究与开发工作,探讨了电子战仿真模型库系统的建设方法。其中,定义了电子战仿真模型设计规范的内涵,并通过示例展示了统一建模语言在电子战仿真模型设计规范描述中的应用;讨论了电子战仿真模型库系统功能、体系结构和安全性的设计方法。     

Optimal allocation of minimal repairs in parallel and series systems

In reliability engineering, the concept of minimal repair describes that the repair brings the failed unit (eg, system or component) to the situation which is same as it was just before the failure. With the help of the well‐known Gamma‐Poisson relationship, this paper investigates optimal allocation strategies of minimal repairs for parallel and series systems through implementing stochastic comparisons of various allocation policies in terms of the hazard rate, the reversed hazard rate, and the likelihood ratio orderings. Numerical examples are presented to illustrate these findings as well. These results not only strengthen and generalize some known ones in the seminal work of Shaked and Shanthikumar, but also solve the open problems proposed by Chahkandi et al.'s study and Arriaza et al.'s study.     

Contracts and coordination: Supply chains with uncertain demand and supply

Considering a supply chain with a supplier subject to yield uncertainty selling to a retailer facing stochastic demand, we find that commonly studied classical coordination contracts fail to coordinate both the supplier's production and the retailer's procurement decisions and achieve efficient performance. First, we study the vendor managed inventory (VMI) partnership. We find that a consignment VMI partnership coupled with a production cost subsidy achieves perfect coordination and a win‐win outcome; it is simple to implement and arbitrarily allocates total channel profit. The production cost subsidy optimally chosen through Nash bargaining analysis depends on the bargaining power of the supplier and the retailer. Further, motivated by the practice that sometimes the retailer and the supplier can arrange a “late order,” we also analyze the behavior of an advance‐purchase discount (APD) contract. We find that an APD with a revenue sharing contract can efficiently coordinate the supply chain as well as achieve flexible profit allocation. Finally, we explore which coordination contract works better for the supplier vs. the retailer. It is interesting to observe that Nash bargaining solutions for the two coordination contracts are equivalent. We further provide recommendations on the applications of these contracts. © 2016 Wiley Periodicals, Inc. Naval Research Logistics 63: 305–319, 2016     

一种改进的事件驱动系统框架

在给出事件驱动系统安全漏洞的基础上,指出了产生漏洞的根本原因是:系统忽视了输入系统的事件序列之间存在的相关性;系统无条件信任任何事件源产生的事件.针对这两个原因,相应提出了事件序列形式安全分析模型及基于事件源的可信度评估模型,依据这两个模型,构建了一种改进的事件驱动系统框架.     

学习改革开放光辉历史坚定中国特色社会主义信念

改革开放30年的光辉历史,写下一个结论、证明一个事实、揭示一个真理、凝聚一个共识,昭示我们必须坚定不移地高举中国特色社会主义伟大旗帜;坚定不移地坚持和维护中国共产党的领导;牢固树立和深入贯彻落实科学发展观;有效履行我军历史使命,努力为中国特色社会主义建设做贡献。     

新时期加强民用车辆征用工作的几点思考

本文通过对民用车辆征用工作现状和存在问题的分析,从如何明确民用车辆征用需求、掌握民用车辆资源潜力、确定民用车辆征用标准、加强征用演练以及做好征用预案编制工作等方面提出了一些对策建议。     

高校现代教育技术应用现状及发展趋势

通过对高校现代教育技术应用现状的分析,阐述了高校现代教育技术应用的发展趋势。     

惰性气体扩散系数的物理力学计算

根据本文方法求出的惰性气体原子间的相互作用势,计算了He-Ne、He-Ar、He-Kr、He-Xe等气体的扩散系数。其结果与实验值符合得很好,相对误差都在2%以下。     

地基拦截弹对真目标进行拦截时的制导方案分析

讨论了地基拦截弹对真目标（中近程弹道式导弹）进行拦截时的制导方案。根据拦截弹的飞行特点,将拦截过程分为初始段、中间段和拦截段,并采取了相应的制导方案。仿真结果表明,拦截具有较高的精度和良好的弹道特性,此方案是可行的。     

VLSI与电子系统的层次化可测性设计

论述了一种对电子系统VLSI自顶向下的层次化自动化测试方法及层次化自测试的概念和相应的可测试性设计结构,并讨论了数模混合集成电路的可测试性设计问题。