水波优化算法收敛性分析

水波优化(Water Wave Optimization,WWO)算法是一种受浅水波现象启发的新兴进化算法,它通过模拟水波的传播、折射、碎浪等运动机制来在高维解空间中进行高效搜索。该算法已被证明在大量基准测试问题和工程实际问题上优于其它许多前沿的启发式优化算法。从理论上分析了WWO算法的收敛性条件。通过对目标问题和算法参数设置的简化,证明了WWO中任何个体在两种特殊情况下都是收敛的:(1)只执行传播操作;(2)只执行折射操作。这两种情况分别对应两种特殊的适应度变化状态。进行了数值仿真实验,验证了上述两种收敛性条件。     

使用SPEC#开发高可靠性的物流信息系统

结合形式化软件开发方法和面向对象的方法学,使用SPEC#开发物流信息管理系统,利用该语言中的前置条件、后置条件、对象不变式等形式化机制显著地提高了软件的可读性,可靠性和可维护性。系统地总结了分析、设计和编码阶段的经验和问题,提出了应用SPEC#进行契约式程序设计的一组原则和建议,并分析了该语言存在的不足和改进策略。     

软件形式化开发关键部件选取的水波优化方法

形式化方法有助于从根本上提高软件系统的质量与可靠性,但其开发成本往往过于高昂.一种折衷的办法是在软件系统中选取关键性部件进行形式化开发,但目前尚无非常有效的定量选择方法.将软件系统中的形式化开发关键部件选取建模为一个0-1约束规划问题,以便使用元启发式搜索方法对其进行优化求解.另外,针对该问题专门设计了一种离散水波优化(water wave optimization,简称WWO)算法.在一个大型软件系统上的应用验证了问题模型的有效性,同时证明了WWO算法相对于其他若干典型元启发式搜索方法的优越性.     

基于综合发展规划理念的"美丽乡村"规划设计研究——以东阳市花园村为例

东阳市花园村的规划设计以宜居、富民、和谐为重点,以"生态文明、美丽乡村"为规划主题,基于"集约高效、功能升级、产业驱动"的规划机制与创新理念,形成"两心三轴四区六组团"的用地布局结构,完善基础设施和社会服务设施,实现从农村型向城市型功能的跨越,完善村庄生态设施建设和生态空间景观建设,明确制定项目建设内容,项目空间的布局...     

渡河桥梁装备特型器材防护包装设计

结合工程装备维修器材保障工作实际,对渡河桥梁装备特型器材防护包装需求进行了定性分析,提出了特型器材包装设计原则和要求,研究设计和选用了4种适于渡河桥梁装备特型器材集装包装形式,初步实现了特形器材包装的标准化、规范化和集装化。     

算法程序变换研究与进展

开发算法程序是计算机科学领域中最具挑战性的问题之一。为了提高算法程序的可靠性和生产效率,人们正在追求其开发的自动化。算法程序变换是实现算法程序开发自动化的重要途径,已成为程序设计方法学和软件自动化领域中的重要课题,目前已取得很大进展。本文介绍了算法程序变换的相关概念,给出了算法程序变换的分类,并从方法学、语言、算法设计能力、支撑工具及其适用领域等方面分析和比较了几个有代表性的算法程序变换研究项目,讨论了当前研究的不足以及今后的研究方向。     

装备维修规划的多目标优化模型和求解算法

为有效地刻画和求解军事装备系统的维修规划问题,建立了一个以维修费用和任务能力为目标的约束优化模型,提出了一种求解装备维修规划问题的多目标禁忌搜索算法.模型考虑了维修器材和工时两种费用指标,并在数质量评估的基础上通过二次回归方程来分层评估装备系统的任务能力指标.算法采用两阶段搜索策略,第一阶段从维修数量下限出发,以任务能力为演化目标进行搜索,直至找到一个可行解;第二阶段以任务能力/维修费用比为演化目标进行搜索,不断改善整个非支配解集.实验表明,算法能够求解型号≥500种,数量≥45 000的大规模问题,模型和算法求解的质量也在实际应用中得到了验证.     

基于Multi-Agent的装备保障决策支持系统

现代战争条件下,装备综合保障目标和约束的复杂度急剧增加,采用传统方法所建立的问题模型往往求解困难,而且不易于理解和维护.提出了一个基于Multi-Agent的装备保障决策支持系统,可实现复杂保障问题的规约、求解、组合、划分、反馈和动态控制,并给出了一个应用该系统进行保障规划问题求解的实例.系统采用基于Agent构件的分布式体系结构,高层Agent可由低层Agent组装而成.系统顶层使用了7类Agent,其中Decision-Maker和Solver进一步采用了基于Multi-Agent的A-Team框架来实现保障任务控制和问题求解,有效地提高了问题求解的效率和可靠性.     

General-Service Ballistic Computer Programming Based on B-Method

Formal methods offer the promise of significant improvement on quality and reliability of critical embedded software. B-Method is employed to develop general-service ballistic computer programs in the paper, each of which can be adapted to a family of service/weapon-specific ballistic computers. Based on the structuring mechanisms of B-method, a unified approach is proposed to systematically control the complexity of ballistic parameters in the process of type and operation refinement, and ultimately a series of high reliable, reusable, and scalable programs are produced. Experiences with the application of the method and tools are also discussed.     

双体系并行特征下的浙江省乡村规划体系优化途径

在美丽乡村建设热潮席卷全国的大背景下,乡村规划日益受到重视。研究在分析浙江省乡村规划双体系并行特征及其存在的现实困境的基础上,通过对原有传统乡村规划体系和在实践中形成的美丽乡村规划体系的内容进行比较,提出以延续城乡规划体系为基本方向、以反映乡土社会本原为基本目标、从体系内部优化及从外部引入非正式制度的乡村规划体系优化途径,以期为全国各地正在展开的美丽乡村建设实践提供借鉴。