面向数据流的雷达数据处理软件设计与建模

• 作者: 凌翔
• 来源期刊: 软件导刊
• 学科: 工学
• 关键词: 雷达数据处理 软件建模 Petri网 计算树逻辑
• 年，卷（期）: 2016,（4）
• 所属期刊栏目: 软件设计与开发
• 页码范围: 74-77
• 页数: 4页
• 分类号: TP319
• 字数: 4393字
• 语种: 中文
• DOI: 10.11907/rjdk.1511601

摘要

雷达数据处理软件是雷达目标跟踪、组网协同处理等功能的核心软件,包含多种关键算法和处理方法.这些方法的过程往往差异大,适用环境不同.采用传统的软件设计方法往往造成软件开发和维护上的困难,从数据处理需求出发,使用Petri网对其进行形式化模型描述,并建立软件模型,可以从很大程度上克服这些困难,并且形式化模型允许根据不同的处理方法对数据处理软件的流程进行修改.在此基础上引入CTL逻辑和SMV检测工具,对软件模型的检测方法进行了详细讨论.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	凌翔	中国电子科技集团公司第三十八研究所	5	5	1.0	2.0