基于RSPWVD的多分量FM信号盲分离

针对多分量任意形式的调频(FM)信号,利用平滑重排伪wigner-ville分布(RSPWVD)作为时频分析工具,平滑可以抑制各信号之间的交叉项,但会引起信号项的平滑,降低时频聚集性,通过重排可以提高时频聚集性.把RSPWVD的结果作为图像,利用Viterbi算法作进一步处理,分离信号分量.仿真结果表明,在未知任何信号先验知识的条件下,可以准确分离各个信号分量,得到精确的瞬时频率(IF)估计.     

无人机携行备件品种确定方法

无人机在战场的应用日趋频繁,因此对其备件的保障日益迫切.在携行标准下,备件的品种大多采用定性的分析和逻辑判断法来确定.针对无人机的特点,建立无人机携行备件品种评价指标.通过层次和TOPSIS评价方法进行定量计算,得出无人机各备件的排序,以间接确定其备件的品种.该数学模型为携行备件品种的确定提供了一种更为科学、合理的方法.     

CPN仿真的C4ISR体系结构验证评估

在分析基于CPN (Colored Petri Net)仿真的体系结构验证评估过程的基础上,对体系结构产品到可执行模型的转换方法进行了探讨,并结合实例利用具体信息系统对其体系结构进行了逻辑验证、行为和效能评估.     

旧中国海军鱼雷艇部队发展史略

从清朝末年开始,中国海军就追随世界海军发展的潮流,着手购买和列装鱼雷艇.在此后的数十年间,清朝和民国先后向德国、英国及日本购买了50多艘鱼雷艇,并组建了鱼雷艇部队.在近现代的几次对外战争中,也多次出现过中国海军鱼雷艇的身影.由于种种原因,旧中国海军的鱼雷艇未能在战争中发挥出应有的作用.     

装备维修辅助决策中的模型库设计

在综合检测平台检测数据和装备日常使用维修登记信息的基础上,开发了装备维修辅助决策支持系统。主要研究面向对象的模型库系统,设计模型库的存储结构,在该结构中模型程序库文件、模型字典库和决策源数据相对分离,运行时动态调用。同时还规划了模型库管理系统的运行管理机制和流程。     

C4ISR系统需求模型化开发方法研究

本文分析了软件需求和军事需求之间的区别,论证了军事需求的独特性及其面临的问题,并结合我军指挥信息系统需求研究的实践,提出了C4ISR系统需求模型化开发方法,包括需求模型化的过程、需求模型的组成及描述方式.     

略论新世纪图书馆立身之本

在21世纪,图书馆只有以信息为基础,面向读者,提高效益,不断革新才能生存和发展。     

一种快速有效的循环平稳信号检测方法

TSAE-Z算法把时间切片自相关包络检测和可变步进的Zoom-FFT检测相结合,实现了对循环平稳信号的快速、精确检测,仿真结果表明,在相同数据长度条件下,TSAE-Z算法能够使检测运算时间减少3个数量级;在相同执行时间的条件下,TSAE-Z算法能在提高检测分辨率的同时使检测性能提升6dB以上。     

基于复杂背景的图像分割算法

针对圆柱形钢棒在线计数特定的复杂背景提出了基于双阈值结合数学形态学运算的分割算法。首先分别根据2个阈值进行分割得到2幅二值图像,然后根据目标是圆形以及其大致位置等先验知识分别对2幅图进行腐蚀,开启,闭合等数学形态学运算,最后将高阈值分割得到的图像中的边界信息叠加到低阈值分割得到的图像中。实验结果表明,本方法作为本系统的图像预处理是有效的。     

对一个重要极限证明中使用循环论证问题的质疑

有的著作认为在极限公式limx→0sinxx=1的证明中,要用到圆(扇形)的面积公式S=21Lr,而对后者的证明中必须要用到重要极限limx→0sinxx=1,从而犯了循环论证的错误。魏晋刘徽的“割圆术”是对无限问题的独特认识和致用的处理方式,是为证明圆面积公式而设计出来的一种方法。刘徽之前,希腊的阿基米德用穷竭法也证明了圆的面积公式。其中,刘徽的证法强调计算的程序性和构造性,而阿基米德则倾向于演绎的严谨性。这两种证明说明limx→0sinxx=1证明所谓的循环论证是可以避免的。