期刊文献+

基于自动机模型数据关联性能评估算法 被引量:1

Method of Data Association Performance Evaluation Based on Automata Theory Consistency and Reachability Analysis
在线阅读 下载PDF
导出
摘要 提出了一种基于自动机理论的性能评估方法,通过在有限自动机模型中增加描述观测的时间序列,来扩展其对数据关联过程的表达能力;使用时序有限自动机模型来描述关联处理算法的模型;使用带时间属性的字符串表示目标航迹。对数据关联的时序有限自动机模型进行一致性和可达性分析,并在此基础上给出了性能评估算法。实验结果证明该方法可以有效地评价关联算法的性能。 The research goal of data association in the past has primarily focused on establishing a computational approach for association processing algorithms. In this paper, a performance evaluation model is proposed for data association based on temporal Fruit automata. An algorithm for checking the consistency and reachability of the model is developed. A simulation experiment illustrates the effectiveness of this method in the analysis and verification of the performance of data association algorithms.
作者 梁冰 刘群
出处 《电子科技大学学报》 EI CAS CSCD 北大核心 2008年第4期606-609,629,共5页 Journal of University of Electronic Science and Technology of China
关键词 数据关联 性能评估 时序有限自动机模型 时间序列 data association performance evaluation temporal finite automata time series
  • 相关文献

参考文献11

  • 1DEMING R, PERLOVSKY L. Concurrent multi-target localization, data association, and navigation for a swarm of flying sensors[J]. Information Fusion, 2007, 8(3): 316-330.
  • 2ZHU H. The algorithm and simulations for the asynchronous track-to-track association[C]//Proceedings of the Sixth International Conference on Information Fusion. Washington: IEEE, 2003: 1400-1404.
  • 3I OUSSALAH M, SCHUTTER J. Hybrid fuzzy probabilistic data association filter and joint probabilistic data association filter[J]. Information Sciences, 2002, 142(1): 195-226.
  • 4MEGALOOIKONOMOU V, YESHA Y. Space efficient quantization for distributed estimation by a multi-sensor fusion system[J]. Information Fusion, 2004, 5(4): 299-308.
  • 5DRUMMOND E. Performance Metrics for Multiple-Sensor, Multiple -Target Tracking[C]//Signal and Data Processing of Small Targets 2000, Proceedings of SPIE. Atlanta: IEEE, 2000.
  • 6CHANG K, TIAN Z MAP track fusion performance evaluation[C]//Proc Fusion 2002. Washington DC: [s.n.],2002.
  • 7REID D. Optimising the flow of information within a C3I network[J]. Mathematical and Computer Modelling, 1999, 30(9): 225-243.
  • 8SONG H, Compton K. Rounds SPIN: a model checker for reconfigurable hybrid systems based on SPIN[J]. Electronic Notes in Theoretical Computer Science, 2006, 145(14): 167-183.
  • 9VENEMA Y. Automata and fixed point logic: a coalgebraic perspective[J]. Information and Computation, 2006, 204(4): 637 -678.
  • 10高军,杨冬青,唐世渭,王腾蛟.基于树自动机的XPath在XML数据流上的高效执行[J].软件学报,2005,16(2):223-232. 被引量:33

二级参考文献12

  • 1高军,杨冬青,唐世渭,王腾蛟.一种基于DTD的XPath逻辑优化方法[J].软件学报,2004,15(12):1860-1868. 被引量:17
  • 2Gupta AK, Suciu D. Stream processing of XPath queries with predicates. In: Halevy AY, Ives ZG, Doan AH, eds. Proc of the 2003ACM SIGMOD Int'l Conf on Management of Data. ACM, 2003.419-430.
  • 3Nguyen B, Abiteboul S, Cobena G, Preda M. Monitoring XML data on the Web. In: Aref WG, ed. Proc of the ACM/SIGMOD Conf on Management of Data. 2001. 437--448.
  • 4Chen J, Dewitt D, Tian F, Wang Y. NiagaraCQ: A scalable continuous query system for internet databases. In: Chen WD,Naughton JF, Bernstein PA, eds. Proc of the ACM/SIGMOD Conf Management of Data. ACM, 2000. 379-390.
  • 5Clark J. XML Path language (XPath). 1999. Available from the W3C, http://www.w3.org/TR/XPath.
  • 6Milo T, Suciu D, Vianu V. Typechecking for XML Transformers. In: Proc of the PODS 2000. ACM, 2000. 11-22.
  • 7Miklau G, Suciu D. Containment and equivalence for an XPath fragment. In: Popa L, ed. Proc of the 21 Symp. on Principle of Database Systems. ACM, 2002.65-76.
  • 8Neven F. Automata, logic, and XML. In: Proc of the 16th Int'l Workshop Computer Science Logic. CSL, 2002.2-26.
  • 9NASA's Astronomical Data Center. ADC XML Resource Page. http://xml.gsfc.nasa.gov.
  • 10Diao Y, Fischer P. YFilter: Efficient and scalable filtering of XML documents. In: Proc of the 18th Int'l Conf on Data Engineering. 2002. 341-345.

共引文献32

同被引文献11

  • 1BAR-SHALOM Y,LI X R,KIRUBARAJAN T.Estimation with applications to tracking and navigation[M].New York:John Wiley & Sons,2001.
  • 2BAR-SHALOM Y,TSE E.Tracking in a cluttered environment with probabilistic data association[J].Automation,1975,11:451-460.
  • 3CHANG K C,BAR-SHALOM Y.Joint probabilistic data association for multitarget tracking with possibly unresolved measurements and maneuvers[J].IEEE Trans on Automatic Control,1984,29:585-594.
  • 4SINGER R,SEA R,HOUSEWRIGHT K.Derivation and evaluation of improved tracking filters for use in dense multi-target environments[J].IEEE Transactions on Information Theory,1974,20(4):423-432.
  • 5REID D B.An algorithm for tacking multiple targets[J].IEEE Trans on Automatic Control,1979,24(6):843-854.
  • 6OH S,RUSSELL S,SASTRY S.Markov chain Monte Carlo data association for general multiple-target tracking problems[C] //43rd IEEE Conference on Decision and Control.Atlantis,Paradise Island,Bahamas:IEEE,2004.
  • 7LIU Hui-xia,LIANG Yan,PAN Quan,et al.A multipath viterbi data association algorithm with uncertain ionospheric state[C] //Proceedings of the 25th Chinese Control Conference.Harbin,Heilongjiang:[s.n.] ,2006.
  • 8YAN Fei,KOSTIN A,CHRISTMAS W,et al.A novel data association algorithm for object tracking in clutter with application to tennis video analysis[C] //Proceedings of the 2006 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR'06).New York:IEEE,2006.
  • 9KALMAN R E.A new approach to linear filtering and prediction problem[J].IEEE Trans on ASME,1960,82(2):35-45.
  • 10BIRMIWAL K,BAR-SHALOM Y.Variable dimension filter for maneuvering target tracking[J].IEEE Trans on AES,1982,18(5):611-619.

引证文献1

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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