计算机导论课的教学研究与实践

本文在分析课程改革的基础上 ,结合计算机基础教学在提高教学质量上所起的重要作用 ,对计算机导论课在近两年来所采取的教学改革手段和实践方法进行了详细论述     

有限维修能力下作战单元时变可用度评估模型

针对作战单元任务期内备件需求随任务阶段动态变化的现实情况,考虑作战单元因携行维修能力有限而导致可修件具有一定报废概率的影响,通过引入报废因子,建立两级保障体制下,故障件具有一定报废概率且不考虑外部补给的作战单元时变可用度评估模型。采用Extend Sim仿真软件进行计算,根据仿真值进行参数拟合得到模型中报废因子的近似解析表达形式。研究表明,报废因子能够适应不同的可靠性维修性参数值,模型具有较强的适应性。该模型有效解决了备件非平衡状态下的装备时变可用度评估问题,可为装备管理人员制定合理的保障方案提供支撑。     

指令制导防空炮弹启控点参数的确定方法

简要阐述了指令制导防空炮弹有控弹道控制模式,建立了鸭舵控制力和控制力矩作用下的有控弹道模型,研究了弹丸理想启控姿态和启控位置的确定方法,得到了确定理想启控位置的启控函数.数值仿真结果表明,该启控函数简单、快速,具有较高精度,易于计算机程序实现,弹丸有控弹道也可保持飞行稳定.研究结果对今后深入展开指令制导防空炮弹的研究和工程设计具有一定的参考意义.     

求解非对称线性方程组的 s-BiCR算法

在BiCR算法的基础上,提出了求解非对称线性方程组的s-BiCR算法。首先,给出了s-BiCR的基本计算框架,介绍了算法基本原理及参数求解方法;其次,通过分析s-BiCR中剩余向量与方向向量序列的基本性质,推导出减少参数求解计算量的方法,并在此基础上提出了一种更为高效的s-BiCR算法;最后,证明了s-BiCR的正确性,即在第i步产生的近似解与BiCR第is步产生的近似解是一致的,同时,通过性能分析发现,s-BiCR的同步通信次数与访存次数明显少于BiCR,说明该算法具有很好的并行特性和数据本地性。大量实验验证了s-BiCR的高效性和正确性。     

多视图作战系统描述模型

从适应面向作战任务的作战系统动态集成需求出发,针对缺乏对现有作战系统描述模型的现状,借鉴Zachman框架和C4ISR体系结构框架理论和方法,给出了作战系统的形式化描述,提出了一种新的多视图作战系统描述模型,并对各个视图给出详细的描述,为实现以作战任务为中心对作战系统的分析、评估与选择奠定了基础,最后进行了总结.     

DDBMS中的并发控制理论

本文叙述了并发控制的数学理论,以此达到两个目的:一是以精确的术语定义并发控制方法的正确性;二是把并发控制问题分解成两个更容易处理的子问题:读一写同步和写一写同步。为后继论文对分布式并发控制的分析和设计打下基础。     

自适应跳频通信受扰信道无源确认技术

及时确认被干扰信道是自适应跳频通信躲避干扰的前提。本文提出了一种受扰信道无源自适应预测评估算法 ,无需发射信号就可以识别干扰信道并预先躲避 ,从而提高了系统的抗干扰性能 ,方法简单 ,易于实现。     

辅助决策软件综合试验系统TTS－Ⅱ

ＴＴＳ－Ⅱ是一个基于Ｎｏｖｅｌ网的分布式处理系统,它能够一体化地完成舰用Ｃ２系统辅助决策应用软件全生命周期（开发、试验及维护等）试验任务。本文扼要介绍了系统体系结构、主要软件工具以及系统的性能特点     

自适应光学波前实时处理机结构设计

本文介绍的波前处理机是１．２ｍ望远镜自适应光学系统的关键部件之一,吞吐率高,延时小,是具有高速数据处理能力的实时处理系统。为满足系统的高速度性能,系统设计在实时性、并发性的基础上,将图象数据采集加入流水线,并对波前处理中自然存在的子任务作“去相关”’处理,建立了图象采集、斜率计算、波前复原间流水线操作。图象读出时间的利用及流水线的建立,大大减少了时延,降低了系统实时性要求。流水线处理与高度并行处理相结合,也是本处理机设计的一大特色。     

用解析方法实现的引信杂波信号源

进行了只具有部分统计信息(如包给分布和同相分量的协方差)的引信杂波模拟.所提出的方案基于复数非高斯协方差序列与高斯协方差序列之间的非线性映射关系,能够实现指定的包络分布与协方差.它使杂波模型摆脱了“白色或正态”的限制.用这种解析方法实现的引信杂波信号源可以用于系统设计、仿真与测试.