胡劲松
- 作品数：3 被引量：16H指数：2
- 供职机构：中国科学技术大学计算机科学与技术学院更多>>
- 发文基金：国家教育部博士点基金国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 一种基于并发路径的协议验证方法
- 2004年
- 通信协议验证方法中 ,可达性分析是一种方便的、易于自动化处理的、有效的协议验证方法 .但是随着通信协议的多样性和复杂性的不断增加 ,状态爆炸问题使得可达性分析变得难以实施 .本文采用分而治之的策略 ,提出一种基于并发路径的协议验证方法 .该方法将协议划分为相互独立的并发路径 ,通过逐一分析验证各并发路径 ,来实现验证整个协议的目的 .由于各并发路径的生成和分析都是相互独立的 ,整个协议验证对内存的需求仅受限于各并发路径的复杂度 。
- 胡劲松赵保华屈玉贵
- 在量子计算机上求解0/1背包问题被引量：13
- 1999年
- 在Ｇｒｏｖｅｒ算法和量子指数搜索算法的基础上，提出了一个量子算法去求解０／１ 背包问题．这个算法在没有使用任何可以提高搜索效率的经典策略的情况下，能够在Ｏ（ｃ２ｎ２ ）步以至少１－ １２ｃ 的概率求解问题规模为ｎ 的０／１
- 胡劲松陈国良郭光灿
- 关键词：量子算法量子计算机NP问题
- Petri网和Z语言的集成形式化方法被引量：3
- 2004年
- 随着各具特色的形式化方法不断涌现 .研究各种形式化模型之间的关系 ,并且通过组合、集成的方法 ,综合它们的特性 ,不仅在理论上 ,而且在实践中都具有非常重大的意义 .将集成 Petri网和 Z语言两种形式化方法 ,使它们能够保留各自的优点 ,并互相弥补不足 ,进而形成一种新的、更加全面的形式化方法
- 胡劲松赵保华郭雄辉屈玉贵
- 关键词：形式化方法PETRI网Z语言
