• 2011年第22卷第1期文章目次
    全 选
    显示方式: |
    • 一种形式化的组件化软件过程建模方法

      2011, 22(1):1-16. DOI: 10.3724/SP.J.1001.2011.03769

      摘要 (9376) HTML (0) PDF 809.46 K (8887) 评论 (0) 收藏

      摘要:为了解决当前软件过程重用方法中存在的问题,特别是由于缺乏对软件过程组件及其操作法则的精确定义所带来的重用中的低效率问题,介绍了一种形式化的组件化软件过程建模方法(componentized software process modeling,简称CSPM).CSPM 提供了形式化定义可重用软件过程的机制,并且给出了将过程组件组合成过程模型的一系列操作法则.利用CSPM 方法,能够以严格的方式对软件过程组件进行重用,并且有效地避免了传统非形式化建模方法中因歧义而有可能引起的潜在错误.CSPM 还可以将对组装后的软件过程模型针对某些特定性质的验证问题转化成对其对应组件的一系列子验证问题,从而通过指数地减少需要搜索的状态空间规模,将原来在某些特定环境下不实用的验证问题简化成验证代价较小的一系列问题.

    • 一种支持软件可信演化的构件模型

      2011, 22(1):17-27. DOI: 10.3724/SP.J.1001.2011.03813

      摘要 (7519) HTML (0) PDF 1.21 M (10036) 评论 (0) 收藏

      摘要:对环境的适应是软件保证其可信的重要手段.当应用场景超出开发阶段的预设时,软件的环境适应能力需要能够在线调整,以保证其行为和结果仍可符合用户预期.这一调整的前提是软件工程层面的高效支持机制.基于关注点分离原则和动态软件体系结构技术,提出了一种支持软件环境适应能力细粒度在线调整的构件模型ACOE(adaptive component model for open environment).ACOE 将软件环境适应能力中的感知、决策、执行等关注点封装为独立的构件和连接子,通过动态软件体系结构技术来支持它们的在线重配置,从而使第三方可在必要时通过有选择性的更新来调整适应能力.实现了支持ACOE 构件模型的容器原型,并通过实验验证了其有效性.

    • >综述文章
    • 半监督降维方法的实验比较

      2011, 22(1):28-43. DOI: 10.3724/SP.J.1001.2011.03928

      摘要 (9120) HTML (0) PDF 825.89 K (13524) 评论 (0) 收藏

      摘要:半监督学习是近年来机器学习领域中的研究热点之一,已从最初的半监督分类和半监督聚类拓展到半监督回归和半监督降维等领域.目前,有关半监督分类、聚类和回归等方面的工作已经有了很好的综述,如Zhu 的半监督学习文献综述.降维一直是机器学习和模式识别等相关领域的重要研究课题,近年来出现了很多将半监督思想用于降维,即半监督降维方面的工作.有鉴于此,试图对目前已有的一些半监督降维方法进行综述,然后在大量的标准数据集上对这些方法的性能进行实验比较,并据此得出了一些经验性的启示.

    • 利用规划命题关系图构建目标议程和宏动作

      2011, 22(1):44-56. DOI: 10.3724/SP.J.1001.2011.03861

      摘要 (6062) HTML (0) PDF 667.91 K (5094) 评论 (0) 收藏

      摘要:对智能规划中的常用工具——放松式规划图(relaxed planning graph,简称RPG)的图论性质进行了深入研究.将RPG 中的命题层抽取出来,得到一个不包含任何动作的命题关系图(proposition relation graph,简称PRG),发现PRG 仍具有RPG 的主要规划性质.初步研究结果包括以下4 个方面:初始命题集(initial proposition set,简称IPS)的闭出邻集(close out-neighborhoods,简称CON)是放松式规划可达命题集(relaxed reachable proposition set,简称R-RPS);初始状态命题到目标状态命题的最大距离是规划解长度的合理估计;无圈序指出了对应命题被实现的顺序要求;出度或入度为1 的结点收缩对应规划中构造的宏动作.上述结果中,前两者说明PRG 保留RPG 的主要规划性质,后两者可用于建立目标议程或宏动作提取等领域.还提出与上述结论相关的3 种算法:从RPG 中得到PRG 的算法(复杂性为O(mn2),其中,n 为RPG 的命题数,m 为RPG 的动作数);约简无圈序算法(复杂性为O(n+m),其中,n 为PRG 的结点数,m 为PRG 的边数);宏动作建议算法(复杂性为O(n2),n 为PRG 的结点数).

    • 基于派生谓词的STRIPS 领域知识提取策略

      2011, 22(1):57-70. DOI: 10.3724/SP.J.1001.2011.03726

      摘要 (6033) HTML (0) PDF 675.87 K (5389) 评论 (0) 收藏

      摘要:领域知识的获取是智能规划研究中的重要内容之一.派生规则是一种基于逻辑推理的领域知识表示方法.在对动作模型和派生规则综合分析的基础上提出了基于派生谓词的STRIPS 领域知识提取策略,并给出了该提取策略的算法描述.在规划求解过程中,利用提取所得的领域规则可减少派生规则的逻辑推导,从而提高规划效率.对任意一个规划领域,利用提取所得的领域规则可以分析出领域谓词之间的互斥关系,这种互斥关系可以对一类矛盾的规划状态进行判定.最后,把所提出的领域规则提取策略嵌入到规划器StepByStep 之中进行了领域规则提取实验.实验结果验证了该提取算法的可行性和有效性,所提取出的领域规则能够直观地表达谓词间的因果关系,为派生谓词的真值判断和后续的规划求解提供了可靠的领域知识.

    • >综述文章
    • 云计算安全研究

      2011, 22(1):71-83. DOI: 10.3724/SP.J.1001.2011.03958

      摘要 (28720) HTML (0) PDF 781.42 K (50843) 评论 (0) 收藏

      摘要:云计算代表IT 领域向集约化、规模化与专业化道路发展的趋势,是IT 领域正在发生的深刻变革.但它在提高使用效率的同时,为实现用户信息资产安全与隐私保护带来极大的冲击与挑战.当前,安全成为云计算领域亟待突破的重要问题,其重要性与紧迫性已不容忽视.分析了云计算对信息安全领域中技术、标准、监管等各方面带来的挑战;提出云计算安全参考框架及该框架下的主要研究内容;指出云计算的普及与应用是近年来信息安全领域的重大挑战与发展契机,将引发信息安全领域又一次重要的技术变革.

    • 互联网域间路由可扩展性

      2011, 22(1):84-100. DOI: 10.3724/SP.J.1001.2011.03935

      摘要 (8456) HTML (0) PDF 840.81 K (8297) 评论 (0) 收藏

      摘要:互联网域间路由可扩展性问题是下一代互联网体系结构设计必须首先解决的关键问题之一.通过引入路由信息熵的概念,深入阐述Internet 路由可扩展性问题的内在本质,并基于这一理论模型,分别从3 个方面归纳解决路由可扩展性问题的3 种可行思路.重点讨论了这3 种思路应用于互联网路由系统的出发点和局限性.并就典型的具体提案从体系结构的角度进行了分析评价.最后总结路由可扩展性问题的挑战性,并展望了未来可扩展路由的研究发展方向.

    • 无线网络协作MAC 机制

      2011, 22(1):101-114. DOI: 10.3724/SP.J.1001.2011.03936

      摘要 (10409) HTML (0) PDF 787.24 K (9024) 评论 (0) 收藏

      摘要:协作通信利用空闲节点的天线,构成虚拟的MIMO(multiple-input multiple-output)系统,从而对抗无线信道衰落,获取分集增益.协作通信是下一代无线移动网络的关键技术,也是近几年的一个研究热点.目前,已有的研究成果大多集中在如何根据信道状态选取合适的协作节点,以增加信道容量、减低能量消耗及减小中断概率等方面.但由于协作通信改变了以往的传统通信模式,因此需要设计新的MAC(medium access control)机制(协作MAC 机制),以适应协作通信的特点.针对协作MAC机制进行综述,重点讨论了协作通信中MAC机制面临的问题,并对现有的协作MAC 机制进行分析和比较,最后给出协作MAC 的进一步的研究方向.

    • Internet 流量模型分析与评述

      2011, 22(1):115-131. DOI: 10.3724/SP.J.1001.2011.03950

      摘要 (13012) HTML (0) PDF 845.91 K (25760) 评论 (0) 收藏

      摘要:Internet 流量模型对网络性能管理、QoS、准入控制等都有很重要的意义和作用.首先总结了现阶段已发现的主要网络流量的特性及相关度量参数,概要地介绍网络流量建模的意义和分类,然后按照“传统-自相似-流量建模的新发展”这3 个阶段阐述网络流量建模的发展历程与最新的研究成果,最后针对目前网络流量建模中存在的难点问题,展望了该领域未来的研究发展方向.

    • 网络程序设计中的并发复杂性

      2011, 22(1):132-148. DOI: 10.3724/SP.J.1001.2011.03899

      摘要 (9192) HTML (0) PDF 852.82 K (14885) 评论 (0) 收藏

      摘要:互联网已成为现代社会的重要信息基础设施,然而网络环境的并发性使得传统程序设计方法在开发高质量的网络程序时遇到了许多困难,严重影响了开发效率.并发问题对网络程序开发复杂度的影响可以类比多核处理器带来的“软件并发危机”,然而其中的并发问题却远远没有得到应有的重视.网络并发问题目前并不存在普适的应对方法,甚至在不同方法之间存在明显的争论.简要介绍了各种基本的并发模型及其常见的实现方法,并在此基础上着重分析了现有方法的内在复杂性,对比各种方法的优势与劣势,最后展望可能的研究和发展方向.

    • 一组提高存储效率的深度包检测算法

      2011, 22(1):149-163. DOI: 10.3724/SP.J.1001.2011.03724

      摘要 (5863) HTML (0) PDF 1.17 M (6716) 评论 (0) 收藏

      摘要:随着深度包检测规则数目的剧烈增长, 为了适应网络处理的需求, 必须对表示正则表达式的DFA(deterministic finite automata,确定的有限自动机)进行高效的存储.一方面,对DFA 的状态点数目进行压缩,提出了一种复合的FSM(有限自动机)的构造方法,通过对正则表达转化成DFA 的状态点数目复杂度的分析,将不同复杂度的正则表达式采用不同的方式构建DFA,使得所有平方级和指数级复杂度的状态点数目降低到了线性级.另一方面,对DFA 的状态转移数目进行压缩,给出了一种高效的压缩算法,即WD2FA(weighted delayed input DFA,带权延迟DFA)算法,对于任意复杂度的正则表达式都可以将状态转移数目压缩为原来的5%左右,相对于D2FA(delayed input DFA,延迟的DFA)有更好的压缩能力,并且使得D2FA 是WD2FA 在权值为0 情况下的特例.实验结果表明,有限自动机的状态点数目能够控制在线性级,并且在状态点压缩的基础上将状态转移数目压缩为原来的7%.

    • 面向分层移动IPv6 网络的动态指针推进机制

      2011, 22(1):164-176. DOI: 10.3724/SP.J.1001.2011.03743

      摘要 (5837) HTML (0) PDF 655.36 K (4919) 评论 (0) 收藏

      摘要:基于指针推进机制的分层移动IPv6 方案因未考虑移动锚点管理域的影响,导致较高的注册和报文分发开销.提出一种面向分层移动IPv6 网络的动态指针推进机制(dynamic pointer forwarding scheme for HMIPv6 networks,简称DPF-HMIPv6),移动节点可根据所选移动锚点的管理域大小,动态调整指针推进机制.若所选移动锚点的管理域大于特定阈值,则移动节点通过在接入路由器间构建指针链来避免频繁地向移动锚点注册;若所选移动锚点的管理域小于阈值,则移动节点通过在移动锚点间构建指针链来避免频繁地向家乡代理注册.数值分析和仿真实验的结果表明,该方案能够有效解决现有方案存在的问题,显著降低分层移动IPv6 网络的开销.

当期目录


文章目录

过刊浏览

年份

刊期

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