“可信软件基础研究”重大研究计划综述

国家自然科学基金委员会启动实施了“可信软件基础研究”重大研究计划。本文从该重大研究计划的立项背景和意义,可信软件的研究现状,该重大研究计划的科学目标与核心科学问题,以及预期成果等方面进行了介绍。     

热算子乘积方程Cauchy问题基本解

本文对高阶方程其中a_1>a_2>…>a_>0.用两种不同方法计算出Cauchy问题基本解.其中,第一种方法可以推广判Δ为光滑系数严格椭圆型算子情形.     

信息领域优秀青年科学基金项目申请受理与资助情况分析

本文对2012年信息领域申请受理与获得资助的优秀青年科学基金项目从其一级申请代码领域分布、交叉研究领域分布以及申请人已经取得的研究成果等多个方面进行了调研分析,获得了该类项目申请受理与资助的总体情况,希望能为信息领域的科研人员、科研管理人员以及相关政策制定者提供参考.     

拓宽合作渠道 促进信息科学的发展

本文概述了国家自然科学基金委员会在信息科学领域发展对外实质性合作方面的成果与展望，其中包括：近年来信息科学重大国际合作项目的发展情况；计算机科学技术领域“龙星计划”执行情况；中关互联网的合作交流情况以及中欧科技合作发展的渠道与计划。     

关于高维混合问题唯一性的离散现象

在本文中讨论了高维重特征方程的混合问题唯一性的离散现象,即对于问题(A)得到它的光滑解的唯一性有离散现象,其离散值为P=n 4K 2,K=0,1,2,…,n∈N,n≥1.