林海

作品数：6被引量：31H指数：3
导出分析报告
供职机构：吉林大学计算机科学与技术学院更多>>
发文主题：知识编译SAT加权模糊推理区间预测神经网络更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《吉林大学学报（信息科学版）》《广西师范大学学报（自然科学版）》《软件学报》《计算机科学》更多>>
所获基金：国家自然科学基金吉林省自然科学基金国家教育部博士点基金教育部高等学校骨干教师资助计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
可能性扩展规则的推理和知识编译被引量：7
《软件学报》2010年第11期2826-2837,共12页殷明浩 孙吉贵 林海 吴瑕 
国家自然科学基金Nos.60573067;60803102~~
在扩展规则的基础上提出了可能性扩展规则.给出了基于可能性扩展规则的可能性逻辑推理方法,利用互补因子的概念来估价推理问题的复杂度.扩展了经典逻辑的蕴含可控制类和可满足可控制类的定义,提出了可能性蕴含可控制类、不一致性程度计...
关键词：扩展规则 可能性逻辑 知识编译 EPPCCCL(each PAIR of possibilistic CLAUSES CONTAINS COMPLEMENTARY literals)理论 
一种基于扩展规则的#SAT求解系统被引量：17
《软件学报》2009年第7期1714-1725,共12页殷明浩 林海 孙吉贵 
国家自然科学基金Nos.60573067,60773097;国家高等学校博士学科点专项科研基金No.20050183065;东北师范大学青年基金No.20070601~~
#SAT问题是SAT问题的扩展,需要计算出给定命题公式集合的模型个数.通过将问题求解沿着归结的反方向进行,并利用容斥原理解决由此带来的空间复杂性问题,提出了一种基于扩展规则的模型计数和加权模型计数问题求解框架,可以看作是目前所有...
关键词：扩展规则 模型计数 知识编译 加权模型计数 
利用元件替换测试求诊断被引量：2
《软件学报》2005年第9期1599-1605,共7页李占山 王涛 孙吉贵 林海 冯果忱 
国家自然科学基金;吉林省自然科学基金~~
主要填补了对系统参量不可观测或观测成本高的诊断测试研究这一空白,提出了替换测试作为诊断测试一种新的可选择方法.在提出相关替换测试概念的基础上,利用元件替换对系统观测值的影响刻画了诊断的判定、新冲突的生成.在此基础上,提出...
关键词：基于模型的诊断 测试 替换测试 问诊断题的替换分解 
因果知识的表示和推理被引量：2
《计算机科学》2004年第5期123-126,共4页林海 孙吉贵 
国家自然科学基金(60073039;60273080);吉林省科技发展计划(20020306)
本文介绍了因果推理的两个主要应用:预测行为的间接结果,找出给定事实的真正原因,指出了用逻辑描述的因果关系在解决这两个问题中存在的不足。本文也简单地介绍了J.Pearl提出的因果推理方法,该方法的基本思想是把因果推理看成是一种“...
关键词：因果知识 因果推理 “计算模式” 逻辑 认知科学 
一种模型不完备条件下的诊断方法
《广西师范大学学报（自然科学版）》2003年第A01期79-82,共4页林海 孙吉贵 
国家自然科学基金资助项目(60073039);吉林省自然科学基金资助项目(2000540)
基于模型的诊断研究的主要问题是:在已知模型的前提下,对于产生非常行为的系统通过逻辑推理的方法找到那些能解释这种非正常行为的故障部件.但对于模型不完备的系统诊断问题的讨论很少,本文首次提出了借助其他系统进行辅助诊断的思想,...
关键词：基于模型的诊断 不完备模型 诊断方法 
预测及其主要模型的实现系统被引量：8
《吉林大学学报（信息科学版）》2002年第4期58-63,共6页林海 孙吉贵 
国家自然科学基金资助项目 ( 6 70 0 730 39) ;教育部高等学校骨干教师资助计划项目 (GG-2 0 0 0 -0 982 ) ;吉林省自然科学基金资助项目 ( 2 0 0 0 5 40 )
针对已有预测模型并不完善的问题 ,在总结现有的预测模型 (线性回归模型、时间序列分析、线性随机模型、神经网络模型等 )基础上 ,采用实验分析的方法提出一种新的加权模糊推理的预测模型及基于马尔科夫性的区间预测方法 ,给出了实现系...
关键词：预测模型 加权模糊推理 区间预测 神经网络 马尔科夫性 预测系统 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部