[00105548]信息科学中若干理论问题的机械化证明
联系人：
所在地：
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
技术详细介绍
该项目主要研究内容如下：
1。针对传统选择谐波消除（SHE）框架下对所有开关模式进行全面研究的问题提出了一种统一的 SHE 方法。
2。基于 Coq 的“公理化集合论”定理机器证明系统，实现了选择公理与它的几个著名等价命题间等价性的机器证明。
3。基于 Groebner 基和对称多项式理论，提出了对 SHE 的一种代数方法。
4。针对单输入单输出线性时不变系统同时镇定的最新研究进展和最新研究成果进行研究，指出 Boston 于 2012 年声称的下界 δ 可扩大到 0。976461 的结论是不准确的。
5。针对结式消元法在求解特定谐波消除脉宽调制变换器的开关角度时会遇到中间表达式膨胀耗尽内存的问题，提出基于多项式插值的方法。
6。基于符号计算的线性系统同时镇定及鲁棒控制研究继续深入，并将该理论与方法应用于系统安全性检验问题。
7。对于空间四锚点定位存在多解问题，给出的多解分类判别条件对实际应用具有指导作用。
8。基于动态微分逻辑的混成系统形式化验证理论，分析空间生命支持系统的一个子系统VCCR 的安全性。
