位置：立项数据库 > 立项详情页
基于格值逻辑的α-锁归结与α-锁调解自动推理
  • 项目名称：基于格值逻辑的α-锁归结与α-锁调解自动推理
  • 项目类别：青年科学基金项目
  • 批准号：61305074
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：何星星
  • 依托单位：西南交通大学
  • 批准年度：2013
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 13
  • 0
  • 0
  • 0
  • 0
期刊论文
基于格值一阶逻辑LF(X)的多元α-归结原理的注记
基于证据推理的确定因子规则库推理方法
基于前景理论和证据理论的混合型多属性决策方法
基于证据理论的不确定性推理方法及其应用
剩余格上的L滤子
基于统一贴近度的模糊推理新方法
格值一阶逻辑LF（X）中α-广义语义归结方法的相容性
基于Biased-SVM的非平衡半监督分类算法
基于期望准则和分布自由的回购契约协调模型
区间值模糊同或算子
基于区间D-S证据理论的物流中心选址模型
分布自由时基于可控提前期的契约适应性研究
一种面向不平衡数据的半监督特征选择算法
何星星的项目