检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

汉语句法结构标注的研究

计算机研究与发展 1997年第3期34卷 235-240页

作者：王厚峰戴大为华中师范大学计算机系武汉大学计算机系

在自然语言处理中，利用语料库标注词性已获得了极大成功．本文利用语料库的思想。

关键词：语料库标注汉语句法结构自然语言处理

在线全文

学校读者我要写书评

暂无评论

机器定理证明的反向归约方法

软件学报 1996年第6期7卷 354-359页

作者：李爱中黄厚宽乔佩利北方交通大学计算机系哈尔滨理工大学计算机系

基于代数和递归函数理论，本文定义了代数递归谓词．代数递归谓词是一类广泛的谓词．基于数学归纳法，作者给出了证明代数递归谓词永真性的反向归约方法及相应的算法Ｒｅｄｕｃｔｉｏｎ．由于采用反向归约方式来完成定理证明，从根本上... 详细信息

基于代数和递归函数理论，本文定义了代数递归谓词．代数递归谓词是一类广泛的谓词．基于数学归纳法，作者给出了证明代数递归谓词永真性的反向归约方法及相应的算法Ｒｅｄｕｃｔｉｏｎ．由于采用反向归约方式来完成定理证明，从根本上消除了正向组合式定理证明所产生的组合爆炸，因而极大地提高了定理证明的效率．

关键词：自动定理证明反向归约数学归纳法人工智能

在线全文

学校读者我要写书评

暂无评论

面向对象石油管理公共数据模型建立研究

软件学报 2001年第3期12卷 427-434页

作者：胡长军仝兆岐童云海方菲孙家马王立福石油大学计算机系北京大学计算机科学与技术系石油大学计算机系北京大学计算机科学与技术系

给出了一个石油管理领域应用的面向对象公共数据模型 PDMM(petroleum data model for management) ,论述了元模型的建立与表达、类结构组织和实体定义、属性及约束规则等模型构筑技术 .强调了通过引入“活动”、“特性”等超类使模型具... 详细信息

给出了一个石油管理领域应用的面向对象公共数据模型 PDMM(petroleum data model for management) ,论述了元模型的建立与表达、类结构组织和实体定义、属性及约束规则等模型构筑技术 .强调了通过引入“活动”、“特性”等超类使模型具有强大描述能力的特色 ,给出了模型的 EXPRESS语言描述方法 .

关键词：数据模型面向对象数据库石油管理石油勘探计算机

在线全文

学校读者我要写书评

暂无评论

提高工作站机群系统通信性能方法的研究

小型微型计算机系统 1997年第6期18卷 8-13页

作者：申俊郑纬民王鼎兴沈美明清华大学计算机系

工作站机群系统是目前并行处理技术的研究热点之一，而如何提高其网络通信的性能又是发展机群系统的关键。本文在分析影响网络系统性能因素的基础上，从软、硬件两方面着重讨论了高速网络技术。

关键词：工作站机群系统高速网络精简通信协议

在线全文

学校读者我要写书评

暂无评论

算法语言L的指称语义

计算机研究与发展 1998年第3期35卷 240-245页

作者：王岩冰张家重刘弘上海交通大学计算机系山东师范大学计算机系

文中为算法语言Ｌ定义了动态指称语义，在描述中避免了含有函数空间构造运算的递归论域方程．指称语义可以说明Ｌ的一些良好的数学性质，也可以说明指称语义技术可以达到更好的直观性和实用性．

关键词：算法语言L 抽象文法程序语言指称语义

在线全文

学校读者我要写书评

暂无评论

以太网上的多媒体传输

计算机研究与发展 1997年第2期34卷 124-130页

作者：王国意蔡莲红清华大学计算机系

为了在以太网上有效地传输多媒体信息，本文提出了一种位于传输层的基于动态优先级调度的令牌传递策略，对发向以太网的数据包进行控制，避免碰撞的发生，保证数据的定时发送．在多媒体桌面会议系统ＴＨ－ＭＤＣＳ中采用了此策略，通过... 详细信息

为了在以太网上有效地传输多媒体信息，本文提出了一种位于传输层的基于动态优先级调度的令牌传递策略，对发向以太网的数据包进行控制，避免碰撞的发生，保证数据的定时发送．在多媒体桌面会议系统ＴＨ－ＭＤＣＳ中采用了此策略，通过它可充分利用网络的传输能力，在同一以太网上有效地传输了诸如视频、音频、图象、图形、文本。

关键词：多媒体通信以太网桌面会议系统

在线全文

学校读者我要写书评

暂无评论

使用工作站网络并行执行prolog程序

软件学报 1994年第11期5卷 38-43页

作者：陶杰鞠九滨吉林大学计算机系

本文介绍了一个在ＳＵＮ工作站网络上实现的分布式Ｃ—ＰＲＯＬＯＧ解释系统ＤＣ－ＰＲＯＬＯＧ，它能够自动地将其应用程序的顺序解释过程变为并行解释过程；能够充分利用空闲的主存资源求解大问题，使一些单机上因内存容量不足而无法... 详细信息

本文介绍了一个在ＳＵＮ工作站网络上实现的分布式Ｃ—ＰＲＯＬＯＧ解释系统ＤＣ－ＰＲＯＬＯＧ，它能够自动地将其应用程序的顺序解释过程变为并行解释过程；能够充分利用空闲的主存资源求解大问题，使一些单机上因内存容量不足而无法执行的任务得以执行．

关键词： prolog语言工作站网络解释程序

在线全文

学校读者我要写书评

暂无评论

EDI技术研究及其实现

计算机研究与发展 1998年第2期35卷 108-113页

作者：吴国新吉逸东南大学计算机系

电子数据交换（ＥＤＩ）技术的应用前景已为国内外各界认可．文中首先介绍了ＥＤＩ技术中的各种成分，详细描述了ＥＤＩ单证的组成格式、通信基础和支持ＥＤＩ单证安全传输的各种技术等．最后，文中也简要地介绍了一个实用的ＥＤＩ系统．

关键词：电子数据交换电子单证数字签名 EDI

在线全文

学校读者我要写书评

暂无评论

基于协商的冲突消解研究

小型微型计算机系统 1998年第11期19卷 44-49页

作者：魏宝刚浙江大学计算机系

冲突消解是分布式人工智能（ＤＡＩ）系统中主体协调的一个重要方面。在ＤＡＩ系统中各主体的知识库可能存在着不完整性、不一致性、不相容性和不可约性等等，这些特性可能在协作过程中导致冲突。智能主体必须有一定的机制，用于识别和... 详细信息

冲突消解是分布式人工智能（ＤＡＩ）系统中主体协调的一个重要方面。在ＤＡＩ系统中各主体的知识库可能存在着不完整性、不一致性、不相容性和不可约性等等，这些特性可能在协作过程中导致冲突。智能主体必须有一定的机制，用于识别和管理这些不一致性，以及消除由此而导致的冲突。本文分析定义了冲突的类型，并提出了协商冲突消解策略。

关键词：分布式人工智能冲突冲突消解协商人工智能