非线性时变广义分布参数系统的适定性问题

本文的主要目的是讨论非线性时变广义分布参数系统的适定性问题.首先,在Banach空间中引入由连续(可能是非线性的)算子引导的非线性广义发展算子,该非线性广义发展算子是广义发展算子的推广,并研究非线性广义发展算子的性质;然后,应用非线性广义发展算子讨论非线性时变广义分布参数系统的适定性问题,并给出解的构造性表达式.

有界模型检测在服务组合中的应用研究

大规模服务自动组合问题是WebService技术的主要瓶颈。传统的服务组合技术灵活性差并且适用的服务规模有限。在用有限状态自动描述机服务的输入、输出、操作等活动的基础上,提出用有界模型检测技术对大规模服务进行建模,将用户请求翻译为线性时态逻辑公式,采用适定性问题求解技术快速求解限定长度的服务组合解。实验结果表明有界模型检测技术应用在自动服务组合中是可行的。

COMPTON散射电子密度重排的图像重建算法

建立了一个由Ｃｏｍｐｔｏｎ散射数据图像重建的电子密度重排算法，讨论了离散问题的适定性。并作了一些数值实验。

关于Schrdinger-Poisson系统的研究(英文)

研究了双极(非线性)Schrdinger-Poisson系统和拟线性Schrdinger-Poisson方程,得到了双极Schrdinger-Poisson系统的整体适定性及其修正散射理论,以及单位方体上的具有Dirichlet边值条件的拟线性Schrdinger-Poisson方程的初边值问题整体解的存在唯一性.

满足一般端点条件的二次和三次插值样条

本文在等距分划的情况下,得出了一般端点条件下二次和三次插值样条存在唯一的充要条件,并讨论了插值样条的适定性问题。