从1,500,000教师库中查找（输入学校名称或教师姓名）
王明生老师介绍
王明生，1967年12月29日出生于四川省射洪县。现为中科院软件所研究员，博士生导师，绵阳师范学院特聘教授。 主要研究方向为： 计算机代数，编码和密码学。
在国内外发表论文40余篇。研究方向主要集中在计算机代数和它在编码，密码学中的应用。 代表性的工作有：(1) 多元多项式矩阵分解是多维系统论和信号处理这门学科中最基本的问题， 自1979年以来， 国际上许多专家都研究过这个问题，然而，他们只得到部分结果。我们得到了这个领域目前最一般的结果。解决了新加坡南阳理工大学Lin Zhiping 教授和美国宾西法尼亚州立大学N.K.Bose 教授（Bose是这一学科最权威的专家）提出的关于多元多项式矩阵零素分解的问题[5]。首次找到了多元多项式矩阵的子式素分解存在的充分必要条件[6]，这个结果被论文的审稿专家给予高度评价“the paper, once written in a good English, is in my opinion to represent a solid contribution to the area and to open the path to further results.”。 同时对一类较一般的多元多项式矩阵的因子素的判定问题首次给出了一个判定准则[9]。这些结果为进一步的实用算法的研究积累了基础。（2）超出纠错界译Reed-Solomon码的多项式时间算法是MIT教授Sudan 2002年北京国际数学家大会获Nevanlina奖的主要工作。我在这个问题上的工作是给出了他们的算法中插值重数的优化选择，这是目前这一领域中的最好结果[7]。为算法的实用打下了一个基础（Reed-Solomon码广泛用于太空探索的通讯系统和计算机存贮介质中）。（3）比较系统地研究多项式符合运算与Grobner 基计算相交换的问题，得到的结果包含美国符号计算杂志主编H. Hong 等人在这一问题上的系列结果[2], 与他人合作给出了项序与复合运算相容的一个判定方法[4]，解决了齐次Greobner基和加权齐次Groebner基与多项式复合相交换的问题[8]， 得到了目前这一领域最好的结果， 并且对二项式倾斜多项式环，证明了双边理想的成员问题是可以判定的，这解决了一个公开问题[3]。
目前正在从事和计划从事的研究工作是 利用计算机代数的理论和工具研究信息安全。研究集中在密码学中的代数分析方法上，目的是发现在代数攻击下设计密码算法必须满足的准则以及研究APN函数的分类，研究涉及有限域, 编码，密码和计算代数几何等学科，是一个长期的研究课题。目标是发现具有重要理论和实际意义的研究成果， 并且为建立一个代数攻击平台用以模拟和测试密码算法的强度做理论准备。
一、主要学术论文有：
1 .M. Wang, A note on homological dimension over a commutative ring. COMMINICATIONS IN ALGEBRA, Vol. 22, No. 1, 6303-6304, 1994.
2.M. Wang, Finite rings with fermat property. JOURNAL OF BEIJING NORMAL UNIVERSITY, Vol . 29, No. 3, 322-326, 1993. (In Chinese).
3．M. Wang. Homological dimensions of finitely generated module having a simple as direct factor. Chinese Science Bulletin, Vol. 39, No. 18, 15033-1506, 1994.
4. 王明生. 交换环上一类特殊模的同调维数。 科学通报, Vol. 40, No. 7, 1995, 669。
5. 刘海霞, 王明生. 曲线上微分算子环及其上的模。 数学学报, Vol. 39, No. 2, 1996。
6. M. Wang. Commutative noetherian rings possessing a homological property. CHINESE SCIENCES BULLETIN, Vol. 40, No. 11, 886-889, 1995.
7. H. Liu; M. Wang. On the smith-stafford problem of ring of differential operators on cures. CHINESE SCIENCES BULLETIN, Vol. 40, No. 13, 1608-1072, 1995.
8. M. Wang; Q. Dai, An application of Groebner basis. CHINESE SCIENCE BULLETIN, Vol. 41. No.6, 586-588, 1996.(In Chinese).
9. M. Wang. Graphic properties of commutative rings. JOURNAL OF BEIJIJNG NORMAL UNIVERSITY, Vol. 34, No. 2, 319-323, 1998. (In Chinese).
10. H. Liu; M. Wang. Generators of Rings of Differential operators on a class of K-algebras. 数学季刊， Vol. 12, No. 2, 1-4, 1997.
11. M. Wang; Z. Liu. 基于吴方法判断代数集上多项式自同态是否是同构。系统科学与数学。Vol. 19, No. 3, 336-340, 1999.
12. M. Wang; Z. Liu. A note on polynomial automorphism identity set. JOURNAL OF SYSTEMS SCIENCE AND MATHEMATICS SCIENCES, Vol. 21, No. 1, 123-128, 2001. (In Chinese).
13. M. Wang; Z. Liu. Some studies on Groebner bases for module and application. JOURNAL OF SYSTEMS SCIENCES AND COMPLEXITY, Vol.15, No 4, 2002.
14. M. Wang; S. Qing and D. Feng. A simple algorithm for computing several sequences systhesis. INFIRMATION SECURITY FOR GLOBAL INFORMATION INFRASTRUSTURES, KLUWER ACADEMIC PUBLISHER, IFIP SEC 2000, 211-220, 2000.
15. M. Wang; Z. Liu. On polynomial automorphism identity sets and identity polynomials. Communications in algebra, Vol. 29, No.1, 319-331, 2001.
16. M. Wang; Z. Liu. Remarks on Groebner basis for ideals under composition. Proceedings of international symposium of symbolic and algebraic computation, ISSAC 2001, 237-244, ACM Press, 2001.
17. J. Liu; Z. Liu; M. Wang. The membership problem of binomial skew polynomial rings. Communication in algebra, Vol. 31 (1), 101-107, 2003.
18. G, Wang; S. Qing and M. Wang. Threshold undeniable RSA signature schemes. LECTURES NOTES IN COMPUTER SCIENCES 2229, 221-232, 2001.
19. J. Liu; Z. Liu and M. Wang. The term orderings which are compatible with composition (II). Journal of Symbolic Computation, Vol. 35(2), 153-168, 2003.
20. J. Liu; M. Wang. The term orderings which are compatible with composition (I). To be submitted.
21. M. Wang; C.P. Kwong. On multivariate polynomial matrix factoirzation problems. Mathematics of Control，Signals，and Systems, vol.17, no. 4, 2005, pp. 297-311.
22. M. Wang; C. P. Kwong. Computing GCLF using Syzygy algorithm. PROCEEDINGS OF THE FIRST INTERNATIONAL CONGRESS OF MATHEMATICS SOFTWARE, WORLD SCIENTIFIC, 93-103, 2002.
23. M. Wang; G. Wang and D. Feng. Secret share schemes based on linear transformation. JOURAL OF THE GRADUATE SCHOOL OF THE CHINESE ACADEMY OF SCIENCES, Vol. 18, No. 2, 134-139, 2001.
24. M. Wang; D. Feng and G. Wang. A new threshold scheme based on Plucker coordinates. JOURNAL OF THE GRADUATE SCHOOL OF THE CHINESE ACADEMY OF SCIENCES, Vol. 18, No. 2, 114-118, 2001.
25. M. Wang; D. Feng and G, Wang. Secret share schemes based on Plucker coordinates. JOURNAL OF THE GRADUATE SCHOOL OF The CHINESE ACADEMY OF SCIENCES, Vol. 18, No. 2, 282-287, 2002.
26. G, Wang; M. Wang and S. Qing. A simple and secure threshold RSA signature scheme. JOURNAL OF THE GRADUATE SCHOOL OF THE The CHINESE ACADEMY OF SCIENCES, Vol. 18, No. 2, 124-129, 2001. (In Chinese).
27. G. Wang; M, Wang, and Q, Ji. Security shortness of LHL threshold group signature scheme. JOURNAL OF COMPUTER, Vol. 24, No. 9, 897-902, 2001. (In Chinese).
28. M. Wang; D. Feng and G. Wang. Constructing secret schemes based on computer algebra. JOURNAL OF SOFTWARE, Vol. 13, 143-148, 2001.
29. 王贵林, 卿斯汉, 王明生. Shoup 门陷签名方案的改进。计算机研究与发展. 2002.
30. M.Wang, Parameter choices on Guruswami-Sudan algorithm for polynomial reconstruction. Accepted for publication in Finite fields and Their applications, 2006.
31. M. Wang, D. Feng, On Lin-Bose Problem， Linear Algebra and its Applications. 390 (279-285), 2004.
32. M.Wang, On factor prime factorization for nD polynomial matrices. IEEE Trans. Circuits and Systems I.
33. Liu, J, M. Wang, Homogeneous Groebner bases under composition, Accepted for publication in Journal of Algebra, 2006.
34. Liu, J, M. Wang, Further results on homogeneous Greobner bases under composition. Submitted to Jouranl of algebra, computational algebra section, 2006.
二． 主持的项目。
1. 数学机械化和自动推理平台。973项目，经费：9万， 2002-2004.
2. 认证协议的分析. 信息安全实验室国家重点实验室项目， 经费：4万，2001-2002。.
3. 数学机械化和在信息技术中的应用。973项目，经费：25万，2004-2009。
4. 群签名的几个问题。中科院软件所知识创新项目， 经费：4万，2003-2004。
5. 符号计算技术在代数攻击方法的有关研究。自然科学基金，经费：23万， 2006-2008。
6. 中法合作项目SALSA的主要成员，SALSA （2006—2008）。
在国内外发表论文40余篇。研究方向主要集中在计算机代数和它在编码，密码学中的应用。 代表性的工作有：(1) 多元多项式矩阵分解是多维系统论和信号处理这门学科中最基本的问题， 自1979年以来， 国际上许多专家都研究过这个问题，然而，他们只得到部分结果。我们得到了这个领域目前最一般的结果。解决了新加坡南阳理工大学Lin Zhiping 教授和美国宾西法尼亚州立大学N.K.Bose 教授（Bose是这一学科最权威的专家）提出的关于多元多项式矩阵零素分解的问题[5]。首次找到了多元多项式矩阵的子式素分解存在的充分必要条件[6]，这个结果被论文的审稿专家给予高度评价“the paper, once written in a good English, is in my opinion to represent a solid contribution to the area and to open the path to further results.”。 同时对一类较一般的多元多项式矩阵的因子素的判定问题首次给出了一个判定准则[9]。这些结果为进一步的实用算法的研究积累了基础。（2）超出纠错界译Reed-Solomon码的多项式时间算法是MIT教授Sudan 2002年北京国际数学家大会获Nevanlina奖的主要工作。我在这个问题上的工作是给出了他们的算法中插值重数的优化选择，这是目前这一领域中的最好结果[7]。为算法的实用打下了一个基础（Reed-Solomon码广泛用于太空探索的通讯系统和计算机存贮介质中）。（3）比较系统地研究多项式符合运算与Grobner 基计算相交换的问题，得到的结果包含美国符号计算杂志主编H. Hong 等人在这一问题上的系列结果[2], 与他人合作给出了项序与复合运算相容的一个判定方法[4]，解决了齐次Greobner基和加权齐次Groebner基与多项式复合相交换的问题[8]， 得到了目前这一领域最好的结果， 并且对二项式倾斜多项式环，证明了双边理想的成员问题是可以判定的，这解决了一个公开问题[3]。
目前正在从事和计划从事的研究工作是 利用计算机代数的理论和工具研究信息安全。研究集中在密码学中的代数分析方法上，目的是发现在代数攻击下设计密码算法必须满足的准则以及研究APN函数的分类，研究涉及有限域, 编码，密码和计算代数几何等学科，是一个长期的研究课题。目标是发现具有重要理论和实际意义的研究成果， 并且为建立一个代数攻击平台用以模拟和测试密码算法的强度做理论准备。
一、主要学术论文有：
1 .M. Wang, A note on homological dimension over a commutative ring. COMMINICATIONS IN ALGEBRA, Vol. 22, No. 1, 6303-6304, 1994.
2.M. Wang, Finite rings with fermat property. JOURNAL OF BEIJING NORMAL UNIVERSITY, Vol . 29, No. 3, 322-326, 1993. (In Chinese).
3．M. Wang. Homological dimensions of finitely generated module having a simple as direct factor. Chinese Science Bulletin, Vol. 39, No. 18, 15033-1506, 1994.
4. 王明生. 交换环上一类特殊模的同调维数。 科学通报, Vol. 40, No. 7, 1995, 669。
5. 刘海霞, 王明生. 曲线上微分算子环及其上的模。 数学学报, Vol. 39, No. 2, 1996。
6. M. Wang. Commutative noetherian rings possessing a homological property. CHINESE SCIENCES BULLETIN, Vol. 40, No. 11, 886-889, 1995.
7. H. Liu; M. Wang. On the smith-stafford problem of ring of differential operators on cures. CHINESE SCIENCES BULLETIN, Vol. 40, No. 13, 1608-1072, 1995.
8. M. Wang; Q. Dai, An application of Groebner basis. CHINESE SCIENCE BULLETIN, Vol. 41. No.6, 586-588, 1996.(In Chinese).
9. M. Wang. Graphic properties of commutative rings. JOURNAL OF BEIJIJNG NORMAL UNIVERSITY, Vol. 34, No. 2, 319-323, 1998. (In Chinese).
10. H. Liu; M. Wang. Generators of Rings of Differential operators on a class of K-algebras. 数学季刊， Vol. 12, No. 2, 1-4, 1997.
11. M. Wang; Z. Liu. 基于吴方法判断代数集上多项式自同态是否是同构。系统科学与数学。Vol. 19, No. 3, 336-340, 1999.
12. M. Wang; Z. Liu. A note on polynomial automorphism identity set. JOURNAL OF SYSTEMS SCIENCE AND MATHEMATICS SCIENCES, Vol. 21, No. 1, 123-128, 2001. (In Chinese).
13. M. Wang; Z. Liu. Some studies on Groebner bases for module and application. JOURNAL OF SYSTEMS SCIENCES AND COMPLEXITY, Vol.15, No 4, 2002.
14. M. Wang; S. Qing and D. Feng. A simple algorithm for computing several sequences systhesis. INFIRMATION SECURITY FOR GLOBAL INFORMATION INFRASTRUSTURES, KLUWER ACADEMIC PUBLISHER, IFIP SEC 2000, 211-220, 2000.
15. M. Wang; Z. Liu. On polynomial automorphism identity sets and identity polynomials. Communications in algebra, Vol. 29, No.1, 319-331, 2001.
16. M. Wang; Z. Liu. Remarks on Groebner basis for ideals under composition. Proceedings of international symposium of symbolic and algebraic computation, ISSAC 2001, 237-244, ACM Press, 2001.
17. J. Liu; Z. Liu; M. Wang. The membership problem of binomial skew polynomial rings. Communication in algebra, Vol. 31 (1), 101-107, 2003.
18. G, Wang; S. Qing and M. Wang. Threshold undeniable RSA signature schemes. LECTURES NOTES IN COMPUTER SCIENCES 2229, 221-232, 2001.
19. J. Liu; Z. Liu and M. Wang. The term orderings which are compatible with composition (II). Journal of Symbolic Computation, Vol. 35(2), 153-168, 2003.
20. J. Liu; M. Wang. The term orderings which are compatible with composition (I). To be submitted.
21. M. Wang; C.P. Kwong. On multivariate polynomial matrix factoirzation problems. Mathematics of Control，Signals，and Systems, vol.17, no. 4, 2005, pp. 297-311.
22. M. Wang; C. P. Kwong. Computing GCLF using Syzygy algorithm. PROCEEDINGS OF THE FIRST INTERNATIONAL CONGRESS OF MATHEMATICS SOFTWARE, WORLD SCIENTIFIC, 93-103, 2002.
23. M. Wang; G. Wang and D. Feng. Secret share schemes based on linear transformation. JOURAL OF THE GRADUATE SCHOOL OF THE CHINESE ACADEMY OF SCIENCES, Vol. 18, No. 2, 134-139, 2001.
24. M. Wang; D. Feng and G. Wang. A new threshold scheme based on Plucker coordinates. JOURNAL OF THE GRADUATE SCHOOL OF THE CHINESE ACADEMY OF SCIENCES, Vol. 18, No. 2, 114-118, 2001.
25. M. Wang; D. Feng and G, Wang. Secret share schemes based on Plucker coordinates. JOURNAL OF THE GRADUATE SCHOOL OF The CHINESE ACADEMY OF SCIENCES, Vol. 18, No. 2, 282-287, 2002.
26. G, Wang; M. Wang and S. Qing. A simple and secure threshold RSA signature scheme. JOURNAL OF THE GRADUATE SCHOOL OF THE The CHINESE ACADEMY OF SCIENCES, Vol. 18, No. 2, 124-129, 2001. (In Chinese).
27. G. Wang; M, Wang, and Q, Ji. Security shortness of LHL threshold group signature scheme. JOURNAL OF COMPUTER, Vol. 24, No. 9, 897-902, 2001. (In Chinese).
28. M. Wang; D. Feng and G. Wang. Constructing secret schemes based on computer algebra. JOURNAL OF SOFTWARE, Vol. 13, 143-148, 2001.
29. 王贵林, 卿斯汉, 王明生. Shoup 门陷签名方案的改进。计算机研究与发展. 2002.
30. M.Wang, Parameter choices on Guruswami-Sudan algorithm for polynomial reconstruction. Accepted for publication in Finite fields and Their applications, 2006.
31. M. Wang, D. Feng, On Lin-Bose Problem， Linear Algebra and its Applications. 390 (279-285), 2004.
32. M.Wang, On factor prime factorization for nD polynomial matrices. IEEE Trans. Circuits and Systems I.
33. Liu, J, M. Wang, Homogeneous Groebner bases under composition, Accepted for publication in Journal of Algebra, 2006.
34. Liu, J, M. Wang, Further results on homogeneous Greobner bases under composition. Submitted to Jouranl of algebra, computational algebra section, 2006.
二． 主持的项目。
1. 数学机械化和自动推理平台。973项目，经费：9万， 2002-2004.
2. 认证协议的分析. 信息安全实验室国家重点实验室项目， 经费：4万，2001-2002。.
3. 数学机械化和在信息技术中的应用。973项目，经费：25万，2004-2009。
4. 群签名的几个问题。中科院软件所知识创新项目， 经费：4万，2003-2004。
5. 符号计算技术在代数攻击方法的有关研究。自然科学基金，经费：23万， 2006-2008。
6. 中法合作项目SALSA的主要成员，SALSA （2006—2008）。
王明生老师相关教学资源
- 绵阳师范学院教学资源
- 王明生老师课程教学资源
