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

1

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

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

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

在线阅读 下载PDF 职称材料

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

2

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

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

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

在线阅读 下载PDF 职称材料

基于相应分析法的航空维修差错模式与差错成因之间的关系研究 被引量：8

3

作者 李政仪 孙志强 +1 位作者 宫二玲 蒋英杰 《安全与环境工程》 CAS 北大核心 2013年第4期105-108,共4页

为了使得航空维修差错规避措施的设计更具有针对性,本文利用维修差错辅助决策系统来引导航空维修差错数据的收集和整理,在收集得到航空维修差错数据的基础上,利用相应分析方法对航空维修差错模式与差错成因之间的关系进行了研究。实例... 为了使得航空维修差错规避措施的设计更具有针对性,本文利用维修差错辅助决策系统来引导航空维修差错数据的收集和整理,在收集得到航空维修差错数据的基础上,利用相应分析方法对航空维修差错模式与差错成因之间的关系进行了研究。实例应用结果表明,该方法便于编程实现,分析结果容易理解,对设计合理的航空维修差错规避措施、促进我国的飞行安全管理具有重要的意义。 展开更多

关键词 航空维修差错 差错成因 相应分析法 维修差错辅助决策系统

在线阅读 下载PDF 职称材料

汽车排放物各成分间关系的灰色关联分析 被引量：2

4

作者 侯志祥 李小颖 李河清 《合肥工业大学学报（自然科学版）》 CAS CSCD 2002年第5期773-776,共4页

汽车排放污染物是发动机混合气燃烧反应的产物 ,由于汽油机工况和反应的复杂性 ,各排放污染物成分间的关系呈非线性 ,用传统的回归分析方法存在很大的局限性。文章用灰色理论计算出一般工况下汽车排放污染物各成分浓度与 CO浓度间的灰... 汽车排放污染物是发动机混合气燃烧反应的产物 ,由于汽油机工况和反应的复杂性 ,各排放污染物成分间的关系呈非线性 ,用传统的回归分析方法存在很大的局限性。文章用灰色理论计算出一般工况下汽车排放污染物各成分浓度与 CO浓度间的灰色关联度 ,并对计算结果作了相应的分析 。 展开更多

关键词 汽车排放物 排放污染物 灰色理论 灰色关联度

在线阅读 下载PDF 职称材料

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

5

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

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

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

在线阅读 下载PDF 职称材料

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

6

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

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

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

在线阅读 下载PDF 职称材料

Linux环境下E-mail系统的设计与实现 被引量：1

7

作者 黄敏 乐晓波 《计算机工程与设计》 CSCD 2003年第3期10-12,共3页

根据E-mail系统所要实现的功能和软件的界面友好性,将该系统(LKE-mail)划分为用户界面、邮件维护、新闻组和网络通信4个模块,并介绍了各模块的实现原理和方法。其中新闻组功能是Linux环境下其它E-mail软件不曾涉及的。

关键词 LINUX E-MAIL系统 设计 电子邮件系统 用户界面模块 计算机网络 局域网 Internet

在线阅读 下载PDF 职称材料

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

8

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

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

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

在线阅读 下载PDF 职称材料

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

9

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

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

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

在线阅读 下载PDF 职称材料

基于CSP和动态博弈的电子支付系统模型 被引量：1

10

作者 钟旭 程杰仁 +1 位作者 唐湘滟 史伟奇 《计算机工程》 CAS CSCD 北大核心 2008年第16期177-179,共3页

分析电子支付系统的安全问题,提出基于通信顺序进程和动态博弈的电子支付系统模型。该模型对协议主体的各种不诚实行为和3种质量的通信媒介建模,可以用于分析协议主体和通信媒介之间的合作和竞争行为。对进程失效和由于消息丢失或消息... 分析电子支付系统的安全问题,提出基于通信顺序进程和动态博弈的电子支付系统模型。该模型对协议主体的各种不诚实行为和3种质量的通信媒介建模,可以用于分析协议主体和通信媒介之间的合作和竞争行为。对进程失效和由于消息丢失或消息延迟导致的通信失效建模,能分析各种失效情况下协议的安全属性。 展开更多

关键词 公平性 电子支付协议 通信顺序进程 动态博弈 系统模型

在线阅读 下载PDF 职称材料

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

11

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

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

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

在线阅读 下载PDF 职称材料

一个多处理知识库系统

12

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

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

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

在线阅读 下载PDF 职称材料

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

13

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

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

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

在线阅读 下载PDF 职称材料

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

14

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

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

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

在线阅读 下载PDF 职称材料

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

15

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

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

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

在线阅读 下载PDF 职称材料

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

16

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

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

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

在线阅读 下载PDF 职称材料

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

17

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

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

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

在线阅读 下载PDF 职称材料

Authorware在Internet/Intranet中的应用 被引量：3

18

作者 蒋加伏 王燕华 《计算机应用》 CSCD 1999年第1期39-41,共3页

本文实现了通过Ａｕｔｈｏｒｗａｒｅ在Ｉｎｔｅｒｎｅｔ／Ｉｎｔｒａｎｅｔ上访问、分发和播放多媒体信息的方法，从而扩大了Ａｕｔｈｏｒｗａｒｅ的应用范围。

关键词 AUTHORWARE 多媒体 INTERNET网 INTRANET网

在线阅读 下载PDF 职称材料

提高高等数学教学效果的研究与实践 被引量：15

19

作者 孟益民 厉亚 雷军环 《大学教育科学》 2004年第1期60-61,共2页

根据作者的教学实践,从激发学生兴趣、充分发挥学生主观能动性、提高教师自身素质等三个方面,对如何上好高等数学课作了探讨。

关键词 高等院校 数学教学 教学实践 教师自身素质 主观能动性

在线阅读 下载PDF 职称材料

由排序支持向量机抽取博客文章的摘要 被引量：2

20

作者 何海江 陈姝 《电子科技大学学报》 EI CAS CSCD 北大核心 2010年第4期593-597,共5页

提出了一种用平滑型排序支持向量机(Rank-sSVM)抽取博客文章摘要的方法。使用该排序算法抽取的摘要,反映了评论者的意见和博客文集的特性。自动摘要过程中,首先经人工从文章选择重要句子标记为摘要,作为训练对象;再由机器生成表示文章... 提出了一种用平滑型排序支持向量机(Rank-sSVM)抽取博客文章摘要的方法。使用该排序算法抽取的摘要,反映了评论者的意见和博客文集的特性。自动摘要过程中,首先经人工从文章选择重要句子标记为摘要,作为训练对象;再由机器生成表示文章语句的特征集,共14个特征,包含标签、评论等博客文章独有的信息;最后用Rank-sSVM学习人工摘要后,将文章所有句子排序,选取最靠前的若干语句构成摘要。该方法在一个中文博客数据集上取得良好效果。 展开更多

关键词 博客 评论 信息检索 排序学习 支持向量机 摘要

在线阅读 下载PDF 职称材料