您的位置: 专家智库 > >

国家自然科学基金(61070039)

作品数:5 被引量:13H指数:2
相关作者:张新常阎保平李兴锋杨美红王希常更多>>
相关机构:山东省计算机网络重点实验室山东师范大学山东省计算中心更多>>
发文基金:国家自然科学基金博士科研启动基金国家重点基础研究发展计划更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 5篇中文期刊文章

领域

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

主题

  • 2篇SPIN
  • 1篇调度
  • 1篇调度模型
  • 1篇任务调度
  • 1篇时态逻辑
  • 1篇图像
  • 1篇图像分割
  • 1篇图像分割方法
  • 1篇群算法
  • 1篇子群
  • 1篇自动柜员机
  • 1篇自适
  • 1篇自适应
  • 1篇吸引子
  • 1篇线性时态逻辑
  • 1篇粒子群
  • 1篇粒子群算法
  • 1篇逻辑模型
  • 1篇模糊C均值
  • 1篇模糊C均值聚...

机构

  • 2篇山东师范大学
  • 2篇山东省计算机...
  • 2篇山东省计算中...
  • 1篇山东省科学院
  • 1篇中国科学院

作者

  • 2篇张新常
  • 1篇杨美红
  • 1篇赵宪强
  • 1篇史慧玲
  • 1篇张玮
  • 1篇李兴锋
  • 1篇王化雨
  • 1篇王希常
  • 1篇陈静
  • 1篇阎保平
  • 1篇孙萌
  • 1篇王鲁
  • 1篇赵娜

传媒

  • 1篇电子与信息学...
  • 1篇计算机应用与...
  • 1篇微型机与应用
  • 1篇计算机工程与...
  • 1篇计算机技术与...

年份

  • 4篇2012
  • 1篇2011
5 条 记 录,以下是 1-5
排序方式:
基于粒子群算法的带群混沌吸引子参数的生成
2012年
文中以带群等价映射模型p1a1为例,详细论述了模型p1a1混沌吸引子的构造方法与过程。将粒子群算法(PSO)应用于搜索具有平面带群对称性混沌吸引子的参数问题,构造了参数向量作为粒子的表达方法,建立了此问题的粒子群算法。试验结果表明,粒子群算法可以快速、有效求得各参数向量的最优解,并且有效地避免了优生遗传算法的"遗传漂移"问题,是优化参数向量的一个较好方案,从而解决了在巨大参数空间下生成具有平面带群对称性混沌吸引子困难的问题。
赵娜王化雨
关键词:吸引子粒子群算法
基于SPIN的模块化模型检测方法研究被引量:9
2011年
该文针对模型检测过程中所存在的状态爆炸问题,提出了一种基于模型检测工具SPIN的模块化模型检测方法。所提出的方法能够将指定的抽象模型分解成若干的模块,并对这些验证复杂度相对低的模块执行模型检测,以替代对原模型的模型检测。所提方法所用的分解过程保留了原模型所有的语义,同时不增加额外的语义,从而使得验证所有模块等同于验证原模型。理论和实验分析结果显示了所提方法的有效性。
李兴锋张新常杨美红阎保平
一种自适应的模糊C均值聚类图像分割方法被引量:2
2012年
针对传统的模糊C均值聚类算法(FCM)在图像分割中对噪声十分敏感这一局限性,提出一种自适应的FCM图像分割方法。该方法充分考虑图像像素的灰度信息和空间信息,根据像素的空间位置自适应地计算一个合适的相似度距离来进行聚类分割图像。实验结果表明,与传统的FCM相比,该方法能显著提高分割质量,尤其是能提高对于图像噪声的鲁棒性和分割图像区域边缘的准确性。
赵宪强王希常刘江
关键词:图像分割模糊C均值空间信息
采用SPIN的自动柜员机业务逻辑模型检测方法被引量:2
2012年
由于自动柜员机需要提供可靠的服务,确保其业务逻辑的正确性具有非常重要的意义。然而,传统的测试方法不能对其正确性进行验证。以相关业务逻辑为具体实例,给出一种基于Spin(Simple Promela Interpreter,一种典型的模型检测工具)的自动柜员机的模型检测方法。介绍如何对自动柜员机业务逻辑进行建模、如何对其主要属性进行描述和验证。实验结果表明了所提方法的可行性。
史慧玲马文可张新常张玮
关键词:线性时态逻辑自动柜员机
支持测试节点按需调整的分布式测试调度模型
2012年
针对分布式测试系统动态调整测试节点能力差、测试总体效率低的问题,提出一种实用的支持测试节点按需调整的分布式测试调度模型。该模型利用M/M/N排队理论描述分布式测试任务到达和处理的概率分布,提出待处理强度指标来动态调配测试节点,基于此建立任务调度数学模型,并利用0-1线性整数规划法求解,实现了分布式测试执行时间最短的目的。仿真实验结果证明,该模型可以根据测试需求的变化动态调整测试节点数量,利用简单实用的调度方法,有效地降低测试节点负载,提高了测试效率。
陈静王鲁孙萌
关键词:任务调度负载均衡
共1页<1>
聚类工具0