计算机科学

计算机科学. 2006, 33 (4): 1-3.

摘要 ( 77 )

PDF(221KB) ( 421 )

相关文章 | 多维度评价

无线Ad hoc网络容量是评估网络性能的重要参数，它的研究以改善网络性能为出发点，提供构建优质网络的理论依据。本文总结了无线Ad hoc网络客量的研究成果，根据方法的不同将其分为两类：一类是采用不同的方法推导网络容量的极限；另一类是采用不同的假设条件和业务类型推导网络容量的极限。在此基础上，我们对无线Ad hoc网络容量研究的发展趋势做了预测。

测试管理工具能力评估框架研究

计算机科学. 2006, 33 (4): 4-8.

摘要 ( 189 )

PDF(427KB) ( 262 )

相关文章 | 多维度评价

管理工具有助于有效利用测试资源、合理安排测试流程、系统组织测试活动。本文提出了一个评估框架，从流程管理、资产管理和实施管理三个方面评估测试管理工具的能力，每个方面都由一组特性刻画，并对目前市场上主流的工具进行了定性的分析和比较。

问题分类的计算模型研究

计算机科学. 2006, 33 (4): 9-12.

摘要 ( 63 )

PDF(262KB) ( 258 )

相关文章 | 多维度评价

问题分类是问答系统技术处理的基础与核心，它决定答案抽取的范围和方法，进而影响整个系统的性能。本文提出了一个基于贝叶斯理论的问题分类计算模型，并给出其详细算法。研究分析了问句内部结构与问题类型之间的关系，将基于疑问词的2-gram组合和问句特征项同义近义扩展应用到具体计算中。实验表明，效果较为理想。

体全息存储记录通道噪声模型的研究与设计

计算机科学. 2006, 33 (4): 13-15.

摘要 ( 84 )

PDF(268KB) ( 305 )

相关文章 | 多维度评价

体全息存储系统具有存储容量大、数据传输率快、存储时间短以及能快速进行图像或图形匹配和内容相关寻址操作的潜力，极有可能成为下一代大容量数据存储方法。但是体全息存储记录通道中复杂的噪声来源一直是妨碍体全息存储技术实用化的主要问题之一。本文将分析体全息存储通道中存在的各种噪声来源，并提出记录通道噪声的物理模型，为设计噪声的抑制方法奠定理论基础。

自组网TCP Vegas协议研究

计算机科学. 2006, 33 (4): 16-18.

摘要 ( 91 )

PDF(204KB) ( 444 )

相关文章 | 多维度评价

对自组网络内的TCP拥塞控制算法进行了仿真比较研究。主要研究了自组网环境下TCP Vegas拥塞控制算法的性能表现，并尝试对Vegas算法的拥塞避免机制进行改进。改进的主要措施是对拥塞避免阶段网络通信状况进行细致分解，并根据不同的网络状况采取相应的措施；进而提出了Vegas1和Vegas2两种改进方案。与Reno、SACK、Vegas等算法的仿真对比结果表明，无论在TCP吞吐量方面，还是在TCP段的传送效率方面，改进后的Vegas2算法都优于其他算法。

IP／DWDM光Internet中一种演化-单纯形QoS组播路由算法

计算机科学. 2006, 33 (4): 19-21.

摘要 ( 72 )

PDF(228KB) ( 271 )

相关文章 | 多维度评价

本文设计了一种IP／DWDM光Internet中的QoS组播路由算法。在给定用户请求的情况下，基于演化一单纯形算法构造带宽、延迟、延迟抖动与出错率受限且费用优化的QoS组播路由树，兼顾网络负载均衡。仿真结果表明，该算法是可行和有效的，明显优于基于传统遗传算法的QoS组播路由算法。

NGI中一种混合智能QoS组播路由算法

计算机科学. 2006, 33 (4): 22-25.

摘要 ( 86 )

PDF(271KB) ( 271 )

相关文章 | 多维度评价

针对满足多个约束条件的服务质量（Quality of Service，QoS）组播路由的特点，提出了一种下一代互联网（Nem Generation Internet，NGI）中基于粒子群优化（Particle Swarm Optimization，PSO）和遗传算法（Genetic Algorithm，GA）的混合智能QoS组播路由算法。给出了QoS组播路由问题模型及其数学描述，结合PSO的快速搜索和GA的全局寻优能力，解决了多约束QoS组播路由问题，并在多个实际的和虚拟的网络拓扑上进行了仿真实现与性能评

光突发交换网络中多等级业务的非等概率输出问题的研究

侯睿孙军强丁攀峰

计算机科学. 2006, 33 (4): 26-28.

摘要 ( 76 )

PDF(205KB) ( 295 )

相关文章 | 多维度评价

在光突发交换网络的核心路由器中，多等级业务会由于选择路由的不同而采用不同的概率选择输出端口进行输出。本文首先指出了以前基于单业务等概率输出研究的不足，然后对这种多业务非等概率输出问题进行了研究，并且给出了计算机数值模拟分析过程和结果，对于以后实际光突发交换网络的设计有一定的理论指导意义。

IPv6骨干网络的拓扑发现

宫晨郎昕培陈英沈曾伟

计算机科学. 2006, 33 (4): 29-31.

摘要 ( 95 )

PDF(233KB) ( 424 )

相关文章 | 多维度评价

随着IPv6网络的不断发展，并进入大规模部署阶段，获取IPv6互联网络的拓扑结构成为一项具有挑战性的研究内容。尽管对于IPv4骨干网络拓扑发现存在一些方法，但由于IPv6在协议上的变化，使得这些方法并不完全适用，而IPv6的新特性也使得某些未曾使用的方法成为可能。本文阐述了IPv6网络环境下一系列拓扑发现方法和技术实现，包括骨干网络拓扑发现算法、IPv6地理拓扑信息的获取方法，并提出了根据IPv6网络隧道技术的分布式拓扑发现新方法，并在此基础上对使用该方法获取的IPv6骨干网络拓扑数据进行了分析和总结。

Internet高性能组播路由算法研究

计算机科学. 2006, 33 (4): 32-35.

摘要 ( 278 )

PDF(298KB) ( 284 )

相关文章 | 多维度评价

为了进一步适应Internet网络多媒体业务应用，高性能Internet组播路由算法已成为国内外网络研究熟点和难点问题之一。分析了组播路由问题的定义和分类；论述了现有的IP层组播路由算法，主要包括五种类型：最多路径树算法、最小生成树算法、Steiner树算法、单约束的Steiner树算法和多约束的Steiner树算法；并对它们进行比较和评价。最后提出了高性能Internet组播路由算法具有的特点和进一步的研究方向。

无线传感器网络的定位机制

王海东孙利民

计算机科学. 2006, 33 (4): 36-38.

摘要 ( 100 )

PDF(290KB) ( 343 )

相关文章 | 多维度评价

传感器网络是由大量低廉的微型多功能传感器节点组成的无线网络，能够广泛应用在环境、军事、生态等领域进行事件监测。位王数据是监测事件不可缺少的信息。为了准确地确定事件发生的位置，传感器节点必须首先确定自身的位置。定位机制是无线传感器网络的基本机制。本文在将定位技术分为基于距离定位和距离无关定位两种类型的基础上，详细介绍和分析了近期提出的典型传感器网络定位机制。

无线传感器网络的容量研究综述

计算机科学. 2006, 33 (4): 39-41.

摘要 ( 97 )

PDF(352KB) ( 342 )

相关文章 | 多维度评价

集成了传感器、微机电系统和无线通信三大技术而形成的无线传感器网络是一种全新的信息获取和处理技术。本文介绍了有关无线传感器网络的容量研究的理论基础和研究现状，从网络模型、基本理论和主要结论等几个方面重点分析和比较了几种当前的研究思路，并主要阐述了有关多用户分集技术、中继网络和多天线波束成形技术在求解无线传感器网络的容量方面的应用。最后指明了将来的工作。

一种动态哈希树网络流量跟踪算法

汪文勇黄鹂声

计算机科学. 2006, 33 (4): 42-44.

摘要 ( 90 )

PDF(193KB) ( 363 )

相关文章 | 多维度评价

本文提出一种基于动态哈希树的流量跟踪算法DHT（Dynamic Hash Tree）。该算法利用网络会话的长时稳定性，动态搭建一个由多哈希表组成的树，以提高实际网络环境中会话识别和流量跟踪的速度。试验结果表明该算法的效率明显优于目前流行的哈希链表算法，能够满足骨干网络的实时监测要求。

基于决定性能量比例的多径传输技术

袁林锋杜旭杨宗凯

计算机科学. 2006, 33 (4): 45-49.

摘要 ( 78 )

PDF(321KB) ( 270 )

相关文章 | 多维度评价

多径传输有两种模式：一种是主／备模式，只有在主路径失效之后，其它路径才可以传输数据；另一种是复制模式，数据同时从所有的路径传输。在传感器网络中，这两种模式都没有很好地结合能量节约和负载均衡。本文提出了一种传感器网络中能量敏感负载均衡的多径传榆策略，数据基于决定性能量比例（DER）从源到目标沿着多径传输。这种技术不必定期计算DER，容易实现而且开销较小。本文还提出带有过载避免机制的DER技术（DEROA），用束减少某些关键节点的过多通信量。仿真结果证明，DER可以达到有效传输的目的。

混合无线网络容量及延迟性能的研究

戴沁芸胡修林张蕴玉

计算机科学. 2006, 33 (4): 50-54.

摘要 ( 92 )

PDF(363KB) ( 265 )

相关文章 | 多维度评价

混合无线网络是在Ad hoc网络中添加基站的新型网络模型，其容量是评估网络性能的重要参数。本文研究了混合无线网络的容量问题。首先建立了谊网络的网络模型，在考虑延迟时间的基础上提出一种新的路由策略，一定程度地保证了数据传输的实时性。在此基础上运用图论中数学计算的方法推导了混合无线网络容量数学期望的分析表达式，这是本文的重要结论，对于未来混合无线网络的设计与分析都具有指导意义。

分布式高性能路由器邻居发现协议实现研究

窦睿彧魏进武兰巨龙

计算机科学. 2006, 33 (4): 55-57.

摘要 ( 70 )

PDF(258KB) ( 371 )

相关文章 | 多维度评价

邻居发现（ND）协议是网络设备必须支持的协议之一。基于Linux操作系统，本文提出了适合于具有分布式结构的T比特级高性能路由器的一种ND协议实现方案，该方案利用Linux内核提供的netlink机制，分别给出了T比特路由器中先应式地址解析以及主机路由的实现方法，测试结果表明，该方案使得T比特路由器控制平面能够高效可靠地完成邻居发现功能。

温和一致性代理复制机制MCARM

吴劲卢显良任立勇侯孟书

计算机科学. 2006, 33 (4): 58-61.

摘要 ( 96 )

PDF(400KB) ( 279 )

相关文章 | 多维度评价

提出了一种新的复制机制：温和一致性代理复制机制（MCARM）。MCARM采用了主节点的复制管理器与辅助节点的MSS-Agent协调工作的架构，吸取严格一致性协议和弱一致性协议的优势，又避开其局限性和复杂性，更好地适应移动计算环境的要求，并能与缓存失效策略CISBMA协同工作，较好满足了移动应用的需求。

一个基于OGSA规范的网格计算过程表示模型

计算机科学. 2006, 33 (4): 62-67.

摘要 ( 77 )

PDF(388KB) ( 268 )

相关文章 | 多维度评价

提出一个基于网格服务树的网格计算过程的表示模型。对网格服务、网格计算过程、网格服务树、网格给出了形式化的定义，描述了一个网格计算过程表示模型，并给出了实现的机制和算法，最后给出利用Webservice技术的模拟试验的方法。分析和实验结果表明，该模型有效地表示了基于WAN或Internet的网格计算过程，符合OGSA规范。该模型适合网格系统的构建、监测以厦基于Webservice机制的Internet的QoS管理等应用领域。

用P2P技术改进网格信息服务

黄竞伟范清风吴琼莉何炎祥

计算机科学. 2006, 33 (4): 68-70.

摘要 ( 99 )

PDF(292KB) ( 270 )

相关文章 | 多维度评价

本文根据网格资源信息的特点阐述了由高度分布式的信息提供者和集合目录组成的网格信息服务基本框架。并分析了它的基础LDAP（Lightweight Directory Access Protocol）协议，指出LDAP目录本质是一种分布式的数据库。由于网格信息系统中LDAP目录信息树的动态刷新与复制的频繁发生，我们已提出用环形扩展和线形扩展策略来大幅度提高系统效率；在此基础上，本文进一步提出了文件分块复制法的思想把LDAP数据库文件分成若干块，在多个LDAP服务器端点间并行复制，最后实践证明，它大幅度提高了以

关于构造一种易于访问和安全管理网格的研究

姜正涛衣鹏超王育民

计算机科学. 2006, 33 (4): 71-74.

摘要 ( 85 )

PDF(292KB) ( 266 )

相关文章 | 多维度评价

灵活有效地使用计算资源，是网格期望达到的一个重要目标，现有的对于网格方面的讨论主要集中于各个相互独立个体之间的资源共享。本文从多个相对独立的团体资源共享方面考虑，探讨了关于如何构造可灵活扩展的树型逻辑网格的一种方法。这种形式的网格易于搭建，方便资源的查询、访问和权限动态管理，同时能够和目前通用的分布式PKI技术很好地结合，有利于实现全局安全策略向局部的映射。

基于本体的网格资源匹配算法研究

卢国明顾小丰孙世新李建平

计算机科学. 2006, 33 (4): 75-79.

摘要 ( 75 )

PDF(406KB) ( 276 )

相关文章 | 多维度评价

由于网格动态异构等特点，传统的基于资源属性的精确匹配方法不够灵活，并且扩展性差。近年采，本体论引入到网格计算中，试图在语义层次上采用通用可扩展的信息系统建模工具，使得网格资源分配系统能够高效和精确地检索网格资源信息。通常采用的技术是建立和维护一个集中和一致的网格资源本体。这种集中的本体不适合具有分布式特性的P2P网格资源匹配。针对P2P网格，本文提出了一种基于分布式网格本体的P2P网格资源匹配模型。在该模型中，全局本体由各个节点的独立的本地网格资源本体构成。网格资源匹配操作完全分布式地由节点自主控制。这种

基于动态关键路径的仿真网格资源调度算法

王振明都志辉

计算机科学. 2006, 33 (4): 80-84.

摘要 ( 87 )

PDF(373KB) ( 407 )

相关文章 | 多维度评价

从仿真系统工作流的关键路径分析，确定关键路径上的联邦成员节点，使网格资源调度方面优先获得保证。簦于仿真网格系统运行的复杂性和不确定性，引入了随机规划理论，提出了仿真网格的动态关键路径概念以及基于动态关键路径的资源调度算法，共同解决当资源有限以及任务相关情况下仿真网格的资源调度问题。具体实现，主要使用遗传算法以及MCP算法。仿真实验结果表明，基于动态关键路径的资源调度算法能够优化仿真网格资源的调度。

网络计划在软件项目进度管理中的应用

黄斐

计算机科学. 2006, 33 (4): 85-87.

摘要 ( 243 )

PDF(218KB) ( 339 )

相关文章 | 多维度评价

本文论述了网络计划的基本原理，描述了软件项目进度管理的实现过程，介绍了小型网站规划项目各任务时间参数的计算方法。根据确定型网络图原理，给出了MS Project进度计划控制的具体步骤。

基于AES算法的移动IPv6绑定更新信息处理效率分析

李峰冯永周尚波

计算机科学. 2006, 33 (4): 88-89.

摘要 ( 92 )

PDF(226KB) ( 291 )

相关文章 | 多维度评价

移动IPv6中移动节点向家乡代理和通讯对端告知自己当前位置而传榆的信息是通过绑定更新（Binding Update）采进行的，绑定更新的过程通过移动节点的注册来完成。家乡代理处理绑定更新信息的性能和效率对尽快定位移动节点的位置是一个比较关键的问题，尤其是在移动节点数量多、移动频繁及考虑信息加密的情况下，问题显得更为突出。IPv6在这方面还需要做进一步的研究和改进。本文提出了移动IPv6中绑定更新信息数量统计的数学模型，并在该数学模型的基础上，首次提出将AES算法应用于该类信息的处理，并与其它处理方法做了比

基于域密匙认证的反垃圾邮件技术

赵毅

计算机科学. 2006, 33 (4): 90-91.

摘要 ( 77 )

PDF(225KB) ( 350 )

相关文章 | 多维度评价

垃圾邮件的泛滥已经严重影响邮件的正常使用，由Yahoo和Cisco公司提出的DKIM反垃圾邮件技术，已经提交IETF，有望成为行业标准，能较好地解决垃圾邮件问题。文章分析了目前常用的反垃圾邮件技术，详细剖析DKIM的工作原理，并给出在Sendmail邮件服务系统中应用DKIM的实例。

面向Web服务的基于属性的访问控制研究

沈海波洪帆

计算机科学. 2006, 33 (4): 92-96.

摘要 ( 247 )

PDF(353KB) ( 367 )

相关文章 | 多维度评价

Web服务是一种新的面向服务的计算模式，由于其异构性、多域性和高度动态性，它提出了独特的安全挑战。一个关键的安全挑战就是要设计有效的访问控制机制。但目前存在的访问控制机制大多是基于身份的，存在严重的管理规模和控制粒度问题。本文提出利用基于属性的访问控制（Attribute-Based Access Control，ABAC）机制来处理Web服务的访问控制问题。ABAC采用相关实体的属性进行授权决策，能解决管理规模问题，并提供细粒度的控制。另外，文中对ABAC进行了建模，讨论了其应用，最后还给出了一种实施框

基于Apache的低交互蜜罐设计与实现

计算机科学. 2006, 33 (4): 97-102.

摘要 ( 94 )

PDF(471KB) ( 376 )

相关文章 | 多维度评价

蜜罐是一种新型的网络防御工具，其伪装的逼真程度和欺骗的成功率一直是设计的难点。很多蜜罐通过脚本来模拟网络服务，使用静态欺骗来保护网络，很容易暴露。本文设计并实现了一种基于Apache的低交互蜜罐——Honeyweb，具有http协议检测、动态欺骗、与其他网络安全设备联动以及日志等功能，能根据不同的http请求作出动态欺骗响应。实验表明，部署它能在很大程度上影响黑客的判断力，消耗攻击资源，甚至阻止攻击．从而实现主动防御、保护Web服务器免受攻击的目的。

MADIDS：基于移动代理的分布式入侵检测

陈波罗光春卢显良

计算机科学. 2006, 33 (4): 103-105.

摘要 ( 120 )

PDF(281KB) ( 302 )

相关文章 | 多维度评价

传统的IDS在WAN上配置时，通常会出现计算瓶颈和维护更新不易等问题。本文提出了一种基于移动代理的新型分布式入侵检测系统（Mobile Agent Distributed IDS）。MADIDS是针对WAN环境专门设计的，数据的处理通过各节点所设置的代理来进行分布式计算，不仅能实现全网络范围内的入侵检测功能，具有良好的可移植性；而且对网络系统和主机的资源占用较低，减少出现网络瓶颈的可能。文中建立了MADIDS的体系结构和理论分析模型，并讨论了MADIDS的维护更新机制。

构造基于Logistic映射的Hash函数

计算机科学. 2006, 33 (4): 106-107.

摘要 ( 104 )

PDF(138KB) ( 340 )

相关文章 | 多维度评价

单向Hash函数是实现有效、安全可靠数字签名和认证的重要工具，是安全认证协议的重要模块。本文针对文[5]中基于混沌映射的Hash算法的一些缺陷，提出了一种解决方案和算法，并对该算法进行了仿真实验，还进行了混乱与散布性质统计分析，验证了本文所提出的算法的有效性。

一种安全椭圆曲线的有效构造方法

吴开贵吴中福

计算机科学. 2006, 33 (4): 108-110.

摘要 ( 84 )

PDF(198KB) ( 316 )

相关文章 | 多维度评价

椭圆曲线密码系统是公钥基础设施中的一种非常有效的技术，但是产生相应的椭圆曲线是很困难的。本文提出了一种在已知有限数域上产生一类安全椭圆曲线的算法。当素数p=6k＋1（k∈Z,Z为自然数）时，该素数可表示成W^2＋4V^2（W,V∈Z）的形式。基于该结论，证明了有限域Fp上的j不变为1728的椭圆曲线y^2=x^3＋1的阶#E（Fp）为p＋1±2W（当W=4L＋，L∈Z，#E（Fp）=p＋1-2w；当W=4L-1，LEZ，#E（Fp）=p＋1＋2W），并提出了一种构造安全椭圆曲线的算法，分析了算法的有效性。

具有多峰正态分布属性的视频语义分类研究

计算机科学. 2006, 33 (4): 111-114.

摘要 ( 98 )

PDF(293KB) ( 678 )

相关文章 | 多维度评价

视频语义分类中常遇到多峰正态分布属性，如采用单峰值正态分布设计的贝叶斯分类模型会造成较大分类误差。本文采用定步长组合划分算（FLCPA）对多峰分布属性值域按类进行划分，以留一校验法（LOOCV）估算分类错误，找出给定步长下属性的多峰分布边界点，并用监督参数估计推断出每个分段区间上的概率分布函数，从而得到整个值域上的总体分布。此外，文中给出了涉及多峰分布属性的视频语义分类器设计步骤。实验数据表明，该方法能明显降低分类错误，有效提高分类性能。

AWGN信道下Turbo码误比特率模型

冯镔刘文予朱光喜马展

计算机科学. 2006, 33 (4): 114-117.

摘要 ( 93 )

PDF(308KB) ( 755 )

相关文章 | 多维度评价

本文研究信道编解码及信道特征对误比特率性能的影响。在实验基础上，通过曲线拟舍等数学工具，得到加性高斯白噪声信道条件下，信道编码采用Turbo码、通信系统端到端的误比特率经验模型。通过该模型，可以在发送端预测出在一定信道条件及系统参数设置下接收端的误比特率。实验表明，该模型具有极高的精度，平均误差在3％左右。该模型可以应用在信源信道联合编码及端到端的率失真优化中。

支持Internet实时多媒体应用的Overlay技术研究

计算机科学. 2006, 33 (4): 118-121.

摘要 ( 82 )

PDF(450KB) ( 273 )

相关文章 | 多维度评价

目前出现的大规模（large-scale）的多媒体应用对Internet提出了新的挑战。传统的IP组播（IP multicast，IPM）由于实现技术的复杂性，很难在Internet上推广。相反，基于叠加网络（overlay network，ON）的解决方案则受到各方面的关注。本文针对大规模实时多媒体应用需求，通过建立评价参数模型对ON协议进行研究。尤其时overlay组播（overlay multicast，OM）的QoS控制、可靠性以及可伸缩性机制进行了分析。与IPM相比，OM虽然有性能代价（perf

双容错数据布局算法DP—RAID扩展研究

刘卫平蔡皖东任建奇

计算机科学. 2006, 33 (4): 122-125.

摘要 ( 83 )

PDF(276KB) ( 289 )

相关文章 | 多维度评价

基于单容错编码的数据布局已经不能满足存储系统对可靠性越来越高的要求。对基于多容错编码的数据布局的研究受到了广泛的关注，并且出现了一些多容错的布局算法，如多维Parity，DH1，DH2等。但这些布局算法普遍存在冗余度较差、计算负载大等缺点。DP-RAID是一种基于水平方向和对角方向双重奇偶校验的双容错数据布局算法。该布局计算负载小，实现简单，但该布局要求校验条纹长度为素数。本文对DP-RAID进行扩展，使其能够应用于校验条纹长度为素数减一的环境。与其他双容错布局算法比较表明，该布局算法在保证同样可靠性的情

基于Web挖掘的自适应站点优化设计

戴东波印鉴

计算机科学. 2006, 33 (4): 126-129.

摘要 ( 96 )

PDF(338KB) ( 255 )

相关文章 | 多维度评价

现有的静态Web站点结构不能满足人们准确地找到所需信息和享用个性化服务的要求。本文不但通过Web日志文件的挖掘，找出用户的频繁访问路径来改进Web站点结构，而且分析当前访问页面与后续候选推荐页面的内容相关性，形成经过内容裁剪的个性化页面来压缩Web页面内容。这样，用户可快速定位到频繁访问的后续页面位置，且页面内容大多是用户感兴趣的主题信息。在此基础上，提出了一个自适应站点模型AdaptiveSite，经过推荐质量分析，该模型具有较好的优化性能。

一种工作流中的服务选择算法

计算机科学. 2006, 33 (4): 130-133.

摘要 ( 64 )

PDF(436KB) ( 229 )

相关文章 | 多维度评价

与其他服务发现相比，工作流中的服务选择有着自身的特点。在目前情况下，大多数的服务选择只是从对服务本身需求的角度来考虑，并未涉及到多个服务之间的关联约束和协调性问题。而在工作流中，这些问题同样是影响服务选择的主要因素。本文提出一种服务选择算法，在该算法中，利用规则从多个方面来反映服务之间的约束关系并指导服务选择的方式，进一步对每个候选服务与相关联服务之间的兼容性进行了比较，最后得到一个同时满足自身和流程需求的服务。

基于WF—net的工作流建模技术及应用

宋贤钧王炳鹏郭佳

计算机科学. 2006, 33 (4): 134-136.

摘要 ( 78 )

PDF(190KB) ( 339 )

相关文章 | 多维度评价

工作流系统成功的关键在于向其输入的工作流的质量，因此工作流的建模就显得非常重要。工作流网（WF—net）是由Petri网发展起来的一种适用于多种系统的图形化、数学化建模工具。首先它有精确的定义，其次这种形式化体系可以用来反思过程，所以它是一种严格的过程形式化体系。讨论WF-net的建模技术，并以办公自动化系统中收文为例说明其应用，并分析其在众多的建模工具中所具有的优势。

面向海量数据的数据一致性研究

计算机科学. 2006, 33 (4): 137-140.

摘要 ( 119 )

PDF(414KB) ( 286 )

相关文章 | 多维度评价

复制是实现海量数据管理的关键技术之一，多副本之间的数据一致性维护是提高分布式系统的容错能力与性能的重要保证。强一致性确保并发的修改操作不会发生冲突，但是限制了系统的可用性、连通性以及副本数量；弱一致性确保副本的最终一致，提高了系统的容错能力。本文从已有的一致性维护方法出发，结合海量数据的特点，对一致性维护过程中所涉及的更新发布、更新传播方式、更新传播内容以及更新冲突解决等几个方面进行了分析，提出了相应的解决方法。

关于三值逻辑程序中否定和蕴涵完备化程序的不动点语义

计算机科学. 2006, 33 (4): 141-142.

摘要 ( 75 )

PDF(221KB) ( 256 )

相关文章 | 多维度评价

逻辑程序具有丰富的表达能力和非确定性等特点，在定理机器证明、关系数据库系统、程序验证、模块化程序设计和非单调推理等方面都有了广泛的应用。本文是继续文[8]的工作。首先通过两个反例，指出了文[7]中关于否定完备化程序Comp（→，Pr）和蕴涵完备化程序Comp（→，Pr）的两个重要定理都存在一定程度的错误。然后对这两个定理进行了修改，用后继算予Tpt和Fitting算予FPr的不动点语义，分别给出了否定完备化程序（Somp（→，Pr）和蕴涵完备化程序Comp（→，Pr）的Herbrand模型的充分条件和必要

智能机器人体系结构可分解性理论研究

刘海波顾国昌沈晶

计算机科学. 2006, 33 (4): 143-144.

摘要 ( 85 )

PDF(242KB) ( 265 )

相关文章 | 多维度评价

以往的智能机器人体系结构研究工作，都是根据需求并凭借经验直接进行功能模块的划分及其相互关系的确定，随着机器人系统及其模块间耦合关系的日益复杂，体系结构的可分解性这一基础理论问题日渐突出，但是一直没有得到深入研究。本文提出并采用微分流形理论证明智能机器人体系结构可分解性定理。该定理为智能机器人复杂体系结构模型的层次化、模块化实现奠定了理论基础。

基于聚类的大样本支持向量机研究

计算机科学. 2006, 33 (4): 145-147.

摘要 ( 74 )

PDF(220KB) ( 257 )

相关文章 | 多维度评价

针对大样本支持向量机内存开销大、训练速度慢的缺点，本文提出了基于聚类支持向量机，运用k-mean对样本聚类，压缩样本量，构造初始超平面，筛选出靠近超平面的支持粪和可能支持向量，重新构造决策超平面。实验表明，在保持泛化精度基本一致前提下，改进算法的训练速度明显提高。

一种基于模糊聚类的模糊本体生成方法

计算机科学. 2006, 33 (4): 148-150.

摘要 ( 85 )

PDF(211KB) ( 320 )

相关文章 | 多维度评价

本文研究了一种从模糊背景生成模糊本体的方法。模糊本体由以下几部分组成，分别是：模糊形式概念分析、模糊概念聚类及模糊本体生成。首先，模糊形式概念分析将模糊逻辑嵌入形式概念分析以构成模糊概念格。其次，模糊概念聚类从模糊概念格构造概念层次。最后，模糊本体生成部分从概念层次生成模糊本体。

对代数观Rough集理论的信息观解释

计算机科学. 2006, 33 (4): 151-154.

摘要 ( 65 )

PDF(252KB) ( 240 )

相关文章 | 多维度评价

Rough集理论的代数观点和信息论观点在不相客容决策表中的不等价性导致了这两种观点得出的结论不一致。我们研究了使这两种观点等价的条件，定义一种新的决策表信息熵计算方法，在此方法的基础上给出了Routh集理论代数观的一种新的信息观解释，并证明了这种新的信息观与代数观是等价的。新的信息观定义为寻找高效的知识约简算法奠定了基础。

基于简化的二进制差别矩阵的快速属性约简算法

计算机科学. 2006, 33 (4): 155-158.

摘要 ( 70 )

PDF(278KB) ( 280 )

相关文章 | 多维度评价

目前，基于二进制差别矩阵的属性约简算法有如下不足：算法的时间和空间复杂度不理想；所得到的属性约简与由基于正区域的属性约简的定义得到的属性约简不一致。本文给出一个简化的二进制差别矩阵和相应的属性约简的定义，证明了该定义与基于正区域的属性约简的定义是一致的。由于在简化的二进制的差别矩阵中，要先求出IND（C），故设计了一个较好的求IND（C）的算法，其复杂度被降低为O（｜U‖U｜）。在此基础上设计了一个快速属性约简算法，其时间复杂度和空间复杂度分别被降为max{O（｜C｜^2（｜U＇pos‖U/C｜））,O（

一种可并行的贝叶斯集合在线学习算法

古平朱庆生

计算机科学. 2006, 33 (4): 159-161.

摘要 ( 79 )

PDF(214KB) ( 274 )

相关文章 | 多维度评价

无论是Boosting还是Bagging算法，在使用连续样本集进行分类器集合学习时，均需缓存大量数据，这对大容量样本集的应用不可行。本文提出一种基于贝叶斯集合的在线学习算法BEPOL，在保持Boosting算法加权采样思想的前提下，只需对样本集进行一次扫描，就可实现对贝叶斯集合的在线更新学习。算法针对串行训练时间长、成员相关性差的缺点，采用了并行学习的思想，通过将各贝叶斯分量映射到并行计算结构上，提高集合学习的效率。通过UCI数据集的实验表明，算法BEPOL具有与批量学习算法相近的分类性能和更小的时间开销

基于语言模型的联语应对研究

易勇何中市李良炎周剑勇瞿义玻张红兵

计算机科学. 2006, 33 (4): 162-163.

摘要 ( 91 )

PDF(211KB) ( 326 )

相关文章 | 多维度评价

基于机器学习方法和对联语料库，依据n-元统计语言模型和隐马尔科夫模型，本文提出了联语应对的理论计算模型，并在以上方法和对联语料库的基础上，构造了计算机联语应对实验系统，取得了比较满意的结果。

一种改进的基于时域参数的语音切分算法

计算机科学. 2006, 33 (4): 164-167.

摘要 ( 88 )

PDF(312KB) ( 275 )

相关文章 | 多维度评价

本文探讨了基于时域的语音切分算法，在前人研究的基础上，提出一种改进算法——自适应、前后搜索和检测短时脉冲噪音算法。该算法主要利用语音信号的短时参数，采用统计的方法定出切分所需要的阈值，根据背景音和静音过零率的不同，进一步搜索符合要求的静音帧，同时滤去短时脉冲噪音。实验证明，该算法准确率很高，有很好的鲁棒性，允许误差在60ms的范围内，对于原始语音切分错误率为5．04％；在信噪比（SNR）大于等于2dB的情况下。对带噪语音的切分错误率为10％～20％。

语音识别前端鲁棒性问题综述

计算机科学. 2006, 33 (4): 168-173.

摘要 ( 83 )

PDF(501KB) ( 551 )

相关文章 | 多维度评价

随着手持设备的日益小型化以及一些特殊场合的限制，使用语音识别这种自然的人机接口技术愈发显得迫切。基于HMM架构的语音识别技术经过几十年的发展，在实验室环境下已经取得了很高的识别率。当前已经取得的技术要想走向实用化，所面临的最大障碍来自于语音识别前端的鲁棒性问题。本文对语音识别的前端鲁棒性问题做了比较深入细致的分析，并在此基础上比较全面地介绍了解决这些棘手问题所采取的一些措施。文章最后对语音识别前端鲁棒性问题给出了一定的讨论和展望。

事实库、规则库的一体化全文索引算法

计算机科学. 2006, 33 (4): 174-176.

摘要 ( 81 )

PDF(172KB) ( 248 )

相关文章 | 多维度评价

在模式推理的计算过程中，为了快速、高效地检索到所需要的事实、规则，必须对事实库、规则库统一进行有效的组织。面对这个课题，传统的倒排索引方法已经无能为力。为此，本文给出一种新的算法，它能够对事实库、规则库统一建立一体化全文索引。在本算法的基础上，从汉语处理的实际情况出发，本文提出一种改进的算法，进一步提高了算法的效率。实验结果进一步表明，通过本算法建立的全文索引，能够快速检索到模式推理所需要的事实、规则，为模式推理工作的进行，打下了良好的基础。文章最后介绍了本算法在中文问答系统中的具体应用。

新闻事件分析系统IEventMiner的设计

雷震吴玲达王辰贺玲

计算机科学. 2006, 33 (4): 177-180.

摘要 ( 116 )

PDF(353KB) ( 339 )

相关文章 | 多维度评价

本文介绍了基于事件的新闻报道信息组织系统IEvent Miner的设计思想和实现方法，该系统不但可以对新闻报道中的事件进行探测和追踪，还可以进行事件相关故事单元（RSU）的检索与分类。对IEvent Miner系统的设计思路以及各功能模块进行了详细的说明，并给出了原型系统。与相关研究工作相比，该系统不但具有更好的可扩充性，而且更加稳定。

Web信息检索的技术分析与发展策略研究

李振龙

计算机科学. 2006, 33 (4): 181-184.

摘要 ( 83 )

PDF(373KB) ( 277 )

相关文章 | 多维度评价

随着Web的不断发展，对高速而有效的信息检索系统需求日渐迫切。本文对信息检索的核心技术——搜索引擎进行了分析，找出其表现不佳的原因。在综合考虑当前的搜索引擎发展趋势的基础上，提出了基于语义的Web社区的发展策略。

基于Web社会网络的个性化Web信息推荐模型

陈君唐雁

计算机科学. 2006, 33 (4): 185-187.

摘要 ( 76 )

PDF(298KB) ( 238 )

相关文章 | 多维度评价

随着Web信息量的快速增长，个性化的Web信息推荐系统扮演着越来越重要的角色。目前，大多数Web信息推荐系统存在着个性化程度不高，时用户历史数据依赖性高，系统不具备开放性，用户偏好“走样”概率高的问题。针对这四个方面的问题，本文提出了一种新的、采用语义web技术、基于Web社会网络的个性化Web信息推荐模型，详细分析了用户偏好的获取，Web社会网络的生成以及待过滤Web信息的采集。并且，利用从实际中采集的真实数据进行了实验，证明了模型的可行性和有效性。

一种基于矩阵的关联规则挖掘新算法

丁艳辉王洪国高明谷建军

计算机科学. 2006, 33 (4): 188-189.

摘要 ( 89 )

PDF(209KB) ( 341 )

相关文章 | 多维度评价

本文针时大型交易事务数据库数据间发现关联规则问题，提出了一个新的关联规则挖掘算法，BOM（Base ON matrix算法。该算法不同于经典的Apriori算法，对于大型交易事务数据库，具有较Apriori算法更加优越的性能。

基于Agent的ITS共用信息平台的研究与实现

计算机科学. 2006, 33 (4): 190-193.

摘要 ( 67 )

PDF(289KB) ( 246 )

相关文章 | 多维度评价

智能交通系统ITS（Intelligent Transport System）是支撑变通信息化的重要技术手段，在世界范围内得到了广泛的研究，是目前交通领域的研究热点。Agent所具有的自治性、社会性、反应性使之适合于建立具有自治性、分布性、异构性和集成性的ITS系统。本文首先从技术层面分析了Agent技术实现ITS系统的技术优势，然后提出了一个基于Agent的ITS公用信息平台模型AITSM。我们基于AITSM实现了某大型ITS系统，实际应用结果表明本文提出的AITSM是有效的。

一种基于ICA和LDA组合的人脸识别新方法

计算机科学. 2006, 33 (4): 194-197.

摘要 ( 68 )

PDF(257KB) ( 256 )

相关文章 | 多维度评价

特征提取是模式识别研究领域的一个热点。本文提出了一种基于独立成分分析和线性鉴别分析的特征提取方法。该方法中引入了零空间的概念，指出了前人算法中的不足之处，并且给出了一个完整的独立成分分析和线性鉴别分析的组合算法。在ORL和Yale人脸数据库上的实验表明了该方法的有效性。

一种任意三维实体网格模型的体积特征提取算法

计算机科学. 2006, 33 (4): 198-201.

摘要 ( 58 )

PDF(362KB) ( 545 )

相关文章 | 多维度评价

体积在不同轴向上的分布是三维网格模型的重要几何特征。在分析三维模型数据结构的基础上，提出一种提取任意三维实体网格模型体积分布特征的算法。算法首先应用主元分析法确定模型的主轴方向，并将模型按主轴方向旋转至特定姿态，再以一组等距的平行平面从三个坐标轴方向对模型进行剖分处理，并利用平面简单多边形的带符号面积公式求取相应的截面面积，进而求得模型的沿不同轴向的体积分布特征。模型在三个坐标轴向上的体积分布描述了模型的几何特征。实验表明，算法程序运行稳定、快速，可用于提取具有任意几何和拓扑复杂性的各类实体模型的体积分布

基于提升框架的M通道小波滤波器的构造

计算机科学. 2006, 33 (4): 202-204.

摘要 ( 79 )

PDF(185KB) ( 319 )

相关文章 | 多维度评价

提升框架的核心思想是通过有限步预测和更新来构造小波滤波器。由于小波的多相位矩阵可以分解为多个矩阵的乘积，因此这些矩阵可以被看作是预测算子和更新算子。本文根据M通道小波变换理论，给出了基于提升框架下的M通道小波变换所对应的滤波器库的构造方法。与传统的方法不同，利用提升框架构造的任何滤波器库都自动满足精确重构性，所设计的预测滤波器满足N阶对偶消失矩，所设计的更新滤波器满足N阶基本消失矩，并给出了具体例子。

时滞双向联想记忆神经网络的全局指数稳定新条件

计算机科学. 2006, 33 (4): 205-207.

摘要 ( 244 )

PDF(224KB) ( 249 )

相关文章 | 多维度评价

运用不等式αПk=1^m blk≤1/r ∑k=1^m qkbk^r＋1/rα^r（α≥0,bk≥0,qk〉0,∑k=1^m qk=r-1,r〉1）和构造新的李雅普洛夫泛函方法，研究了时滞双向联想记忆神经网络的全局指数稳定性。去掉了相关文献中有关传递函数有界性的假设，给出了较弱的并且不依赖于时滞的判别条件，增强了模型的适用性，在网络的分析和设计中发挥着重要作用。最后我们通过模拟仿真进一步说明所得结果的正确性，并对双向联想记忆神经网络的收敛速度作了分析。

采用拟梯度方向信息的随机Hough变换直线检测

张大朴李玉山刘洋李春明

计算机科学. 2006, 33 (4): 208-210.

摘要 ( 89 )

PDF(176KB) ( 391 )

相关文章 | 多维度评价

针对随机Hough变换（RHT）中的无效采样和累积问题，以边缘点的梯度方向信息为基础，提出了利用边缘的拟梯度方向代替边缘点作为待测空间的直线检测方法。理论分析和实验表明，与传统RHT相比，本算法具有检测速度更快、精度更好等优点。

基于外部信息源的WWW图像语义提取研究

计算机科学. 2006, 33 (4): 211-214.

摘要 ( 59 )

PDF(262KB) ( 262 )

相关文章 | 多维度评价

HTML文档作为WWW图像的外部信息源和我体，蕴涵了丰富的描述图像内容的文本信息。为了实现基于语义的WWW图像检索，本文提出了一种WWW图像语义表征模型和图像语义词典的建设方法，给出了一种利用图像语义词典从嵌有WWW图像的HTML网页的相关外部文本信息中提取WWW图像语义信息的具体方法和实验结果。

基于块边缘特征直方图的图像检索

邱开金肖国强张为群

计算机科学. 2006, 33 (4): 215-217.

摘要 ( 62 )

PDF(217KB) ( 242 )

相关文章 | 多维度评价

本文提出一种利用块边缘特征来进行图像检索的方法。首先对图像中每个8×8的块分别提取其块边缘特征，利用块边缘特征构建三维或四维直方图进行图像检索。所有数据在DCT压缩域中进行处理，从而降低了计算复杂度。实验结果表明，该方法与传统的基于DCT压缩域的图像检索方法相比，具有检索准确度高和检索速度快的特点。

基于KL变换的模糊C-均值聚类彩色图像分割

张晓芸朱庆生

计算机科学. 2006, 33 (4): 218-220.

摘要 ( 115 )

PDF(274KB) ( 330 )

相关文章 | 多维度评价

根据图像色彩特征空间的正交特性，以及构成特征空间的特征向量和特征值之间的统计特性，提出了一种新的彩色图像指定区域分割算法。首先在指定区域选取采样像素，通过KL变换计算采样像素的协方差矩阵、特征值、特征向量；由特征向量构成指定区域的色彩特征空间，然后对原色彩空间中的向量进行空间变换和权重变换；最后用模糊C-均值聚类方法聚类变换后的向量，得到分割结果。文中给出了静物图像的聚类分割结果，体现了算法对于指定区域细节分割的准确性。

基于互补信息特征的SAR与可见光图像融合研究

李晖晖郭雷刘航

计算机科学. 2006, 33 (4): 221-224.

摘要 ( 96 )

PDF(301KB) ( 444 )

相关文章 | 多维度评价

由于成像方式及波谱接收段的不同，合成孔径雷达SAR（synthetic aperture radar）与可见光图像所反映的信息有很大差异，图像之间相关性弱，且互补性明显。因此在图像融合时，应该根据其互补性信息特征各取所长。在研究了一些现有融合方法的基础上，提出了一种基于互补信息特征的SAR与可见光图像融合方法。首先通过基于像素邻域的能量统计特性融合SAR与可见光图像，将SAR图像中的重要目标信息加入到可见光图像中，然后再利用小波变换进行二次融合，充分加入原始图像的边缘细节信息。实验结果表明，该融合方法有效

基于核函数距离测度的加权模糊C均值聚类与Markov空域约束的快速鲁棒图像分割

刘思远李晓峰李在铭

计算机科学. 2006, 33 (4): 225-227.

摘要 ( 64 )

PDF(270KB) ( 238 )

相关文章 | 多维度评价

由于模糊C均值聚类算法（FCM）存在两大缺陷：（1）对于非球形的数据聚类形式鲁棒性不够；（2）只考虑图像中的数值特征信息，而忽略了像素间的空间约束关系，因此FCM算法在对含有噪声的图像进行分割时缺乏足够的鲁棒性。针对以上问题，本文提出了一种结合Markov空域约束与基于核函数距离测度的加权模糊c均值聚类的快速鲁棒图像分割方法。为克服缺点（1），我们使用基于核函数的距离测度取代FCM中的欧氏距离，并使用加权模糊聚类的方式保证了计算的简洁性。与此同时，我们用Markov随机场描述图像的空域约束信息，并且通过数

一种嵌入式Linux环境下图像压缩及传输的实现

杨天怡刘宇屈剑锋柴毅

计算机科学. 2006, 33 (4): 228-229.

摘要 ( 64 )

PDF(223KB) ( 430 )

相关文章 | 多维度评价

本文以S3C2410和ARMLjnux操作系统下Web服务器为基础，研究了视频图片压缩及其传输的实现方法。采用离散余弦变换JPG图像编码，应用于图像传输中以减小数据流量。实现了具有视频采集、软件图像压缩及网络传输的低成本模块，可以直接接入以太网，能满足工厂环境或一些实时性不高的监控应用需要。

从EDOC的业务过程建模到J2EE应用程序框架的MDA转换

吴光赵建华李宣东郑国梁

计算机科学. 2006, 33 (4): 230-233.

摘要 ( 71 )

PDF(359KB) ( 272 )

相关文章 | 多维度评价

OMG（Object Management Group，对象管理组织）提出的模型驱动架构（MDA，Model Driven Architecture）是解决不同中间件平台之间的集成以及技术升级所引起的问题的软件开发方法。MDA的基本思想是将系统的模型作为软件开发过程的核心制品，并且将模型区分为描述系统业务功能的平台独立模型（PIM，Platform Independent Model）和描述系统在特定技术平台上实现细节的平台相关模型（PSM，Platform Specific Model）。模型转换是MD

时间Petri网模拟能力的研究

计算机科学. 2006, 33 (4): 234-235.

摘要 ( 69 )

PDF(211KB) ( 413 )

相关文章 | 多维度评价

模型的模拟能力一直是系统建模方面的一个重要研究课题。本文先用一个直观的“零检验”例子说明时间Petri网的模拟能力比传统Petri网要强，并首次证明了时间Petri网与计算科学的最高模型——图灵机有相等的模拟能力；最后给出了另外一种含时间因素的时延Petri网向时间Petri网的转换方法，这说明了时间Petri网虽然形式上较为简单，但其模拟能力却并不比其它含时间因素的Petri网逊色，同时为时延Petri网的研究提供了另外一种有效方法。

网格计算资源调度的层次Petri网建模与分析

计算机科学. 2006, 33 (4): 236-239.

摘要 ( 44 )

PDF(297KB) ( 326 )

相关文章 | 多维度评价

本文给出了网格计算资源的三层调度方案，并利用层次颜色Petri网对这一调度方案进行了建模与分析。对不同层次的资源调度建立了相应的颜色时延Petri网模型，不同层次的颜色时延Petri网模型可以有不同的行为表现，体现了网格计算资源的异构、自治等特点。给出了层次颜色Petri网的可迭任务图的概念及构造算法，并利用可达任务图，对网格计算资源调度系统的运行状态进行了分析。

时延Petri网分布式模拟的先行值研究

计算机科学. 2006, 33 (4): 240-243.

摘要 ( 146 )

PDF(261KB) ( 270 )

相关文章 | 多维度评价

先行值计算是提高时延Petri网并行模拟性能的一个好的方法。给出了时延Petri网的先行值计算的四种基本结构，对于存在循环的复杂的Petri网结构给出了预测图算法，通过预测图，能够很容易求出静态和动态先行值，在并行模拟中利用先行值可以分析出存在并发和阻塞的结构，从而为网分块在并行机的结点上运行奠定了基础。

基于ActiveX Scripting组件的调试器实现

于国良韩文报

计算机科学. 2006, 33 (4): 244-246.

摘要 ( 58 )

PDF(221KB) ( 314 )

相关文章 | 多维度评价

利用可重用性的组件或对象，重新构建新应用程序，能明显提高程序开发效率和改善程序质量。本文首先介绍了基于组件的ActiveX Scripting的技术框架，分析了框架中各组件的功能，并在此基础上给出了利用这些可重用的组件构建调试器程序的具体实现。

基于同态映射的从UML导出可综合Verilog算法

计算机科学. 2006, 33 (4): 247-249.

摘要 ( 60 )

PDF(238KB) ( 310 )

相关文章 | 多维度评价

UML建模因其可显著提高开发效率和代码质量已经成为软件开发领域的一大热点，而硬件设计的日益复杂性也要求我们在更高层次抽象上分析和验证系统行为，故更精细的系统级建模方法变得日趋重要。本文构建了UML元模型与可综合Verilog间的同态映射，定义了一个从UML模型子集导出可综合Verilog描述的算法，为UML模型对于建模硬件系统提供了形式化的语义，从而使运用UML进行硬件系统级建模和系统级上验证系统性能和功能正确性成为可能。

面向IXP网络处理器的内联优化

汤伟吴承勇张兆庆

计算机科学. 2006, 33 (4): 250-252.

摘要 ( 76 )

PDF(216KB) ( 239 )

相关文章 | 多维度评价

内联优化是一种有效的编译优化技术，它通过将函数体直接嵌入到调用点来消除函数调用开销。然而，网络处理器特殊的体系结构对内联优化提出了新的要求，需要新的技术辅助传统内联优化来更好地适应这种特殊的体系结构。本文描述了如何利用关键路径提取技术和迭代编译技术对传统内联优化技术进行扩充和改造，来更好地适应IXP体系结构。实验数据表明，改进后的内联优化能够有效地提高网络系统的性能。

泛型编程与设计模式

陈叶旺余金山

计算机科学. 2006, 33 (4): 253-257.

摘要 ( 76 )

PDF(395KB) ( 585 )

相关文章 | 多维度评价

现今面向对象已经成为软件业内的主流技术，然而它存在很多的弱点，使得它的通用性和抽象程度受到很大限制。设计模式作为面向对象领域内的高级软件复用技术，同样摆脱不了相同的困扰。泛型编程是面向对象的进一步发展，从更高的角度对世界进行抽象，为面向对象的不足之处提供了解决之道。将设计模式泛化带来更大规模的代码复用，使得设计模式的实现得以自动化，从而使开发人员能以面向设计的方式让使用者自行装配所需机能，产生能表达原始设计意图的代码，实现设计与编码之间的无缝过渡。

基于统计学的软件系统预恢复时间阈值计算策略

王纪文徐建游静刘凤玉

计算机科学. 2006, 33 (4): 258-259.

摘要 ( 63 )

PDF(203KB) ( 268 )

相关文章 | 多维度评价

软件系统的预恢复是一种预防和主动的容错技术。本文提出了一种基于统计学的软件系统自恢复时间阈值计算算法。该算法基于满足软件系统可用性概率最大化的思想，在系统性能衰退时间分布未知的情况下，根据一定量的性能衰退的检测数据，计算出优化的软件系统自恢复时间闽值。仿真实验结果表明计算结果合理、稳定性好，能有效地应用于实际系统中。

面向Web Services的模型驱动开发方法

计算机科学. 2006, 33 (4): 260-265.

摘要 ( 55 )

PDF(490KB) ( 286 )

相关文章 | 多维度评价

随着分布式对象技术的发展和电子商务应用的扩大，Web Services技术应运而生。由于在解决异构软件的交互和企业系统集成问题上表现了极大潜力，因此学术界和工业界对Web Services都备加关注。MDA是OMG提出的用于解决不同中间件系统交互和集成问题的新的软件开发方法，是目前软件工程领域最引人注目的研究热点。本文阐述了Web Services和MDA的基本概念，对二者的交叉研究进行了分析和综述，提出了面向Web Services的模型驱动开发框架，并对未来工作做了展望。

软件逆向工程中动态剧情抽象新方法

李凡李青山陈平

计算机科学. 2006, 33 (4): 266-268.

摘要 ( 69 )

PDF(293KB) ( 292 )

相关文章 | 多维度评价

研究了逆向工程中动态剧情的模式发现以及抽象问题。提出并实现了动态剧情中交互模式的自动发现、交互层次的自动恢复以及基于类图的设计模式识别，并实现了以此为依据对动态剧情的抽象。同时，使用Rational Rose的扩展机制，将以上功能无缝嵌入到Rose开发环境中，从而使逆向工程分析工具XDRE具备了在可视环境下以不同抽象层次、不同侧面观察和分析目标系统行为的功能。

一个基于下推自动机的Web测试自动执行器

计算机科学. 2006, 33 (4): 269-273.

摘要 ( 53 )

PDF(331KB) ( 243 )

相关文章 | 多维度评价

随着Web应用系统的广泛应用，对其质量要求也越来越高。如何进行有效的测试以保证Web应用系统的质量是值得关注的研究问题。支持测试用例自动执行的测试执行器（Test runner）是其中的一个热点和难点。文章研究并提出了基于下推自动机的Web测试自动执行器，并实现了其原型系统。谊执行器支持测试用例的自动执行并给出测试结果报告，并通过Web应用测试实例验证了其有效性。

基于J2EE平台的Java构件库的研究和实现

计算机科学. 2006, 33 (4): 274-276.

摘要 ( 46 )

PDF(269KB) ( 279 )

相关文章 | 多维度评价

构件库是构件复用的重要部分。以项目为背景，提出了一种Java构件库系统的设计与实现方案。介绍了基于MVC（Model View Control）的构件分类树结构，描述了该结构下的构件表示模型，阐述了分类树深度优先遍历的构件检索方法和结合构件规约和可控词汇表的规范函数匹配方法。该构件库系统提供了一种语义和语法相结合的经验模型。

RBAC模型的细粒度扩充及应用

计算机科学. 2006, 33 (4): 277-280.

摘要 ( 57 )

PDF(276KB) ( 257 )

相关文章 | 多维度评价

基于角色的访问控制是一种高效安全的访问控制机制，但是RBAC2001建议标准中没有提出根据单位特征、功能特征和数据特征来细化控制角色指派的详细方法。本文结合RBAC模型思想和大型企业信息系统的实际需求，对核心RBAC模型进行细粒度的扩充，在单位、功能、数据等维度对模型进行了细化，并给出了实例应用，有效地解决了大型企业信息系统的安全访问控制难以细化的问题。

多域多应用环境下的访问控制研究

洪帆段素娟

计算机科学. 2006, 33 (4): 281-283.

摘要 ( 71 )

PDF(202KB) ( 268 )

相关文章 | 多维度评价

为适应多域多应用环境下的安全互操作的需求，本文通过扩展RBAC96模型有关概念。增加其对多域环境下多应用的刻画，通过引入全局角色、域角色和关联角色概念，提出了一种多域多应用访问控制模型DPM。通过对PMI授权管理构架进行扩展，实现了DPM模型，为多域多应用环境下的安全互联提出了一个实际的解决方案。

基于COTS技术的高可靠通用容错计算机容错机制研究

计算机科学. 2006, 33 (4): 284-287.

摘要 ( 60 )

PDF(373KB) ( 439 )

相关文章 | 多维度评价

本文提出并实现了一种基于COTS部件、容错机制智能实现的、新颖的通用高可靠容错计算机系统。基于容错功能与用户应用相分离的原则，应用自主设计的智能管理模块。实现对COTS部件内部状态的可观察性。详细分析了系统的容错机制。利用提出的故障逃逸模型，分析了系统中的层次化故障检测和保护措施并估计了系统故障覆盖率。

一种静态分析C^＋＋异常处理的方法

计算机科学. 2006, 33 (4): 288-291.

摘要 ( 166 )

PDF(395KB) ( 361 )

相关文章 | 多维度评价

异常处理是现代程序设计语言提供的用来提高软件健壮性的一种机制。由于在C^＋＋的函数界面中并不要求声明该函数所能传播出的异常的类型，所以要想提高系统的健壮性，必须清楚在程序的执行过程中可能引发的异常、异常的传播路径等。然而在大型系统中，要想确定这些信息是非常困难的。本文针对C^＋＋的异常处理机制，首先提出了一个描述C^＋＋异常结构信息的模型，并把该模型应用于递归函数中。然后，描述了一个基于该模型的分析C^＋＋程序异常结构信息的工具CETool。该工具能提供所有显式引发异常的有关信息，为系统中异常处理结构的改

基于动态指令编译的软件性能分析方法

计算机科学. 2006, 33 (4): 292-294.

摘要 ( 64 )

PDF(327KB) ( 325 )

相关文章 | 多维度评价

进行精确的软件性能分析，需要在代码中插入测量和控制代码，并根据具体运行状态动态的检查多个不同的参数。但是，用静态类型的程序语言，如C语言等书写的代码，一经编译和链接，其处理逻辑即不可更改。因此，在无法获取源代码或者重新编译和重新启动代价较高的应用中，对软件进行动态性能分析非常困难。本文将介绍一种在软件运行时刻动态插入监控点的动态指令编译技术对软件进行监控，从而在上述情况下达到对软件的监控目的。这种方法是基于Dynlnst API和PAPI技术的。实验表明，这种方法在去掉了对源代码的依赖的情况下，仍然与在源