反证法的历史沿革

反证法是数学中常用的一种证明方法。由于逻辑学中也存在同样的相关概念 ,所以分清反证法、归谬法以及反驳和证明之间的细微差别和联系 ,是很有必要的 ,并指出反证法不但是最重要的证明方法 ,而且同其它的证明方法一样也是进行科学积累和发现的源泉。     

空地作战地空导弹射击的一种仿真模型研究

空地作战仿真研究中,对地空导弹射击的仿真是非常重要的一环。给出了一种地空导弹对空中目标射击的建模方法,该方法对建立战役、战术级突防或防空仿真试验系统具有较强的实用性和适用性。     

Cu粉粒径及含量对Ni/MH电池负极放电性能的影响

为了提高Ni/MH电池中储氢电极的放电性能,以电解Cu粉为充填材料与活性物质混合制备电极,研究Cu粉粒径及含量对电极性能的影响。研究发现,Cu粉粒径越小,含量越高,电极的放电容量、高倍率放电性能、及在低温和高温下的放电能力均提高,且Cu充填电极的性能优于Ni充填电极。Cu充填电极中析氢反应的交换电流密度较大,过电势较小,说明其电催化活性好,电极反应阻力小。SEM分析发现,充放电循环后的Cu充填电极,其储氢合金颗粒表面覆盖着一层细小Cu颗粒和丝状物,这是电极性能提高的主要原因。     

箔条质心干扰与舰空导弹综合反导兼容性研究

为从战术角度解决舰载箔条质心干扰和舰空导弹综合反导过程中存在的互扰问题,从理论角度对兼容反导可行性进行了探讨,其中着重就综合反导空域兼容进行建模判定,得出了空域兼容性分析的一般方法,并结合不同作战环境和舰艇机动情况对该方法进行仿真试验,得出了箔条质心干扰和舰空导弹反导战术兼容使用原则和结论.     

带扫描装置的末制导导弹控制系统

为增加舰艇摇摆状态下导弹捕获目标的概率,通过对舰空导弹在随机扰动条件下跟踪系统正确瞄准并捕获目标的末制导算法进行阐述,从实现所需要的导弹飞行轨迹出发,提出了自动驾驶仪的控制律,并给出针对快速性的最优制导的飞行轨迹仿真结果.     

Assessing the value of demand sharing in supply chains

We consider the problem of assessing the value of demand sharing in a multistage supply chain in which the retailer observes stationary autoregressive moving average demand with Gaussian white noise (shocks). Similar to previous research, we assume each supply chain player constructs its best linear forecast of the leadtime demand and uses it to determine the order quantity via a periodic review myopic order‐up‐to policy. We demonstrate how a typical supply chain player can determine the extent of its available information in the presence of demand sharing by studying the properties of the moving average polynomials of adjacent supply chain players. The retailer's demand is driven by the random shocks appearing in the autoregressive moving average representation for its demand. Under the assumptions we will make in this article, to the retailer, knowing the shock information is equivalent to knowing the demand process (assuming that the model parameters are also known). Thus (in the event of sharing) the retailer's demand sequence and shock sequence would contain the same information to the retailer's supplier. We will show that, once we consider the dynamics of demand propagation further up the chain, it may be that a player's demand and shock sequences will contain different levels of information for an upstream player. Hence, we study how a player can determine its available information under demand sharing, and use this information to forecast leadtime demand. We characterize the value of demand sharing for a typical supply chain player. Furthermore, we show conditions under which (i) it is equivalent to no sharing, (ii) it is equivalent to full information shock sharing, and (iii) it is intermediate in value to the two previously described arrangements. Although it follows from existing literature that demand sharing is equivalent to full information shock sharing between a retailer and supplier, we demonstrate and characterize when this result does not generalize to upstream supply chain players. We then show that demand propagates through a supply chain where any player may share nothing, its demand, or its full information shocks (FIS) with an adjacent upstream player as quasi‐ARMA in—quasi‐ARMA out. We also provide a convenient form for the propagation of demand in a supply chain that will lend itself to future research applications. © 2014 Wiley Periodicals, Inc. Naval Research Logistics 61: 515–531, 2014     

贯彻强军目标 创设良好思想政治工作环境

强军目标是新时期军队建设的行动纲领。思想政治建设必须围绕强军目标展开。军队思想政治工作受所处环境的影响和制约。贯彻强军目标创设良好的思想政治工作环境,首先要从本单位自身做起,建设净化优美的军营“小环境”,塑造军营环境的“奋斗之关”“陶冶之美”“形象之美”,增强思想政治工作环境的推动力、感染力和约束力。     

舰艇编队协同反导队形配置优化研究

随着舰艇编队网络中心作战模式的产生与发展,其队形配置问题必须重新给予考虑。首先介绍了网络化反导作战系统的远程数据作战能力;其后,从指挥通信、火力掩护和一次耦合杀伤区3个方面给出舰舰间距的约束条件,以远程数据作战条件下编队舰空导弹杀伤区增量最大为优化目标,建立编队舰舰间距优化模型,并在此基础上结合电子干扰的要求,给出了编队队列角的最优范围解算方法;最后,在一定的战场假设下,通过示例的方式对模型的有效性与适应性进行了验证。     

中温石墨流态床热处理炉的加热装置与电极设计

本文以笔者早年设计的小型石墨流态床热处理炉(LTR)和随后研制大功率炉的经验,讨论加热装置的最佳方案和电极设计的有关问题,通过理论分析和试验,给出950℃以下的温度-电阻曲线和屏蔽电极区间的电压-幂次和电阻-幂次曲线。     

提高理工科学生听力水平的探讨

本文紧紧围绕目前理工科学生实际听力水平状况,详细分析了影响理工科学生听力水平提高的两大制约因素,即语言因素和心理因素;讨论了语言教师针对这两大因素如何加强听力教学;最后根据全国四、六级英语统考题型,提出了听力测试中的有关技巧。