郁文生,男,博士,北京郵電大學電子工程學院教授,博士生導師。
基本介紹
- 中文名:郁文生
- 國籍:中國
- 民族:漢族
- 畢業院校:北京大學
- 學位/學歷:博士
- 職業:教師
- 專業方向:電子科學與技術
郁文生,男,博士,北京郵電大學電子工程學院教授,博士生導師。
郁文生,男,博士,北京郵電大學電子工程學院教授,博士生導師。個人履歷1998年畢業於北京大學,獲博士學位。1998年至2008年在中科院自動化所,歷任副研究員、研究員、博士生導師。2009年至2014年任華中師範大學教授...
余郁文(Fabian Yu Teh Guen),字德周,號郁文;天主教雅洲代牧區(樂山教區)宗座代牧(1936-1943)。1890年9月27日,余郁文生於四川省崇慶縣(今屬成都),洗名法比昂(Fabian)。其家境富裕,在家中子女中位居第三,父母均為熱心教友。幼年在家學習四書五經以及律韻等。1902年9月,在本堂司鐸以及父母的...
黃郁文 黃郁文(1891年-1927年5月),男,湖南省沅陵縣人。1927年5月在沅陵縣爛船溪犧牲。人物生平 黃郁文生前是沅陵縣警察局局長。戰鬥事跡 1927年5月在沅陵縣爛船溪犧牲。
分析基礎機器證明系統,是科學出版社2022年1月出版的一本圖書,作者是郁文生,付堯順,郭禮權 內容簡介 本書利用互動式定理證明工具Coq,在樸素集合論的基礎上,從Peano五條公設出發,完整實現Landau著名的《分析基礎》中實數理論的形式化系統,包括對該專著中全部5個公設、73條定義和301個定理Coq描述,其中依次構造了自然數...
《公理化集合論機器證明系統》是2019年12月科學出版社出版的圖書,作者 是郁文生、孫天宇、付堯順。圖書簡介 布爾巴基學派的序、代數、拓撲三大母結構是現代數學的基礎.利用計算機證明輔助工具,可以完整構建這三大母結構的形式化系統.本書利用互動式定理證明工具Coq,實現Morse-Kelley公理化集合論形式化系統,包括對該體系...
南京青梔網路科技有限公司 南京青梔網路科技有限公司於2015年11月17日成立。法定代表人郁文生,公司經營範圍包括:網路技術研發;軟體開發與銷售;電子商務;圖書、報紙、期刊、音像製品網路銷售;網際網路信息服務;初級農產品、食品、水產品、食用生鮮農產品的網上銷售等。
《基於證明輔助工具Coq和多項式代數方法的智慧型信號處理》是依託北京郵電大學,由郁文生擔任項目負責人的面上項目。項目摘要 結合證明輔助工具Coq和基於符號數值混合計算的多項式代數方法,系統化地給出一批信息基礎理論中基本命題的機器自動證明構架和實現,並嘗試一些著名公開難題的解答。2005年,國際計算機專家Gonthier and ...
《信息科學中若干理論問題的機械化證明》是依託北京郵電大學,由郁文生擔任項目負責人的面上項目。項目摘要 利用新近發展的自動發現不等式型定理的完備算法及差分代換算法等機器證明方法,給出一批系統理論中的基本命題的機器自動證明構架和實現。這些基本命題包括哈里托諾夫(Kharitonov)定理、線性系統的可控可觀性判定條件、...
郁文生 華東師範大學 第四屆 [11] 2015年 一等獎 吳澄 清華大學 姜傑 中國航天科技集團公司第一研究院 二等獎 王飛躍 中國科學院自動化研究所 李忠奎 北京大學 王立 北京控制工程研究所 第五屆 [3] 2017年 一等獎 桂衛華 中南大學 孫長銀 東南大學 二等獎 段海濱 北京航空航天大學 魏慶來 中國科學院自動化研究...
《非Tarski模型定理機器證明》是依託華東師範大學,由郁文生擔任項目負責人的面上項目。項目摘要 利用新近發展的自動發現不等式型定理的完備算法及差分代換算法等機器證明方法,結合對稱多項式的Timofte降維方法,對幾類Tarski模型外的不等式,包括係數或指數依賴於一個(甚至多個)離散參數的多項式不等式,這裡的離散參數...