程序和混成系统验证中的非线性问题研究
61902284
2019
F0201.计算机科学的基础理论
甘庭
青年科学基金项目
讲师
武汉大学
24万元
符号数值计算;非线性理论;克雷格插值;程序验证;混成系统验证
2020-01-01到2022-12-31
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
| 序号 | 标题 | 类型 | 作者 |
|---|---|---|---|
| 1 | 时延混成系统的切换控制器合成 | 期刊论文 | 白云军;甘庭;焦莉;薛白;詹乃军 |
| 2 | Switching controller synthesis for delay hybrid systems under perturbations | 会议论文 | Bai Yunjun;Gan Ting;Jiao Li;Xia Bican;Xue Bai;Zhan Naijun |
| 3 | Metric Learning via Penalized Optimization | 会议论文 | Huang Hao;Peng Yanan;Gan Ting;Tu Weiping;Zhou Ruiting;Wu Sai |
| 4 | 基于离散泊松混合模型的教学评价数据建模 | 期刊论文 | 黄浩;颜钱;甘庭;李石君 |
| 5 | Reconstructing Diffusion Networks from Incomplete Data | 会议论文 | Hao Huang;Keqi Han;Beicheng Xu;Ting Gan |
| 6 | Nonlinear Craig Interpolant Generation | 会议论文 | Ting Gan;Bican Xia;Bai Xue;Naijun Zhan;Liyun Dai |
| 7 | Diffusion Network Inference from Partial Observations | 会议论文 | Ting Gan;Keqi Han;Hao Huang;Shi Ying;Yunjun Gao;Zongpeng Li |
查看更多信息请先登录或注册
