| 词条 | 广西可信软件重点实验室 |
| 释义 | 实验室介绍：该实验室始建于2006年，2010年通过科技厅组织的专家组评定，成为自治区重点实验室。实验室依托桂林电子科技大学，主要由计算机科学与工程学院负责承建，是计算机科学与技术广西重点学科建设的重要支撑单位。 现任实验室主任为古天龙教授，学术委员会主任为国家杰出青年基金获得者南京大学徐宝文教授。实验室以新世纪国家百千万人才古天龙教授为主要学术带头人，有一支学风严谨、研究深入、瞄准国际前沿、以发展我国计算机事业为己任的科学研究队伍。实验室现有人员43名，教授22名，其中博士生导师3名，实验室人员90%具有博士学位，以35-45岁之间的中青年科研人员为主。 实验室自建设以来，先后承担了多项国家级项目，取得了一批高水平的学术成果。近三年来承担了国家“863”计划项目2项，国家自然基金项目12项，国防科研项目3项，其它国家部委项目3项，国家重点实验室项目1项，广西科学基金项目和广西科技攻关项目18项，其它课题120多项, 科研经费总计2000多万元；获省部级科技奖3项，其它重要奖励6项，申请发明专利4项，实用新型专利5项，软件著作权27项；出版学术专著5部，教材10余部。 高可信软件是“国家中长期科技发展规划”中的一个关键技术领域，国际上正在争先展开研究。实验室制定了科学的发展规划，完善的管理制度，常年设立开放研究基金，欢迎有志于可信软件理论及技术研究的学者到实验室进行访问研究，申请实验室开放课题基金。 代表性基金项目研项目数量及科研经费方面稳步增长，各类科研经费2000多万元，实现了较好的经济和社会效益。 科研项目层次和科研水平有很大提高，承担国家“863”计划2项，国家自然基金共12项，国防科研3项，广西科学基金和广西科技攻关18项，有横向课题120多项。 近几年承担的代表性国家级项目[1]“面向装配规划的领域知识表示及推理研究”（国家自然科学基金），2010.1-2012.12 [2]“基于描述逻辑和模型检测的行动理论研究”（国家自然科学基金），2010.1-2012.12 [3]“普适计算环境下高效的分布式安全性与陷私性问题研究”（国家自然科学基金），2010.1-2012.12 [4]“正负权重网络的动力学研究”（国家自然科学基金），2010.1-2012.12 [5]“无线传感器网络中脉冲同步技术研究”（国家自然科学基金），2010.1-2012.12 [6]“基于抽象和符号技术的并发软件验证研究”（国家自然科学基金），2011.1-2013.12 [7]“基于社会网络和规范的自治在线社区方法及关键技术研究”（国家自然科学基金），2011.1-2013.12 [8]“基于信任管理的无线传感器网络高可靠覆盖技术研究”（国家自然科学基金），2011.1-2013.12 [9]“P2P流媒体点播服务中关键技术的研究”（国家自然科学基金），2011.1-2013.12 [10]“基于隐式曲面的三维重建关键技术研究”（国家自然科学基金），2011.1-2013.12 [11]“快速收敛优化算法及其在特殊工程问题中的应用”（国家自然科学基金），2011.1-2013.12 [12]“装配序列生成的符号技术研究”（国家自然科学基金），2006.1-2008.12 [13]“基于类Lyapunov方法非线性系统全维、降维观测器研究”（国家自然科学基金），2006.1-2008.12 [14]“非线性规划约束变尺度算法的新研究及其在均衡约束优化中的应用”（国家自然科学基金），2006.1-2008.12 [15]“基于依赖公式抽象的软件模型检测研究”（国家自然科学基金），2007.1-2009.12 [16]“基于排队论的无线传感器网络QoS研究框架”（国家自然科学基金），2008.1-2010.12 [17]“复杂定制产品开发设计关键技术及产品应用研究”（国家自然科学基金），2008.1-2010.12 [18]“基于时态认知逻辑的特征交互无界模型检测”（国家自然科学基金），2008.1-2010.12 [19]“质量均一可控的天然产物有效组分高效集成化制备新方法研究”（国家自然科学基金），2009.1-2011.12 [20]“基于抽象解释的逻辑程序验证研究”（国家自然科学基金），2009.1-2011.12 [21]“平面微分系统的中心问题与极限环分支”（国家自然科学基金），2009.1-2010.12 [22]“网络消费者偏好与品牌选择模型研究”（国家自然科学基金），2009.1-2011.12 [23]“传输理论与随机服务系统中矩阵问题及其有效算法研究”（国家自然科学基金），2009.1-2011.12 [24]“在线近红外成分分析技术”（863子项目），2009.9-2011.3 [25]“基于元模型的复杂产品结构自适应配置方法研究”（863项目子课题），2006.1-2008.12 |
| 随便看 |
百科全书收录4421916条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。