郑宇军

作品数：18被引量：45H指数：4
导出分析报告
供职机构：浙江工业大学计算机科学与技术学院、软件学院更多>>
发文主题：形式化方法水波优化算法AGENT契约更多>>
发文领域：自动化与计算机技术社会学经济管理农业科学更多>>
发文期刊：《计算机工程与应用》《中国科学：信息科学》《计算机工程与设计》《南京大学学报（自然科学版）》更多>>
所获基金：国家自然科学基金国家重点基础研究发展计划浙江省自然科学基金江西师范大学青年成长基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
软件形式化开发关键部件选取的水波优化方法被引量：10
《软件学报》2016年第4期933-942,共10页郑宇军 张蓓 薛锦云 
国家自然科学基金(61020106009;61105073;61272075;61473263)~~
形式化方法有助于从根本上提高软件系统的质量与可靠性,但其开发成本往往过于高昂.一种折衷的办法是在软件系统中选取关键性部件进行形式化开发,但目前尚无非常有效的定量选择方法.将软件系统中的形式化开发关键部件选取建模为一个0-1...
关键词：形式化方法 可靠度 元启发式搜索方法 水波优化算法 
水波优化算法收敛性分析被引量：8
《计算机科学》2016年第4期41-44,共4页张蓓 郑宇军 
国家自然科学基金项目(61473263)资助
水波优化(Water Wave Optimization,WWO)算法是一种受浅水波现象启发的新兴进化算法,它通过模拟水波的传播、折射、碎浪等运动机制来在高维解空间中进行高效搜索。该算法已被证明在大量基准测试问题和工程实际问题上优于其它许多前沿的...
关键词：进化算法 水波优化算法 收敛性 传播 折射 
种群规模可变的水波优化算法被引量：3
《南京大学学报（自然科学版）》2015年第4期850-857,共8页张杰峰 郑宇军 
国家自然科学基金(61473263)
水波优化(water wave optimization,WWO)算法是一种基于浅水波理论的新兴智能优化算法,在大量基准问题上表现出了极为优越的性能.提出该算法的一个改进版本,将原算法中的固定种群规模改为线性递减的种群规模,从而在搜索的早期更好地支...
关键词：进化算法 水波优化 种群规模 全局优化 
多Agent主从粒子群分布式计算框架被引量：4
《软件学报》2012年第11期3000-3008,共9页郑宇军 陈胜勇 凌海风 徐新黎 
国家自然科学基金(61105073;61173096;61103140;61020106009;61070043);浙江省自然科学基金(R1110679)
面向大规模复杂优化问题,提出了一个基于并行粒子群优化的分布式Agent计算框架.框架中使用一个主群(master swarm)来演化问题的完整解,并使用一组从群(slave swarm)来并行优化一组子问题的解,主群和从群通过交替执行来提高问题的求解效...
关键词：AGENT 粒子群优化 主从模型 协同进化 分布式计算 
组合优化问题简约与算法推演被引量：5
《软件学报》2011年第9期1985-1993,共9页郑宇军 薛锦云 凌海风 
国家自然科学基金(61105073;60773054);科技部国际科学技术合作项目(2008DFA11940)
针对组合优化类问题定义了代数结构模型,从问题的形式规约出发,通过一阶谓词和量词演算将问题逐步简约为搜索空间更小、复杂度更低的子问题,根据问题的简约关系推导出求解算法,并在构造算法的同时也证明了算法的正确性.开发了原型系统...
关键词：组合优化问题 问题简约 算法推演 PAR(partition-and-recur) 正确性证明 
基于范畴计算的多目标语言程序生成架构被引量：1
《计算机科学》2011年第4期185-187,共3页王金全 郑宇军 
国家自然科学基金(60773054)资助
提出了一种基于范畴论的多目标语言程序生成架构,程序元素的元类型在程序元模型范畴中定义,常用的软件开发模式由元模型实例组成并带有可配置的参数,模式到可执行语言的表达式、函数、类型等映射由范畴函子统一定义。在实际应用开发时,...
关键词：范畴论 程序生成 函子 模型变换 
装备维修规划的多目标优化模型和求解算法被引量：2
《计算机集成制造系统》2010年第10期2174-2180,共7页张子丘 郑宇军 
国家自然科学基金资助项目(60773054)~~
为有效地刻画和求解军事装备系统的维修规划问题,建立了一个以维修费用和任务能力为目标的约束优化模型,提出了一种求解装备维修规划问题的多目标禁忌搜索算法。模型考虑了维修器材和工时两种费用指标,并在数质量评估的基础上通过二次...
关键词：装备 维修规划 多目标优化 禁忌搜索 任务能力 
变量施肥决策的多目标优化模型与算法被引量：1
《中国科学：信息科学》2010年第S1期244-252,共9页郑宇军 宋琴 赵福宽 
国家自然科学基金(批准号:60773054);科技部国际科技合作项目(批准号:2008DFA11940);北京市属市管高等学校人才强教计划(批准号:PHR200907136)资助项目
变量决策模型和优化算法是精准农业变量作业处方生成的核心环节.文中建立了一个综合考虑作物产量、质量、能源消耗、环境影响等多个指标的变量施肥多目标优化模型,提出了一种求解此类问题的高效禁忌搜索算法,从产量最大化的初始施肥方...
关键词：精准农业 变量施肥 多目标优化 禁忌搜索 
数据驱动的多Agent装备器材保障决策支持系统被引量：2
《解放军理工大学学报（自然科学版）》2010年第1期60-65,共6页马燕 郑宇军 凌海风 王连来 
国家自然科学基金资助项目(60773054)
为提高复杂网络环境和任务需求下器材保障的智能化水平,提出了一个数据驱动的多Agent器材保障决策支持系统DSS(decision support system),系统中的数据、模型以及Agent可分布在不同的网络节点上,高层Agent可由粒度更小的子Agent或Agent...
关键词：决策支持系统 器材保障 AGENT 数据挖掘 
基于SPEC#的功能性冗余软件开发
《计算机工程与设计》2009年第15期3487-3490,共4页王侃 郑宇军 范宏伟 
国家自然科学基金项目(60773054)
软件的功能性冗余能够有效提高计算机系统可靠性和安全性。研究了SPEC#语言中的前后置断言和对象不变式等契约机制,分析了如何通过这些机制来实现输入输出域控制、主动冗余和故障恢复等软件功能性冗余的方法和手段,并总结了软件开发过...
关键词：软件可靠性 SPEC# 契约 功能性冗余 异常 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部