2003年第14卷第11期文章目次

  • 显示方式:
  • 简洁模式
  • 摘要模式
  • 1  基于软件体系结构的反射式中间件研究
    黄罡 王千祥 梅宏 杨芙清
    2003, 14(11):1819-1826.
    [摘要](4582) [HTML](0) [PDF 897.10 K](6332)
    摘要:
    Internet为分布应用提供了一种开放、动态的运行环境,这要求分布应用的主要基础设施中间件能够支持运行时查看并调整平台内部状态和行为,由此产生了反射式中间件.目前的反射式中间件研究与实践存在3个不足:注重系统局部或单个实体的反射而缺乏全局视图;注重中间件平台内部功能的反射,而对上层应用的反射不够;集中于CORBA平台,而对J2EE平台的反射性研究较少.介绍了一个反射式的J2EE应用服务器PKUAS.基于构件化的平台内部体系结构,PKUAS引入软件体系结构作为全局视图以实现反射体系对系统整体的表示和控制,作为J2EE应用服务器,PKUAS可反射底层平台以及上层EJB构件.同时,以PKUAS实时监控工具为例,探讨了如何利用基于软件体系结构的反射体系管理整个系统,并给出了PKUAS与其他几种反射式中间件的比较.该工作有效地解决了现阶段反射式中间件研究的不足,提高了反射式中间件的实用性.
    2  一种具有快速条件断点的并行程序调试器
    刘建 王皓 沈美明 郑纬民
    2003, 14(11):1827-1833.
    [摘要](4046) [HTML](0) [PDF 601.06 K](6010)
    摘要:
    快速条件断点是高性能并行程序调试器中进程控制必备的功能之一.分析了快速条件断点基本原理以及快速条件断点设计中需要考虑的代码生成、代码插装和源程序对应等问题.并针对上述问题,提出了预编译与运行时编译结合的代码生成方式、动态代码插装、源断点标识技术等解决方案.利用经过改进的动态补丁码工具Dyninst,设计实现了并行程序调试器XBUSTER,并实现了快速条件断点这一重要功能.测试表明,XBUSTER的执行效率比传统条件断点高.与现有的基于动态插装的系统,如Ceder,ldb和Dyner相比,XBUSTER具有功能性强、可移植性好等鲜明特点.
    3  工作流模型中多粒度时间约束描述及其分析
    杜栓柱 谭建荣 陆国栋
    2003, 14(11):1834-1840.
    [摘要](3865) [HTML](0) [PDF 674.62 K](5046)
    摘要:
    流程的分布性要求工作流模型中时间约束可以采用不同的时间粒度来度量.为此,定义了工作流模型MG-TWF.通过多粒度相对时间约束、多粒度绝对时间约束及多粒度时间约束工作流网概念,从MG-TWF模型的静态建立阶段、动态运行阶段及模型的网结构方面描述其多粒度时间约束.并在此基础上建立了MG-TWF模型的多粒度时间约束工作流网、多粒度相对时间和多粒度绝对时间约束一致性问题的一般分析方法.最后给出一个具体MG-TWF模型的一致性分析实例.
    4  工作流系统带权角色与周期时间访问控制模型
    王小明 赵宗涛 郝克刚
    2003, 14(11):1841-1848.
    [摘要](4186) [HTML](0) [PDF 785.70 K](8472)
    摘要:
    带权角色激活任务和周期时间授权是工作流系统访问控制研究尚未解决的核心问题.以基于角色的访问控制模型为基础,提出了一种新的工作流系统带权角色与周期时间访问控制模型WRPTAC(weighted role and periodic time access control).讨论了周期时间表示方法,定义了工作流系统授权新概念和时态授权推导规则,给出了时间复杂度为O(n2)的时态授权推导规则一致性验证图论算法,并定义了任务激活约束规则.它能够表达复杂的工作流系统访问控制约束.
    5  集成多方面信息的定性空间推理及应用
    王生生 刘大有 谢琦 王新颖
    2003, 14(11):1857-1862.
    [摘要](4005) [HTML](0) [PDF 605.18 K](5364)
    摘要:
    以往的定性空间或时空推理工作多数面向单一时空方面,这不符合实际应用需要.提出了集成拓扑、尺寸和时间3方面信息的定性表示和推理技术,并应用到时空GIS中.给出了面向GIS的拓扑、尺寸和时间的表示方法,并研究了它们之间的依赖性.提出了集成这3方面信息的约束满足问题求解算法TriRSAT.在时空GIS中,把定性时空表示用于约束关系库,把TriRSAT算法用于时空数据一致性检查和时空查询.应用结果显示,该理论和方法能有效地集成处理多方面时空信息,在时空数据库、机器人导航等领域有着广泛的应用前景.
    6  基于进化稳定策略的遗传算法
    苏小红 杨博 王亚东
    2003, 14(11):1863-1868.
    [摘要](4643) [HTML](0) [PDF 585.90 K](7924)
    摘要:
    为了解决传统遗传算法易陷入局部最优解的问题,在借鉴生物学中"进化稳定策略"的基础上,对传统的遗传算法进行了改进,提出了基于进化稳定策略的遗传算法.该算法的核心在于,稳定参数控制下的突变算子的构造,通过稳定参数的设定来稳定种群中最优个体的数目,并有目标地对最优个体进行突变操作,以达到快速扩大搜索空间、稳定群体中个体多样性的目的.仿真结果表明,该算法有效地避免了传统遗传算法中因选择压力过大造成早熟现象的发生,显著地提高了GA对全局最优解的搜索能力和收敛速度.这将使GA在众多实际的优化问题上具有更广泛的应用前景.
    7  单隐层神经网络的Lp同时逼近
    曹飞龙 李有梅 徐宗本
    2003, 14(11):1869-1874.
    [摘要](4009) [HTML](0) [PDF 585.75 K](4834)
    摘要:
    用构造性的方法证明对任何定义在多维欧氏空间紧集上的勒贝格可积函数以及它的导数可以用一个单隐层的神经网络同时逼近.这个方法自然地得到了网络的隐层设计和收敛速度的估计,所得到的结果描述了网络收敛速度与隐层神经元个数之间的关系,同时也推广了已有的关于一致度量下的稠密性结果.
    8  重组的遗传漂移分析
    郭观七 喻寿益
    2003, 14(11):1875-1881.
    [摘要](3938) [HTML](0) [PDF 641.95 K](5140)
    摘要:
    进化计算中存在的遗传漂移现象导致种群均匀地收敛于单一个体,产生早熟收敛或丢失可选的全局(或局部)最优解.遗传漂移起源于选择压、选择的采样误差和重组算子的作用.多父代重组算子是多种交叉和重组算子的广义化.以多父代重组算子为对象,研究重组的遗传漂移现象.通过基因频率分析,严格地证明多父代对角交叉和均匀扫描交叉不会引起遗传漂移,但基于基因出现频率的多父代扫描交叉导致遗传漂移,其程度随重组规模的增加而加剧.应用基于基因出现频率的多父代扫描交叉的仿真遗传优化实验的数据表明,重组的遗传漂移不但导致种群多样度的急剧下降,而且降低了进化搜索的收敛速度,从而降低了进化搜索的性能.
    9  一种用于中药最优配方挖掘的3-阶段选举筛选算法
    向正贵
    2003, 14(11):1882-1890.
    [摘要](3982) [HTML](0) [PDF 1.18 M](4849)
    摘要:
    提出了一种用于挖掘中药最优配方的三阶段选举筛选算法.首先对不同配方的中药新药的临床疗效数据进行可视化.然后,从可视化后的疗效数据曲线中提取若干疗效特征.最后,采用三阶段选举算法筛选新药配方.第一阶段是初选,每一实验样本投票产生指定配方指定指标的特征值.第二阶段是中选,指定配方指定指标的特征值投票产生指定配方指定指标的药效值.第三阶段是终选,每一指标的药效值投票产生指定配方的综合药效值.通过权衡所有配方的综合药效值,就可以找到最优中药配方.实验结果显示该方法对于这类问题是有效的,能较好挖掘出最优中药新药配方,并对新药的临床实验具有指导意义.该方法的潜在应用包括新药开发、风险投资最优组合和基因序列分析等.
    10  基于支持向量机的图像语义分类
    万华林 Morshed U. Chowdhury
    2003, 14(11):1891-1899.
    [摘要](5157) [HTML](0) [PDF 716.72 K](5987)
    摘要:
    图像的低层可视特征与高层语义特征之间存在着一道鸿沟,人们不能直接理解由计算机自动生成的低层特征.另外,基于内容的图像分类和检索的性能极大地依赖于可视特征的提取和描述.出于这些考虑,提出了新的图像纹理、边缘描述子提取方法,并将它们表示为直方图.在此基础上,集成纹理、边缘和颜色直方图作为图像的特征向量,用支持向量机(SVM)实现图像的语义分类.实验结果表明,集成的图像特征表示在图像分类实验中取得了很好的效果,具有比其他特征表示(如Gabor纹理、颜色直方图)更好的性能.
    11  彩色图像人脸高光区域的自动检测与校正方法
    陈锻生 刘政凯
    2003, 14(11):1900-1906.
    [摘要](4719) [HTML](0) [PDF 748.57 K](6806)
    摘要:
    人脸检测和识别受不同环境照明的影响很大,彩色图像中人脸高光区域的自动检测和辐射校正有助于对人脸的正确分析和识别.提出了一种在TSL(tint-saturation-luminance)彩色空间基于双色反射模型进行高光检测和辐射校正的新方法.通过考察肤色在各种不同彩色空间中的分布形态,以及对皮肤光谱反射特性的分析,采用关键的2维平面代替3维彩色空间进行高光分析.一方面降低了算法复杂度,另一方面又可以在序贯主分量分析中提出特征值比值,迅速而准确地自动检测是否有皮肤高光区域的存在,同时还可以鲁棒地确定皮肤双色反射矢量,应用双色反射模型进行肤色高光区域的辐射校正.
    12  一类Koblitz椭圆曲线的快速点乘
    胡磊 冯登国 文铁华
    2003, 14(11):1907-1910.
    [摘要](4989) [HTML](0) [PDF 450.30 K](5276)
    摘要:
    考虑一类特征3的Koblitz椭圆曲线的快速点乘算法.在这类曲线上适合建立低带宽的、可证明安全的密码体制.结果显示,利用这类曲线的复乘性质,使用模约减和Frobenius展开技巧,这类曲线上存在一种不带预计算的快速点乘算法,其运算速度是通常的重复加倍-点加算法的6倍.该算法的快速优化原理与有限域算术优化和椭圆曲线点的坐标表示的选取无关.
    13  群签名中成员删除问题的更新算子解决方案
    王尚平 王育民 王晓峰 秦波 何成 邹又姣
    2003, 14(11):1911-1917.
    [摘要](4255) [HTML](0) [PDF 655.44 K](4859)
    摘要:
    提出了Camenisch-Stadler群数字签名方案中成员删除问题的一个新的解决方案.新方案使用了群组成员秘密特性钥更新算子方法.新方案中当一个成员加入或被群组删除后,群主管计算并公布群组新的特性公钥及群组成员秘密特性钥更新算子,群中的每个成员只需要利用公开的更新算子重新计算各自的秘密特性钥,系统不需要对每个成员更新颁发成员证书.因此,新方案对大的群组是一个可接受的方案.群组的公开钥、成员的秘密钥及签名的长度都是固定不变的.新方案比Bresson-Stern的群组成员删除方案要好,因为Bresson-Stern的群组成员删除方案中对信息的签名含有证据,这些证据的个数随着被删除对象的个数呈线性增长.更新算子的思想受到了Kim-Lim-Lee的启发,但是该签名算法更为简明.所提出的方案的安全性是基于RSA问题的困难性假设,新方案是抗伪造攻击的,伪造成功等同于求解RSA问题.
    14  一种比较研究:宽带社区接入技术的多服务提供
    赵壮 刘琼 吴志美
    2003, 14(11):1918-1930.
    [摘要](4069) [HTML](0) [PDF 887.17 K](5355)
    摘要:
    今天,宽带社区接入基础设施仍然是下一代网络的主要研究领域之一.除了流行的非对称数字用户环路、光纤同轴混合网和ATM无源光网络,学术界和工业界正日益表现出对于以太网技术应用于宽带社区接入网的巨大关注.试图调查通常的宽带社区接入技术的本质区别,给出全面的理解.综述了通常的宽带社区接入技术,基于复用方法和传输技术发布了新出现的基于以太网技术的社区接入网和非对称数字用户环路、光纤同轴混合网和ATM无源光网络的比较研究.这个比较研究深入地讨论了宽带社区接入技术网络结构、服务模型、通信量模型和服务质量提供.比较研究将有益于将来的宽带社区接入基础设施的研究与实现.
    15  基于离散对数的代理盲签名
    谭作文 刘卓军 唐春明
    2003, 14(11):1931-1935.
    [摘要](4793) [HTML](0) [PDF 454.55 K](5631)
    摘要:
    代理签名是一种非常有用的密码学工具.使用它,原始签名人能将其数字签名权力委托给代理签名人.在盲签名方案中,消息的内容对签名者是不可见的.签名被接收者泄露后,签名者不能追踪签名.代理签名和盲签名在实际中分别有着广泛的应用.结合两者的优点,在Schnorr签名的基础上,提出了一个代理盲签名方案.
    16  电子商务协议中的可信第三方角色
    卿斯汉
    2003, 14(11):1936-1943.
    [摘要](5553) [HTML](0) [PDF 630.50 K](6187)
    摘要:
    在安全电子商务协议中,可信第三方TTP(trusted third party)担任重要的角色.通过3类不同的协议,即Coffey-Saidha协议、CMP1协议和Asoken-Shoup-Waidner协议,指出TTP在inline TTP协议、online TTP协议和offline TTP协议中的不同作用.对上述协议进行了全面的分析,分别指出它们的特点、缺陷与改进方法.
    17  带时间特性的角色访问控制
    黄建 卿斯汉 温红子
    2003, 14(11):1944-1954.
    [摘要](4621) [HTML](0) [PDF 830.83 K](6088)
    摘要:
    基于角色的访问控制模型的研究工作近年来得到了广泛的重视,但主要工作均立足于与时间特性无关的其他方面.形式化描述了一个引入时间后的角色访问控制模型.在该模型中对原有授权约束进行了时间扩充.提出的相应算法解决了时间授权约束和会话的状态转变问题.同时分析了模型的一致性状态,并讨论了一致性状态维护问题.
    18  基于细节层次与最小生成树的三维地形识别与检索
    肖俊 庄越挺 吴飞
    2003, 14(11):1955-1963.
    [摘要](3971) [HTML](0) [PDF 1.04 M](4996)
    摘要:
    图像、视频、音频和图形等均是多媒体数据流中的信息载体,对上述数据所蕴涵的内容进行分析,可以极大地方便人们对它们的使用与管理.基于内容的图像(视频)和音频检索已经取得了不少进展,但是对于图形,特别是3D图形进行识别与检索的有效方法还很少见.提出了对相似3D物体识别与检索的算法,在这个算法中,首先使用细节层次模型对3D物体进行三角面片约减,然后提取3D物体的特征.由于所提取的特征维数很大,最小生成树(minimum spanning tree,简称MST)被用来对每一个3D物体的特征进行约减,基于约减后的特征,实现了基于支持向量机的3D物体识别与检索方法.这个算法被使用到3D丘陵与山地的地形识别中,取得了良好效果.
    19  基于人眼视觉特性的快速图像编码算法
    王向阳 杨红颖
    2003, 14(11):1964-1970.
    [摘要](4380) [HTML](0) [PDF 821.24 K](6704)
    摘要:
    提出了一种图像编码算法ESPIHT(extended set partitioning in hierarchical trees).该算法能够通过以下3项措施提高SPIHT算法工作效率:(1) 全面引入快速提升小波变换;(2) 重新定义扩充零树结构;(3) 综合考虑人眼视觉特性.实验结果表明, ESPIHT算法是一种高效的图像压缩算法,其编解码速度、图像复原质量、内存需求量等关键技术指标均优于SPIHT等编码算法(特别是在低比特率下).
    20  立体视频编码中的目标分割与立体匹配算法
    朱仲杰 郁梅 蒋刚毅 吴训威
    2003, 14(11):1971-1976.
    [摘要](4016) [HTML](0) [PDF 537.63 K](5809)
    摘要:
    视频目标分割与立体匹配是目标基立体视频编码中的核心技术.首先在单通道视频目标分割的基础上提出一种轮廓跟踪匹配算法,以提取立体视频目标对,然后提出一种基于目标的视差估计算法.它以具有特征信息的像素为匹配基元,结合视差匹配约束进行视差估计,克服了传统块匹配算法视差场不连续、视差精度差的缺点,可以获得较为精确和平滑的视差场.

    当期目录


    文章目录

    过刊浏览

    年份

    刊期

    联系方式
    • 《软件学报 》
    • 主办单位:中国科学院软件研究所
                       中国计算机学会
    • 邮编:100190
    • 电话:010-62562563
    • 电子邮箱:jos@iscas.ac.cn
    • 网址:https://www.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号