计算机科学杂志是由国家科学技术部主管,国家科技部西南信息中心主办的一本北大期刊。
计算机科学杂志创刊于1974,发行周期为月刊,杂志类别为计算机类。
杂志介绍
计算机科学杂志是由国家科学技术部主管,国家科技部西南信息中心主办的一本北大期刊。
计算机科学杂志创刊于1974,发行周期为月刊,杂志类别为计算机类。
主管单位:国家科学技术部
主办单位:国家科技部西南信息中心
国际刊号:1002-137X
国内刊号:50-1075/TP
发行周期:月刊
全年订价:¥1000.00
关键词: 信息检索系统 语义基础分析 信息载体 代数逻辑
目前信息检索系统的评估方式主要是黑箱方法,无法了解系统内部情况.逻辑方法为比较不同类型的信息检索系统的内部功能提供了途径.为此一些基本的定义和假设已经被建立,并被初步应用于理论研究,但目前的逻辑框架尚未完善.本文通过分析逻辑框架的语义基础,重新定义了基本语义概念,为逻辑框架提供了语义支持,使逻辑结果更逼近实际语义.
关键词: 数据库系统 网格 文件系统 数据据访问 应用程序 中间件
目前网格上的各类应用系统几乎都是使用文件来保存数据,因此人们对如何将数据库系统集成入网格这个问题研究甚少.如果网格要在将来支持更大范围的应用系统,那么必须要解决将数据库系统集成入网格这个问题.本文在分析网格环境对数据库系统的需求的基础上,总结了将数据库系统集成入网格的两种方法,并分别对它们做出评价.
关键词: 移动通信 计算机网络 移动ad hoc网 组播 路由协议 无线信道 物理特性
移动Ad Hoc网和组播都是既有美好前景又有实现难度的技术,在移动Ad Hoc网中进行组播更是一项带挑战性的工作.目前该领域的研究热点之一是路由协议.本文介绍了移动Ad Hoc网组播路由的主要难点及研究现状,分类描述和比较了已有的主要协议,并对泛洪协议以及单播与组播路由协议的关系进行了阐述,最后展望了未来的研究工作.
关键词: xquery语言 形式化语义 面向对象 xml语言 应用程序 标准化
XQuery语言用于查询XML文档.目前,该语言规范还是W3C的工作草稿.语言的形式化语义有助于语言的标准化,本文通过重用XML家族语言通用语义构件的方法,形式化建模XQuery语言的语义,语义的描述采用Object-Z规范语言.这种面向对象的语义描述不仅具有简洁性、可扩展性和可组合性,而且有助于规范之间的一致性和协调性.
关键词: 企业网络 网络管理 可扩展管理模型 web 应用服务器 网络管理协议
Web应用服务器是为事务性Web应用提供一系列运行时服务的分布式系统.它既要管理多种不同类型的资源,又要集成以往成熟的网络管理协议和系统,因此,如何统一有效地管理Web应用服务器的资源、应用和服务成为实现Web应用服务的一个难点.为此,本文基于JMX(JavaTMManagement Extensions)技术,提出了一种可扩展管理模型,该模型具有较好的灵活性和开放性...
关键词: 人工智能 多agent系统 元对策理论 强化学习算法 pomdp模型
本文对有关强化学习及其在多Agent系统中的应用等方面的研究现状、关键技术、问题和发展趋势进行了综述和讨论,试图给出强化学习目前研究的重点和发展方向.主要内容包括:(1)强化学习的框架结构;(2)几个有代表性的强化学习方法;(3)多Agent系统中强化学习的应用和问题.最后讨论了多Agent系统中应用强化学习所面临的挑战.
关键词: 无线ad hoc网络 移动通信 服务质量 qos 路由协议 internet 路由器 链路带宽 计算机网络
无线ad hoc网络是一种无固定通信设备支持、节点可自由移动的多跳全分布式无线网络.无线ad hoc网络的应用环境以及与Internet的互连要求它必须提供一定的服务质量(QoS)保证,而QoS路由协议是无线ad hoc网络支持QoS的一个关键理论和技术,也是目前的一个研完热点.本文回顾了近年来国内外在无线ad hoc网络QoS路由协议研究方面取得的研究成果,对已有...
关键词: 路由协议 设计 验证 通信协议软件 sdl语言 计算机网络
论文简要阐述了SDL的基本概念及使用它开发通信协议软件的优点,并给出在移动Ad-hoc网路由协议开发中采用SDL语言对路由协议软件进行设计和验证的实例,为通信协议的设计和验证提供了一种有效的方法.
关键词: 无线ad hoc网络 路由协议 mac协议 网络性能 最佳分组长度问题 计算机网络
为给无线Ad Hoc网络设计者提供参考依据,基于场景,用仿真方法研究了采用不同分组长度传输CBR业务时的网络性能,并给出了相应的最佳分组长度.仿真中采用了DSR路由协议.结果表明,在网络中的CBR连接数一定的情况下,有一个最佳的分组长度,当源节点以这个最佳分组长度发送业务时,网络性能最优;当采用的分组长度由最佳长度逐渐减小时,网络性能很快变差...
关键词: 以太网 服务质量 组播 路由协议 网络电视 广播搜索 路由器 qos 分布式qos组播路由协议
根据像网络电视这样的宽带多媒体业务的需要,提出了一种简单有效的分布式QoS组播路由协议来支持动态成员组播.分析和仿真表明,本协议和其它同类协议比具有消息开销少、成功率高、路径建立时延短和性能稳定等优点.
关键词: internet 服务质量 网络性能 qos 数据挖掘
随着高端网络应用的兴起及近几年网格技术的发展,传统的传输服务模型和QoS实现机制已经不能适应高端应用对网络和其它资源的需求.因此,如何在高端应用间提供更优的QoS成为关注的焦点.本文从IP网络传输控制机制和端点QoS系统结构两个角度,探讨了端到端QoS实现的关键问题,同时详细分析并比较了几种端到端QoS实现构架及主要特点.
关键词: ipv6协议 网络协议 层次化移动协议 服务质量 qos 计算机网络
本文针对层次化移动IPv6的网络提出了一种QoS信令,为移动节点提供服务质量的保障.在分析了RSVP信令的特点及其由于对多播的支持而增加的复杂性的基础上,设计了一个简化的RSVP信令,然后把此RSVP信令和层次化的移动协议相结合提出了一个综合的QoS切换方案,并在层次化的移动环境下,对此QoS信令和其它几种QoS机制在资源预留时间和信令负荷方面进行了...
关键词: 通信网 路由算法 伪代码 网络拓扑结构 网络带宽 服务质量 卫星网
路由问题在通信网中一直是一个核心问题,路由算法的优劣将直接影响到整个通信网络的性能以及通信的质量,在卫星网络中也不例外.由于卫星网络具有区别于地面网络的拓扑结构的动态变化等独有的特点,使得适用于地面网络的路由算法不能用于卫星网络上,因此必须针对卫星网络的特点设计适合于卫星网络的路由算法.本文先阐述了路由算法的影响因素及设计...
关键词: 计算机网络 网络管理协议 卫星综合信息网 信息模型
随着航天技术的迅速发展,卫星网络的研究已成为热点.由于卫星网络具有不同于其他地面网络的特点,因此,在网络管理领域,现有的网络管理协议,例如SNMP、CMIP等将不适合对这种网络进行管理.本文设计了一种新型的网络管理协议--多元化网络管理协议(MNMP)原型,它的体系结构在兼容现有地面网络管理的基础上,针对卫星网络的特点,例如特殊的管理对象、传...
关键词: 传感器网络 路由机制 无线通信 容错性 通信介质 网络协议 网络带宽
微电子技术和无线技术的进步推动传感器网络的发展,传感器网络实现分布式监测任务,能够应用于各种领域.由于传统网络路由协议重点在于提供高的服务质量,不能适用于存在能量约束的传感器网络.本文在说明传感器特点的基础上,对传感器网络的路由机制进行了简单的分类,并详细介绍和分析已提出的主要路由机制.
关键词: 电子邮件分类系统 邮件收发工具 rough set 计算机网络 邮件服务器 网络安全 信息安全
随着电子邮件的广泛使用,通过它进行不良信息传播的事件不断发生,电子邮件分类问题成为了网络安全研究的热点.本文通过对电子邮件头进行分析,运用Rough Set理论中相关的数据分析技术,建立了电子邮件分类系统的模型,并进行了实验测试,得到了满意的结果.
关键词: 电子商务 电子谈判 文档管理系统 通信管理 谈判支持架构
本文提供了一个通信管理与文档管理相结合的全新架构,能对谈判的各方面提供有效的支持.虽然模型主要强调对谈判的有效"支持",但这个谈判的概念模型为设计自动或半自动电子谈判系统提供了思想基础.
关键词: 电子商务 电子支付方式 数字现金系统 数字签名
本文介绍了数字现金的关键技术、研究现状和应用现状,并指出了数字现金未来的发展方向.
关键词: internet 嵌入式设备 网络管理模型 ei技术 ednm 计算机网络 snmp协议
随着EI技术的不断发展,人们目前可以对非Internet设备进行访问、管理和控制,但是如何才能有效系统管理大量的嵌入式设备一直都是困扰人们的难题.作者针对面向设备级动态驱动的异种网络互连的研究,提出了一种基于EI技术的支持嵌入式设备的网络管理的研究,通过该模型可以透明地加入和删除节点以实现系统的可伸缩性;通过检测节点或设备故障和正确地...
关键词: 以太网 artc 实时通信 可靠性保障 兼容性 工业控制系统
实时网络的很大一部分应用在现场总线控制领域,提供实时、快速、可靠的信息传递.基于以太网的硬实时通信技术ARTC能较好地满足工业控制系统实时、快速的通信要求,但以太网的通信特性却导致其缺乏可靠性.本文简要介绍了ARTC的通信管理机制,在对其可靠性问题深入研究的基础上,从系统结构、多级自检、监控管理、故障处理以及流控等方面提出了相应的...
关键词: 网络安全 入侵检测系统 序列模式 数据挖掘 计算机网络
面向入侵检测的数据挖掘是目前国际上网络安全和数据库、信息决策领域的最前沿的研究方向之一.入侵检测中进行序列模式挖掘时,由于频繁网络模式和频繁系统活动模式只能在网络或操作系统的单个审计数据流中获得,因而传统从事件流数据中获取单序列模式的算法,以及从不同多数据序列中获取多个序列模式的算法都不再适用.本文研完了入侵数据的特性,提...
关键词: 计算机网络 网络安全 入侵检测系统 ddos 网络流量 限幅自相似性
本文提出了一种新型的DDoS入侵检测方法,在建立正常网络流量模型基础上,对网络流量的自相似性-Hurst参数、Hurst参数的时变函数H(t)进行分析,对网络流量进行实时限幅,由自相似性的变化来预测DDoS攻击,并用数据库对攻击定位.试验表明基于网络流量的统计分析方法能够在一定程度上检测出DDoS攻击,比传统的基于特征匹配的DDoS入侵检测方法,在实时性...
关键词: 数据库管理系统 数据挖掘 dmgql 数据立方梯度查询语言 概率规则 数据仓库
现有数据立方梯度查询语言CubegradeQL主要是针对非实例化数据立方的,实际上,为了提高OLAP查询效率,数据仓库中往往保存了大量实例化的数据立方.本文我们改进了CubegradeQL语言,给出了一个新的查询语言dmGQL,dmGQL能够支持实例化/非实例化数据立方中的梯度查询,最后,我们讨论了dmGQL的查询处理.
关键词: 空间数据库 设计 数据共享 地理信息系统 数据模型 数字城市
空间数据库是数字城市空间数据基础设施的核心技术平台.本文在分析面向数字城市空间数据库的特点及功能定位的基础上,提出其核心内容,包括元数据库、遥感影像数据库、电子地图数据库、GPS数据库、地理编码数据库和社会经济基本单元数据库等.同时,对其数据组织模型和接口体系进行设计,并基于J2EE规范和Oracle Spatial 进行了初步实现.
关键词: 零树编码 小波变换 零森林编码 图像压缩 图像编码 数据结构
该文从理论和实验上证明了同级别不同方向子带的零树位置具有较大相关性,据此提出了嵌入的零森林编码方法MRZF.该方法把森林作为系数表示的基本数据结构,使相邻系数之间,同方向子带之间的相关性以及不同方向子带间的相关性能被有效利用,编码效益更高.该方法可直接输出0,1比特流,编解码速度快,且具有多率特性和低计算复杂性的特点,可实现码流的累...
关键词: 人工智能 专家系统 模糊推理 模糊逻辑 泛逻辑 形式演绎系统
本文提出泛逻辑学在理想状态(广义相关系数h=0.5.广义自相关系数k=0.5)下的形式演绎系统B。讨论了商代数[F]的性质。进一步证明了形式演绎系统B与文[11]的基本形式演绎系统UL(h=k=0.5)是等价的。
关键词: 人工智能 信息处理系统 逻辑系统 知识系统 知识表示 意识表示
当前的模态或非模态逻辑系统的概念都是狭义的,它们关心的主要是一些重言式或永真式.而对人来说,事实真或假的知识同样是非常重要的,但这样的知识却超出了它们的定义范围.当它们(通常是模态逻辑系统)被用于意识系统研究时,这就不合适了.为此,本文提出了一种知识系统的观点,其中不仅包括了通常逻辑系统的内容,而且也包括了事实真或假的知识等相关...
关键词: 人工智能 知识库 知识本体 属性分析 知识获取 概念联通
知识库是计算机智能的重要来源.要提高机器的智能程度,不仅需要大型的知识库,更需要知识之间的广泛联通.类似于MindNet的语义联通,我们以文本知识为背景提出了基于本体的概念联通.文章首先介绍了知识本体的设计思想,然后进行属性的本体分析,最后讨论了基于属性的概念联通以及A-属性联通测度.
关键词: 面向对象 程序设计 知识表示 自然语言 计算机
在本文中,我们提出了利用面向对象的技术表示语义和常识的方法.将知网[3]中的义原(即最小的语义单位)表示为类,同时将概念之间、属性之间的语义关系转换为类之间关系以及类的属性之间的关系;将知网概念词典中的概念表示为所在范畴属性类的子类,并将DEF项中其它义原设置为该类中的变量.通过这种转换,知网中的语义和常识就被表示为类和对象.在实践...
关键词: 数据挖掘 数据库 多元时间序列 关联规则 高效处理算法 证券市场 中国
用挖掘跨事务关联规则的方法分析多元时间序列,可以找到序列中不同采样点观察值之间相互影响的关系.本文为实现这一目的,提出一种新的分析方法:ES-Apriori.此方法通过减少数据库扫描次数,优化内存分配,能够高效地分析多元时间序列之间的关联规则.试验表明,用此方法分析中国证券市场的股票时间序列非常有效.
关键词: 数据库 频繁项集 数据挖掘算法 关联规则 数据库管理系统 计算机
数据挖掘在最近几年里已被数据库界所广泛研究,而搜索频繁项集是诸如关联规则挖掘、序列模式挖掘等数据挖掘问题中的关键步骤.本文描述了频繁项集挖掘问题的特点,并根据搜索策略对已有各种频繁项集挖掘算法进行了分析和比较.
关键词: 事务数据库 关联规则 概念格 web日志 路径挖掘算法 数据挖掘
路径挖掘适用于探索用户沿超连接寻找和浏览网页的规律,而Web日志的完美结构使挖掘更加容易和有效.由二元关系导出的概念格作为一种非常有用的形式化工具,体现了概念内涵和外延的统一,反映了对象和特征间的联系以及概念的泛化与例化关系,因此非常适于发现数据中潜在的信息.本文通过概念格模型,提出了一种Web日志的路径挖掘算法,并进行了相关的分...
关键词: 智能决策支持系统 人工智能 知识推理 知识库 idssim 结构设计 信息挖掘 智能体
本文讨论了基于信息挖掘的智能决策支持系统IDSSIM的总体结构模型和各子系统功能描述.IDSSIM完善并扩充了现有智能决策系统的功能,将领域专家的知识获取、推理机制、KDD*挖掘和Web挖掘有效地融入智能决策支持系统中,从而形成了一类具有双网、六库、综合集成、多层递阶和模型驱动的新型智能决策支持系统.
关键词: 开放式决策支持系统 网格 模块化 信息资源 人工智能 通信协议
网格技术的出现和飞跃对决策支持系统(DSS)的发展将产生巨大影响.本文分析了当前DSS所存在的不足,介绍了网格的基本概念及网格技术对DSS的影响.最后提出了一个基本的开放DSS模型及其实现.
关键词: 进化神经网络 进化算法 神经网络 网络结构 信息处理
进化算法(EAs)与神经网络(NN)的结合已形成了一个新的领域-进化神经网络,在神经网络的研究中举足轻重.本文通过讨论和总结进化神经网络中的关键技术和现状,概述了其设计与构造的趋势.所讨论的是:(1)进化神经网络的研究方法;(2)进化模型;(3)应用实例及关键技术;(4)研究方向.
关键词: 神经网络 并行训练策略 生物信息学 生物序列模式分析
神经网络作为模式识别、数据挖掘等方面的有效工具,已被广泛应用到生物序列的模式分析中,而生物序列的超大规模、超长同时也给神经网络提出了挑战,即必须解决训练时间过长、效率低下的问题.本文提出了若干适合生物应用的神经网络并行训练策略,并按其神经网络粒度进行分类,同时分析和比较了各种策略的代价.
关键词: 多峰函数优化问题 动态演化算法 局部搜索机制 函数值 随机计算模型
本文给出了一种新的求解多峰函数优化问题的定义:定位所有的极值点,包括全局的峰值点和局部的峰值点.传统的演化算法框架都是群体固定的演化迭代过程,对求解多峰函数优化问题时由于无法事先得知峰值点的个数而很难确定合适的群体大小,影响了算法的效率.提出一种群体动态可调的演化方式,使得初始群体大小可任意指定,在演化过程中通过聚集和按比例...
关键词: 粗糙集理论 信息系统 知识发现 子信息系统 神经网络
本文给出了对象合成信息系统、属性合成信息系统、对象子信息系统及属性子信息系统的定义,分别讨论了它们的上下近似算子与原信息系统的上下近似算子之间的关系,并给出了它们的一些实际应用.
关键词: 粗糙集理论 粗糙度 数据处理 知识集合
设U是全集,R是U上的等价关系,(U,R)是相应的近似空间,则粗相等关系≈是幂集P(U)上的等价关系,其商集为P(U)/≈,而商集P(U)/≈是一个分配格,本文考虑两种特殊情况,使得在这两种特殊情况下粗糙度有类似于集合论的包容排斥原理,同时我们还把此结论推广到粗糙模糊集上.
关键词: 神经网络 变精度粗集 分类 约简算法 决策属性
基于差别矩阵的约简算法简单、计算量小,但是传统的差别矩阵不能处理噪声数据.为提高差别矩阵的适用范围,提出一种能够容忍数据中包含噪声的变精度差别矩阵,并给出改进的基于条件属性偏序关系的约简算法.最后,将这一方法用于对多类图像的分类过程中,将分类结果与BP网络的分类结果和基于传统Skowron差别矩阵方法的分类结果相比较表明这种分类方法...
若用户需要出版服务,请联系出版商,地址:重庆市北部新区洪湖西路18号,邮编:401121。