陕西三所高校获高等学校科学研究优秀成果奖
02.03.2016 03:35
本文来源: 教育厅
风电装备变转速监测诊断技术及应用。 风电装备状态监测与故障诊断是维护其可靠运行的重要保障。该项目通过7年的深入系统研究,构建了“整机监测预警—传动系统诊断—叶片损伤识别”三位一体的基础理论与核心技术,提出了变转速自适应与稀疏诊断的新思路,发明了系列监测诊断技术,保障了风电装备安全可靠运行。获授权发明专利10项,在ASME、Renewable Energy等期刊发表SCI论文34篇,其中1篇入选ESI高被引论文,他引111次;在机械工程学报发表风电诊断文章1篇,他引117次,入选我国领跑者5000顶尖学术论文;教育部鉴定意见为:总体国际先进、“旋转设备变转速监测诊断方法处于国际领先水平”。研制的故障诊断系统,已在我国多多个风场的风电装备上安装使用,解决了风电装备诊断的难题,推动了我国故障诊断学科发展,提升了在国际上的影响力。 国家税务大数据计算与服务关键技术及其应用。 该项目针对电子税务数据失真、各省税务数据因“孤岛”而难以共享、偷逃骗税行为发现困难、税务大数据缺乏分析利用等难题,结合国家金税三期工程需求,采取“规范制定-技术攻关-平台研制-产业化应用”的总体思路,历经9年深入研究,研制出国家税务大数据分析平台,广泛应用于国家税务大数据计算与服务领域。获授权发明专利14项,获软件著作权82项,登记软件产品60项,并在IEEE Trans. FS、JSS等期刊会议发表论文11篇。教育部组织鉴定认为,该项目紧密结合国家电子税务大数据计算与服务需求,创新性强,应用前景广阔,电子税务数据真实性检测与验证方法、基于“纳税人利益关联网络”的偷逃骗税识别与跟踪技术达到国际先进水平。 【西安电子科技大学】 由计算机学院段振华教授,田聪教授,堵宏伟,张南等4人为主要完成人的“程序验证的基础理论研究”项目获2015年度高等学校科学研究优秀成果奖(科学技术)自然科学奖一等奖。该项目针对计算机程序验证在“性质描述语言表达能力不足”“系统模型难以提取”“状态空间爆炸”等三个方面亟待解决的问题,提出了一套基于时序逻辑的程序验证理论:用命题投影时序逻辑(PPTL)描述系统的性质,用建模、仿真和验证语言MSVL描述系统的模型,使得系统模型和性质的描述在同一逻辑体系,用高效的抽象模型检测方法缩减状态空间,从三个方面解决三个问题。建立了投影时序逻辑PTL的模型理论, PTL和PPTL的公理系统;解决了PPTL和基于区间的命题时序逻辑PITL的长期悬而未决的判定问题;提出了多核并发程序形式化模型,即柱面计算模型;解决了时序逻辑面向实际程序设计中的框架难题;采取新的途径提出了多项式抽象模型精化算法,避免了图灵奖获得者Clarke等人提出的精化方法中的指数爆炸问题;有效缩减网络软件系统模型检测中的状态空间,提高了验证效率;研制了建模、仿真和验证工具集MSV等。目前,在理论研究的基础上研制的软件工具MSV已成功应用于中国航天科技集团五〇二研究所承担的航天器控制系统软件验证中,为国家重大工程的成功实施做出了重要贡献,取得了显著的经济和社会效益。 【西北工业大学】该校共有两个项目获得2015年度国家科学技术奖励。 其中,宋保维教授领衔的“自主水下航行器关键技术及应用”项目获得国家技术发明奖二等奖,张卫红教授领衔的“机械结构系统的整体式构型设计理论与方法研究”获得国家自然科学奖二等奖。 宋保维团队经过十多年的潜心研究,攻克了远程自主水下航行器的总体设计、精确控制、动力推进、导航定位等方面多项关键技术。项目发明了总体多目标优化及流体动力布局方法,发明了变模态变参数鲁棒运动控制方法及操纵舵机,发明了双轴对转异型电机总体优化设计方法,发明了运动参数辅助与多源信息融合的导航方法。项目来源自一支特色鲜明的团队——西北工业大学水下航行器研究所。其前身是中国工程院院士徐德民教授牵头组建的一支仅有6人的团队。经过十几年的发展,现有教师20多名,博士、硕士100多人,已经成为集教学、科研、人才培养等为一体的高科技研究所,完成重要科研任务近40余项,为国民经济和国防建设作出了重大贡献。 张卫红团队的“机械结构系统的整体式构型设计理论与方法研究”项目,自2000年起,在国家杰出青年科学基金、长江学者奖励计划和973课题等支持下,取得了突破性进展。项目创立了复杂结构系统的高性能整体式构型设计理论模型,揭示了高性能整体式构型设计的多因素匹配机理,阐明了设计相关性载荷工况与构型设计的动态耦合机制,建立了破解性能突变机制、抑制病态构型和关联构型尺寸效应的设计方法。该项目发表了高水平论文120多篇,其中20多篇主要论文发表在该领域的国际顶级和权威期刊,得到了美、英、德等33个国家的350多位学者的高度评价,他引544次、SCI他引247次。项目开拓出“组件结构整体式拓扑优化”的学科发展新方向,并获得发明专利20多项及陕西省科技一等奖等。项目解决了一箭多星、新型战机翼面结构等国家重点型号设计中的难题,有力推动我国机械工程学科的发展,显著提升了学科的国际地位。 (责任编辑:胡玥)
本文来源: 教育厅
02.03.2016 03:35
陕西科研团队国际首创技术变“呆矿”为“金矿”
铝土矿是生产氧化铝和铝的最主要原材料,被列为我国战略性紧缺矿产资源。解决低品质高硫铝土矿中硫的脱出问题并实现高硫铝土矿的经济高效利用是长期以来困扰我国氧化铝工业高质量发展的难题。11月1日,记者从西安建筑科技大学获悉:该校陈延信教授团队经过10余年的探索实践,攻克了氧化铝工业这一难题,在低品质铝土矿焙烧提质理论与技术上取得重大突破。项目成果应用一年新增产值22.陕西新闻
西安光机所有效载荷首次参与空间站科学实验
2022年10月31日,陕西新闻
2022年陕西省成人高考将于11月5日开考
2022年陕西省成人高校招生考试将于11月5日陕西新闻
仰韶考古首次发现笄形骨器 或与早期纺织手工业有关
中新社西安11月1日电 (记者 阿琳娜)记者1陕西新闻