计算机工程与科学

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

Computer Engineering & Science

杂志简介:《计算机工程与科学》杂志经新闻出版总署批准,自1973年创刊,国内刊号为43-1258/TP,是一本综合性较强的计算机期刊。该刊是一份月刊,致力于发表计算机领域的高质量原创研究成果、综述及快报。主要栏目:算法研究、图形与图象、计算机网络、神经网络、仿真技术研究、人工智能、研究与实现、试题选载与博士论文摘要

主管单位:国防科技大学
主办单位:国防科技大学计算机学院
国际刊号:1007-130X
国内刊号:43-1258/TP
全年订价:¥ 624.00
创刊时间:1973
所属类别:计算机类
发行周期:月刊
发行地区:湖南
出版语言:中文
预计审稿时间:1-3个月
综合影响因子:1.27
复合影响因子:0.79
总发文量:4401
总被引量:19216
H指数:38
引用半衰期:4.8358
期刊他引率:0.9643
平均引文率:11.3712
  • LINUX下一种安全的SSLVPN设计与研究

    作者:余胜生; 王勇 刊期:2006年第01期

    结合SSL VPN的实现,本文介绍了SSL的概念和协议,详细阐述了一种SSL VPN服务器的具体架构设计与实现。SSL VPN能够提供更安全的连接。

  • 组合Web服务的分散协调模式

    作者:徐正权; 杨文军 刊期:2006年第01期

    本文针对组合Web服务的集中协调模式的弊端,分析了组合Web服务的分散协调模式的优点,并结合在BPWS4J运行环境下的具体例子,讨论分析了分散模式下系统构造期和运行时所面临的问题及解决方案。

  • 无线局域网认证协议及安全性证明

    作者:陈卓; 洪帆 刊期:2006年第01期

    身份认证和密钥协商方案的安全性是网络和分布式系统安全的重要基础和前提。本文提出了一种适用于无线局域网的认证机制WKE,并采用BAN逻辑对之进行了安全性分析和证明。

  • 通用对等网络模拟器的设计与实现

    作者:郑倩冰; 彭伟; 朱培栋; 卢锡城 刊期:2006年第01期

    通用对等网络模拟器是研究对等系统的基础。本文探讨了通用对等网络模拟器的设计原则,设计了一种易扩展、可配置和模型可选择的通用对等网络模拟器,并给予实现。

  • 基于TLA+的BRP协议规约及验证

    作者:陈立前; 王戟; 陈火旺 刊期:2006年第01期

    BRP协议是为不可靠信道上传送大数据包文件设计的工业协议。该协议的正确性依赖于各部件实时方面的假设。本文主要阐述了使用时序规约语言TLA+对BRP协议进行规约和验证的过程。首先通过自然语言非形式化地描述BRP协议的基本原理和需求,在此基础上建立了BRP的形式化模型,利用TLA+先对不考虑实时要求的BRP进行规约,然后添加实时约束获得BRP完...

  • 一种带时延约束的选播路由算法

    作者:陈燕; 宋玲; 李陶深 刊期:2006年第01期

    选播是一种新型的网络服务,它使用户通过一个选播地址就能访问到该地址所表示的一组服务器中对用户来说“最近”的一个。在实时性要求较高的业务传输过程中,保证信息传榆时延尽可能小是非常重要的。本文研究时延受限的选播路由问题,提出一种时延受限的选播路由(DCAR)算法,生成一棵以时延为度量且代价最小的选播生成树。仿真实验结果表明了...

  • 基于系统观的网络突现性研究

    作者:尹春华; 陈雷 刊期:2006年第01期

    因特网作为一个复杂适应系统,呈现了许多突现性。本文重点提出因特网中的两个突现现象:网络流量呈现自相似以及拓扑结构呈Power-law分布,并对其现象及其形成机制进行了初步探讨;同时,对网络上业务量的自组织临界性进行了简单的分析,从而提出用复杂科学理论来研究探索网络复杂性,对研究和开发下一代网络体系结构具有积极作用和影响。

  • 安全协议的进程代数规约到逻辑程序的自动转换

    作者:周倜; 李梦君; 刘万伟; 李舟军 刊期:2006年第01期

    安全协议用于实现开放互连网络的安全通讯,它本质上是分布式并发程序,使用进程代数可以将其描述为角色进程的并发合成系统。使用抽象方法,安全协议角色进程并发合成模型可以转化为逻辑程序;通过计算逻辑程序的不动点,能够对安全协议无穷会话的并发交叠运行进行验证。本文基于Objective Caml语言,实现了安全协议进程代数描述到安全协议逻辑...

  • WLAN QoS机制的分析及改进

    作者:王化宗; 张春业; 李波 刊期:2006年第01期

    本文首先分析了IEEE802.11无线局域网的MAC接入机制,针对802.11e在提供QoS上的局限性,CFB的使用让EDCF机制得到了更为有效的扩展。本文在EDCF-CFB的基础上提出了一种群ACK确认机制并从理论上进行了分析。

  • 基于网络教育集成平台的安全系统的设计与实现

    作者:王慧; 罗军舟 刊期:2006年第01期

    本文以网络教育系统集成为应用背景,阐述在支撑平台中实现的一个基于XML安全技术系统的设计方法、系统结构和功能模块,为开发其他应用系统提供了一个具有互操作性、可移植性、可扩充性和可雏护性的安全平台。

  • 一种基于移动IP的RSVP协议扩展方案

    作者:张浩; 彭宇行 刊期:2006年第01期

    目前的RSVP协议是针对固定网络的特性设计的,不适于移动无线网络。本文提出了一种RSVP协议的扩展方案,使其适用于移动IP网络,减小了发生拥塞的可能;最后通过模拟验证了其性能。

  • 基于APDR信息系统安全防护体系模型的分级防护策略研究

    作者:裴晋泽; 胡华平; 周金泉 刊期:2006年第01期

    本文在提出APDR信息系统安全防护体系模型的基础上,对信息系统中信息价值级别及其可能面临的最大威胁强度进行了划分,并针对相应的安全防护强度等级和安全防护技术等级制定出了相应的安全防护策略,这对信息系统进行安全防护体系设计具有非常重要的意义。

  • 基于背景构造的视频对象分割技术

    作者:于跃龙; 卢焕章 刊期:2006年第01期

    基于背景帧通过变化检测技术分割视频对象时,背景构造和阴影消除是两个非常重要的问题。本文提出了一种稳健的背景构造技术,利用计数器累积判决像素点是否属于背景,使得构造的背景帧更加可靠,背景的自动更新可以自适应于光照的慢变化。最后,根据光反射模型消除了阴影的影响。

  • LCD定标器图像缩放引擎的设计

    作者:刘政林; 李仕杰; 邹雪城; 赵慧波 刊期:2006年第01期

    定标器(Scaler)的主要功能是时视频图像的分辨率进行变换,使图像能够正确地显示在分辨率固定的LCD显示器上。本文首先对定标器的输入输出数据格式进行说明,然后给出一种定标器图像缩放引擎的设计。

  • 结合指纹识别的电子印章系统的研究

    作者:许钟; 王小兵; 黄勇; 曹莉 刊期:2006年第01期

    针对办公自动化、电子商务和电子政务等应用对印章提出的新要求,本文根据指纹识别的基本原理,在PKI模型下结合数字签名和数字水印技术,提出一种既符合人们习惯又具有法律效用的电子印章系统解决方案。