【摘 要】
：
形式化方法有助于从根本上提高软件系统的质量与可靠性,但其开发成本往往过于高昂.一种折衷的办法是在软件系统中选取关键性部件进行形式化开发,但目前尚无非常有效的定量选
【机 构】
：
浙江工业大学计算机科学与技术学院,江西省高性能计算重点实验室江西师范大学
【基金项目】
：
国家自然科学基金（61020106009,61105073,61272075,61473263）
论文部分内容阅读
形式化方法有助于从根本上提高软件系统的质量与可靠性,但其开发成本往往过于高昂.一种折衷的办法是在软件系统中选取关键性部件进行形式化开发,但目前尚无非常有效的定量选择方法.将软件系统中的形式化开发关键部件选取建模为一个0-1约束规划问题,以便使用元启发式搜索方法对其进行优化求解.另外,针对该问题专门设计了一种离散水波优化（water wave optimization,简称WWO）算法.在一个大型软件系统上的应用验证了问题模型的有效性,同时证明了WWO算法相对于其他若干典型元启发式搜索方法的优越性.
其他文献
目的探讨支气管哮喘（简称＂哮喘＂）患儿血清类胰蛋白酶诊断价值及其与疾病严重程度的关系。方法选取本院2016年1月-2017年9月收治的哮喘患儿116例为研究组,根据疾病严重程度分间歇
<正>系统性红斑狼疮系(systemic lupus erythematosus,SLE)是一种常见的系统性自身免疫性疾病。它可累及皮肤、心脏、神经系统及肺等多个脏器。以肺炎为首发症状的SLE较为少
在中等职业学校相继实行学分制教学改革的过程中，英语教学在培养目标、专业设置、学生来源、学习基础、学习兴趣、学生心理及教学方法等方面都存在着影响教学质量的问题，因此，必
近年来,智能大厦的概念在国内外受到了高度的关注.相比于传统的建筑,智能大厦更加节能、舒适、易维护,已成为未来建筑的发展趋势.作为智能大厦空调通风系统的关键部分,空调系
如何改变传统的、不合时宜的人才培养模式已成为高职发展迫在眉睫的任务.本文从专业设置、教学内容、教学方法、产研学结合等几个方面对高等职业教育人才培养模式进行了探讨.
知识经济时代竞争的根本是人才,而人才的培养有赖于教育。体育作为教育的重要组成部分,有着其它教育方式不可替代的作用。素质拓展活动的新颖性、创新性及其与体育教学的相容
在技校装配钳工专业技能训练中，要制订符合实际的生产实习计划，要拥有一支“双师型”的教师队伍，要开发一套较为完善的考核试题，才能提高实习教学效果。