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

计算机学报 2004年第11期杂志 文档列表

计算机学报杂志研究论文与技术报告

广义细胞自动机的结构及其硬件实现1441-1450

摘要：该文作者曾提出了广义细胞自动机(GCA)的原理和并行算法,并且应用于网络快速包交换等动态优化问题.该文进一步讨论了这种新的广义细胞自动机的体系结构、算法的硬件实现及其电路设计,它们对于GCA的实际应用有重要意义.GCA结构不同于Hopfield神经网络(HNN)和细胞神经网络(CNN),GCA由多层次多粒度宏细胞组成塔形结构,它具有多粒度的宏细胞动力学特征,相同粒度宏细胞之间没有交互,但不同粒度宏细胞之间存在一定程度的交互或反馈.分析和实验表明,在问题求解的优化性、实时性、硬件实现复杂性等方面,该文给出的GCA结构和硬件实现,与HNN和CNN相比有诸多优点.

基于不动点转移的SA动态演化模型1451-1456

摘要：构造性和演化性是软件的两个基本特性.而软件演化包括静态演化和动态演化两个方面.动态演化更为复杂,这种复杂性决定了,对动态演化的研究首先应从宏观层面入手.软件体系结构SA作为软件的蓝图和支撑骨架,为人们宏观把握软件的动态演化提供了一条有效的途径.该文描述了构件--连接件组成的SA动态语义网络模型,分析了SA动态语义网络模型中的浸润过程,给出基于不动点的浸润过程收敛的判定,提出了邻接矩阵过滤和原子过滤的概念,阐明了基于邻接矩阵原子过滤的SA动态语义网络浸润步的原子性.指出SA动态演化过程可用一系列邻接矩阵原子过滤在时刻上相继的逻辑衔接来描述.最后给出了两个层面上对SA动态演化波及效应的分析方法.为基于矩阵变换的SA动态演化的进一步研究和计算机自动量化描述奠定了基础.

基于Marching Cubes重组的外存模型渐进压缩1457-1463

摘要：外存模型是指其规模远远超出内存容量的海量模型.为提高其存储、传输、显示等操作的效率,对外存模型进行渐进式的压缩是非常重要的.但当前已有的外存模型压缩算法都是单一层次的,不能做到渐进压缩.为此,该文提出一种针对外存模型的渐进压缩方法,能高效地压缩外存模型,并进行多分辨率的传输和显示.该方法首先将外存模型的包围盒空间按照八叉树形式进行剖分和层次化组织,使得最精细层次的各个立方块空间中的局部模型都能完全装入内存进行处理;然后,在各个立方块中对局部的模型进行基于Marching Cubes方式的重新拟合,并在此基础上建立各个局部的自适应八叉树;最后,基于各个局部自适应的八叉树,由粗至细渐进地遍历全局自适应八叉树的各个节点,并利用对内存模型能高效渐进压缩编码的先进方法进行编码压缩.实验表明,该方法对外存模型的压缩比达到了与处理内存模型相似的压缩比,高于目前的外存模型压缩方法,是第一个能渐进压缩外存模型的方法.

基于可视外部力／力矩隐喻工具的虚拟样机动力学交互分析方法1464-1470

摘要：在虚拟样机动力学分析中,对施加的外部力/力矩的属性和作用进行了分析,实现了力/力矩隐喻(metaphor)工具在虚拟环境中的直观定义,并基于多刚体Lagrange动力学模型提出直观驱动的交互仿真方法,建立了可视化隐喻工具同虚拟样机间交互分析过程的动力学广义模型,简化了虚拟环境中用户同虚拟对象间的交互行为模型.最后,通过对汽车发动机曲柄活塞部分建立Lagrange动力学模型,并以建立的隐喻工具进行交互分析的实例论证了该方法的有效性以及隐喻工具的直观性.

计算机学报杂志学术活动

第2届全国几何设计与计算学术会议征文通知1470-1470

计算机学报杂志研究论文与技术报告

基于Hash树热点窗口的存储器完整性校验方法1471-1479

摘要：该文描述了一种存储器完整性校验的硬件方案.首先,介绍了存储器完整性校验的情况;然后,提出了基于Hash树热点窗口的存储器完整性校验方法.该方法将存储器访问的局部性特征与Hash树完整性校验原理相结合,通过缩短多数情况下校验所需路径的长度以及对节点实施恰当的缓冲,来有效减小完整性检验的代价.该文描述了该方法的原理、算法与系统实现,并进行了模拟.理论分析和模拟结果表明该方法在应用上是高性能的,同时也是低代价的.

多字体印刷维吾尔文字符识别系统的研究与开发1480-1484

摘要：该文介绍了维吾尔文的特点及维吾尔文字符识别系统,针对维吾尔文的连体结构,重点讨论了解决过程中的技术难点.其中利用投影分离出连体段中的字母,采用边切分边识别的方法,对文本图像进行了切分,分类,提取特征,并通过样张的训练,使维吾尔文字符的识别获得了较满意的结果.

演化算法的收敛速率与效率分析1485-1491

摘要：该文讨论了演化算法的收敛速度与效率问题.引入了衡量演化算法收敛快慢的新标准--收敛阶和收敛因子等概念,使用顺序统计方法讨论了收敛阶和收敛因子的计算问题.考虑到演化算法的收敛速度和每代群体的工作量,用收敛阶(或收敛因子)和函数评价次数定义了演化算法的效率.对于常见的球函数模型,推导出(μ,λ)演化策略收敛因子和效率公式,从理论上分析了(μ,λ)演化策略中参数μ,λ的最佳比值.

面向对象、泛型程序设计与类型约束检查1492-1504

摘要：该文对面向对象和泛型程序设计(generic programming)的核心思想和方法进行了较为深入的分析,阐明了各自的目标、技术特征及其优缺点所在,介绍了泛型程序设计针对对象技术的不足所引进的重大革新,即通过类型需求抽象来设计通用、高效的数据结构和算法;着重论述了作者在进一步增强泛型程序设计实际运用方面所提出的改进工作,以C+ +语言的一个泛型编程扩充语言C* *为实施例,详细说明了如何通过一种叫做'命名类型约束'的新的机制来比较完整地实现静态类型需求的直接语言支持和编译检查,为当前泛型程序设计模型的首例编程语言实例.

计算机学报杂志学术活动

2005软件过程技术国际研讨会征文通知1504-1504

计算机学报杂志研究论文与技术报告

图像数据库检索中的信息过滤反馈方法1505-1513

摘要：利用系统积累的反馈历史数据来改善图像检索的效果引起了越来越多的关注.该文在分析用户相关反馈记录的基础上,结合相关反馈记录中的用户评价数据和其对应的检索样本的图像内容两方面信息,提出了一种基于反馈记录的模糊聚类的反馈记录信息过滤分析方法来改进检索性能.实验显示,与现有方法相比,该文方法在图像检索的效果和反馈记录的利用效率方面都有明显改善.

一种移动IP的外部分层模型——Step—HMIP1514-1522

摘要：现有的移动IP规范存在两个重要的性能问题:(1)通信对端和外地链路上的移动节点之间的三角路由问题;(2)移动节点在紧密耦合的小蜂窝基站间频繁切换时会增加网络负载并加重数据包的丢失.该文针对这两个问题进行研究,给出了一个基于基本移动IP规范的外部分层模型--Step-HMIP模型.在此模型中引入了一个新的实体--网关移动,用以实现优化路由和平滑切换的功能;在NS上建立了Step-HMIP的仿真模型,对模型的主要参数测试结果表明,Step-HMIP模型在对属地(HA)、固定的通信对端(如Web服务器和FTP服务器)和对网络层以上协议无需进行改动的情况下,以小的配置代价就可显著优化路由,降低属地的注册负载和稳定了切换时的数据传输率.

有限域上二次型的密码学特性1523-1527

摘要：该文给出有限域上二次型的紧致表示形式,讨论了它们的密码学特性;给出了特征等于2的有限域上,二次型是平衡函数的充要条件,并指出特征不等于2的有限域上,二次型都不是平衡函数;给出了二次函数是平衡函数的充要条件.从该文结果可以看出Pieprzyk等用二次函数构造的方案是错误的.

布尔函数线性等价的分析与应用1528-1532

摘要：对于g(x)=f(xA+b)+l*x+c,给定f(x),g(x),如何求取等价关系A,b,l,c是一个有用的问题.该文利用Walsh谱和自相关函数谱作为工具,给出的算法1可以求取g(x)=f(xA)型的等价关系.针对g(x)=f(xA+b)+l*x+c类型的等价关系,当b已知时,基于Fuller-Millan算法给出的算法2比Fuller-Millan算法至少要快k-1倍,其中k为函数绝对自相关函数谱含有的谱类个数.应用于AES的S -盒的8个布尔函数间等价关系的求取,算法2比Fuller-Millan算法提高速度近20倍.应用于IP (Isomorphism of Polynomials) 问题的分析,指出Patarin所给参数的IP问题是可解的,因此基于IP问题的密码体制是不安全的.

小波变换结合纠错编码的半透明数字水印1533-1539

摘要：该文结合实际应用需要提出了半透明数字水印的概念,并研究了带参数的双正交整数小波的构造.结合带参数的整数小波变换与纠错编码设计了一种半透明数字水印.带参数整数小波的使用,提高了水印的安全性.根据小波域量化噪声自适应地确定嵌入强度,并结合纠错编码,提高了抗攻击能力.实验表明该算法有较强的抗JPEG压缩和图像处理的能力.

目标骨架的多尺度树表示1540-1545

摘要：基于骨架的目标表示是计算机视觉领域的重要研究内容.虽然目前基于不同原理提出了许多骨架提取算法,但是关于利用骨架信息来有效地表示并识别目标的研究却很少.文章对骨架的结构基元自顶向下地进行分解,将基元组织成层次树表示.通过引入尺度的概念,获得了目标的节点数目小、连接关系稳定的多尺度树表示.实验表明,它可以紧致、稳健地表示目标,并可降低图匹配过程的复杂度.

基于位置重排的视频不等纠错保护方法1546-1551

摘要：针对基于DCT变换的视频压缩码流,该文提出了一种可有效改善其抗误码性能的收发交互不等纠错保护算法.主要思想是在宏块层对不同数据信息进行位置重排,使DCT系数按重要性重新排列,然后通过EREC算法提高宏块头等同步信息的抗误码性能.在信道编码部分,该算法依据译码端反馈的信道状态参数实时调整待传输的比特数和RCPC编码速率,从而实现收发交互的不等纠错保护(IUEP).仿真结果表明,该文算法在高误码率信道下能较大程度地改善解码PSNR值,其性能明显优于UEP、EEP等方法.

一种高效的虚路径带宽分配最优算法1552-1558

摘要：作者提出了一种在电信网中对虚路径的带宽进行分配的步进式最优算法.在给定网络拓扑结构、链路容量、虚路径路由以及通信量的条件下,此算法能够对虚路径的带宽进行优化分配,从而使得网络中所有(源-目的)点对的最大呼损率(Call Blocking Probability,CBP)达到最小.在每一点对之间只取一条虚路径的条件下,该文对此算法的最优性进行了证明.基于该文中给出的测试网络,作者将另一种流行的最优算法'二分法'和此算法的性能进行了对比.从实验结果中可以看到,步进式算法能给出最优的最大呼损率,速度是二分法的三倍以上,而且平均呼损率相对降低了20%以上.