位置:成果数据库 > 期刊 > 期刊详情页
迁移系统关于一类时态逻辑公式的满足度
  • ISSN号:1672-4291
  • 期刊名称:陕西师范大学学报(自然科学版)
  • 时间:2013.7.10
  • 页码:1-10
  • 分类:O159[理学—数学;理学—基础数学] O189.1[理学—数学;理学—基础数学]
  • 作者机构:[1]陕西师范大学数学与信息科学学院,陕西西安710119, [2]宝鸡文理学院数学系,陕西宝鸡721013
  • 相关基金:国家自然科学基金(11171200,11271237,61228350,6100546);陕西省教育厅专项科研计划(14JK1050);宝鸡文理学院院级重点项目(ZK14059)
  • 相关项目:谓词逻辑与模型检验中的计量化理论
中文摘要:

证明论域x上的全体模糊集之集上的两种度量是等价的。讨论这种度量空间中孤立点的分布情况,并将这些结论推广到格值模糊集之集上。从模糊推理系统鲁棒性分析的角度,比较几种不同的蕴涵算子生成的度量或者拓扑。

英文摘要:

The equivalence of two metrics on the family of fuzzy subsets of the universe X is veri- fied. The distributions of isolated points of the above metric spaces are discussed, and these in- vestigations were extended to the set that consist of lattice-valued fuzzy subsets. Different metrics or topologies which generated by different implication operators are compared from the view point of robustness analysis of fuzzy reasoning system.

同期刊论文项目
期刊论文 53 会议论文 16 著作 1
同项目期刊论文
期刊信息
  • 《陕西师范大学学报:自然科学版》
  • 北大核心期刊(2011版)
  • 主管单位:中华人民共和国教育部
  • 主办单位:陕西师范大学
  • 主编:屈世显
  • 地址:陕西省西安市长安区西长安街620号
  • 邮编:710119
  • 邮箱:cqj759@163.com
  • 电话:029-81530879
  • 国际标准刊号:ISSN:1672-4291
  • 国内统一刊号:ISSN:61-1071/N
  • 邮发代号:52-109
  • 获奖情况:
  • 获得奖励20多次,其中部委级3次、厅局级20次、国...,受到教育部(国家教委)、新闻出版总署、教育部科...,多次被评为全国高校和陕西省优秀科技期刊、陕西省...
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国化学文摘(网络版),美国数学评论(网络版),德国数学文摘,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2008版),中国北大核心期刊(2011版),中国北大核心期刊(2014版),中国北大核心期刊(2000版)
  • 被引量:8230