首页
|
本学科首页
官方微博
|
高级检索
文章检索
按
中文标题
英文标题
中文关键词
英文关键词
中文摘要
英文摘要
作者中文名
作者英文名
单位中文名
单位英文名
基金中文名
基金英文名
杂志中文名
杂志英文名
栏目英文名
栏目英文名
DOI
责任编辑
分类号
杂志ISSN号
检索
检索词:
出版年份:
从
到
被引次数:
从
到
他引次数:
从
到
提示:输入*表示无穷大
全文获取类型
收费全文
3篇
免费
0篇
国内免费
1篇
专业分类
综合类
1篇
自动化技术
3篇
出版年
1997年
1篇
1996年
1篇
1995年
1篇
1987年
1篇
排序方式:
出版年(降序)
出版年(升序)
被引次数(降序)
被引次数(升序)
更新时间(降序)
更新时间(升序)
杂志中文名(升序)
杂志中文名(降序)
杂志英文名(升序)
杂志英文名(降序)
作者中文名(升序)
作者中文名(降序)
作者英文名(升序)
作者英文名(降序)
相关性
共有4条查询结果,搜索用时 7 毫秒
1
1.
数据依赖的蕴涵问题
胡久稔
李星野
《小型微型计算机系统》
1995,16(12):38-43
本文介绍数据库理论中重要的多值依赖,连接依赖和生成元组依赖及其蕴涵问题,同时给出了比较全面和新的研究进展。
相似文献
2.
标记辩论推理系统
王克文
胡久稔
《软件学报》
1997,8(11):838-851
Lin提出的辩论推理系统为非单调推理形式提供了一种统一的基础,其推理机制由所谓的论点结构实现.由Lin的系统导出的非单调推理并不具有累加性,而该性质是衡量一个非单调推理关系的重要标志之一.利用Brewka的方法,本文提出标记辩论推理的概念,并且证明缺省逻辑CDL可以嵌入本系统,从而也间接地给出了标记辩论系统具有累加性的一种充分条件.为了彻底地恢复累加性,本文提出了强封闭论点结构的概念,且由标记辩论系统的强封闭论点结构定义的非单调推理具有累加性.
相似文献
3.
诱导推理的一种计算模型
胡久稔
王克文
《小型微型计算机系统》
1996,17(11):46-50
基于辩论推理模式,本文提出了诱导推理的一种计算模型,其特点简洁,直观,并且包含了多种现有的诱导框架,该诱导模型为常识推的计算机实现提供了一种新的途径。
相似文献
4.
F—随机变量的一些性质及独立的F—随机变量序列
张顺祖
胡久稔
《沈阳建筑工程学院学报(自然科学版)》
1987,(1)
本文给出了F——随机变量的一些重要性质,并证明了在有限的模糊状态下,独立的F——随机变量序列的存在定理。
相似文献
1
设为首页
|
免责声明
|
关于勤云
|
加入收藏
Copyright
©
北京勤云科技发展有限公司
京ICP备09084417号