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

计算机工程与科学 2011年第06期杂志 文档列表

计算机工程与科学杂志计算机网络与信息安全

一种开放网络环境下的分布式信任证明算法1-5

摘要：目前大多数信任证搜集技术采用传统的信任协商方法收集信任证,这给信任服务器带来很大负载且存在信任证盲目搜索问题。本文介绍了一个信任分布式证明协商算法DPN。基于RTP策略语言,DPN能够智能地对信任关系进行远程证明或本地推演,从而能够提高信任建立的效率。DPN能够给出证明协商过程中的相关信任规则纪录,支持对信任建立过程的验证。分析了算法的正确性和完整性,并通过实验证明了算法带来的性能提升。

一种基于改进RTS/CTS的MANET高效报文转发策略6-11

摘要：MANET网络由可自主移动的无线节点组成。节点的自主移动导致了链路路由的改变,因此需要有一个机制维护和发现路由信息。目前人们已经针对MANET网络提出了几种路由协议,但这些路由协议都是基于IP的且路由维护的代价高,这严重影响了MANET网络的稳定性、可扩展性和用户有效带宽。本文提出了一种基于改进RTS/CTS的MANET高效报文转发策略。该策略对标准IEEE 802.11协议进行了修改,利用改进的RTS/CTS报文信息,进行报文转发,从而避免了使用MANET网络路由协议给网络性能带来的影响。使用改进的NS-2模拟了基于改进RTS/CTS的MANET高效报文转发策略。模拟结果表明：该策略可以有效地降低路由维护的开销并降低报文传输的延迟。

《计算机工程与科学》征文通知11-11

摘要：《计算机工程与科学》是由国防科技大学计算机学院主办的中国计算机学会会刊,是国内外公开发行的计算机类综合性学术刊物,现为月刊。本刊欢迎关于计算机科学理论、计算机组织与系统结构、计算机软件、计算机应用、计算机器件设备与工艺等学科领域方面的来稿。学术论文、技术报告、综述评论、发展动态等形式不限。

基于水印和密码的内容监控管理系统12-15

摘要：在对水印和密码技术进行深入研究的基础上,针对户外LED广告内容监控问题,本文提出一种新的监控管理方案。该方案对视频数据嵌入版权保护的水印信息再进行频域加密,在没有降低权威性、公平性、实用性的前提下,提高了整个方案的安全性,维护了广告商的合法权益。基于该方案构建户外LED广告内容监控管理系统,该系统通过建立数据中心和监控中心,加强对广告公司户外广告播出前期审核管理,播出实际内容的监控管理,监督广告公司户外LED的播放内容只能播出审核过的内容,并对播放电脑和户外监控录像对比记录,防止漏洞。

可信路径的设计与实现21-25

摘要：可信路径为用户提供一种途径来鉴别系统,确认所交互的系统没有被篡改,从而防止特洛伊木马之类的恶意代码窃取口令或截取会话。本论针对Unix类操作系统提出了一种可信路径的完整设计,它包括可信登录和可信会话两部分,每一部分又分为控制台界面和图形界面两种情形。本文还从可信路径角度把系统划分为四个状态,并描述了它们之间的转换关系,而安全注意键则是导致状态转换的操作。基于这些转换关系可以更加容易把设计映射到实际的系统。最后,基于FreeBSD操作系统实现了安全注意键以唤醒用户与系统之间的可信路径。通过可信路径,FreeBSD能够为用户提供一个更加安全的操作环境。

具有四值自相关特性的二元序列的构造26-30

摘要：本文给出了具有四值自相关特性的二元序列的一种构造方法。对于任意给定的素数p和正整数m、n,当m｜n时,我们利用周期为pm-1的具有三值自相关特性的二元序列构造了周期为pn-1的具有四值自相关特性的二元序列,给出了新的二元序列的自相关取值及其分布,同时还讨论了这些序列的陪集不变性和线性复杂度等性质。

计算机工程与科学杂志图形与图像

一种二值图像特征提取的新理论31-36

摘要：在图像处理和目标识别领域,提取图像和目标特征是进行后续工作的关键步骤。本文结合物理学中的势能理论和图像分析中的投影理论提出了图像势能的概念,它是一种新颖的二值图像处理理论和方法。本文全面阐述了利用二值图像像素所具有的势能对目标特征进行提取的理论和方法。通过实验证明了目标图像像素的势能对图像特征能够很好地进行描述,并对图像势能的物理原理、定义、采集、分析和应用进行了详细的描述。图像势能方法在实验中很好地表现了目标特征,体现了准确、快速、高效的特点。图像势能理论可应用于特征提取、目标识别、目标跟踪、目标复原等工作中。

基于搜索树的平面图支配集算法37-40

摘要：许多来自工业应用的优化问题都是NP难问题。确定参数可解FPT作为处理这类问题的另外一种思路,在最近的10多年中受到了广泛的关注。支配集问题是图论中最重要的NP完全的组合优化问题之一,即使对于FPT体系而言,一般图中的支配集问题属于W[2]完全的,意味着不可能设计出复杂度为f（k）no（1）的算法。在本文中,我们考虑在给定的平面图G=（V,E）中参数化支配集问题,给定参数k,看是否存在大小为k的顶点集合支配图中的其他顶点,当把问题限定在平面图上,这个问题属于确定参数可解。本文给出了基于两组归约规则的搜索树算法,通过使用规约技术化简实例,构造搜索树,得到了复杂度为O（8kn）的算法,同时通过相关实验结果显示了归约规则对算法的作用。

一种基于GeoMipMaps的大规模地形实时可视化方法41-45

摘要：针对海量地形数据无法一次性载入内存进行实时渲染的问题,本文提出一种高效的大规模地形场景实时可视化方法。该方法对GeoMipMaps算法进行了改进,利用地形数据分块技术和多线程技术来实现数据的动态调度。同时,利用LOD技术和视域剔除技术减少需要绘制的三角形数量;运用VBO技术将经常使用且不频繁变动的数据保存在显存中,避免大量数据在渲染时频繁地从内存传输到显存,从而达到实时渲染的效果。实验结果表明,该方法能有效地提高地形漫游的效率和可视化结果,实时地生成大规模地形。

一种多模态融合新闻视频条目分割算法46-50

摘要：新闻视频条目分割是新闻视频检索和浏览中重要的底层支持技术,本文提出了一种融合主持人模板匹配和主题字幕帧检测的多模态新闻视频条目分割算法。先用基于主持人模板的算法进行第一次分割,再用基于改进的字幕检测方法进行第二次分割,最后将两次分割的结果融合并去除重复的分割点。实验证明,该算法对新闻视频条目分割具有较好的效果。

无向关系图视觉清晰化显示算法51-56

摘要：本文提出了一种无向图视觉清晰化显示算法,使一般的无向关系图经过该算法重新确定顶点位置后,能得到清晰美观的输出结果。该算法首先将无向关系图去除孤立点,分离连通分支,并通过识别割边将每个连通分支分解成一系列的团,每个团内无割边,这些团以树型结构连接;然后通过识别割点和虚连线将每个团分解成子团,每个子团内无割点;最后将子团内顶点均匀分布在一个圆环上。该算法的优点在于实现方便,方法简单,运行高效,输出结果美观,并易于并行化。

第十五届全国科学计算与信息化会议暨高能物理核物理信息化论坛56-56

摘要：全国科学计算与信息化会议是中国电子学会、中国核学会核电子学与核探测技术分会主办的学术年会,主要面向全国科学研究人员以及计算机专家与工程技术人员,搭建一个沟通交流平台,探讨科学研究需求、实际工作经验以及新技术发展与应用,以更好的提升计算机与信息技术在现代科学研究的应用水平。

两种带形状参数的曲线57-62

摘要：本文构造了两种带参数的三角样条基,基于这两组基定义了两种三角样条曲线。与二次B样条曲线类似,这两种曲线的每一段都由相继的三个控制顶点生成。这两种曲线具有许多与二次B样条曲线类似的性质,但它们的连续性都比二次B样条曲线更好。对于等距节点,在一般情况下,这两种曲线都整体C3连续,在特殊条件下,它们都可达C5连续。两种曲线中的形状参数均有明确的几何意义,参数越大,曲线越靠近控制多边形。另外,当形状参数满足一定条件时,这两种曲线都具有比二次B样条曲线更好的对控制多边形的逼近性。运用张量积方法,将这两种曲线推广后所得到的曲面也具有较好的连续性。

基于分块DCT的视频文字检测算法63-66

摘要：针对大量视频图像中出现的各种文字信息,本文提出了一种基于离散余弦变换（DCT）的文字提取算法。该方法首先将图像分割为等大小基本块,然后对各小块提取DCT特征。在此基础上,利用图像对比度,设计了一种动态阈值分割方法,可将文字信息和背景信息进行分离。然后依据最小外接矩形算法,获得初始文字检测结果。最终使用Voronoi Diagram算法对初始区域进行合并得到最终文字区域检测结果。算法可以快速而精确定位文字所对应的区域,并且能适用于各种背景条件下的视频图像。

一种基于连通区域的轮廓提取方法67-71

摘要：轮廓提取在许多智能视觉系统中被认为是非常重要的过程,其结果的正确性和可靠性直接影响到机器视觉系统对客观世界的理解。而现有诸多边缘检测的方法都存在着各自的局限性和不足之处,为此本文提出一种利用最佳阈值分割和基于连通区域面积阈值化的实现算法,可以同时实现噪声消除与轮廓提取,并据此定位图像中的物体目标。实验结果显示,只要噪声面积没有超过物体面积,应用该算法不仅可以完全消除噪声,而且能得到连续的无交叉的单像素宽度的物体轮廓,且轮廓不变形。

计算机工程与科学杂志软件工程

面向Agent的软件设计模式72-78

摘要：设计模式针对一类在特定上下文中反复出现的问题给出了通用解决方案,模式的提取和重用有助于提高软件开发的效率和质量,其思想和方法已在面向对象软件工程中得到广泛应用和验证。我们认为同一问题采用不同的实现技术往往具有不同的设计形态,不同软件开发范型也有其各自不同的设计模式。作为一种新颖的软件开发范型,近年来面向Agent软件工程的研究取得了长足进展,如何提高软件Agent技术实用性,发挥其技术潜力,扩大其应用范围成为当前人们关注的焦点。本文将模式思想引入到面向Agent软件工程,针对软件Agent技术的特点,从组织结构、交互协作和个体Agent体系结构三个视点提出了一组面向Agent的软件设计模式,以支持多Agent系统的设计;并进一步给出了面向Agent设计模式的描述框架,进行了典型设计模式和应用案例的分析。

软件自动化测试中热点路径的研究79-83

摘要：在面向路径的软件测试中,对于大型系统将会产生海量的静态路径,测试人员很难对所有路径进行完全测试。本文提出热点路径的思想,运用该思想可以在繁多的静态路径中迅速找到容易引起程序缺陷的路径,通过热点函数树形化可以对热点进行快速定位显示,给软件测试人员带来更多的便捷,提高测试效率,降低测试成本。

基于抽象符号表的内存模型84-90

摘要：符号执行技术在软件测试和程序验证中发挥着重要作用。如何抽象和处理程序中各种数据类型和语法成分是符号执行必须解决的问题。本文提出抽象符号表的概念,以及基于抽象符号表建模内存的方法。抽象符号表记录可寻址对象的名称、类型、抽象地址和符号值,是一种简单、精确的内存抽象机制。内存模型是所有使用符号执行的技术的前提,本文系统给出了一个面向符号执行的内存模型。基于抽象符号表的内存模型能够统一处理各种数据类型和语法成分,包括函数和类,能够直接处理指针别名问题,不需要额外的别名分析算法。经过一些性能优化处理,基于抽象符号表的内存模型具有较好的性能。