量子信息理论的高阶逻辑形式化及其在量子通信系统验证中的应用

批准号：

62372312

项目类别：

面上项目

资助金额：

50 万元

负责人：

施智平

依托单位：

首都师范大学

学科分类：

量子通信与量子信息处理

结题年份：

--

批准年份：

2023

项目状态：

未结题

项目参与者：

施智平

关键词：

量子通信系统验证量子信息理论逻辑形式化

施智平的其他基金

相似基金

相关文献

拉格朗日动力学形式化及其在机器人验证中的应用

批准号：

61876111
项目类别：

面上项目
资助金额：

62.0万元
批准年份：

2018
负责人：

施智平
依托单位：

首都师范大学

机器人运动学形式化分析及其算法验证

批准号：

61472468
项目类别：

面上项目
资助金额：

62.0万元
批准年份：

2014
负责人：

施智平
依托单位：

首都师范大学

希尔伯特空间以及矩阵理论在HOL4中的形式化

批准号：

61170304
项目类别：

面上项目
资助金额：

52.0万元
批准年份：

2011
负责人：

施智平
依托单位：

首都师范大学

基于视感知的图像视频语义获取关键技术研究

批准号：

60903141
项目类别：

青年科学基金项目
资助金额：

17.0万元
批准年份：

2009
负责人：

施智平
依托单位：

首都师范大学

国内基金

海外基金