《离散数学及其应用教育部重点试验室工作总结报告-福州大学》由会员分享，可在线阅读，更多相关《离散数学及其应用教育部重点试验室工作总结报告-福州大学（5页珍藏版）》请在金锄头文库上搜索。
1、离散数学及其应用教化部重点试验室工作总结报告（2011年3月18日）试验室名称： 离散数学及其应用教化部重点试验室 主管部门： 福建省教化厅依托单位： 福州高校试验室概况: 在快速发展的计算机科学技术及信息技术等领域，离散数学是重要的基础学科和支撑学科，它的发展和应用是影响一个国家科学技术发展水平的重要因素。以福州高校“离散数学与理论计算机科学探讨中心”为依托的离散数学及其应用教化部重点试验室于2007年7月获教化部批准立项建设。目前，试验室共有固定探讨人员27人，其中教授16人，副教授4人。试验室由马志明院士担当学术委员会主任，范更华教授担当试验室主任。试验室位于福州高校铜盘校区。2007年
2、11月完成了试验室装修一期工程；2009年3月完成了二期装修工程，达到 “环境美丽、设备一流”。按国际探讨所标准建设基础设施，为每位探讨人员及来访学者供应40平米宽敞办公室及一流科研设备。为每位探讨生供应一个工作位及台式电脑。已建成无线网覆盖试验室3000平米的科研、办公场所。重视网络建设，保证网络高速畅通。订购相关专业的国外数据库及原版图书，已基本建成一流的专业图书资料室。一、 试验室现有三个探讨方向：图论与组合数学、大规模集成电路设计中的数学方法、优化理论与算法。二、 在本年度，试验室主任范更华教授获全国优秀科技工作者。试验室在研科研项目国家973安排课题1项，国家自然科学基金7项，其中重
3、点项目1项，面上项目6项，新增国家973安排课题1项，为1. 大规模集成电路物理设计中关键应用数学理论和方法（2011CB808003），范更华 新增国家自然科学基金3项，其中面上项目2项，青年项目1项，分别是：1. 超大规模集成电路多目标划分的算法探讨（61070020），朱文兴，国家基金面上项目。2. 近景摄影测量中的自动图像分割技术（11071270），王美清，国家基金面上项目。3. 几类图染色问题的探讨（11001055），侯建锋，国家基金青年项目。试验室在2010年8月顺当完成了国家重点基础探讨发展安排（973安排）课题“大规模集成电路设计中的图论与代数方法（2006CB805904
4、）”。课题实施期间，课题组共发表探探讨文133篇，其中被SCI收录104篇；由于精彩完成了该课题，我们将接着担当新一轮的973课题：大规模集成电路物理设计中关键应用数学理论和方法（2011年1月至2015年12月）。三、 试验室不仅是高水平科学探讨中心，也是高层次人才培育基地。试验室以应用数学、计算机应用技术省级重点学科，国家集成电路人才培育基地，离散数学“211工程”建设重点学科，应用数学博士点以及两个一级学科硕士点（数学、计算机科学与技术）为支撑，形成具有肯定规模的离散数学高层次人才培育体系。试验室将充分利用自身的条件，围绕主攻方向，提升开放层次，促进学术沟通与合作，使试验室整体探讨水平达
5、到国内领先水平，某些探讨方向达到国际先进水平，为国家及福建地方建设做出突出贡献。本年度培育博士探讨生2名，硕士探讨生21名。四、 年度科研成果试验室在各个探讨问题方面开展了深化地探讨工作，在课题探讨中取得了一些很好的探讨结果。本年度课题组探讨成员在国内外重要专业刊物上发表SCI收录论文27篇， EI收录论文6篇，详细探讨成果如下：（1）图论与组合探讨工作关于连通图支撑树的计数问题，给出了连通图支撑树个数的紧的上界，并且考虑的连通度为k的图的支撑树的个数，同时给出了连通图支撑树的个数和图色数之间的关系，其结果发表在Applied Mathematics Letters上。一个图的Laplacia
6、n谱半径是指该图Laplacian矩阵的最大特征值，对于图n个顶点，最大度为，直径为D的非正则图，Shi给出了该图的Laplacian谱半径的上界，我们改进了该上界，并且证明白该上界给出了在某些状况是紧的，同时，给出了不含三角形图的Laplacian谱半径的上界。对于连通二部图，给出了Laplacian谱半径紧的上界和下界，从而改进了Shi的结果。在图染色领域，考虑了图的列表染色问题，给出了考虑图列表染色的新的思路，并且用该思路证明白某些形式的完全k部图是(2, 2)-total weight choosable，并证明白除了一条边外的全部完全二部图都是(1, 2)-total weight
7、choosable。探讨了稀疏图和平面图的列表全染色问题，证明白假如平面图的最大度不超过8，则其列表全色数不超过11；假如平面图最大度至少是8，且不含5-圈，则其列表全色数等于最大度加一；假如图的最大度是4，并且最大平均度不超过3，则其列表全色数是5，该项成果发表在Information Processing Letters上。考虑了有向图博弈染色，给出了有向图博弈色数以及弱的博弈色数的定义，证明每个定向平面图的博弈色数不超过9，每个定向外平面图的博弈色数不超过4，同时探讨了有向图强博弈染色，证明白每个定向平面图的强博弈色数不超过16。考虑的外平面图的无圈边染色问题，完全确定了外平面图无圈边色
8、数的上界，其结果发表在Journal of Graph Theory上。在化学图论方面，一个图的能量是指该图全部特征值肯定值的和，一个图的能量小于图的顶点数，称该图是hypoenergetic，我们探讨了图的能量，构造了顶点数为4n+2的树T，使得T是hypoenergetic，从而验证了Gutman等人在2008年提出的猜想，该文发表在Applied Mathematics Letters上。同时考虑的图的能量和Estrada指标之间的关系，给出了图Estrada指标紧的上界。（2）VLSI中的图论与优化算法探讨工作为了开展大规模集成电路设计领域的探讨工作，试验室于2010年建立了一个150
9、m2的大规模集成电路设计EDA试验室，拥有16个探讨工作位，装备国产熊猫EDA系统软件16台套，对全部试验室探讨成员和探讨生开放运用。布局是大规模集成电路电路设计重要环节，确定了超大规模集成电路芯片的性能，尺寸，产量和牢靠性，我们给出了基于粒子群优化算法新的智能决策，利用该决策可以超大规模集成电路较快的获得一个可行的电路物理布局。同时在遗传算法的变异和交叉的原则中引入了粒子群优化算法，可以使得该算法脱离局部最优和实现更好的多样性。试验通过采纳MCNC和GSRC基准测试表明，该算法是有效的。同时该算法可以避开局部最小，并有很好的收敛性。试验结果表明所提出的方法可以大大帮助集成电路设计中的布局决策
10、，其结果发表在Soft Comput.上。从计算的角度来看，超大规模集成电路布局规划是一个NP-困难问题。我们给出了非分层和模块VLSI布图规划问题的一个混合演化算法（HGA），该算法运用一个有效的遗传搜寻方法来探究搜寻空间和一种有效的局部搜寻方法，利用信息在搜寻区域。MCNC基准的试验结果表明该算法是有效的。同时，借助于进化算法和模拟退火算法的概念，给出了另外一种混合演化算法，试验表明该算法也是有效的。（3）优化理论与算法我们提出了一个高效求解三维装箱问题（Three Dimensional Container Loading Problem 3D-CLP）的混合模拟退火算法；探讨了极大可满
11、意性问题的局部搜寻算法，提出了用单纯形法产生“初始概率”(每个变量取1的概率)，用“初始概率”对局部搜寻算法中变量的初始随机指派进行适当的约束；探讨了箱约束非线性整数规划问题，提出了该问题的离散动态凸化算法，同时还证明白算法的收敛性；对非线性约束连续全局优化问题，我们构造一个结合罚函数的协助函数，构造了解非线性约束连续全局优化的一个动态凸化算法，该算法避开了传统罚函数法中罚参数选取困难的问题。五、 学术沟通为推动福建省数学教化和探讨活动开展，在范更华教授的大力提倡下，协同福建省数学会，于2010年10月16日至17日召开福建省首届数学大会，1100多名来自全省各地高校和中学的数学老师参会。为了
12、使基层农村学校数学老师有机会参与会议，在省政府、省教化厅等部门的大力支持下，会议为300名工作在乡镇学校的老师供应了交通、住宿等经费支持。会议期间，“院士与中学老师互动座谈会”和“专家讲座”等专项活动沟通和探讨热情，这种面对面的沟通让来自中小学的数学老师受益匪浅、耳目一新，为广阔基层学校特殊是农村学校老师供应了良好的学习机会，有效地调动了全省中学老师参与数学探讨的主动性，对提升福建省数学教化水平起到了主动的推动作用。2010年5月，试验室协同中国运筹学会，召开中国运筹学会第八届三次常务理事会。在本年度，共有10余位国内外知名学者到校访问，并作报告和进行合作探讨，其中包含千人安排入选者，浙江师范高校教授朱绪鼎，香港浸会高校数学系主任朱力行，加拿大Simon Fraser高校教授Pavol Hell等。
