• 2003年第14卷第8期文章目次
    全 选
    显示方式: |
    • 一种面向特征的领域模型及其建模过程

      2003, 14(8):1345-1356.

      摘要 (5213) HTML (0) PDF 891.89 K (5162) 评论 (0) 收藏

      摘要:特征模型作为捕获领域需求的重要模型已被现阶段的主流领域工程方法所接受,但这些方法缺乏对特征模型组织框架的细致研究和说明,在一定程度上导致了特征模型在表现形式上的冗余性和混乱性,也使得领域分析人员在实践中很难有效地进行领域建模活动.从特征模型的基本组织结构、变化性的表现方式和限制机制、变化性的绑定时间等方面对特征模型的组织框架及剪裁机制进行了统一、抽象的描述.在考察服务、用例(use case)、功能、行为特点等不同类型的特征及其相互关系的基础上,给出了一种特征模型的具体形式,并结合具体的领域,对其建模过程进行了详细论述.此项研究对于领域建模活动的成功实施具有一定的指导作用.

    • 软件流水的低功耗编译技术研究

      2003, 14(8):1357-1363.

      摘要 (4075) HTML (0) PDF 746.92 K (4040) 评论 (0) 收藏

      摘要:对具有可动态独立调整运行频率/电压的多功能部件配置结构M,基于全局调度的循环依赖关系,使用ILP形式化框架,研究了对给定循环L进行动态频率/电压调整的低功耗软件流水调度的编译优化技术.提出了一种合理而有效的低功耗最优化软件流水调度方法,使其在运行时保持性能不变而消耗的功耗/能量最小.

    • 基于构件的软件框架与角色扩展形态研究

      2003, 14(8):1364-1370.

      摘要 (4740) HTML (0) PDF 575.23 K (4791) 评论 (0) 收藏

      摘要:框架是实现大粒度软件复用的有效途径,面向对象框架可以通过实例化扩展实现具体的应用系统,但是,研究和实践表明,面向对象框架存在着一些问题.采用基于构件的框架(CBSF),通过用构件替代框架内部相互协作的类,以增大框架构成成分的粒度;同时利用构件的接口调用和组装实现框架扩展机制.主要探讨了角色扩展形态,角色是将要被进一步实例化的特殊构件,可分为抽象构件和模板.针对不同变化性类型,提出可以利用体系结构模式、设计模式或参数化这3种方式设计CBSF角色扩展,进而讨论了基于角色扩展形态的应用构件组装.

    • 基于EDF的分布式控制系统容错调度算法

      2003, 14(8):1371-1378.

      摘要 (4397) HTML (0) PDF 670.24 K (4754) 评论 (0) 收藏

      摘要:现有的分布式实时系统的容错调度算法要求系统中所有任务的周期相同且等于其时限,而实际中任务的周期常常是互不相同的.根据控制系统中任务的特点,结合任务分配算法与处理器的调度算法,提出了基于基版本/副版本技术和EDF算法的容错调度算法.该算法不要求任务的周期都相同,并通过设置基版本/副版本任务时限控制它们的执行时间不重叠,给出了基版本/副版本任务时限的设置方法,并对任务集的可调度性进行了分析.当任务集可调度时,给出其最大利用率和最小处理器个数的约束条件.最后给出一个仿真实例,结果表明了算法的有效性.

    • 基于分布均匀度的自适应蚁群算法

      2003, 14(8):1379-1387.

      摘要 (5027) HTML (0) PDF 792.27 K (5316) 评论 (0) 收藏

      摘要:针对蚁群算法加速收敛和早熟停滞现象的矛盾,提出一种基于分布均匀度的自适应蚁群算法,以求在加速收敛和防止早熟、停滞现象之间取得很好的平衡.该算法根据优化过程中解的分布均匀度,自适应地调整路径选择概率的确定策略和信息量更新策略.以数种对称和不对称TSP(traveling salesman problem)问题为例所进行的计算结果表明,该方法比一般蚁群算法具有更好的收敛速度和稳定性,更适合于求解大规模的TSP问题.

    • 基于矩形拟合的人体检测

      2003, 14(8):1388-1393.

      摘要 (3864) HTML (0) PDF 679.43 K (5121) 评论 (0) 收藏

      摘要:提出了一种在单幅图像中检测人体的新算法.将人体看作由躯干和四肢构成.用一个四边形拟合躯干,用一个或者两个四边形拟合每个肢体.人体检测就是寻找满足一定几何和拓扑约束的四边形组合.首先检测与拟合图像中的矩形区域,然后搜索满足几何和拓扑约束的矩形组合.如果该矩形组合的概率大于阈值,则调整各个矩形顶点的坐标,以便得到一个紧凑的人体模型表示.最后,重新计算该紧凑模型的概率.实验结果表明,该方法可以用于基于内容的图像检索以及基于视频的人体运动分析.

    • 基于混合投影函数的眼睛定位

      2003, 14(8):1394-1400.

      摘要 (5141) HTML (0) PDF 1.21 M (5451) 评论 (0) 收藏

      摘要:介绍一种精确定位眼睛的方法.眼睛定位是很多人脸检测算法的关键步骤.在获得眼睛窗口之后,可以利用投影方法来定位眼睛.提出一种混合投影函数,该函数结合了积分投影函数和方差投影函数,能够反映出图像在某个方向上灰度均值和方差的综合变化情况.实验结果表明,利用混合投影函数可以相当精确地确定眼睛中心的位置.

    • 基于模糊集合理论的主观信任管理模型研究

      2003, 14(8):1401-1408.

      摘要 (8110) HTML (0) PDF 753.76 K (7933) 评论 (0) 收藏

      摘要:在开放网络环境中,信任管理模型是信息安全的重要前提与基础.考察了主观信任的模糊性,运用模糊集合理论对信任管理问题进行了建模,给出了信任类型的定义机制和信任的评价机制,定义了主体信任的形式化表示,并提出了信任关系的推导规则,构造了一个完整的主观信任管理模型,为开放网络环境中的信任管理研究提供了一个有价值的新思路.

    • 一种通过视频片段进行视频检索的方法

      2003, 14(8):1409-1417.

      摘要 (4474) HTML (0) PDF 1.69 M (5887) 评论 (0) 收藏

      摘要:视频片段检索是基于内容的视频检索的主要方式,它需要解决两个问题:(1) 从视频库里自动分割出与查询片段相似的多个片段;(2) 按照相似度从高到低排列这些相似片段.首次尝试运用图论的匹配理论来解决这两个问题.针对问题(1),把检索过程分为两个阶段:镜头检索和片段检索.在镜头检索阶段,利用相机运动信息,一个变化较大的镜头被划分为几个内容一致的子镜头,两个镜头的相似性通过对应子镜头的相似性计算得到;在片段检索阶段,通过考察相似镜头的连续性初步得到一个个相似片段,再运用最大匹配的Hungarian算法来确定真正的相似片段.针对问题(2),考虑了片段相似性判断的视觉、粒度、顺序和干扰因子,提出用最优匹配的Kuhn-Munkres算法和动态规划算法相结合,来解决片段相似度的度量问题.实验对比结果表明,所提出的方法在片段检索中可以取得更高的检索精度和更快的检索速度.

    • 基于序列对表示的对齐约束模块布局算法

      2003, 14(8):1418-1424.

      摘要 (3893) HTML (0) PDF 574.90 K (3759) 评论 (0) 收藏

      摘要:在片上系统(SOC)的设计中,常常需要把某些单元摆放在某一预定坐标线附近相对较小的区域内.这一约束的来源是,在总线结构中,通过总线传递的数据,应当同步地出现在总线上,不能有较大的时延.对带有预定坐标线对齐(PCA)约束的模块布局问题进行研究,导出了约束模块之间的一系列关系,由此得到满足约束布局的必要条件.并且设计了多项式时间复杂度的算法,能够确保得到可行的模块布局.使用ami33和ami49对该算法进行了测试.实验结果证明,算法是有效的.

    • 蒙太奇网格融合

      2003, 14(8):1425-1432.

      摘要 (4217) HTML (0) PDF 1.07 M (4256) 评论 (0) 收藏

      摘要:三维物体融合是一种新的几何造型方法,它利用三维模型之间的剪贴操作从两个或多个现有的几何模型中光滑融合出新的几何模型.提出了一种基于局部调和映射的三维网格蒙太奇融合新方法.首先利用网格上的近似等距线算法来抽取出待融合区域,然后对两个待融合区域进行带内孔的调和映射参数化,最后通过拓扑合并和融合控制来实现网格的光滑融合.与原有的基于全局调和映射的融合方法相比,新方法的算法效率大幅度提升,求解时间不再随融合模型顶点数的增加而呈指数增长;减少了二维网格拓扑合并中奇异情况出现的概率,提高了算法的稳定性;被剪切网格的细节得到完整保留;消除了原算法对融合区域拓扑的限制.实验结果表明,此方法可以用来生成许多三维动画中的特殊夸张造型效果,在影视动画中具有应用价值.

    • 一种基于整数小波变换的图像编码算法

      2003, 14(8):1433-1438.

      摘要 (4071) HTML (0) PDF 1.49 M (4480) 评论 (0) 收藏

      摘要:针对静止图像经整数小波变换(integer wavelet transform)后,各子带系数的幅值动态变化范围小,不利于零树编码(embedded zerotree wavelet coding)的缺点,采用"从1开始的整数平方"代替"2的整数次幂"作为零树编码的量化阈值,缩短了量化阈值间隔.通过减少重要系数在较低量化阈值中出现的机会,增加了编码过程中的零树数量;同时通过减少参与编码的字符数及对最高频带零树不编码,简化了编码过程.实验结果表明,整数平方量化阈值下的零树编码(integer square zerotree wavelet coding)解决了整数小波变换中零树编码的低效问题,提高了静止图像的编码效率.

    • 一类平面参数曲线的保单调插值

      2003, 14(8):1439-1447.

      摘要 (3747) HTML (0) PDF 794.61 K (3754) 评论 (0) 收藏

      摘要:曲线、曲面的保形插值是几何外形设计的一个重点和难点课题,而保单调和保凸是保形的两个基本内容.研究了一类带有形状可调参数的平面参数曲线的保单调插值方法.其基本思想是:首先构造带有形状可调参数(的一类平面(-B样条插值曲线,再把其一阶导矢的两个分量分别转化为Bernstein多项式,从而利用Bernstein多项式的正性条件,得到此曲线为单调的充要条件,即形状参数(的取值范围,简单、快捷地实现此参数样条曲线的保单调插值.实例计算及绘图验证了理论推导的正确性与有效性.该方法的方便、有效使其易于在工程实践中获得广泛应用.

    • 海量数据的曲面分层重建算法

      2003, 14(8):1448-1455.

      摘要 (3890) HTML (0) PDF 823.93 K (4129) 评论 (0) 收藏

      摘要:从二维图像序列进行表面重建的问题由来已久.传统的重建方法通常是先重建或先等值面抽取,再简化数据量.随着处理数据量的增长,传统算法的中间过程会因为存储空间的限制不能进行下去.如何利用有限的存储空间对大数据量进行处理,从而完成曲面的重建曾是要研究的问题.针对大数据量的已分割的医学切片图像,利用逐层重建、即时简化的基本思想,给出一个易于操作实现、数据量可控制的算法.这样可以在硬件条件不太高的计算机(如内存不太大的个人微机)上实现大数据量的医学图像表面重建.

    • 基于拓扑相似性的等距参数曲面求交算法

      2003, 14(8):1456-1462.

      摘要 (3769) HTML (0) PDF 693.06 K (4363) 评论 (0) 收藏

      摘要:等距曲面求交算法通常采用曲面求交算法反复迭代计算交线,没有考虑不同Offset距离等距曲面交线的相似性进行求交简化.提出了一种基于拓扑相似性的等距曲面求交优化算法.算法首先求取曲面的拓扑特征点,根据拓扑特征点分布图,确定交线环拓扑结构,在交线拓扑结构信息的指导下,确定初始点的搜索策略.采用提出的方法可以有效解决等距曲面的子环、奇点遗漏、分支跳跃、乱序跟踪和初始点求取问题,精确、鲁棒地计算出交线.

    • 求和生成器的相关性分析

      2003, 14(8):1463-1469.

      摘要 (4164) HTML (0) PDF 575.00 K (3826) 评论 (0) 收藏

      摘要:J. Dj. Golic运用线性序列电路逼进的方法来分析具有任意个输入的求和生成器.他猜想可以通过这种方法来获得所有具有最大相关系数的输入和输出线性函数对,但是他未给出证明.利用Walsh变换技术证明了当n是偶数的时候这个猜想成立.另外,还研究了求和生成器的相关系数总和,发现它与带1比特组合器的相关系数总和非常类似.

    • 一种高效可靠的移动Agent间通信机制

      2003, 14(8):1470-1480.

      摘要 (4357) HTML (0) PDF 912.00 K (4134) 评论 (0) 收藏

      摘要:作为未来分布式系统的一种主流计算模式,移动Agent技术具有广阔的研究前景.协作与通信是移动Agent系统必不可少的组成部分.然而由于Agent的移动性和自主性,现有研究工作所提出的移动Agent间通信机制在可靠性尤其是有效性上存在着一定的不足,如不能够在底层理想地解决通信失效等问题.针对上述问题,设计了一种具有高度自适应性的消息传递机制--EMFS(efficiently message forwarding scheme).该协议在Agent寻址上采取指针寻址和集中式寻址相结合的方式;而对于通信失效的解决则采用了以检测法为主,辅以同步的方法,从而能够在彻底解决通信失效的基础上,较大地提高整个通信系统的性能.此外还对协议的主要参数进行了讨论,从理论上分析比较了EMFS的性能,并给出了模拟实验数据,说明了协议的正确性和高效性.

    • 基于特征信息定位的P2P网络模型:Barnet

      2003, 14(8):1481-1488.

      摘要 (3827) HTML (0) PDF 724.05 K (4555) 评论 (0) 收藏

      摘要:提出了Barnet,一个基于特征信息定位的Peer-to-Peer网络模型.该模型的目标是为广域网络构建一个高性能、高可用、协同、负载均衡的海量信息资源服务平台.分别描述了Barnet原型系统的构建目标、系统结构、信息资源的组织及信息资源的定位策略.描述了Barnet中所采用的一个基于Peer-to-Peer的分布式命名、定位、查找算法NetShot,讨论了NetShot中节点的命名、节点加入离开、节点间邻接关系和节点间消息传递方式等基本问题.提出了基于特征信息定位技术的概念,并讨论了在Barnet中使用基于特征信息定位技术对具体信息资源进行查找、定位的具体策略.

    • 移动通信中可证安全的双向认证密钥协商协议

      2003, 14(8):1489-1494.

      摘要 (4111) HTML (0) PDF 637.49 K (4685) 评论 (0) 收藏

      摘要:在基于无线网络的分布式环境中,带认证的密钥协商协议对通信双方是否能够建立安全的会话至关重要.同时,协议的可证安全也逐步得到重视.在借鉴以往无线通信密钥建立协议的基础上,提出了一个可相互认证的密钥协商协议MAKAP(mutual authenticated key agreement protocol),并在Bellare和Rogaway的模型下证明了它的安全性,同时分析了其计算代价.与以往许多协议相比,MAKAP协议不仅在安全证明上有较明显的优势,而且其计算量也不大,有较高的实用性.

    • 蓝牙自组个人网监听模式下分散网调度算法

      2003, 14(8):1495-1502.

      摘要 (3886) HTML (0) PDF 797.61 K (3674) 评论 (0) 收藏

      摘要:蓝牙自组个人区域网络是由具有蓝牙功能的设备组成一个不需额外网络设备,在某个区域内一起自主协调工作,相互间自由通信的独立无线移动网络.网络中的某些节点采用时分复用方式参与多个微微网中并转发网络数据.由于节点在某时刻只能加入其中一个微微网中,这就需要微微网间或者分散网调度算法.监听模式为分散网调度算法提供了一个比较灵活的方式并且无须更改协议.提出了一种基于监听模式的自适应分散网调度算法,有效解决了这个具有挑战性的课题.算法监控各个链路上的流量,并获得流量变化数据,根据这些数据实时改变节点在各个链路上的监听时隙分配比例.通过对算法仿真结果的对比和分析,证明算法能够提高吞吐量,减少传输延迟,改善网络性能.

当期目录


文章目录

过刊浏览

年份

刊期

联系方式
  • 《软件学报 》
  • 主办单位:中国科学院软件研究所
                     中国计算机学会
  • 邮编: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号