含不确定时态的定量时序逻辑及其检测问题研究

工具

查询更多基金项目 | 智能选刊推荐

该负责人其他项目

• 中国学校体育发展史研究（国社科，李永明，2023）
• 网络化开放创新范式下企业知识产权市场化保护与价值转化机制研究（国社科，李永明，2021）
• 融合用户智慧的图书馆知识服务模式研究（国社科，李永明，2020）
• 深度监督跨模态检索关键技术研究及应用（国自然，李永明，2020）
• 240Pu自发裂变中子角关联研究（国自然，李永明，2019）
• 我国知识产权领域失信主体惩戒制度研究（国社科，李永明，2019）
• 不确定非线性系统模糊自适应控制（国自然，李永明，2018）
• 天津近代体育发展史研究（国社科，李永明，2016）

陕西师范大学其他项目

• 斯宾诺莎感情学说及其当代美学意义研究（国社科，赵文，2025）
• 中国古代文学“拟《史记》”批评研究（国社科，刘彦青，2025）
• 中国古代少数民族对于大一统思想的理论贡献研究（国社科，武沐，2025）
• 多民族文化交融视域下西夏汉藏佛教版画研究（国社科，吴雪梅，2025）
• 城市职业女性生育动机的演变机制及生育支持政策研究（国社科，郝娟，2025）
• 石刻资料所见十六国北朝民族互动与交融研究（国社科，吴洪琳，2025）
• 构建心血管疾病社区运动防控体系实现路径与效果评估研究（国社科，蔡梦昕，2025）
• 西夏文文献中“夏译汉籍”翻译策略与影响研究（国社科，王凯，2025）