王天明（1939-）遼寧大連人。漢族，中共黨員，教授，博士生導師。 研究方向：組合數學由於電子計算機的出現，一方面過去無法實現的算法現在能夠實現，另一方面計算機發展的本身給組合數學提出新課題，因而近二、三十年來組合數學迅速發展，成為數學的一個主流學科，在國內外數學界越來越受到重視。他的成果滲入到數學的各個分支，同時數學的各個分支也在組合數學中發揮了作用。 研究內容：1計數組合學 2組合數學中的機械化方法 3計算分子生物學。發表論文：在國內期刊：數學學報，套用數學學報，系統科學與複雜性，數學進展等。國外雜誌：Advances In applied mathematics, Discrete mathematics, Applied discrete mathematics, Liner algebra and applications. Graphs and combinatorics. Rocky Mountain J. of mathematics, Ars combinatorics , Util. math, J. of mathematical analysis and applications,等雜誌發表有關組合數學論文70多篇被SCI檢索25篇，有關計算生物學論文在Bioimformatic, BMCbioimformatic等雜誌上發表 80餘篇，被SCI檢索72篇。總計發表論文150餘篇90餘篇被SCI檢索。
基本介紹
- 中文名：王天明
- 民族：漢族
- 出生日期：1939
- 職業：中共黨員，教授，博士生導師
- 性別：男
人物經歷,研究方向,主要貢獻,
人物經歷
1958-1963 大連工學院數理力學系學習。
1963-1978 大連工學院基礎部任助教。
1978-1983 大連工學院數學所任講師。
1983-1985 美國匹茲堡大學數學系 訪問學者。
1985-1991 大連理工大學數學所副教授。
1991-至今 大連理工大學數學系教授。
社會兼職 1998-1991中國組合數學研究會秘書長 1991-2001中國組合數學研究會副理事長 2001- 中國數學會組合與圖論專業委員會委員（中國組合與圖論學會常務理事） 《數學研究與評論》雜誌執行編委。
研究方向
本人從事研究的方向是組合數學。
主要貢獻
由於電子計算機的出現，一方面過去無法實現的算法現在能夠實現，另一方面計算機發展的本身給組合數學提出新課題，因而近二、三十年來組合數學迅速發展，成為數學的一個十分活躍的分支，在國內外數學界越來越受到重視。他的成果滲入到數學的各個分支，同時數學的各個分支也在組合數學中發揮了作用。主要的研究領域是計數理論及其套用，它是組合數學的基礎。同時在物理學、化學、生命科學、計算機及通訊理論有著廣泛的套用。1經典組合學2組合數學中的機械化方法3計算分子生物學。承擔的課題 國家教委博士點基金項目《數值逼近與計算組合學》89-90.12 《組合分析與計算方法》93-95.12 國家自然基金項目《計算組合學的理論與套用》 94-96.12 《組合恆等式及機械化證明》 98-2000.1 數學機械化方法推廣基金項目 《組合恆等式的機械化證明》2002-2003.12
1． 關於矩陣方程A2=J的q－循環解 大工學報 25（86） 23－27
2． On the Matrix Equation A2=J Res. and Exposition 7（87） 207-216
3．On Some Solutions of Res. and Exposition 7（87） 665-557
4．Some solutions of Mtrix Equation A Friedly Collection of Mathematical PaperI 1990 5． Some Results on the Matrix Equation Am=λJ Res. & Exposition 9（89） 601-603.
6． 的六角系統的構造 大連理工大學學報 30（90）373-378.7。
7．矩陣方程 的某些解 大連理工大學學報30（90）621-624
8．Enumeration of Ideal Subgraph Graph Theory,Combinatorics,Algorithms,and Applications 539-544 SIAM Press,1991
9．整數的平面分拆格，大連理工大學學報 32（92）1-4
10．移動平面分拆的計數，大連理工大學學報 32（92）621-624
11．行嚴格長為偶數的平面分拆的計數，數學研究與評論 13（93）137-138
12．和作n人費用對策的準核仁，運籌於決策 第二卷1261-1265 1992成都科大出版社
13．網路計畫技術在船體建造中的套用，運籌於決策 第一卷 692-696 1992成都科大出版社
⒕Two Combinatorial Identities,SIAM Review 37:1（95） 281-285
⒖Two Summation Formulas for Basic Bilateral Series,Combinatorics and Graph Theory 95 vol 2
16．具有唯一定長路的有向圖的一個註記，大連理工大學學報 34（94）203-206
17．格路與組合恆等式，大連理工大學學報 34（94）628-632
18．格鏈與組合恆等式，大連理工大學學報 35（95）281-285
19．On Companion Boolean Relation Matrix,Res & Exposition （95） 173-178
20．Recurrence Sequences and Norlund-Euler Polynomials,Fibonacci Quaterly 34:4（96）314-319
21．組合數的一種矩陣表示及套用，大連理工大學學報36（96）381-385
22．兩對加權Stirling 數偶及其性質，大連理工大學學報 36（96）386-390
23．格路與Vandermonde卷積恆等式，大連理工大學學報 36（96）
24．關於Genocchi數和Riemann Zeta-函式的一些恆等式，數學研究與評論 17（97）597-
25．Riordan-Lagrange Inverse Relation,Res.& Exposition 1597） 173-178大連理工大學學報
26．the g-circurent solutions to the matrix equation,Combinatorics and Graph Theory 97 vol 1
27．詞偏序集的Mobiu函式的Cohen-Macauley性質的推廣，套用數學學報 20：3（97）431-437
28．關於兩類圖的整和數，科學通報 40：8（97） 2016
29．Stirling數的機率表示及套用，數學學報 41：2（98） 281-290
30．Generalized Pascal Matrix and Recurrence Sequences,L.A.A. 283（98） 289-299
31．An Inequality on Connected Domination Parameters,A RS Combinatorics 50（98）309-315
32．The Algebraic Properties f Generalized Pascal Matrices Associated with the Exponential Families,Linear Algebra and Applications,318(00),45-52
33．反演關係的機械化證明，大連理工大學學報 40(00) 642-644
34．卷積公式統一形勢及其相應超幾何變換，大連理工大學學報 40(00)
35．Inverse Chain of Inverse Relations,Res. & Exposition 21(01） 7-16
36．Mobius Function and its Iversion Formulas over a Unique Factorization Integral Semigroup，數學季刊， 17（01）1-8
38.Some Strange Identities Related to Faa di Bruno Formula， Res. & Exposition 21(01） 215-218 39.Generalizations of Some Identities Involving the Fibonacci Numbers， The Fibonacci Quarterly 39(01）165-167
40.Some Identities for the Generalized Fibonacci and Lucas Functions， The Fibonacci Quarterly 39(01） 436-438
41.Counter-examplesto the Conjecture ， Res.& Exposition 22(02）194-196
42.The Algebraic Properties of a Type of Infinite Lower Triagular Matrices Related to Derivatives， Res. & Exposition 22(02） 549-558.
43．一類RNA二級結構的計數，套用數學，2（2002） 109－112
44．Some Identities Related to Reciprocal Functions ，Discrete Mathematics 265(03） 323-335
45．RNA 二級結構的最小自由能算法，生物數學學報，3（2003） Algorithm to Construct k-Regular k-Connected Graphs with Maximum k-Diameter,Graphs and Combinatorics 19(03） 111-119
47.On Generalized Wide Diameter of Graphs，Taiwanese J. of Mathematics,7(03）339-345
48. Some Identities Involving the Powers of the Generalized Fibonacci Numbers， The Fibonacci Quarterly 41 (03） 7-12
49. Notes on Some Rogers-Ramanujan Type Identities,J. of Indian Mathematical Society,70（03）
50. Note On Summation Formulas Derived From an Identity of F.H. Jackson,Australasiam J. of combinatorics,28(03） 295-304
51. General Combinatorics of RNA Hairpins and Cloverleaves,J. Chem. Inf. Comput. Sci. 43(03），1138-1142
52. New 3-D graphical representation of DNA sequences and their numerical characterization,Chemical Physic Letters 379（2003） 又被選入電子雜誌 Physics of Life
53. 一類新的包含Riemann-Zeta函式的求和計算公式， 高等學校計算數學學報，25（03）97-101 54. A note on the integrity of Certain Series,Res. & Exposition 23 (03） 28-32
55. 分散式三環網路的傳輸延遲 大連理工大學學報42（03）9-12 00. A Result about the number of Extensions of Poset,accepted by New Zealand J. of Mathematics 00. The Integrity of Certain Series,accepted by International J. of math. Education in Science And Technology. 00. Some Results on Generalized Fibonacci and Lucas Number and Dedekind Sums,accepted by The Fibonacci Quarterly 00.Some Identities Involving the Generalized Fibonacci and Lucas Numbers,accepted by The Fibonacci Quarter 00. The Values of Certain Polynomials,accepted by Utilitas Mathmatica. 00. Notes on Ragers-Ramanujan Type Identities,accepted by The Indian J. of Pure and applied mathematics. 00. Notes on Certain Reciprocal Series Related to Complex Fibonacci and Lucas Functions,accepted by International J. of Mathematics and Mathematical Sciences 00.RNA二級結構的計數，生物數學學報 已接受 00. General Combinatorics of RNA secondary Structure,Mathematical Bioscieces,revised 00. mRNA序列與蛋白序列的比較， 大連理工大學學報 已修改。
組合學導引 華中工學院出版社 1983 高等組合學 大連理工大學出版社 1991 經濟學數學導論 大連理工大學出版社 1992 發生函式論 清華大學出版社 2003。
⒈ 數學能否繼續存在?----關於蘇黎世大會的報告，數學譯林，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反演公式計算真正成為可能。給出Riordan-Lagrange反演，它是一個反演發生器，可以生成許多反演。
3.在格路計數方面，利用發生函式技巧得到一系列具有深刻的套用背景和理論意義的組合恆等式，其結果被列入“中國八五科技成果選”編號[850801034]，引起一些國外數學家的興趣，他們用不同的方法驗證了我們的結果。首次提出了給出格鏈的概念，由此導出的結果概括了格路的一些經典公式。成果2.3.於96年獲遼寧省教委科技進步一等獎
4．詞偏序集是一般偏序集的推廣，它在符號動力學和DNA結構研究中有著重要套用，因此引起人們的重視。就普遍偏序集而言，我們用同調代數的方法證明了分層偏序集P，Q和從P到Q等價分類映射ф若P是Cohen-Macaulay的，Q也是Cohen-Macaulay的。推廣到了A.Bjöbius函式,同時也部分地解答了B.Stechin的問題。
5.比較系統地把機率論的方法和技巧引入到了組合分析問題中。把一些重要的組合數以及正交多項式表示成了常用的隨機變數（或者它們的和）的矩; 提出了恆等式中的參數應當被看作隨機變數的觀點，這樣可以極大地擴充恆等式的內涵; 給出了啞運算的一種自然的，不失數學嚴格性的解釋，認為它就是省略了數學期望符號的機率運算。包括J.Riordan,G.C.Rota和B.D.Taylor所使用的啞運算方法大多數都能夠被相應的機率運算所代替。
6.組合恆等式的機械化證明方面,給出了Weyl代數中的消元法，解決了超幾何級數恆等式、Q-恆等式等、和帶積分號的恆等式機械化證明算法並用Maple語言實現，其軟體收入國家973項目數學自動化推理平台；給出組合反演的機械化證明算法及實現；發生函式的自動生成。
二．計算分子生物學方面：
1.在生物序列比較方面提出了若干非比對方法和一些數字特徵，並對DNA序列，RNA序列和胺基酸序列進行了比較，效果較好。
2.在RNA二級結構研究方面給出了二級結構與特殊置換的雙射解決一些二級結構的計算，給出二級結構的線性表示用於真實病毒RNA二級結構的進化研究，這是原有方法做不到的。
3.關於蛋白質二級結構，蛋白質分類也作了一些研究。
4.提出一些新的距離度量,在預先有各種方法比較我們的最好。
