期刊导航
期刊开放获取
vip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
4
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
GCLISP对其他高级语言的调用方法
被引量：
1
1
作者
王成志
何德芳
《微计算机应用》
1990年第6期38-41,共4页
目前的GCLISP版本,对用其他高级语言编写的程序交互能力差,这对需要进行复杂计算或想直接调用其他高级语言编写的“标准程序”的用户造成了一定的困难。本文介绍了作者在使用GCLISP调用其他高级语言的一点体会,提出了用高级批处理的方...
目前的GCLISP版本,对用其他高级语言编写的程序交互能力差,这对需要进行复杂计算或想直接调用其他高级语言编写的“标准程序”的用户造成了一定的困难。本文介绍了作者在使用GCLISP调用其他高级语言的一点体会,提出了用高级批处理的方法来解决这种联接调用。这对使用GCLISP的用户可能会有一定的启发。
展开更多
关键词
gclisp
语言
高级语言
语言调用
全文增补中
缸套活塞环设计专家系统的知识获取和知识库建设（Ⅱ）─—dBASEⅢ支撑数据库及其同GCLISP语言的数据接口技术
2
作者
缪毅
尹力
《重庆交通学院学报》
1996年第4期113-118,共6页
建造机械设计专家系统支撑数据库应着重解决好两个问题：对大量数据的维护和利用．本文采用ｄＢＡＳＥⅢ建造机械设计专家系统的支撑数据库管理系统，并通过ＦＯＲＴＲＴＡＮ程序设计语言实现ｄＢＡＳＥⅢ支撑数据库同ＩＢＭ－ＰＣ计算...
建造机械设计专家系统支撑数据库应着重解决好两个问题：对大量数据的维护和利用．本文采用ｄＢＡＳＥⅢ建造机械设计专家系统的支撑数据库管理系统，并通过ＦＯＲＴＲＴＡＮ程序设计语言实现ｄＢＡＳＥⅢ支撑数据库同ＩＢＭ－ＰＣ计算机人工智能程序设计语言ＧＣＬＩＳＰ的数据接口，较好地解决了这两个问题．
展开更多
关键词
活塞环
设计
专家系统
汽车发动机
气缸套
在线阅读
下载PDF
职称材料
构造通用简约验证测试集U(p,ω)矩阵的一般公式与程序实现
被引量：
1
3
作者
张端仪
吴翰声
《计算机学报》
EI
CSCD
北大核心
1993年第7期497-508,共12页
本文旨在解决伪穷举测试技术中的一个问题。文中通过递归方法产生一个描述二进制多维空间全部矢量的生成关系图。在研究该图性质的基础上,推导出构造最优通用简约验证测试集U(p,ω)矩阵的一般公式。最后,给出一个GCLISP的应用程序。
关键词
验证测试
伪穷举测试
恒权矢量
测试图生成
内在自测试
递归方法
gclisp
在线阅读
下载PDF
职称材料
模拟Boyer-Moore定理证明器
4
作者
马素霞
郑人杰
《软件学报》
EI
CSCD
北大核心
1990年第1期39-46,共8页
SBMTP(Simulate Boyer-Moore Theorem Prover)系统是在IBM-PC-386微机上用GCLISP语言实现的一个定理证明系统。该系统采用的思想方法和理论基础是Boyer-Moore的计算逻辑理论. SBMTP主要由三部分组成:知识库管理部分、定理证明部分及中...
SBMTP(Simulate Boyer-Moore Theorem Prover)系统是在IBM-PC-386微机上用GCLISP语言实现的一个定理证明系统。该系统采用的思想方法和理论基础是Boyer-Moore的计算逻辑理论. SBMTP主要由三部分组成:知识库管理部分、定理证明部分及中断恢复部分。 知识库管理部分包括一个基本知识库和一系列知识库构造工具。用户可根据具体问题 灵活地组织自己所需要的知识库,定理证明部分采用启发式方法逐步推演,完成证明。中断恢复部分在证明产生中断的情况下提供了较强的恢复能力,提高了证明效率。
展开更多
关键词
定理证明系统
SBMTP
gclisp
语言
在线阅读
下载PDF
职称材料
题名
GCLISP对其他高级语言的调用方法
被引量：
1
1
作者
王成志
何德芳
机构
东北工学院
出处
《微计算机应用》
1990年第6期38-41,共4页
文摘
目前的GCLISP版本,对用其他高级语言编写的程序交互能力差,这对需要进行复杂计算或想直接调用其他高级语言编写的“标准程序”的用户造成了一定的困难。本文介绍了作者在使用GCLISP调用其他高级语言的一点体会,提出了用高级批处理的方法来解决这种联接调用。这对使用GCLISP的用户可能会有一定的启发。
关键词
gclisp
语言
高级语言
语言调用
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
全文增补中
题名
缸套活塞环设计专家系统的知识获取和知识库建设（Ⅱ）─—dBASEⅢ支撑数据库及其同GCLISP语言的数据接口技术
2
作者
缪毅
尹力
机构
重庆交通学院汽车测试研究中心
出处
《重庆交通学院学报》
1996年第4期113-118,共6页
文摘
建造机械设计专家系统支撑数据库应着重解决好两个问题：对大量数据的维护和利用．本文采用ｄＢＡＳＥⅢ建造机械设计专家系统的支撑数据库管理系统，并通过ＦＯＲＴＲＴＡＮ程序设计语言实现ｄＢＡＳＥⅢ支撑数据库同ＩＢＭ－ＰＣ计算机人工智能程序设计语言ＧＣＬＩＳＰ的数据接口，较好地解决了这两个问题．
关键词
活塞环
设计
专家系统
汽车发动机
气缸套
Keywords
s:support data-base
dBASE Ⅲ
gclisp
FORTRAN
interface technique
分类号
U464.13 [机械工程—车辆工程]
在线阅读
下载PDF
职称材料
题名
构造通用简约验证测试集U(p,ω)矩阵的一般公式与程序实现
被引量：
1
3
作者
张端仪
吴翰声
机构
镇江船舶学院
出处
《计算机学报》
EI
CSCD
北大核心
1993年第7期497-508,共12页
文摘
本文旨在解决伪穷举测试技术中的一个问题。文中通过递归方法产生一个描述二进制多维空间全部矢量的生成关系图。在研究该图性质的基础上,推导出构造最优通用简约验证测试集U(p,ω)矩阵的一般公式。最后,给出一个GCLISP的应用程序。
关键词
验证测试
伪穷举测试
恒权矢量
测试图生成
内在自测试
递归方法
gclisp
Keywords
Verification test,pseudoexhaustive test,constant weight vectors,test pattern generation,built-in self-test.
分类号
TN707 [电子电信—电路与系统]
TP18 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
模拟Boyer-Moore定理证明器
4
作者
马素霞
郑人杰
机构
清华大学
出处
《软件学报》
EI
CSCD
北大核心
1990年第1期39-46,共8页
文摘
SBMTP(Simulate Boyer-Moore Theorem Prover)系统是在IBM-PC-386微机上用GCLISP语言实现的一个定理证明系统。该系统采用的思想方法和理论基础是Boyer-Moore的计算逻辑理论. SBMTP主要由三部分组成:知识库管理部分、定理证明部分及中断恢复部分。 知识库管理部分包括一个基本知识库和一系列知识库构造工具。用户可根据具体问题 灵活地组织自己所需要的知识库,定理证明部分采用启发式方法逐步推演,完成证明。中断恢复部分在证明产生中断的情况下提供了较强的恢复能力,提高了证明效率。
关键词
定理证明系统
SBMTP
gclisp
语言
分类号
TP31 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
GCLISP对其他高级语言的调用方法
王成志
何德芳
《微计算机应用》
1990
1
全文增补中
2
缸套活塞环设计专家系统的知识获取和知识库建设（Ⅱ）─—dBASEⅢ支撑数据库及其同GCLISP语言的数据接口技术
缪毅
尹力
《重庆交通学院学报》
1996
0
在线阅读
下载PDF
职称材料
3
构造通用简约验证测试集U(p,ω)矩阵的一般公式与程序实现
张端仪
吴翰声
《计算机学报》
EI
CSCD
北大核心
1993
1
在线阅读
下载PDF
职称材料
4
模拟Boyer-Moore定理证明器
马素霞
郑人杰
《软件学报》
EI
CSCD
北大核心
1990
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
