一元模糊谓词逻辑mMTL∀的等价代数语义研究
项目批准号：
12001423
负责人：
王军涛
省份：
陕西省
资助金额：
24万元
批准年份：
2020年
学科分类：
关键词：模糊逻辑；逻辑代数；MTL-代数；一元模糊谓词逻辑；一元MTL-代数
基于模糊粒化思想的三支概念格构建理论与知识获取研究
项目批准号：
12001422
负责人：
贺晓丽
省份：
陕西省
资助金额：
24万元
批准年份：
2020年
学科分类：
关键词：形式概念分析；模糊集；三支决策；模糊推理；粒计算
几类随机图的谱性质及其相关问题的研究
项目批准号：
12001421
负责人：
胡丹
省份：
陕西省
资助金额：
24万元
批准年份：
2020年
学科分类：
关键词：随机图；随机矩阵；谱；经验谱分布；谱半径
线性保持方法在量子信息研究中的应用
项目批准号：
12001420
负责人：
王美丽
省份：
陕西省
资助金额：
24万元
批准年份：
2020年
学科分类：
关键词：算子代数；von Neumann 代数；算子空间；算子代数分类；正映射可导映射
完全非线性椭圆方程齐次化的一致正则性估计
项目批准号：
12001419
负责人：
董荣
省份：
陕西省
资助金额：
24万元
批准年份：
2020年
学科分类：
关键词：完全非线性椭圆方程；齐次化；一致正则性估计
G-广义正则半群的好同余理论
项目批准号：
12001418
负责人：
宫春梅
省份：
陕西省
资助金额：
24万元
批准年份：
2020年
学科分类：
关键词：半群理论；广义正则半群；r-宽大半群；同余理论；格林关系
肺癌中基因突变作用机制的数学建模研究
项目批准号：
12001417
负责人：
李玲玲
省份：
陕西省
资助金额：
24万元
批准年份：
2020年
学科分类：
关键词：计算系统生物学；癌症建模
多函数之和优化问题的迭代算法及其应用研究
项目批准号：
12001416
负责人：
文萌
省份：
陕西省
资助金额：
24万元
批准年份：
2020年
学科分类：
关键词：图像去噪；图像处理反问题；迭代算法；稀疏优化；多函数之和
退化粘性系数等熵可压缩Navier-Stokes方程组解的存在性和唯一性
项目批准号：
12001415
负责人：
宋文静
省份：
陕西省
资助金额：
24万元
批准年份：
2020年
学科分类：
关键词：流体力学方程；可压缩Navier-Stokes方程；正则性；柯西问题；唯一性
复合材料壳体瞬态热-力双向耦合问题的高效多尺度方法研究
项目批准号：
12001414
负责人：
董灏
省份：
陕西省
资助金额：
24万元
批准年份：
2020年
学科分类：
关键词：复合材料壳体；热-力双向耦合问题；高阶多尺度模型；多尺度算法；收敛性理论
去登录