王天明

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.提出一些新的距離度量，在預先有各種方法比較我們的最好。