当前位置:  网站首页 > 实验室管理 > 年度报告 > 正文
2013年《教育部重点实验室工作年报》
发布日期:2014-01-23

2013年《教育部重点实验室工作年报》 

一、实验室名称,学科(领域),依托单位 

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

学科(领域): 数 学

依托单位: 湖南师范大学 

二、实验室工作纪要 

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

1、科研项目 

2013年度新增科研项目情况

序号 项目名称 类别 起止时间 计划经费        (万元) 负责人
1 自入射代数、Mckay箭图及相关课题(11271119) 国家基金 2013-2016 60 郭晋云
2 偏微分方程中的等周不等式及其相关问题的研究(11271120) 国家基金 2013-2016 65 戴求亿
3 新型统计计算方法在医学影像数据分析中的应用(11271121) 国家基金 2013-2016 65 郭水霞
4 边界理论、外逼近,与分形上的微分方程(11271122) 国家基金 2013-2016 60 倪思敏
5 粘弹性棒和板问题有限方法误差分析(11271123) 国家基金 2013-2016 57 徐大
6 大规模计算网络并行任务调度模型及其参数方法研究(61271264) 国家基金 2013-2016 70 黄金贵
7 仿射Hecke代数的同构问题(11201139) 青年基金 2013-2015 22 颜蓉
8 双曲空间上几类偏微分方程的研究(11201140) 青年基金 2013-2015 22 何海洋
9 矩形双线性元在弱空间中的整体高精度分析及应用(11226332) 天元基金 2013.1-12 3 胡宏伶
10 解析函数的Cantor边界性质研究(13JJ4042) 青年基金 2013-2015 4 刘竟成
11 不可压缩磁流体动力学模型与向列型液晶流模型若干问题的研究(13JJ4043) 青年基金 2013-2015 4 刘桥
12 开放领域下自由文本中关系抽取的研究(13JJ6030) 联合基金 2013-2015 3 刘方舟
13 基于组合优化方法的图像分割研究(2013FJ4052) 科技厅一般项目 2013 2 瞿绍军
14 基于三维邻近图的异构传感器网络拓扑控制(2013FJ4051) 科技厅一般项目 2013 2 徐鹏飞
15 分布式网格资源发现和管理模型及关键技术研究(2013GK3130) 科技厅一般项目 2013 3 王一夫
16 云计算中自适应虚拟化资源管理研究(2013FJ6027)  科技厅一般项目 2013 3 李强
17 中医肝阳上亢证的高维数据空间模型研究(2013SK3124) 科技厅一般项目 2013-2016 2 刘刚
18 异构传感器网络的自适应功率控制研究(13B065) 优秀青年项目 2013-2015 4 徐鹏飞
19 操作系统安全子系统的形式化开发方法及验证技术研究(13C527) 一般项目 2013-2015 0.8 徐亮
20 湖南省城乡小学生心理健康状况统计调查研究(13C549) 一般项目 2013-2015 0.45 唐邵玲
21 基于信息共享的三级主导型供应链价值共享研究(13C525) 一般项目 2013-2015 0.45 梁光霞
22 非线性微分方程周期性若干问题的研究(13K029) 创新平台项目 2013-2015 6 罗治国
23 带区间删失高维数据的充分降维方法研究(13K030) 创新平台项目 2013-2015 6 刘万荣
24 网络科学中若干图论问题的研究(FT13101) 2013年青年优秀人才培养计划 2013-2015 10 汤自凯
25 基于多级查找的高校包分类算法研究及证明(11301) 2013年校青年基金 2013-2015 0.8+0.4 毕夏安
26 面向中小学教师的信息技术与教育教学培训 谷歌信息技术(中国)有限公司 2013 7.5278 瞿绍军

 

2、科研经费 

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

3、发表的论文 

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

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

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

三、学术委员会会议纪要  

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

姓名 会议名称(或访问学校) 时间 备注
徐亮 2013年中国计算机大会 2013.10.24-26  
徐大 2013年计算数学年会 2013.10.19-21  
张锦 第十三届虚拟现实大会 2013.9.14  
张锦 2013年中国计算机大会 2013.10.24  
刘桥 访问浙江大学 2013-07-21至2013-08-21  
刘竟成  2013全国“数学分形理论与动力系统学术研讨会” 2013/5/31—2013/6/3  
李荣珩 中国运筹学会排序分会第八次代表会议暨2013年学术交流年会 2013年10月18-20日  
郭晋云 第六届国际表示论会议 6.17-21 组织委员会主席
郭晋云 第十五届全国代数表示论研讨会 7.29-8.2  
郭晋云 第十三届全国代数学学术会议 8.5-9 组织委员会委员
郭晋云 Mathematical Methods from Physics 8.12-22  
陈明 2013中国计算机学会年会 2013.10.24-26  
毕夏安 2013年中国计算机大会(CCNC2013) 2013.10.23-2013.10.26  
毕夏安 “全国高校物联网专业教学与最新技术应用”培训班 2013.7.20—2013.7.24  
孟令雄 International Conference on Mathematical Modeling and Computation 2013(武汉大学) 2013年5月15-19日  
孟令雄 科学计算中的特征值问题(暑期学校,中科院软件所) 2013年7月19-24日  
孟令雄 第十二届全国高校计算数学年会(国防科大) 2013年10月19-21日  
张学军 2013年全国多复变学术年会(在江苏师范大学举行) 2013.8.9-8.14  
胡宏伶 偏微分方程与大规模科学计算方法 2013.6.7-10 江苏师范大学(徐州)
胡宏伶 第十二届全国高校计算数学年会 2013.10.19-21 国防科技大学(长沙)
施咸亮、陈洋 调和分析及其应用国际学术研讨会,海口 2013年1月12日-17日 邀请报告
施咸亮、陈洋 调和分析与偏微分方程,合肥 2013年5月10日-12日 邀请报告
施咸亮、陈洋 浙江大学纪念陈建功先生座谈会 2013年5月 邀请发言人
施咸亮、陈洋 杭州师范大学陈建功先生纪念会 2013年6月1日  
施咸亮、陈洋 复旦大学纪念陈建功先生学术报告会 2013年6月3日-7日 邀请报告,学术委员会成员
施咸亮 海南师范大学 2013年11月9日-14日 讲学
侯耀平 图和超图的谱理论(福州大学) 2013.5.28-6.1 邀请报告
侯耀平 代数图论及应用(青海师大) 2013.7.26-7.29 邀请报告
侯耀平 组合矩阵论研讨会(中北大学) 2013.7.11-7.15  
侯耀平 第七届海峡两岸图论与组合学会议(湖南师大) 2013.6 组织会议
侯耀平 2013(海南)图论及其应用学术研讨会(海南大学) 20113.12.22  
Antti Rasila ITK (Interactive Technology in Education), Hämeenlinna, Finland 2013-04-10  
Antti Rasila      The Second Chinese-Finnish Seminar 
    and Workshop on Modern Trends (University of Turku) 
    in Classical Analysis and Applications 
2013-08-14  
Antti Rasila Peda-forum 2013, University of Tampere, Finland 2013-08-21  
刘运龙 第19届组合与计算国际会议(COCOON2013)2013年6月20日 发表论文1篇(EI收录)    
杨向群及博士生 第6届全国金融数学与金融工程学科建设与学术研究会 2013/05/25至27  
杨向群 第6届世界华人数学家大会(台湾大学) 2013/07/15至22  
杨向群及博士生 第11届中国不确定系统年会暨第15届中国青年信息与管理学者大会 2013/07/25至31  

五、发表的主要学术论文 

序号 论文题目 作者 期刊名称 年、卷、期、页 刊物性质
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 万元