期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

面向数据流的雷达数据处理软件设计与建模 被引量：2

下载PDF
导出
摘要 雷达数据处理软件是雷达目标跟踪、组网协同处理等功能的核心软件,包含多种关键算法和处理方法。这些方法的过程往往差异大,适用环境不同。采用传统的软件设计方法往往造成软件开发和维护上的困难,从数据处理需求出发,使用Petri网对其进行形式化模型描述,并建立软件模型,可以从很大程度上克服这些困难,并且形式化模型允许根据不同的处理方法对数据处理软件的流程进行修改。在此基础上引入CTL逻辑和SMV检测工具,对软件模型的检测方法进行了详细讨论。
作者 凌翔
机构地区 中国电子科技集团公司第三十八研究所
出处 《软件导刊》 2016年第4期74-77,共4页 Software Guide
关键词 雷达数据处理 软件建模 PETRI网 计算树逻辑
分类号 TP319 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献7

  • 1PETERSON J L. Petri net theory and the modeling of systems[J].Prentice Hall PTR Upper Saddle River,NJ,USA, 1981,26(3) :23-31. 被引量：1
  • 2WALUKEIWICZ I. Model checking CTL properties of pushdownsystems[J]. Foundations of Software Technology TheoreticalComputer Science,2000(2) : 127-138. 被引量：1
  • 3ROECKER J A. A class of near optimal JPDA algorithms[J]. Aer-ospace Electronic Systems IEEE Transactions,1994,30(2) . 504-510. 被引量：1
  • 4VAN KEUK G. MHT extraction and track maintenance of a targetformation[J]. Aerospace^-Electronic Systems IEEE Transactions?2002,38(l):288-295. 被引量：1
  • 5MCMILLAN K L. The SMV language[J]. Cadence Berkeley Labs,1999. 被引量：1
  • 6苏开乐,骆翔宇,吕关锋.符号化模型检测CTL[J].计算机学报,2005,28(11):1798-1806. 被引量：24
  • 7王芳芳,雷建和,张丹,聂余满,高志.形式化方法和信号解释Petri网在PLC编程中的应用[J].计算机系统应用,2014,23(9):198-203. 被引量：2

二级参考文献43

  • 1李俊,戴先中,孟正大.基于信号解释Petri网的可重构逻辑控制器分析与设计[J].东南大学学报（自然科学版）,2004,34(B11):101-107. 被引量：8
  • 2高晓锋,钟艳如,黄美发,赵新有.基于SIPN的一种控制系统PLC程序生成研究[J].现代制造工程,2005(12):38-40. 被引量：3
  • 3王常春,董威.在模型检验工具SMV中实现进程阻塞[J].计算机工程与科学,2006,28(3):85-87. 被引量：1
  • 4Emerson E.A.. Branching time temporal logic and the design of correct concurrent programs[Ph.D. dissertation]. Harvard University, Cambridge, MA, 1981 被引量：1
  • 5Sistla A.P., Clarke E.M.. Complexity of propositional temporal logics. Journal of the ACM, 1986, 32(3): 733～749 被引量：1
  • 6Lichtenstein O., Pnueli A.. Checking that finite state concurrent programs satisfy their linear specification. In: Proceedings of the 12th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, New York, 1985, 97～107 被引量：1
  • 7Godefroid P., Pirottin D.. Refining dependencies improves partial-order verification methods (extended abstract). In: Courcoubetis C. ed.. CAV, Lecture Notes in Computer Science 697. Springer, 1993, 438～449 被引量：1
  • 8Peled D.. Combining partial order reductions with on-the-fly model-checking. Formal Methods in System Design, 1996, 8(1): 39～64 被引量：1
  • 9Valmari A.. A stubborn attack on state explosion. Formal Methods in System Design, 1992, 1(4): 297～322 被引量：1
  • 10Burch J.R., Clarke E.M., McMillan K.L., Dill D.L., Hwang L.J.. Symbolic model checking: 1020 states and beyond. In: Proceedings of the 5th Annual IEEE Symposium on Logic in Computer Science, Washington, D.C., 1990, 1～33 被引量：1

共引文献24

同被引文献16

引证文献2

软件导刊
2016年 第4期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部