| 项目负责人 | 王克 |
| 依托单位 | 重庆大学 |
| 立项年份 | 1987 |
| 学科分类 | 计算机科学的基础理论 |
| 资助来源 | 国家自然科学基金 |
| 项目状态 | 已立项 |
| 资助金额 | ¥2.5万 |
| 批准号 | 68700201 |
工具
该负责人其他项目
- 农业保险保障水平提升的机理和路径研究:合约设计的视角(国自然,王克,2020)
- 生猪价格保险对农户养殖行为的影响及其市场价格稳定功能研究(国自然,王克,2016)
- 随机生物种群模型若干性质的研究(国自然,王克,2011)
- 可积系统的时滞扰动理论(国自然,王克,2001)
- 时滞微分方程所确定的动力系统的研究(国自然,王克,1998)
- 具无限时滞的非自治生态系统的持久性研究(国自然,王克,1993)
- 超大数据库的约束实施、查询处理及模式设计(国自然,王克,1989)
重庆大学其他项目
- 阻挫里德堡阵列中拓扑激发与拓扑态的理论研究(国自然,张学锋,2026)
- 光致奇宇称交错磁性材料设计与物性探究(国自然,马大帅,2026)
- 标准宇宙学模型的多方位检验与参数限制(国自然,林海南,2026)
- “135”型笼目金属中向列相及其涨落的热力学与输运研究(国自然,洪晓晨,2026)
- 玻色—爱因斯坦凝聚体中的非高斯量子态研究(国自然,王昌言,2026)
- 真空衰变的理论和数值研究(国自然,边立功,2026)
- 高能对撞机上双重味及奇特强子产生机制的高精度理论研究(国自然,郑绪昌,2026)
- 热电耦合光催化C02还原体系构建及机理研究(国自然,陶晓萍,2026)
计算机科学的基础理论学科其他项目
- 算法洛瓦兹局部引理:冲破Shearer边界的束缚(国自然,刘兴武,2020)
- 面向多业态多用户边缘车载云服务的任务安全卸载与可靠调度系统研究(国自然,任爽,2020)
- 参数近似算法(国自然,郭炅,2020)
- 交互式定理证明工具和证明自动化技术研究(国自然,詹博华,2020)
- 基于指数时间假设的纳什均衡算法与复杂性研究(国自然,刘正阳,2020)
- 命题公式的结构熵在信息传播算法求解SAT问题中的应用研究(国自然,王晓峰,2020)
- 面向完整性和可用性的智能合约形式化分析与修复方法研究(国自然,李希萌,2020)
- 基于知识图谱表示的多模态数据特征提取与融合研究(国自然,高岭,2020)
相关期刊推荐
该学科领域可投稿的高影响期刊:
- ACM Computing Surveys(IF 30.400,JCR Q1)
- Nature Machine Intelligence(IF 29.800,JCR Q1)
- IEEE Transactions on Pattern Analysis and Machine Intelligence(IF 20.400,JCR Q1)
- Nature Computational Science(IF 20.300,JCR Q1)
- Journal of Big Data(IF 10.800,JCR Q1)