郑宇军
- 作品数：22 被引量：49H指数：4
- 供职机构：浙江工业大学计算机科学与技术学院、软件学院更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划浙江省自然科学基金更多>>
- 相关领域：自动化与计算机技术社会学经济管理农业科学更多>>
- 使用SPEC#开发高可靠性的算法程序被引量：1
- 2006年
- 概要介绍了SPEC#的基本特性;使用SPEC#开发了若干典型的算法程序,利用该语言中的契约机制来形式化地描述前置条件、后置条件、对象不变式等程序规约,从而显著地提高了程序的可读性、可靠性和可维护性,有助于软件自动化水平的提高。
- 郑宇军马燕薛锦云
- 关键词：形式化方法契约
- 软件形式化开发关键部件选取的水波优化方法被引量：10
- 2016年
- 形式化方法有助于从根本上提高软件系统的质量与可靠性,但其开发成本往往过于高昂.一种折衷的办法是在软件系统中选取关键性部件进行形式化开发,但目前尚无非常有效的定量选择方法.将软件系统中的形式化开发关键部件选取建模为一个0-1约束规划问题,以便使用元启发式搜索方法对其进行优化求解.另外,针对该问题专门设计了一种离散水波优化(water wave optimization,简称WWO)算法.在一个大型软件系统上的应用验证了问题模型的有效性,同时证明了WWO算法相对于其他若干典型元启发式搜索方法的优越性.
- 郑宇军张蓓薛锦云
- 关键词：形式化方法可靠度
- 种群规模可变的水波优化算法被引量：3
- 2015年
- 水波优化(water wave optimization,WWO)算法是一种基于浅水波理论的新兴智能优化算法,在大量基准问题上表现出了极为优越的性能.提出该算法的一个改进版本,将原算法中的固定种群规模改为线性递减的种群规模,从而在搜索的早期更好地支持全局探索,而在搜索的后期更多地进行局部开发.通过在IEEE CEC 2014测试集30个函数优化问题上的实验比较,改进后的算法在12个问题上显著优于原WWO算法,在4个问题上劣于原算法,在14个问题上无显著性差异.此结果表明提出的种群可变策略能够提高WWO算法的综合性能.
- 张杰峰郑宇军
- 关键词：进化算法种群规模全局优化
- 多Agent主从粒子群分布式计算框架被引量：4
- 2012年
- 面向大规模复杂优化问题,提出了一个基于并行粒子群优化的分布式Agent计算框架.框架中使用一个主群(master swarm)来演化问题的完整解,并使用一组从群(slave swarm)来并行优化一组子问题的解,主群和从群通过交替执行来提高问题的求解效率.采用异步组结构,主群/从群中的各类Agent共享一个解群,并通过相互协作,对解群进行构造、改进、修补、分解和合并等演化操作.该框架可用于求解复杂的约束多目标优化问题.通过一类典型运输问题上的实验,其结果表明,所提出的方法明显优于另外两种先进的演化算法.
- 郑宇军陈胜勇凌海风徐新黎
- 关键词：AGENT粒子群优化协同进化分布式计算
- 装备维修规划的多目标优化模型和求解算法被引量：2
- 2010年
- 为有效地刻画和求解军事装备系统的维修规划问题,建立了一个以维修费用和任务能力为目标的约束优化模型,提出了一种求解装备维修规划问题的多目标禁忌搜索算法。模型考虑了维修器材和工时两种费用指标,并在数质量评估的基础上通过二次回归方程来分层评估装备系统的任务能力指标。算法采用两阶段搜索策略,第一阶段从维修数量下限出发,以任务能力为演化目标进行搜索,直至找到一个可行解;第二阶段以任务能力/维修费用比为演化目标进行搜索,不断改善整个非支配解集。实验表明,算法能够求解型号≥500种,数量≥45000的大规模问题,模型和算法求解的质量也在实际应用中得到了验证。
- 张子丘郑宇军
- 关键词：多目标优化禁忌搜索
- 基于Multi-Agent的装备保障决策支持系统
- 现代战争条件下,装备综合保障目标和约束的复杂度急剧增加,采用传统方法所建立的问题模型往往求解困难,而且不易于理解和维护.提出了一个基于Multi-Agent的装备保障决策支持系统,可实现复杂保障问题的规约、求解、组合、划...
- 郑宇军李海英薛锦云
- 关键词：决策支持系统分布式体系结构动态控制
- 文献传递
- 水波优化算法收敛性分析被引量：8
- 2016年
- 水波优化(Water Wave Optimization,WWO)算法是一种受浅水波现象启发的新兴进化算法,它通过模拟水波的传播、折射、碎浪等运动机制来在高维解空间中进行高效搜索。该算法已被证明在大量基准测试问题和工程实际问题上优于其它许多前沿的启发式优化算法。从理论上分析了WWO算法的收敛性条件。通过对目标问题和算法参数设置的简化,证明了WWO中任何个体在两种特殊情况下都是收敛的:(1)只执行传播操作;(2)只执行折射操作。这两种情况分别对应两种特殊的适应度变化状态。进行了数值仿真实验,验证了上述两种收敛性条件。
- 张蓓郑宇军
- 关键词：进化算法收敛性
- 算法程序变换研究与进展被引量：4
- 2007年
- 开发算法程序是计算机科学领域中最具挑战性的问题之一。为了提高算法程序的可靠性和生产效率,人们正在追求其开发的自动化。算法程序变换是实现算法程序开发自动化的重要途径,已成为程序设计方法学和软件自动化领域中的重要课题,目前已取得很大进展。本文介绍了算法程序变换的相关概念,给出了算法程序变换的分类,并从方法学、语言、算法设计能力、支撑工具及其适用领域等方面分析和比较了几个有代表性的算法程序变换研究项目,讨论了当前研究的不足以及今后的研究方向。
- 石海鹤石海鹏郑宇军薛锦云
- 关键词：自动化形式化方法
- 基于主从粒子群模型的分布式Agent计算框架
- 提出了一个基于并行粒子群优化的分布式Agent 计算框架.在求解大规模复杂优化问题时,框架中使用一个主群(master swarm)来演化问题的完整解,并使用一组从群(slave swarm)来并行优化一组子问题的解,主...
- 郑宇军陈胜勇凌海风徐新黎
- 关键词：AGENT粒子群优化协同进化分布式计算
- 文献传递
- Spec#语言中的形式化特性
- ＜正＞ 1 引言Spec#是Microsoft正在研发的一种程序设计语言,其意图是为面向对象的语言引入形式化机制,从而使软件的可靠性和可维护性水平产生一个质的飞跃。其主要特性包括基于前置和后置条件的方法契约、基于对象不变...
- 郑宇军石海鹤薛锦云
- 关键词：CONTRACTSEXCEPTION
- 文献传递
