李勇军
- 作品数：3 被引量：3H指数：1
- 供职机构：河南财经学院更多>>
- 相关领域：自动化与计算机技术更多>>
- 自动化网格聚类探究被引量：1
- 2009年
- 提出了一种自动化的网格聚类算法GAC。该算法主要采用密度阈值技术提取不同的类,使用边界点处理技术提高聚类精度。GAC算法只要求对数据集进行一遍扫描。实验表明,该算法可扩展性好,能处理任意形状和大小的聚类,能够很好地识别出孤立点或噪声,在处理多密度聚类方面有很好的精度。
- 刘敏娟李勇军
- 关键词：自动化
- 基于SRAM的存储容量的扩充方法
- 2010年
- 在实际应用中,存储器所需要的容量通常比所生产的芯片容量大得多,所以需要对多芯片进行组合以实现存储容量的扩充。本文以SRAM芯片为例系统分析了几种常用的扩充存储容量的方法。
- 高静李勇军
- 关键词：SRAM存储器容量
- 基于Pi-演算的服务组合正确性验证被引量：2
- 2009年
- 对于Web服务及其组合而言,保证其正确性并实现增值服务是十分必要的。Pi-演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。通过建立一个实际的模型,用Pi-演算对Web服务及其组合进行建模,并利用形式化工具对建立的组合模型是否正确以及是否满足需求进行了验证。
- 李勇军刘敏娟
- 关键词：PI-演算进程代数WEB服务形式化方法
