搜索结果: 1-4 共查到“计算机系统结构 CSP”相关记录4条 . 查询时间(0.079 秒)
关于组织参加2022 CCF大学生计算机系统与程序设计竞赛（CCSP）初赛（暨第28次CCF CSP认证）的通知
CCF大学生计算机系统与程序设计竞赛 CCSP CCF CSP认证
2023/1/17
中国计算机学会(CCF)是中国计算机领域十分权威、影响力巨大的专业组织。CCF大学生计算机系统与程序设计竞赛（CCSP）旨在提高高校计算机教育水平的全国计算机最高水平的大学生竞赛，涵盖全国所有高校计算机及相关专业的大规模的全国范围内的计算机大赛。CCSP竞赛以CCF CSP认证为初赛，选手经选拔后参加CCSP竞赛。CCSP竞赛入围校学科竞赛级别等次划分目录，认定为国家级。“2022 CCF大学生计...
2021年12月15日，2021 CCF大学生计算机系统与程序设计竞赛（CCSP）成功举办，全国赛地点为深圳大学，分赛在各认证点高校举办。中南民族大学作为CCF CSP认证高校，计算机科学学院组织学生参加了华中区域赛。中南民族大学计算机科学学院2019级计算机科学与技术专业本科生陆尹凯同学获得金牌奖项，2019级软件工程专业本科生郑秋雨同学获得铜牌奖项。
针对移动自组织网络认证协议应对安全威胁、满足安全目标的有效性问题，提出了采用基于通信顺序进程（CSP, communicating sequential process）和模型检测的协议分析方法，对移动自组织网络的代表性认证协议TAM进行分析、建模、检验并改进。首先采用CSP方法对TAM中参与者的通信行为建立模型、给出了安全目标的安全规范；然后利用模型检测工具FDR验证了TAM的CSP进程，结果表...