国产黄色视频在线观看网站,91超碰人人做人人爱,在线观看欧美高清福利片,一本一道久久成人网站,免费六级a一片久久精品网,996精品无码在线,亚洲国产中文一卡二卡三卡免费,日本阿v片在线播放免费

專家信息：

梁希泉，男，吉林省農(nóng)安縣人，中共黨員，博士，教授，碩士生導(dǎo)師，留學(xué)歸國人員，現(xiàn)任青島科技大學(xué)數(shù)理學(xué)院教授，曾任青島科技大學(xué)數(shù)理學(xué)院院長。1953年3月28日出生于吉林省農(nóng)安縣。1972年12月參加工作，成為一名中學(xué)教師。

教育及工作經(jīng)歷：

1975-1978年：東北師范大學(xué)數(shù)學(xué)系本科畢業(yè)后留校任教。

1986-1989年考入東北師范大學(xué)碩士研究生后委托到北京大學(xué)就讀研究生，師從陳維桓教授學(xué)習(xí)現(xiàn)代微分幾何。

1993-1996年考入吉林大學(xué)數(shù)學(xué)所讀博士，師從孫以豐教授學(xué)習(xí)拓?fù)渑c微分拓?fù)鋵W(xué)。

1996-1999年東北師范大學(xué)任教，數(shù)學(xué)系副系主任。

1997-1999年去日本東京工業(yè)大學(xué)大學(xué)院信息數(shù)學(xué)理科訪問學(xué)者。

2000-至今青島科技大學(xué)任教，數(shù)理學(xué)院院長、教授。

培養(yǎng)研究生情況：

自1996年擔(dān)任碩士研究生導(dǎo)師至今，在現(xiàn)代微分幾何、微分拓?fù)�、�?shù)學(xué)問題的計(jì)算機(jī)證明等研究方向上已培養(yǎng)多名碩士研究生。

招生專業(yè)： 應(yīng)用數(shù)學(xué) 基礎(chǔ)數(shù)學(xué)。

學(xué)術(shù)兼職：

1、中國亞太經(jīng)濟(jì)發(fā)展研究中心高級研究員。

科學(xué)研究：

研究方向：

長期從事應(yīng)用數(shù)學(xué) 數(shù)學(xué)問題的計(jì)算機(jī)證明。

科研項(xiàng)目：

1.“三維與四維流行中的若干問題” 。

2.“代數(shù)拓?fù)鋵W(xué)與不完全市場的經(jīng)濟(jì)均衡理論”。

3. 數(shù)學(xué)問題的計(jì)算機(jī)證明國際合作研究。

4. 國家自然科學(xué)基金項(xiàng)目：經(jīng)濟(jì)均衡理論與代數(shù)拓?fù)鋵W(xué)。

5. 國家自然科學(xué)基金項(xiàng)目：低維流形中的若干問題。

6. 教育部教改項(xiàng)目一項(xiàng)：《高師本科數(shù)學(xué)專業(yè)課程設(shè)置與課程內(nèi)容的改革研究與實(shí)踐》。

目前正與波蘭、日本的相關(guān)學(xué)者合作研究“Mizar語言結(jié)構(gòu)與數(shù)學(xué)問題的計(jì)算機(jī)證明”。

科研成果：

梁希泉教授多次受日本名古屋大學(xué)、東京工業(yè)大學(xué)、信州大學(xué)邀請去講學(xué)與合作研究。他撰寫的《不完全市場經(jīng)濟(jì)的均衡配置，指標(biāo)公式與非套利均衡問題》等論文觀點(diǎn)鮮明，思想深刻，論據(jù)充分，思路清晰，被多種�？D(zhuǎn)載�，F(xiàn)在他與他的同事們與波蘭華沙大學(xué)、日本信州大學(xué)的相關(guān)學(xué)者共同研究“Mizar語言的開發(fā)與數(shù)學(xué)問題的計(jì)算機(jī)證明”。1997年至1999年在日本東京工業(yè)大學(xué)留學(xué)期間梁希泉加入了國際Mizar-Group,目前仍是該學(xué)會的重要成員之一，多年來與Mizar學(xué)會創(chuàng)始人波蘭華沙大學(xué)計(jì)算機(jī)學(xué)院院長Andrzej Trybulec 教授和信州大學(xué)Nakamura Yatsuka 教授等諸多國內(nèi)外學(xué)者專家在該領(lǐng)域內(nèi)進(jìn)行了合作研究；組織舉辦了3次國際應(yīng)用數(shù)學(xué)研討會，力邀國內(nèi)外學(xué)者深入研究探討數(shù)學(xué)與數(shù)學(xué)的計(jì)算機(jī)證明問題。迄今為止，梁希泉教授在Formalized Mathematics等國際刊物上發(fā)表數(shù)學(xué)、數(shù)學(xué)問題的計(jì)算機(jī)證明等方面的學(xué)術(shù)論文一百余篇，出版專著2部，教材2部，取得了一系列創(chuàng)新性的研究成果。

論文專著：

出版專著：

1. 《高觀點(diǎn)下的中學(xué)數(shù)學(xué)》，主編， 梁希泉，北師范大學(xué)出版社，2000 。

2.《線性代數(shù)考研題典》，主編， 梁希泉，東北大學(xué)出版社，2003 。

3. Proceeding of the Third China and Japan Joint Symposium on Applied Mathematics and its related Topic 2001.08

發(fā)表英文論文：

1. Xiquan Liang, Dailu Li. On Rough Subgroup of a Group. Formalized Mathematics (Poland). Vol.17,No.3,2009, pp:213-217.

2. Xiquan Liang, Piqing Zhao. Vector Function and Its Differentiation Formulas . Formalized Mathematics (Poland). Vol.17,No.4,2009, pp:251-260.

3. Xiquan Liang, Ling Tang. Difference and Difference Quotient -- Part {III}. Formalized Mathematics (Poland). Vol.17,No.4,2009, pp:272-278.

4. Xiquan Liang and Fuguo Ge. The Quaternion Numbers. Formalized Mathematics (Poland),VOL.14,NO.4,pp:161-169,2006.

5. Xiquan Liang, Tao Sun and Dahai Hu. Some Properties of Line and Column Operations on Matrices. Formalized Mathematics (Poland),VOL.15,NO.3,pp:151-157,2007.

6. Xiquan Liang and Bing Xie. Inverse Trigonometric Functions Arctan and Arccot. Formalized Mathematics (Poland),VOL.16,NO.2,pp:147-158,2008.

7. Xiquan Liang, Li Yan and Junjie Zhao. Linear Congruence Relation and Complete Residue Systems. Formalized Mathematics (Poland),VOL.15,NO.4,pp:185-190,2007.

8. Xiquan Liang, Fuguo Ge and Li Yan. Some Logical Aspects of Mathematical Reasoning. Studies in Logic, Grammar and Rhetoric (Poland), VOL.10,NO.23,pp:33-44,2007.

9. Xiquan Liang, Fuguo Ge and Xiaopeng Yue. Some Special Matrices of Real Elements and Their Properties. Formalized Mathematics (Poland),VOL.14,NO.4,pp:129-134,2006.

10.Xiquan Liang. Solving Roots of Polynomial Equation of Degree 4 with Real Coefficients. Formalized Mathematics(Poland),Vol.11,No.2,pp:185-187,2003.

11.Xiquan Liang. Solving Roots of Polynomial Equations with Real Coefficients. Formalized Mathematics(Poland),Vol.9,No.2,pp:347-350,2001.

12.Xiquan Liang. An invariant of Gauge Transformations of Contact Riemannian Structures. Northeastern Mathematical Journal.Vol.10,No.4,pp:459-463,1994.

13.Dailu Li,Xiquan Liang.Nilpotent Group. Formalized Mathematics (Poland).Vol.17,No.4,2009, pp:311-314.

14.Li Yan, Xiquan Liang and Junjie Zhao. Gauss Lemma and Law of Quadratic Reciprocity. Formalized Mathematics (Poland),VOL.16,NO.1,pp:23-28,2008.

15.Junjie Zhao, Xiquan Liang and Li Yan. Several Higher Differentiation Formulas of Special Functions. Formalized Mathematics (Poland),VOL.16,NO.2,pp:141-145,2008.

16.Bing Xie, Xiquan Liang and Fuguo Ge. Inverse Trigonometric Functions Arcsec and Arccosec. Formalized Mathematics (Poland),VOL.16,NO.2,pp:159-165,2008.

17.Bing Xie, Xiquan Liang, Hongwei Li. Partial Differentiation of Real Binary Functions. Formalized Mathematics (Poland),VOL.16,NO.4,pp:333-338,2008.

18.Xiaopeng Yue and Xiquan Liang. Basic Properties of Circulant Matrices and Anti-Circular Matrices. Formalized Mathematics (Poland),VOL.16,NO.4,pp:355-360,2008.

19.Bing Xie, Xiquan Liang and Xiuzhuan Shen. Second-order Partial Differentiation of Real Binary Functions. Formalized Mathematics (Poland),VOL.17,NO.2,pp:79-86,2009.

20.Xiaopeng Yue, Xiquan Liang, Zhongpin Sun. Some Properties of Some Special Matrices. Formalized Mathematics(Poland),Vol.13,No.4,pp:541-547,2005.

21.Fuguo Ge and Xiquan Liang. On the Partial Product and Partial Sum of Series and Related Basic Inequalities. Formalized Mathematics(Poland),Vol.13,No.4,pp:525-528,2005.

22.Fuguo Ge and Xiquan Liang. On the Partial Product of Series and Related Basic Inequalities. Formalized Mathematics (Poland),Vol.13, No.3,pp:413-416,2005

23.Fuguo Ge, Xiquan Liang and Yuzhong Ding. Formulas and Identities of Inverse Hyperbolic Functions. Formalized Mathematics (Poland),Vol.13,No.3,pp:383-388,2005.

24.Yuzhong Ding and Xiquan Liang. Preliminaries to Mathematical Morphology and Its Properties.Formalized Mathematics(Poland),Vol.13,No.2,pp:221-225,2005.

25.Yan Zhang and Xiquan Liang. Several Differentiable Formulas of Special Functions. Formalized Mathematics (Poland),Vol.13, No.3,pp:427-434,2005.

26.Yuzhong Ding, Xiquan Liang. Solving Roots of Polynomial Equation with Complex Coefficients. Formalized Mathematics (Poland),Vol.12,No.2,pp: 85-92,2004.

27.Yuzhong Ding, Xiquan Liang. Formulas and Identities of Trigonometric Functions. Formalized Mathematics(Poland),Vol.12, No.3,pp:243–246,2004.

28.Yuzhong Ding,Xiquan Liang. Solving Roots of the Special Polynomial Equation with Real Coefficients. Formalized Mathematics(Poland),Vol.12,No.3,pp:247-250,2004.

29.Ximin Liu, Xiquan Liang. Skew CR Submanifolds of a Sasakian Manifold. Northeastern Mathematical Journal,Vol.12,No.2,pp:247-253,1996.

30.Chun Feng, Xiquan Liang. Thin position of Heegaard Splittings. Proceeding of the China and Japan Joint Symposium on Applied Mathematics and its related Topics,pp: 130-135,1997.

31.Takao Inoue,Bing Xie and Xiquan Liang.Partial Differentiation of Real Ternary Functions. Formalized Mathematics (Poland). Vol.17,No.4,2009, pp:131-136.

32.Xiaopeng Yue, Dahai Hu and Xiquan Liang. Some Properties of Some Special Matrices.Part II. Formalized Mathematics (Poland),VOL.14,NO.1,pp:7-12,2006.

33.Bo Li, Yan Zhang and Xiquan Liang. Several Differentiation Formulas of Special Functions.Part III. Formalized Mathematics (Poland),VOL.14,NO.1,pp:37-45,2006.

34.Bo Li, Yan Zhang and Xiquan Liang. Difference and Difference Quotient. Formalized Mathematics (Poland),VOL.14,NO.3,pp:115-119,2006.

35.Cuiying Peng, Fuguo Ge and Xiquan Liang. Several Integrability Formulas of Special Functions. Formalized Mathematics (Poland),VOL.15,NO.4,pp:189-198,2007.

36.Tao Sun, Dahai Hu and Xiquan Liang. Several Classes of {BCK}-algebras and Their Properties. Formalized Mathematics (Poland),VOL.15,NO.4,pp:237-242,2007.

37.Bo Li, Yanping Zhuang and Xiquan Liang. Difference and Difference Quotient.Part II. Formalized Mathematics (Poland),VOL.16,NO.1,pp:45-49,2008.

38.Tao Sun, Junjie Zhao and Xiquan Liang. BCI-algebras with Condition (S) and their Properties. Formalized Mathematics (Poland),VOL.16,NO.1,pp:65-71,2008.

39.Bo Li, Yan Zhang and Xiquan Liang. Several Differentiation Formulas of Special Functions -- Part III. Formalized Mathematics(Poland),Vol.14, No.1,pp:37-45,2006.

40.Fahui Zhai, Jianbing Cao and Xiquan Liang. Circled Sets, Circled Hull, and Circled Family. Formalized Mathematics (Poland),Vol.13,No.4, pp:447-451,2005.

41.Jianbing Cao, Fahui Zhai and Xiquan Liang. Some Differentiable Formulas of Special Functions. Formalized 2athematics (Poland),Vol.13, No.4,pp:505-509,2005.

42.Yan Zhang, Bo Li and Xiquan Liang.Several Differentiable Formulas of Special Functions. Part II.Formalized Mathematics(Poland),Vol.13,No.4,pp:529-535,2005.

43.Jianbing Cao, Fahui Zhai and Xiquan Liang. Partial Sum and Partial Product of Some Series. Formalized Mathematics (Poland),Vol.13, No.4,pp:501-503,2005.

44.Bo Li,Yanhong Men,Dailu Li,Xiquan Liang.Basic Properties of Periodic Functions. Formalized Mathematics (Poland). Vol.17,No.4,2009, pp:247-250.

45.Tao Sun,Weibo Pan,Chenglong Wu ,Xiquan Liang. General Theory of Quasi-Commutative BCI-algebras. Formalized Mathematics(Poland), Vol.16,No.3,pp:250-264,2008.

46.Xiquan Liang. The scalar curvature of S.Tanno’s connection on a contact Riemannian manifold. Mathematical Reviews,92a:53048,pp:276-277,1992.

47.Xiquan Liang. Horizontal lifts of connections of r order on differential manifolds to bundle spaces and their corresponding curvature-torsion tensors. Mathematical Reviews,92a:53c15,pp:201,1992.

48.Xiquan Liang. The Scalar curvature of S.Tanno’s connection on Riemannian contact manifolds. Zentralbatt für Mathematik Band，（German）.729.MAI,pp:252-253,1992.

49.Xiquan Liang. The Ricci-and Bochner-type curvature tensors of contact Riemannian structures. Mathematical Reviews,94h:53043,pp:460-461,1994.

50.Bo Li, Yanping Zhuang, Yanhong Men and Xiquan Liang. Several Integrability Formulas of Special Functions.PartII. Formalized Mathematics (Poland),VOL.17,NO.1,pp:23-35,2009.

51.Bo Li, Pan Wang, Xiquan Liang and Yanping Zhuang. Some Operations on Quaternion Numbers. Formalized Mathematics (Poland),VOL.17,NO.2,pp:61-65,2009.

52.Xiquan Liang，Yuqun Han，Luxu Jing.Substantiation and Operations of Quaternion Numbers in Computer by Software Mizar，2011 International Conference on Computer,Communication and Information Technology(ICCCIT 2011)，2011，42-45

53.Xiquan Liang，Luxu Jing，Yuqun Han.Substantiation and Operations of Congruence in Computer by Software Mizar，Proceeding of the Seventh International Conference of Matrices and Operators，74-77，2012

54.Na Ma，Xiquan Liang.Basic Properties of Primitive Root and Order Function，F(xiàn)ormalized Mathematics，20（4）：271-274,2012

55.Xiquan Liang，Tao Wang.Some Basic Properties of Some Special Matrices.Part Ⅲ，F(xiàn)ormalized Mathematics，20(1)：73-77,2012

56.Xiquan Liang, Dailu Li. Some Properties of $p$-Groups and Commutative $p$-Groups, Formalized Mathematics 19(1), pages 11-15, 2011.

57.Xiquan Liang, Ling Tang, Xichun Jiang. {D}ifference and Difference Quotient. {P}art {IV}, Formalized Mathematics 19(1), pages 35-39, 2011

58.Dailu Li, Xiquan Liang ,Yanhong Men ,Nilpotent Groups, Formalized Mathematics (Poland) Vol.18.No.1,P53-56,2010

59.Xiquan Liang,Piqing Zhao ,Ou Bai,Vector Function and its Differentiation Formulas in 3-dimensional Euclidean Spaces, Formalized Mathematics (Poland) Vol.18.No.1,P1-10,2010

60.Xiquan Liang, Ling Tang, Difference and Difference Quitient. Part Ⅲ, Formalized Mathematics (Poland) Vol.18.No.1,P57-64,2010

61.Takao Inou\'e, Bing Xie, Xiquan Liang. Partial Differentiation of Real Ternary Functions, Formalized Mathematics 18(1), pages 39-46, 2010

發(fā)表中文論文：

1 基于替加環(huán)素的聯(lián)合用藥方案對多重耐藥鮑曼不動桿菌所致呼吸機(jī)相關(guān)性肺炎的療效分析（英文）查磊; 徐前程; 楊剛; 陳尚華; 沈雯雯; 梁希泉 贛南醫(yī)學(xué)院學(xué)報(bào) 2016-09-19

2 呼吸窘迫綜合征患者應(yīng)用高頻振蕩呼吸機(jī)治療的臨床效果觀察 梁希泉; 徐前程; 查磊; 陳尚華臨床肺科雜志 2016-05-08

3 一類服務(wù)率可變的M/M/s/K排隊(duì)模型研究韓玉群; 梁希泉 青島科技大學(xué)學(xué)報(bào)(自然科學(xué)版) 2014-02-15

4 輸入率與服務(wù)率依賴狀態(tài)的M/M/c排隊(duì)模型 梁希泉; 韓玉群; 荊祿旭青島科技大學(xué)學(xué)報(bào)(自然科學(xué)版) 2013-02-15

5 基于優(yōu)先級的M/G/K模型的眼科病床安排研究 梁希泉; 韓玉群; 荊祿旭科學(xué)技術(shù)與工程 2012-07-18

6 矩陣的證明及運(yùn)算在Mizar系統(tǒng)下的實(shí)現(xiàn) 梁希泉; 劉玲玲; 姜西春數(shù)字技術(shù)與應(yīng)用 2011-03-15

7 路由器防護(hù)安全設(shè)計(jì) 單杰; 梁希泉 科技信息 2011-03-15

8 編組站調(diào)度計(jì)劃0-1規(guī)劃法湯志高; 謝冰; 于琳; 梁希泉; 曹華林數(shù)學(xué)的實(shí)踐與認(rèn)識 2009-08-23

9 列車編組站調(diào)度計(jì)劃0-1規(guī)劃法.梁希泉，曹華林. 數(shù)學(xué)的實(shí)踐與認(rèn)識,Vol.39,No.16,2009, pp:113-122.

10 郵路規(guī)劃與郵車調(diào)度最優(yōu)化理論研究湯志高; 王繼利; 曹穎瑛; 曹華林; 梁希泉.數(shù)學(xué)的實(shí)踐與認(rèn)識,Vol.38,No.14,2008,pp:201-209.

11機(jī)械臂運(yùn)動路徑設(shè)計(jì)問題賈松松; 顧淼; 王嬌; 曹華林; 梁希泉 數(shù)學(xué)的實(shí)踐與認(rèn)識，VOL.38,NO.14,pp:111-121,2008.

12 關(guān)于不完全市場經(jīng)濟(jì)的非套利均衡問題，梁希泉，中國當(dāng)代思想寶庫,中國經(jīng)濟(jì)出版社，P480-492,2005.

13 不完全市場經(jīng)濟(jì)的均衡配置、指標(biāo)公式與均衡的存在性，梁希泉 WTO與中國經(jīng)濟(jì)，Vol.4,P58-67,2005.

14 關(guān)于圖的控制數(shù)Vizing’s定理的推廣齊登記; 梁希泉 東北師大學(xué)報(bào)(自然科學(xué)版) ，N0.1,P24-28，2005.

15 不完全資產(chǎn)與現(xiàn)貨市場的兩期交換經(jīng)濟(jì)的非套利均衡的存在性，梁希泉，經(jīng)濟(jì)數(shù)學(xué)，Vol（17）（3）,P1-14,2000.

16 Hopf流形的全臍實(shí)超曲面 梁希泉; 劉西民東北師大學(xué)報(bào)(自然科學(xué)版) ，NO.3,P7-10，1999.

17 兩期交換經(jīng)濟(jì)非套利均衡預(yù)算集合與Stiefel流形，梁希泉，東北師大學(xué)報(bào)，NO.2,P1-7，1997.

18 兩期交換經(jīng)濟(jì)contingent資產(chǎn)市場的指標(biāo)公式，梁希泉，東北師大學(xué)報(bào)，NO.3,P1-8,1997.

19 一類光滑4-流形的2-torsion不變量劉西民; 梁希泉 數(shù)學(xué)年刊A輯(中文版) ，18A,NO.2,P155-158,1997.

20 局部可分空間周景新; 梁希泉 吉林師范學(xué)院學(xué)報(bào) 1997-02-15

21 P－Sasakian流形是局部積流形的超曲面 梁希泉; 劉西民東北師大學(xué)報(bào)(自然科學(xué)版) ，NO.3，P1-5，1996.

22 具有嵌入環(huán)面4－個流形的Donaldson不變量劉西民; 梁希泉 吉林大學(xué)自然科學(xué)學(xué)報(bào)，NO.3，P13-15，1996.

23 Skew CR Submanifolds of a Sasakian Manifold 劉西民; 梁希泉 東北數(shù)學(xué) 1996-04-20

24 環(huán)面圓叢上Coulomb相對規(guī)范的存在性，梁希泉，東北師大學(xué)報(bào)(自然科學(xué)版)，NO.4，P11-14，1995.

25 環(huán)面上U（1）叢的Chern-Simons不變量，劉西民，梁希泉，吉林大學(xué)自然科學(xué)學(xué)報(bào)，NO.3，P27-31，1995.

26 Bochner－Kaehler流形的CR子流形 梁希泉; 劉西民東北師大學(xué)報(bào)(自然科學(xué)版) ，NO.4，P6-11，1994.

27 An Invariant of Gauge Transformations of Contact Riemannian Structures 梁希泉; 劉西民東北數(shù)學(xué) 1994-10-20

28 局部積流形的半不變子流形劉西民; 梁希泉 吉林大學(xué)自然科學(xué)學(xué)報(bào) ，NO.2,P21-25,1994.

29 Contact黎曼結(jié)構(gòu)的Ricci與Bochner型曲率張量,梁希泉，中國數(shù)學(xué)文摘,7(4),1993.

30 Contact黎曼結(jié)構(gòu)的Ricci與Bochner型曲率張量 梁希泉; 周景新東北師大學(xué)報(bào)(自然科學(xué)版) ，NO.3，P13-19，1992.

31 橫截仿射葉層結(jié)構(gòu)緊致葉的穩(wěn)定性 梁希泉 松遼學(xué)刊(自然科學(xué)版) 1990-10-0

32 微分流形上r階聯(lián)絡(luò)到其叢空間的水平提升及相應(yīng)的曲率與撓率張量 梁希泉 東北師大學(xué)報(bào)(自然科學(xué)版) ，NO.2，P19-27，1990.

33 CONTACT黎曼流形上S.TANNO聯(lián)絡(luò)的數(shù)量曲率 梁希泉; 王聯(lián)群東北師大學(xué)報(bào)(自然科學(xué)版) ，NO.1,P33-39，1990.

34.辛流形Hamilton系統(tǒng)的幾何解釋，梁希泉，東北師大學(xué)報(bào)，NO.1,P43-47,1989.

35 A note on the S-closed properties,周景新，梁希泉，中國數(shù)學(xué)文摘,6（4）,1992.

36 關(guān)于正則開分離性，梁希泉，中國數(shù)學(xué)文摘，5（4），P90-91，1991.

榮譽(yù)獎勵：

1. 援藏教師榮譽(yù)證書。

2. 青島科技大學(xué)先進(jìn)工作者。

3. 山東省教育工作滿三十年榮譽(yù)證書。

4. 青島科技大學(xué)第三屆“十佳育人標(biāo)兵”。

5. 青島市優(yōu)秀共產(chǎn)黨員。

6. 山東省教育系統(tǒng)優(yōu)秀共產(chǎn)黨員榮譽(yù)稱號。

7. 2001年吉林省省教學(xué)成果一等獎。

8. 2005年青島科技大學(xué)教學(xué)成果獎一等獎。

9.2005年中國亞太經(jīng)濟(jì)發(fā)展研究中心高級研究員。

10. 2007年，他又獲得國務(wù)院專家評定辦公室頒發(fā)的優(yōu)秀專家證書。

11.2007年國務(wù)院發(fā)展研究中心縣域經(jīng)濟(jì)專家委員會委員。

12.2008年青島科技大學(xué)優(yōu)秀教師。

13.2009年青島科技大學(xué)教學(xué)名師。

14.2009年全國科監(jiān)委行業(yè)發(fā)展戰(zhàn)略委員會委員。

媒體報(bào)道：

1 追求卓越的腳步——記青島科技大學(xué)數(shù)理學(xué)院梁希泉教授科技促進(jìn)發(fā)展 2011-12-10

2 桃李不言下自成蹊——記青島科技大學(xué)數(shù)理學(xué)院梁希泉教授作者趙書馨出版源《中國科技成果》 , 2011 (5) :78-79

3 梁希泉:用數(shù)學(xué)譜寫人生華章莊懷敏中國科技財(cái)富 2010-03-08

4 十年見證——與數(shù)理學(xué)院一起成長——記青島科技大學(xué)數(shù)理學(xué)院院長梁希泉 2010 陳鈺 - 《科技創(chuàng)新與品牌》

5 辛勤耕耘結(jié)碩果育人標(biāo)兵終不輟——記青島科技大學(xué)梁希泉教授 2009 趙凡 - 《科技成果管理與研究》

6 把數(shù)學(xué)寫入生命的人——記青島科技大學(xué)數(shù)理學(xué)院院長梁希泉教授孟凡今日科苑 2008-02-08