-
题名专家系统中决定式的推理方式
- 1
-
-
作者
王云宜
-
机构
中国矿冶学院计算机科学系
-
出处
《中南矿冶学院学报》
CSCD
1990年第3期307-312,共6页
-
基金
国家自然科学基金
-
文摘
在以规则为基础表示知识的专家系统中,推理机制通常都是采用“向前推理”,“向后推理”或者“混合推理”。这些推理方式随着规则数目的增多,推理过程的匹配运算呈“组合膨胀”之势,以致极大地影响推理速率和专家系统的实用性。本文提出的一种称之为“决定式推理方式”的推理方法,圆满地解决了传统推理方式上存在的组合膨胀问题。
-
关键词
专家系统
决定式
推理
人工智能
-
Keywords
artificial intelligence
combination
expansions/deterministic reasoning
knowledge base
-
分类号
TP392
[自动化与计算机技术—计算机应用技术]
-
-
题名一种新创的、可运行的硬件描述语言—RAHDL
- 2
-
-
作者
谭汉松
-
机构
中国矿冶学院计算机科学系
-
出处
《中南矿冶学院学报》
CSCD
1992年第2期220-224,共5页
-
文摘
本文叙述了计算机硬件描述语言的用途与现状,介绍了一种新创的、能在微机上运行的硬件描述语言——RAHDL的特点与功能,并对其几类主要语句作了举例说明.最后简述了RAHDL系统的框图结构及各模块的作用.
-
关键词
硬件
描述语言
CRT
计算机
-
Keywords
hardware
describing languag
CRT
-
分类号
TP302
[自动化与计算机技术—计算机系统结构]
-
-
题名二维短沟道SOI-MOSFET器件的背栅效应
- 3
-
-
作者
周婷俐
-
机构
中国矿冶学院计算机科学系
-
出处
《中南矿冶学院学报》
CSCD
1992年第6期744-747,共4页
-
文摘
文内提出了一种正确的直流稳态二维短沟道SOI-MOSFET器件的数值模型。所选用的基本方程是:泊松方程、两种载流子的电流连续性方程和电流密度方程。这个模型从SOI器件的特殊结构出发,着重考虑了复合-产出率对器件内部参数的影响,分析了SOI-MOSFET器件的背栅效应以及I-V特性的扭曲(Kink)效应产生的机理。
-
关键词
背栅效应
扭曲
产出率
SOI器件
-
Keywords
back-gate effect
Kink effect
recombination-generation rate
-
分类号
TP21
[自动化与计算机技术—检测技术与自动化装置]
-
-
题名微机冶金热力学数据库的建立及应用
- 4
-
-
作者
王龙章
黄克雄
叶大陆
陈新民
姚渝
-
机构
中国矿冶学院化学系
中国矿冶学院计算机科学系
-
出处
《中南矿冶学院学报》
CSCD
1990年第3期324-329,共6页
-
文摘
作者用数据库管理系统dBASE-Ⅲ与高级计算语言FORTRAN及BASIC相结合的方法,在IBM PC/XT微机上,建立了冶全热力学数据库(MMTDB)。该数据库可以方便地进行数据检索。修改。删除和增加等操作及数据库的自动维护。它具有计算体系的热力学性质、自动绘制多金属共存体系的M-X-Y及M_1-M_2-X-Y优势区相图等功能。MMTDB既能以人机对话方式直接使用,也可以由应用程序调用。
-
关键词
微机
冶金
热力学
数据库
-
Keywords
metallurgy
data libraries
thermodynamics/predominance area diagram
-
分类号
TP392
[自动化与计算机技术—计算机应用技术]
-
-
题名ORACLE运行环镜与工具集成研究
- 5
-
-
作者
陈志刚
-
机构
中国矿冶学院计算机科学系
-
出处
《中南矿冶学院学报》
CSCD
1992年第6期739-743,共5页
-
文摘
ORACLE作为数据库管理系统的代表正在全世界范围内风行。本文对其核心RDBMS,交互工具SQLPLUS,及其第四代语言的代表SQLFORMS,SQLREPORT等运行环境作了研究,探索了一条克服ORACLE的集成工具SQLMENU的缺点,用高级语言实现工具集成的途径。
-
关键词
ORACLE
运行环境
工具
数据库
-
Keywords
ORACLE
the executing environment
the intergrating of its tools
-
分类号
TP391.392
[自动化与计算机技术—计算机应用技术]
-