发挥图书馆在军校素质教育中的作用

提高军校学员的综合素质,实施素质教育,其任务不仅是文化的传递和能力的培养,而要在传授知识、发展能力的基础上,着重培养学员的人文精神和科学素养.文章论述了图书馆在加强军校素质教育中的作用、功能以及具体措旌.     

Two novel critical shock models based on Markov renewal processes

In this paper, we investigate systems subject to random shocks that are classified into critical and noncritical categories, and develop two novel critical shock models. Classical extreme shock models and run shock models are special cases of our developed models. The system fails when the total number of critical shocks reaches a predetermined threshold, or when the system stays in an environment that induces critical shocks for a preset threshold time, corresponding to failure mechanisms of the developed two critical shock models respectively. Markov renewal processes are employed to capture the magnitude and interarrival time dependency of environment-induced shocks. Explicit formulas for systems under the two critical shock models are derived, including the reliability function, the mean time to failure and so on. Furthermore, the two critical shock models are extended to the random threshold case and the integrated case where formulas of the reliability indexes of the systems are provided. Finally, a case study of a lithium-ion battery system is conducted to illustrate the proposed models and the obtained results.     

MBDS的一种实现方法

给出一种基于模型故障诊断的实现方案——MCIES,着重介绍MCTES所采用的建模方法和推理策略,最后介绍该系统各组成模块的功能。     

面向C程序的测试用例自动生成实现

软件测试工具很难达到通用的目标,大多数该类工具都是具体针对某一种或几种程序语言的.对于目前我军常用的程序编写语言开发相应的软件自动测试工具是十分必要的.介绍了一个面向C程序的测试用例自动生成系统,重点阐述了其系统结构的构成以及所采用的一个新的搜索寻优算法.该算法有效地改善了前有算法的一些缺陷,显示出不错的效果.     

火炮射表数据处理程序及使用说明

在文献［１－４］的基础上,给出火炮射表数据处理用ＴｒｕｅＢＡＳＩＣＣｏｍｐｉｌｅｒ实现的程序清单和与之相关的使用说明。并介绍该程序的组成、设计特点、主要变量和使用注意事项,以及数据文件的命名法。另外还详细讨论了程序故障诊断及维护问题。     

重视教学评价的形成性功能

从军队院校开展本科教学工作评价的实际出发,提出要重视教育评价的形成性功能.在教育教学的实践中落实本科教学工作评价标准,用本科教学工作评价标准指导日常教育训练工作.     

转换触发器功能的分离变量法

本文选择“转换逻辑”输入变量中的Q~n真作为分离变量来处理,把Q~n分离出来后,只需要通过简单的逻辑推理便可得到与通常使用的图形法及公式法相同的转换结果。     

双调和方程边界加权残值法及其应用

本文证明了可用复变函数的广义多项式逼近解析函数,并给出了用加权残值法解双调和方程的若干可供选择的试函数模式。文章还导出了广义调和函数系,并证明了它在平面边界上是一个完备系,可作为权函数系。将这种方法用于解各类边界板的弯曲问题和弹性平面问题,具有计算量较小、精度较高的特点。     

SDI,NATO, and the Social Composition Function

The strategic defense initiative (SDI) intends to renew the leadership of the USA on the western alliance. The initiative takes place in a period when a summation technology prevails for the aggregation of contributions of NATO allies. We investigate if SDI induces a shift in Hirshleifer’s social composition function. Panel data tests over the period 1970–1990 do not confirm any break toward a best-shot aggregator. SDI does not alter the core of deterrence. It is indeed a public good at the US level but not at the NATO level, where, it is one of the joint products of the alliance. We also investigate the lessons to be drawn for the current debates on ballistic defense.     

陆军作战仿真模型组件化设计

陆军作战仿真是一个复杂的系统工程,仿真所涉及的模型种类繁多、类别不一。针对当前陆军作战仿真模型开发不规范、通用性与可重用性差、开发和集成效率低的现状,在对陆军作战仿真模型构成要素进行分析和归纳的基础上,提出仿真模型组件化设计的建模方法、采用"方案-单元-实体-组件"方式的模型管理机制以及采用事件驱动、事件订购和分发方式的模型交互机制。