计算机科学

普适计算面临的安全挑战

计算机科学. 2007, 34 (6): 1-3.

摘要 ( 60 )

PDF(222KB) ( 388 )

相关文章 | 多维度评价

分析了普适计算面临的安全挑战,给出了普适计算需要解决的几个安全问题,它们分别是：动态信任模型、认证、访问控制和隐私保护。并指出了这些安全问题的一些解决思路。

SSON：一种基于结构化P2P网络路由的语义覆盖网络结构

于婧汪斌强

计算机科学. 2007, 34 (6): 4-6.

摘要 ( 77 )

PDF(241KB) ( 325 )

相关文章 | 多维度评价

本文基于结构化P2P网络路由机制,采用基于主题划分的方法,提出了基于结构化P2P网络路由的语义覆盖网络SSON。SSON通过结构化P2P网络的标识符映射机制,根据资源类别将结点组织成层次化的覆盖网络,该覆盖网络结构确保搜索限制在与查询主题相关的局部结点子集中。该结构充分利用了结构化P2P网络的优点,解决了基于非结构化P2P网络建立的语义覆盖网络的对主题群的搜索低效问题,同时克服了结构化P2P网络仅支持精确匹配查找的缺点,为结构化P2P网络提供了可靠、高效的语义查询机制,极大地提高了查全率。

覆盖多播路由的算法及协议研究综述

计算机科学. 2007, 34 (6): 7-12.

摘要 ( 210 )

PDF(323KB) ( 286 )

相关文章 | 多维度评价

虽然IP多播的性能优势无可否认,但是它却面临着部署上的困难。近年来,覆盖多播作为提供多播服务的另一可行途径正不断为人们所认可。本文对覆盖多播路由的算法和协议进行了综述研究,提出了通用的覆盖多播网络模型,对覆盖多播中的路由优化问题进行了分类。在此基础上,介绍了当前重要的覆盖多播路由算法和协议,并对它们的性能参数、所解决的路由问题、系统结构和控制方式等技术特点进行了全面的分析和讨论。另外,本文还指出了覆盖多播路由中一些有待进一步研究的问题。

基于CPi-calculus的网格服务行为研究

计算机科学. 2007, 34 (6): 13-18.

摘要 ( 63 )

PDF(339KB) ( 272 )

相关文章 | 多维度评价

当前基于网格服务组合的编排方案（choreography proposals）只给出服务描述层面上的定义,没有提供任何推导方法来保证基于此编排方案的服务的一致性。如何验证组合服务行为的正确性和有效性是当前亟需解决的一个研究课题。形式化方法提供了行之有效的建模、推导和验证机制。本文给出网格服务组合基调,基于此基调分析了网格组合服务的动态交互行为特性,提出基于CPi-calculus（Conditional Pi-calculus）的网格组合服务的行为交互模型（IABM）,并给出组合服务交互行为的形式化描述,

语义Web服务的自动化组合方法：研究综述

计算机科学. 2007, 34 (6): 19-23.

摘要 ( 72 )

PDF(380KB) ( 283 )

相关文章 | 多维度评价

语义Web服务的提出是为了解决Web服务资源在语义Web中的智能化整合问题,而语义Web服务的自动化组合技术作为这个整合过程中的一个关键技术正在蓬勃发展。本文考察了来自人工智能领域、形式化方法和自动推理等领域的众多服务组合方案,讨论了各种方法的原理和优劣之处,并探索了将来的研究工作和趋势。

SL-SOAP：一个大型分层视频组播代理自组织协议

计算机科学. 2007, 34 (6): 24-29.

摘要 ( 79 )

PDF(371KB) ( 295 )

相关文章 | 多维度评价

针对大型分层视频组播层次化自适应体系HALVM中层次化代理的位置和功能如何动态配置和管理的核心问题,本文在研究和分析了层次化代理的逻辑构成和视频组播原始拓扑结构特点的基础上,利用共享丢失模型,提出了一个代理动态自组织协议SL-SOAP。该协议首次将多视频组播会话自组织代理从逻辑上分成多个进程,提出了多个视频组播会话自组织代理中多个进程的优化定位方法,并通过应用证实了该协议的有效性。

NGI中一种基于食物链算法的柔性QoS组播路由算法

计算机科学. 2007, 34 (6): 30-33.

摘要 ( 83 )

PDF(275KB) ( 269 )

相关文章 | 多维度评价

针对下一代互联网（Next Generation Internet,NGI）难以精确测量和用户服务质量（Quality of Service,QoS）需求难以完全表达的特点,设计了一种基于食物链算法（Food Chain Algorithm,FCA）的柔性QoS组播路由算法。给出了QoS组播路由问题模型及其数学描述,针对NGI中QoS参数信息不精确和用户需求柔性的特点,通过博弈分析确定用户和网络方在边上的效用能否达到Nash均衡,基于模糊数学的相关知识并结合FCA的寻优能力,找出在给定条件下用户效用、网络

无线传感器网络的管理

计算机科学. 2007, 34 (6): 34-37.

摘要 ( 81 )

PDF(341KB) ( 428 )

相关文章 | 多维度评价

无线传感器网络是一个资源受限、应用相关的任务性网络,与现有网络特性显著不同,传统的网络管理不再适用于无线传感器网络。本文在简要说明无线传感器网络基本特性和面临挑战的基础上,给出了一个通用的无线传感器网络管理框架,并详细说明了各部分的内容和研究进展,最后探讨了无线传感器网络管理进一步的发展方向。

基于社会学原理的P2P网络模型REC

计算机科学. 2007, 34 (6): 38-40.

摘要 ( 108 )

PDF(254KB) ( 316 )

相关文章 | 多维度评价

集中式的P2P网络模型规模受限,完全分布的P2P网络模型往往混乱低效。借鉴社会学的相应原理,类比人类社会的聚群,针对节点能力的异构性,将系统中的节点进行分层;针对节点参与资源共享的不同动机,对拓扑连接进行分类,按用户需求和共享目的组织网络拓扑,提出一个以社区为基本逻辑管理单位的分层分布式P2P网络模型REC（Resourced Emand based Community）。分别描述了REC的体系结构和相关协议,理论分析和仿真实验表明REC模型是合理有效的,为有效资源组织以及高效资源搜索奠定了基础。

基于网络延迟的P2P路由算法的研究

计算机科学. 2007, 34 (6): 41-43.

摘要 ( 70 )

PDF(242KB) ( 405 )

相关文章 | 多维度评价

近年来,P2P计算应用已经超过Web应用而成为占用互联网带宽最多的网络应用。针对目前P2P系统中采用的随机选择邻居节点的方法会降低路由效率以及增大网络开销方面的问题,在分析Chord方法特点的基础上,提出一种改进的Chord构建算法DeChord。从逻辑上相邻的点在物理上也相邻这一原则出发,DeChord采用Chord数据定位算法;利用全局网络定位系统计算节点坐标并以此为依据计算节点间的物理距离,节点加入时充分考虑节点之间的逻辑距离与物理距离的一致性,系统节点总是选择距离自己物理距离较近的节点作为邻居节点

无线Ad Hoc网络P2P流媒体分发缓存算法

左冬红杜旭杨宗凯

计算机科学. 2007, 34 (6): 44-46.

摘要 ( 125 )

PDF(240KB) ( 294 )

相关文章 | 多维度评价

无线Ad Hoc网络由于其传输时延较长,网络拓扑动态变化以及高丢包率,给流媒体在无线网络中的分发带来了挑战。但随着移动通信终端设备存储能力的提高,在无线Ad Hoc网络中进行P2P的流媒体分发服务成为可能。本文提出一种最小化网络总体有效传输代价的P2P流媒体分发启发式缓存算法,它是在网络总体缓存资源有限的条件下,综合考虑流媒体片段内部流行度、无线节点可靠性,以及片段实际缓存密度与期望缓存密度之差等因素,以减少流媒体分发总体传输代价为目标的启发式缓存算法,此算法能很好地减少流媒体分发起动时延,有效地减少流媒

P2P分布式存储系统

计算机科学. 2007, 34 (6): 47-48.

摘要 ( 112 )

PDF(130KB) ( 388 )

相关文章 | 多维度评价

设计了一个基于P2P的分布式存储系统。该存储系统采用高可扩展的P2P体系结构,将大量分散的节点组织成一个逻辑网络,充分利用原先被忽视的端系统资源,构建大规模分布式存储系统。该存储系统采用高效的结构化P2P路由机制、动态自适应的副本管理、信任机制和激励机制为用户提供高效、可靠的分布式存储服务。

适合GEO卫星网络的分层组播拥塞控制算法

刘功亮顾学迈郭庆

计算机科学. 2007, 34 (6): 49-52.

摘要 ( 76 )

PDF(237KB) ( 272 )

相关文章 | 多维度评价

针对GEO卫星网络高误码率、长延时的特点,提出了一种适合GEO卫星分层组播的拥塞控制算法,SLM-CC。采用系统瓶颈处的队列信息作为调整层的依据,能够及时对网络状况做出反应,解决了卫星网络长延时特性带来的IGMP离开延时大的问题。通过周期性的比较组播数据流和TCP流的平均速率,动态调整组播层,满足了TCP友好性;针对不同分层体制的组播数据流,提出一种基于累积速率的层优先级调整策略,保证了多个不同分层体制的组播流之间的带宽公平性。另外,SLMCC设置一个比较系数,避免了卫星TCP性能下降导致组播数据流吞吐量

支持流媒体的应用层组播研究

张谞吴慧中肖亮

计算机科学. 2007, 34 (6): 53-57.

摘要 ( 317 )

PDF(329KB) ( 263 )

相关文章 | 多维度评价

在当前没有IP组播支持以及大多数端主机访问带宽有限的Internet网络条件下,普通的端主机提供实时流媒体应用服务缺乏有效的通信手段,应用层组播是解决这一问题的有效通信技术。针对网络电视、视频点播类型的大规模实时流媒体应用,本文提出一个两层应用层组播框架结构ALMF,并对其中组播服务结点覆盖网络的构建和维护进行了研究,提出了一个覆盖网络路由组播模型MOSSMRM和基于智能蚁群的路由算法IACSMR,随后将该路由算法和几种启发式算法进行了比较。仿真实验结果表明,IACSMR算法是一个有效的应用层组播路由算法

基于OpenRouter模型的ForCES协议实现技术研究

关中

计算机科学. 2007, 34 (6): 58-60.

摘要 ( 91 )

PDF(204KB) ( 357 )

相关文章 | 多维度评价

本文在对基于OpenRouter模型的ForCES协议进行研究的基础上,重点介绍了基于OpenRouter模型的原型系统实现的相关技术,并对ForCES协议实现的关键技术进行了详细分析。

ADHSNT自发现层次存储网络拓扑模型设计

刘庆江

计算机科学. 2007, 34 (6): 61-63.

摘要 ( 83 )

PDF(151KB) ( 286 )

相关文章 | 多维度评价

当存储网络的数据节点达到数以百计的时候,手工设计所产生的结果往往不能很好地适合需求。自动生成存储网络的拓扑设计,可以处理这些问题。因此本文在研究了广域网络存储虚拟化形成的拓扑结构的基础上,指出现有简单层次模型的不足,提出了自动发现层次式存储网络拓扑模型ADHSNT。结合存储网络的实际特点提出IP路径合并算法,并进行拓扑结构规整。

基于DF的协作节点选择及功率分配策略研究

郭金淮赵雄伟徐晓建于宏毅

计算机科学. 2007, 34 (6): 64-67.

摘要 ( 87 )

PDF(215KB) ( 275 )

相关文章 | 多维度评价

对于无线通信系统来说,特别是单天线节点无线通信系统,采用协作通信技术可以有效地提高系统性能。其中,协作节点选择及协作策略是协作通信需要考虑的两个基本问题。以容量最大化为目标,基于DF中继模式,本文研究了协作节点选择及功率分配策略问题,结果表明,当协作节点满足一定条件时并采用合理的功率分配策略可有效提高系统容量。

无线局域网中基于信号强度的室内定位

张明华张申生曹健

计算机科学. 2007, 34 (6): 68-71.

摘要 ( 105 )

PDF(369KB) ( 689 )

相关文章 | 多维度评价

确定用户的位置信息有利于向用户提供方便高效的服务,基于接收信号强度的无线局域网室内定位是定位领域的一个新的研究热点。研究的难点在如何克服随机因素对信号的干扰,使定位方法具有健壮性、适应性。本文基于IEEE802.11b/g协议的无线局域网环境下定位问题的难点,分析了如何评价定位算法的性能问题,介绍目前定位方法的基本原理、优缺点及其分类,详细综述利用接收信号强度的室内定位算法,最后指出未来定位算法研究的几个方向。

一种基于最长前缀匹配的分段式IP查表方法

张文柱王炫

计算机科学. 2007, 34 (6): 72-75.

摘要 ( 140 )

PDF(222KB) ( 332 )

相关文章 | 多维度评价

基于最长前缀匹配,本文提出了一种新的IP转发表搜索方法。该方法在实现过程中依赖的主要硬件是一片逻辑控制器以及高速的DDRII（Double Date RateⅡ）SDRAM（Synchronous Dynamic Random Access Memory）。依据研究IP地址前缀所得出的规律,将IP地址前缀存储到DDRII中。该搜索方法能够将搜索时间限制在两个DDRII读周期之内,不超过4ns;同时保证转发表更新时间小于512ns。

基于查找树的IP地址分类算法研究

计算机科学. 2007, 34 (6): 76-77.

摘要 ( 106 )

PDF(96KB) ( 817 )

相关文章 | 多维度评价

随着Internet的大规模发展,越来越多的网络业务需要对IP地址进行适时、快速分类。在分析二叉Trie树的基础上,改进了其结构,提出了基于256-叉查找树的IP地址分类算法,并详细介绍了其实现过程,比较了它们的优缺点。该算法在满足空间要求的情况下,提高了查找分类时间,具有通用性和实用价值。

基于Web日志分析的Web QoS研究

田昌鹏

计算机科学. 2007, 34 (6): 78-80.

摘要 ( 87 )

PDF(182KB) ( 294 )

相关文章 | 多维度评价

Internet的服务模式正由传统的数据通信与信息浏览向电子交易与服务转变,需要对不同的用户或HTTP请求提供区分服务和性能保证。本文通过对网络Web服务器日志中记录的大量用户信息进行Web日志分析,研究在Web服务器中及其系统中引入和实现Qos控制的机制和策略,了解用户习惯,提供个性服务,提高服务质量和效率。

基于Netfilter的数据包捕获技术研究

计算机科学. 2007, 34 (6): 81-83.

摘要 ( 82 )

PDF(176KB) ( 718 )

相关文章 | 多维度评价

在Linux下通常的数据包捕获系统,通过Libpcab函数框架实现,而在该体系下实现的包捕获存在着一些缺陷。在Linux2.4版本后,Linux使用了Netfilter框架,便于用户构建自己的防火墙。在该框架下,通过注册钩子函数,可以轻松实现数据包的捕获。本文通过研究Linux2.4后版本内核中的网络框架Netfilter,给出了在该框架下对数据包进行捕获的设计方案,并集中解决了数据信息提取和使用Netlink实现内核与用户态通信的关键问题。

基于无线传感器网络的信誉形式化模型

计算机科学. 2007, 34 (6): 84-87.

摘要 ( 55 )

PDF(277KB) ( 278 )

相关文章 | 多维度评价

无线传感器网络的安全威胁不仅发生在节点之间传递信息的时候,还发生在节点产生信息的时候,因此,单靠密码学和认证无法阻止传感器网络内部的攻击以及节点的异常行为。本文提出了一种基于无线传感器网络的信誉形式化模型,该模型形式化地描述了传感器节点信誉的表示、更新和整合。同时,通过对信誉分布和β分布的拟合分析与推理,发现β分布可以很好地描述与实现上述方案,由此设计了一个基于β分布的无线传感器网络信誉系统实例。实验表明,本信誉方案有较好的稳定性,能够抵抗诽谤攻击和信誉欺骗攻击,很好地解决无线传感器网络对数据认证的需求。

基于网格环境中的量化评估信任模型

农毅古天龙

计算机科学. 2007, 34 (6): 88-91.

摘要 ( 96 )

PDF(237KB) ( 371 )

相关文章 | 多维度评价

网格计算系统是由地理上分布的,异构的计算机和资源组成,它是一个分布式的高性能计算机环境,通过网络连接,用户可以透明地共享这些资源。但其本身具有动态性和不确定性,给区域间网格实体的合作带来一系列安全问题。所以网格环境中的信任问题,成为当前网格研究的一个热点。在本文中,把信任划分为身份信任和行为信任,提出了一种新型的量化评估信任模型,来处理网格环境中实体之间的信任关系,从而更科学、有效地解决网格环境中存在的安全问题。

实对称双线性函数与多精度整数的快速乘法

王小非洪帆汤学明崔国华

计算机科学. 2007, 34 (6): 92-97.

摘要 ( 97 )

PDF(319KB) ( 329 )

相关文章 | 多维度评价

多精度整数乘法运算的效率对公钥密码系统中的模乘、模幂的运算效率起着决定性的作用。Toom-Cook算法是一类应用广泛的多精度整数的快速乘法算法,目前主要的研究方法是插值理论。本文利用实对称双线性函数和二次型的方法研究多精度整数的乘法和平方的快速计算,给出了Toom-Cook算法参数的所有代数表现形式和搜索快速算法的基本方法,提出了一些在实际应用中与目前已知结果相同或优于目前已知结果的快速乘法和平方算法。研究结果表明,利用实对称双线性函数和二次型表示Toom-Cook算法,更有利于判断算法的优劣程度和得到最

基于环Zn上圆锥曲线的ElGamal数字签名方案

杨慧肖国镇

计算机科学. 2007, 34 (6): 98-100.

摘要 ( 105 )

PDF(147KB) ( 246 )

相关文章 | 多维度评价

首先介绍了剩余类环Zn上圆锥曲线Cn（a,b）的基本性质,给出了基于环Zn上圆锥曲线的ElGamal数字签名方案及其数值模拟。该方案综合利用了大数分解的困难性和有限群上计算离散对数问题的困难性,从而增强了该数字签名方案的安全性。由于在Cn（a,b）上明文的嵌入,阶的运算以及点的运算都比较容易,且通过引进标准二进制计算群元素的整数倍的算法,使该方案具有运算速度快,更易于实现等优点。

基于证书角色管理的电子文档安全探讨

曾韬吴宝昌余永权

计算机科学. 2007, 34 (6): 101-102.

摘要 ( 70 )

PDF(158KB) ( 259 )

相关文章 | 多维度评价

本文通过对电子公文的安全性分析,针对电子文档的特点,详细讲述了将其应用于电子文档的安全管理。其中包括PKI/CA体系,证书在角色管理中的运用。提出一个利用证书扩展属性给予对应的角色作必要的控制。

主题重叠网络的构造与搜索算法研究

傅向华王志强明仲陶兰

计算机科学. 2007, 34 (6): 103-107.

摘要 ( 85 )

PDF(312KB) ( 271 )

相关文章 | 多维度评价

结构化P2P网络虽然具有扩展性良好的数据查找机制,但只支持基于键的准确匹配搜索。为提供更丰富的数据查询能力,本文提出一种基于主题重叠网络的结构化P2P搜索算法——主题重叠网络搜索算法（TONS）。其基本思想是在结构化P2P网络之上,将结点按主题组织成分层的重叠网络,使含有相似主题的结点相互链接在一起;利用主题中继结点所具有的全局导航能力,TONS能够基于内容将查询限定在P2P网络的局部范围内,并且通过在重叠网络中随机添加一些长距离链接,使重叠网络具有Small-World特性,改善TONS的搜索性能。实验

基于资源属性空间的网格资源查找算法

计算机科学. 2007, 34 (6): 108-111.

摘要 ( 55 )

PDF(188KB) ( 262 )

相关文章 | 多维度评价

提出了一种基于资源属性空间的网格资源查找算法,资源之间通过属性的相似度来确立彼此之间的邻接关系,每个邻居代表属性的一种变化趋势,这样在资源查找时可以沿着与目标资源属性越来越近的方向查找,因此具有较高的查找效率。在理论上证明了算法的完备性;通过试验验证了算法的查找效率。

流数据管理的降载技术：研究进展

李卫民于守健骆轶姝乐嘉锦

计算机科学. 2007, 34 (6): 112-115.

摘要 ( 69 )

PDF(328KB) ( 296 )

相关文章 | 多维度评价

在当今的网络监控、通信服务、传感网络和金融服务等应用领域中产生了大量的流数据。当流数据的输入速率超过系统的容量,系统性能就会下降。在这种情形下,降载虽然降低了结果的准确性,但可以改善系统的性能。本文讨论了流数据降载的研究现状,对相关技术进行了总结和对比。降载的关键是确定降载的方式和实施的降载计划,本文把降载方式概括为语义降载、随机降载和自适应降载,降载计划包含降载的时间、降载的位置和降载的量等。讨论了面临的挑战和未来研究的发展方向。

具有QoS约束的语义Web服务发现的研究

计算机科学. 2007, 34 (6): 116-121.

摘要 ( 303 )

PDF(339KB) ( 255 )

相关文章 | 多维度评价

传统的Web服务主要是基于UDDI的技术规范,只提供了按照简单分类和关键字的服务发现方法,造成查准率与查全率低,影响服务复用和服务组合的相容性。带有语义的Web服务通常也只关注服务功能性的匹配,因缺乏服务质量描述和灵活、有效的服务匹配方法,而难以保证服务的全面匹配和快速定位。本文分析了现有的一些相关研究,在Web服务模型的基础上,结合“逐渐逼近”的思想,提出一个三层次的匹配筛选算法,并对基本描述、IOPE、服务质量各层的匹配算法进行了深入讨论,用相似函数来度量服务提供方与服务请求方的Web服务相似程度,为

一种支持Web服务运行时适应性的框架

计算机科学. 2007, 34 (6): 122-123.

摘要 ( 70 )

PDF(187KB) ( 242 )

相关文章 | 多维度评价

本文对Web服务的运行时适应性进行了研究。首先,文章对当前的研究现状以及存在的问题进行了分析。然后,提出了一种完整的支持Web服务运行时适应性的框架。该框架在原有的发现和绑定机制基础上增加了前提条件的约束,提高了过程的执行效率。同时对BPEL和WSDL语言做了改进以支持语义Web服务选择。最后给出了该框架的具体实现方式。

网格计算中面向虚拟组织的高可用安全目录服务研究

计算机科学. 2007, 34 (6): 124-127.

摘要 ( 71 )

PDF(242KB) ( 243 )

相关文章 | 多维度评价

本文针对虚拟组织对目录服务的要求,结合检查点归档算法、SOAP协议及多机部署方案,设计并实现了基于Web Services的轻量目录服务,并针对目录服务自身的安全做了基于代理服务器和服务迁移机制的安全扩展。这种目录服务可以在保持服务安全性和可靠性的同时为虚拟组织提供良好的可用性。

一种快速网格任务调度策略

计算机科学. 2007, 34 (6): 128-130.

摘要 ( 65 )

PDF(192KB) ( 245 )

相关文章 | 多维度评价

网格任务调度目标有很多,如用户要求任务轮转时间短、花费代价小,而资源提供者希望资源利用率高等,这些目标相互冲突,因此网格任务调度不仅是一个NP难问题,而且是一个多目标优化问题。本文根据网格环境下任务的时间相关性特点,对传统蚁群算法进行了改进,提出了一种快速网格任务调度算法。该算法不仅解决了网格调度中多目标优化问题,而且依据任务调度历史信息生成蚁群算法的初始信息素分布,提高了蚁群算法的求解速度。

有服务质量保证的数据密集型网格应用管理研究

石宣化金海

计算机科学. 2007, 34 (6): 131-135.

摘要 ( 73 )

PDF(301KB) ( 301 )

相关文章 | 多维度评价

在网格中数据密集型应用的管理由于需要综合考虑多种资源属性而变得非常复杂,本文针对该问题提出了一种有服务质量保证的数据密集型网格应用管理方法,该方法通过两个方面来保证服务质量,首先是通过基于数据可靠性的副本管理策略提高数据的可用性,其次采用基于任务截至期限的任务调度策略来动态调度任务。最后,给出模拟试验测试以及实际网格平台与实际应用的测试,测试结果表明本文提出的方法较其它方法有很大提高。

XML数据库结构连接算法之分析

计算机科学. 2007, 34 (6): 136-138.

摘要 ( 73 )

PDF(249KB) ( 277 )

相关文章 | 多维度评价

结构连接是XML查询处理的核心操作,受到了计算机研究界的高度关注。高效的算法是高效查询处理的关键,目前已经提出许多结构连接的算法。本文介绍了几种典型的算法,并分析了这几种算法的优缺点。

持久对象框架中基于多级访问模式的对象预取技术研究与实现

安静斌贾焰王志英韩伟红

计算机科学. 2007, 34 (6): 139-141.

摘要 ( 116 )

PDF(174KB) ( 262 )

相关文章 | 多维度评价

在基于关系数据库和对象关系映射的持久对象框架中,对象之间通常通过对象引用和各种集合属性将对象相互关联起来,组合成更为复杂的复合对象。应用程序对这些复合对象的访问则是通过使用这些属性逐个访问成员对象来完成。这种在多个成员对象之间的导航操作导致了客户端和后端数据库系统之间的获取操作大幅度增加,从而导致严重的性能问题。对象预取技术根据某种策略,将应用程序可能访问到的对象成组或批量地预先从数据库中装载到客户端,从而减少了应用程序对后端数据库系统进行查询的次数。本文对现有各种对象预取技术并对其进行分析分类,在此基础

F有内部冲突满足P2且无α环模式分解的研究

计算机科学. 2007, 34 (6): 142-144.

摘要 ( 99 )

PDF(181KB) ( 289 )

相关文章 | 多维度评价

在数据库模式的无α环分解中,当数据模式R〈W,F〉的FD集F有内部冲突时,无论F是否存在广义左、右部冲突均不存在满足保持FD、无损连接、BCNF和无α环的分解。在某些实际应用中的分解只满足部分条件就够了,在分析F有内部冲突时最小归并依赖集D的特性,给出了归并依赖集满足的条件∑1和∑2,在此基础上,讨论给出了满足P2（保持FD、BCNF）且无α环分解的充要条件和算法,对算法的正确性、可终止性进行了证明,并对算法的时间复杂度给出了分析。

LBD：基于局部位码比较的高维空间KNN搜索算法

梁俊杰冯玉才

计算机科学. 2007, 34 (6): 145-148.

摘要 ( 108 )

PDF(301KB) ( 262 )

相关文章 | 多维度评价

利用高维数据空间合理划分,提出一种简单有效的KNN检索算法-LBD。通过聚类将数据划分成多个子集空间,对每个聚类子集内的高维向量,利用距离和位码定义简化表示形式。KNN搜索时,首先利用距离信息确定候选范围,然后利用某些维上的位码不相同信息进一步缩小搜索范围,提高剪枝效率。位码字符串比较时,按照维度贡献优先顺序,大大加快非候选点过滤。LBD利用特殊的B＋树组织,降低I/O和距离计算代价。采用模拟数据和真实数据,实验验证了LBD具有更高的检索效率。

基于角色访问的数据库自适应容侵结构

左永利吴中福吴开贵邓伟

计算机科学. 2007, 34 (6): 149-151.

摘要 ( 99 )

PDF(188KB) ( 264 )

相关文章 | 多维度评价

在数据库受到攻击的情况下,能够继续提供服务并根据攻击造成的不同损害进行自适应调整是非常重要的问题,所以本文首次提出基于角色访问的自适应容侵数据库结构。该结构根据用户的角色、入侵的历史纪录、系统状态等因素动态采取不同的容侵策略,因此在保证系统持续提供服务的同时,提高数据库的容侵能力。

粗集和多关系学习综述

计算机科学. 2007, 34 (6): 152-155.

摘要 ( 86 )

PDF(242KB) ( 272 )

相关文章 | 多维度评价

文中给出了多关系学习的产生、实质以及任务,指出多关系学习具有狭义和广义两个层面。对粗集和多关系学习给出了简单综述,表明粗集理论在多关系学习中占有重要地位。分析研究了粗集和归纳逻辑程序设计方法用于多关系学习的几种结合途径,尤其重点介绍了RSILP系列模型,并在文中给出其一般模型。文中对用于多关系学习中其它粗集方法也作了简单介绍。RSILP模型的完善扩展以及粗集方法在多关系学习中的进一步应用是今后的工作方向。

粗集、S-粗集、函数S-粗集及其关系定理

计算机科学. 2007, 34 (6): 156-157.

摘要 ( 82 )

PDF(98KB) ( 241 )

相关文章 | 多维度评价

针对Pawlak粗集理论的现况,着重介绍了S-粗集、函数S-粗集的定义、两种结构及对偶形式,详细讨论了S-粗集与Pawlak粗集之间的关系,函数S-粗集与S-粗集、Pawlak粗集之间的关系。最后给出了S-粗集理论的可应用领域。

粗糙集理论中新的针对不完备信息系统的处理方法研究

计算机科学. 2007, 34 (6): 158-161.

摘要 ( 65 )

PDF(228KB) ( 281 )

相关文章 | 多维度评价

本文针对不完备信息系统,在分析了现有的数据补齐法和扩充法的优劣后,提出基于差异关系和数据部分补齐的处理方法。本文定义了差异关系,对差异矩阵进行扩充使其能适用于不完备信息系统,证明了用差异关系进行属性约简和求核的可行性,并给出了相应的算法。数据部分补齐的目的是通过分析对象之间的差异性更进一步地挖掘信息之间的潜在联系,为后续的决策规则的求取提供更丰富更准确的信息。实验证明,在处理不完备信息系统时,基于差异关系和数据部分补齐的方法能获得更好的分类性能。

一种基于粗糙集启发式的特征选择算法

梁琰何中市

计算机科学. 2007, 34 (6): 162-165.

摘要 ( 98 )

PDF(241KB) ( 375 )

相关文章 | 多维度评价

本文基于粗糙集中关于非精确集和精确集理论思想,提出了一个新的特征度量指标,即相对互信息比RMI,由此,设计了一种基于粗糙集的启发式特征选择算法MRMI-UC。首先利用可辨识矩阵,计算出条件属性相对于决策属性的核,以核形成当前候选特征子集作为基准点,以最大化相对互信息和不确定性系数为原则,筛选剩余特征。通过对比实验,结果表明,本文提出的算法在多数情况下能够得到较优的特征子集,算法是有效的,切实可行的。

不完备知识下的形式概念表示与计算

计算机科学. 2007, 34 (6): 166-169.

摘要 ( 72 )

PDF(261KB) ( 231 )

相关文章 | 多维度评价

从集合的角度来说,知识就是数据集合在某种关系下的划分。如果这个数据集的某些属性值是未知的或丢失了,那么知识就是不完备（incomplete）的。传统形式概念分析是源于完备数据集的（完备知识）。在不完备知识下的概念分析一般说来比完备知识更困难。本文提出了一个新的不完备知识下形式概念表示与计算的方法,这种方法是基于泛化粗糙集理论的,其目的是扩展形式概念分析研究的领域。文中研究了一个基于自反相似关系的粗糙集模型,讨论了基于这种模型的形式概念分析方法。一个实例表明了这种方法的可行性。

基于蚁群信息素的遗传操作算法

张应辉王志伟曾庆华

计算机科学. 2007, 34 (6): 170-173.

摘要 ( 88 )

PDF(210KB) ( 288 )

相关文章 | 多维度评价

在遗传操作算法中通常是随机选择交叉和变异的基因位置。基于蚁群信息素和选择基因的概率,本文提出了一种选择基因的方法以提升局部最优化的性能和加速算法的收敛。通过求解旅行商问题（TSP）的仿真实验,表明了这种方法的有效性。

基于约束规划的选择性神经网络集成方法

龚安张敏

计算机科学. 2007, 34 (6): 174-176.

摘要 ( 86 )

PDF(170KB) ( 296 )

相关文章 | 多维度评价

提出了一种基于约束规划的选择性神经网络集成方法,在训练出个体网络之后,用约束规划方法选择出相对最佳的个体网络组成神经网络集成。理论分析和实验结果表明,该方法设计过程简单,能够以较小的运算代价提高神经网络集成的泛化能力。

一种改进的神经网络增量学习算法

王峥

计算机科学. 2007, 34 (6): 177-178.

摘要 ( 91 )

PDF(205KB) ( 286 )

相关文章 | 多维度评价

基于扩展KALMAN滤波器（Extended Kalman Filter）的神经网络是一类应用广泛的神经网络算法,但该算法在大数据量、抵抗噪声等方面还有相当的缺陷。本文从增量学习的角度出发,对扩展KALMAN滤波器算法进行了改进,同时借鉴周期算法的长处,引入部分增量训练机制（Partial incremental Training）和适当的隐层节点删减机制,使该算法在抵抗噪声等方面有了显著的提高。理论分析表明,该算法可以有效降低噪声数据的影响,提高神经网络算法的鲁棒性。

基于二进制PSO算法的特征选择及SVM参数同步优化

任江涛赵少东许盛灿印鉴

计算机科学. 2007, 34 (6): 179-182.

摘要 ( 227 )

PDF(233KB) ( 362 )

相关文章 | 多维度评价

特征选择及分类器参数优化是提高分类器性能的两个重要方面,传统上这两个问题是分开解决的。近年来,随着进化优化计算技术在模式识别领域的广泛应用,编码上的灵活性使得特征选择及参数的同步优化成为一种可能和趋势。为了解决此问题,本文研究采用二进制PSO算法同步进行特征选择及SVM参数的同步优化,提出了一种PSO-SVM算法。实验表明,该方法可有效地找出合适的特征子集及SVM参数,并取得较好的分类效果;且与文[4]所提出的GA-SVM算法相比具有特征精简幅度较大、运行效率较高等优点。

隐私保护数据挖掘算法综述

计算机科学. 2007, 34 (6): 183-186.

摘要 ( 100 )

PDF(318KB) ( 838 )

相关文章 | 多维度评价

如何保护私有信息或敏感知识在挖掘过程中不被泄露,同时能得到较为准确的挖掘结果,目前已经成为数据挖掘研究中的一个很有意义的研究课题。本文通过对当前隐私保护数据挖掘中具有代表性的算法按照数据分布对其中的数据更改方法、数据挖掘算法、数据或规则隐藏等进行了详细阐述,并对各自的优缺点进行了分析和比较,总结出了各种算法的特性。此外,通过对比提出了隐私保护数据挖掘算法的评价标准,即保密性、规则效能、算法复杂性、扩展性,以便在今后的研究中提出新的有效算法。

基于模糊日历约束的时序关联规则挖掘

计算机科学. 2007, 34 (6): 187-190.

摘要 ( 65 )

PDF(249KB) ( 275 )

相关文章 | 多维度评价

基于日历约束的时序关联规则挖掘由于其实用性,越来越受到研究者的关注。由于现实中用户很难对时间模式进行精确描述,因此基于模糊日历的时序关联规则挖掘更有现实意义。借助模糊概念和模糊运算,对时间区间的描述很容易实现。对于用户指定的日历模式,不同的时间区间可根据它们的隶属度具有不同的权重。在模糊日历代数的基础上,结合增量挖掘和累进计数的思想,本文提出了一种基于模糊日历约束的关联规则挖掘方法,理论分析和实验结果均表明,该算法是高效可行的。

一种高维聚类算法及在洗钱侦测中的应用

计算机科学. 2007, 34 (6): 191-193.

摘要 ( 67 )

PDF(230KB) ( 287 )

相关文章 | 多维度评价

从技术的角度看,洗钱侦测问题实际上是一个数据分析问题。本文首先给出了一个可疑交易判定模型,并提出了一个基于超图模型的高维聚类算法,运用该算法从案例库中形成可疑交易模式,最后给出了可疑交易的判定方法。该基于超图的高维聚类算法具有以下特点：1）能处理大数据集;2）能适应高维数据;3）聚类结果是可理解、可解释和可用的。

基于量化规则格的关联规则之分布式获取

计算机科学. 2007, 34 (6): 194-196.

摘要 ( 115 )

PDF(233KB) ( 282 )

相关文章 | 多维度评价

在形式概念分析中,提取关联规则是构造概念格的目的之一。量化规则格是为了便于提取规则的扩展概念格。概念格分布处理是先分布构造多个部分概念格,再合并构造出完整概念格,以提高构造格的速度。本文提出一种规则合并技术和相应的算法,由部分量化规则格提取部分关联规则,然后直接进行部分关联规则的合并,得到完整的关联规则,即对关联规则进行分布提取。由于无需构造完整格,并且直接再利用已有的部分关联规则,从而降低了利用概念格提取关联规则的复杂度。最后,给出一个简单的实例,说明算法的正确性,并通过实验验证了算法的有效性。

基于ICA与MViSOM的孤立点挖掘模型

计算机科学. 2007, 34 (6): 197-199.

摘要 ( 75 )

PDF(183KB) ( 248 )

相关文章 | 多维度评价

本文提出了一种基于独立成分分析（ICA）与改进的可视化诱导自组织映射（MViSOM）的孤立点挖掘模型——IMVOM模型,该模型用ICA方法对观测到的多维随机向量进行独立成分分解,得到一个独立成分数据集,然后用改进的MViSOM方法取得数据的可视化。该模型充分结合“人类擅长于模式识别的能力”与“电脑擅长于大量地记忆、快速地计算的能力”的双方优点进行孤立点的挖掘,避免了对高维数据内部结构的复杂探测,从而克服了高维数据集孤立点挖掘过程中的一些困难。实验结果也验证了所提模型的合理性。

一种有效的可视化孤立点发现与预测新途径

汪加才张金城江效尧

计算机科学. 2007, 34 (6): 200-203.

摘要 ( 94 )

PDF(225KB) ( 287 )

相关文章 | 多维度评价

孤立点发现是数据挖掘活动的重要组成部分,被广泛应用于电子贸易、信用卡等领域的欺诈检测。由于优良的拓扑结构保持和概率分布保持特性,SOM（Self-Organizing Maps）可作为一种有效的降维工具供分析人员获取隐藏于数据中的分布结构信息。在分析了当前基于距离的孤立点发现的基础上,提出了一种基于SOM的孤立点发现与预测新途径,具有可扩展性、可预测性、交互性、简明性等特征。实验结果表明,基于SOM的孤立点发现与预测是有效的。

一个面向新兴趣点发现的模糊兴趣挖掘算法

唐灿唐亮贵刘波

计算机科学. 2007, 34 (6): 204-206.

摘要 ( 109 )

PDF(147KB) ( 1002 )

相关文章 | 多维度评价

本文在分析现有个性化推荐算法的基础之上,针对其难以发现新的用户兴趣点的不足,提出了一种面向新兴趣点发现的协作算法,建立了包括新兴趣点的多商品模糊兴趣模型。实验表明,该模型比现有模型更优。

基于空间约束的离群点挖掘

薛安荣鞠时光

计算机科学. 2007, 34 (6): 207-209.

摘要 ( 71 )

PDF(220KB) ( 297 )

相关文章 | 多维度评价

由于现有的空间离群点检测算法没有很好地解决空间数据的自相关性和异质性约束问题,提出用计算邻域距离的方法解决空间自相关性约束问题,用计算空间局部离群系数的方法解决空间异质性约束问题。用离群系数表示对象的离群程度,并将离群系数按降序排列,取离群系数最大的前m个对象为离群点,据此提出基于空间约束的离群点挖掘算法。实验结果表明,所提算法比已有算法具有更高的检测精度、更低的用户依赖性和更高的效率。

中文网页分类研究与系统实现

段军峰黄维通陆玉昌

计算机科学. 2007, 34 (6): 210-213.

摘要 ( 71 )

PDF(259KB) ( 534 )

相关文章 | 多维度评价

近年来,网页分类研究逐渐成为网络挖掘和文本挖掘的研究热点,针对中文网页分类的研究也日益增多。本文详细介绍了一个中文网页分类系统的设计与实现,并且提出了一些网页预处理和特征处理的方法。实验结果表明,本文的方法可以使中文网页分类性能由81.5%提高至94.9%。

基于朴素贝叶斯学习的电子商务网站客户兴趣分类的应用研究

潘志方

计算机科学. 2007, 34 (6): 214-215.

摘要 ( 80 )

PDF(150KB) ( 358 )

相关文章 | 多维度评价

随着电子商务的不断发展,用户的分析和分类对电子商务网站来说越来越重要。因此需要一个行之有效的方法来进行用户分类并对其进行个性化服务。在本文中,我们提出了一种可以根据用户的网页访问记录和网上交易记录来动态地对顾客进行分类的方法,主要是利用了改进型的朴素贝叶斯分类器,对用户在网站上的行为进行分类,从而得到用户的分类信息,其结果可以作为提供个性化服务的依据。文章通过实验证明了上述方法的有效性和正确性。

对最小置信度门限的置疑

计算机科学. 2007, 34 (6): 216-218.

摘要 ( 81 )

PDF(188KB) ( 390 )

相关文章 | 多维度评价

在关联规则挖掘中,通常使用最小支持度和最小置信度两个门限来衡量一条规则是不是一个强规则。本文对最小置信度这个参数的实际意义,从理论和实践上进行了分析研究和探讨,发现使用最小置信度进行限制不仅所挖掘出的规则质量较低,还有可能遗漏一些具有重要价值的规则,进一步提出提升率比置信度更能反映实际情况,在关联规则挖掘中改用最小支持度和最小提升率作为衡量准则,其结论更加准确,意义也更明确。

基于WordNet和自然语言处理技术的半自动领域本体构建

徐力斌刘宗田周文宋二伟

计算机科学. 2007, 34 (6): 219-222.

摘要 ( 206 )

PDF(224KB) ( 871 )

相关文章 | 多维度评价

现有的大多数本体都是通过手工构建的,然而,本体的构建是一项非常费时费力的过程,近年来有关如何半自动地构建领域本体的研究越来越多。本文提出了一种基于WordNet和自然语言处理技术的领域本体半自动构建方法,该方法能够大大提高本体的构建效率,并且一定程度上能够保证结果本体的质量。实验表明,本文的方法在一定程度上令本体的生成过程实现自动化。

统计自然语言处理中的线性插值平滑技术

张敬芝高强耿桦潘金贵

计算机科学. 2007, 34 (6): 223-225.

摘要 ( 160 )

PDF(244KB) ( 671 )

相关文章 | 多维度评价

统计自然语言处理中,一个很复杂的问题是数据稀疏问题。主要有两种平滑方法解决：回退法和线性插值法。本文分析和比较了几种典型的线性插值方法,着重研究了它们所引发的词性聚类倾向。在此基础上,给出了2种改进的平滑方法。实验表明,改进的方法比原来的方法有更出色的平滑效果。

基于粗集的T细胞表位预测方法

计算机科学. 2007, 34 (6): 226-230.

摘要 ( 68 )

PDF(286KB) ( 388 )

相关文章 | 多维度评价

T细胞表位预测技术对于减少实验合成重叠肽、研究病原体与机体作用的免疫机制以及深入理解T细胞介导的免疫特异性均有重要意义。为增强T细胞表位预测模型的可理解性,本文在通过肽的预处理构建出存储等长肽段的决策表之后,设计出了一种基于粗集的T细胞表位预测方法。该方法由基于信息熵的属性约简完备算法和基于锚点知识的属性值顺序约简改进算法共同组成。基于HLA-DR4（B10401）编码的MHCII类分子结合肽的实验数据表明,在预测精度与传统神经网络方法大致相当的基础上,本文方法可以提取出用于帮助专家理解MHC分子与抗原肽

六角网格中三维物体模式识别算法

计算机科学. 2007, 34 (6): 231-234.

摘要 ( 62 )

PDF(251KB) ( 235 )

相关文章 | 多维度评价

提出一些算法,这些算法预期成为在六角网格中实现对三维物体快速、并行的模式识别的整体方案的一部分。这些算法包括在7-像素六角邻域之内基于灰度差值的边缘检测、局部边缘减薄和基于7-点六角掩模的特征提取。通过串行计算机模拟,这些算法对诸如方体等一些简单物体的真实六角网格数字图像的实验性验证已经显示了在快速识别三维物体轮廓的关键性特征方面的成功。

一种基于交互式多维传递函数的纹理映射体绘制算法

计算机科学. 2007, 34 (6): 235-238.

摘要 ( 67 )

PDF(251KB) ( 261 )

相关文章 | 多维度评价

本文设计了一种基于空间信息的交互式多维传递函数的纹理映射体绘制算法。该算法不仅可以根据体数据的强度而且还利用体素的空间位置来设定绘制的颜色和阻光度。通过采用一种独特的空间投影变换,根据用户需求,将体数据划分为不同区域,并分别定义各自的传递函数。该特点使得本文的算法可以有效地对体数据进行交互式分析。在算法实现中,利用了通用图形硬件的可编程特性,在普通PC上可以达到理想的绘制质量和交互速度。

一种视频序列中的运动对象自动分割算法

张晓燕赵荣椿

计算机科学. 2007, 34 (6): 239-241.

摘要 ( 76 )

PDF(232KB) ( 396 )

相关文章 | 多维度评价

提出了一种自动、准确的运动对象分割算法。首先通过直方图拟合获得准确的背景噪声方差,克服了以往只能依据经验设定背景噪声方差的缺点,并使用显著性测试技术有效地对帧差图进行二值化,确定出运动区域。然后进行形态学和对称差分处理消除噪声及显露背景,获得初始运动对象。但由于分割结果不够精确,再使用梯度向量流场作为外力的改进活动轮廓算法得到运动对象精确轮廓。实验结果表明,该方法能够得到运动对象精确的轮廓,并且具有调整参数少,抗干扰能力强,可并行处理等优点。

基于信息熵的自适应阈值视频镜头检测方法

陈卓夷赵新生赵京

计算机科学. 2007, 34 (6): 242-244.

摘要 ( 92 )

PDF(203KB) ( 414 )

相关文章 | 多维度评价

文中提出了一种基于信息熵的自适应阈值视频镜头检测方法。首先,利用小波变换提取图像的颜色特征和纹理特征,然后利用信息熵方法来实现对突变和渐变镜头边界的检测,并根据滑动窗口中差值的分布来动态计算局部阈值,提高了镜头边界检测算法的精度。该方法能较好地检测出镜头突变,对渐变镜头也能达到检测的目的。实验结果表明算法能够有效地检测出视频镜头边界。

基于B样条曲线的植物模型建立方法

周文利

计算机科学. 2007, 34 (6): 245-247.

摘要 ( 82 )

PDF(161KB) ( 397 )

相关文章 | 多维度评价

本文分析了植物模型的结构,尝试通过B样条曲线曲面来描述植物的终端节点,并分析了采用这种描述结构时的植物生长模型和风动模型的可能性,植物的生长模型主要通过模拟生态过程,即植物的终端节点通过光合作用产生的能量和能量对植物生长的影响等关系来建立了这些行为模型,最后提供了这种算法的验证结果。

一个基于Java虚拟机的分布式计算模型

齐德昱谢景明

计算机科学. 2007, 34 (6): 248-250.

摘要 ( 101 )

PDF(169KB) ( 316 )

相关文章 | 多维度评价

针对单个JVM的性能缺陷问题,分析了实现分布式JVM的关键技术,提出了一个基于Spaces的分布式虚拟机集成模型,该模型将执行代码和数据分离,通过异步协作机制和动态装载类技术,将多个Java作业透明地调度到不同的JVM资源上并行执行,实现了单一系统映象。

实时系统构件非功能性接口语义规约

计算机科学. 2007, 34 (6): 251-252.

摘要 ( 52 )

PDF(203KB) ( 245 )

相关文章 | 多维度评价

该文给出了基于构件的实时多任务应用系统图形化设计软件的具有分布式C/S关系实时构件的接口定义,主要论述实时构件非功能性接口模型,针对实时特性,提出构件的非功能性接口在时间性、调度性、合成性、同步、互斥以及资源设备控制方面的语义规约。

一种基于Web软件集成测试的建模方法

胡蓉缪淮扣刘焕洲

计算机科学. 2007, 34 (6): 253-257.

摘要 ( 98 )

PDF(323KB) ( 340 )

相关文章 | 多维度评价

本文给出了一种Web软件集成测试的建模方法。该方法通过分析Web应用程序体系结构,对Web应用划分,用分层的有限状态机对Web应用进行行为建模,通过采用基于有限状态机的导航模型来指导测试人员进行Web集成测试;采用UML扩展的模型对Web应用组件间的交互建模,通过建立基于UML的组件依赖模型并提供相应的测试用例生成规则来提取Web应用的测试用例。

面向方面分布式系统形式化规格说明语言

计算机科学. 2007, 34 (6): 258-261.

摘要 ( 82 )

PDF(227KB) ( 266 )

相关文章 | 多维度评价

分布式系统复杂性的不断增加以及对可配置性和可重用性要求的不断提高,需要面向方面软件工程方法的支持,而形式化方法能保证分布式系统的正确性。本文对分布式规格说明语言Ocsid进行了面向方面的扩展,讨论了面向方面的Ocsid的框架结构、语法要求、方面的联结和功能接口。定义了面向方面的Ocsid规格说明语言中叠加和组合的形式化描述,该形式化描述覆盖了各个精化阶段,使精化体系的各个独立视点被协调地组合,并能形式化地验证规格说明的时态属性和系统行为。本文的工作针对的是分布式系统的形式化规格说明,提出了面向方面Ocsi

UML与软件体系结构描述语言之间的转换机制研究

计算机科学. 2007, 34 (6): 262-264.

摘要 ( 59 )

PDF(197KB) ( 532 )

相关文章 | 多维度评价

形式化描述和可视化描述是目前主要的两类软件体系结构描述方法,形式化描述以体系结构描述语言ADL为代表,可视化描述以统一建模语言UML为代表。目前软件体系结构描述领域的热点之一是研究这二者之间的结合,转换是其中一种重要的方式。基于此,本文对UML和基于时序逻辑的体系结构描述语言XYZ/ADL之间的转换问题进行了研究,定义了二者之间的转换规则。

一种运用模式将CIM转换到PIM的方法

曹晓夏缪淮扣孙军梅

计算机科学. 2007, 34 (6): 265-269.

摘要 ( 102 )

PDF(314KB) ( 352 )

相关文章 | 多维度评价

模型转换在MDA软件开发方法中扮演着非常重要的角色,尤其是从CIM到PIM的转换。本文给出了一种从CIM转换到PIM的方法。在CIM中,我们通过特征模型来组织需求,同时用软件体系结构来组织PIM中的各个要素。这个转换中的核心内容是模式的应用。在CIM的需求模型中,本文将特征分层,从而将需求分为不同的层次。同时模式也被分为不同的层级,其中包括体系结构模式和设计模式。针对不同层级的特征模型,应用不同层级的模式进行变换,从而得到分层的体系结构。当需求发生变化时,首先确定这种特征的变化是在哪个层级上的,然后在不同

一种基于链暗示技术的二分图受约束最小点覆盖问题的近似算法

许小双王建新刘云龙陈建二

计算机科学. 2007, 34 (6): 270-273.

摘要 ( 87 )

PDF(320KB) ( 306 )

相关文章 | 多维度评价

二分图受约束最小点覆盖问题作为一个NP-完全问题,无法在多项式时间内得到最优解,除非P=NP。基于此,本文提出了一种基于链暗示技术的二分图受约束最小点覆盖问题的近似算法,具体为：当二分图受约束最小点覆盖问题实例中存在满足约束条件的最小点覆盖（ku,kl）时,对任意给定的近似率δ=1＋ε〉1,一定可以找到一个受约束近似点覆盖（ku,kl）,对应的近似率为max{ku^＊/ku,kl^＊/kl}≤1＋ε,整个近似算法的运行时间复杂度为O（22/ε）。显然,它是二分图受约束最小点覆盖问题的一个多项式时间近似方案

非对称选择网类共享子网合成及其在系统建模中的应用

计算机科学. 2007, 34 (6): 274-278.

摘要 ( 61 )

PDF(277KB) ( 269 )

相关文章 | 多维度评价

为了解决系统建模中的子系统共享问题,提出了经由非对称选择网类共享一种子网构成共享子网合成网的解决方案;研究了共享子网合成网的结构性质,提出了共享子网合成网保持结构有界性和结构活性的充分条件或充要条件。本文的结果可为Petri网系统合成性质的考察提供有效途径,为复杂大系统的分析提供重要手段,并特别适合于一类系统的建模和分析,具有一定的实用价值。

一种改进的可分割任务调度算法LBMR

王君李肯立李仁发

计算机科学. 2007, 34 (6): 279-282.

摘要 ( 84 )

PDF(256KB) ( 454 )

相关文章 | 多维度评价

可分割任务调度在科学和工程计算领域中具有重要的地位,其有效调度算法的设计对并行分布式处理的计算效率至关重要。UMR（Uniform Multi-Round）算法通过限定每次传输到工作节点块的大小,使各工作节点始终处于计算状态,不仅实现了计算资源的最大利用,而且可计算出整个任务调度的最优路数。但是：由于该算法设计中并未考虑网络带宽的有限性,因而难以满足实际计算环境的需求。为此,本文在UMR算法中引入网络带宽限制,对该算法在此条件下进行重新设计,提出一种改进的多路可分割任务调度算法LBMR（（limited

不恢复余数阵列除法器的形式化描述和验证方法

张欢欢宋国新

计算机科学. 2007, 34 (6): 283-285.

摘要 ( 78 )

PDF(214KB) ( 654 )

相关文章 | 多维度评价

本文使用重写技术对不恢复余数阵列除法器进行了形式化描述并结合归纳法对该除法器的正确性进行了验证,整个工作是建立在串行加法器的描述和验证基础上的。不恢复余数阵列除法器的运算和控制有一定的复杂度,适合用大规模集成电路实现。本文成功地用重写归纳法对它进行了描述和验证,说明重写归纳法在硬件电路正确性验证方面有广阔的应用前景。

实现Web下公式符号在线操作的可视化编辑器系统的设计

张滨

计算机科学. 2007, 34 (6): 286-288.

摘要 ( 93 )

PDF(192KB) ( 587 )

相关文章 | 多维度评价

基于MathML技术在相关领域的巨大影响力,本文简要分析了这一技术在目前应用过程中普遍存在的不足之处。在此基础上,作者提出并设计了一个基于MathML理论与技术的可视化编辑器系统,并结合Java Applet方式加以具体实现,用以进行在Web方式下对公式符号的在线操作。

数字电视机顶盒应用软件系统中状态机的设计

乔英东肖创柏

计算机科学. 2007, 34 (6): 289-291.

摘要 ( 82 )

PDF(156KB) ( 259 )

相关文章 | 多维度评价

数字电视机顶盒软件系统各模块的交互关系很复杂,容易造成机顶盒软件系统出错和不稳定。利用有限状态机模型,状态机作为各个进程的管理者可以确保机顶盒软件系统的稳定性和可靠性。

OFBiz实体引擎在MIS开发中的研究与应用

计算机科学. 2007, 34 (6): 292-293.

摘要 ( 182 )

PDF(174KB) ( 245 )

相关文章 | 多维度评价

简要介绍了OFBiz框架技术及其应用程序架构的发展,论述了OFBiz框架中实体引擎的基本设计思想,分析了OFBiz框架开发系统的优点,并结合具体项目实现了OFBiz框架技术的应用。实践表明,Ofbiz框架的使用有效缩短了软件开发周期,开发后的系统具有良好的平台无关性、可扩展性和可移植性。

最佳模型拟合的并行算法

梁立肖飞郜松

计算机科学. 2007, 34 (6): 294-294.

摘要 ( 61 )

PDF(109KB) ( 361 )

相关文章 | 多维度评价

提出最佳函数模型数据拟合的并行算法。每个处理机用不同的函数模型拟合相同的数据,再由主机根据每种函数模型的残差选择最佳的函数模型。该算法不需要事先给出函数模型而由计算机盲目搜索。