计算机工程与科学杂志是由国防科技大学主管，国防科技大学计算机学院主办的一本北大期刊。
计算机工程与科学杂志创刊于1973，发行周期为月刊，杂志类别为计算机类。
杂志介绍
计算机工程与科学杂志
-
主管单位：国防科技大学
-
主办单位：国防科技大学计算机学院
-
国际刊号：1007-130X
-
国内刊号：43-1258/TP
-
发行周期：月刊
-
全年订价：￥796.00
杂志介绍
计算机工程与科学杂志是由国防科技大学主管，国防科技大学计算机学院主办的一本北大期刊。
计算机工程与科学杂志创刊于1973，发行周期为月刊，杂志类别为计算机类。
主管单位：国防科技大学
主办单位：国防科技大学计算机学院
国际刊号：1007-130X
国内刊号：43-1258/TP
发行周期：月刊
全年订价：￥796.00
关键词: 计算机网络 网络安全 信息系统 信息安全 随机自治可生存调度算法
生存性是指信息系统在面临攻击、失效等灾难情况下仍能继续提供服务的能力.它强调以任务为本的理念,是信息安全保障技术体系的一个重要环节.其目标是在保证基本服务安全的情况下对非基本服务的快速恢复.因此,减少基本服务集合是平衡生存能力和性能代价的途径之一.本文提出的随机自治可生存调度(SASS)算法在细粒度无集中控制的基础上实现服务漂移...
关键词: 数据备份系统 数据恢复系统 网络存储系统 hash算法 优化 网络备份系统
本文介绍了一个基于TCP/IP的网络备份系统,并在此基础上引入散列算法(Hash),计算出需要备份和恢复的文件以及数据块的内容标示--指纹,建立起索引作用的树形结构.这种方法可以避免备份和恢复执行时的折衷处理,提高系统的数据安全性,减少数据一致性问题的产生.
关键词: 计算机网络 网络安全 类型理论 安全协议验证技术 信念逻辑
基于类型理论的安全协议验证技术是近年来新出现的技术途径之一.本文在对基于类型理论的安全协议验证技术及其研究现状进行简要介绍后,主要分析了由A. D. Gordon建立的、用于对协议的认证性进行验证的类型系统,借助其与信念逻辑方法在证明过程中的某些相似性,对其中的主要思想进行了分析讨论.本文最后还指出了基于类型理论的安全协议验证技术研...
关键词: 计算机网络 开放式网络计算平台 lvs 昊宇 自适应容错备份系统
本文论述了昊宇网络计算平台的关键技术:应用系统与核心软件分离机制和LVS系统的改进.前者使昊宇能够方便地为客户运行应用程序,后者实现了LVS对Java RMI的支持并建立了自适应容错备份系统.运行实例说明,昊宇网络计算平台具有开放性和高性能的特点.
关键词: 数据库 数据仓库 网格环境 数据统一访问 数据资源 设计
网格中汇集了大量分布、异构、多管理域的数据资源,使得网格用户对数据的访问变得非常复杂,必须为用户提供行之有效的方法,实现方便、高效、透明、统一的数据访问.本文描述了基于操作系统之上的文件层面的数据统一访问实现方法.这种方法采用虚拟数据集的机制将汇聚在网格中的存储系统抽象成一个虚拟一体化系统,实现了网格数据的统一视图和一种网...
关键词: 信息安全 访问控制 信息流 安全系统模型 计算机安全
本文介绍了以DTE为原型的强制访问控制模型和以格阵为原型的信息流模型.并在此基础上提出了一种改进的安全系统模型,该模型在实施DTE的系统中,通过对域的安全级和上下文的约定,隐式地采用格模型为其伙伴安全策略,确保了系统的完整性和保密性.最后还介绍了如何利用该模型来防范特洛伊木马.
关键词: 网络协议 通讯协议 iscsi系统 性能分析 局域网
iSCSI技术是IP存储的底层存储协议之一,是SCSI协议的远程唤醒模型在TCP协议上的映射.本文主要是讨论跨平台、多用户iSCSI系统实现及性能分析.
关键词: 因特网 网络带宽 vdsl adsl 调制技术
本文针对xDSL技术中的两种主流技术ADSL和VDSL,从技术性能、调制技术、应用和市场、未来发展趋势等方面进行了详细的阐述和分析,并进行了对比,指出了高速DSL接入技术的发展方向.
关键词: 因特网 视频传输 数据传输 rtp协议 translator 性能优化
本文探讨了RTP 的基本技术背景和特点,并根据RTP 中Translator的特性提出了一种有效利用闲置网络带宽的优化方案,并介绍了实现此方案的一些具体方法.
关键词: 计算机视觉 计算机图形学 图像分割 流域变换算法 平滑算子 过渡分割
流域变换是数学形态学中用于图像分割的经典方法,应用十分广泛,但其过度分割问题一直未得到很好的解决.本文首先介绍了流域变换算法的思想,以及引起过渡分割的原因;然后,提出一种解决过度分割问题的快速方法--平滑算子,并通过理论手段证明了该方法的有效性.实验结果表明,该方法是解决流域分割中过渡分割问题的有效方法.
关键词: 图像处理 小波分解 fpga 信号处理 mallat算法 离散小波变换
小波分析作为信号处理领域中的一种重要方法,在信号处理、模式分析和图像处理等方面得到了广泛的应用.然而小波变换巨大的运算量却使得它在实时处理领域中的应用受到了限制.本文根据离散小波变换的Mallat算法,提出了一种FPGA实现高速小波分解的方法,设计出的小波变换模块结构清晰而且规则,易于级联,可实现多级变换.同时,运算精度和处理速度均满...
关键词: 计算机视觉 目标跟踪算法 随机边缘特征匹配 目标识别 运动车辆跟踪算法
目标跟踪算法中往往需要有效的特征对目标进行跟踪识别.本文提出了随机边缘特征的概念,对其物理意义及匹配算法进行了阐述,并将其应用到运动车辆跟踪算法中.实验结果表明,该算法能够对序列图像中的多个运动车辆进行跟踪识别,对车辆的尺度、视角、光线及运动状态的变化等不利因素有较好的适应性.
关键词: 图像序列目标检测 归一化互相关系数 反射模型 图像处理
提出一种基于归一化互相关系数的图像序列运动目标检测方法.该方法以基于模板的归一化互相关系数作为度量函数,可以有效地检测出运动阴影和运动目标,而且不需要对背景进行实时维护.实验表明,该方法对光照变化具有一定的鲁棒性.
关键词: 纹理特征 颜色特征 图像分类器 图像特征 图像处理 竞争学习 条件类熵
本文提出了一种新型的、以纹理粗糙度二阶矩度量作为图像特征的、以在最优条件类熵基础上的软竞争自组织特征映射为分类器的图像自动分类方法.实验结果表明,该种分类器能很好地实现对纹理粗糙程度模式的无监督分类,其分类性能要明显好于传统的K均值分类器.
关键词: mpeg 视频编码 媒体资产管理平台 视频检索预处理原型 帧提取技术
本文提出了一个实用的、基于媒体资产管理平台的视频检索预处理原型,主要利用DirectShow技术从视频流中获得非压缩的图像信息, 进而利用视频分割技术和关键帧提取技术完成对视频的检索预处理.
关键词: packing问题 计算复杂性 离散模型 可计算性理论 计算机
本文讨论了离散模型与连续问题的关系以及图灵机的计算能力,在此基础上扩充了问题及NP完全问题的定义,根据解空间的拓扑结构特点将NP完全的Packing问题分为三类,并对多边形Packing问题进行了有益的探讨.这对设计Packing问题的求解算法具有借鉴意义.
关键词: 并行离散事件仿真 周期时间桶算法 性能分析 计算机仿真
本文首先指出了Time Warp乐观时间同步机制算法固有的缺点,然后简要介绍了事件限这一重要概念及周期时间桶算法,随后对周期时间桶算法的性能进行了较为深入的探讨,对该算法进行了定性的综合评估,详细地给出了周期时间桶算法的关键性能参数M的定量理论分析与推导,最后给出了实验结果图.
关键词: 车辆调度 线性规划算法 运输问题 运筹学
本文首先介绍了线性规划理论及其在一般运输问题中的应用;然后将其推广到车辆调度问题,提出并建立了一个动态的、开放的现代智能车辆管理调度系统模型;最后对各种模型求解算法进行了比较和分析,并给出了计算结果.
关键词: 数据库系统原型 dmc 集群 软件结构 应用程序
本文提出一种数据库集群系统原型DMC,该系统基于国产商用DBMS DM4而设计.另外,本文还介绍了DMC系统的软件体系结构及其数据同步、消息映射、负载平衡等关键技术.
关键词: 数据库 pmml 商务智能 人工智能 数据挖掘模型管理
本文在引出商务智能应用领域中数据挖掘模型管理的问题之后,提出了SmartBiz商务智能平台的总体架构,阐述了基于PMML的数据挖掘模型管理方案,并以SmartBiz 系统中的实际应用为例,介绍了PMML和XML数据库结合的具体实现方案.
关键词: 软件开发方法 ddss 数据仓库 数据集市 数据库 决策支持系统
本文在分析基于数据仓库的DSS不足的基础上,研究并提出了基于数据集市的、构建多层分布式DSS的方法,以便实现企业和部门不同级别上的决策支持,为企业提供更多、更有效和更有用的决策信息,使决策更加有利于企业和部门的发展.
关键词: 软件可靠性 软件质量 软件统计测试加速方法 抽样 软件开发
本文提出一种基于重要抽样的软件统计测试加速方法,该方法通过调整软件Markov链使用模型的迁移概率,在根据统计测试结果得到软件可靠性无偏估计的前提下,可以有效提高安全攸关软件的测试效率,部分解决了安全攸关软件统计测试时间和费用开销过大的问题.同时,本文给出了计算优化迁移概率的模拟退火算法.实验仿真结果表明,该方法可以有效地提高安全...
关键词: 软件开发 软件体系结构 构件软件 可靠性通用模型 函数抽象
本文给出了基于构件软件中的函数抽象,依据该抽象提出了基于构件软件的一个可靠性通用模型,并介绍了相应的可靠性分析原型系统的实现.通过此系统可以在软件开发的各个阶段对软件进行可靠性分析,实现基于构件软件开发全过程的可靠性跟踪和监控.
关键词: 软件开发 软件可靠性测试 软件使用模型 uml
UML作为事实上的工业标准,在软件开发中得到了日益广泛的应用.软件可靠性测试是高可靠软件质量保证的重要过程.研究基于UML的软件可靠性测试具有很强的现实意义.软件使用模型是进行软件可靠性测试的基础,可利用在软件开发早期阶段生成的UML模型,如用况图、顺序图、活动图,自动生成软件使用模型.
关键词: 软件开发 面向对象 软件复用 智能检索 agent 类库管理系统 软件工程
基于面向对象软件复用的类库技术得到了广泛关注.随着应用的扩大,类库的规模也日渐扩大.类部件如何在软件开发过程中被快捷高效地检索、复用,以及怎样加强类库之间的协作,已成为类库技术得以进一步发展的瓶颈.本文提出了一种基于Agent的智能类部件检索技术,阐述了其工作原理、算法及其构架.实现了类部件高速精准的自动检索和同源类库中部件共享,...
关键词: 软件开发 面向对象 软件技术 agent 人工智能
面向Agent与面向对象有很多差异,但也有许多相似之处和联系.吸收和借鉴面向对象的成功经验和成熟技术,对面向Agent的研究和发展十分有利.本文比较了Agent与对象的概念和模型,以及面向Agent和面向对象的运行机制和通信机制,分析了面向对象的不足和面向Agent的优势,指出了面向Agent是未来软件的发展方向.
关键词: 软件开发 软件测试 软件生命周期 回归测试方法 测试状态
软件测试在软件生命周期中是一个非常重要的过程,而回归测试则又在软件测试中占有极其重要的地位.本文提出的RTSPS方法综合考虑了测试状态即测试频次、测试成本、错误检测率要求等多种因素来选择合适的回归测试策略,并对测试用例进行优先排序,可以有效地提高测试效率.
关键词: 软件开发 面向对象 应用程序 软件模型 服务模式 和欣操作系统
本文介绍了嵌入式和欣操作系统,提出了面向服务软件模型及其提供的三种服务模式,解决了传统的面向对象软件模型的局限性,并使用此编程模型构造了一个电子签名软件,具体说明了此模型的优点.
关键词: 纠错编码 信道带宽 rs码 ptcm码 通信 计算机仿真 设计
本文研究了高斯信道下RS码与PTCM码级联编码方式的性能,比较了应用PTCM码、RS码级联PTCM码、采用交织技术的级联码等使用8PSK调制方式的不同纠错方案的性能,设计了一种具体的差错控制编码方案,并对其进行计算机模拟仿真.仿真结果表明,该级联编码方案具有良好的误码纠错性能,可用作通用数据链控制器的纠错控制方案.
关键词: 分布式系统 可持续发展 agent 分布式计算机
可持续发展是大规模分布式系统的基本特征.在研究了大规模分布式系统的特点和规律后,本文提出了一个新的概念--可成长的分布式系统,认为大规模分布式系统是随着需求、环境、技术、投资等多种因素的变化而不断成长起来的.文中分析了分布对象技术在支持分布式系统的可成长性方面的优势和缺陷,然后提出了一个面向Agent的系统框架,并阐述了面向Agent...
关键词: 容错中间件 ftbus benchmark测试 应用软件 corba 计算机网络
本文以容错CORBA规范1.0的实现FTBus为测试对象,实现了对FTBus的Benchmark测试,测试指标包括性能损失、失效检测时间、失效恢复时间和重获稳定性时间等,并对测试结果进行了分析.
关键词: 嵌入式操作系统 开放源代码 linux 闪存设备驱动程序 程序开发
嵌入式系统通常使用闪存作为存储设备,嵌入式Linux下的MTD技术可以方便地访问Flash这样的MTD设备.文章介绍了Linux块设备驱动程序框架,详细分析了MTD设备驱动程序层次结构、核心功能模块和数据结构,最后以Motorola MPC860T开发板为例,系统地给出了针对特定Flash的MTD驱动程序开发实例.
关键词: 软件开发 系统开发 web 餐饮管理 食品采购 电子商务 学校管理
本文基于统一软件开发过程,详尽地描述了基于Web的餐饮管理和食品采购的系统开发全过程和关键技术.同时,利用PowerDesigner9.0作为CASE工具,建立业务模型和实体关系图,自动实现了面向SQL Server 2000的物理建模.该系统以Windows Server 2000为服务器,SQL Server 2000为后台数据库管理系统,还有基于VBScript的ASP开发前台.
关键词: uclinux 操作系统 实时性能 桌面系统 中断处理程序
增强uClinux的实时性能是工业控制等实时性要求高的领域的必然要求,也是uClinux操作系统研究的关键技术之一.本文在借鉴RTLinux实现原理的基础上,研究了增强uClinux实时性能的方法,并给出了具体的实现例程.
关键词: 分布式虚拟环境 实验模型 滞后方法 滞后时间 计算机仿真
本地滞后方法是缓解分布式虚拟环境一致性问题的重要技术.现有的本地滞后技术在一个时间段内为所有操作设置统一的滞后时间,没有考虑到不同操作背景对操作的不同一致性需求.本文提出本地滞后方法中的多级滞后时间计算,根据被操作实体与其它实体距离的远近将操作分为不同一致性等级,分别计算滞后时间.该方法可以对系统反应速度与一致性进行更灵活...
关键词: 图像编码 分形编码 数字水印攻击算法 水印嵌入技术
本文提出了一种新的数字水印攻击算法.该算法对嵌入水印的图像运用分形编码,使含有特定水印信息的图像块被压缩映射后的其他块代替,压缩映射后的块和被代替块中的水印信息具有弱相关性.我们对一种基于多分辨率分解的数字水印嵌入方案进行了攻击实验,分析了攻击对图像质量的影响.结果表明,该算法使水印提取算子的相关性检测结果显著下降.
若用户需要出版服务，请联系出版商，地址：湖南长沙德雅路109号国防科大，邮编：410073。