您的位置： 专家智库 > >

张涛

作品数：2 被引量：3H指数：1
供职机构：中国人民解放军73610部队更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

  • 2篇自动化与计算...

主题

  • 1篇形式化
  • 1篇形式化描述
  • 1篇舆情
  • 1篇网络舆情
  • 1篇系统设计
  • 1篇联网
  • 1篇互联
  • 1篇互联网舆情
  • 1篇PROMEL...
  • 1篇SPIN
  • 1篇CSMA/C...
  • 1篇CSMA/C...

机构

  • 2篇中国人民解放...

作者

  • 2篇袁键
  • 2篇田宏林
  • 2篇张涛

传媒

  • 1篇计算机应用
  • 1篇计算机与数字...

年份

  • 1篇2013
  • 1篇2012
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
互联网舆情搜索分析系统的设计与实现被引量：2
2012年
文章描述了一个互联网舆情搜索分析系统的设计及实现方法。系统采用互联网搜索引擎(例如谷歌、百度、雅虎等)、RSS技术、网页信息结构化抽取等技术实现了对互联网敏感信息发现以及网络舆情信息的搜索分析。
袁键田宏林张涛
关键词：网络舆情系统设计
CSMA/CD协议的形式化描述与验证被引量：1
2013年
模型检测是协议验证的技术之一。在CSMA/CD协议的验证过程中对该协议进行了简化,忽略了通道时延、退避算法等细节,运用Promela语言进行建模实现。最后,使用模型检测工具SPIN对协议实现的正确性、状态可达性以及可能存在的不可推进循环进行了分析和检验,并从结果的有效性和正确性方面得出了相应验证输出图。
张涛袁键田宏林
关键词：PROMELASPIN形式化
全选 清除 导出
共1页<1>
聚类工具0