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

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

VXMLR系统存储模式的自适应调整433-441

摘要：XML管理系统的查询处理效率很大程度上取决于系统中XML数据的存储模式.在用户查询已知或可预测的情况下,根据用户查询设计存储模式可以改善系统的查询处理效率.该文介绍VXMLR系统存储模式的自适应调整机制.根据历史查询信息,VXMLR系统对其存储模式进行自适应调整,从而提高查询处理效率.其基本思路是:首先根据历史查询,推导出适当的映射规则,得到XML文档在关系数据库中的存储模式;然后,在给定的空间约束下,根据历史查询使用背包问题求解算法选择关系表进行垂直分割或冗余存储相关数据,使查询所访问的无关数据尽可能少.VXMLR系统提供四种存储模式调整策略,其中两种策略可以实现自适应的存储模式调整.实验结果表明文中提出的方法是有效的.

安全关键软件的防危性测评技术研究442-450

摘要：为了评估安全关键软件的防危性,该文在分析软件可靠性与防危性异同的基础上,建立了相应的防危性评估指标,同时研究了传统统计测试方法确定所需防危性测试用例数的局限性.紧接着,使用贝叶斯函数动态地表示软件失效率的密度函数,提出了一种增量记忆型的防危性测试方法,该方法可根据软件出现失效时间的早晚及次数动态地确定所需测试用例数的增量,达到了改进传统测试方法局限性的目的,使安全关键软件测试失效后可经受更严格的测试,同时减小了测试工作量.为证明该方法的合理性、有效性,使用了大量例证.最后,就该领域内的相关工作及发展方向进行了展望.

WebFrame：一种多层次可扩展的Web应用服务器451-460

摘要：网络软件平台已成为当今软件技术发展的主流趋势和竞争焦点.Web应用服务器是Web计算环境下产生的新型中间件,是网络软件平台的关键与核心,已逐步成为信息化基础软件设施之一.该文重点介绍自主研制的WebFrame应用服务器的设计方法和思路,并分析了WebFrame的关键实现技术,给出了相应的解决办法.针对目前主流Web应用服务器存在的开放性和灵活性低等不足之处,WebFrame的设计遵循一种开放工程的方法,采用基于微内核的多层次可扩展模型,使得WebFrame具备在其生命周期内支持不同级别定制和可重配置的能力,满足不断变化的QoS需求.对比测试数据表明WebFrame具有较好性能.

基于WWW缓冲的用户实时二维兴趣模型461-470

摘要：WWW缓冲技术通过将受欢迎的网页放到与客户较近的地方来提高用户存取这些网页的速度.如何有效充分地利用WWW缓冲中的信息,其关键是建立一个合适的用户兴趣模型和构造合适的兴趣挖掘算法.简单兴趣模型通过(词条, 权重)来刻画兴趣.它没有深入挖掘这些兴趣之间的关联关系,因而在表达用户兴趣的时候,不能实现兴趣之间的关联.该文在充分分析WWW缓冲模型的基础上提出了实时二维兴趣模型.该模型的实时性可以保证挖掘出来的用户兴趣更能反映当前用户的兴趣状态;该模型引入的二维概念充分地考虑了用户兴趣之间的递推关系.该模型不是简单兴趣模型的简单扩充,而是模型和相关算法的全面改进.文章给出了二维兴趣模型的存储、二维兴趣的有效计算和二维兴趣的实时更新的相关方法.

2004年《通信学报》订阅单470-470

基于工作流网的实时协同系统模拟技术471-481

摘要：基于Petri网和工作流的概念,提出一种实时协同系统的形式化模拟与分析技术--逻辑工作流网. 逻辑工作流网是抑制弧Petri网和高级Petri网的抽象和扩展,其变迁的输入/输出受逻辑表达式的约束. 它与一般工作流网相比,能够在一定程度上缓解状态空间爆炸问题,且便于系统设计人员掌握和使用. 该文分析了逻辑工作流网的若干性质及组合网的性质继承问题,并以网上企业销售系统为例, 说明逻辑工作流网在实时协同系统模拟分析中的应用.

第二十一届中国数据库学术会议征文通知481-481

融合人脸轮廓和区域信息改进人脸检测482-491

摘要：基于人脸轮廓信息和面部区域信息的互补性,提出了一种新颖的基于融合算法的轮廓-区域人脸检测器:采用一种新的特征提取方法有效地刻画人脸轮廓模式;基于支持向量机分别训练人脸轮廓分类器和面部区域分类器;基于最小错误率Bayes决策规则融合人脸轮廓和面部区域分类器.该文分别在标准头部图像库、BioID人脸图像库(灰度人脸图像库)和彩色人脸图像库上测试了轮廓-区域人脸检测器.大量的实验结果表明了所提出的轮廓-区域人脸检测器通过引入轮廓信息有效地提高了人脸检测算法的精度.

第一届全国Web信息系统及其应用会议（WISA2004）征文通知491-491

基于JavaCard的移动保护的研究492-499

摘要：作为一种新的分布式计算模式,移动技术具有广泛的应用前景.目前,移动系统中对的保护是很棘手的问题,因为完全暴露在目的系统中,执行者可以很容易地孤立、攻击.该文提出一种基于JavaCard的保护方案,通过JavaCard为提供安全的执行环境.首先分析了所受的攻击及目前保护领域的研究现状,接着给出使用JavaCard保护的详细方案,并讨论的分割方法以及代码段的分配算法,最后对实验系统模型进行了分析和验证.

一种并行容侵系统研究模型——RC模型500-506

摘要：继防火墙和入侵检测系统之后,容侵系统成为了保护大型网络服务器的又一重要技术.该文在目前的基于状态转换模型的容侵系统研究模型的基础上,针对入侵行为对系统的资源和控制所造成的影响进行了分类,并进而提出了一种并行容侵系统研究模型--RC模型.文章也给出了在RC模型上进行入侵恢复的基本方法,最后给出了容侵实例.

一种分析电子商务协议的新方法507-515

摘要：通过将Kailar逻辑和LPC形式方法相结合,提出一种新的用于分析电子商务协议的形式化方法.新方法中的推导规则既简单便捷同时又具有分析签名和分析密文的能力.该方法既能描述协议中参加者的行为又能够分析参加者拥有的知识和推导协议的可追究性和公平性,使用该方法不仅可以分析使用在线第三方的协议又可以分析使用脱线第三方的电子商务协议.与其它的方法相比较,这一新方法既避免了Kailar逻辑的缺陷又弥补了LPC方法的不足.

利用U模变换增加并行粒度与改善数据访问局部性的方法516-523

摘要：提出了一种利用循环变换增加循环并行粒度,改善循环数据访问局部性的方法.该方法利用了给定二重循环的相关向量集的某些性质,将外层循环变量不同而内层循环变量相等的若干次迭代合并,成为折叠后迭代空间的一个结点,并且保持内层循环的并行性不变,从而达到增加循环并行粒度的目的.对于更普遍的情况,该文讨论了如何根据给定循环的循环向量集,确定一个U模变换对迭代空间进行变换,达到内层循环可并行和扩大循环粒度两个目的.针对循环变换中数据访问局部性可能变差的问题,该文提出了对内层循环先合并,根据合并后的相关向量集变换迭代空间,以及折叠迭代空间的方法.该文的方法是wavefront循环并行化方法的一种扩展.

书面藏语排序的数学模型及算法524-529

摘要：针对中国国家标准及ISO藏文编码字符集提出书面藏语字词的排序涉及藏字结构序、构造级和字符序概念,是不同于中文、英文序性而性质独特的一种排序.文章详尽分析了藏字字形、结构形态、传统字符顺序以及藏字字长和层高等特征,构建出藏语排序的数学模型.然后依据模型要求为每类藏文符号进行数字赋值,通过算法逐步确定字符位置并识别字符,最后按照抽取字符的对应数值组合排序,完成了藏语字词的排序.该模型现已在Windows平台上实现.

一般化的灰SOM模型及其性能评估530-534

摘要：自组织特征映射是Kohonen提出的一种人工神经网络模型,它能把高维的信息数据以有序方式映射到低维空间上,形成一种拓扑意义上的有序图.但其权值的调整仅考虑了学习率及输入模式与获胜神经元及其邻域,却忽略了输入模式分量与全体参与竞争的神经元权值向量间的某种相关关系.Hu等人利用灰关系系数( GRC)的描述方法显式地刻画这种关系.尽管如此,但GRC仍忽略了输入模式与所有参与竞争的神经元权值间的整体描述关系.该文通过在GRC中引入该整体关系,提出了一个一般化的灰关系模型G2SOM ,并将GSOM作为其特例,进而侧重就三种特殊的函数关系进行了性能评估.最后,通过实验验证了G2SOM的有效性与可行性.

逆向工程中反射植入的研究535-542

摘要：逆向工程辅助程序理解,而动态分析是理解面向对象软件系统的一种重要手段.通过植入,才能准确提取系统运行时的信息.常见的植入方法中,植入代码和目标代码处于同一计算层次,在植入过程中,需要对目标代码进行除编译分析之外的额外语法分析.该文提出反射植入思想,将植入的软件触发器和被植入的目标系统作为两个计算层次来处理,通过反射层元对象干预编译过程,实现源代码的植入;首先详细描述反射植入核心算法及识别调用方元信息和对象标识的思路,然后在扩充开放编译器的基础上实现了全局函数和系统调用语句前植入代码的算法.最后对该植入机制进行系统的实验研究.结果表明,反射植入机制不会破坏源代码本身的执行逻辑,能正确有效地植入代码并收集到系统运行时的信息.同时,多次植入的对比数据也证明了反射植入算法的收敛性.

一类k阶拟Bent函数密码性质的矩阵特征543-547

摘要：由于非线性组合函数的密码性质通常可以由函数的Walsh谱和自相关函数来刻划,因而对函数的密码性质的分析通常要计算大量的Walsh循环谱值和自相关函数值来验证. 该文利用一类k阶拟Bent函数的特殊性质,把对这类函数的密码性质的研究转化为对矩阵性质的研究,如平衡性、相关免疫性、扩散性、最高代数次数等. 这种转化避开了大量的计算,同时为构造密码性质好的k阶拟Bent函数提供了一种更为简洁且易于实现的方法.

基于交替与连续长度码的有效测试数据压缩和解压548-554

摘要：提出了新一类的变-变长度压缩码,称之为交替与连续长度码.该文在测试序列中直接编码连续的'0'和'1'以及交替变化位的长度,压缩一个预先计算的测试集,无需像其它文章中受限制仅仅编码连续的'0'.这种交替与连续长度码由两部分组成,即交替和连续部分.它的解压体系结构是一个简单的有限状态机并且不需要一个分离的循环扫描移位寄存器.试验结果显示,这种编码能够有效地压缩测试数据,并且更优于Golomb 和FDR码对输入数据流中的变化压缩.