欢迎您!
东篱公司
退出
申报数据库
申报指南
立项数据库
成果数据库
期刊论文
会议论文
著 作
专 利
项目获奖数据库
位置:
立项数据库
> 立项详情页
模糊转换系统的量化等价验证及模型检测研究
项目名称:模糊转换系统的量化等价验证及模型检测研究
项目类别:面上项目
批准号:61672023
项目来源:国家自然科学基金
研究期限:1900-01-01-1900-01-01
项目负责人:潘海玉
依托单位:泰州学院
批准年度:2016
成果综合统计
成果类型
数量
期刊论文
会议论文
专利
获奖
著作
2
0
0
0
0
期刊论文
量化转换系统的格值语言包含关系
量化交替转换系统的模拟关系
潘海玉的项目