|
| 国家级自然科学基金项目 |
序、拓扑及形式语义的数学基础 |
王国俊(主要完成人) |
10331010.国家自然科学基金重点项目 |
格上拓扑学与非经典数理逻辑 |
王国俊(主要完成人) |
19831040.国家自然科学基金重点项目 |
Domain理论与计算机科学 |
赵 彬（主持人） |
19701020.国家自然科学基金 |
反应扩散方程的长时间行为及其在天体物理学中的应用 |
吴建华（主持人） |
19701021. 国家自然科学基金 |
算子补问题 |
杜鸿科（主持人） |
19771056. 国家自然科学基金 |
拓扑的逻辑构造及其应用 |
李永明（主持人） |
19901028.国家自然科学基金 |
反应扩散方程的共存态及其应用 |
吴建华（主持人） |
10071048.国家自然科学基金 |
算子代数的解析构造 |
吉国兴（主持人） |
10071047.国家自然科学基金 |
L－拓扑空间的紧化及Locale 分离对 |
李生刚（主持人） |
10271069.国家自然科学基金 |
Quantale理论及其应用 |
李永明（主持人） |
10226023.国家自然科学基金 |
Quantale理论中若干问题的研究 |
赵 彬（主持人） |
10471083.国家自然科学基金 |
格上拓扑学及其在不确定特性的形式化研究中的应用 |
李永明（主持人） |
10571112.国家自然科学基金 |
基于量子信息论的算子论与算子代数研究 |
曹怀信（主持人） |
10571113.国家自然科学基金 |
非交换Lp-空间及其在解析算子代数中的应用 |
吉国兴（主持人） |
10571114.国家自然科学基金 |
非均匀恒化器模型的研究 |
吴建华（主持人） |
10571115.国家自然科学基金 |
三类变分不等式的神经网络模型研究 |
高兴宝（主持人） |
60671063.国家自然科学基金 |
知识推理的计量化与随机化研究 |
王国俊（主持人） |
10771129.国家自然科学基金 |
带有模糊性的离散事件系统的数学模型 |
李永明（主持人） |
2002CB312200.973子课题 |
非均匀恒化器模型动力学行为的参数分析 |
聂华（主持人） |
10726042.国家自然科学基金天元基金 |
基于量子力学的算子论研究 |
曹小红（主持人） |
10726043.国家自然科学基金天元基金 |
|
|