面向人工智能应用的计算机系统结构

1

作者 胡守仁 《计算机研究与发展》 EI CSCD 北大核心 1991年第9期7-15,共9页

本文从人工智能应用的特点及其对计算机系统结构的要求出发,论述了面向人工智能应用的新型计算机系统结构设计的有关问题。其中包括人工智能语言与知识表示、计算模型与控制机制、处理机互连拓扑结构和通信、并行性的开发、处理机结构... 本文从人工智能应用的特点及其对计算机系统结构的要求出发,论述了面向人工智能应用的新型计算机系统结构设计的有关问题。其中包括人工智能语言与知识表示、计算模型与控制机制、处理机互连拓扑结构和通信、并行性的开发、处理机结构、存储系统组织和输入输出等等。指出了今后研究的重点。 展开更多

关键词 人工智能 计算机 结构

在线阅读 下载PDF 职称材料

流水线式计算机上功能部件间的相互匹配关系

2

作者 潘填正 《计算机学报》 EI CSCD 北大核心 1991年第1期8-13,共6页

本文根据Cray-1计算机标量计算的工作方式和特点分析了它的存取速度、功能部件速度、指令流出速度和标量前沿寄存器个数之间的关系,并在这四者之间建立了相互联系的公式,据此公式可以解决它们之间相互匹配的问题。

关键词 流水线式 计算机 功能部件 匹配

在线阅读 下载PDF 职称材料

数据流计算机复合函数级并行的开发

3

作者 刘桂仲 慈云桂 《计算机学报》 EI CSCD 北大核心 1989年第5期321-327,共7页

数据流计算机开销过大的基本原因是并行的粒度太细。本文研完在数据流计算模型中引入复合函数级并行的开发,讨论它在SDS模型的抽象机上的实现方法,并介绍以此为基础的模型机SDS-1系统。

关键词 数据流计算机 复合函数 并行 粒度

在线阅读 下载PDF 职称材料

Agent在多Agent系统中计算的意愿理论 被引量：9

4

作者 毛新军 王怀民 +1 位作者 陈火旺 刘凤歧 《软件学报》 EI CSCD 北大核心 1999年第1期43-48,共6页

提出了Ａｇｅｎｔ在多Ａｇｅｎｔ系统中计算的意愿理论，以支持Ａｇｅｎｔ计算的理论研究．区分了两种意愿：实现型意愿和维护型意愿．基于多Ａｇｅｎｔ系统计算的逻辑框架，给出了两种意愿新的语义定义。

关键词 AGENT 多AGENT系统 信念 意愿 人工智能

在线阅读 下载PDF 职称材料

概率逻辑类超树结构分解计算模型的完备性 被引量：1

5

作者 张晨东 陈火旺 +1 位作者 王兵山 徐光 《软件学报》 EI CSCD 北大核心 1998年第4期273-275,共3页

针对Ｎｉｌｓｓｏｎ概率逻辑推理在计算规模方面存在的问题，本文给出了公式集按类超树结构分解的计算模型，并证明了分解算法的完备性．

关键词 概率逻辑 不确定性推理 分解算法 类超树结构

在线阅读 下载PDF 职称材料

SJ—3专家系统的开发技术 被引量：1

6

作者 贾焰 刘江宁 吴泉源 《软件学报》 EI CSCD 北大核心 1994年第7期51-55,共5页

本文详细讨论了一个实用专家系统的开发技术，主要包括：ＦＬ知识表示法、定量化模型、知识库的组织与维护方法以及不确定推理方法．

关键词 专家系统 知识表示 知识库

在线阅读 下载PDF 职称材料

大规模层次化视频点播存储系统的设计与管理 被引量：6

7

作者 李勇 吴飞 陈福接 《软件学报》 EI CSCD 北大核心 1999年第4期355-358,共4页

近来计算机和通信技术的发展使得视频点播（ｖｉｄｅｏ－ｏｎ－ｄｅｍａｎｄ，简称ＶＯＤ）在技术和经济上成为可能．连续媒体的特性使得ＶＯＤ系统需要大规模的存储服务器．层次化存储体系是减少系统费用的合理方案．文章提出了一种层... 近来计算机和通信技术的发展使得视频点播（ｖｉｄｅｏ－ｏｎ－ｄｅｍａｎｄ，简称ＶＯＤ）在技术和经济上成为可能．连续媒体的特性使得ＶＯＤ系统需要大规模的存储服务器．层次化存储体系是减少系统费用的合理方案．文章提出了一种层次化的存储模型和磁盘ｃａｃｈｅ的概念．根据这个模型，提出了基于访问频率的替换算法，并对算法的有效性进行了模拟和分析．结果表明，这种算法解决了ＬＦＵ（ｌｅａｓｔｆｒｅｑｕｅｎｔｌｙｕｓｅｄ）算法中的“ｃａｃｈｅ污染”（ｃａｃｈｅｐｏｌｕｔｉｏｎ）问题，能较好地适用于连续媒体数据应用． 展开更多

关键词 多媒体 视频点播 存储系统 层次化 视频服务器

在线阅读 下载PDF 职称材料

用LR算法分析汉语的语法关系 被引量：9

8

作者 周会平 王挺 陈火旺 《软件学报》 EI CSCD 北大核心 1999年第9期967-973,共7页

为了获取汉语词语之间的语法关系，以达到准确分析汉语的目的。

关键词 机器翻译 依存文法 LR算法 语法关系 汉语

在线阅读 下载PDF 职称材料

一个模式识别实用系统—PCB逻辑图输入

9

作者 沈清 许先行 王晓霓 《小型微型计算机系统》 CSCD 北大核心 1990年第11期36-40,64,共6页

本文报告了一个印制电路板(PCB)逻辑图识别输入系统——LIS(Logical-diagram Input System)。介绍了该系统的构成,主要难点及相应的算法,介绍了该系统的效益。

关键词 模式识别 PCB 逻辑图 印制电路板

在线阅读 下载PDF 职称材料

一个并行推理机模拟实验系统——SES-PIM

10

作者 孙成政 慈云桂 《计算机学报》 EI CSCD 北大核心 1989年第1期75-78,共4页

1.引言 我们的研究目标是设计一个并行执行逻辑程序的计算机系统结构。从1984年初开展这一工作以来,已取得的主要结果包括:提出了一种描述逻辑程序执行过程的新方法——OR树林方法及其执行模型PSOF。

关键词 并行推理机 模拟实验 SES-PIM

在线阅读 下载PDF 职称材料

一个多处理知识库系统

11

作者 王志英 《计算机研究与发展》 EI CSCD 北大核心 1990年第3期25-29,共5页

本文阐述了一个基于Intel86/310多处理机的知识库系统,该系统硬件主要包括一个控制处理机、四个单元处理机、共享存储器和磁盘系统。在这个硬核构成的关系知识库机上,我们建立了知识库管理、推理、知识获取和解释等模块。文中对系统结... 本文阐述了一个基于Intel86/310多处理机的知识库系统,该系统硬件主要包括一个控制处理机、四个单元处理机、共享存储器和磁盘系统。在这个硬核构成的关系知识库机上,我们建立了知识库管理、推理、知识获取和解释等模块。文中对系统结构及实现等有关问题进行了讨论。 展开更多

关键词 知识库系统 并行处理 数据库

在线阅读 下载PDF 职称材料

分布式集成中间件CSE/MA的设计与实现 被引量：7

12

作者 史殿习 王怀民 +2 位作者 邹鹏 高洪奎 吴泉源 《软件学报》 EI CSCD 北大核心 1998年第2期101-106,共6页

为扩展分布式计算环境，支持系统集成，本文开展了基于多ａｇｅｎｔ的分布式集成中间件ＣＳＥ／ＭＡ的研究，试图为应用开发者提供一种开发客户／服务器应用的通用开发框架，支持应用开发者方便灵活地建立各种客户／服务器应用．本文首... 为扩展分布式计算环境，支持系统集成，本文开展了基于多ａｇｅｎｔ的分布式集成中间件ＣＳＥ／ＭＡ的研究，试图为应用开发者提供一种开发客户／服务器应用的通用开发框架，支持应用开发者方便灵活地建立各种客户／服务器应用．本文首先提出ＣＳＥ／ＭＡ的框架结构，讨论利用ＣＳＥ／ＭＡ建立客户／服务器应用的组成成分、工作原理和工作过程；其次，讨论ＣＳＥ／ＭＡ的管理核心Ｒｅｇｉｓｔｅｒ所提供的服务及其实现算法，提出服务ａｇｅｎｔ和请求ａｇｅｎｔ的实现框架及其设计与实现；最后对ＣＳＥ／ＭＡ的技术特点和地位作了概括性的总结． 展开更多

关键词 客户/服务器 CSE/MA 集成中间件 计算机网络

在线阅读 下载PDF 职称材料

协议形式化开发环境的规范语言 被引量：5

13

作者 罗铁庚 陈火旺 +1 位作者 齐治昌 龚正虎 《软件学报》 EI CSCD 北大核心 1997年第11期817-823,共7页

LOTOS（languageoftemporalorderingspecification）是一种基于进程代数CCS的协议规范语言，面向协议验证，但它不能描述协议的某些性质．本文提出了一种LOTOS的扩充语言ELOTOS（extendedLOTOS），它在LOTOS的基础上引入了异步通讯机制... LOTOS（languageoftemporalorderingspecification）是一种基于进程代数CCS的协议规范语言，面向协议验证，但它不能描述协议的某些性质．本文提出了一种LOTOS的扩充语言ELOTOS（extendedLOTOS），它在LOTOS的基础上引入了异步通讯机制、时间描述、事件发生的随机性描述． 展开更多

关键词 协议规范语言 协议形式化 LOTOS语言 计算机网络

在线阅读 下载PDF 职称材料

协同编辑中维护操作意愿的文档标注方法 被引量：15

14

作者 何鸿君 吴泉源 罗莉 《软件学报》 EI CSCD 北大核心 1999年第2期160-164,共5页

在实时协同编辑系统中，操作意愿一致性维护是国际上提出的新概念，是协同系统一致性维护的重要方面．文档标注文法通过对共享文档进行恰当标注，屏蔽并发操作对共享文档造成的影响，使得操作在任意协作点上执行时的环境与操作产生的环... 在实时协同编辑系统中，操作意愿一致性维护是国际上提出的新概念，是协同系统一致性维护的重要方面．文档标注文法通过对共享文档进行恰当标注，屏蔽并发操作对共享文档造成的影响，使得操作在任意协作点上执行时的环境与操作产生的环境一致，从而有效地维护操作意愿一致性．结合实际应用中的具体操作，重点论述文档标注方法以及相应的控制算法． 展开更多

关键词 CSCW 协同编辑 操作意愿维护 文档标注 程序设计

在线阅读 下载PDF 职称材料

一种严格的软件开发方法框架 被引量：4

15

作者 陈火旺 齐治昌 +2 位作者 王兵山 宁洪 谭庆平 《软件学报》 EI CSCD 北大核心 1996年第3期187-193,共7页

本文系统地提出一种严格的软件开发方法，它基于逐步精化和重用组合的程序设计思想，将基于图形的半形式化方法和基于逻辑和转换系统的形式化方法镶嵌为一体，使软件开发中的“创造”和“演算”得到合理的折衷．本文已初步实现了面向该... 本文系统地提出一种严格的软件开发方法，它基于逐步精化和重用组合的程序设计思想，将基于图形的半形式化方法和基于逻辑和转换系统的形式化方法镶嵌为一体，使软件开发中的“创造”和“演算”得到合理的折衷．本文已初步实现了面向该方法的实现工具． 展开更多

关键词 软件开发 形式化法 软件规范 程序设计

在线阅读 下载PDF 职称材料

一种函数优化问题的混合遗传算法 被引量：27

16

作者 彭伟 卢锡城 《软件学报》 EI CSCD 北大核心 1999年第8期819-823,共5页

将传统的局部搜索算法和遗传算法相结合，可以较好地解决遗传算法在达到全局最优解前收敛慢的问题．文章给出一种结合可变多面体法和正交遗传算法的混合算法．实验表明，它通过对问题的解空间交替进行全局和局部搜索，能更有效地求解函... 将传统的局部搜索算法和遗传算法相结合，可以较好地解决遗传算法在达到全局最优解前收敛慢的问题．文章给出一种结合可变多面体法和正交遗传算法的混合算法．实验表明，它通过对问题的解空间交替进行全局和局部搜索，能更有效地求解函数优化问题． 展开更多

关键词 遗传算法 可变多面体法 正交交叉 函数优化

在线阅读 下载PDF 职称材料

矢量和栅格一体化的数据模型 被引量：13

17

作者 杨树强 陈火旺 王峰 《软件学报》 EI CSCD 北大核心 1998年第2期91-96,共6页

本文提出的矢量和栅格一体化的数据模型将零维、一维和二维空间划分为不规则的子空间，并建立了这些子空间之间的空间关系和层次结构．地物可以表示为这些子空间的集合，地物之间的空间关系可以由组成它们的子空间推导．这一模型同时具... 本文提出的矢量和栅格一体化的数据模型将零维、一维和二维空间划分为不规则的子空间，并建立了这些子空间之间的空间关系和层次结构．地物可以表示为这些子空间的集合，地物之间的空间关系可以由组成它们的子空间推导．这一模型同时具有矢量和栅格数据模型的优点，支持矢量和栅格数据模型所具有的功能． 展开更多

关键词 矢量 栅格 数据模型 一体化 地图数据库

在线阅读 下载PDF 职称材料

视频点播服务器中服务策略的研究 被引量：2

18

作者 刘衡竹 陈旭灿 陈福接 《软件学报》 EI CSCD 北大核心 1999年第1期13-18,共6页

研讨了同时为多个点播用户服务的轮转服务策略和比例服务策略，并提出了ＶＯＤ（ｖｉｄｅｏ－ｏｎ－ｄｅｍａｎｄ）服务器在不破坏各路点播流实时播放率的前提下，应用这些服务策略的方法．

关键词 服务策略 视频点播服务器 多媒体

在线阅读 下载PDF 职称材料

Smalltalk－80的指称语义研究 被引量：1

19

作者 李舟军 王兵山 《软件学报》 EI CSCD 北大核心 1995年第7期385-390,共6页

Ｓｍａｌｌｔａｌｋ—８０是原型的面向对象程序设计语言和环境．本文简要地给出了Ｓｍａｌｌｔａｌｋ－８０的形式模型，并基于该模型描述了Ｓｍａｌｌｔａｌｋ—８０的静态和动态指称语义．

关键词 面向对象 指称语义 Smalltalk语言 程序语言

在线阅读 下载PDF 职称材料

基于类型理论的递旧元程序设计 被引量：1

20

作者 谭庆平 陈火旺 《软件学报》 EI CSCD 北大核心 1994年第8期30-35,共6页

本文提出在ＬＦ类型理论中定义一组相互递归类型的方法，并对递归类型赋予操作语义．这样，递归类型不仅可以表示通常的递归数据结构，还可描述一般的递归问题求解、递归证明构造和递归程序构造过程．

关键词 类型理论 递归 程序设计 数据结构

在线阅读 下载PDF 职称材料