计算机科学杂志

发表咨询:400-808-1731

订阅咨询:400-808-1751

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

Computer Science

  • 50-1075/TP 国内刊号
  • 1002-137X 国际刊号
  • 0.94 影响因子
  • 1-3个月下单 审稿周期
计算机科学是国家科技部西南信息中心主办的一本学术期刊,主要刊载该领域内的原创性研究论文、综述和评论等。杂志于1974年创刊,目前已被维普收录(中)、北大期刊(中国人文社会科学期刊)等知名数据库收录,是国家科学技术部主管的国家重点学术期刊之一。计算机科学在学术界享有很高的声誉和影响力,该期刊发表的文章具有较高的学术水平和实践价值,为读者提供更多的实践案例和行业信息,得到了广大读者的广泛关注和引用。
栏目设置:网络与通信、信息安全、软件与数据库技术、人工智能、图形图像与模式识别

计算机科学 2010年第12期杂志 文档列表

计算机科学杂志计算机网络与信息安全
一种支持通道信息关联的多媒体数据流过滤模型22-25

摘要:多媒体数据流包含多种数据形态(文本、图片、音视频)和多种通道信息(地址信息、链接信息、时间和会话信息等)。多媒体数据流通道之间具有一定的内容相关性。以往对多媒体过滤的相关工作局限于单一的数据模态,不支持不同模态信息的融合过滤和不同数据通道间的关联过滤。提出了一个新的支持多模态融合过滤和多通道联合过滤的多媒体数据流过滤模型(简称为MCFMS模型)。在真实多媒体数据流上的实验结果证明,在复杂数据流环境下,MCFMS模型可以有效地进行多模态融合过滤和多通道联合过滤。

Apache Web服务器中基于LTI模型的多服务类别比例延迟控制26-29

摘要:通过系统辨识建立了Apache Web服务器的线性时不变(LTI)模型,用于描述两类Web客户连接的连接延迟比与服务线程比间的关系,并针对此LTI模型,设计了一个控制器。此控制器通过动态分配服务于不同类别连接的服务线程的数量,可实现Web服务器端的比例延迟保证,并进一步将此区分服务的控制模型扩展到了面向多个连接类别,通过多个控制器实现了相邻两个客户连接类别的比例延迟保证。仿真表明,即使过载状态下并发客户连接的数目急剧变化,闭环系统中的Web服务器也能为多个客户连接类别提供比例延迟保证。

DQ-MAC:一种基于区分服务的WSN信道访问机制30-34

摘要:针对现有无线传感器网络MAC协议不能提供数据业务优先级区分的问题,在充分分析S-MAC协议的基础上,提出了一种基于区分服务的MAC协议改进机制——DQ-MAC(Diffserv-based QoS-aware MAC)。其基本思路是让高优先级数据有更多的侦听时间,使高优先级数据传输的机会是低优先级的两倍,达到了减少高优先级数据的传输时延的目的,从而确保了高优先级数据业务的传输性能。相关分析结果表明,该机制使高优先级数据业务拥有更高的吞吐量,并且降低了高优先级业务的平均服务时延。

基于机器学习的IP流量分类研究35-40

摘要:IP流量分类是Internet研究和流量工程的重要基础,近年来网络应用类别和Internet流数量在快速增长。流量分类技术不断面临新的挑战。对基于机器学习的IP流量分类方法进行了系统性研究。给出了这类流量分类方法的数学描述;通过深入研究有监督和无监督机器学习方法在流量分类中的应用,从数据预处理、模型构建和模型评估3个方面评述这类技术的研究现状,并指出存在的问题;总结得出现阶段基于机器学习的IP流量分类技术存在数据偏斜、标识瓶颈、属性变化和实时分类等4个方面的共性问题;最后展望了流量分类技术的未来发展方向并介绍了作者正在进行的工作。

基于CSP的学习智能导航服务模型与算法研究41-46

摘要:研究了在网络学习平台中如何为自主学习者提供学习活动智能导航服务的问题。目前,为了进一步满足虚拟学习环境中学习者的个性化需求,笔者所在课题组开发的网络学习系统中采用了基于知识点的学习路径生成算法和资源组合算法,从而能为不同学习者从资源库中提取出个性化的学习内容包。然而,在实际使用中笔者发现,学习者虽然获得了符合需求的学习内容,其学习效果仍然缺乏有效的保障。原因在于学习过程实质是由学习活动而非静态的学习内容组成的,在学习过程中学习者应该根据教学规律和自身特点,有步骤地完成一系列学习子任务,才能保证最后的学习效果。为此,在以往的知识点关系层之上建立了学习活动层,并将学习活动的调度问题转化为了CSP问题模型,并提出了相应的求解方法。实验表明,该方法能够生成符合预期目标的学习任务调度,从而实现学习活动的智能导航服务。

基于多亲树的RBAC角色可视化管理47-52

摘要:基于角色的访问控制(RBAC)被广泛地应用于各类复杂信息系统中,通过对用户指派角色进行授权以访问系统中的特定数据或资源。一些问题已在应用过程中逐渐暴露:如何较好地展现角色层次关系、用户角色指派和角色指派中约束如何体现、冗余的角色授权如何检测与解除等。从可视化的角度采用层次信息可视化技术来辅助RBAC中的角色管理。首先阐述了所研究的问题,并定义了可视化过程中使用的多亲树结构;然后给出一个多亲树规范化过程,以建立一个符合可视化要求的标准角色层次;随后提出一种双层可视化范例来展示角色管理过程,其中下层用于展示角色层次和权限,上层用于配置用户节点;此外,针对所述问题给出若干交互方法,以可视地辅助解决角色管理中的约束和冗余问题。

分数频率复用的帧结构及性能分析53-56

摘要:针对现代无线通信系统在干扰控制方面越来越高的要求,利用通信帧中子载波的重新分配,提出了帧结构设计中一种新的分数频率复用方法——时频分分数频率复用,并将其与传统的分数频率复用方式进行比较。这一新方法是在对系统容量进行建模之后,综合资源块分配中的时分和频分模式提出的,其对应的帧结构相对于传统的FFR具有更高的调节粒度。实验结果验证了这种设计以少量系统容量为代价,在提升系统公平性、提高边缘用户吞吐率方面的性能优势。

基于Logistic与标准映射的数字图像加密算法57-59

摘要:基于Logistic和标准映射,提出了新的数字图像加密算法。首先利用离散混沌系统初值敏感性、参数敏感性和具有白噪声统计特性的特点,结合Logistic映射和标准映射设计了置乱变换系统,这种置乱是依赖于密钥的。接着通过一种替代变换使置乱后图像的像素灰度值改变并产生互相依赖,即将每一像素值扩散到其它像素中去。这样,加密算法便具有置乱、替代、扩散等加密系统的基本要素。实验仿真和分析表明,该算法密钥空间大,易于实现,有较好的加密效果和统计特性。

基于路径可行距离的流量调整算法60-62

摘要:针对现有多路径流量调整算法的负载不均衡问题,提出一种改进的流量调整算法(IAH,Improved Adjust-ment Heuristic)。它将反映网络均衡性的全网信息和局部信息的结合使用,根据路由信息中路径可行距离的变化,遵循距离远的路径能力差和距离近的路径能力强的原则来调整流量,使多路径中流量与相应的可行距离匹配。仿真结果表明,IAH算法比AH算法更晚出现丢包,其丢包率性能整体上要优于AH算法,即IAH算法的负载均衡性优于AH算法。

基于二进制粒子群算法的异构传感器网络成本最优节点部署机制63-66

摘要:节点部署作为无线传感器网络应用的一个核心问题,是保证网络服务质量的重要手段。针对异构传感器网络节点的高密度部署和监测目标的非均匀分布的情况,提出一种基于二进制粒子群算法的异构节点成本优化部署方法。该算法在满足区域节点部署要求的条件下以最小化传感器节点的部署成本为目标函数进行优化操作,以达到降低网络冗余、提高网络服务质量的效果。仿真结果表明,该算法能快速收敛于最优解,能够降低网络部署的成本,提高网络中目标监测的质量。

一种采用流切割实现报文保序的负载均衡算法67-69

摘要:网络链路过载或链路失效时,使用负载均衡技术可以避免网络发生拥塞。负载的分派粒度决定了负载均衡系统的均衡性能。分派粒度越细,均衡效果越理想。基于包水平粒度的负载分派可以实现理想的均衡性能,但是会造成同一TCP业务流中报文乱序;基于流水平的分派可以保证报文不乱序,但均衡效果不理想。提出了按照报文段粒度分派负载的FSLB算法。仿真实验表明,该算法可避免报文乱序并能达到较理想的均衡效果。

基于移动自组网的服务发现体系结构设计70-75

摘要:移动自组网络(MANET)是自治的无基础设施的网络,在此基础上进行的服务发现体系有别于传统的服务发现体系,需要从网络传输、服务注册以及服务发现等方面充分考虑移动无线网络和移动设备的特性。现有的基于有线网络或者单点自组网络协议的相关服务技术标准及协议用于MANET存在很大的局限性和不足。充分考虑移动自组网中设备的移动性和网络环境的不稳定性后,提出了一个基于分簇的体系架构设计,并在该体系架构中就服务传输协议、面向容错的分簇策略、非集中式的服务注册和服务发现机制等方面提出了针对性的设计方案。仿真结果显示,在移动自组网的特殊网络和设备环境下,这一新的体系架构和相关服务发现策略从服务匹配准确度、反馈时间等方面都优于传统方式的服务描述模式和服务发现机制。

现代支付系统信息安全的反欺诈监测模型研究76-80

摘要:计算机技术、通讯技术的迅猛发展与金融支付方式的信息化创新,使中国现代支付系统既越来越高效便捷,也面临日益加剧且监测颇难的金融信息安全威胁。这种威胁会影响我国现代支付系统信息化进程,还将影响国家金融命脉的信息安全与稳健发展。为此,提出了一种现代支付系统信息安全的反欺诈监测模型,该模型基于计算机链路挖掘新技术对现代支付系统海量信息进行动态反欺诈监测。对现代支付系统主要支付工具之一的信用卡进行反欺诈监测模拟的结果表明,该模型对提高信用卡欺诈判别的动态性、准确性和有效性,降低现代支付系统金融风险具有积极的意义。

计算机科学杂志软件工程
Bench4Q:一种面向服务质量的电子商务测试基准设计与实现81-84

摘要:作为电子商务系统的基础运行平台,应用服务器提供的服务质量是关注焦点,然而目前主流的电子商务测试基准如TPC-W,主要关注性能度量,缺乏针对电子商务服务质量需求的设计,使得其难以准确地评价应用服务器提供的服务质量。提出了一种面向服务质量的电子商务测试基准Bench4Q,它在模拟负载仿真、度量分析等多个方面对TPC-W进行了扩展,并通过对典型的应用服务器的测试展示了Bench4Q的设计特征。

面向访问验证保护级的安全VMM形式化原型系统设计和实现85-90

摘要:操作系统是计算机软件系统的基础,具有控制逻辑复杂、安全性和可靠性要求高等特点。在国内外高等级安全操作系统的规范和标准中,都提出了对内核进行形式化规范和验证的要求。近年来国内相关研究机构相继开发了满足GB 17859-1999"强制访问控制级"和"结构化保护级"的安全操作系统原型,但对更高级别的安全操作系统的研发尚属空白。在"面向访问验证保护级安全操作系统"课题的研究中,设计并实现了一个基于Haskell的安全VMM原型系统——CASVisor。CASVisor严格定义了系统的形式化规范,可用于指导高性能的C程序的实现,并为形式化的分析和验证打下基础,同时CASVisor具备模拟功能,以便实施基于快速原型的开发方法。

CILinear:一个线性不变式自动构造工具91-95

摘要:构造不变式是程序验证的重要组成部分,而开源工具Interproc能对简单的程序设计语言构造线性不变式。基于Interproc和C程序编译工具CIL,针对简化的C程序设计并实现了自动构造数值型程序变量线性不变式的工具CILinear,并与Interproc进行了比较。实验表明CILinear能有效地构造线性不变式,并且比Interproc支持的语法更多。通过实例讨论了CILinear在程序验证中的实际应用。

WF-net模型到PNML的转换方法研究与实现96-98

摘要:Petri网标记语言PNML是一种基于XML的支持不同Petri网工具之间文件交换的标准格式,对于解决不同Petri网变种之间的互操作性问题具有重要意义。工作流网WF-net是用于工作流系统建模和定性、定量分析的重要形式化技术之一。工作重点是将WF-net模型转换为PNML格式。首先,在标准PNML元模型的基础上,通过元素扩展提出WF-net的PNML元模型。然后,依据元模型,提出WF-net模型中各元素到PNML格式的转换规则,包括起始/结束库所转换、四种触发器转换和四种分支/合并结构转换。最后设计并实现了WF-net描述到PNML描述自动转换的工具软件。这些工作为Petri网标准交换格式的制定做了有力的探索。

面向不确定需求的适应性软件体系结构设计99-105

摘要:需求不确定性是软件开发的主要风险来源之一。首先讨论了不确定需求的含义、产生的原因及其影响;然后分析了需求与软件体系结构的关系;指出了软件体系结构对满足需求和控制软件风险的重要性;提出了在不确定需求的情形下,需求分析与体系结构设计的协同建模方法及适应性软件体系结构的设计思想;论证了不确定需求情形下软件体系结构的演化过程,以保障生命周期内软件产品质量的开发思路。