反舰导弹雷达末制导参数的箔条冲淡干扰布阵

箔条冲淡干扰是水面舰艇对抗雷达末制导反舰导弹的重要手段之一,冲淡干扰效果受多方面因素的制约.在对方位搜索角和距离搜索范围等末制导雷达参数对箔条冲淡干扰效果可能造成的影响分析基础上,提出了一种新型的冲淡干扰假目标的布阵样式,并通过计算机仿真对该布阵样式的有效性进行了验证.     

协同仿真平台下鱼雷仿真模型设计与实现

针对系统仿真建模可重用的需求,采用组件对象建模的思想对鱼雷进行建模,通过分析鱼雷模型的特点,完成了协同仿真平台下由鱼雷动力学、运动学模块、动力系统模块、控制系统模块、弹道解算系统模块、自导系统模块、引信系统模块、尾流自导模块、误差模块所组成的鱼雷层次结构模型设计,并已实现协同仿真环境中不同粒度的可重用模型的程序开发.通过对鱼雷仿真模型的测试与应用,验证了协同仿真环境下组件对象建模方法具有建模过程快捷、灵活、适应性高、可重用性好和利于跨平台移植的优点.     

反舰导弹通用火控系统软件技术的验证方法

以计算机代替通用火控系统的主要设备作为实验平台,利用VC 6.0编写了一个软件关键技术的验证程序,并调试通过,为通用火控系统在软件上的工程实现提供了技术支持.该程序的良好运行,验证了全分布、网络化、模块化和标准化等关键技术是可行的,体现了通用火控系统的技术优势,表明通用火控系统完全能够适应网络化和信息化条件下的作战要求.     

物理实验教学中学生能力的培养

物理学是一门以实验为基础的科学.在物理教学中实验的作用非常大,或用来验证物理规律,或使学生获得感性认识.用实验可以呈现科学事实,辨别真伪,引发认知冲突,还可以培养学生发现问题、提出问题、探究问题、解决问题的能力,同样也可以培养学生的发散思维能力等等,还可以通过观察分析,提高学生的综合分析能力.     

时态逻辑形式化描述并发系统性质

时态逻辑是一种描述反应式(并发)系统中状态迁移序列的形式化方法,用于刻画并发系统所需验证的性质,是模型检测的基础.阐述了时态逻辑CTL 及其子逻辑CTL、LTL的语法及语义,然后分析运用时态逻辑描述并发系统性质,最后给出一个应用实例.     

ω-芋螺毒素的定量构效关系研究

应用建立的氨基酸结构描述符c-scales和G／PLS统计方法,对ω-芋螺毒素中的N-型和P／Q-型钙离子通道拮抗剂进行了定量构效关系研究,两种亚型的QSAR模型的交叉验证相关系数XV-r^2和相关系数,都在0．96以上,表明模型均有较好的预测能力和拟合能力。通过对模型权重系数图的分析,直观了解两种亚型的ω-芋螺毒素类似物的结构对生物活性的影响,为进一步设计高活性的多肽类似物提供一定的理论依据。     

机载PHM系统验证与评估体系结构研究

针对机载PHM系统验证与评估缺乏标准化体系结构的现状,在分析了三种验证与评估应用模式的基础上,研究了构建PHM验证与评估体系结构的参考标准,提出了标准化体系结构和仿真架构,指出了机载PHM系统验证与评估标准化体系结构的实现途径与流程。     

天基预警系统资源调度问题分析

在介绍天基预警系统作战流程,以及天基预警系统资源和任务的分析和描述的基础上,提出天基预警系统资源调度问题,给出其输入输出结构,并以五元组的形式对该问题进行形式化描述。 关键词：天基预警系统、资源调度、形式化描述     

指挥信息系统验证理论和验证方法

从验证的概念讨论出发,针对“指挥信息系统验证”,从概念和含义、产品和结果、目的和作用等多方面进行了详细解读,给出了较详细的验证方法和步骤,并就验证与测试的区别和关联进行了讨论,然后对广义概念上的“指挥信息系统验证”做了更深入的探讨,最后提出了验证应遵序的原则和注意事项。     

基于时频单源点检测和聚类验证技术的欠定混合盲辨识算法

针对欠定混合盲辨识问题,提出了一种基于时频单源点检测及聚类验证的盲辨识算法。检测各个源信号的时频单源点,利用奇异值分解的方法求解不同单源点集合对应的混合矢量,利用基于k均值的聚类验证技术完成源信号数目和混合矩阵的联合估计。算法放宽了已有方法对时频单源区域的假设,不需要假设信号存在时频单源区域,可以完成仅存在离散的时频单源点条件下的欠定混合盲辨识;同时克服了传统算法需要假设源信号个数已知的不足,可以有效地估计源信号数目。仿真结果验证了算法的有效性。