搜索结果: 1-12 共查到“计算机科学技术 CSP”相关记录12条 . 查询时间(0.203 秒)
关于组织参加2022 CCF大学生计算机系统与程序设计竞赛（CCSP）初赛（暨第28次CCF CSP认证）的通知
CCF大学生计算机系统与程序设计竞赛 CCSP CCF CSP认证
2022/11/3
中国计算机学会(CCF)是中国计算机领域十分权威、影响力巨大的专业组织。CCF大学生计算机系统与程序设计竞赛（CCSP）旨在提高高校计算机教育水平的全国计算机最高水平的大学生竞赛，涵盖全国所有高校计算机及相关专业的大规模的全国范围内的计算机大赛。CCSP竞赛以CCF CSP认证为初赛，选手经选拔后参加CCSP竞赛。CCSP竞赛入围校学科竞赛级别等次划分目录，认定为国家级。“2022 CCF大学生计...
2021年12月15日，2021 CCF大学生计算机系统与程序设计竞赛（CCSP）成功举办，全国赛地点为深圳大学，分赛在各认证点高校举办。中南民族大学作为CCF CSP认证高校，计算机科学学院组织学生参加了华中区域赛。中南民族大学计算机科学学院2019级计算机科学与技术专业本科生陆尹凯同学获得金牌奖项，2019级软件工程专业本科生郑秋雨同学获得铜牌奖项。
2021年12月5日，由中国计算机学会（CCF）主办的第二十四次计算机软件能力认证在全国74个认证点同时举办，近200个单位的8750人参加了认证，西安邮电大学共36名学生参加，其中33名来自西安邮电大学计算机学院创新创业实践基地。
2021年10月2日，中国计算机学会（CCF）发布了第23次CSP软件能力认证的高校排名，中国人民大学获得全国第三名。第23次CSP认证于2021年9月19日举办，近200个单位的7199名选手参加，信息学院、高瓴人工智能学院等学院的28位学生参加，其中9人超过300分，信息学院杨铭基获得满分500分。
基于CSP的能耗高效云计算资源调度模型与算法
云计算 资源分配 能耗效率 约束满足问题
2013/9/15
利用约束满足问题对异构云数据中心的能耗优化资源调度问题建模，通过求解建立的约束模型可以获得能耗最优的资源分配方式，并在此基础上提出了能耗优化的资源分配算法dynamicpower (DY)。与已有的算法MinPM、FFD、BFD相比，算法DY考虑了资源的异构性，能够降低云数据中心物理服务器的能耗。最后，利用Choco实现了提出的算法DY，并将DY与MinPM、FFD、BFD进行实验比较，实验结果表...
针对移动自组织网络认证协议应对安全威胁、满足安全目标的有效性问题，提出了采用基于通信顺序进程（CSP, communicating sequential process）和模型检测的协议分析方法，对移动自组织网络的代表性认证协议TAM进行分析、建模、检验并改进。首先采用CSP方法对TAM中参与者的通信行为建立模型、给出了安全目标的安全规范；然后利用模型检测工具FDR验证了TAM的CSP进程，结果表...
运输态势交互模型及其CSP形式化研究
人机交互(HCI) 用户操作 通信顺序进程
2009/8/20
人机交互(HCI)技术的迅猛发展为自然高效和谐的HCI提供了基础支持，随着HCI行为的日益复杂，如何验证其过程的正确性成为研究HCI领域的重心。根据双手触摸光感应触控平台在运输态势的HCI，提出一种体现用户操作与设备响应相结合的运输态势HCI模型，该模型采用通信顺序进程形式化描述，并结合甘特图验证其单用户操作的逻辑正确性和稳定性。
数据独立技术在CSP协议模型中的设计与实现
数据独立 进程 映射
2009/8/4
在研究Roscoe数据独立技术的基础上，引入新的进程扩展CSP协议模型，并以Yahalom协议为例给出了完整的协议模型。随后对扩展的协议模型进行形式化描述。最后使用脚本语言CSPM对其进行编写，完成验证。
基于CSP和动态博弈的电子支付系统模型
通信顺序进程 动态博弈 系统模型
2009/7/31
分析电子支付系统的安全问题，提出基于通信顺序进程和动态博弈的电子支付系统模型。该模型对协议主体的各种不诚实行为和3种质量的通信媒介建模，可以用于分析协议主体和通信媒介之间的合作和竞争行为。对进程失效和由于消息丢失或消息延迟导致的通信失效建模，能分析各种失效情况下协议的安全属性。
混凝土结构加固设计计算软件是为了满足加固设计的工作需要编制的，编制依据是国家标准和标准化协会标准及建研院多年来在该方面积累的科研成果。它适用的加固方法有加大截面法、外包钢法、预应力拉杆、预应力撑杆加固法、粘钢加固法、增设支点加固法等国内外常用的加固方法.计算的构件类型有受弯构件、轴心受压构件、偏心受压构件。
工作流建模语言XPDL到CSP进程的转化研究
工作流 XPDL CSP进程
2009/2/11
针对工作流定义标准语言XPDL缺乏形式化语义，提出了将XPDL描述转化为通信顺序进程(CSP)的方法，从而可以利用进程代数CSP理论以加强对工作流模型的语义描述分析检测。通过实例分析具体说明转化方法的有效性。
Analysing the Woo-Lam Protocol Using CSP and Rank Functions
Analysing the Woo-Lam Protocol CSP Rank Functions
2005/4/12
Designing security protocols is a challenging and deceptive exercise. Even small protocols providing straightforward security goals, such as authentication, have been hard to design correctly, leading...