BC平台官网(ac0p.cc)是中国最优质游戏品牌,BC平台官网综合各种在线游戏于一站式的大型游戏平台,多年来一直为大家提供极致体验的游戏环境,BC平台官网值得信赖,期待广大游戏爱好者前来体验,BC平台官网将把最好的游戏体验带给大家!

<rt id="icyoy"></rt>
<acronym id="icyoy"><noscript id="icyoy"></noscript></acronym>
<acronym id="icyoy"><small id="icyoy"></small></acronym>
<acronym id="icyoy"></acronym><tr id="icyoy"></tr>
<sup id="icyoy"><center id="icyoy"></center></sup><acronym id="icyoy"></acronym>
 
当前位置: BC平台官网>>科研动态>>科研机构及团队>>正文
软件自动生成与智能服务四川省重点实验室
2019-11-13 22:22  

软件自动生成与智能服务四川省重点实验室于2016年8月通过四川省科技技术厅组织的专家的评审BC平台官网BC平台官网BC平台官网。实验室瞄准国家和四川省科技服务业、制造业BC平台官网、健康产业BC平台官网、气象等行业BC平台官网BC平台官网,对提升高端软件生产与服务适应性的长期需求BC平台官网BC平台官网,立足软件工程理论与方法、软件工程技术领域BC平台官网、领域软件工程环境BC平台官网,采用类型范畴BC平台官网、代数规范和进程代数BC平台官网、语义分析、领域知识本体BC平台官网BC平台官网、自动推理等理论和方法BC平台官网,开展软件自动生成、领域知识本体和大数据、领域智能信息服务三个方向的基础应用研究工作。

实验室拥有建筑面积1100m2BC平台官网,仪器与设备价值1050万元BC平台官网。实验室现有固定科研及管理人员共49人,高级职称27人BC平台官网,副高级职称40人BC平台官网BC平台官网,博士生导师2人BC平台官网BC平台官网,博士24人,硕士24人BC平台官网。实验室现有客座人员15人,其中:国内12人BC平台官网,国外3人,博士生导师10人BC平台官网。实验室现有四川省青年科技创新团队1个(信息化应用支撑软件与数据挖掘四川省青年科技创新团队)BC平台官网BC平台官网、四川省学术和技术带头5人BC平台官网、省部级有突出贡献的中青年专家2人、四川省学术和技术带头人后备人选2人BC平台官网。实验室聘请我国著名计算机科学家BC平台官网、数学家张景中院士担任学术委员会主任。近五年来BC平台官网,实验室积累了较扎实的研究基础BC平台官网,主持和参与国家级和省部级科技攻关等重大科研项目共44项,获资助经费总额1579万元BC平台官网BC平台官网C平台官网;窆铱萍冀蕉冉?项、四川省科技进步奖6项。在国际和国内高水平学术刊物和会议上发表学术论文25篇BC平台官网BC平台官网BC平台官网,已获授权发明专利6项BC平台官网。

实验室现设有软件自动生成研究室、领域大数据分析研究室、软件智能信息服务研究室BC平台官网。实验室聘请我国著名计算机科学家、数学家张景中院士担任学术委员会主任,张院士在机器证明领域研究卓著BC平台官网BC平台官网,他认为实验室以软件自动生成为主要研究主题,将机器证明与软件工程融合BC平台官网BC平台官网BC平台官网,为缩小我国与发达国家的差距BC平台官网BC平台官网,开启了新征程BC平台官网。

实验室聘请成都信息工程大学校长BC平台官网、博士生导师周激流教授BC平台官网,以及电子科技大学信息与软件工程学院院长BC平台官网BC平台官网BC平台官网、博士生导师秦志光教授担任学术委员会副主任BC平台官网。

实验室聘请2013年第十二届四川省青年科技奖者BC平台官网BC平台官网、四川省青年科技创新团队负责人、成都信息工程学院副校长舒红平教授担任实验室主任BC平台官网。实验室多位省内外知名专家,组成以软件工程BC平台官网、计算机科学与技术学科为主BC平台官网,多学科交叉的科研创新团队BC平台官网。

研究室情况:


n 软件自动生成研究室

软件自动生成研究室在软件自动生成研究方向学术带头人舒红平的带领下,主要从事需求语义分析BC平台官网BC平台官网BC平台官网、程序语义切片与装配、软件生成与优化。研究并实现了面向服务架构的软件总体装配,模型驱动的软件代码自动生成模式BC平台官网,集成研发了“基于JavaEE的可配置信息化应用平台”BC平台官网BC平台官网BC平台官网,获得四川省科技进步三等奖BC平台官网、成都市科技进步三等奖BC平台官网BC平台官网。该平台已在成都飞机工业公司BC平台官网BC平台官网BC平台官网、东方电汽BC平台官网BC平台官网、气象、医药BC平台官网、化工等领域BC平台官网BC平台官网,作为信息化支撑软件被上百个项目广泛使用BC平台官网,现已形成了具有2000余个构件BC平台官网,面向服务BC平台官网、流程驱动BC平台官网BC平台官网、可视化拖拽的软件自动化开发环境与工具BC平台官网。

n 领域大数据分析研究室

领域大数据分析研究室在领域知识本体与大数据分析学术带头人安俊秀教授的带领下BC平台官网BC平台官网,主要从事知识本体与自动推理BC平台官网、领域自适应算法模型与大数据分析等研究。根据循证针灸学科学推理实践需求BC平台官网BC平台官网;完成面向针灸古籍BC平台官网、现代电子病历等海量数据,基于弱监督学习BC平台官网BC平台官网,实现了病症名智能辩证,完成了病症与穴位网络影响关系挖掘分析等BC平台官网,这一系列经穴效应特异性大数据分析及成果,获得了国家科技进步二等奖及四川省科技进步一等奖各1项BC平台官网BC平台官网BC平台官网。该研究室结合软件自动生成技术BC平台官网BC平台官网BC平台官网,采用软件复用技术BC平台官网,将成熟的数据挖掘算法,以构件库的形式架构至信息化支撑软件开发平台BC平台官网BC平台官网。

n 软件智能信息服务研究室

软件智能信息服务研究室在领域智能信息服务研究方向学术带头人卢军教授带领下BC平台官网BC平台官网,主要从事软件智能服务与服务自适应BC平台官网BC平台官网、领域智能信息服务框架研究BC平台官网。主持国家自然科学基金“高容错能力的阵列纠删码模型研究”,完善了气象BC平台官网BC平台官网、商业数据中心实时数据存储软件编码存储性能BC平台官网BC平台官网;中国气象局行业公益专项“面向服务的气象资料可视化引擎技术研究及应用”提升了气象大数据分析产品可视化服务的自动生成技术水平BC平台官网BC平台官网;该研究室参与“气象信息共享系统研究与业务应用”BC平台官网,2011年获四川省科技进步二等奖BC平台官网,参与“航空产品数字化综合集成研究”2012年获四川省科技进步一等奖BC平台官网BC平台官网,参与“近实时变尺度气象Web服务系统”2012年获四川省科技进步二等奖,参与“大型云数据中心虚拟化基础架构平台”研究BC平台官网BC平台官网,获2013年四川省科技进步一等奖及电力行业信息化成果一等奖BC平台官网。

国际合作:

实验室重视与国际顶尖科研院所和科学家的联合研究工作。2013年实验室卢军教授前往美国哥伦比亚大学访问一年,与Shaw-Hwa Lo(罗小华)教授就大数据背景下关联关系中盲区的统计处理开展联合研究BC平台官网BC平台官网BC平台官网。2014年实验室赵卓宁教授主持四川省外国专家局天府高端引智项目“基于IDV的气象数据共享BC平台官网BC平台官网、挖掘与可视化技术研究”,邀请美国大气研究大学联合会UCARBC平台官网BC平台官网,下属联合数据中心Unidata的集成数据显示系统IDV项目负责人Yuan Ho高级软件工程师BC平台官网,来华在实验室开展为期1月的联合科研工作BC平台官网BC平台官网BC平台官网。2015BC平台官网、2016年在国家外专局资助下BC平台官网,实验室继续与UCAR开展“面向气象资料的IDV数据同化处理与图形引擎集成研究”的深入研究BC平台官网。在对IDV进行程序切片BC平台官网BC平台官网、在线数据分析自适应等方面的研究BC平台官网,达到和接近国际先进水平BC平台官网。

2014年以来实验室加大与国内行业和领域的科研开放合作BC平台官网。实验室主任舒红平教授与国家气象信息中心联合开展2015年度公益性行业科研专项项目“气象大数据的高效应用技术”研究BC平台官网,与成都飞机工业集团公司联合申报四川省科技厅项目“航空产品智能化协同制造信息系统研究及其示范应用”BC平台官网BC平台官网。与四川大学华西医学中心联合开展科技部“863”计划项目“出生缺陷信息与生物资源平台建立及群体干预技术关键问题研究”BC平台官网。实验室副主任唐聃副教授与台湾科技大学郑博仁教授开展“大数据环境下ATP预测方法研究”,参与中国科学院大气物理研究所“雷电灾害天气过程的探测系统综合集成及协同观测实验”的数据可视化研究BC平台官网BC平台官网。

研究方向之一:软件自动生成

软件自动生成与演化技术研究发展BC平台官网BC平台官网,始终伴随着对软件的逻辑表达、资源重用BC平台官网、开发演化BC平台官网BC平台官网BC平台官网、自动生成这四个关键领域的深入研究BC平台官网BC平台官网。

(1)在逻辑表达方面BC平台官网BC平台官网,重视软件形式化表达的同时,更加侧重混合系统、交互式模型、自适应建模支持的软件形式化验证BC平台官网;重视面向特征的编程BC平台官网、特征化?BC平台官网BC平台官网?橐约胺枪δ苄枨蠼S肟?BC平台官网,关注特征组合失效问题BC平台官网。

(2)在资源重用方面BC平台官网,从并发程序切片有效性研究,转向关注程序切片的容错BC平台官网BC平台官网、自动化测试和快速错误定位等BC平台官网;从构件库的描述BC平台官网、匹配、普通检索,转向利用高性能检索算法实施对构件库检索性能优化研究BC平台官网;软件复用由表示与查询BC平台官网、验证BC平台官网BC平台官网,转向特征融合研究BC平台官网、基于自然语言的可复用资源检索BC平台官网。

(3)在开发演化方面BC平台官网,软件开发框架向多租户个性框架BC平台官网BC平台官网、评价分析框架BC平台官网、中间件动态管理框架等更为细分的技术框架精化BC平台官网;软件动态演化从动态链接库技术BC平台官网、支持演化规则等演化BC平台官网,转向可重构系统演化修复、动态演化的Z描述语言扩展、自适应动态演化BC平台官网BC平台官网BC平台官网、网构软件服务动态演化BC平台官网、复杂知识动态演化等方向精化BC平台官网BC平台官网。重视开放环境特性感知技术BC平台官网、软件动态可信评测模型BC平台官网、检查点可信评估方法BC平台官网、平台配置远程证明机制BC平台官网、直接匿名证明方案等高可信软件的相关技术研究BC平台官网。重视软件体系结构BC平台官网BC平台官网、构件化软件BC平台官网BC平台官网、开放环境下软件的在线演化BC平台官网。

(4)在自动生成方面BC平台官网BC平台官网,重视编译器、软件配置BC平台官网BC平台官网BC平台官网、动态代码生成等软件生成技术BC平台官网,组合服务运行时自适应方法等组合技术BC平台官网、自适应技术研究BC平台官网,普适计算环境下上下文感知中间件等策略引擎研究,以及基于演绎数据库和推理方法的软件逻辑自动生成研究。随着软件可复用资源的日益激增BC平台官网BC平台官网,面向领域的软件基础资源不断细分和精化BC平台官网,逻辑表达、资源重用BC平台官网、开发演化、自动生成等环节的技术规则和标准不断完善,软件自动生成技术将降低软件开发的技术门槛BC平台官网,提升软件演化和生成的业务自适应水平BC平台官网,使软件自动生成技术成为领域软件开发的重要方式之一BC平台官网。

研究方向之二:领域知识本体与大数据

本体已经成为知识工程BC平台官网、自然语言处理BC平台官网、协同信息系统BC平台官网、智能信息集成BC平台官网、Internet智能信息获取、知识管理等各方面普遍研究的热点之一BC平台官网BC平台官网BC平台官网。领域知识本体与大数据方向始终面临着如何从海量数据中抽取领域知识BC平台官网BC平台官网、创建特定领域的知识本体的研究课题BC平台官网BC平台官网。研究用于表示各种本体的知识表示系统BC平台官网BC平台官网,提供形式化方法和工具BC平台官网,促进本体的共享和重用BC平台官网,提供不同本体的比较框架BC平台官网,研究不同本体的转换和集成方法BC平台官网,提供不同本体间互操作的手段BC平台官网BC平台官网,是领域知识本体表示BC平台官网BC平台官网、转换和集成的重要研究方向BC平台官网。近年来由于因特网的普及,信息技术的发展BC平台官网,网络信息数量以指数形式增长BC平台官网BC平台官网BC平台官网,基于关键词和简单主题分类的网上信息查询结果往往不尽人意BC平台官网,一时间各类信息查询方法和研究如雨后春笋般发展起来BC平台官网BC平台官网,其中用于知识表示和知识管理的本体论BC平台官网,被认为是最有前途的办法之一BC平台官网。大数据时代背景下BC平台官网,采用知识本体技术,结合语义分析BC平台官网、语义挖掘等手段,获取领域知识本体,将是未来富有挑战和应用潜力的研究领域BC平台官网。

研究方向之三:领域智能信息服务

软件工程支撑工具BC平台官网、平台与环境结合领域智能信息服务的研究,由注重终端应用与服务器大规模数据处理相结合的研究BC平台官网,向基于云计算服务支撑的智能信息服务、服务聚集BC平台官网、服务可视化BC平台官网、服务推荐的研究转变BC平台官网,并重视与智能信息处理BC平台官网BC平台官网、机器学习相关理论与技术结合BC平台官网BC平台官网。同时BC平台官网,领域智能信息服务在制造业BC平台官网BC平台官网、医学BC平台官网、气象BC平台官网BC平台官网、电子政务等不同领域,受产业政策和业务需求的影响BC平台官网,围绕不同的数据源和数据格式,结合业务渠道BC平台官网、业务流程的差异性BC平台官网,将在数据模型BC平台官网BC平台官网、服务产品加工方法及平台、服务推送方式等方面产生不同的算法需求和应用模式需求BC平台官网,并由此形成具有行业或领域特色的智能化信息服务,成为以应用导向的、面向海量数据的一种数据服务模式BC平台官网。在“两化”融合BC平台官网BC平台官网、创新驱动战略的引领下BC平台官网,软件工程支撑工具BC平台官网BC平台官网、平台与环境结合领域智能信息服务的研究面临着长期而潜力巨大的数据服务需求BC平台官网,尤其是在“互联网+”、“工业4.0”等国内外新兴工业化发展战略的影响下BC平台官网,相关产业必然需要通过领域智能信息服务改造传统产业BC平台官网、改变落后的生产方式,在大数据、物联网BC平台官网、云计算等相关新技术的驱动下,领域智能信息服务的市场广阔BC平台官网,技术集成BC平台官网、业务集成范围广,发展潜力巨大BC平台官网BC平台官网。



关闭窗口
设为BC平台官网   加入收藏
您是本站第 位访问者
Copyright@软件工程学院 2015
BC平台官网
<rt id="icyoy"></rt>
<acronym id="icyoy"><noscript id="icyoy"></noscript></acronym>
<acronym id="icyoy"><small id="icyoy"></small></acronym>
<acronym id="icyoy"></acronym><tr id="icyoy"></tr>
<sup id="icyoy"><center id="icyoy"></center></sup><acronym id="icyoy"></acronym>