Main education and work experience:
Professor Wang Tianming, male, 1939, Han nationality, doctoral supervisor, party member.
Resume:
1958- 1963 Department of Mathematical Mechanics, Dalian University of Technology
1963- 1978 Assistant to the Foundation Department of Dalian University of Technology.
1978- 1983 Lecturer, Institute of Mathematics, Dalian University of Technology
1983- 1985 Visiting Scholar, Department of Mathematics, University of Pittsburgh, USA
1985- 199 1 Associate Professor, Institute of Mathematics, Dalian University of Technology
199 1- Professor, Department of Mathematics, Dalian University of Technology.
Main academic and social part-time jobs:
Social part-time job
1998- 199 1 Secretary General of China Combinatorial Mathematics Research Association
199 1-200 1 Vice Chairman of China Combinatorial Mathematics Research Association
200 1- member of chinese mathematical society combinatorial and graph theory professional Committee (executive director of China combinatorial and graph theory society)
Executive Editorial Board of Journal of Mathematical Research and Review
Research field (research topic):
Main research directions:
My research direction is combinatorial mathematics. Because of the appearance of electronic computer, on the one hand, the algorithms that could not be realized in the past can be realized now, on the other hand, the development of computer itself has also put forward new topics for combinatorial mathematics, so combinatorial mathematics has developed rapidly in the past twenty or thirty years and has become a very active branch of mathematics, which has attracted more and more attention in the field of mathematics at home and abroad. His achievements penetrated into all branches of mathematics, and all branches of mathematics also played a role in combinatorial mathematics.
The main research field is counting theory and its application, which is the basis of combinatorial mathematics. At the same time, it is widely used in physics, chemistry, life science, computer, communication theory and other fields. The current research directions are: 1 classical combinatorics, 2 mechanized methods in combinatorial mathematics, and 3 computational molecular biology. Undertake a task
The State Education Commission supported the doctoral program "Numerical Approximation and Computational Combinatorics" 89-90.4438+02.
Combination analysis calculation method 93-95. 12
Theory and Application of Computational Combinatorics, National Natural Fund Project, 94-96.338+02.
Combinatorial Identity and Mechanization Proof 98-2000438+0
Mechanization Proof of Combinatorial Identities (2002-2003), Fund Project of Popularizing Mathematical Mechanization Method.
Publication of books and papers:
Publish a paper:
1. q- Cyclic Solution of Matrix Equation A2 = J Journal of Engineering 25 (86) 23-27
2. Research and elaboration on matrix equation A2=J 7(87) 207-2 16
3. Some solutions about studying and explaining 7(87) 665-557.
4. Some solutions of matrix equation
5. Some results of matrix equation Am=λJ Res. Expo 9(89) 60 1-603.
6. Construction of hexagonal system of Journal of Dalian University of Technology 30(90)373-378.7.
7. Some solutions to matrix equations Journal of Dalian University of Technology 30(90)62 1-624
8. Enumeration of ideal subgraphs Graph Theory, Combinatorics, Algorithms and Applications 539-544 Siam Press, 199 1
9. Plane partition lattice of integers, Journal of Dalian University of Technology 32(92) 1-4.
10. Counting of moving plane splits, Journal of Dalian University of Technology 32(92)62 1-624.
1 1. Counting of plane division of strict even lines, mathematical research and comments13 (93)137-138.
The quasi-kernel of 12.N human cost game is applied to decision volume 21261-12651992 Chengdu University of Science and Technology Press.
13. application of network planning technology in hull construction, business decision volume I 692-696 1992 Chengdu university of science and technology press.
14. Two combinatorial identities, Siam Review 37: 1(95) 28 1-285.
15. Two summation formulas of basic bilateral series, combinatorics and graph theory. Volume 95, 2
16. A note on directed graphs with unique fixed-length paths, Journal of Dalian University of Technology 34(94)203-206.
17.Gru and combinatorial identities, Journal of Dalian University of Technology 34(94)628-632.
18. Lattice chain and combinatorial identities, Journal of Dalian University of Technology 35(95)28 1-285
19. On adjoint Boolean relation matrix, Res & Expo (95) 173- 178.
20. Recursive sequences and Norlund-Euler polynomials, Fibonacci quaterly 34: 4 (96) 314-319.
Matrix representation of 2 1. combination number and its application, Journal of Dalian University of Technology 36(96)38 1-385.
22. Two pairs of weighted Stirling number pairs and their properties, Journal of Dalian University of Technology 36(96)386-390.
23. Gru and Vandermonde Convolution Identities, Journal of Dalian University of Technology 36(96)
24. Some identities about Genocchi numbers and Riemann Zeta functions, Mathematical Research and Comments 17(97)597-
25. riordan-Lagrange inverse relation, research and. Exhibition1597)173-178 Journal of Dalian University of Technology 26. The solution of G circuit rental matrix equation, combinatorics and graph theory volume 97 1.
27. Generalization of Cohen-Macauley property of Mobiu function of word poset, Journal of Applied Mathematics 20: 3 (97) 43 1-437.
28. On the integral sum number of two kinds of graphs, Science Bulletin 40: 8 (97) 20 16.
29. Probabilistic Representation and Application of Stirling Number, Journal of Mathematics 4 1: 2 (98) 28 1-290.
30. Generalized Pascal Matrix and Recursive Sequence, l. a. a 283(98)289-299.
3 1. An inequality about connected control parameters, rs Combinatorics 50(98)309-3 15.
32. Algebraic properties of generalized Pascal matrices related to exponential families, linear algebra and its applications, 3 18(00), 45-52.
33. Mechanization proof of inverse ratio, Journal of Dalian University of Technology 40(00) 642-644.
34. The unification of convolution formula and its corresponding hypergeometric transformation, Journal of Dalian University of Technology 40(00)
35. The reverse chain of the reverse relationship. Expo 21(01) 7-16
36. Mobius function and its evolution formula on the unique factorization integral semigroup, Mathematical Quarterly, 17(0 1) 1-8.
38. Some strange identities are related to the FAA DiBruno formula, research and. Expo 21(01) 215-218
39. Generalization of some identities of Fibonacci series, Fibonacci series 39 (01)165-167.
40. Some identities of generalized Fibonacci and Lucas functions Fibonacci Quarterly 39 (01) 436-438
Counterexample of 4 1. conjecture. Expo 22(02) 194- 196
42. Algebraic properties of a class of infinite lower triangular matrices and their relationship with derivatives and residuals. Expo 22(02) 549-558.
43. Calculation of RNA Secondary Structure, Applied Mathematics, 2 (2002)109-112.
44. Some identities related to reciprocal functions, Discrete Mathematics 265(03) 323-335.
45. Minimum Free Energy Algorithm for RNA Secondary Structure, Journal of Biomedicine, 3(2003)
46. An algorithm for constructing k- regular k- connected graphs with maximum K diameter, Graph and Combinatorics19 (03)11-19.
47. On the Generalized Wide Diameter of Graphs, Taiwan Province Journal of Mathematics, 7(03)339-345.
48. Some identities involving powers of generalized Fibonacci numbers, Fibonacci Quarterly 41(03) 7-12.
49. Notes on some Rogers-Ramanujan type identities, Journal of Indian Mathematical Society, 70(03)
50. A Note on the Sum Formula Derived from an Identity
General combinatorics of 5 1.RNA hairpin and clover. Inf。 Computer. Sci。 43(03), 1 138- 1 142
52. A new three-dimensional graphical representation of DNA sequence and its digital characteristics,
Chemical Physics Express 379(2003) was selected into the electronic magazine Life Physics.
53. A new summation formula with Riemann-Zeta function, Journal of Computational Mathematics in Colleges and Universities, 25(03)97- 10 1.
54. A note on the completeness of some series. Expo 23 (03) 28-32
55. Distributed three-ring network transmission delay Journal of Dalian University of Technology 42(03)9- 12
00. A result about the extension number of posets was accepted by the doctor of mathematics in New Zealand.
00. The completeness of some series is accepted by international mathematical magazines. Science and technology education.
00. Some results about generalized Fibonacci and Lucas numbers and Dedekind sum were accepted by Fibonacci quarterly.
00. Some identities involving generalized Fibonacci numbers and Lucas numbers are accepted by Fibonacci series.
00. The values of some polynomials are accepted by Utilitas Mathmatica.
00. Notes on Ragers-Ramanujan type identities were accepted by Indian Journal of Pure Mathematics and Applied Mathematics.
00. Notes on some reciprocal series of complex Fibonacci and Lucas functions are accepted by the international journal of mathematics and mathematical science.
00. The counting of secondary structure of RNA was accepted by Biomedical Journal.
00. General Combinatorics of RNA Secondary Structure, Mathematical Biological Sciences, Revised Edition.
00. The comparison between 00.mRNA sequence and protein sequence has been revised in Journal of Dalian University of Technology.
Translation:
Guide to Combinatorics Huazhong University of Science and Technology Press 1983
Advanced Combinatorics Dalian University of Technology Press 199 1
Introduction to Economics and Mathematics Dalian University of Technology Press 1992
On Generating Function Tsinghua University Publishing House 2003.
Translation:
1. Can mathematics continue to exist? -Report of Zurich Congress, mathematical translation, 15: 2 (1996), 154- 160.
2. A report on the present situation of combinatorics, translated by Mathematics,16: 3 (1997) 222-232.
3. Exploration of pi, translated by Mathematics, 16: 3 (1997), 205-2 15.
4. Teaching and Learning of Mathematics at College Level —— Several Decisive Issues in Modern Education Research, Mathematical Translation, 20 (01)147-157.
Scientific research achievements and awards:
1. The necessary conditions for the solutions of combined moment equations, all solutions of the equations and g- cyclic solutions of some moment equations are given, and the results have been cited many times. 2. In the aspect of combinatorial inversion theory, the inversion formula on word posets is put forward, and the corresponding properties are studied. The calculation problem of additional factors in the high-dimensional Gould-Hsu inversion formula is solved, which makes the calculation of the high-dimensional Gould-Hsu inversion formula really possible. Riordan-Lagrange inversion is given, which is an inversion generator and can generate many inversions. 3. In lattice counting, a series of combinatorial identities with profound application background and theoretical significance are obtained by using the skill of generating function, and their results are listed in "Selected Scientific and Technological Achievements of China during the Eighth Five-Year Plan" [85080 1034], which aroused the interest of some foreign mathematicians, and they verified our results in different ways. The concept of given freeze-frame chain is put forward for the first time, and the results derived from it summarize some classical formulas of lattice road. Grade 2.3. 1996 won the first prize of scientific and technological progress of Liaoning Provincial Education Commission. 4. The poset is a generalization of the general poset, which has important applications in the study of symbolic dynamics and DNA structure, so it has attracted people's attention. For universal posets, we prove that the hierarchical posets P, Q and the equivalent classification mapping Ф from P to Q are Cohen-Macaulay. If P is Cohen-Macaulay, Q is also Cohen-Macaulay. To A.Bj? Bius function, but it also partially answers the question of B. stechin.5. The methods and skills of probability theory are systematically introduced into combinatorial analysis, and the main achievements include the following aspects:
Some important combination numbers and orthogonal polynomials are expressed as moments of common random variables (or their sums); It is proposed that the parameters in the identity can be regarded as random variables, which can greatly expand the connotation of the identity. In this paper, a natural explanation of dumb operation without losing mathematical rigor is given, which is considered as omitting the probability operation of mathematical expectation symbol. Including J. Riordan, G. C. Rota, B. D. Taylor, most of the dumb operation methods can be replaced by corresponding probability operation. 6. In the aspect of mechanical proof of combinatorial identities, the elimination method of Weyl algebra is given, and the mechanical proof algorithms of hypergeometric series identities and Q- identities are solved, which are realized in Maple language. Its software has been included in the national 973 project mathematical automatic reasoning platform. At the same time, the mechanized proof algorithm and implementation of combined inversion are given. 7. In computational molecular biology, some preliminary achievements have been made, such as the calculation of RNA secondary structure and the comparison of DNA sequence similarity.