指挥控制的形式化描述与性质验证

在分析了IDEF0基本模型及其军用模型的基础上,结合面向对象的分析方法,提出了一个通用的指挥控制对象的概念模型,并采用形式化描述语言LOTOS(LanguageofTemporalOrderingSpecification)和基于动作的时序逻辑ACTL(ActionBasedTemporalLogical)对系统进行了形式化描述和性质验证。这为C4ISR系统的需求描述和验证提供了一种新的思路和方法。     

集成广义模糊函数在雷达多目标分辨中的应用

多目标分辨是常规雷达功能的扩充。由于集成广义模糊函数是单、多分量多项式相位信号检测与参数估计的有效工具，将其应用于雷达多目标分辨中是完全可行的，这已被文中对雷达实测数据的分析所证实。为适应雷达实际工作需求，文中探讨了尚待进一步解决的关键问题。     

一种自生成基函数模糊神经元故障诊断模型及其应用

在分析自生成基函数（SGRBF）模糊神经元模型基础上，提出了一种新的故障诊断网络模型及其学习算法，并将其应用到轴承、齿轮的故障诊断中，给出两个应用实例及分析结果。最后，文章将得出一定的结论。     

在TMS320C6201上实现时延神经网络目标识别算法

本文介绍了一种基于TMS32 0C6 2x的软件设计方法 ,在TMS32 0C6 2xEVM板上实现了宽带毫米波雷达目标时延神经网络识别算法 ,通过程序验证 ,取得了比较好的处理效果。     

印度寻求新型海上巡逻机

[引言]2007年3月26日,在印度举办的航空展览会上,印度海军的远程多任务作战飞机计划办公室主任辛格准将透露,可能优先考虑选择美国洛克希德·马丁公司最新改进型的 P-3C"猎户座"远程海上巡逻机。该升级版的"猎户座"巡逻机是专为美国下一代海上巡逻机的招标而研发的装置了最新发动机、航空电子设备、雷达和多种类型的对海作战武器,符合美海军作战要求。由于印度海军的远程多任务作战飞机计划竞争激烈,洛·马公司决定推出低价格、高性能的改进型 P-3C 巡逻机,以赢得印海军的这项多达24架的订购合同。因此洛·马公司也在向美国政府要求向第三国的出口授权许可。     

军事危机控制行动与方法问题研究

军事危机是指国家或政治集团之间的关系处于可能发生战争或军事冲突的危险状态.它既非战争也非和平,而是介于其间的一种"模糊状态".人类是走向战争,还是走向和平,往往取决于对军事危机的控制与处置.     

台军高官亮相之十一：航空指挥部指挥官袁嘉量

袁嘉量毕业于台海军官校第65期(1976年)。先后担任过舰长、舰队长、海军军务署长、海军技术学校校长、海军情报署署长、航空指挥部指挥官等职务。近期因台海军获得美军 P-3C 反潜机,而成为台军的热门人物。"南沙专案"初露锋芒袁嘉量从台海军军官学校毕业后,一直在水面舰艇部队任职。1997年2月任海军驱逐第一舰队(124)"昆明"舰舰长。2001年7月晋升少将,并任海军驱逐第一舰队(124)副舰队长。后任海军总部军务署长。2002年12月任海军驱逐第一舰队(124)舰队     

MATLAB环境下目标图像的实时辨识方法

介绍一种在MATLAB环境下彩色立体视觉装置在环的实时图像处理系统 ,用于自动识别前方汽车目标和计算距离。鉴于汽车均具有红色尾灯这一普遍特征和人观测色彩的一致性 ,在此采用了基于色度—饱和度—亮度模型的模糊规则来提取汽车尾灯的颜色特征 ;利用汽车上的反射光或阴影区域的亮度特征来进一步确认辨识结果 ,以克服复杂环境中背景颜色和各种光照视角、强度的变化对图像特征所产生的影响。此外 ,文中还提出一种新颖而快速的自适应“移位滤波器”算法 ,以消除颗粒状和细长带状噪声 ,并给出了实验结果和结论     

移动式防空C3I系统性能分析与软件仿真试验床

从对移动式防空C3I系统性能分析与软件仿真试验床(TEST BED)的需求分析开始,给出了试验床的体系结构,阐述了试验床的功能、原理及软件系统的构成,最后分析了开发该试验床的意义.     

地理信息系统及其某些军事方面应用

介绍了一般地理信息系统的数据结构特点和作为其基础的图像数据库,并着重说明了在军事方面应用的地理信息系统应有的功能及构成。例举了在某些军事方面应用中对地理信息系统的一些特殊要求。