计算机学报杂志

发表咨询:400-808-1731

订阅咨询:400-808-1751

计算机学报杂志 北大期刊 CSCD期刊 统计源期刊

Chinese Journal of Computers

  • 11-1826/TP 国内刊号
  • 0254-4164 国际刊号
  • 3.18 影响因子
  • 1-3个月下单 审稿周期
计算机学报是中国计算机学会;中国科学院计算技术研究所主办的一本学术期刊,主要刊载该领域内的原创性研究论文、综述和评论等。杂志于1978年创刊,目前已被数学文摘、上海图书馆馆藏等知名数据库收录,是中国科学院主管的国家重点学术期刊之一。计算机学报在学术界享有很高的声誉和影响力,该期刊发表的文章具有较高的学术水平和实践价值,为读者提供更多的实践案例和行业信息,得到了广大读者的广泛关注和引用。
栏目设置:研究论文与技术报告、短文、学术通信、学术活动、中国计算机学会学术动态

计算机学报 2008年第10期杂志 文档列表

计算机学报杂志综论
网络保护质量研究1667-1678

摘要:随着人们的网络安全意识不断增强,迫切需要一套可度量、可量化的指标来评价系统安全保护的质量.作为网络安全领域的一个新概念,网络保护质量(Quality of Protection,QoP)能为不同的用户和业务提供不同等级的安全保证,满足日益复杂网络环境下的安全需求,在国内外受到广泛关注.文章综述了不同应用背景下QoP的含义,提出了QoP的定义及其评价指标,分析了目前QoP的体系结构、评价模型及实现机制,并对今后的研究方向进行了展望.

计算机学报杂志研究论文
高速长距离光网络传输协议性能分析1679-1686

摘要:随着光网络技术、IP与光融合等技术的发展,互联网领域出现了高速长距离光网络.中美俄环球科教网络(GLORIAD)是个典型的高速长距离光网络.在基于GLORIAD的测量和实验中,发现带宽利用率存在瓶颈,通过进一步分析高速长距离光网络的特点和传输协议TCP的机制,发现了以TCP协议机制为主的影响传输性能的原因.文章对此进行了比较全面的分析和阐述,并提出了TCP协议改进思路和进一步研究方向.

受限网络中基于转发历史异步路由及中继数量研究1687-1694

摘要:由于节点的移动性、稀疏链路和节点的不可靠,受限网络节点之间在大部分时间处于断开状态,现有的同步路由方法不能适用这种实际情况,所以必须从异步角度来考虑这类网络环境下的路由问题.文章完全从异步的角度思考无线自组织网中的路由问题,利用分组转发的历史信息智能做出路由决策,并研究中继节点数量对性能的影响,以减少由于复制大量分组而产生的网络流量.文章详细介绍了作者提出的方法,并通过仿真实验和一些相关算法进行比较,分析算法性能.

基于DHT的P2P系统中高可用数据冗余机制1695-1704

摘要:在基于DHT的P2P系统中需要采用冗余机制以保证数据的高可用性.文中结合用户下载行为来衡量数据存储与共享系统中的不同冗余机制.此外,作者提出了一种混合式的数据冗余策略,它兼具传统的复制策略和分片冗余策略的优点.实验表明,复制策略虽然比分片冗余策略需要更多的存储空间,但当节点平均可用性高于47%时,更节省网络维护带宽.混合式冗余策略在各种网络环境中均能较传统冗余策略更节省网络带宽,并且冗余因子适中.

一个公平的多方不可否认协议1705-1715

摘要:实用的多方不可否认协议必须具备存活性、公平性、时限性、无排斥性和保密性.文中指出现有典型协议,如KM,OZCL和OZL均无法提供时限性和无排斥性,而且易遭受服务失效等攻击,致使它们不能成为实用的协议.为此,给出一个新协议NKM,其基于无需全局时钟同步机制支持的时间段概念实现时限性,借助双重群加密技术确保具备保密性的同时不丢失无排斥性,利用证据链技术既可高效维护协议证据,又能避开服务失效和重放攻击;同时还形式化验证了该协议的安全性,并对协议部署时将牵涉到的安全问题进行了考虑.与现有协议相比,NKM在安全性和性能方面均存在优势,可成为实用的协议.

网格服务可管理性模型及策略研究1716-1726

摘要:随着网格技术和应用的不断发展,一些关键领域或业务应用场景要求网格系统提供更好的服务质量(QoS),而具有较高可管理性的服务管理策略可以在提供较高服务质量的同时减小系统的开销.文中提出了网格服务的干扰和可管理性的形式化描述及量化计算方法,并建立了描述干扰发生过程的网格系统随机Petri网(SPN)模型.之后文章对服务管理策略进行了分类研究,并根据SPN模型的仿真计算结果,对各类策略对网格服务的干扰情况的影响以及对网格服务可管理性的量化评价结果进行了比较和分析,为具有高可管理性的策略的设计提供依据.

一种面向多核DSP的小容量紧耦合快速共享数据池1737-1744

摘要:该文结合片上便笺式存储器(SPM)的结构特点,提出了一种面向异构多核DSP的新型小容量紧耦合共享存储结构——快速共享数据池(FSDP).FSDP在存储层次上与一级Cache平行,可以被访存指令直接访问,采用多体并行的结构、交叉访问模式和基于硬件信号灯的自动同步机制,支持多个DSP核的并行访问与快速的核间数据交换,两核之间交换单个数据只需4拍.该文构建了FSDP的模拟模型,并进行了RTL级设计实现和分析.多种典型测试程序的验证表明,FSDP对于DSP核间细粒度共享数据的传输具有很高的效率,相比同类的VS-SPM结构能够将程序性能提高37%,与传统的共享数据Cache结合使用能够将异构多核DSP的性能提高13%.

基于区域平均执行时间和数据依赖信息的可能并行区域识别1745-1753

摘要:随着多核处理器逐渐成为处理器发展的新趋势,为了持续提高程序性能,必须并行执行应用程序.传统的自动并行技术能够很好地并行科学计算应用中的规则循环,但对于含有大量函数调用和指针引用的不规则程序,目前还不能有效地对其实施并行.针对这一现状,文中提出了基于区域平均执行时间和数据依赖信息的可能并行区域识别方法来对一些不规则程序实施高效并行,主要贡献如下:(1)自动识别程序中的多种并行性,不仅包括传统并行性分析中的循环迭代间的细粒度并行性,而且也包括传统并行性分析尚不能有效处理的循环体和函数调用点间的粗粒度并行性.对于程序中蕴含的众多并行性,文中基于区域平均执行时间实施收益分析来选择合适的并行区域实施并行;(2)自动识别可能并行区域间数据依赖关系的数量、类型以及导致数据依赖关系的程序变量.基于文中的分析结果,作者使用面向行为的投机并行系统(behavior oriented parallelism)对SPEC2006中的4个测试用例实现了并行化.并行化后的程序在Intel和AMD多核处理器上分别得到了300%和260%的平均性能加速.

供应链环境下通用可组合安全的RFID通信协议1754-1767

摘要:供应链管理是RFID技术的主要应用领域之一,但是目前该领域对基于RFID技术的安全机制还没有较深入的研究.供应链环境的特定安全需求决定了无法直接应用已有的各种RFID安全机制.该文定义了供应链环境下RFID通信协议必须满足的安全需求,提出了一个可以满足这些安全需求的通用可组合安全模型,设计了一个可以实现该模型的轻量级RFID通信协议.协议的设计和证明采用模块化的方法,并可以保证在复杂网络环境下的安全运行.文章进一步对不可链接性进行了形式化定义,并根据安全属性对典型的RFID通信协议进行分类.

基于本地虚拟化技术的隔离执行模型研究1768-1779

摘要:程序隔离执行是一种将被隔离代码的执行效果与其它应用隔离的安全机制.但是目前的相关研究无法在PC平台下兼顾操作系统隔离与被隔离代码的可用性.针对这个问题,文中提出并实现了一种新的名为SVEE(Safe Virtual Execution Environment)的隔离执行模型.SVEE具有两个关键特性:一是借助基于本地虚拟化技术的系统级虚拟机(SVEEVM)有效实现了非可信代码与宿主操作系统的隔离;二是利用本地虚拟化技术实现了宿主机计算环境在SVEEVM内的重现,保证了被隔离程序在SVEEVM中与在宿主操作系统内的执行效果的一致性.因此,SVEE在保护了宿主操作系统安全的同时,兼顾了隔离执行代码的可用性.测试证明,对于计算密集型应用SVEE虚拟机的性能达到了本地性能的91.23%~97.88%,具有很好的可用性.

一种基于密度的自适应最优LDA模型选择方法1780-1787

摘要:主题模型(topic models)被广泛应用在信息分类和检索领域.这些模型通过参数估计从文本集合中提取一个低维的多项式分布集合,用于捕获词之间的相关信息,称为主题(topic).针对模型参数学习过程对主题数目的指定和主题分布初始值非常敏感的问题,作者用图的形式阐述了LDA(Latent Dirichlet Allocation)模型中主题产生的过程,提出并证明当主题之间的相似度最小时模型最优的理论;基于该理论,提出了一种基于密度的自适应最优LDA模型选择方法.实验证明该方法可以在不需要人工调试主题数目的情况下,用相对少的迭代,自动找到最优的主题结构.

模糊有穷自动机与单体二阶Lukasiewicz逻辑1788-1794

摘要:该文引入了单体二阶Lukasiewicz逻辑,进而给出了模糊有穷自动机识别语言的逻辑描述,证明了多值逻辑意义下的Buchi与Elgot基本定理.通过引入星-自由模糊语言与非周期模糊语言,刻画了可以用一阶Lukasiewicz逻辑定义的模糊语言.

基于个性特征仿真邮件分析系统挖掘犯罪网络核心1795-1803

摘要:数据挖掘应用于犯罪集团或恐怖组织社会网络分析是一种新兴的研究方法,国内外在分析犯罪和恐怖组织之间通信行为方面的研究工作亟待深入.为了模拟社会网络中个体利用电子邮件进行通信的规律,设计了一种基于个性特征的仿真邮件分析系统MEP,提出一种利用个性特征判别矩阵计算个性特征矢量各个维度权重的新方法,借助符合用户个性特征的正态分布模型模拟真实的邮件通信行为.为了挖掘犯罪网络的核心成员,提出了一种基于社会网络分析挖掘犯罪组织核心成员的算法CNKM(Crime Network Key Membermining),并利用时间序列分析方法对邮件的收发规律进行深入分析,发现异常通信事件.实验证明了该文提出的仿真邮件分析系统的有效性和实用性,模拟邮件通信的平均误差小于10%,并验证了CNKM算法的有效性.

产品开发过程中的数据流建模与分析1804-1813

摘要:通过分析产品开发过程管理中各种数据的特征,指出数据流建模和分析在面向产品开发过程的工作流管理系统中格外重要.基于提出的工作流模型,开发了一种面向版本控制的数据流模型,它支持包含任意环的过程结构.引入变量影响列表描述这种数据流模型并给出该模型正确性分析的方法.能够适应面向产品开发过程的工作流管理系统中数据管理的需求.

基于贝叶斯网络的多阶段系统可靠性分析模型1814-1825

摘要:针对多阶段系统(PMS)的可靠性评估问题,提出了一种基于贝叶斯网络(BN)的可靠性分析模型PMS-BN.PMS-BN模型首先为每个阶段构建各自的BN,其结果命名为phase-BN.为了描述阶段之间的相关性,将所有phase-BN中表示同一部件但属于不同阶段的根节点用有向边连接,并且将所有phase-BN中的叶节点与一个新的表示PMS系统的节点用有向边连接,从而构建出用于刻画PMS系统的BN,称之为PMS-BN.将各个阶段时间离散为m个时间段,利用BN推理算法获得PMS的可靠性参数.通过2个实例详细阐述PMS-BN的建模过程.PMS-BN模型为PMS可靠性分析提供了一种新的策略,能够方便地实施系统可靠度计算、故障诊断、重要度分析等应用.若构建的PMS-BN满足所有非根节点均具有2个父节点,则PMS可靠度的求解过程仅需O(Nm^3)的计算复杂度,其中N为非根节点的个数.

混合定变长码的测试数据压缩方案1826-1834

摘要:文章提出了一种混合定变长码的测试数据压缩方案,该方案可以有效压缩芯片测试数据量.此压缩方案将代码字拆分为固定长度的首部和可变长度的尾部两部分.首部固定使解压过程简单,硬件开销小;尾部可变使编码灵活.同时采用了将尾部最高位隐藏的方法来进一步提高压缩率,还使用了特殊的计数器来进一步简单化解压电路.对ISCAS89部分标准电路的实验结果显示,文中提出的方案在压缩效率和解压结构方面都明显优于同类压缩方法,如Golomb码、FDR码、VIHC码、v9C码等.

基于DPSO的改进AO^*算法在大型复杂电子系统最优序贯测试中的应用1835-1840

摘要:针对大型复杂电子系统最优序贯测试问题,提出一种基于离散粒子群算法(DPSO)和改进AO^*算法相结合的方法.DPSO优化AO^*算法中每个要扩展节点的测试集从而减少测试个数;改进AO^*算法通过规定扩展节点估价值的范围,减少其回溯次数.实例验证表明,该算法不仅有效地降低了计算复杂度,大大减少测试代价,缩短测试时间,而且避免了原有AO^*算法当备选的测试集太大时容易出现“计算爆炸”的缺点.

移动环境下支持实时事务处理的数据预取1841-1847

摘要:随着移动通信技术的迅速发展,人们提出了新的应用要求:在移动环境下处理实时事务.而移动通信带宽有限性引起较大的数据访问延迟,有时甚至由于网络传输的断接使得事务得不到所需要的数据,数据预取能够很好地解决这个问题.已有的移动环境下数据预取没有考虑到数据的流行性和事务的时间特性.该文分析影响实时事务数据预取的因素,首先考虑数据易变性、活跃性等因素,获得高价值预取数据集合;然后考虑访问预取数据的事务优先级、数据流行性等因素,构造预取数据的选择函数,通过该函数在前面选取的集合中筛选出对满足实时事务截止期更有价值的数据对象进行预取.实验表明,该数据预取策略能降低移动实时事务满足截止期的比率,更好地支持移动实时事务处理.