共查询到20条相似文献，搜索用时 187 毫秒
1.
具有面向对象特征和知识库系统 总被引：1，自引：0，他引：1
本文讨论了具有面向对象特征的知识库系统ＫＢＡＳＥ＾＋的数据模型，语言及实现。ＫＢＡＳＥ＾＋的数据模型可可以方便地支持对象标识，类层次，多继承等面和对象概念。描述性查询语言ＫＢＬ是ＤＡＴＡＬＯＧ针对于非一范式关系模型的扩充。本文重构了ＫＢＬ的语义理论框架，提出了通过计算相关的下确界来解决属性继承中的冲突问题，通过在ＫＢＬ程序中添加规则来实现实例继承的方案。本文说明了ＫＢＬ程序可以转换成语义等价的ＤＡ 相似文献
2.
当前的实用知识库系统研究是将知识库查询语言嵌入到一个过程语言中．ＫＢＡＳＥ－Ｐ是一个通用的知识库程序设计语言．ＫＢＡＳＥ－Ｐ以ＫＢＡＳＥ作为查询语言，以ＦＤ－ＰＲＯＬＯＧ（我们开发的一个ＰＲＯＬＯＧ扩充）为过程性的宿主语言执行１／Ｏ和ＤＢ更新操作（用扩充的内部谓词）．由于良好的设计和实现，查询语言与宿主语言之间的阻抗不匹配问题相对较小．因而，ＫＢＡＳＥ－Ｐ是一个比较实用的知识库程序设计语言．ＫＢＡＳＥ－Ｐ系统支持逻辑程序设计语言（ＫＢＡＳＥ－Ｐ语言）的程序开发，提供了文本编辑、文件管理、谓词管理、事实操作、Ｄａｔａｌｏｇ查询、ＳＱＬ查询等功能．本文详细介绍了ＫＢＡＳＥ－Ｐ系统的设计和实现． 相似文献
3.
当前的实用知识库系统研究是将知识库查询语言嵌入到一个过程语言中。ＫＢＡＳＥ－Ｐ是一个通用的知识库程序设计语言。ＫＢＡＳＥ－Ｐ以ＫＢＡＳＥ作为查询语言，以ＦＤ－ＰＲＯＬＯＧ（我们开发的一个ＰＲＯＬＯＧ扩充）为过程性的宿主语言执行Ｉ／Ｏ和ＤＢ更新操作（用扩充的内部谓词）。由于良好的设计和实现，查询语言与宿主语言之间的阻抗不匹配问题相对较小。因而，ＫＢＡＳＥ－Ｐ是一个比较实用的知识库程序设计语言。ＫＢＡ 相似文献
4.
任意形状容器装液不定常晃动的边界元模型冯振兴，李正秀（武汉大学）ＬＡＧＲＡＮＧＩＡＮＢＥＭＦＯＲＡＮＵＮＳＴＥＡＤＹＳＬＯＳＨＩＮＧＭＯＤＥＬＳＵＩＴＡＢＬＥＴＯＡＲＢＩＴＲＡＲＹＴＡＮＫＳ￥ＦｅｎｇＺｈｅｎ－ｘｉｎｇ；ＬｉＺｈｅｎ－ｘｉｕ（Ｗｕｈａ... 相似文献
5.
面向对象数据模型的形式化描述 总被引：1，自引：0，他引：1
面向对象数据模型的形式化描述尹七春，柳诚飞，邵志清（华东理工大学计算机科学系上海２００２３７）ＴＨＥＦＯＲＭＡＬＩＳＭＯＦＯＢＪＥＣＴ－ＯＲＩＥＮＴＥＤＤＡＴＡＭＯＤＥＬ￥ＹｉｎＱｉｃｈｕｎ；ＬｉｕＣｈｅｎｇｆｅｉａｎｄＳｈａｏＺｈｉｑｉｎｇ（Ｄｅｐ... 相似文献
6.
面向CIMS的工程数据库管理系统 总被引：3，自引：0，他引：3
本文叙述了一个面向ＣＩＭＳ的工程数据库管理系统，该系统引入了面向对象的概念和方法，以关系数据库管理系统ＯＲＡＣＬＥ为基础，并与图形软件ＧＫＳ集成，使它具有支持抽象数据类型，类层次和继承性，复杂对象管理。图形数据和非图形数据统一操作，版本管理和长事务处理等能力，文中着重叙述了面向对象的工程数据模型ＯＥＤＭ，系统的体系结构，功能模块和ＯＳＱＬ语言。 相似文献
7.
基于更新操作的含空值关系数据库中多种类信息的查询马宗民（中国科学院沈阳自动化研究所沈阳１１００１５）ＱＵＥＲＹＩＮＧＩＮＦＯＲＭＡＴＩＯＮＳＯＦＤＩＦＦＥＲＥＮＴＫＩＮＤＳＵＮＤＥＲＵＰＤＡＴＥＯＰＥＲＡＴＩＯＮＳＩＮＲＥＬＡＴＩＯＮＡＬＤＡＴＡＢＡ... 相似文献
8.
一类并行多步Ｒｕｎｇｅ－Ｋｕｔｔａ预校算法李寿佛，甘四清（湘潭大学数学系）ＡＣＬＡＳＳＯＦＰＡＲＡＬＬＥＬＭＵＬＴＩＳＴＥＰＲＵＮＧＥ－ＫＵＴＴＡＰＲＥＤＩＣＴＯＲ－ＣＯＲＲＥＣＴＯＲＡＬＧＯＲＩＴＨＭＳ￥ＬｉＳｈｏｕ－ｆｏ；ＧａｎＳｉ－ｑｉｎｇ（Ｄ... 相似文献
9.
Ruibin Qu 《计算机辅助绘图.设计与制造(英文版)》1995,(2)
ＦＲＡＭＥＷＯＲＫＯＦＡＤＩＳＴＲＩＢＵＴＥＤＥＮＧＩＮＥＥＲＩＮＧＤＢＭＳＷａｎｇＴａｏ；ＬｉｎＺｏｎｇｋａｉ；ＧｕｏＹｕｃｈａｉＳＭＯＯＴＨＳＵＲＦＡＣＥＩＮＴＥＲＰＯＬＡＴＩＯＮＯＶＥＲＡＲＢＩＴＲＡＲＹＴＲＩＡＮＧＵＬＡＴＩＯＮＳＢＹＳＵＢＤ... 相似文献
10.
两分块K－循环Toeplitz矩阵相乘的快速算法 总被引：5，自引：0，他引：5
余品能 《数值计算与计算机应用》1996,(3)
两分块Ｋ－循环Ｔｏｅｐｌｉｔｚ矩阵相乘的快速算法余品能（南京工程兵工程学院）ＡＦＡＳＴＡＬＧＯＲＩＴＨＭＦＯＲＣＯＭＰＵＴＩＮＧＴＨＥＰＲＯＤＵＣＴＳＯＦＢＬＯＣＫＫ－ＣＩＲＣＵＬＡＮＴＴＯＥＰＬＩＴＺＭＡＴＲＩＣＥＳ￥ＹｕＰｉｎｎｅｎｇ（Ｉｎｓｔｉ... 相似文献
11.
统计数据凑整问题的网络流算法金大勇，杨承恩（长沙铁道学院）ＮＥＴＷＯＲＫＡＬＧＯＲＩＴＨＭＳＦＯＲＴＨＥＤＡＴＡＲＯＵＮＤＩＮＧＰＲＯＢＬＥＭ￥ＪｉｎＤａ－ｙｏｎｇ；ＹａｎｇＣｈｅｎｇ－ｅｎ（ＣｈａｎｇｓｈａＲａｉｌｗａｙＩｎｓｔｉｔｕｔｅ）Ａｂｓｔ... 相似文献
12.
用任意一个基求可行基与基本可行解的算法 总被引：2，自引：0，他引：2
用任意一个基求可行基与基本可行解的算法陈开周，郭强（西安电子科技大学）ＡＮＡＬＧＯＲＩＴＨＭＯＦＦＩＮＤＩＮＧＡＦＥＡＳＩＢＬＥＢＡＳＩＳＡＮＤＡＢＡＳＩＣＦＥＡＳＩＢＬＥＳＯＬＵＴＩＯＮＷｆＴＨＡＮＹＢＡＳＩＳ￥ＣｈｅｎＫａｉｚｈｏｕ；ＧｕｏＱｉａ... 相似文献
13.
ＫＢＡＳＥ－Ｐ是一个知识库程序设计语言，它以ＫＢＡＳＥ作为查询语言，以ＦＤ－ＰＲＯＬＯＧ为过程性的宿主语言，二者具有要同的编程风范，都是Ｈｏｒｎ子句风范，并且系统对任何磁盘访问是以“每次一个集合”的方式进行，因此在ＫＢＡＳＥ－Ｐ中，查询语言与宿主语言之间的“阻抗不匹配”问题尽可能地减小了，ＫＢＡＳＥ－Ｐ以ＲＤＢＭＳ来管理事实（包括中间求值结果）和规则，因此能够有效地管理大容量的数据，并且数据是可菜 相似文献
14.
矩形板动力响应计算的迁移子结构法杜国君，陈继荣（东北重型机械学院，齐齐哈尔）ＴＨＥＴＲＡＮＳＦＥＲＳＵＢＳＴＲＵＣＴＵＲＥＭＥＴＨＯＤＡＢＯＵＴＤＹＮＡＭＩＣＲＥＳＰＯＮＳＥＣＡＬＣＵＬＡＴＩＯＮＯＦＲＥＣＴＡＮＧＵＬＡＲＰＬＡＴＥＳ￥ＤｕＧｕｏ－ｊ... 相似文献
15.
ＣＯＮＳＴＲＵＣＴＩＮＧＲＥＣＴＡＮＧＵＬＡＲＮＵＲＢＳＳＵＲＦＡＣＥＳＩＮＴＥＲＭＳＯＦＴＨＲＥＥＯＦＩＴＳＦＯＵＲＢＯＵＮＤＡＲＹＣＵＲＶＥＳＷａｎｇＬａｚｈｕ；ＺｈｕＸｉｎｘｉｏｎｇＣＯＮＳＴＲＵＣＴＩＮＧＲＥＣＴＡＮＧＵＬＡＲＮＵＲＢＳＳＵＲ... 相似文献
16.
Ruibin Qu 《计算机辅助绘图.设计与制造(英文版)》1995,(2)
ＴＨＥＡＰＰＬＩＣＡＴＩＯＮＯＦＧ￣１ＪＯＩＮＯＦＲＥＣＴＡＮＧＵＬＡＲＡＮＤＴＲＩＡＮＧＵＬＡＲＢＥＺＩＥＲＰＡＴＣＨＥＳＩＮＳＵＲＦＡＣＥＭＯＤＥＬＩＮＧＷａｎｇＴｉａｎｊｕｎ；ＴａｎｇＲｏｎｇｘｉＳＭＯＯＴＨＳＵＲＦＡＣＥＩＮＴＥＲＰＯＬＡＴＩ... 相似文献
17.
邓健新 《数值计算与计算机应用》1994,(1)
解大型稀疏线性代数方程组的预条件Ｋｒｙｌｏｖ子空间方法邓健新（中国科学院计算中心）ＰＲＥＣＯＮＤＩＴＩＯＮＩＮＧＫＲＹＬＯＶＳＵＢＳＰＡＣＥＭＥＴＨＯＤＳＦＯＲＬＡＲＧＥＳＰＡＲＳＥＬＩＮＥＡＲＡＬＧＥＢＲＡＩＣＳＹＳＴＥＭＳ￥ＤｅｎｇＪｉａｎ－ｘｉ... 相似文献
18.
多机相关任务的均衡调度算法 总被引：18，自引：2，他引：16
多机相关任务的均衡调度算法许日滨（青岛大学计算机科学系青岛２６６０７１）ＴＨＥＥＱＵＩＬＩＢＲＩＵＭＳＣＨＥＤＵＬＩＮＧＡＬＧＯＲＩＴＨＭＦＯＲＤＥＰＥＮＤＥＮＴＴＡＳＫＳＩＮＭＵＬＴＩＰＲＯＣＥＳＳＯＲＳ￥ＸｕＹｕｅｂｉｎ（ＤｅｐａｒｔｍｅａｔＣｍ... 相似文献
19.
Ruibin Qu 《计算机辅助绘图.设计与制造(英文版)》1995,(2)
ＳＨＡＰＥＰＲＥＳＥＲＶＩＮＧＩＮＴＥＲＰＯＬＡＴＩＯＮＵＳＩＮＧＰＩＥＣＥＷＩＳＥＣＵＢＩＣＦａｎｇＫｕｉ；ＴａｎＪｉａｎｒｏｎｇＳＭＯＯＴＨＳＵＲＦＡＣＥＩＮＴＥＲＰＯＬＡＴＩＯＮＯＶＥＲＡＲＢＩＴＲＡＲＹＴＲＩＡＮＧＵＬＡＴＩＯＮＳＢＹＳＵＢＤ... 相似文献
20.
运输问题的Ａｌｐｈａｂｅｔａ算法的分析刘诚，杨承恩（长沙铁道学院）ＡＮＡＮＡＬＹＳＩＳＯＦＴＨＥＡＬＰＨＡＢＥＴＡＡＬＧＯＲＩＴＨＭＦＯＲＴＨＥＴＲＡＮＳＰＯＲＴＡＴＩＯＮＰＲＯＢＬＥＭ￥ＬｉｕＣｈｅｎｇ；ＹａｎｇＣｈｅｎｇ－ｅｎ（ＲｅｓｅａｒｃｈＤ... 相似文献