主要教育和工作經歷:
王天明教授，男，1939，漢族，博士生導師，黨員。
簡歷:
1958-1963大連理工大學數學力學系
1963-1978大連理工大學基礎部助理。
1978-1983大連理工大學數學研究所講師
1983-1985美國匹茲堡大學數學系訪問學者
1985-1991大連理工大學數學研究所副教授
1991-大連理工大學數學系教授。
主要學術和社會兼職工作:
社會兼職
1998-1991中國組合數學研究會秘書長
1991-2001中國組合數學研究會副理事長
2001-中國數學會組合與圖論專業委員會委員(中國組合與圖論學會常務理事)
《數學研究與評論雜誌》執行編輯委員會
研究領域(研究課題):
主要研究方向:
我的研究方向是組合數學。由於電子計算機的出現，壹方面使過去無法實現的算法現在可以實現，另壹方面計算機本身的發展也給組合數學提出了新的課題，所以組合數學在過去的二三十年裏發展很快，成為數學中非常活躍的壹個分支，越來越受到國內外數學領域的重視。他的成果滲透到了數學的各個分支，數學的各個分支也在組合數學中發揮了作用。
主要研究領域是計數理論及其應用，是組合數學的基礎。同時廣泛應用於物理、化學、生命科學、計算機、通信理論等領域。目前的研究方向有:1經典組合學，2組合數學中的機械化方法，3計算分子生物學。承擔任務
國家教委資助博士點“數值逼近與計算組合學”89-90.4438+02
組合分析計算方法93-95.12
計算組合學的理論與應用，國家自然基金項目，94-96.338+02
組合恒等式和機械化證明98-2000438+0
組合恒等式的機械化證明(2002-2003)，推廣數學機械化方法基金項目。
書籍和論文的出版:
發表論文:
1.矩陣方程A2 = J的q-循環解工程學報25 (86) 23-27
2.關於矩陣方程A2=J研究與闡述7(87) 207-216
3.關於研究和說明7(87) 665-557的壹些解
4.矩陣方程的壹些解
5.矩陣方程Am=λJ Res的壹些結果。博覽會9(89) 601-603。
6.大連理工大學學報六角系統的構建30(90)373-378.7。
7.矩陣方程的壹些解法大連理工大學學報30(90)621-624
8.理想子圖的枚舉圖論、組合學、算法和應用539-544暹羅出版社，1991
9.整數的平面劃分格，大連理工大學學報32(92)1-4。
10.移動平面分裂的計數，大連理工大學學報32(92)621-624。
11.嚴格偶數線的平面劃分的計數，數學研究與評論13(93)137-138。
12.N人成本博弈的準核仁，應用於決策卷二1261-12651992成都科技大學出版社。
13.網絡計劃技術在船體建造中的應用，經營決策卷I 692-696 1992成都科技大學出版社。
14.兩個組合恒等式，暹羅評論37:1(95) 281-285
15.基本雙邊級數、組合學和圖論的兩個求和公式95卷2
16.關於具有唯壹定長路徑的有向圖的壹個註記，大連理工大學學報34(94)203-206。
17.Gru與組合恒等式，大連理工大學學報34(94)628-632。
18.格鏈與組合恒等式，大連理工大學學報35(95)281-285
19.關於伴隨布爾關系矩陣，Res & amp博覽會(95) 173-178
20.遞歸序列和Norlund-Euler多項式，Fibonacci Quaterly 34:4(96)314-319
21.組合數的矩陣表示及其應用，大連理工大學學報36(96)381-385。
22.兩對加權Stirling數對及其性質，大連理工大學學報36(96)386-390。
23.格魯和範德蒙卷積恒等式，大連理工大學學報36(96)
24.關於Genocchi數和Riemann Zeta函數的壹些恒等式，數學研究與評論17(97)597-
25.賴爾登-拉格朗日逆關系，研究和。展1597) 173-178大連理工大學學報26。G電路出租矩陣等式，組合學和圖論97卷1的解決方案。
27.word偏序集的Mobiu函數的Cohen-Macauley性質的推廣，應用數學學報20: 3 (97) 431-437。
28.關於兩類圖的整和數，科學通報40: 8 (97) 2016。
29.斯特林數的概率表示及應用，數學學報41: 2 (98) 281-290。
30.廣義帕斯卡矩陣和遞歸序列，L.A.A. 283(98) 289-299
31.關於連通控制參數的壹個不等式，rs組合學50(98)309-315
32.與指數族相關的廣義Pascal矩陣的代數性質，線性代數及應用，318(00)，45-52
33.反比關系的機械化證明，大連理工大學學報40(00) 642-644。
34.卷積公式的統壹情況及其相應的超幾何變換，大連理工大學學報40(00)
35.反向關系的反向鏈。博覽會21(01) 7-16
36.唯壹因子分解積分半群上的Mobius函數及其演化公式，數學季刊，17(01)1-8。
38.壹些奇怪的身份與聯邦航空局迪布魯諾公式，研究和。博覽會21(01)215-218
39.斐波納契數列的壹些恒等式的推廣，斐波納契數列39(01)165-167
40.廣義Fibonacci和Lucas函數的壹些恒等式Fibonacci Quarterly 39(01)436-438
41.猜想的反例。博覽會22(02)194-196
42.壹類無限下三角矩陣的代數性質及其與導數、余項的關系。博覽會22(02) 549-558。
43.計算RNA的二級結構，應用數學，2(2002)109-112。
44.與倒數函數有關的壹些恒等式，離散數學265(03) 323-335
45.RNA二級結構的最小自由能算法，生物醫學學報，3(2003)
46.構造具有最大k直徑的k-正則k-連通圖的算法，圖與組合學19(03)111-119
47.關於圖的廣義寬直徑，臺灣數學雜誌，7(03)339-345
48.壹些涉及廣義Fibonacci數冪的恒等式，Fibonacci Quarterly 41(03)7-12
49.關於壹些Rogers-Ramanujan型恒等式的註記，印度數學會誌，70(03)
50.關於由壹個恒等式導出的求和公式的註記
51.RNA發夾和三葉草的壹般組合學。Inf。計算機。Sci。43(03), 1138-1142
52.DNA序列的新三維圖形表示及其數字特征，
《化學物理快報》379(2003)被選入電子雜誌《生命物理》。
53.壹個含Riemann-Zeta函數的新求和公式，高校計算數學學報，25(03)97-101。
54.關於某些級數的完整性的壹個註記。博覽會23 (03) 28-32
55.分布式三環網傳輸延遲大連理工大學學報42(03)9-12
00.關於偏序集擴張數的壹個結果，被新西蘭數學博士接受
00.某些級數的完整性，被國際數學雜誌接受。科技教育。
00.關於廣義Fibonacci和Lucas數以及Dedekind和的壹些結果，被Fibonacci季刊接受
00.壹些恒等式涉及廣義斐波那契數和盧卡斯數，被斐波那契數列所接受
00.某些多項式的值，被Utilitas Mathmatica接受。
00.關於Ragers-Ramanujan型恒等式的註釋，被印度純數學和應用數學雜誌接受。
00.關於復Fibonacci和Lucas函數的某些倒數級數的註釋，被國際數學和數學科學雜誌接受
00.RNA二級結構的計數，被生物數學雜誌接受。
00.RNA二級結構的壹般組合學，數學生物科學，修訂版
00.mRNA序列和蛋白質序列的比較已在《大連理工大學學報》上修改。
翻譯:
組合學指南華中理工大學出版社1983
高等組合學大連理工大學出版社1991
經濟學與數學導論大連理工大學出版社1992
生成函數論清華大學出版社2003
翻譯:
1.數學還能繼續存在嗎？-蘇黎世代表大會報告，數學翻譯，15: 2 (1996)，154-160。
2.組合學現狀報告，數學譯林，16: 3 (1997) 222-232。
3.圓周率的探索，數學譯林，16: 3 (1997)，205-215。
4.大學水平數學的教與學——現代教育研究中的幾個決定性問題，數學翻譯，20(01)147-157。
科研成果及獎項:
1.給出了組合矩方程解的必要條件，方程的全部解和某些矩方程的g-循環解，結果被多次引用。2.在組合反演理論方面，提出了詞偏序集上的反演公式，並研究了相應的性質。解決了高維Gould-Hsu反演公式中附加因子的計算問題，使高維Gould-Hsu反演公式的計算真正成為可能。給出了賴爾登-拉格朗日反演，這是壹個反演生成器，可以生成很多反演。3.在格計數方面，利用發生函數的技巧，得到了壹系列具有深刻應用背景和理論意義的組合恒等式，其結果被列入“中國八五科技成果選編”號[850801034]，引起了國外壹些數學家的興趣，他們用不同的方式驗證了我們的結果。首次提出了給定格鏈的概念，由其導出的結果總結了格路的壹些經典公式。成績2.3。1996年獲遼寧省教委科技進步壹等獎。4.偏序集是壹般偏序集的推廣，在符號動力學和DNA結構的研究中有重要的應用，因此受到人們的關註。對於泛偏序集，我們證明了層次偏序集P，Q和從P到Q的等價分類映射ф是Cohen-Macaulay如果P是Cohen-Macaulay，Q也是Cohen-Macaulay。敬A.Bj？Bius函數，但也部分回答了B.Stechin. 5的問題。將概率論的方法和技巧系統地引入到組合分析中，主要成果包括以下幾個方面:
壹些重要的組合數和正交多項式表示為常用隨機變量(或其和)的矩；提出將恒等式中的參數視為隨機變量，可以大大擴展恒等式的內涵。本文對啞運算給出了壹種不失數學嚴謹性的自然解釋，認為是省略了數學期望符號的概率運算。包括J .賴爾丹，G.C .羅塔，B.D .泰勒，大部分啞運算方法都可以用相應的概率運算代替。6.在組合恒等式的機械證明方面，給出了Weyl代數的消元法，解決了超幾何級數恒等式和Q-恒等式的機械證明算法，並用Maple語言實現。其軟件被列入國家973項目數學自動推理平臺。同時給出了組合反演的機械化證明算法和實現。7.在計算分子生物學方面，已經取得了壹些初步的成果，如RNA二級結構的計算、DNA序列相似性的比較等。