期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
KEDE——一个集成化的知识工程开发环境
1
作者
马殿富
钱士湘
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
1992年第3期82-90,共9页
KEDE是一个知识工程开发环境,它将框架、语义网路、生产式规则、逻辑及面向对象等知识表示有机地结合在一起,具有多种推理机制和程序设计风格,提供友好的用户界面,从而构成一个功能强、使用方便的集成化知识工程开发环境,用于开发各种...
KEDE是一个知识工程开发环境,它将框架、语义网路、生产式规则、逻辑及面向对象等知识表示有机地结合在一起,具有多种推理机制和程序设计风格,提供友好的用户界面,从而构成一个功能强、使用方便的集成化知识工程开发环境,用于开发各种复杂知识的大型专家系统。本文概述了KEDE系统的总体框架,并讨论了集成化的知识表示方法和实现策略。
展开更多
关键词
人工智能
专家系统
知识表示
下载PDF
职称材料
硅编译语言SCL
2
作者
钱士湘
李末
郑子坚
《计算机学报》
EI
CSCD
北大核心
1991年第4期255-266,共12页
本文描述了一个新的硅编译语言——SCL.它是用于VLSICAD的高层次程序设计语言,包含所有类Pascal特征以适应Mead-Conway的结构化设计方法;并且提供一组功能很强的组合算子以进行拓扑设计,同时包含模块机制以设计大规模芯片.为提高设计效...
本文描述了一个新的硅编译语言——SCL.它是用于VLSICAD的高层次程序设计语言,包含所有类Pascal特征以适应Mead-Conway的结构化设计方法;并且提供一组功能很强的组合算子以进行拓扑设计,同时包含模块机制以设计大规模芯片.为提高设计效率,还引入了增量式编译系统.使用SCL,我们可以在高层次设计大规模芯片,而无需考虑很多繁杂的坐标计算问题.
展开更多
关键词
硅编译语言
SCL语言
VLSI
CAD
下载PDF
职称材料
题名
KEDE——一个集成化的知识工程开发环境
1
作者
马殿富
钱士湘
机构
北京航空航天大学计算机科学与工程系
出处
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
1992年第3期82-90,共9页
文摘
KEDE是一个知识工程开发环境,它将框架、语义网路、生产式规则、逻辑及面向对象等知识表示有机地结合在一起,具有多种推理机制和程序设计风格,提供友好的用户界面,从而构成一个功能强、使用方便的集成化知识工程开发环境,用于开发各种复杂知识的大型专家系统。本文概述了KEDE系统的总体框架,并讨论了集成化的知识表示方法和实现策略。
关键词
人工智能
专家系统
知识表示
Keywords
artificial intelligence,expert system,knowledge representation.
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
硅编译语言SCL
2
作者
钱士湘
李末
郑子坚
机构
北京航空航天大学计算机系
出处
《计算机学报》
EI
CSCD
北大核心
1991年第4期255-266,共12页
文摘
本文描述了一个新的硅编译语言——SCL.它是用于VLSICAD的高层次程序设计语言,包含所有类Pascal特征以适应Mead-Conway的结构化设计方法;并且提供一组功能很强的组合算子以进行拓扑设计,同时包含模块机制以设计大规模芯片.为提高设计效率,还引入了增量式编译系统.使用SCL,我们可以在高层次设计大规模芯片,而无需考虑很多繁杂的坐标计算问题.
关键词
硅编译语言
SCL语言
VLSI
CAD
Keywords
VLSI, CAD, silicon compiler, language.
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
KEDE——一个集成化的知识工程开发环境
马殿富
钱士湘
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
1992
0
下载PDF
职称材料
2
硅编译语言SCL
钱士湘
李末
郑子坚
《计算机学报》
EI
CSCD
北大核心
1991
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部