王海宁
- 作品数：8 被引量：59H指数：3
- 供职机构：浙江大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金浙江省教育厅科研计划浙江省重大科技专项基金更多>>
- 相关领域：自动化与计算机技术矿业工程更多>>
- 启发式探索的协议测试序列生成
- 2009年
- 为避免可达性分析方法生成协议测试序列状态过程中爆炸问题的出现,提出了一种启发式探索协议状态格局空间的可执行测试序列生成算法.该算法采用权值扩展有限状态机建模被测协议,以启发式状态格局探索策略替代传统的宽度优先搜索方式生成可执行协议测试序列;把协议可执行测试序列生成转化为在协议状态格局空间中探寻最小权值路径的问题.实验数据表明,与宽度优先可达性分析方法相比,新算法具有较好的时空特性.
- 舒挺孙守迁王海宁徐伟强李文书
- 关键词：协议一致性测试可达性分析
- 基于优化成熟度的自适应蚁群优化算法
- 分析了蚁群算法局部信息素更新系数与全局信息素更新系数对算法寻优能力与收敛速度的关系,定义平均路径相似度（ATS）来表征寻优过程的成熟程度,并据此自适应调整信息素更新系数,提高算法收敛速度并避免陷入局部最优.经过与典型蚁群...
- 王海宁孙守迁
- 关键词：蚁群优化
- 文献传递
- 基于优化成熟度的自适应蚁群优化算法
- 分析了蚁群算法局部信息素更新系数与全局信息素更新系数对算法寻优能力与收敛速度的关系,定义平均路径相似度(ATS)来表征寻优过程的成熟程度,并据此自适应调整信息素更新系数,提高算法收敛速度并避免陷入局部最优.经过与典型蚁群...
- 王海宁孙守迁
- 关键词：蚁群优化算法
- 基于云计算的虚拟化系统研究被引量：11
- 2011年
- 云计算技术和虚拟设计技术在机电行业的应用,为新产品研发提供了一种全新的设计和验证手段。在引入云计算和虚拟设计技术的基础上,针对机电产品设计领域的现状,以异构的云计算平台为基础,整合产品数据管理思想,提出了一种新的机电产品虚拟化设计系统C2VDSMEP。系统支持多用户并行协同操作,来自不同地理位置、不同领域的设计师可以在统一的分布式虚拟设计环境中,同步对机电产品的虚拟原型从不同角度进行分析,有效地避免了传统机电产品设计中的沟通障碍与协同困难。云计算基础设施平台对用户透明,解决了分布式虚拟设计系统对计算资源和存储空间方便性较高的需求。
- 康瑛石王海宁虞江锋
- 关键词：虚拟化设计机电产品云计算虚拟现实
- 基于混合智能优化算法的生理信号情感识别
- 2010年
- 让计算机具有识别情感的能力是情感智能的主要标志和实现高级别人机交互的重要前提,其中通过记录和分析生理信号来识别情感状态已经成为情感计算和人机交互研究领域中的热点。针对多生理信号情感识别过程中的特征冗余以及在大样本数据下传统特征降维算法效率普遍不高的现状,提出了结合模拟退火和粒子群算法的混合智能优化算法(SA-PSO)来解决情感特征选择的问题,并结合带权重的离散KNN分类算法(WD-KNN),充分利用情感样本信息进行特征分类。通过对实验仿真数据的分析和与其他方法识别结果的比对,提高了识别率和效率,验证了算法的有效性。
- 王海宁孙守迁吴剑锋
- 关键词：情感计算情感识别
- 基于云计算的一体化煤矿安全监管信息系统被引量：46
- 2011年
- 针对当前国内煤矿安全监察中存在的工作任务繁重、人员力量薄弱、信息化水平偏低等问题,提出了一种基于云计算的一体化煤矿安全监管信息系统CSM2SC2。提议方案基于云计算和管理型SaaS架构,完全采用集中式管理、分布式处理模式,形成一套国家、省、市/集团与煤矿四级管理的一体化煤矿安全监管指挥系统整体解决方案。
- 康瑛石吴吉义王海宁
- 关键词：分布式系统云计算煤矿安全
- ESIS序列自适应生成算法
- 2010年
- 在以扩展有限状态机(EFSM)为模型描述的协议一致性测试系统中,为了提高可执行状态验证序列(ESIS)的计算效率,提出一种ESIS序列自适应生成算法.新算法采用基于可执行分析树(EAT)的可执行分析方法确保生成的ESIS序列的可执行性.引入变迁区分度因子和节点收敛度因子,计算EAT搜索树节点权重来评价当前搜索方向的正确性.利用EAT搜索树节点权重函数作为节点搜索引擎,根据当前已经搜索节点的权重自适应选择下一步搜索的目标节点,把ESIS序列自动生成问题转化为自适应搜索权重最大的EAT节点问题来解决.实验数据表明,与宽度优先可执行性分析方法相比,自适应算法具有更小的状态格局搜索空间.
- 舒挺孙守迁王海宁徐伟强
- 关键词：协议一致性测试扩展有限状态机
- 基于优化成熟度的自适应蚁群优化算法被引量：3
- 2010年
- 分析了蚁群算法局部信息素更新系数与全局信息素更新系数对算法寻优能力与收敛速度的关系,定义平均路径相似度(ATS)来表征寻优过程的成熟程度,并据此自适应调整信息素更新系数,提高算法收敛速度并避免陷入局部最优.经过与典型蚁群算法在多个旅行商问题测试用例上进行收敛速度与全局寻优能力的全面比较,证明了新的算法具有较好的效果.
- 王海宁孙守迁
- 关键词：蚁群优化
