|
序号 |
项目名称 |
完成人 |
来源 |
|
1 |
序、拓扑及形式语义的数学基础 |
王国俊(主要完成人) |
10331010.国家自然科学基金 |
|
2 |
格上拓扑学与非经典数理逻辑 |
王国俊(主要完成人) |
19831040.国家自然科学基金 |
|
3 |
Domain理论与计算机科学 |
赵 彬(主持人) |
19701020.国家自然科学基金 |
|
4 |
反应扩散方程的长时间行为及其在 |
吴建华(主持人) |
19701021.国家自然科学基金 |
|
5 |
算子补问题 |
杜鸿科(主持人) |
19771056.国家自然科学基金 |
|
6 |
拓扑的逻辑构造及其应用 |
李永明(主持人) |
19901028.国家自然科学基金 |
|
7 |
反应扩散方程的共存态及其应用 |
吴建华(主持人) |
10071048.国家自然科学基金 |
|
8 |
算子代数的解析构造 |
吉国兴(主持人) |
10071047.国家自然科学基金 |
|
9 |
L－拓扑空间的紧化及Locale 分离对 |
李生刚(主持人) |
10271069.国家自然科学基金 |
|
10 |
Quantale理论及其应用 |
李永明(主持人) |
10226023.国家自然科学基金 |
|
11 |
Quantale理论中若干问题的研究 |
赵 彬(主持人) |
10471083.国家自然科学基金 |
|
12 |
格上拓扑学及其在不确定特性的形式化 |
李永明(主持人) |
10571112.国家自然科学基金 |
|
13 |
基于量子信息论的算子论与算子代数研究 |
曹怀信(主持人) |
10571113.国家自然科学基金 |
|
14 |
非交换Lp-空间及其在解析算子代数中 |
吉国兴(主持人) |
10571114.国家自然科学基金 |
|
15 |
非均匀恒化器模型的研究 |
吴建华(主持人) |
10571115.国家自然科学基金 |
|
16 |
三类变分不等式的神经网络模型研究 |
高兴宝(主持人) |
60671063.国家自然科学基金 |
|
17 |
知识推理的计量化与随机化研究 |
王国俊(主持人) |
10771129.国家自然科学基金 |
|
18 |
Quantale相关结构的代数性质研究 |
赵 彬(主持人) |
10871121.国家自然科学基金 |
|
19 |
混合生物动力系统的研究及其应用 |
唐三一(主持人) |
10871122.国家自然科学基金 |
|
20 |
谱自仿测度及其相关问题的研究 |
李建林(主持人) |
10871123.国家自然科学基金 |
|
21 |
量子计算和量子信息中的算子论和 |
杜鸿科(主持人) |
10871124.国家自然科学基金 |
|
22 |
两类具有扩散的恒化器模型解的性质分析及数值模拟 |
吴建华(主持人) |
10971124.国家自然科学基金 |
|
23 |
von Neumann代数上的非交换Hp理论研究 |
吉国兴(主持人) |
10971123.国家自然科学基金 |
|
24 |
带有模糊性的离散事件系统的数学模型 |
李永明(主持人) |
2002CB312200.973子课题 |
|
25 |
非均匀恒化器模型动力学行为的参数分析 |
聂华(主持人) |
10726042.国家自然科学基金 |
|
26 |
基于量子力学的算子论研究 |
曹小红(主持人) |
10726043.国家自然科学基金 |
|
27 |
非线性算子方程的变号解及其应用 |
韩国栋(主持人) |
10826081.国家自然科学基金 |
学院近年来主持的国家级项目