一元模糊谓词逻辑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年
学科分类:微分方程数值解
关键词:复合材料壳体;热-力双向耦合问题;高阶多尺度模型;多尺度算法;收敛性理论