信息科学中若干理论问题的机械化证明

61370176
2013
F0214.新型计算及其应用基础
郁文生
面上项目
教授
北京邮电大学
78万元
定理机器证明;机械化判定;不等式型定理
2014-01-01到2017-12-31
  • 中英文摘要
  • 结题摘要
  • 结题报告
  • 项目成果
  • 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
重置
序号 标题 类型 作者
1 求解特定消谐变换器开关角度的并行完备算法 期刊论文 杨克虎;陈良育;袁志宝;郁文生;曾振炳
2 Solve the Selective Harmonic Elimination Problem with Groebner Bases Theory 会议论文 YANG Ke-hu; YUAN Zhi-bao; WEI Wei; YUAN Ru-yi; YU Wen-sheng
3 Selective Harmonic Elimination With Groebner Bases and Symmetric Polynomials 期刊论文 Kehu Yang;Qi Zhang;Ruyi Yuan;Wensheng Yu;Jiaxin Yuan;Jin Wang
4 Harmonic Elimination for Multilevel Converters with Unequal DC levels by Using the Polynomial Homotopy Continuation Algorithm 会议论文 YANG Ke-hu;LU Dan-ying;KUANG Xiao-qing;YUAN Zhi-bao;YU Wen-sheng
5 Observer-based Fault Estimation and Robust Tolerant Control for Takagi-Sugeno Systems: An LMI Approach 会议论文 HE Guannan;LIU Yang;ZHANG Jing;YU Wensheng
6 Mathematical Theorem Machine Proving System Based on Coq —Machine Proving of the Factorization Theorem of Principal Ideal Domain 会议论文 束润东;郁文生
7 2015国际水中机器人大赛一等奖 奖励 孙天宇;郑旭;张哲
8 Research on Real Solutions Number of the SHEPWM EquationsBased on the Mechanical Proving and Groebner Bases Theory 会议论文 Kehu Yang;Ruyi Yuan;Wensheng Yu
9 Robust State Estimation for a Class of Nonlinear Systems:Fuzzy-Model-Based LMI Approach 会议论文 Guannan He;Hongyu Jing;Jing JI;Wensheng Yu
10 空间生命支持系统中VCCR子系统的安全性验证 期刊论文 李倩;郁文生
11 2016国际水中机器人大赛二等奖 奖励 束润东
12 2016国际水中机器人大赛一等奖 奖励 束润东
13 Robust Fault Estimation and Tolerant Control for a Class of Discrete Piecewise Systems: An LMI Approach 会议论文 HE Guannan;LIU Yang;ZHANG Jing;YU Wensheng
14 关于线性系统同时镇定问题的若干注记 会议论文 关强;何冠男;李望;郁文生
15 Research on Distributed Text Clustering Based on Frequent Itemset 会议论文 Wenchuan Yang;QiWei Wu;Zishuai Cheng
16 求解特定消谐逆变器开关角度的完备算法 期刊论文 杨克虎;卫炜;王聪;袁如意;郁文生
17 2015国家水中机器人大赛一等奖 奖励 孙天宇;郑旭;张哲
18 2015国际水中机器人大赛二等奖 奖励 孙天宇;郑旭;张哲
19 传感网中的四锚点节点定位实解个数分析 期刊论文 姬靖;刘桂雄;郁文生
20 Simultaneous Stabilization for a Class of Uncertain Systemsvia Sliding-Mode-Based Output Feedback Controller 会议论文 Guannan He;Hongyu Jing;Jing JI;Wensheng Yu
21 Observer-based Scheme for Fault Estimation and Robust Tolerant Control: An LMI Approach 会议论文 HE Guannan;LIU Yang;JI Jing;YU Wensheng
22 A Heuristical Method for Safety Verification of Nonlinear Continuous Systems 会议论文 Wang Li;Lu Yang;Wensheng Yu
23 A Groebner Bases Theory-Based Method for Selective Harmonic Elimination 期刊论文 Kehu Yang;Zhibao Yuan;Ruyi Yuan;Wensheng Yu;Jiaxin Yuan;Jin Wang
24 Unified Selective Harmonic Elimination for Multilevel Converters 期刊论文 Kehu Yang;Qi Zhang;Jianjun Zhang;Ruyi Yuan;Qiang Guan;Wensheng Yu
25 Research of a Concurrency Classification Based on Fuzzy Decision 会议论文 Wenchuan Yang;Zishuai Cheng;Qiwei Wu
26 国际水中机器人竞赛优秀指导教师奖 奖励 郁文生
27 基于Coq的选择公理及其等价命题的机器实现 会议论文 孙天宇;郁文生
28 中国仿真学会2016年优秀科技工作者奖 奖励 郁文生
29 Systems Safety Verification By Boundary Variation Analysis 会议论文 LI Wang; YU Wensheng
30 Analysis and Research of the Evidence Theory for Group Decision 会议论文 Wenchuan Yang;Zishuai Cheng;Qiwei Wu
31 Machine Proving System for Mathematical Theorems based on Coq – Machine Realization of the Axiomatic Set Theory 会议论文 孙天宇
32 Machine Proving System for Mathematical Theorems in Coq – Machine Proving of Tukey Lemma 会议论文 孙天宇;郁文生
33 美国大学生数学建模竞赛二等奖 奖励 Jin Han;Yu Wu;Xingye Zhu;Wensheng Yu
34 吴文俊人工智能科学技术奖自然科学奖 奖励 郁文生
35 中国智能物联系统会议优秀论文 奖励 孙天宇
36 2017国际水中机器人大赛个人杰出贡献奖 奖励 孙天宇
37 Some open problems on simultaneous stabilization of linear systems 期刊论文 Wang Li;Long Wang;Wensheng Yu
38 阶梯波多电平变换器特定谐波消除的完全解 期刊论文 杨克虎;唐欣;张奇;郁文生
39 A Sharper Parameter Bound for Belgian Chocolate Stabilization Problem 会议论文 Wang Li;Wensheng Yu
40 Complexity Analysis For Parameter Perturbation Methods 会议论文 LI Wang; YU Wensheng
41 Machine Proving System for Mathematical Theorems in Coq – Machine Proving of Hausdorff Maximal Principle and Zermelo Postulate 会议论文 Tianyu Sun;Wensheng yu
查看更多信息请先登录或注册

相关项目

趋势报告

经验分享