重写技术及其在计算机科学中的应用

1

作者 陈火旺 王怀民 《计算机科学》 CSCD 北大核心 1990年第4期59-69,共11页

项重写系统是一种描述不确定计算的计算模型。近十年来,重写技术在计算机科学的许多重要领域得到广泛应用,表现出作为知识信息处理系统的良好性质,引起了人们对重写技术的重视,本文介绍重写技术的主要内容,着重强调了完全过程的思想。... 项重写系统是一种描述不确定计算的计算模型。近十年来,重写技术在计算机科学的许多重要领域得到广泛应用,表现出作为知识信息处理系统的良好性质,引起了人们对重写技术的重视,本文介绍重写技术的主要内容,着重强调了完全过程的思想。同时说明了目前重写技术几个活跃的研究课题。本文还介绍了重写技术在自动定理证明、逻辑程序设计和软件开发中的应用。 展开更多

关键词 重写技术 计算机

在线阅读 下载PDF 职称材料

计算机网中的图象传输技术探讨

2

作者 段劲松 《计算机工程与应用》 CSCD 北大核心 1991年第4期48-52,共5页

本文分析了图象传输的特点,讨论了在各种类型网络中传输图象的关键技术。并针对以太网提出了传输方案,简介了点——点实时通信程序及其实验结果。

关键词 计算机网络 图象传输

在线阅读 下载PDF 职称材料

分布式系统管理的内容及其实现 被引量：4

3

作者 钱方 邹鹏 《计算机工程与应用》 CSCD 北大核心 1996年第6期35-38,共4页

本文介绍系统管理的划分方法，描述分布式系统管理的类型、内容及其基本策略，并介绍分布式系统管理的模型和实现技术，以及两个管理范例：开放软件基金会（ＯＳＦ）的分布式管理环境（ＤＭＥ），和简单网络协议（ＳＮＭＰ）。

关键词 系统管理 分布式系统管理 分布式计算机

在线阅读 下载PDF 职称材料

缺言推理系统GKD-DIS 被引量：3

4

作者 杨莉 胡守仁 《软件学报》 EI CSCD 北大核心 1991年第3期20-25,共6页

如何使知识库具有自动推理和维护的功能,已成为知识库能够达到有效和实用所面临的一个关键问题。本文首先提出了一种基于缺言推理的知识库自动推理和维护的方法,然后介绍了根据此方法,我们在VAX-11/780上使用GKD-Prolog作为工具实现的... 如何使知识库具有自动推理和维护的功能,已成为知识库能够达到有效和实用所面临的一个关键问题。本文首先提出了一种基于缺言推理的知识库自动推理和维护的方法,然后介绍了根据此方法,我们在VAX-11/780上使用GKD-Prolog作为工具实现的一个知识库推理和维护系统。 展开更多

关键词 缺言推理系统 知识库 GKD-DIS

在线阅读 下载PDF 职称材料

环路流水线数字系统的最大速率 被引量：1

5

作者 陈书明 陈福接 《电子学报》 EI CAS CSCD 北大核心 1994年第2期61-69,共9页

如何计算流水线系统的最大速率，这是文献［１～３］的著名结论。本文在建立一般模型的基础上，分析说明了在环路流水线中由于相移关系要受到约束，速率上限事实上要比先前的结论悲观，本文就边沿触发器和门闩为站寄存器的不同情况，证... 如何计算流水线系统的最大速率，这是文献［１～３］的著名结论。本文在建立一般模型的基础上，分析说明了在环路流水线中由于相移关系要受到约束，速率上限事实上要比先前的结论悲观，本文就边沿触发器和门闩为站寄存器的不同情况，证明了环路流水时最小周期的确定，等价于对一线性规划问题的求解。通过运行程序ＰＩＰＥ—ＬＰ，本文给出了若干系统的求解。 展开更多

关键词 环路流水线 时钟周期 数字系统

在线阅读 下载PDF 职称材料

基于Ethernet接口和DSSS系统的无线局域网的分析与设计

6

作者 刘利民 尚朝轩 窦文华 《计算机工程与应用》 CSCD 北大核心 1997年第7期22-24,共3页

本文从ＤＳＳＳ传输系统的特点入手，论述了无线局域网的体系结构和网络划分方法，通过对Ｅｔｈｅｒｎｅｔ适配器的分析。

关键词 计算机网络 ETHERNET 适配器 无线局域网

在线阅读 下载PDF 职称材料

基于 NOWs 的并行多重网格计算

7

作者 莫则尧 宋君强 李晓梅 《高技术通讯》 EI CAS CSCD 1998年第1期24-27,共4页

分析了工作站网络环境（ＮＯＷｓ）下并行多重网格计算中阻碍并行效率发挥的关键因素，分析了Ｓｃｈｗａｒｚ并行对并行效率和数值效率的影响，总结了将其应用到求解ＳＰＤ椭圆方程、间断问题、ｓｔｏｋｅｓ方程、高Ｒｅｙｎｏｌｄｓ不... 分析了工作站网络环境（ＮＯＷｓ）下并行多重网格计算中阻碍并行效率发挥的关键因素，分析了Ｓｃｈｗａｒｚ并行对并行效率和数值效率的影响，总结了将其应用到求解ＳＰＤ椭圆方程、间断问题、ｓｔｏｋｅｓ方程、高Ｒｅｙｎｏｌｄｓ不可压Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程和三维跨声速Ｅｕｌｅｒ方程中所取得的重要结论。 展开更多

关键词 工作站网络环境(NOWs) 并行多重网格计算 效率

在线阅读 下载PDF 职称材料

一个基于内容的图象信息检索系统CBIRS 被引量：2

8

作者 牛胜芬 陈健 +1 位作者 沈清 王志英 《计算机工程与应用》 CSCD 北大核心 1997年第8期32-36,共5页

本文介绍了一个基于内容的图象信息检索系统（Ｃｏｎｔｅｎｔ－ＢａｓｅｄＩｍ－ａｇｅＲｅｔｒｉｅｖａｌＳｙｓｔｅｍ，ＣＢＩＲＳ），首先提出了一个ＣＢＩＲＳ的系统结构，然后对其重要的组成部分进行了较详细的讨论。

关键词 多媒体数据库 图象信息检索 CBIRS 多媒体

在线阅读 下载PDF 职称材料

军用决策支持系统VIGOR

9

作者 贾丽丽 昌月楼 《计算机应用研究》 CSCD 1999年第1期73-76,共4页

本文介绍了军用决策支持系统ＶＩＧＯＲ的设计与实现，并讨论了它对军用辅助决策功能的支持。

关键词 决策支持系统 军事 VIGOR GIS

全文增补中

智能Agent技术在因特网上的应用 被引量：31

10

作者 徐丽 韩晓刚 王怀民 《计算机工程与科学》 CSCD 1999年第1期47-50,共4页

本文分析了因特网应用所面临的问题，讨论了智能Ａｇｅｎｔ的技术特性，论述了如何把智能Ａｇｅｎｔ技术应用到因特网中，用以解决其存在的问题。最后，提出了实现这一目标所要研究的内容和拟解决的技术难点。

关键词 网络管理 INTERNET网 智能主体 人工智能

在线阅读 下载PDF 职称材料

YHVRP 中的复杂行为建模 被引量：3

11

作者 王勇军 李思昆 胡守仁 《国防科技大学学报》 EI CAS CSCD 1998年第6期17-22,共6页

提出了一种基于复杂行为的语言模型对虚拟环境尤其是实体行为进行建模，该模型提供较强的定义行为关系及其时间约束的能力。利用自行研制的分布式虚拟环境软件开发平台ＹＨＶＲＰ的建模语言ＹＨＶＭＬ实现了该模型，同时ＹＨＶＭＬ语言... 提出了一种基于复杂行为的语言模型对虚拟环境尤其是实体行为进行建模，该模型提供较强的定义行为关系及其时间约束的能力。利用自行研制的分布式虚拟环境软件开发平台ＹＨＶＲＰ的建模语言ＹＨＶＭＬ实现了该模型，同时ＹＨＶＭＬ语言的运行环境实现了面向复杂行为的虚拟环境计算模型，并利用ＬＩＦ策略对实体行为进行动态调度，以保障面向复杂行为的虚拟环境应用的实时交互性和真实感。 展开更多

关键词 虚拟环境 行为建模 复杂行为 真实感 YHVRP 建模

在线阅读 下载PDF 职称材料

面向对象数据库中的事务标识分配策略 被引量：2

12

作者 王意洁 王勇军 +1 位作者 王志英 胡守仁 《计算机工程》 CAS CSCD 北大核心 1999年第2期39-41,共3页

在深入分析嵌套事务模型下事务处理对事务标识的需求的基础上，提出了一系列实用有效的分配策略，其中，混合策略实际应用于自行研制的面向对象数据库系统KDOODB中。

关键词 面向对象 数据库 事务标识 嵌套事务 分配策略

在线阅读 下载PDF 职称材料

嵌套事务模型下的恢复策略 被引量：2

13

作者 王意洁 王勇军 +1 位作者 王志英 胡守仁 《计算机工程》 CAS CSCD 北大核心 1999年第2期42-44,共3页

针对嵌套事务模型的特点，以先写日志协议为基础，提出了一种灵活、可扩展的恢复策略WAL＿P，它能有效地处理各种故障。

关键词 面向对象 数据库 嵌套事务模型 恢复策略

在线阅读 下载PDF 职称材料

并行调试环境中的追踪和重演 被引量：3

14

作者 张钦伍 张柳 《国防科技大学学报》 EI CAS CSCD 1998年第6期33-36,共4页

通过传递消息进行通信的并行程序，由于受进程调度和消息等待时间变化的影响，其执行结果可能是不确定的。这导致调试时相继执行不能再现先前的故障，为此，在并行调试环境中引入了追踪和重演机制。本文详细讨论了一种比较先进的追踪和... 通过传递消息进行通信的并行程序，由于受进程调度和消息等待时间变化的影响，其执行结果可能是不确定的。这导致调试时相继执行不能再现先前的故障，为此，在并行调试环境中引入了追踪和重演机制。本文详细讨论了一种比较先进的追踪和重演算法及其工程实现。 展开更多

关键词 并行调试 追踪 重演 并行程序 消息传递

在线阅读 下载PDF 职称材料

对象作为智能主体 被引量：3

15

作者 王怀民 陈火旺 《电子学报》 EI CAS CSCD 北大核心 1995年第11期105-108,共4页

在知识表示领域如何理解面向对象的程序设计（ＯＯＰ）仍是一个需要深入探讨的问题，本文基于知识表示假设提出“对象作为智能主体”的思想，其中智能主体是封装知识的表示结构与处理方法的统一载体。在此基础上，文章结合我们开发的一... 在知识表示领域如何理解面向对象的程序设计（ＯＯＰ）仍是一个需要深入探讨的问题，本文基于知识表示假设提出“对象作为智能主体”的思想，其中智能主体是封装知识的表示结构与处理方法的统一载体。在此基础上，文章结合我们开发的一种面向智能主体的程序设计（ＡＯＰ）语言ＲＯＯＴ和三个聪明人问题，讨论了人工智能（ＡＩ）软件开发的ＡＯＰ方法。 展开更多

关键词 知识表示 面向对象 智能主体 人工智能

在线阅读 下载PDF 职称材料

容错磁盘阵列的性能模型 被引量：2

16

作者 方粮 陈福接 《计算机研究与发展》 EI CSCD 北大核心 1994年第3期39-46,共8页

本文以排队论为工具，建立了容错磁盘阵列（ＲＡＩＤ）的Ｍ／Ｇ／１排队模型，并在此基础上分析了ＲＡＩＤ的平均响应时间、稳定数据传输率等重要性能指标；比较了同步和异步ＲＡＩＤ的性能差异；最后提出了以吞吐率作为衡量ＲＡＩＤ性... 本文以排队论为工具，建立了容错磁盘阵列（ＲＡＩＤ）的Ｍ／Ｇ／１排队模型，并在此基础上分析了ＲＡＩＤ的平均响应时间、稳定数据传输率等重要性能指标；比较了同步和异步ＲＡＩＤ的性能差异；最后提出了以吞吐率作为衡量ＲＡＩＤ性能的综合指标，并给出了确定最大吞吐率的定理。 展开更多

关键词 容错磁盘阵列 性能分析 排队模型

在线阅读 下载PDF 职称材料

支持复杂行为的单用户虚拟环境

17

作者 王勇军 王意洁 +1 位作者 胡守仁 李思昆 《计算机工程》 CAS CSCD 北大核心 1999年第2期14-16,共3页

通过对行为的真实感的深入分析，提出了一个基于行为的动态负载分配算法来提高具有复杂行为的单用户虚拟环境的可伸缩性。该算法具体实现于分布式虚拟环境软件开发平台YHVRP中。测试结果表明，该算法能有效地调节系统负载，在提高用户... 通过对行为的真实感的深入分析，提出了一个基于行为的动态负载分配算法来提高具有复杂行为的单用户虚拟环境的可伸缩性。该算法具体实现于分布式虚拟环境软件开发平台YHVRP中。测试结果表明，该算法能有效地调节系统负载，在提高用户实时交互能力的前提下，尽量保持了行为的真实感。 展开更多

关键词 单用户虚拟环境 行为建模 仿真 虚拟现实

在线阅读 下载PDF 职称材料

一个用于异构的数据库集成的多context逻辑

18

作者 刘海燕 陈火旺 刘凤岐 《软件学报》 EI CSCD 北大核心 1997年第9期687-693,共7页

Internet的发展要求能同时使用来自不同知识源的信息．本文定义了一个两层的多con－text逻辑结构DBCL.第1层的每个context都是一个传统的多类逻辑理论，对应于一个数据库；第2层的context是个特殊的多类逻辑理论，可以声明第1层中各cont... Internet的发展要求能同时使用来自不同知识源的信息．本文定义了一个两层的多con－text逻辑结构DBCL.第1层的每个context都是一个传统的多类逻辑理论，对应于一个数据库；第2层的context是个特殊的多类逻辑理论，可以声明第1层中各context间的各种联系，DBCL为异构的数据库的集成提供了一个形式化描述．本文还为DBCL定义了一类可靠且完备的语义解释． 展开更多

关键词 数据库 集成 多类逻辑 多context逻辑

在线阅读 下载PDF 职称材料

直接网络中的自适应路由算法分析

19

作者 刘燕 杨晓东 王志英 《国防科技大学学报》 EI CAS CSCD 1998年第1期83-87,共5页

互连网络是大规模并行计算机的重要组成部分，路由算法是其中决定网络性能的重要因素，本文在直接网络结构基础上对路由算法进行讨论，给出了一种分类方法，并着重对采用虫孔路由开关技术的自适应路由算法进行分析，为进一步的评价和设... 互连网络是大规模并行计算机的重要组成部分，路由算法是其中决定网络性能的重要因素，本文在直接网络结构基础上对路由算法进行讨论，给出了一种分类方法，并着重对采用虫孔路由开关技术的自适应路由算法进行分析，为进一步的评价和设计新的算法提供了参考。 展开更多

关键词 并行计算机 直接网络 自适应路由算法 互连网络

在线阅读 下载PDF 职称材料

Windows NT环境下的一种简易的网络应用开发方法

20

作者 曹介南 周健 《计算机工程》 CAS CSCD 北大核心 1996年第S1期257-264,共8页

该文介绍了利用Windows NT的管道(Pipe)机制把DOS、Windows 3.x、Win’95、Window NT几种不同的操作系统以及Visial Basic,Visial C++、Borland C++等不同的程序设计语言和SQL Server、Access、FoxPro等不同的数据库系统结合起来,进行... 该文介绍了利用Windows NT的管道(Pipe)机制把DOS、Windows 3.x、Win’95、Window NT几种不同的操作系统以及Visial Basic,Visial C++、Borland C++等不同的程序设计语言和SQL Server、Access、FoxPro等不同的数据库系统结合起来,进行异种环境下网络应用开发的一种方法. 展开更多

关键词 网络 异种OS 线程 管道 通信

在线阅读 下载PDF 职称材料