• 2002年第13卷第7期文章目次
    全 选
    显示方式: |
    • 一个安全、高效的广义可验证秘密分享协议

      2002, 13(7):1187-1192.

      摘要 (2934) HTML (0) PDF 369.83 K (3448) 评论 (0) 收藏

      摘要:可验证秘密分享是密码学和信息安全中的一个重要工具.在现有的文献中可见到许多门限可验证秘密分享方案,但对广义可验证秘密分享的研究却很少.研究了广义可验证秘密分享问题.基于一个广义秘密分享方案,把Feldman的门限可验证秘密分享方案推广到了任意单调接入结构上.提出了一个安全高效的广义可验证秘密分享协议.协议是非交互式的,并且具有最优的信息速率,它在诸如密钥托管、面向群体的密码学及容错安全计算等方面会有实际应用.

    • 嵌套循环到多处理机的映射

      2002, 13(7):1193-1198.

      摘要 (2964) HTML (0) PDF 477.30 K (3388) 评论 (0) 收藏

      摘要:给出了将具有变相关的嵌套循环映射到具有分布式存储的多处理机上的两种方法.通过相关向量的分解或由相关向量导入方向向量,可将具有变相关的嵌套循环分解成若干互相没有相关关系的独立部分.由于它们可以被独立地执行,从而可以被映射到各个处理机上并行处理.

    • 蜂窝细分

      2002, 13(7):1199-1208.

      摘要 (3204) HTML (0) PDF 557.78 K (3150) 评论 (0) 收藏

      摘要:给出了一类新颖的基于六边形网格的细分方法.该方法拓广了细分曲面的种类,被形象地称为蜂窝细分方法.通过引入中心控制点的概念,使蜂窝细分具有参数选取灵活,形状控制容易,网格复杂性增长缓慢,适用范围广等优点.分析了蜂窝细分方法的极限性质以及参数选取规则,可保证细分曲面处处达到切平面连续,并在适当条件下具有插值能力.该方法适用于动画造型和工业造型设计.

    • 一种基于智能移动代理的网络故障检测系统

      2002, 13(7):1209-1219.

      摘要 (3509) HTML (0) PDF 651.74 K (4069) 评论 (0) 收藏

      摘要:随着网络规模的急剧扩大和结构的日趋复杂化,网络故障管理越来越重要.在一个复杂的通信网络中,故障是不可避免的,但是对故障的及时探测和识别对于提高网络的可靠性是非常重要的.监测数据包是网络故障检测中常用的方法,但是在大规模网络中会产生巨量的数据包.为此,人们提出了几种方法.但是这些方法都是建立在集中式管理体系结构之上的,因而没有良好的可扩展性、灵活性和本地处理能力.针对这些问题,提出了一种基于智能移动代理的网络故障检测系统结构,并用Java和aglet实现.实验表明,这种系统结构对于网络故障的检测是非常有效的

    • 利用路由器自适应限流防御分布拒绝服务攻击

      2002, 13(7):1220-1227.

      摘要 (4092) HTML (0) PDF 983.42 K (4111) 评论 (0) 收藏

      摘要:提出一种自适应路由器限流算法防御分布拒绝服务攻击的机制.该算法的关键是由被攻击者要求经挑选的相距k跳(hop)的上游路由器对目的为被攻击者的数据流进行限流,从而将被攻击者的服务支援在各数据流之间达到一种类最大-最小公平的流量分配.还在一个实际的因特网拓扑上针对攻击数据流和合法数据流的不同分布和流量模型考察了算法的效果.结果表明这种以服务器为中心的路由器限流是对抗分布拒绝服务攻击的一种很有前途的方法.

    • >综述文章
    • 软件体系结构研究综述

      2002, 13(7):1228-1237.

      摘要 (12559) HTML (0) PDF 500.04 K (10912) 评论 (0) 收藏

      摘要:近年来,软件体系结构逐渐成为软件工程领域的研究热点以及大型软件系统与软件产品线开发中的关键技术之一.归纳了软件体系结构技术发展过程及其主要研究方向.在分析了典型的软件体系结构概念之后,给出了软件体系结构的定义.通过总结软件体系结构领域的若干研究活动,提出了软件体系结构研究的两大思路,并从7个方面介绍了软件体系结构研究进展.探讨了软件体系结构研究中的不足之处,并分析其原因.作为总结,给出了软件体系结构领域最有前途的发展趋势.

    • 利用分布式主动智能体检测灰度图像的对称轴

      2002, 13(7):1238-1241.

      摘要 (3240) HTML (0) PDF 302.05 K (3171) 评论 (0) 收藏

      摘要:图像的对称性研究是模式识别和计算几何的重要内容,在目标识别、视觉监视和形状表示等研究中有一定的应用价值.提出一种利用分布式主动智能体提取灰度图像中的基本反射对称轴的新方法,它通过对智能体在局部图像环境中定居、发展以及迁徙和死亡等行为的模拟来检测、编组和连接显著的局部对称轴.该方法可以提取任意灰度图像中的基本反射对称轴,并且易于并行实现,关于自然图像的实验结果表明了它的有效性.

    • 基于平面的Warping技术

      2002, 13(7):1242-1249.

      摘要 (3750) HTML (0) PDF 472.15 K (3575) 评论 (0) 收藏

      摘要:提出了一种基于平面的逆向Warping算法,用于根据多幅参考图像生成任意视点下的新图像.首先通过参考图像的深度信息来重建三维平面,然后寻找这些重建平面间的对应关系,并比较它们对空间平面同一部分的采样密度,以获得最好的采样结果.在生成新视点图像时,首先对那些采样密度最好的重建平面进行可见性判断,然后将其投影到新视点下,在此基础上求得目标图像上各点的深度,最后将目标图像上的点逆向Warping到相应的参考图像中,以获取它们的颜色值.同时,对于参考图像中不能被重建成平面的像素点,用正向Warping的方法对其进

    • 一个基于混合并发模型的Java虚拟机

      2002, 13(7):1250-1256.

      摘要 (3282) HTML (0) PDF 401.99 K (3730) 评论 (0) 收藏

      摘要:从解释执行到及时编译的转变极大地提高了Java程序的运行速度.但是,现有的Java虚拟机还有待进一步的改进.提出了一种新的Java虚拟机编译与执行模型--混合并发模型HCCEM(hybrid concurrent compilation and execution model).该模型通过多线程控制方式将字节码的编译与执行过程相重叠,从而获取加速的效果.另外还给出了基于HCCEM的Java虚拟机JAFFE的设计方案,并就实现中的执行模式切换、异常处理以及层次线程等问题进行了讨论.实验结果表明,HCCEM能

    • 关于ESAC网活性和有界性的一个多项式算法

      2002, 13(7):1257-1263.

      摘要 (3445) HTML (0) PDF 401.13 K (3439) 评论 (0) 收藏

      摘要:寻找实际可行的多项式算法一直是Petri网应用的重要方面.给出了关于扩展强化非对称选择网(extended strong asymmetric choice nets,简称ESAC网)结构活和结构有界的一个判定算法.该算法可简单、有效地测试结构活结构有界的ESAC网的初始标识是否是活标识.ESAC网覆盖了自由选择网,因此,该算法应用范围较为广泛.

    • 元搜索引擎系统合成算法的约束条件

      2002, 13(7):1264-1270.

      摘要 (3534) HTML (0) PDF 552.25 K (3617) 评论 (0) 收藏

      摘要:合成是元搜索引擎系统中一个重要的技术问题.给出了搜索引擎和元搜索引擎的形式化定义,对各种可能的元搜索引擎合成类型进行了划分.在此基础上,提出了元搜索引擎合成的一般性约束条件以及针对特殊类型的特殊约束条件.这些约束条件为构造好的元搜索引擎合成策略提供了基本保障.

    • 一个新的意图后承形式系统Lm5c

      2002, 13(7):1271-1277.

      摘要 (3475) HTML (0) PDF 531.12 K (3256) 评论 (0) 收藏

      摘要:建立意图后承的形式化推理系统是意图形式化研究中的一个重要课题.提供了一个新的基于"归约蕴涵"的意图后承形式系统Lm5c,给出了意图后承的形式规范.与已有的意图后承形式系统相比,这个系统比较简单,并具有许多现有同类系统所不具备的优良性质,比如无副作用.此外,还具有较强的推理能力,可供Agent自身用于意图推理和目标修改.

    • 数字视频特技镜头转换检测算法的分析

      2002, 13(7):1278-1283.

      摘要 (3551) HTML (0) PDF 383.86 K (3297) 评论 (0) 收藏

      摘要:随着数字设备在视频制作中的广泛应用,数字特技(DVE)也越来越多地被用于镜头转换,这就要求视频检索能有效地对DVE镜头转换进行检测.通过对DVE镜头转换的模型和特性的分析,指出了目前基于二维时空图处理算法的局限性,进而提出了一种基于转换曲面的DVE检测算法以解决这个问题.并对在实际DVE视频上的镜头检测结果进行了分析,取得了很好的结果.

    • 基于测量的QoS参数估计及其应用

      2002, 13(7):1284-1289.

      摘要 (2892) HTML (0) PDF 517.74 K (3557) 评论 (0) 收藏

      摘要:提出了一种基于测量的QoS参数估计方法,该方法使得用户无须事先为业务源建立相应的业务模型并向网络提交其业务模型参数,而是通过对业务流的统计特性进行实时测量来动态估计相应的QoS参数,从而克服了基于模型QoS参数估计方法所固有的缺陷,便于网络进行连接允许控制和带宽的动态分配.

    • 小波变换域图像水印嵌入对策和算法

      2002, 13(7):1290-1297.

      摘要 (7739) HTML (0) PDF 467.71 K (7651) 评论 (0) 收藏

      摘要:稳健性是图像隐形水印最基本的要求之一.嵌入对策、嵌入公式、嵌入强度都影响水印的稳健性.提出了一个基于离散小波变换(DWT)的新的隐形水印嵌入对策.根据小波图像系数的分布特点和对小波系数振幅的定性、定量分析,水印应当首先嵌入小波图像低频系数,若有剩余,再按小波图像频带重要性的排序嵌入高频带.同时指出,水印嵌入到小波图像低频系数和高频系数需要用不同的嵌入公式.应用该嵌入对策,提出了一种把视觉系统掩蔽特性结合到水印编码过程中的自适应水印算法:将小波系数组织成小波块,采用一种新的方法将小波块分类,并根据分类的结果

    • 对群体Agent的意图跟踪

      2002, 13(7):1298-1302.

      摘要 (2815) HTML (0) PDF 307.73 K (3430) 评论 (0) 收藏

      摘要:MAS中,一个agent对其他agent进行跟踪、监视,并推断出其高级目标和意图是重要的,对多个agent的跟踪,既要知道每个agent的意图,也要分析出群体意图,以便于协作或对抗.引入群体思维状态和群体理性,在资源有限的情况下,可同时跟踪个体和群体意图,并相互依赖,以提高准确性和效率.还讨论了多agent对多agent的跟踪,改进了Tambe等人的工作.

    • 计算网格环境下一个统一的资源映射策略

      2002, 13(7):1303-1308.

      摘要 (4094) HTML (0) PDF 361.29 K (3526) 评论 (0) 收藏

      摘要:由于资源具有广域分布、异构、动态等特性,计算网格环境下资源的管理和调度是一个非常复杂且具有挑战性的问题.提出了计算网格环境下一组相互独立的计算任务(meta-task)的资源映射策略.该策略采用重复映射方法,以更好地适应网格计算环境下的动态性和自治性.算法考虑到任务的输入数据位置对映射效果的影响;通过定义效益函数,该策略在追求较小的任务完成时间的同时兼顾任务的服务质量(QoS)需求.模拟实验结果显示,该映射策略更符合计算网格的复杂环境,能够更好地满足不同用户的实际需要.

    • 任意多边形顶点凸、凹性判别的简捷算法

      2002, 13(7):1309-1312.

      摘要 (3448) HTML (0) PDF 248.84 K (4141) 评论 (0) 收藏

      摘要:给出了一种确定任意多边形顶点凸、凹性的简捷算法.该算法只需要2n+4次乘法,5n+10次加、减法及2n+3次比较即可完成(n是多边形顶点的个数).同时,给出了任意简单多边形走向的充要条件.

    • 基于Strand空间的认证协议证明方法研究

      2002, 13(7):1313-1317.

      摘要 (3745) HTML (0) PDF 307.52 K (3353) 评论 (0) 收藏

      摘要:Strand空间是一种新的安全协议分析模型.系统研究了使用Strand空间模型证明认证协议存在缺陷的方法.在证明过程中,使用目标细化方法证明了认证属性.通过在该模型中引入消息类型检查机制,简化了证明过程.并将该方法应用到包含三方主体的认证协议.最后得出与相关文献相同的结论.

    • 一种基于模式匹配的超媒体查询模型

      2002, 13(7):1318-1323.

      摘要 (3333) HTML (0) PDF 397.34 K (3202) 评论 (0) 收藏

      摘要:在基于语义网络的超媒体模型基础上,通过引入数据库模式、模式约束图以及分层模式依赖图等概念,提出了一种基于模式匹配的超媒体查询模型,给出了图形代数的形式化定义,并证明了该模型的查询能力.该模型具有较高的表达能力,能有效地降低用户的认知负载.

    • 数据仓库中时态视图的维护

      2002, 13(7):1324-1330.

      摘要 (3144) HTML (0) PDF 457.95 K (3326) 评论 (0) 收藏

      摘要:数据仓库的一个重要用途是利用时态视图向用户提供历史信息.因为在传统关系数据模型中增加了对时间的支持,而且时态视图的更新不仅来自于基表更新,还包括时间前进,所以,目前对非时态视图维护的研究成果不适用于时态视图,并且已有的一些时态视图维护算法也不适用于数据仓库.以历史关系模式为对象,根据增量式维护方法的原理,采用纯删除、纯插入的计算方法,用代数语言给出了5种基本历史关系代数运算的更新传播算法,由这5种历史关系代数组合定义的时态视图都可用迭代方法得到其增量维护计算式.所采用的纯删除、纯插入思想也可移用于其他历史

    • 采用增量时间戳安全技术的Mobile Agent系统

      2002, 13(7):1331-1337.

      摘要 (3024) HTML (0) PDF 458.86 K (3378) 评论 (0) 收藏

      摘要:安全技术决定了Mobile Agent的实用性,其主要解决的问题是防范恶意Mobile Agent的重复攻击和越权攻击.在介绍了Mobile Agent的概念、特点及安全的重要性的基础上,提出了增量时间戳的概念及优点,并给出了具体例证.采用增量时间戳的Mobile Agent系统能够较好地避免执行系统受到恶意Mobile Agent的损害.增量时间戳技术已经在基于Lucent公司的Inferno系统上开发的Mobile Agent系统中得到了验证和实现.

    • 一种新的面向信号处理的小波变换加速算法

      2002, 13(7):1338-1344.

      摘要 (3235) HTML (0) PDF 426.57 K (3534) 评论 (0) 收藏

      摘要:给出了小波分析滤波器系数的解析构造方法,导出了类似于快速Fourier变换的小波快速变换算法.它比著名的小波变换Mallat算法更简单、方便,计算速度更快.同时,它还可以根据分析的信号自适应地选择小波分析滤波器参数.

当期目录


文章目录

过刊浏览

年份

刊期

联系方式
  • 《软件学报 》
  • 主办单位:中国科学院软件研究所
                     中国计算机学会
  • 邮编:100190
  • 电话:010-62562563
  • 电子邮箱:jos@iscas.ac.cn
  • 网址:http://jos.org.cn/
  • 刊号:ISSN 1000-9825
  •           CN 11-2560/TP
  • 国内定价:70元
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号