一、实验室名称，学科（领域），依托单位

实验室名称: 高性能计算与随机信息处理省部共建教育部重点实验室

学科（领域）: 数 学

依托单位: 湖南师范大学 

二、实验室工作纪要

本实验室由湖南师范大学原数学研究室，计算研究室、生物信息研究室和统计研究室组建而成，2009年12月获批省部共建教育部重点实验室立项建设。 

1、科研项目

2013年度新增科研项目情况

2、科研经费

自立项建设以来，新增科研项目经费 376.8万元，学校提供开放课题与学术委员会议经费5万元，合计381.8万元。 

3、发表的论文

2013年度，实验室成员共发表论文64篇，其中SCI 41篇，EI 5篇。 

4、人才引进和研究生培养

实验室从业人员48人，高级职称29人，中级职称15人，初级职称3，其他1人，其中博士毕业生8人，硕士毕业39人。 

三、学术委员会会议纪要  

四、国内外学术交流和会议

五、发表的主要学术论文

序号	论文题目	作者	期刊名称	年、卷、期、页	刊物性质
1	改进的BLP模型的建模及其应用	徐亮	计算机与现代化	2013年第4期，193-197	科技核心
2	改进的验证正确性ACTL性质的限界模型检测方法	徐亮，余建平	计算机科学	2013年，40(6A)，99-102	重要刊物
3	Biba实用模型的自动化形式验证	徐亮，刘宏	湖大学报（自然科学版）	2013年，40(9)，91-97	EI源刊
4	基于SMT的TECTL性质的限界模型检测方法	徐亮，刘宏	计算机工程与科学	2013年，35(10)，166-171	CSCD核心期刊
5	基于Android的远程控制系统	徐亮	计算机工程	2013年，39(11),280-284	重要刊物
6	The time discretization in classes of integro-differential equations with completely monotonic kernels: Weighted asymptotic stability	Da Xu	Science China Mathematics	2013, Vol. 56, No. 2, pp. 395-424.	SCI
7	Crank-Nicolson/quasi-wavelets method for solving fourth order partial integro-differential equation with a weakly singular kernel	Xuehua Yang, Da Xu, Haixiang Zhang	Journal of Computational Physis	2013, 234, pp. 317-329.	SCI
8	Alternating direction implicit-Euler method for the two-dimensional fractional evolution equation	Limei Li, Da Xu	Journal of Computational Physis	2013, 236, pp. 157-168.	SCI
9	The Global behavior of finite difference-spatial spectral collocation methods for a partial integro-differential equation with a weakly singular kernel	Jie Tang, Da Xu	Numer. Math. Theor. Meth. Appl.	2013, Vol. 6, No. 3, pp. 556-570.	SCI
10	Alternating direction implicit Galerkin finite element method for the two-dimensional fractional diffusion-wave equation	Limei Li, Da Xu, Man Luo	Journal of Computational Physis	2013, 255, pp. 471-485.	SCI
11	Orthogonal spline collocation method for the two-dimensional fractional sub-diffusion equation	Xuehua Yang, Haixiang Zhang, Da Xu	Journal of Computational Physis	2014, 256, pp. 824-837.	SCI
12	GENERALIZED CHRISTOFFEL FUNCTIONSF OR JACOBI-EXPONENTIAL WEIGHTS	Y.G.Shi(史应光)	Acta Mathematica Hungarica	2013,140,1-2,71-89	SCI
13	ORTHOGONAL POLYNOMIALS FOR JACOBI-EXPONENTIAL WEIGHTS (1 − x2)ρe−Q(x) ON (−1, 1)	Y.G.Shi(史应光)	Acta Mathematica Hungarica	2013,140,4,363-376	SCI
14	A unified method for hybrid subdivision surface design using geometric partial differential equations	qing pan, guoliang xu,jessica zhang	Computer-aided design	46(2014):110-119	SCI
15	Brain-wide functional inter-hemispheric disconnection is a potential biomarker for schizophrenia and distinguishes it from depression	郭水霞	NeuroImage: Clinical	（2013）2:818-826	SCI
16	A reversal coarse-grained analysis with application to an altered functional circuit in depression	郭水霞	Brain and Behavior	(2013)DOI: 10.1002/brb3.173	SCI
17	Anatomical distance affects functional connectivity in patients with schizophrenia and their siblings	郭水霞	Schizophrenia Bulletin	(2013)DOI: 10.1093/schbul/sbt163	SCI
18	On the harmonic index and the chromatic number of a graph	Hanyuan Deng,S.Balachandran,S.K.Ayyaswamy,Y.B.Venkatakrishnan	Discrete Applied Mathematics	161 (2013) 2740-2744	SCI
19	A lower bound for the harmonic index of a graph with minimum degree at least two	Renfang Wu,Zikai Tang,Hanyuan Deng	Filomat	27(2013)51-55	SCI
20	On the harmonic index and the girth of a graph	Renfang Wu,Zikai Tang,Hanyuan Deng	Utilitas Math.	91 (2013) 65-69	SCI
21	On the Eigenvalues of General Sum-Connectivity Laplacian Matrix	Hanyuan Deng,He Huang,Jie Zhang	Journal of the Operations Research Society of China	1(2013)347-358
22	Variational formula and overdtermind problem for the principle eigenvalue of k-Hessian operator	Qiuyi Dai,Feilin Shi	J.Differential Equations	2013,255(11),4136-4148
23	Isoperimetric inequalities for positive solutions to semilinear elliptic equations	Huaxiang Hu, Qiuyi Dai, Renchu He	Chinese Ann. Math. Ser.A	2013,34(1),87-100
24	Positive stationary solutions amnd threshold results for the nonhomogenous semilinear parabolic equation with Robin boundary conditions	Junhui Xie, Qiuyi Dai, Huaxiang Hu	Nonlinear Anal.TMA.	2013,85,233-247
25	A compound Poisson risk model with proportional investment	陈旭，欧辉	Journal of Computational and Applied Mathematics	2013,242:248-260	SCI
26	基于神经团的视网膜神经系统建模研究	张锦,赵二群等	系统仿真学报	2013,25（9）：1996-2000
27	Serrin blow-up criterion for strong solutions to the 3-D compressible nematic liquid crystal flows with vacuum	Qiao Liu	Electron. J. Differential Equations	2013, No. 107, 22 pp.	SCI
28	A regularity criterion for the solution of nematic liquid crystal flows in terms of the Ḃ^{-1}∞,∞-norm	Qiao Liu,Jihong Zhao	J.Math.Anal.Appl.,	407 (2013), no. 2, 557–566.	SCI
29	Existence and multiplicity of solutions to a p(x)-Laplacian equation with nonlinear boundary condition on unbounded domain p(x)-Laplacian equation with nonlinear boundary condition on unbounded domain	Qiao Liu, Duchao Liu	Differential Equations and Applications	Volume 5, Number 4, November 2013,595--611
30	Logarithmically Improved Criteria for the 3D Nematic Liquid Crystal Flows in the Morrey–Campanato Space	Qiao Liu, jihong Zhao	Nonoliear Anal.Real World Appl.,	16 (2014) 178–190	SCI
31	Logarithmically improved blow-up criteria for the nematic liquid crystal flows	Qiao Liu,Pingan Zhang, Sadek Gala	Comput.Math.Appl.,	66 (2013) 2327–2334	SCI
32	Logarithmically improved blow-up criteria for a phase field Navier-Stokes vesicle-fluid interaction model.	Jihong zhao, Qiao Liu	J. Math. Anal. Appl.	405 (2013), no. 2, 422–437.	SCI
33	Existence of solutions for the Debye-Hückel system with low regularity initial data	Zhao, Jihong; Liu, Qiao; Cui, Shangbin	Acta Appl. Math.	125 (2013), 1–10.	SCI
34	A note on Cantor boundary behavior	刘竟成，董新汉，彭世茂	Journal of Mathematical Analysis and Applications	2013,408(2):759-801	SCI（二区）
35	Cantor boundary behavior of analytic functions	董新汉，刘家成，刘竟成	Advances in Mathematics	2013,232(1):543-570	SCI（二区）
36	Cn 中单位球上Bergman 型空间的一种积分算子	刘竟成，张学军	数学年刊	2013，34(3):257-268	重要
37	Heuristic algorithms for general k-level facility location problems	Rongheng Li, H-C Huang and J Huang	Journal of the Operational Research Society	2013,Vol.64(1), pp106–113	SCI
38	Semi-online scheduling for jobs with release times	Rongheng Li, Liying Yang,  Xiaoqiong He,  Qiang Chen,  Xiayan Cheng	Journal of Combinatorial Optimization	2013,Vol.26(3) pp448-464	SCI
39	McKay quivers and absolute n-complete algebras	郭晋云	SCIENCE CHINA Mathematics	2013,56,8,1607-1618	SCI,重要
40	一类基因表达式程序设计的若干收敛定理及其推广	陈明	小型微型计算机系统	2013年、34、3、606-610	重要刊物(序号78)
41	An Efficient Bit-split Prefix Hierarchical Trie Packet Classification Algorithm	Xia'an BI, Nian DING, Luyun XU, Dafang ZHANG	Journal of Computational Information Systems	2013 Vol.9(16): 6435-6442	EI源刊
42	A New Packet Classification Algorithm using Combination Bloom Filter for Supporting Scalable Virtual Routers	Xia-an Bi, Hong Liu, Chu-cai Zhang	International Journal of Advancements in Computing Technology	2013，Vol.5, No. 4, pp. 431~438,
43	A Distributed Evolutionary Algorithm for Multiprocessors Selection	Xia-an Bi, Chu-cai Zhang	Journal of Convergence Information Technology,	2013，Vol. 8, No. 5, pp.100 ~ 108,
44	An Efficient Packet Classification Algorithm for Supporting Scalable Virtual Routers	Xia-an Bi, Hong Liu, Chu-cai Zhang	International Journal of Digital Content Technology and its Applications	2013，Vol. 7, No. 4, pp. 983 ~ 990,
45	无线传感器网络中的近似Unit Delaunay功率控制算法	徐鹏飞， 陈志刚， 邓晓衡	通信学报	2012,49(3):529-540	EI/重要
46	不变函数芽的通用形变与有限决定性	郭瑞芝、陈达	高校应用数学学报	2013，28（3）335-346
47	Study on Pairwise Bundle Adjustment and One Dimension Wand Calibration for Cameras Group	Luo Xun, Zhao Wei, Zhang Hainan	Applied Mechanics and Materials	v 365, 2013, p702-707	EI
48	混合网格下的有限元特征值重构	孟令雄、梁洪辉、易利军	应用数学与计算数学学报	2013、V27、N1、pp33-39
49	The equivalent norms of F(p,q,s) space in Cn,	Xuejun Zhang，Chuanzhi He，Feifei Cao	J. Math. Anal. Appl.	2013, 401(2): .601-610	SCI二区
50	超球上几个典型函数空间上的加权复合算子	熊东红，吴燕，张学军	数学进展	2013, 42(2)：207-218	重要期刊
51	The existence of solutions for Henon equation in hyperbolic space	Haiyang He	Proc.Japan Acad.,	89,Ser.A(2013)(24-28)	SCI
52	Asymptotic behavior of the ground state solutions for Henon equation with robin boundary condition	Haiyang He	Communications of Pure and Applied Analysis	Volume12,Number6,November 2013,2393-2408	Sci
53	Existence of solutions for critical Henon equations in hyperbolic space	Haiyang He and Jing Qiu	Electronic Journal of Differential Equation	No.05(2013)1-11	Sci
54	The Robin problem for the henon eqution	Haiyang He	Bull. Aust. Math. Soc	Volume88,August2013, pp 1-11	Sci
55	Existence and asmptotic behavior of solutions for Henon equation in hyperbolic spacehyperbolic spaces	Haiyang He and Wei Wang	Electronic Journal of Differential Equation	No.208(2013)1-13	Sci
56	Extrapolation cascadic multigrid method	CHEN ChuanMiao & HU HongLing∗	SCIENCE CHINA,Mathematics		SCI
57	基于CG的外推瀑布式多网格法的收敛性分析	胡宏伶，潘克家	高等学校计算数学学报		CSCD
58	共轭梯度法的l2模收敛性研究	胡宏伶，陈传淼	湖南师范大学自然科学学报	2013年36卷（03）15-17	中文核心期刊
59	Asymptotic expansions of finite element solutions to Robin problems in H3 and their application in extrapolation cascadic multigrid method	HU HongLing & CHEN ChuanMiao∗	SCIENCE CHINA,Mathematics	已接收，doi: 10.1007/s11425-013-4669-y	SCI
60	The existence of subharmonic solutions with prescribed minimal period for forced pendulum equations with impulses	陈会文，李建利	Applied Mathematical Modelling	37 (2013) 4189–4198	SCI
61	Positive almost periodic solution of discrete nonlinear survival red blood cells model with feedback control	尹勇，李建利	J Appl Math Comput	(2013) 42:283–296	EI
62	Hybrid Ant Algorithm Based Query Processing with Multiagents in Sensor Networks	余建平	International Journal of Distributed Sensor Networks	2013年，Vol.2013 (2013)：1-7	SCI源刊
63	1.      Determination of jumps in terms of derivative convolution operators,	Y.Chen(陈洋)X.L.Shi(施咸亮)	Acta Math. Hungar.	2013、134、4、372-392	SCI
64	Pointwice convergence of wavelet of generalized Shannon type,	X.L.Shi(施咸亮)W.Wang(王玮)	Acta  Math. Sinica, Eng. Ser.	已校对校样	SCI
65	紧框架的Korovkin型定理	施咸亮、陈洁	中国科学	已校对校样	A类
66	An application of Chen’s theorem to convergence of Fourier multiplier transforms,	X.L.Shi(施咸亮)Y.Chen(陈洋)L.Hu(胡兰)	Appl.Math.J.Chinese Univ.,	即将发表	SCI
67	On Local Polynomial Modelling of the Additive Risk Model	WANRONG LIU1, XUEWEN LU2,AND YONGCHENG QI3	Communications in Statistics—Theory and Methods	42: 1958–1981, 2013	sci
68	最晚截止期优先带宽转让算法	钱光明，杨扬	计算机工程	2013.39(9):137-141	重要
69	限制优先次数的优先级调度算法	钱光明，刘弢	电脑知识与技术	2013.9(34)	省级
70	The Tutte polynomial of an infinite family of outerplanar, small-world and self-similar graphs	Yunhua Liao, Aixiang Fang and Yaoping Hou	Phy. A:Statistical Mechanics and its Applications	392: 4584-4593	SCI
71	Mapping problems for quasiregular mappings	Manzi Huang, Antti Rasila, Xiantao Wang	FILOMAT	2013, 27, 2, 393-404
72	An effective branching strategy for some parameterized edge modification problems with multiple forbidden subgraphs.	刘运龙等	国际会议COCOON2013	Page.555-566	EI收录

六、依托单位给予的支持

实验室依托单位湖南师范大学在资金、设备、人员等方面给予实验室大力支持，已下拨2012-2013年度实验室开放课题及学术委员会会议经费  20万元，并提供了必要的技术支撑、后勤保障和国内外合作与交流的条件。 

七、运行经费、主任基金等的使用情况

实验室运行经费使用情况如下：

1.实验室装修土建费用；                 （约 118万元）  

2.实验室需装配的中央空调及其配套工程；（约 20万元）  

3.实验室门禁系统、消防系统极其配套工程；（约 5万元 ）

4.实验室电气工程（含视频监控系统）；    （约 5万元）  

5.实验室办公和科研教学的基本办公家具；（约 24万元）  

6.实验室各类科研教学仪器设备和办公设备。（约 40万元）

7.组织国内学术会议：         20万元；

8.学术交流及专家劳务酬金：   5万元；

9.耗材及日常办公用品等：     2万元； 

合计： 239万元