会议安排

会议安排技术资料下载专区,收录500份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。

资源总数
500

会议安排 全部资料 500 份

基于进程代数的CSP 方法是一种重要的形式化协议分析验证方法。本文首先简单介绍了CSP 相关理论,并以NSPK 协议为例系统概述了安全协议的CSP 建模方法。为更好的查明协议的安全缺陷,重点研究如何在

2024-05-09 5 会议安排

介绍由计算机根据教师的意愿,利用遗传算法自动进行排课,最大限度地满足教师的愿望,对资源作出优化合理的安排.而且,利用Excel实现排课的遗传算法.排课分为教师安排和课程时间的安排两部分.本篇论述教师安排.

2015-12-24 188 会议安排