聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
会议论文 模型检测中状态爆炸及其优化策略研究
出处:广西计算机学会2008年年会
摘要:模型检测是针对有限状态系统行为的逻辑性质的一种自动验证技术,简洁明了和自动化程度高,在生产实践中得到... 显示全部
关键词: 模型检测 状态爆炸 形式验证 时态逻辑 优化策略 有限状态系统
会议论文 使用K-Means优化蚁群聚类模型
出处:广西计算机学会2008年年会
摘要:蚁群聚类算法较传统聚类算法突出优点是聚类的类总数从数据中自动产生,但分类归属性较随机,聚类质量受数据... 显示全部
关键词: 平均算法 蚁群算法 聚类算法 聚类模型
会议论文 基于SPIN的协议分析技术研究
出处:广西计算机学会2008年年会
摘要:随着网络规模不断扩大,协议已广泛应用在各种分布式的网络环境中.使用形式化的分析方法有助于发现协议设计... 显示全部
关键词: 模型检测 网络规模 网络协议 协议分析
找到3条结果
`