中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共6条，第1-6条

帮助

条数/页：排序方式：
	DSlT：面向传感网信息融合的证据推理方法期刊论文 OAI收割计算机研究与发展, 2015, 卷号: 52.0, 期号: 004, 页码: 972 作者: 陈浩; 王睿; 孙荣丽; 肖克江; 崔莉 \| 收藏 \| 浏览/下载：1/0 \| 提交时间：2023/12/04 基于逻辑表达的证据推理方法无线传感器网络信息融合证据理论高冲突轻量级运算
	公平性约束下基于抽象和推理的活性验证学位论文 OAI收割博士, 北京: 中国科学院研究生院, 2013 龙腾 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2013/05/31 形式化方法推理证明公平性抽象化活性终止性
	二型模糊系统及其控制方法研究学位论文 OAI收割工学博士, 中国科学院自动化研究所: 中国科学院研究生院, 2010 作者: 李成栋收藏 \| 浏览/下载：107/0 \| 提交时间：2015/09/02 二型模糊系统神经网络单输入规则模块遗传算法先验知识词计算感知推理方法 type-2 fuzzy logic system neural network single input rule module genetic algorithm prior knowledge computing with words perceptual reasoning
	开发等式比较SQL查询语句的一种模型推理方法期刊论文 OAI收割计算机工程与应用, 2007, 卷号: 43, 期号: 22, 页码: 99-102,164 杨波; 薛锦云 \| 收藏 \| 浏览/下载：16/0 \| 提交时间：2011/07/01 等式比较 SQL查询语句模型推理一阶谓词逻辑开发过程查询语句逻辑表达式一阶谓词直觉推理有章可循推理方法固定形式对应关系类典型应用描述
	面向用户意图的智能人机交互学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 2000 关志伟收藏 \| 浏览/下载：103/0 \| 提交时间：2011/03/17 智能人机界面用户界面模型用户模型资源模型软件框架用户意图推理模糊认知映射智能用户界面评估方法
	基于重写技术的自动定理证明期刊论文 OAI收割计算机科学, 1992, 期号: 2, 页码: 79-80,24 张健 \| 收藏 \| 浏览/下载：15/0 \| 提交时间：2010/08/11 一阶逻辑自动定理证明技术推理规则重写规则完备化过程项重写系统基本思想证明方法不等式