孙宁 作品数:5 被引量:7 H指数:2 供职机构: 中国人民解放军92232部队 更多>> 发文基金: 北京市属高等学校人才强教计划资助项目 国家自然科学基金 北京市教育委员会科技发展计划面上项目 更多>> 相关领域: 自动化与计算机技术 更多>>
基于GA的多路径测试数据生成器适配函数设计 2010年 提出了基于GA的多路径测试数据生成的概念和实现方法。讨论了为了实现多路径测试数据生成,设计有效的和高效的适配函数应考虑的因素,用实际案例针对提出的适配函数进行了功能性能验证。结果表明了适配函数设计的有效性。 孙宁关键词:遗传算法 多路径 测试数据生成 基于多Agent的可满足性问题求解系统研究 2010年 为了得到高效可扩展的可满足性问题求解方法,融合目前解决可满足性问题(SAT)的诸多最新策略:快速DPLL、启发式极性决策算法等,提出了一种基于多Agent(Multi-Agent)的可满足性问题(SAT)验证方法。该方法给出了基于多Agent的可满足性问题求解系统的总体结构、工作流程和消息协议,详细分析了有关Agent的结构原理,在JADF(Java Agent development framework)基础上设计出智能仿真模型,通过实例研究表明该方法比传统的一般性求解方法精度高、速度快,且有较好的扩展性和可移植性。 孙宁 薛亮关键词:多智能体 局部搜索算法 合取范式 基于模糊专家系统的铝电解智能控制系统设计与实现 被引量:2 2010年 为了保证铝电解槽的能量平衡和物料平衡,解决铝电解生产中的不确定性问题,设计了一个基于模糊专家系统的铝电解智能控制系统。介绍了模糊专家系统的体系结构和知识表示;讨论了Mamdani的Min-Max模糊推理算法;给出了铝电解智能控制系统的设计与实现结果。由于预处理数据能减少噪声数据对系统的影响,所以此智能控制系统采用预处理后的铝电解控制参数进行模糊化,通过优化推理找到一种解决不同电解槽有不同参数论域问题的方法,使不同的电解槽能共用一套规则库。实践表明:该智能控制系统使300 kA铝电解企业的直流电耗降至13 150 kW.h,电流效率达到94%,能提高铝电解槽的电流效率,并降低能耗。 曹丹阳 孙宁 李晋宏关键词:铝电解 模糊专家系统 模糊推理 智能控制 面向噪声数据的时间序列相似性搜索研究 被引量:5 2012年 为了减少噪声数据对查询最优序列的影响,避免Euclidean距离对形态的敏感性,以及要求序列等长的缺点,提出了面向噪声数据的时间序列相似性搜索算法。运用SPC方法去除序列中的噪声数据;采用DTW距离作为度量函数,使用规范化方法使序列处于相同的分辨率下;采用LB_Keogh下界函数对候选序列集合进行筛选。仿真实验结果表明,该算法在阈值较小时,对含有噪声数据序列的匹配能力较强。 曹丹阳 孙宁 马楠 刘永彬关键词:时间序列 噪声数据 动态时间弯曲 统计过程控制 相似性搜索 局部扭曲立方体多播容错路由算法 2009年 通过对经典最短路算法的研究,提出一种基于最短路权矩阵法的改进算法。实验结果表明,与权矩阵法相比,改进算法能提高计算效率、增强寻路直观性;特别是当网络中大量节点为目的节点时,该算法更为简捷、有效。 成勋 孙宁 林玮关键词:局部扭曲立方体 路由 容错路由 多播