购物车(0)计算机科学杂志是由国家科学技术部主管，国家科技部西南信息中心主办的一本北大期刊。
计算机科学杂志创刊于1974，发行周期为月刊，杂志类别为计算机类。
杂志介绍
计算机科学杂志是由国家科学技术部主管，国家科技部西南信息中心主办的一本北大期刊。
计算机科学杂志创刊于1974，发行周期为月刊，杂志类别为计算机类。
主管单位：国家科学技术部
主办单位：国家科技部西南信息中心
国际刊号：1002-137X
国内刊号：50-1075/TP
发行周期：月刊
全年订价：￥1000.00
关键词: 组播路由算法 人工免疫算法 光因特网 ip 仿真结果 负载平衡 qos dwdm 路由和波长分配 定时
本文提出了一种IP/DWDM光因特网中基于人工免疫算法的QoS组播路由算法,当QoS组播请求和需求区间给定时,能够找到一棵基于QoS的柔性费用近优组播路由树.该算法基于人工免疫算法构造QoS组播路由树,并基于波长图对树进行波长分配,将路由和波长分配集成到一个过程中,同时考虑了负载平衡.仿真结果表明,算法为IP/DWDM光因特网中的组播应用构造的QoS组...
关键词: 算法 归结 完成时间 资源信息 资源预留 最优 可用性 务件 作业 平均
给定一系列作业和只能在有限的时间段可用的资源,如何预留和分配资源以实现作业的最大完成时间最小化的问题是NP难的.本文将其归结为一种新型的尺寸可变装箱问题并给出了作业信息和资源信息完全已知条件下的六种离线算法,理论分析表明所给算法的渐进最坏比为2,在作业相互独立的条件下推广的降序最佳适合(Best Fit Decreasing)算法的平均性能最优...
关键词: 框架模型 查询模式 知识获取 信息搜索 协作 实现技术 结构化 资源描述 知识管理 资源共享
为了将P2P中对等体的资源描述为结构化的知识,以提高资源共享,本文提出一个基于本体论的知识管理框架模型.从知识的建立和知识的检索两方面分析了模型的实现技术.探讨了相互协作的对等体按预定义查询模式和本体论匹配的语义技术实现信息搜索和知识获取的过程.
关键词: 应用程序框架 客户端程序 p2p系统 内存 优先级 网络连接 拷贝 消息 证明 开发过程中
P2P客户端程序对网络通信的要求正变得越来越复杂.在开发过程中使用应用程序框架可以比较好地处理这种复杂性.本论文提出了框架CACF.它支持水平,垂直和协作过程等多种并行模式,能通过消息优先级和多种排队模型实现流控和端到端QoS,引入多路复用器实现对网络连接的多路复用,复合消息则消除了费时的内存拷贝.作为P2P系统Virtual Helpdesk的客户端,...
关键词: 访问模式 访问机制 松散耦合 计算模式 实现技术 用户 网络资源 需求 持续性 发展
随着计算模式的发展和变化,用户的访问模式也面临新的要求.在松散耦合和动态变化的网络资源空间里,需要给用户提供一种时间无关、空间无关和物理无关的访问机制,它被称为3A(Anytime、Anywhere、and on Any device)访问模式.该文通过分析3A访问的丰富含义和需求内容,提出Internet 3A访问模式的三个基本特征,即:持续性、移动性和适应性.并分别.总...
关键词: 端到端 时延 最小化 缩放 算法 丢包率 无线传感器网络 自适应调制 传输质量 集中式控制
在满足数据收集任务的时延要求及可靠性要求的前提下最小化能量消耗是传感器网络设计中的一个关键问题.选取不同的调制级数(即调制时的星座图大小,每符号位数)可以获得不同程度的能量节省,但引入不同程度的时延的同时也会造成不同程度的丢包.本文提出了一种优化模型在满足数据收集任务的时延要求及可靠性要求的前提下,最优选取各节点的调制级数...
关键词: 存储网络 分布式 负载均衡 任务 调度 视频信息 流文件 超级市场 客户 存储服务
考虑将广义超级市场模型(Generalized Supermarket Model,GSM)应用于分布式视频信息存储网络的任务均衡分配.设:①分布式视频信息存储网络由在地理上分布的存储服务结点、存储负载均衡调度结点和客户结点组成;②视频信息存储任务的到达是一泊松过程,任务粒度为视频流文件;③存储任务的执行时间服从指数分布;④系统在初始时刻的存储任务有限;⑤与...
关键词: 网络存储 scsi协议 sans 行数据 存储模式 nas 千兆以太网 internet协议 维护成本 块传输
iSCSI是一种在Intemet协议网络上,特别是以太网上进行数据块传输的标准.简单地说,iSCSI可以实现在IP网络上运行SCSI协议,使其能够在高速千兆以太网上进行路由选择.在当前网络存储的需求日益高涨的前提下,由于其标准成熟通用、安装及维护成本较低、良好的可扩展性以及快速高效等特点,性能明显高于当前的DAS、NAS、SANS三种存储模式使其有望成为将...
关键词: 协议 签密 攻击者 安全性 瓶颈问题 归纳 信息 第三方
本文利用签密技术和不经意传递提出一个两方安全乘积协议,同时用归纳的方法得出一个多方安全乘积协议.此协议不需要可信任第三方的参与,从而避免了其导致的瓶颈问题,并且可以防止攻击者篡改信息,提高安全性.
关键词: 安全路由 dsr协议 hoc网络 移动ad 监听 请求消息 安全功能 网络安全问题 分布式 结点
移动ad hoc网络的开放、动态、分布式特性对网络安全问题提出了巨大挑战.本文指出了几种典型安全路由协议的缺陷,并提出了一种新的安全路由协议AMDSR.它采用对路由请求消息进行逐跳认证、端-端完整性检查和监听的方法来扩展DSR协议的安全功能,并确保建立最快速的路径.AMDSR监听邻居结点广播的路由消息而不似传统协议混杂收听所有消息,具有更好的...
关键词: 分组 高速网络 实时 网络测量 可扩展性 网络带宽 细分 采样技术 效果 分析
随着网络带宽的不断提高,分组采样技术作为网络测量的手段越来越受到重视.因为在高速网络中对所有的分组进行实时的统计分析代价太大,而通过分组采样可以大大减少测量的代价,从而具有更好的可扩展性.本文对近来提出的一些分组采样技术进行了系统的分析和研究,主要对它们的原理、精度和效果进行了详细分析,并对其中存在的问题提出了一些改进的措...
关键词: 网格计算 安全机制 ogsa 任务分配 安全体系结构 安全策略 共享 安全认证 安全构架 资源
网格要实现分布资源的共享,必须构建新的安全体系,制定更高要求的安全机制.通过分析网格计算的安全特性和安全策略,研究了网格计算的安全体系结构,讨论了结构中的主要技术和用户任务的安全认证过程.介绍了Globus Toolkit 3(GT3)中安全机制的实现,探讨了Globus Toolkit 3为体现OGSA思想对安全机制和任务分配流程的改进.
关键词: 身份认证系统 扩展性 网络安全 应用系统安全 设计 认证方法 pam 产品 关键问题 手段
当今网络安全越来越受到人们的重视,身份认证作为网络安全的重要组成部分,已成为保证应用系统安全的有力手段.当前的一些身份认证产品的缺点是认证方法单一,缺少扩展性,很难满足不同应用系统的需要.本文提出了一个基于Linux PAM(Pluggable Authentication Modules)的身份认证系统,可支持多种认证方法,而且具有良好的扩展性.本文首先介绍了PAM,讨...
关键词: ldap服务器 备份 证书 存储 pki体系 自定义 目录服务 协议 均衡 优点
本文较深入地介绍了LDAP协议在PKI体系中的应用,主要讲述了如何利用LDAP服务器存储以及备份电子证书.首先简单阐明了目录服务的优点,然后根据存储的需要自定义了LDAP中的属性,并扩展了一个对象类,最后描述了LDAP服务的复制和均衡负载模型.
关键词: 垃圾邮件过滤 过滤方法 查看 算法 中文 综合方法 叠加 辅助 相互结合 分析
本文研究了几种常用的垃圾邮件过滤算法,分析了它们在中文邮件环境中存在的问题.本文根据各算法的优缺点,将它们进行改进、叠加和相互结合,并通过查看发出的邮件内容进行辅助学习,从而建立一个垃圾邮件的综合过滤方法.文章最后对该综合方法的效率做了分析和比较.
关键词: 垃圾邮件过滤 特征项 电子邮件 表示 整体性能 使用 提取方法 正常 泛滥 实验
伴随着电子邮件的广泛使用,垃圾邮件泛滥成灾,严重影响了人们正常的学习、工作和生活.本文提出了一种改进的基于贝叶斯公式垃圾邮件过滤技术.我们采用了基于词熵的特征项提取方法,并且使用特征项单词出现频率来表示向量,推导出相应的贝叶斯计算公式.实验表明,我们的方法使垃圾邮件过滤的整体性能都有明显提高.
关键词: web服务 接口 网格 可扩展 组件 建模 资源 模式 生命周期
Web服务通知(WS-Notification)和Web服务资源框架(WS-Resource Framework,简称WSRF)规范提供可扩展的/预定通知模式和用Web服务为有状态资源(Statefu Resource)建模的能力.本文首先介绍了OGSI和WSRF的关系,WSRF可以简单地看作是OGSI1.0规范中的概念和接口的重写.WSRF通过Web服务资源(WS-Resource)方法来为有状态资源建模,通过WS-Resource方法来...
关键词: xml文档 nxd 存储平台 删除 dbms 存储结构 自主 途径 实现技术
目前,XML文档数据库(NXD-Native XML DBMS)的设计和存储正受到越来越多的关注,这是由于它可以灵活地表示各种数据,尤其是那些关系模式无法表达的复杂的数据.已经有一些NXD产品出现.而对XML文档的存储的好坏直接影响到它的查询效率,基于此我们自主提出了一种高效的XML文档存储平台SDML.详细讨论了它的存储结构和实现细节.特别提出了如何解决具有...
关键词: ogsa 网格技术 编程技术 网格服务 网格应用 体系结构 通用 编写模式 核心 范式
目前,网格技术作为一种新的计算范式正在兴起.网格论坛组织提出的OGSA正成为网格应用的通用和标准化的体系结构,其核心就是网格服务,它是Web Service和网格技术的结合.本文对该体系结构进行了概述,并对网格程序的编写模式进行了归纳和总结.
关键词: 业务规则 理想方案 管理系统 中文 业务分析 设计 灵活 企业 客户服务 业务控制
业务规则管理是实现企业灵活多变的业务控制和客户服务的理想方案.本文介绍了业务规则管理系统的基本思想,并面向业务分析人员设计了一种受限中文业务规则语言,实现了一个轻型业务规则管理系统.
关键词: 市场模型 资源 中资 经济模型 经济学 需求 作业调度 网格计算 描述语言 扩充
网格计算市场模型是把经济学的概念应用到网格的资源管理和作业调度中的模型.本文分析了网格计算市场模型中资源和作业描述语言的需求,简要介绍了资源和作业描述语言Classified Advertisements(Classad),指出它在网格计算市场模型中描述资源和作业的不足之处,对它做了相应的改进和扩充,以实现在经济模型下对资源和作业更加灵活、细粒度的描述.
关键词: 电子支付协议 电子支付系统 电子交易 最新发展 签署 原子性 实现策略 两阶段提交 实现方法 描述
原子性是设计电子支付协议时应考虑的重要性质.文章介绍了电子支付系统的原子性概念,分析了一些重要电子支付协议的原子性,论述了原子性电子支付协议的实现策略,描述了两个著名的原子性电子支付协议--NetBill和Anonymous Atomic Transaction Protocol的协议实现,基于两阶段提交策略提出了一种新的原子性实现方法并用于构造原子性电子合同签署协...
关键词: 科学数据库 基于内容 多媒体检索 多媒体数据 系统 存储 检索技术 多媒体资源 检索方法 特点
科学数据库中存在大量的多媒体数据,为了实现对多媒体内容的有效存储、管理和检索,基于内容的多媒体综合检索技术将成为技术研究的重点.本文首先分析了科学数据库多媒体资源的特点和对多媒体内容管理的需求,然后探讨了基于内容的多媒体检索技术的原理、特点和检索方法.最后提出了科学数据库多媒体检索系统的一套设计方案,并说明了该体系的结构和...
关键词: 用户查询 表示方法 ddl 描述 通用性 领域 多媒体内容 多媒体信息检索 标准化
随着ISO MPEG-7标准在多媒体信息检索领域的深入应用,如何描述用户的查询信息需求变得越来越重要,本文提出一种新的用户查询需求的表示方法.该方法的主要特点是充分考虑MPEG-7标准对多媒体内容的标准化描述特性,因此对用户提交的信息需求具有很强的表达能力和较好的通用性.
关键词: 基于内容 企业网站 海量信息 生成方法 自动化 网站建设 管理 技术 需求
本文首先介绍了三代网站建设技术的特点,结合第三种技术,提出了一种基于内容管理的网站自动化生成方法,并对该方法进行了全面的分析.同时开发和实现了一个基于内容管理的网站自动化系统.结果表明,该系统大大降低了企业网站的管理及维护成本,同时保证了信息的及时性及海量信息的需求.
关键词: adl 研究现状 分析 研究进展 主要问题 软件体系结构 描述语言 支持工具 表示 项目开发
软件体系结构描述语言ADL(Architecture Description Language)为软件体系结构的表示和分析提供了语言符号和支持工具.目前,已定义的ADL超过20种,新的ADL还在不断出现.然而,各种ADL并没有在实际项目开发中得到真正的推广.为了明确ADL的研究进展情况,分析了ADL的研究现状,讨论了ADL研究中存在的主要问题及解决思路.
关键词: 嵌入式实时软件 需求建模 操作语义 交互行为 嵌入式实时系统 软件需求 形式语义 语言 严格 支持
针对嵌入式实时系统复杂动态交互行为和严格实时的领域特征,提出了一种软件需求规约语言RTRSM*.该语言以扩充的层次并发有穷状态机HCA为核心,以支持合成的模板为基本组成单元,利用转换有效期和事件预定机制来描述时间限制,既具有较强的时间限制描述能力,又能自然而直接地支持交互行为的建模,可执行且具有良好的形式语义.给出了该语言的形式化语...
关键词: petri网 工作流建模 正确性 工作流模型 算法 工具 使用 图形表示 定义
目前用于工作流建模和分析的工具很多,Petri网以其坚实的数学基础、直观的图形表示受到大家的青睐.本文介绍了如何使用WF-Net建立工作流模型,并根据Aalst给出的WF-Net正确性定义提出了一个算法,用来检查该WF-Net的正确性.
关键词: 软件开发方法 敏捷开发 应用实例 过程 自主 主要特征 传统 强调 代表性
敏捷(agile)软件开发方法是近几年来新兴的一种软件开发方法,它的主要特征是允许对过程进行自主调整,并且强调软件开发中人的因素,和传统开发方法有着很多不同.本文对这一新的软件开发方法作一些简单的讨论,简要介绍了其中有代表性的几种方法,并给出了自己的一个应用实例.
关键词: 分离问题 角度 研究综述 观点 核心问题 理解 综合 软件工程 软件开发 问题求解
数十年以来,关注分离问题一直是软件工程的核心问题之一,关注分离是将软件分解成可管理、可理解的部分并将之组织起来的主要动力.本文综合了现有的关注分离的研究工作,分析了对于关注这一个概念的两类观点,并从问题求解的角度给出了关注以及关注分离的定义.论述了在软件开发周期各个阶段从关注分离角度需要考虑的问题、策略和当前的研究热点.
关键词: 读写 分布式文件系统 自适应 分布系统 系统开销 网络流量 存放位置 管理机制 自主 实际
本文提出了一种新颖的基于访问频率的分布式文件系统自适应动态副本管理机制:FSRM(Frequency Sensitive Replica Management).在FSRM中,节点周期性地扫描本地副本读写情况,根据系统对文件读写模式的变化,自主决定本地副本的增删或迁移,以调整文件副本数量以及副本存放位置,提供更高的系统性能,减少网络流量.同时,FSRM中各副本对应的扫描周期长度...
关键词: 工作流过程定义语言 工作流管理系统 模板 工作流技术 接口 可重用性 可扩展性 企业业务流程 动态 机制
随着工作流技术在企业业务流程管理中的广泛应用,人们对工作流管理系统的描述能力和动态变更能力提出了更高的要求.针对目前的工作流过程定义方法在这两个方面的不足,本文提出了一种基于模板机制的工作流过程定义方法.该方法在现有的工作流过程定义模型的基础上,加入了新的过程模板和活动接口元素.本文由此扩展了工作流过程定义语言,增加了支持...
关键词: 软件风险 全面管理 风险识别 风险控制 软件项目 风险评估 计划 cmmi 跟踪 模型
大型软件项目在开发过程中经常会伴随一些风险,而这些风险往往会对项目造成不利的影响,因此需要对风险进行管理.在CMMI模型中,在严格定义级给出了一个软件风险管理的过程域,本文介绍的软件风险管理实现就是基于这个规范的.该实现把软件风险管理分成五个步骤:风险识别、风险评估、风险计划、风险跟踪和风险控制,进而对风险进行全面管理.
关键词: 软件包 分布式并行计算 数值 面向对象技术 设计方案 高性能 灵活 优秀 角度 重要意义
本文主要关注于高性能数值软件包的设计方案研究.在指出优秀数值软件包的几个重要特征之后,阐明了面向时象技术的引入对于设计灵活易用的数值软件包的重要意义.本文尤其着重于分析阐述基于分布式并行计算的高性能数值软件包的设计考虑,从综合的角度提出了一套框架性的设计方案.
关键词: 远程学习 远程教育 交互 学习时间 学习效率 学习兴趣 学习者 实时 原型系统 视频
发展远程教育的最大障碍就是缺乏实时交互性.本文通过把音频、视频及Seminar三者结合在一起,提出一种实时交互的远程学习系统,不仅节省了学习者的学习时间,而且提高了他们的学习兴趣及学习效率.
关键词: 元计算 程序 设计 动态 系统 模型 高效率 编写 可能性 展示
本文考虑如何设计高效率(即重写步数较少的)重写型程序.文中以计算Fibonacci数列的程序为例,比较具有相同功能的重写型程序,展示编写高效率重写型程序的可能性.介绍利用动态项重写计算编写高效率重写型程序的直观、简洁的方法.其中,动态项重写计算是项重写系统的元计算模型,其计算同样基于项重写.
关键词: 星星 综合 证明 特点 定义 应答 有效性 信号 小卫星 硬件结构
本文分析了小卫星星务综合模拟测试系统的特点和性能,借助模拟测试系统的硬件结构,给出了动态的请求/应答关系并且讨论了监测数据信号的定义和解决方法.通过小卫星,介绍了该方法的实现且证明了其有效性.
关键词: 软件测试方法 构件软件系统 规格说明 交互图 开发方法 建模 构架 cbd 挑战 基础
基于构件的开发方法(CBD)的提出和大量应用,对传统的测试技术提出了新的挑战.本文通过对CBD方法及特点的研究,提出了CBD软件的测试样式,通过构件规格说明构架和构件交互图对构件间交互关系建模,并在此基础上给出了构件软件系统的测试技术和方法.
关键词: 安全模型 计算机安全 进程代数 访问控制 信息流 框架 干扰 定义 概念 本质
与基于访问控制的形式安全模型相比,基于信息流的安全模型对于定义什么是安全来说更为本质.自提出信息流的无干扰概念以来,信息流模型成为安全研究的中心之一,并提出了多种无干扰信息流模型.本文基于进程代数框架研究这些模型,并给出了一些新的结果和证明.
关键词: 量子算法 归结 离散对数问题 公钥密码体制 椭圆曲线 快速 描述 子群 求解 基本思想
很多快速量子算法都可以归结为隐子群问题的讨论,本文回顾了隐子群问题量子算法的基本思想,分析了群上量子算法的优越性.分析了可以归结为隐子群问题的公钥密码体制,描述了求解椭圆曲线上离散对数问题的量子算法,讨论了隐子群问题量子算法的局限性.
若用户需要出版服务，请联系出版商，地址：重庆市北部新区洪湖西路18号，邮编：401121。