作者:梁冰,刘群 单位:中国科学院沈阳计算技术研究所 出版:《小型微型计算机系统》2008年第02期 页数:4页  (PDF与DOC格式可能不同) PDF编号:PDFXXWX2008020460 DOC编号:DOCXXWX2008020469 下载格式:PDF + Word/doc 文字可复制、可编辑
  • 数据融合系统的各种算法是当前研究的热点问题,但缺乏有效数学工具对数据融合系统进行描述和分析.本文提出了时序有限自动机,用它建立数据融合系统的形式化模型,并且给出了时序有限自动机模型的可达性分析方法,用于分析数据融合系统的性能和行为.同时,给出了建立时序有限自动机模型和数据融合系统的正确性和实时性分析算法。

    提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。