线上期刊服务咨询,发表咨询:400-808-1701 订阅咨询:400-808-1721
计算机工程与科学
北大期刊

影响因子:0.79

预计审稿周期:1-3个月

计算机工程与科学杂志

主管单位:国防科技大学  主办单位:国防科技大学计算机学院
  • 创刊时间:1973
  • 国际刊号:1007-130X
  • 出版周期:月刊
  • 邮政编码:410073
  • 国内刊号:43-1258/TP
  • 邮发代号:42-153
  • 全年订价:¥ 624.00
  • 发行地区:湖南
  • 出版语言:中文
主要栏目:
  • 算法研究
  • 图形与图象
  • 计算机网络
  • 神经网络
  • 仿真技术研究
  • 人工智能
  • 研究与实现
  • 试题选载与博士论文摘要
  • 一种基于Agent的Web服务认证模型

    针对Web服务认证中存在的效率及安全问题,本文结合Agent技术,探索性地提出了一种Web服务身份认证模型.该模型在引入可信任第三方的基础上使用Agent进行协同工作实现用户身份认证,从而提高了Web服务的访问效率,并增加了系统安全策略实施的灵活性.

  • 密码处理ASIP中的置换加速

    密码处理ASIP是针对密码算法处理的专用微处理器体系结构,结构设计的重点是怎样良好地匹配算法要素和算法结构.置换是对称密码算法中重要的编码环节,在密码处理ASIP结构下加速置换要尽量减少使用非共用硬件,开发处理并行性,适应各种位宽置换的处理要求.通过对分组算法置换特性的深入分析,在提出的密码处理ASIP结构下,构造了加速置换操作的部件结...

  • 一个安全文件系统的半形式化功能规范设计

    形式化、半形式化规范的理论和实践是高安全等级操作系统设计所必须解决的问题,但我国高安全等级操作系统形式化设计方面十分薄弱,没有实践过程和相关理论的技术积累.本文借助Lapadula给出的规则集建模方法,基于Linux系统调用给出了一个实际开发的安全文件系统NeoFs的顶层功能规范的方法和过程.

  • 基于ASP.NET/C#的Web应用程序关键技术研究与实现

    本文首先介绍了.NET下Web数据库开发技术,在此基础上讨论了在ASP.NET下Web应用程序中的基于ADO.NET的数据访问方法和动态数据绑定技术,采用的Form-Based验证机制实现了对数据库页面的安全调用,分析了访问数据库的代码后置和使用存储过程的技术,同时对如何动态绑定TreeView控件、DataGrid控件和DropDownList控件进行了介绍.

  • 一种基于进程代数的安全协议验证消解算法

    安全协议本质上是分布式并发程序,可以描述为多个子进程的并发合成系统.将安全协议对应的并发合成系统抽象为一组逻辑规则,能够对安全协议无穷会话的交叠运行进行验证.本文首先给出了将安全协议基于进程代数的形式描述转化成为一组逻辑规则的方法,并提出了基于逻辑规则分类的高效逻辑程序消解算法,对安全协议认证性和保密性进行验证.

  • 一种针对乒乓移动节点的QoS快速无缝切换机制

    本文在分层移动IPv6框架下对节点的乒乓式移动进行了研究,提出了一种与分层框架相吻合的快速无缝切换机制.该机制通过设置资源预留激活标记和离线倒计时,有效地减少了QoS切换信令并降低了切换时延,从而降低了网络传输负担和用户服务中断概率.移动节点可根据自身移动特性设置适当的离线倒计时间隔,以使多个邻近区域内的资源预留能获得更好的性价...

  • IS-IS路由协议一致性测试的研究与实现

    随着网络规模以及网络处理速度的飞速增长,高效稳定的路由协议成为保障网络性能的重要因素.协议的一致性测试是保证网络设备之间正确、安全和高效互连的有效手段.IS-IS路由协议作为内部网关协议的主流协议,在现今的网络中有广泛的部署.本文在对IS-IS协议进行分析的基础上选择和实现了适当的测试方法和测试案例,利用现有测试系统Anvl提供的公共环...

  • 基于ECC的定期更新的可验证秘密共享方案

    本文提出了一个基于椭圆曲线密码体制(ECC)的、定期更新的可验证的秘密共享方案.该方案具有子秘密定期更新、子秘密可验证和可防欺诈的特点.方案的安全性基于求解有限域上椭圆曲线离散对数问题(ECDLP)的难解性.

  • 网络入侵检测系统中无导师学习分析器的设计

    本文在基于数据挖掘的网络入侵检测系统框架基础上设计了一个无导师学习的分析器模型.该模型结合了核k-means聚类、模式挖掘、近似串匹配的方法,训练过程不需要使用带标记的数据,并且不需要保证每个训练数据集中正常数据和异常数据在数量上的比例关系.实验结果表明,该模型具有较高的检测率并降低了误报率.

  • 一种基于角色和部门的访问控制模型

    本文在典型RBAC的基础上,结合实际应用需要提出了一种基于角色和部门的访问控制模型,将部门从角色的一个属性独立抽象出来,成为权限控制中的一个要素,使角色和部门共同决定主体对客体的访问权限.对该模型的实现方法进行了分析和研究,设计了模型实现的三层框架结构和控制访问策略的一个算法.

  • 面向ForCES路由器结构的BGP Graceful Restart技术研究

    本文在介绍转发控制分离体系结构和网络高可用性相关技术的基础上,系统地介绍了BGP Graceful Restart扩展技术.在Graceful Restart技术的支持下,路由器能够在控制系统故障重启后,在重新建立网络邻接关系的过程中保持转发平台继续转发数据,从而避免了暂时性的路由振荡.最后,文章重点描述了基于转发控制分离结构IPv6路由器平台环境的BGP Graceful ...

  • WCA:一种面向Web系统的通用组件架构

    随着Web应用的爆炸式增长,面向Web的工程理论和方法研究得到了广泛的重视.本文针对Web工程应用中存在的通用架构设计和组件重用等问题,提出了一套灵活、可扩展的Web组件架构模型WCA,以及与之相辅的一套Web系统分析、设计、编码与测试的方法体系.

  • 一种以负载平衡为目标的分布式VOD系统视频文件存储方法

    本文在研究一种分布式视频服务器负载平衡算法的基础上,引入了服务器端视频文件分盘存储的思想.通过仿真实验分析表明,对视频文件分盘存储能够降低系统的服务拒绝率,更进一步地提高了视频服务器效能.

  • 基于三维分枝模型的树木模拟

    虚拟自然场景的实时生成一直是图形学研究领域中一个富有挑战性的难题,作为自然场景的重要组成部分,树木的模拟也得到了广泛的重视.本文在实际建模中以三维分枝模型为基础,与随机繁衍L系统相结合,对树木模型进行了一些改进.将光源和重力的影响加入枝段的模型中,使生成树木的形态更加逼真;改进了分枝模式,使得生成树木的随机性得到加强;在绘制时...

  • 图像纹理特征相似性度量的研究

    纹理是图像的重要属性,基于纹理特征检索图像是当前的研究热点,对图像的纹理进行相似性比较是进行图像检索的关键.根据纹理的特点,本文将通用的向量空间模型进行拓展,构建了一个针对簇集进行相似性匹配的模型—聚类空间模型,对图像纹理相似性进行度量,并据此实现了无需分割的多纹理图像检索.我们分别针对单纹理图像和自然图像库进行了实验,获得...

  • 基于时间戳的实化视图多版本维护

    实化视图的一致性维护是数据仓库联机维护的关键问题.本文分析了基于三层数据仓库体系结构的3VWQ算法中潜在不一致性的原因,给出了三层结构的改进方法并引入时间戳作为中间版本实化视图的一致性维护标记;提出一种基于时间戳的补偿算法,实现了增量查询维护过程中不一致更新的本地补偿,从而在保证较好性能的同时解决了维护查询过程中的一致性问题.

  • 一种鲁棒文本水印的算法研究

    文本水印是一种有效的数字文本版权保护技术,鲁棒性和安全性是其研究的核心问题之一.基于单词间字符统计特征的文本水印(简称TWSCIWC)是一种同时基于内容和格式的文本数字水印算法,具有一定的鲁棒性.本文提出了TWSCIWC的改进算法,引入了冗余嵌入思想和非对称加密签名技术,讨论和分析了这一算法较好的水印性能.

  • 基于图像边缘小波矩和支持向量机的目标识别

    小波矩结合了矩特征和小波特征,既反映了图像的全局性信息,又反映了图像的局域性信息,并且具有旋转、平移和缩放不变性.利用小波矩与支持向量机进行目标识别,不但解决了图像识别中特征量随图像旋转、平移和缩放而变化的问题,而且提高了对近似物体的识别能力,是解决小样本、近似图像识别的有效方法.

  • 基于分类子块的图像检索

    图像等分成M×N块后,将子块分成背景子块、目标子块和边缘子块三类,并从中提取颜色、空间特征和边缘特征,求图像间相似度时只在同类子块之间进行匹配.这样既减少了匹配运算量,又可避免不同类子块匹配所产生的干扰.实验结果表明,该方法不仅求图像间相似度的运算量小,而且对图像的旋转和平移变化不敏感,具有较好的检索性能.

  • 一种基于图像分层的快速相关匹配算法

    相关算法是一种广泛应用于信号和图像处理领域的方法.本文提出了一种在完全搜索中寻找最优匹配点的相关匹配算法.它首先为图像建立一种类似金字塔的特殊层次结构,我们利用该结构的特点削减匹配中无用的搜索分支,以达到提高处理效率的目的.

  • 基于扩展有限状态机的定义-清除路径的生成方法

    本文提出了一种面向对象测试中定义-清除路径(DC路径)生成方法,以扩展有限状态机EFSM作为测试模型,结合数据流分析方法,用图论中的结点间最短路径求解思想生成DC路径.这样产生的路径考虑了对象状态迁移,能够发现类中方法与变量之间交互作用时发生的错误,并精简了定义-使用路径(DU路径)组成的测试用例集.

  • 一种两阶段的限制层次聚类算法

    基于数据对象间的关联限制定义了类间关联系数,本文提出了两阶段的限制层次聚类算法TCCL.算法分为两个阶段,第一阶段主要依据数据对象的自然分布,基于数据对象间的距离把它们合并入一个个小类;在第二阶段,依据背景知识,基于类间关联系数来实现小类的进一步合并.一些实际数据集的实验结果表明,TCCL可以比较有效地利用所给关联限制来改善聚类效果.

  • 一种改进的实时火焰模拟算法

    本文根据火焰的性质,在经典粒子系统的基础上提出了一种改进的实时火焰模拟算法.在初始化新火焰粒子的位置属性时,利用高斯随机数确定火焰粒子的初始位置;通过对火焰运动的分析,简化现实中火焰的复杂运动,从而提高了系统的时间性能;引入动态的运动场,使火焰的动态行为更加真实、生动.实验证明,采用该算法模拟的火焰效果真实且在普通PC机上满足实...

  • Bezier曲线修改的一种分割算法

    在图形图像处理过程中,Bezier曲线的应用是非常广的.通过增加控制点对Bezier曲线作修改,为了不改变原有曲线的形状,"升阶"是最常用的方法.本文从另一角度出发,提出把Bezier曲线先分割为两段曲线,无需对曲线进行"升阶",只需重新计算控制点,从而也达到对曲线修改的目的,并且以三次Bezier曲线为例,给出了具体的求解过程.实践证明,这种方法是可...

  • 采用多尺度掩模消除干扰的反向组合算法

    反向组合算法是最有效的图像对齐算法之一,但该算法抗干扰能力差.当输入图像部分被遮挡时,图像对齐效果变差.针对该问题,我们提出一种采用多尺度掩模消除干扰的反向组合算法.该算法采用自适应的方法设置初始掩模,再通过迭代判断和逐层分块来细化初始掩模,使得掩模能准确地设置在干扰区域上.实验结果表明,该算法既保留了原反向组合算法的优点,又...

  • RNA二级结构预测算法的设计与实现

    本文提出了一个预测RNA二级结构的计算模型和动态规划算法.该算法采用子序列的组合策略和RNA二级结构的内在特性,计算多个平面伪结点和一个非平面伪结点结构.与Rivas算法相比,该算法减少了2n4的空间,并将时间复杂度由O(n6)降为O(n5).实验结果验证了算法的有效性.

  • 说话人识别中随机局部搜索算法的研究

    目前在矢量量化的码本训练中经典的聚类方法是LBG算法,但该算法的主要缺陷是对初始码书的依赖性较大,容易过早地陷入局部极小.本文在基于矢量量化的说话人识别中研究了一种随机局部搜索的聚类算法.该算法不依赖初始条件,结构规则,容易实现,效果好,具有很优越的全局优化搜索能力,在语音参数聚类实验中表现出了很好的性能,得到的码书质量也优于经...

  • 基于工作流任务状态的访问权限分配模型

    权限的分配是工作流系统访问控制中的核心问题.本文以任务状态为基础,用二维矩阵描述角色与任务、任务与状态、状态与权限之间的关系,并利用关系运算计算给定时刻角色、任务和权限之间的关系,实现了对角色权限的动态分配,提高了数据访问的安全性.

  • 基于扩展任务结构的工作流建模及其合理性验证

    任务结构是工作流建模语言中好的广泛的代表,并且具有表达简洁、终止是隐式的以及与多数工作流管理系统的工作流建模语言相近的特点,但其表达能力和形式化分析有限.本文首先扩展了任务结构的表达能力,增加了对任务间数据流的支持;然后对扩展任务结构的合理性进行了分析和验证.

  • 基于Petri网工作流模型的复合事件检测的分析和分解

    本文介绍了一种应用Petri网技术对工作流进行建模的方法.该方法将工作流的执行方式从检测事件一触发转变为检测状态一触发,并且采用分层分块的策略对Petri网工作流模型中的复合事件进行分解,将复杂的逻辑关系判断简化为简单的状态判断,有利于工程上的理解和实现.

热门期刊