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

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

用一种新滤波函数作CT图像局部重建

详细阐述了用一种新型滤波函数进行CT图像局部重建的原理，并给出了这种重建的二次误差估计．然后在计算机上对模拟和实测数据进行了局部重建实验，结果表明该算法简便快速，重建图像Gibbs效应减小并具有较高的空间及密度分辨率．     

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

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

一类EPD算子乘积与抛物算子乘积Cauchy问题解的结构关系

1.引言 J.Hadamard首先研究了双曲方程与抛物方程基本解之间的关系,[3]建立了非抛物型方程Hadamard基本解的展开式系数升维洁构,并利用这种升维结构改进了[1]的结果;[5]解决了一类空间维数任意的双曲方程基本解、Cauchy问题解的极限问题。以     

CFB顶部固体浓度的小波降噪ECT测量

应用电容层析成像(ECT)方法对循环流化床(CFB)顶部的固体浓度分布进行了测量;应用小波分析进行信号降噪和图像重建的改善.研究发现小波分析有双重作用:(1)降低ECT重建图像中的噪声;(2)对粗像素划分造成的图像粗燥边界产生平滑作用.数据显示了循环流化床顶部的固体浓度分布,尤其是角部和出口处的较高固体浓度.     

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

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