随着软件形式化方法的不断发展，各种各具特色的形式化方法涌现出来，为了解决在具体的系统开发中如何选取合适的形式化方法，对目前较为流行的几种形式化方法RSL，B，VDM，Z的特点进行对比分析，然后针对不同的软件开发人员和所需开发系统的不同，给出了适合用形式化方法开发的情况和如何选择合适的形式化开发方法。
2021-01-29 20:11:31
667KB
1
作业车间调度问题是将多台机器安排处理多个工件的组合优化问题，使最大完工时间达到最小。应用传统萤火虫算法求解时，萤火虫个体到达最优解附近时，相对吸引力逐渐增强，导致局部搜索能力减弱，造成求解结果在最优解附近震荡，进而使求解精度下降。为改善解的质量，本文在萤火虫算法迭代过程中引入精英选择策略，保护进化过程中的优秀个体，避免最优解丢失；为提高算法收敛速度与求解精度，对萤火虫位置更新方法引入基于种群规模和迭代次数的动态自适应惯性权重；同时对每一代萤火虫种群最优个体引入禁忌搜索算法，提高局部搜索能力。仿真结果表明本文所提出改进算法在解决作业车间调度问题上的有效性与实用价值。
2021-01-28 02:34:19
911KB
1
就业问题对我国的高等教育和国民经济的可持续发展有着重要的影响。本文依据经验选择近似偏大型柯西隶属函数并根据实际情况应用心理学原理对数据做量化处理，得到招聘双方对对方拥有条件的“满意度”，并将该满意度平均加权求和得到双方对对方的“综合满意度”，我们将该相互“综合满意度”视为双方配对时的成功率
2019-12-21 20:15:48
1.07MB
1