西电新闻网讯（通讯员 赵伟）近年来，西安电子科技大学的基础研究工作坚持“突出特色，提升水平，拓展学科，鼓励交叉”的发展思路，通过改革科研管理机制，加强基础研究的投入力度，完善基金培育体系，营造基础研究氛围和加强校内评审环节等措施，在国家自然科学基金工作方面取得了较大的进步。

学校的国家自然科学基金项目资助数和资助经费，分别从2005年的35项和819.2万元，增长至2010年的90项和2752万元。到2014年，分别达到144项和10003.3万元。2014年度的国家自然科学基金项目立项经费更是达到11993.3万元。特别需要指出的是，2014年度，西安电子科技大学获基金委资助7项重点类项目，为历年最多。

7项重点类项目既有集中受理期资助的重点项目、重点国际(地区)合作研究项目，还包含非集中受理期资助的联合基金重点支持项目和重大研究计划重点支持项目。

重点类项目是国家自然科学基金项目的重要组成部分。重点类项目每年依据指南确定的研究领域或研究方向，引导广大科研工作者申请。

附：西电获批的7个重点类项目简介：

1．项目名称：临近空间高超声速飞行器等离子体鞘套与电磁波相互作用机理及电磁散射理论建模研究

负 责 人：郭立新

资助类别：重点项目

资助金额：360万元

项目摘要：临近空间高超声速飞行器表面等离子体鞘套对飞行器的通讯联络和探测产生不可忽略的影响，是飞行器空间通信和雷达探测亟待解决的关键课题之一。本项目面向临近空间高速飞行器等离子鞘套下的导航定位、信息传输以及目标探测等重大需求，探索并揭示临近空间高超声速飞行器等离子体鞘套的电磁特性、等离子体鞘套与电磁波相互作用机理以及等离子体鞘套与飞行器组合体的电磁散射机理。针对电磁波传播中等离子体鞘套的时变、边界效应以及非线性效应等关键科学问题，开展理论及实验测量研究，获得临近空间高超声速飞行器等离子体鞘套中的电磁波传播模型，通过搭建等离子体鞘套电磁波传播的地面实验测量系统对理论结果进行实验验证，并建立临近空间等离子体鞘套包覆典型高超声速飞行器的电磁散射模型，仿真分析动态等离子体鞘套影响下的目标散射回波谱特征，为深入研究临近空间等离子体鞘套包覆高超声速飞行器的通信、探测、跟踪与拦截技术提供理论基础。

2．项目名称：面向多元空间融合的视觉计算与图像质量评价

负 责 人：高新波

资助类别：重点项目

资助金额：350万元

项目摘要：图像质量评价是指通过构建视觉计算模型模拟人类观察和评判图像质量以获得与主观感受相吻合的客观评价结果，目前已广泛应用于卫星遥感、视频监控和消费电子等领域。本项目旨在通过融合物理空间、信息空间和认知空间，对人类感知-认知机制进行建模，利用稀疏编码和自由能量理论，构建最优图像质量评价的视觉计算模型，设计针对视觉信息保真度、可懂度和美观度的评价准则，提出相应的图像质量评价方法。主要研究内容包括：面向保真度的图像质量评价，研究图像特征深度构架和最优稀疏特征提取、图像质量标记数据的快速可靠获取和感知质量预测；面向可懂度的图像质量评价，研究物理空间和成像路径的失真建模，混合失真的模型分析与盲分离；面向美观度的图像质量评价，研究美学共性特征和个性化认知的建模与质量评价。本项目基于视觉计算和感知模型，结合深度学习和阴阳机等先进机器学习方法，构建多元空间融合的图像质量评价新框架，从而丰富与完善视觉计算理论。

3．项目名称：基于语义的恶意程序主动防御与检测机理研究

负 责 人：段振华

资助类别：重点国际(地区)合作研究项目

资助金额：280万元

项目摘要：本项目研究基于语义的恶意程序主动防御与检测机理。首先，定义恶意程序主动防御和检测的可判定子集和具有有效算法的可判定子集（简称有效可判定子集）。然后，在有效可判定子集的基础上，通过恶意程序主动防御和检测两种途径提高软件的安全性。最后，在理论研究的基础上，开发支撑工具集。在恶意程序主动防御方面，拟通过提高程序自身质量和增加主动防御策略两种方案来防御恶意软件的侵入。拟分别通过基于CEGAR的抽象模型检测和基于交互式投影时序逻辑的模型检测来实现。在恶意代码主动检测方面，拟使用建模仿真和验证语言MSVL为待验证的程序建模，用MSVL的性质描述语言命题投影时序逻辑PPTL公式描述恶意代码的性质，然后使用基于MSVL的统一模型检测方法验证程序是否含有恶意代码。

4．项目名称：面向异构物联网的安全融合理论及关键技术研究

负 责 人：马建峰

资助类别： 联合基金重点支持项目

资助金额： 245万元

项目摘要：本项目针对物联网环境下异构多域网络并存、多源异构数据海量、多样化服务并发等核心问题，以提高物联网网络、数据及服务的安全和效率为目标，围绕网络互联、数据存储和服务协同三个方面，构建安全高效的物联网信息安全体系。在异构网络安全互联方面，以通用可组合理论及博弈论模型为基础，研究形式化的安全协议设计方法，设计分层分布式的多域网络密钥管理模型，进而构建自适应可扩展的异构多域物联网安全互联体系。在数据存储安全方面，以同态认证技术为基础，研究高效的数据完整性验证技术,加密数据搜索技术以及高动态性的基于属性的数据访问控制技术。在服务协同安全方面，基于信任模型对服务的安全属性进行形式化描述和评估，并提出基于信任度的服务安全组合方法。通过本项目的研究，为异构物联网建设提供协同式、综合化的安全保障。

5．项目名称：移动互联网服务及隐私保护的理论与关键技术研究

负 责 人：李 晖

资助类别： 联合基金重点支持项目

资助金额： 240万元

项目摘要：泛在异构的移动通信网将物联网、云计算和移动终端紧密连接在一起，公共安全、智能交通、智慧家庭与移动社交、环境监测、位置服务、移动支付、广域立体监控等移动互联网新服务模型和业务不断涌现，移动互联网服务呈现“云端”、“管道”、“终端”融合发展的趋势，传统互联网服务中信息传播和管控方式不再适应于移动互联网。为满足移动互联网新的服务需求，本项目研究移动互联网服务和隐私保护的基础理论和关键技术，建立以数据为中心的移动互联网服务网络架构与协议体系。在此基础上研究兼顾隐私保护、传播安全和传播效率的数据命名描述和获取方法，研究细粒度数据安全传播控制与管理机制、统一的实名认证机制和面向服务、粒度可控的智能隐私保护机制。本项目对移动互联网服务中的数据所有者权益保护、数据传播安全可控、用户隐私保护、提升移动互联网服务质量，从而促进移动互联网服务模式的进一步丰富有重要的现实意义。

6．项目名称：稀疏认知下的遥感影像在轨变化检测与目标提取

负 责 人：焦李成

资助类别： 重大研究计划重点支持项目

资助金额： 380万元

项目摘要：从海量、动态、高维、异构的复杂空间数据中快速准确地提取目标信息，是当前信息科学领域的难题之一。本课题针对星载高分辨率、宽覆盖的多传感器产生的海量数据无法及时下传的瓶颈，借鉴生物视觉的稀疏认知机理，挖掘目标的稀疏性与变化有限等先验，借助稀疏编码、显著注意，在线学习、分布式协同等技术手段，探索遥感影像在轨稀疏表征与处理的新理论与新方法。期望通过稀疏序列表征、计算与理解等内容的研究，突破高分辨遥感卫星在轨几何定标与配准、在轨时空影像匹配与融合、在轨多时相影像变化检测等关键技术，实现遥感卫星海量数据的在轨智能化与高效处理，建立遥感影像变化检测与目标提取结果的质量评价体系，为有效支撑高分辨率对地观测等国家重大专项的发展奠定理论基础。

7．项目名称：C/Verilog程序的MSVL验证理论与方法

负 责 人：段振华

资助类别： 重大研究计划重点支持项目

资助金额： 160万元

项目摘要：软件已成为国防建设和国计民生的基础设施，如何构造安全可靠的软件系统是目前计算机软件领域面临的重大挑战。本项目拟通过C/Verilog程序的MSVL模型检测理论与方法，提高使用C/Verilog语言开发的网络和嵌入式软件系统的可靠性和安全性。首先，研究C/Verilog程序到MSVL程序的转换规则和转换的语义等价性。然后，以得到的MSVL程序作为模型，研究MSVL的统一限界和抽象模型检测理论与方法。进而，在上述研究的基础上，开发C/Verilog程序的MSVL自动模型检测平台，包括C/Verilog到MSVL程序转换器，以及MSVL的统一限界和抽象模型检测器。最后，以航天器控制系统软件的验证为应用示范，展示本项目所建立的理论与方法在国家重大工程中的应用。