【摘 要】
：
雷达数据处理软件是雷达目标跟踪、组网协同处理等功能的核心软件,包含多种关键算法和处理方法。这些方法的过程往往差异大,适用环境不同。采用传统的软件设计方法往往造成软
【机 构】
：
中国电子科技集团公司第三十八研究所
论文部分内容阅读
雷达数据处理软件是雷达目标跟踪、组网协同处理等功能的核心软件,包含多种关键算法和处理方法。这些方法的过程往往差异大,适用环境不同。采用传统的软件设计方法往往造成软件开发和维护上的困难,从数据处理需求出发,使用Petri网对其进行形式化模型描述,并建立软件模型,可以从很大程度上克服这些困难,并且形式化模型允许根据不同的处理方法对数据处理软件的流程进行修改。在此基础上引入CTL逻辑和SMV检测工具,对软件模型的检测方法进行了详细讨论。
其他文献
针对近年来基于服装自身的物理合体性研究进行综述分析,详细阐述服装合体性评价研究所采用的主流技术和方法,包括三维人体测量方法、模糊数学方法、统计方法、小波分析方法,
采用ANSYS7.1版有限元分析程序,以北京地铁10号线光华路站侧洞为对象,对其施工过程进行了二维有限元模拟计算,分析了CRD法的不同施工工序对围岩内力、结构内力以及地表沉降的
当前社群平台井喷式涌现,社群经济为互联网新经济的创新发展提供了新路径,并成为我国经济增长方式和社会生活方式转变的新力量,但社群用户消费疲软,社群营销效果不理想等问题
目的:探讨噻托溴铵联合肺康复和呼吸操治疗稳定期慢性阻塞性肺疾病(COPD)患者的临床疗效。方法:选择2017年1月—2018年1月收治的稳定期COPD患者76例,按随机数字表法分为两组,
创新教育是培养学生的创新意识、创新精神、创新能力和造就创新型人才的一种教育教学方法。在这种教育中，学生才是教学的真正主体，教师的教必须服务于学生的学，教师的主要作用是
目的 制备并鉴定中国境内流行的高致病性禽流感病毒H5N1血凝素蛋白（HA）的中和抗体及其表位.方法 选取9个HA候选抗原表位序列设计串联表位,利用表面线性表位抗体库（SEAL）专利技术
目的:探讨多学科团队协作(MDT)模式在促进前列腺癌术后患者快速康复中的应用方法及效果。方法:选取2016年1月1日~2017年12月31日50例行腹腔镜下前列腺癌根治术的患者作为对照
以Landsat系列遥感数据为基础数据源,基于“压力-状态-响应”模型和景观生态学理论,采用层次分析法构建茂县景观生态安全评价指标体系,利用综合指数法分别获取研究区2000年、
目的:分析沙美特罗替卡松粉气雾剂联合噻托溴铵粉吸入剂对稳定期慢性阻塞性肺疾病(COPD)患者症状改善及肺功能的影响。方法:选取我院收治的82例稳定期COPD患者,按治疗方案不
本文首先介绍了空管系统和雷达数据处理的概念,然后介绍了雷达数据处理在空管系统中的主要作用、构成、处理步骤和基本要求。