海上课堂的别样味道

正对于经历过环球航行,访问过世界近30多个国家、累积航程40万余海里的"郑和"号远洋航海训练舰来说,4000余海里的航程,只是再普通不过的一次航行;对于正在"郑和"号远航训练舰上实习的海军大连舰艇学院的学员们来说,这却是一次极不寻常的航程。第一次填写航海日志,第一次值更,第一次帮厨……海上综合实习让海军大连舰艇学院的学员们体验了海上课堂的精彩。在这段普通又极不普通的航程中,未来的海军军官们感受到了来自大海的别样气息……     

对潜通信系统的发展动向

随着现代高技术的迅猛发展,日益增强了反潜能力和反潜兵器,而远离海岸航行于大洋和大海中的潜艇,特别对潜于水下３００～４００ｍ的战略弹道导弹核潜艇,要使其不间断地接受指挥中心的火力控制和通信信息,有效地对敌方实施攻击,或者安全地隐蔽于水下。因此,对潜通信的先进性、隐蔽性将显得特别突出。文章以超长波和极长波岸对潜通信存在的缺点为前提,主要论述光通信系统和中微子通信系统等新型对潜通信体制的发展动向问题。     

适应军队电话终端计费的管理系统

本文介绍一种适合在军队电话线路终端的计费与管理系统,说明其设计特点及主要应用软件。     

浅谈数列极限的定义与证明中的放大法

数列的极限,是无限与有限、定性与定量、任意与确定等辩证思想在数学中的一个具体体现.通过数列极限的学习,将使我们对变量数学的认识步入新的层次.     

基于深度优先搜索与增量式求解的极小一阶不可满足子式提取算法

随着寄存器传输级甚至行为级的硬件描述语言应用越来越广泛,基于一阶逻辑的可满足性模理论(Satisfiability Modulo Theories,SMT)逐渐替代布尔可满足性(Boolean Satisfiability,SAT),在VLSI形式化验证领域具有更加重要的应用价值。而极小不可满足子式能够帮助EDA工具迅速定位硬件中的逻辑错误。针对极小SMT不可满足子式的求解问题,采用深度优先搜索与增量式求解策略,提出了深度优先搜索的极小SMT不可满足子式求解算法。与目前最优的宽度优先搜索算法对比实验表明:该算法能够有效地求解极小不可满足子式,随着公式的规模逐渐增大时,深度优先搜索算法优于宽度优先搜索算法。     

榴弹搭载伞降子弹减旋特性分析

针对榴弹搭载伞降子弹减旋翼片的结构特点,分析了其所受力矩,建立了伞降子弹在减速减旋阶段运动微分方程,仿真计算得出了在此阶段子弹的转速-时间曲线,计算结果和实弹试验均表明减旋翼片能使子弹的转速在较短的时间内由几百转/s降至零,从而使子弹达到稳定工作状态,说明减旋翼片能够满足伞降子弹的减旋要求。最后,分析了不同展长和开伞点不同存速对减旋翼片减旋性能影响。     

关于算子方程Tx=y扰动分析的一些结果

在Banach空间中给出了一种相容算子方程解的误差估计 ,推广了矩阵扰动分析中的相应结果 .此外 ,利用Hilbert空间中算子M -P广义逆与算子的约化极小模之间的关系 ,给出了一些估计式 ,这些估计式对于分析不相容算子方程Tx =y的极小范数最小二乘解的扰动误差是有用的     

Fuzzy格(软代数)基数幂的刻划

在本文中,我们从两方面对Fuzzy格基数幂进行了研究。通过讨论有限偏序集X与Fuzzy格2~X的关系,得到了当X为软偏序集时,2~X必为Fuzzy格;通过引入E—非空概念,得到了关于Fuzzy格Y~X的重要刻划定理。     

我国军事卫星通信发展探讨

军事卫星通信是高技术局部战争条件下实现军事通信指挥的重要通信手段,本文讨论了我军卫星通信建设需要注意的问题以及必需重点研究的关键技术。