张涛

作品数：2被引量：3H指数：1
导出分析报告
供职机构：中国人民解放军73610部队更多>>
发文主题：互联网舆情系统设计网络舆情CSMA/CD协议SPIN更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机与数字工程》《计算机应用》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
CSMA/CD协议的形式化描述与验证被引量：1
《计算机应用》2013年第A02期235-237,268,共4页张涛 袁键 田宏林 
模型检测是协议验证的技术之一。在CSMA/CD协议的验证过程中对该协议进行了简化,忽略了通道时延、退避算法等细节,运用Promela语言进行建模实现。最后,使用模型检测工具SPIN对协议实现的正确性、状态可达性以及可能存在的不可推进循环...
关键词：PROMELA SPIN 协议验证 载波监听多路访问 冲突检测机制 形式化 
互联网舆情搜索分析系统的设计与实现被引量：2
《计算机与数字工程》2012年第1期93-96,共4页袁键 田宏林 张涛 
文章描述了一个互联网舆情搜索分析系统的设计及实现方法。系统采用互联网搜索引擎(例如谷歌、百度、雅虎等)、RSS技术、网页信息结构化抽取等技术实现了对互联网敏感信息发现以及网络舆情信息的搜索分析。
关键词：网络舆情 系统设计 实现 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部