计算机科学

计算机科学. 2008, 35 (10): 1-5.

摘要 ( 132 )

PDF(572KB) ( 2076 )

相关文章 | 多维度评价

随着多维数据分析在各领域的广泛应用,基于数据立方体的计算方法受到大量研究者的关注。分析了影响数据立方体计算的各种因素,其中包括数据存储空间、查询处理效率和数据立方体的维护消耗,并且阐述了数据立方体的物化策略。分别从冰山立方体、紧凑数据立方体、高维数据立方体、近似计算、流式数据立方体等几个方面综述了国内外现有的计算方法,分析了各种方法的特点以及适用范围。

马尔可夫决策过程两种抽象模式

计算机科学. 2008, 35 (10): 6-14.

摘要 ( 139 )

PDF(1000KB) ( 675 )

相关文章 | 多维度评价

抽象层次上马尔可夫决策过程的引入,使得人们可简洁地、陈述地表达复杂的马尔可夫决策过程,解决常规马尔可夫决策过程（MDPs）在实际中所遇到的大型状态空间的表达问题。介绍了结构型和概括型两种不同类型抽象马尔可夫决策过程基本概念以及在各种典型抽象MDPs中的最优策略的精确或近似算法,其中包括与常规MDPs根本不同的一个算法：把Bellman方程推广到抽象状态空间的方法,并且对它们的研究历史进行总结和对它们的发展做一些展望,使得人们对它们有一个透彻的、全面而又重点的理解。

基于可信计算平台的信任链传递研究进展

计算机科学. 2008, 35 (10): 15-18.

摘要 ( 142 )

PDF(365KB) ( 1928 )

相关文章 | 多维度评价

信任链传递问题是可信计算的基本问题。阐述了信任链传递在技术与理论方面的最新研究进展。通过分析信任链传递的技术方案、可信测量技术、信任链理论和信任链的可信度度量理论,提出了值得研究的理论与技术方向,包括：以可信静态测量、可信动态测量技术等为代表的信任链传递关键技术,以信任链层次理论模型、信任链传递中的信任损失度量理论和软件的动态可信度度量理论等为代表的基础理论。

基于移动用户位置的信息服务中的访问控制模型研究综述

陈伟鹤鞠时光薛安荣

计算机科学. 2008, 35 (10): 19-24.

摘要 ( 146 )

PDF(742KB) ( 551 )

相关文章 | 多维度评价

在实际生活中,随着人们所处空间位置的变化,其扮演的角色也会相应发生改变。基于位置的服务作为IT信息服务的重要内容,它根据用户所处空间位置向其提供在当前环境下所需的数据信息。为了保护隐私,保证数据资源不被非法利用,迫切需要对基于移动用户位置的信息服务中的访问控制模型技术进行研究。对现有的具有代表性的空间访问控制模型作了介绍,并进行了分析比较,探讨了在空间访问控制模型的进一步研究中需要解决的关键问题。

Pareto最优概念的多目标进化算法综述

计算机科学. 2008, 35 (10): 25-27.

摘要 ( 310 )

PDF(361KB) ( 2535 )

相关文章 | 多维度评价

群体搜索策略和群体间个体之间的信息交换是进化算法在解决多目标优化问题上的两大优势。目前,基于Pareto最优概念的多目标进化算法已成为多目标优化问题研究的主流方向。详细介绍了该领域的经典算法,特别对各种算法在种群快速收敛并均匀分布于问题的非劣最优域上所采取的策略进行了阐述,并归纳了算法性能评估中需要深入研究的问题。

无线传感器网络的地理路由算法综述

罗坤王建新赵湘宁

计算机科学. 2008, 35 (10): 28-32.

摘要 ( 242 )

PDF(451KB) ( 785 )

相关文章 | 多维度评价

在无线传感器网络体系结构中,网络层的路由技术至关重要。地理路由算法由于其扩展性方面的优势逐渐成为无线传感器网络中的一个研究热点,近年来提出了很多地理路由算法。根据对现有算法的分析,把地理路由算法分为三类：基于平面化的地理路由算法、基于特征节点的地理路由算法和基于拓扑特性的地理路由算法。同时,针对具体的算法进行了探讨,分析了各个算法的优劣和性能、特点等。最后总结了该领域当前研究现状,并指出未来的研究策略与发展趋势。

生物特征数据安全保护技术的发展

计算机科学. 2008, 35 (10): 33-38.

摘要 ( 106 )

PDF(545KB) ( 1017 )

相关文章 | 多维度评价

生物特征识别相对于传统的身份识别更安全和便捷。随着生物特征识别系统的广泛应用,生物特征数据的安全性和隐私性日益得到重视。生物特征数据的安全保护技术,主要包括生物特征加密（Biometric Salting）、生物特征密钥生成（Biometric Key Generation）、Fuzzy Schemes等几大类。通过重点分析这几类方法中的具有代表性的算法,来讨论生物特征数据的安全保护技术的研究及其发展,并进一步指出进行生物特征安全保护技术理论与应用研究的发展方向。

无线传感器监测网络分布式节点调度策略

许华杰李国微胡方晓

计算机科学. 2008, 35 (10): 39-43.

摘要 ( 332 )

PDF(510KB) ( 487 )

相关文章 | 多维度评价

无线传感器监测网络（WSSN）由数量众多的节点组成。每个节点通过传感器监测外界环境的变化并将监测数据以无线多跳的方式发回基站,实现对用户感兴趣的区域进行监测。WSSN节点的主要特点是电能、带宽、计算和存储能力等高度受限,尤其是其电源的不可替换性导致在保证对监测目标完全监测的同时延长系统工作寿命成为WSSN应用的一个中心问题。提出了WSSN的扩展工作寿命的定义,并在此基础上提出了一种延长WSSN工作寿命的分布式节点调度策略,在各节点簇内对节点进行调度以实现有差别监测服务并延长系统的工作寿命。提出的策略综合考

传感器网络远程网络重编程服务安全认证机制研究

张羽周兴社蒋泽军王丽芳

计算机科学. 2008, 35 (10): 44-48.

摘要 ( 119 )

PDF(440KB) ( 478 )

相关文章 | 多维度评价

传感器网络远程网络重编程服务不仅需要有效和可靠的分发机制,而且还需要高效的安全认证机制。提出了传感器网络远程网络重编程服务认证安全需求和性能评价标准,介绍了典型的网络重编程服务安全认证方案,分析了当前已有方案并进行了比较,最后指出了传感器网络远程网络重编程服务安全认证机制存在的问题及研究方向。

面向无线传感器网络节点定位的自适应卡尔曼滤波算法收敛条件分析

李迅王建文李洪峻马宏绪

计算机科学. 2008, 35 (10): 49-52.

摘要 ( 122 )

PDF(333KB) ( 2533 )

相关文章 | 多维度评价

分析了新息序列是有色噪声时自适应卡尔曼滤波算法（Adaptive Kal man Filter,AKF）的滤波效果,在范数意义下,证明了k时刻AKF算法中估计误差协方差矩阵和k时刻最优KF算法中估计误差协方差矩阵间距离与新息序列相关性成正比。利用上述结论,证明了所有AKF算法中估计误差协方差矩阵必逐渐远离1时刻最优KF算法中估计误差协方差矩阵。总结上述结论,发现AKF算法收敛条件可描述成以下几个等价命题：1）AKF算法中估计误差协方差矩阵与1时刻最优KF算法中估计误差协方差矩阵差有极限;2）k时刻AKF算

OMNET＋＋与NS2在无线传感器网络仿真中的比较研究

石为人黄河鲜晓东许磊

计算机科学. 2008, 35 (10): 53-57.

摘要 ( 131 )

PDF(448KB) ( 1073 )

相关文章 | 多维度评价

OMNET＋＋是一个为大型网络提供开源的、基于组件的、模块化的开放网络仿真平台。针对无线传感器网络的仿真特点,将OMNET＋＋与NS2一些主要性能指标进行比较;在相同仿真条件下,选取报文投递率、运行时间和内存消耗指标在OMNET＋＋与NS2上分别进行定向扩散对比实验,证明OMNET＋＋在无线传感器网络仿真中比NS2的仿真速度快,内存消耗少,是一个优秀的无线传感器网络仿真软件。

面向动态环境下兴趣转移的P2P自适应搜索

计算机科学. 2008, 35 (10): 58-60.

摘要 ( 185 )

PDF(357KB) ( 488 )

相关文章 | 多维度评价

P2P环境的高度动态特性导致了搜索性能的不稳定。针对节点的兴趣变化对搜索性能的影响,利用节点的自治和系统自组织特性,提出了一种动态自适应搜索机制SAS。基于资源的合理组织以及查询历史统计信息,通过消息转发的智能性,及时反映资源分布以及搜索内容的动态变化,从而迅速定位资源提供节点,提高了搜索的性能和稳定性。实验分析表明,SAS可以自动优化搜索性能,具有很好的自适应性。

Ad Hoc网络中一种基于环状分层结构的组密钥协商协议

计算机科学. 2008, 35 (10): 61-64.

摘要 ( 112 )

PDF(366KB) ( 506 )

相关文章 | 多维度评价

移动ad hoc网络是一种新型的移动多跳无线网络。其自身的特征,如网络规模庞大、动态的拓扑结构、有限的计算、通信和存储能力等,使得传统的密钥分配和管理机制无法直接应用于该网络。提出了一种新的适用于移动ad hoc网络的组密钥协商协议。该协议在环状分层结构上基于多线性映射进行组密钥的协商和分配,使得节点在密钥协商过程中具有低计算开销与低通信开销的优势,较好地解决了在移动ad hoc网络中进行组密钥协商时所遇到的节点能量受限问题,适用于移动ad hoc网络。

在P2P网络中构建支持语义搜索的覆盖网络DOverlay

计算机科学. 2008, 35 (10): 65-68.

摘要 ( 138 )

PDF(434KB) ( 498 )

相关文章 | 多维度评价

P2P网络上构建支持复杂语义请求的覆盖网络是一个新的挑战。支持复杂语义的覆盖网络不仅要满足P2P网络的完全分布性、动态性、可扩展性等相关特性,还要尽量提高P2P网络的可靠性和低成本维护性。提出的非结构化领域覆盖网络DOverlay由于其资源特征是直接由其对应领域本体的概念树转换而来,因此资源可自动形成相关聚类。而基于DOverlay的资源搜索策略D_Search不仅在减少了网络开销的前提下增大了搜索成功率,而且在D_Search中设计的资源评级策略还大大增加了搜索的有效性。

一种优化IPv6源路由拓扑探测的方法

刘振山王清贤罗军勇

计算机科学. 2008, 35 (10): 69-72.

摘要 ( 129 )

PDF(343KB) ( 676 )

相关文章 | 多维度评价

IPv6网络普遍支持源路由的特性及源路由探测具有发现交叉链路的能力,因而成为近年来网络拓扑发现领域研究的焦点。但源路由探测冗余避免和种子节点选取这两个核心问题至今没有得到合理的解决。提出了一种优化IPv6源路由拓扑探测的方法,该方法利用分布式拓扑探测方式获取的基本拓扑信息为源路由种子节点的选取和探测冗余避免创造了有利的前提条件,从而显著提高了IPv6源路由拓扑探测的执行效率。通过对CERNET2网络的实际测试结果体现了该方法在提高覆盖率和探测冗余避免两个主要方面都具有优势。

可计算的基于信任的授权委托模型

计算机科学. 2008, 35 (10): 73-75.

摘要 ( 109 )

PDF(339KB) ( 606 )

相关文章 | 多维度评价

在开放式多域环境中,信任管理是最常用的访问控制方法。但是,目前的信任管理系统存在着以下不足：（1）没有给出实体之间信任的计算方式,使得模型难以实现;（2）信任的传递过程没有得到很好的控制。针对上述问题,提出了一种多域系统中可计算的基于信任的授权委托模型——CTBAD模型（Computable Trust-Based Authorization Delegation model）,重点探讨了CTBAD模型的信任计算方法以及信任传递机制,并且进行了信任关系计算的数据仿真。

基于移动代理的网络拓扑发现技术的研究

计算机科学. 2008, 35 (10): 76-80.

摘要 ( 120 )

PDF(503KB) ( 629 )

相关文章 | 多维度评价

随着Internet/Intranet的迅猛发展,网络结构日趋复杂,各种应用服务不断增多,网络规模也随之不断扩大,得到一个完整准确的网络拓扑结构图对于网络管理、网络优化、定位故障等应用越来越重要。国内在网络拓扑发现技术方面的研究仍处于初级阶段,因而必要性和紧迫性不容忽视。将移动代理这一分布式计算技术引入到网络拓扑发现领域,提出了基于移动代理网络拓扑发现算法,这种算法以TCP/IP网络管理体系为依托,将各种可以利用的协议和移动代理的特性有机地结合起来,旨在发现速度和发现准确度上有更高的要求。与传统的面向协议

入侵检测系统中关联规则挖掘技术的研究

王怡谢俊元

计算机科学. 2008, 35 (10): 81-82.

摘要 ( 135 )

PDF(231KB) ( 561 )

相关文章 | 多维度评价

在入侵检测系统中使用关联规则分析,挖掘网络数据中系统特征之间的关联关系,创建正常行为库,找出异常连接。描述了一种改进的FP_树算法——NFP_树算法,用以进行入侵检测关联规则的挖掘,实验证明,此算法比传统的关联算法在入侵检测中的应用效果更好。

基于支持向量机和最小二乘支持向量机的入侵检测比较

计算机科学. 2008, 35 (10): 83-85.

摘要 ( 120 )

PDF(258KB) ( 547 )

相关文章 | 多维度评价

将支持向量机和最小二乘支持向量机用于入侵检测之中,利用主元分析对数据进行约简,然后使用SVM和LS-SVM对数据进行训练和测试。基于KDDCUP’99做了三组对比实验,对支持向量机和最小二乘支持向量机的性能做了统计。实验结果表明,SVM比LS-SVM分类能力强,但是LS-SVM耗时较少。

基于TPM硬件的移动Agent安全模型研究

武小平赵波张焕国

计算机科学. 2008, 35 (10): 86-89.

摘要 ( 123 )

PDF(348KB) ( 648 )

相关文章 | 多维度评价

主要讨论了安全强度较高的基于硬件的移动Agent安全方案。将可信计算技术与平台引入移动Agent的安全机制,基于可信硬件TPM所提供的相关安全服务实现移动Agent的主动保护机制。设计了在可信硬件平台上的移动Agent安全框架模型并进行了详细分析。

基于Agent的智能元搜索引擎技术研究

计算机科学. 2008, 35 (10): 90-93.

摘要 ( 121 )

PDF(337KB) ( 612 )

相关文章 | 多维度评价

针对现有搜索引擎存在的问题,提出基于Multi-agent的分布式搜索引擎系统。系统采用元搜索引擎结构,利用Agent技术和基于个性化模式的信息过滤技术,使系统具有一定的智能性。通过个性化检索和分类浏览相结合的检索方式可提高搜索结果的可浏览性。结合数据库的分类和虚拟语言模型方法实现了资源选择的优化。提出基于文本/位置分析和群决策的合并算法,对搜索结果的标题和文档片断信息进行相关度分析,将文本分析与规范化的搜索结果位置信息相结合,计算文档的相关分值,最后采用基于群决策的合成方法对搜索结果进行一致性排序。试验

基于J2ME的移动支付安全方案研究

计算机科学. 2008, 35 (10): 94-97.

摘要 ( 194 )

PDF(428KB) ( 545 )

相关文章 | 多维度评价

安全方案对移动支付系统的安全性起着决定性作用,其中无线环境中的安全和对用户即手持设备的认证,更是系统成败的关键。借鉴国外已有的移动支付系统,结合宏支付的特点及安全要求,并考虑到J2ME平台本身提供的安全性,提出了一个基于J2ME的移动支付安全方案,重点解决无线环境下的用户的认证问题,来保证针对宏支付的移动支付系统的安全。分析测试验证了该安全方案的安全性及可行性。

基于多点测量的网络节点度分布研究

李超赵海张昕葛新

计算机科学. 2008, 35 (10): 98-99.

摘要 ( 127 )

PDF(225KB) ( 711 )

相关文章 | 多维度评价

首先简要描述了单点测量网络存在的采样偏见问题,认为通过增加探测源节点,可以最大限度地降低网络连接边遗漏的采样偏差。在此基础上,以CAIDA分布于世界范围内的多个探测源点得到的采样拓扑数据,分别考察了网络的节点度三种不同的规律分布。frequency-degree分布表明实际的网络节点度分布服从幂律,但幂指数随着采样偏见影响的降低呈减小的趋势,degree-rank服从幂律分布说明了网络节点的度分布存在着较高的不均匀性,补累积函数表明Weibull分布对节点度分布的拟合效果更好。

标识T-网中同步距离的计算

计算机科学. 2008, 35 (10): 100-103.

摘要 ( 134 )

PDF(373KB) ( 484 )

相关文章 | 多维度评价

同步距离是刻画事件之间同步关系的一个重要的定量分析手段。由于同步距离的求解不仅和网的结构特征有关系,而且和网的初始标识也存在关系,因此到目前为止还没有一个很简洁易行的算法来求解一般Petri网的同步距离。然而,一些特殊的Petri网子类,如标识T-图、标识S-图的同步距离的计算已经有了较简洁的求解方法。对另一个Petri网子类——标识T-网给出了其同步距离的计算方法。标识T-网也可以直接通过网的结构和初始标识分布情况来得到变迁之间的同步距离,不需要考察网系统的运行,这就使得同步距离的求解简单易行。文中给出

一种支持实时集群系统的双层调度机制

陈泽晖常光辉卜长清陈蜀宇

计算机科学. 2008, 35 (10): 104-105.

摘要 ( 137 )

PDF(227KB) ( 444 )

相关文章 | 多维度评价

提出一种集群环境下的实时调度机制,它通过前端负载机平衡调度、后端机区分实时和非实时任务队长差调度而提供实时优先服务,有效提高了以往前端机单点调度模式下的集群节点利用率和实时任务响应性。对比实验表明,在保证吞吐率的情况下,实时任务的响应时间明显减少,为分布式实时调度提供了一种可行的设计参考。

基于小波分析模型的VBR视频流的时延和抖动分析

王军元白光伟沈航靳勇

计算机科学. 2008, 35 (10): 106-109.

摘要 ( 130 )

PDF(353KB) ( 782 )

相关文章 | 多维度评价

近年来,网络实时流媒体获得了越来越广泛的应用,引起了学术界和工业界的广泛关注。然而实时多媒体对传输时延、时延抖动以及网络带宽有着很高的要求,这对于在不可靠的网络环境下提供服务质量保证无疑是一个重大的挑战。以小波分析模型为基础,对VBR实时视频流的时延以及时延抖动进行深入的研究。在此基础上,通过Mat-lab仿真的方法对视频流的时延和时延抖动进行定性的分析和研究。结果表明,当节点服务速率固定时,时延和时延抖动初始时随着缓存的增加而增大;但当缓存增加到一定程度时,VBR视频流数据包的时延和时延抖动将趋于稳定。

新型的环状层次应用层多播模型

计算机科学. 2008, 35 (10): 110-114.

摘要 ( 132 )

PDF(385KB) ( 555 )

相关文章 | 多维度评价

提出了一种新型的环状层次应用层多播模型HVRB（Hierarchy Virtual Ring-based）,它适合于拥有大规模多播成员的多播组。该模型以环作为拓扑结构,同时引入了虚环的概念。采用了基于动态优先级的层次划分方法使得该环状拓扑结构随时间的变化性能逐步得到提高,并且采取一定的措施使得当出现数据传输错误时可以进行快速的恢复。由仿真试验结果可知该模型具有较高的数据传输率、较高的带宽利用率和较低的控制开销。应用该多播模型可以较好地提高多播的性能。

基于TAG的电力网格分布式资源管理的研究与实现

计算机科学. 2008, 35 (10): 115-121.

摘要 ( 149 )

PDF(616KB) ( 436 )

相关文章 | 多维度评价

电力系统对全网范围内分布、异构、海量数据全面共享和集成的需要催生了网格技术和传统电力调度监控技术的结合---电力网格。电力网格通过统一的软件平台连结电力调度中心,整合分布的软硬件资源,提供信息和计算的共享。对电力网格平台的资源管理机制进行了研究,提出了一种基于TAG（标签）的信息分类模式,克服了传统树型分类的缺点;设计实现了一套由多台RSS Server（资源监控服务器）协同完成的分布式资源存储与检索机制。并在此基础上,分析了TAG分类模式和分布式检索策略的优点。性能比较和系统运行表明该方案是有效和可行的

基于特征的空间数据访问控制模型研究

计算机科学. 2008, 35 (10): 122-125.

摘要 ( 139 )

PDF(483KB) ( 546 )

相关文章 | 多维度评价

提出一个新的基于特征的空间数据访问控制模型,模型主要由基本授权模型和授权约束模块所组成,基本授权模型从完成业务活动所需权限的角度出发进行较粗粒度但简单的授权,授权约束模块将授权限制在特定的地理区域或空间对象集合内,以控制权限的行使范围,两个部分互相配合实现较为灵活、细粒度的访问控制,根据职责分离和最小特权原则提出该模型的分布式管理模型。

信息流图的分割算法

计算机科学. 2008, 35 (10): 126-130.

摘要 ( 200 )

PDF(408KB) ( 614 )

相关文章 | 多维度评价

一个多级安全系统的信息传递关系是搜索隐通道的重要依据。由于一个大型多安全级软件系统的信息传递关系非常复杂,对其直接进行信息流分析并搜索隐通道的工作量非常大,因此为进一步提高搜索和分析隐通道的效率,提出了一种将信息流图分割成信息流森林的算法。该算法首先选定一棵父树,然后通过边割集中的弧置换父树中的树枝得到新树,并能从理论上保证分割后得到的信息流森林正确继承原图的信息,即原图中信息流既未被割裂也未丢失。通过对每棵信息流树表示的信息流进行分析就可取代对整个信息流图的分析,从而有效降低了分析问题的规模。

一种基于对象存储的文件系统的设计

卢萍陈进才

计算机科学. 2008, 35 (10): 131-133.

摘要 ( 165 )

PDF(337KB) ( 892 )

相关文章 | 多维度评价

随着存储技术的飞速发展,对象存储设备面临如何高效存储并管理TB级容量数据的问题。针对Linux通用文件系统Ext2在处理大文件和巨型目录结构时存在的局限性,采用B＋树结构设计并实现了一种基于连续块的对象文件系统。对该文件系统进行的测试结果表明,该文件系统的读写效率较高,而且随着文件的增大,性能保持稳定。

基于相似和谨慎等待的移动分布式实时数据库并发控制方法

计算机科学. 2008, 35 (10): 134-137.

摘要 ( 113 )

PDF(352KB) ( 493 )

相关文章 | 多维度评价

随着移动计算技术的快速发展,对移动环境下实时事务处理的需求也不断增加。而造成事务重启和阻塞的有限带宽和频繁断开是移动环境下实时系统特有的属性,因此过去针对分布式实时数据库系统的并发控制研究并不能够直接应用在移动分布式实时数据库上。把相似概念和谨慎等待方案与高优先级2阶段锁定（DHP-2PL）结合起来,形成基于相似和谨慎等待的移动分布式实时数据库的并发控制算法,以增加系统并发性,减少重启和阻塞事务的数量,并通过判断事务是否断开而探讨了相应的解决策略,降低了断开问题对系统性能的影响。

802.11i的认证安全性分析

计算机科学. 2008, 35 (10): 138-139.

摘要 ( 140 )

PDF(237KB) ( 438 )

相关文章 | 多维度评价

IEEE设计802.11i协议解决无线局域网的安全问题。802.11i协议的形式化分析,对于确保该协议的正确性至关重要。利用串空间理论对802.11i协议进行建模,在串空间模型中验证协议的认证属性。结果表明,802.11i协议能够安全实现它的认证功能。

非否认协议中认证保密性的设计与形式化分析

张虹

计算机科学. 2008, 35 (10): 140-142.

摘要 ( 223 )

PDF(247KB) ( 558 )

相关文章 | 多维度评价

探讨了非否认协议的保密性认证目标,用攻击的方法验证了A（0）协议在认证保密性方面的不足;对其消息格式和会话密钥建立后确认方式做了修改,提出了NA（0）协议;进一步运用SVO逻辑对NA（0）协议进行了形式化的分析,验证了NA（0）协议满足主体身份的认证性和会话密钥的保密性。

一种新的超宽带脉冲信号优化设计方法

计算机科学. 2008, 35 (10): 143-144.

摘要 ( 109 )

PDF(151KB) ( 446 )

相关文章 | 多维度评价

从数值逼近理论出发按照Chebyshev最佳一致逼近准则将超宽带信号设计成符合FCC频谱模板的信号,与同类方法相比更容易控制设计精度,具有更高的频谱利用率,改善了UWB通信系统的性能,方法适用于不同的频谱模板。在理论分析的基础上对方法进行了阐述和模拟仿真,仿真结果验证了该超宽带脉冲信号设计方法的有效性。

基于WordNet的本体澄清

郭雷方俊王晓东

计算机科学. 2008, 35 (10): 145-147.

摘要 ( 115 )

PDF(330KB) ( 494 )

相关文章 | 多维度评价

由于本体能够消除概念的混淆和重用知识,因此它的质量对于语义网技术的应用非常重要。为了提高本体的质量,很多的工作集中在概念建模,但是本体表示这个非常重要的方面一直被忽视。目前本体的表示使用的是词（term）,但同一个词可能有很多不同的意思,这样在基于本体的应用时将导致不清楚或错误的理解。为了解决这个问题,使用定义在WordNet中的词义（sense）而不是词来作为本体的表示,其原因是词义只有唯一的意思。本体澄清的定义为利用目标词周围的本体元素和被它标注的文档附近的词,对目标词进行自动消歧的过程。通过计算目标

直觉模糊映射的凸分析

梁家荣

计算机科学. 2008, 35 (10): 148-151.

摘要 ( 173 )

PDF(347KB) ( 551 )

相关文章 | 多维度评价

介绍了直觉模糊数和直觉模糊映射的凸性、凹性、拟凸性、拟凹性、上半连续性、下半连续性和正齐次性的定义。通过引入一种新的偏序关系来研究凸直觉模糊映射性质,对凸直觉模糊映射和凹直觉模糊映射分别建立了两个刻画定理。讨论了直觉模糊映射的凸性与拟凸性的关系,证明了一个凸直觉模糊映射必是一个拟凸直觉模糊映射和一个凹直觉模糊映射必是一个拟凹直觉模糊映射。考虑了直觉模糊映射的凸性与半连续性的关系,获得了直觉模糊映射的凸性与上半连续性（下半连续性）等价的条件。在直觉模糊算子方面,给出了正齐次直觉模糊映射是凸直觉模糊映射的充要

一种特征加权的聚类算法框架

计算机科学. 2008, 35 (10): 152-154.

摘要 ( 154 )

PDF(237KB) ( 656 )

相关文章 | 多维度评价

为了考虑数据各维特征对聚类的不同贡献,并把有监督特征评价方法应用到无监督分类问题中,提出一种特征加权的聚类算法框架。该框架首先通过某种聚类算法对数据聚类,然后,根据聚类结果,采用有监督特征评价方法学习各维特征的权值,再根据特征权值重新聚类,之后再次学习特征权值,该过程反复迭代,直至算法收敛或达到指定的迭代次数。欧几里德空间内基于距离、基于密度的聚类算法均适用于本框架。基于本框架,采用模糊C均值聚类算法（FCM）、密度聚类算法（DBSCAN）,并通过信息增益特征评价、ReliefF特征评价方法,对多个UCI

语义Web的实现：概念标记与概念系统

黄映辉李冠宇

计算机科学. 2008, 35 (10): 155-157.

摘要 ( 134 )

PDF(372KB) ( 500 )

相关文章 | 多维度评价

语义Web是对Web的扩展。Web是被格式标记的信息的集合,语义Web则是被概念标记的信息的集合,扩展的两项措施为信息采用概念标记和计算机内置概念系统。语义由直接语义和引申语义构成,前者为人脑中的观念,后者与语境有关。鉴于目前计算机的能力尚不能模拟语境,不得不＂搁置引申语义＂和＂以概念近似观念＂,于是就有＂语义=概念＂。概念标记与概念系统是实现语义Web的两大支撑。概念标记就是用概念标记符对将要交由计算机处理的信息进行标记,其面临的主要难点有信息的切分、概念标记符的选用和标记过程的自动化。概念系统就是On

时序波动关联规则概念格并行挖掘的一个新算法

吴大岳谢福鼎孙岩张永

计算机科学. 2008, 35 (10): 158-161.

摘要 ( 133 )

PDF(336KB) ( 572 )

相关文章 | 多维度评价

基于概念格理论,研究了对时间序列的波动情况进行周期关联规则的挖掘。首先对时间序列进行了反季节化预处理,然后提出了生成周期关联规则的新并行算法,在算法内部对生成的概念进行了剪枝处理,有效地提高了挖掘速度。随后用所给出的高精度模型对不满足移动平均法反季节化预处理条件的时间序列进行了反季节化计算。实验证明了该方法的有效性。

一种基于词编码的中文文档格式

计算机科学. 2008, 35 (10): 162-164.

摘要 ( 87 )

PDF(286KB) ( 533 )

相关文章 | 多维度评价

分析了汉语自动分词问题产生的根源和面临的困难,针对性地提出了一种基于词的中文编码方法和中文文档新格式,实现了以词作为中文文本的最小信息载体,使中文文本分析可以在词平台上实现,避免了自动分词对中文信息处理带来的障碍。基于中文词的编码方法,以每个词作为一个单位,对词进行编码。此方法避开了中文的自动分词问题,特别是解决了歧义切分的难题,并提出了一种利用文档格式解决未登录词问题的新思路。采用统计分析方法对词平台基础上的关键词自动抽取进行了实验研究,取得良好效果。

动态文本分类中概念漂移问题的解决算法研究

计算机科学. 2008, 35 (10): 165-169.

摘要 ( 110 )

PDF(430KB) ( 646 )

相关文章 | 多维度评价

以当前的“消极学习型分类法”加“动态更新训练集”的组合模式,不足以解决好动态文本分类中的概念漂移问题。为此,受消极分类法基本思想的启发,并借鉴k-NN算法的优点,提出了针对概念漂移问题的“消极特征选择模式”的概念和基于此模式的动态文本分类算法。测试结果表明,新算法很好地解决了当前存在的难点问题,具有高可靠性、高实用性等优点。

消除GCC抽象语法树文本中冗余信息的算法研究

李鑫王甜甜苏小红马培军

计算机科学. 2008, 35 (10): 170-172.

摘要 ( 143 )

PDF(210KB) ( 886 )

相关文章 | 多维度评价

由GCC编译器对C语言源程序进行语法分析产生的抽象语法树文本存在大量的冗余信息,如果直接对其进行解析,则会产生解析效率低、产生的抽象语法树会占用大量的存储空间的问题。针对此问题,在深入研究GCC抽象语法树文本结构和解析过程的基础上,提出了一种高效消除冗余的算法,通过实验证明了算法的正确性和适用性,并提出了GCC抽象语法树解析的数学定义。

概念格中多层次的属性约简理论

计算机科学. 2008, 35 (10): 173-177.

摘要 ( 143 )

PDF(385KB) ( 516 )

相关文章 | 多维度评价

提出了形式背景的子概念格及形式背景关于概念、子概念格（包括概念格）的属性约简概念;定义了概念、子概念格（包括概念格）的特征函数,并以此为基础提出了属性约简定理,得出了具体的属性约简方法,同时研究了不同约简下属性间的关系,进一步完善了概念格属性约简理论,也为概念格用于数据处理及知识发现提供了新的工具。

一种基于主题的概率文档相关模型

计算机科学. 2008, 35 (10): 178-180.

摘要 ( 93 )

PDF(323KB) ( 449 )

相关文章 | 多维度评价

现有文档关系分析模型难以从主题层次上判别文档相关性。为此,提出了一个基于主题的概率文档相关模型（TPDC）。TPDC借助Latent Dirichlet Allocation模型学习文档的主题结构;在计算出主题后验概率和主题相似度的基础上推导出文档后验概率;基于文档后验概率构建文档相关性分析模型。实验结果证明,TPDC模型在文档检索精度和文档压缩程度两方面优于向量空间模型,因而更能胜任实际应用中的文档检索任务。

不完备目标信息系统中基于描述子的知识约简

计算机科学. 2008, 35 (10): 181-185.

摘要 ( 203 )

PDF(371KB) ( 461 )

相关文章 | 多维度评价

以具有遗漏型未知属性值的不完备目标信息系统为研究对象,根据描述子的定义和基于描述子的粗糙集模型,讨论了知识约简问题。给出了求得描述子所有约简的具体操作方法。根据描述子的支持集与决策类之间的关系,提出了描述子的下、上近似相对约简概念,并给出这两种约简的判定定理及区分函数,为从不完备信息系统中获取简化的决策规则提供了新的理论基础与操作手段。

基于遗传算法的多任务学习

孟浩华李国正

计算机科学. 2008, 35 (10): 186-187.

摘要 ( 118 )

PDF(259KB) ( 538 )

相关文章 | 多维度评价

机器学习中冗余特征会降低学习器的性能,而特征选择方法可以去掉一些冗余特征。然而,冗余特征也包含有用信息,因此可以利用多任务学习的概念,通过重复利用冗余特征提高预测精度。但是,如何确定哪些特征作为输入和输出仍然是一个待解决的问题。之前的工作是在多任务学习当中,运用遗传算法来确定哪些特征作为输入,哪些作为输出,取得了较好的效果,但是该算法不足之处是没有考虑到不相关特征。现将特征分为三部分：输入的特征、输出的特征和不相关特征,提出了对一个特征进行双位编码的遗传算法搜索策略。在基因芯片数据上的实验结果表明,提出的

自适应搜索优化算法

计算机科学. 2008, 35 (10): 188-191.

摘要 ( 160 )

PDF(316KB) ( 486 )

相关文章 | 多维度评价

自由搜索算法是一种新的群集智能优化算法,已经成功地应用于函数优化问题。针对该算法所存在的对参数敏感等问题,提出自适应搜索算法。通过自适应实时调整搜索半径、搜索步、灵敏度等参数,提高算法对环境的适应性、鲁棒性和在“探索”和“开发”之间的平衡能力。对典型函数的试验结果证明,新算法不仅降低了对参数的依赖性,而且成功率高、收敛速度快,能有效避免陷入局部次优。

一种新的基于Web日志的挖掘用户浏览偏爱路径的方法

计算机科学. 2008, 35 (10): 192-196.

摘要 ( 113 )

PDF(415KB) ( 496 )

相关文章 | 多维度评价

提出了一种新的基于Web日志的挖掘用户浏览偏爱路径的方法。该方法首先在单元数组存储结构（存储矩阵）基础上建立以浏览兴趣度为基本元素的会话矩阵和路径矩阵。然后,在会话矩阵上采用两个页面向量夹角余弦作为相似用户的页面距离公式进行页面聚类,求得相似用户的相关页面集。最后,利用路径选择偏爱度在相似用户的路径矩阵上挖掘出相似用户的浏览偏爱路径。实验证明此方法是合理有效的,能够得到更准确的偏爱路径。

基于Logistic回归的中文垃圾邮件过滤方法

计算机科学. 2008, 35 (10): 197-199.

摘要 ( 137 )

PDF(316KB) ( 735 )

相关文章 | 多维度评价

研究如何实现Logistic回归模型在中文垃圾邮件过滤中的应用,给出了关键技术,并将其应用于SEWM20071）垃圾邮件语料库上,取得了较优的过滤效果。还分析了影响正常邮件误判率、垃圾邮件误判率和精确率等因子。对比实验结果表明,应用于中文垃圾邮件过滤的Logistic回归模型与SVM相比具有更优的ROC指标和更快的运行效率。

用页组拓扑平均距离改善页面聚类算法

林文龙刘业政余智学

计算机科学. 2008, 35 (10): 200-203.

摘要 ( 118 )

PDF(381KB) ( 449 )

相关文章 | 多维度评价

提出一种支持站点结构优化的页面聚类改进算法,通过引入图论中的拓扑平均距离,量化评估与挖掘站点结构中访问效率较低的内容文档集合为结构优化的兴趣页组,挖掘的页组具有更高的兴趣性,并将兴趣页组挖掘算法融入到拓扑优化算法中。实验结果表明改进算法能更好地优化站点结构,较一般算法收敛性好。

可重叠矩形多值图像表示及其上的几何矩生成

计算机科学. 2008, 35 (10): 204-207.

摘要 ( 96 )

PDF(463KB) ( 514 )

相关文章 | 多维度评价

为了支持快速的多值图像运算,提出了一种无损多值图像表示方法,称为可重叠矩形多值图像表示（Overlapping Rectangle Multi-valued I mage Representation,ORMIR）。ORMIR采用递归方式将一幅多值图像分割为具有不同基础颜色的可重叠矩形,并使用孩子兄弟树来组织这些矩形,通过弱化二值图像块表示中同一矩形所覆盖的所有像素必须具有相同颜色的约束,ORMIR能够使用较少的矩形无损地表示一幅多值图像,因而基于ORMIR的多值图像运算能够被快速实现。基于ORMIR,提

基于DWT的彩色图像水印不可感知性评价

计算机科学. 2008, 35 (10): 208-211.

摘要 ( 117 )

PDF(391KB) ( 520 )

相关文章 | 多维度评价

水印的不可感知性是评价水印算法性能优劣的重要指标之一,传统图像质量评价模型PSNR不能很好地评价水印化图像的质量。本文通过分析彩色图像中背景亮度、纹理、频率以及颜色对人类视觉的掩蔽,提出了一个基于DWT的彩色图像视觉掩蔽强度计算方法,并据此为彩色图像中各像素设置视觉质量掩蔽权值,得到了一个彩色图像水印不可感知性评价模型。实验结果表明新模型优于传统模型PSNR,其评价结果更接近人的视觉感觉。

一种恢复综合孔径微波辐射计展源图像的CLEAN算法

胡飞李燕

计算机科学. 2008, 35 (10): 212-214.

摘要 ( 124 )

PDF(268KB) ( 749 )

相关文章 | 多维度评价

CLEAN算法在处理对象是点源时,即使系统噪声很大,恢复点源图像的效果仍然比较理想,且思想简单、易于实现,因此在综合孔径微波辐射计点源图像的恢复中得到了广泛的应用和发展。但当处理对象是展源时,该算法恢复的辐射计图像存在着条纹现象。借鉴最大熵图像复原算法的约束思想,提出了一种改进的CLEAN算法。仿真结果表明,图像质量得到了进一步改善。

CAGD中参数曲面的光滑拼接研究

计算机科学. 2008, 35 (10): 215-218.

摘要 ( 88 )

PDF(346KB) ( 980 )

相关文章 | 多维度评价

参数曲面作为CAGD中形状数学描述的标准形式一直受到关注,而参数曲面的光滑拼接作为实现复杂客体几何造型的重要手段一直是该领域的一个热点和难点问题。以不同参数域的参数曲面为线索,对常用的矩形域和三角域参数曲面的GC1光滑拼接的条件进行了分析,同时对这些条件在实际应用中的一些问题进行了讨论,最后对曲面光滑拼接中一些令人关注问题进行了展望。

一种基于非度量多维标度的移动定位算法

彭鑫李仁发罗娟

计算机科学. 2008, 35 (10): 219-222.

摘要 ( 131 )

PDF(418KB) ( 542 )

相关文章 | 多维度评价

稀疏无线传感器网络由于缺乏足够的距离和连通性信息,导致大多数定位算法无法有效工作。提出了一种非度量多维标度移动节点辅助定位算法——NMDS-LRA（M）。该算法对移动节点运动轨迹抽样,添加拓扑约束关系,然后利用奇异值分解计算节点相异性矩阵的逼近阵,从而有效解决了移动辅助定位问题,并且避免了以往移动定位算法中虚拟节点间距离误差较大对定位精度的影响。仿真分析表明,与以往算法相比,提出的算法有更好的定位精度,而且在较低网络连通度和不规则网络分布的条件下表现出更好的可靠性。

一种改进的基于NAM的彩色图像表示算法

计算机科学. 2008, 35 (10): 223-229.

摘要 ( 86 )

PDF(625KB) ( 450 )

相关文章 | 多维度评价

图像表示在机器人、图像处理、模式识别等领域里是一个非常重要的研究内容之一。尽管基于NAM的彩色图像表示方法是彩色图像模式的一种良好表示方法,但是该方法是建立在单类型子模式（矩形）基础之上,因而还有更进一步的优化空间。通过对多子模式类型的组合（矩形和三角形）逆布局作进一步的研究,提出了一种改进的基于NAM的彩色图像表示算法,并给出了该算法的存储结构和数据量分析。理论分析和实验结果表明：与基于NAM的彩色图像表示算法和流行的基于线性四元树的彩色图像表示方法相比,改进的基于NAM的彩色图像表示方法能更有效地减少

基于Toy模型蛋白质折叠预测的多种群微粒群优化算法研究

计算机科学. 2008, 35 (10): 230-235.

摘要 ( 389 )

PDF(517KB) ( 484 )

相关文章 | 多维度评价

基于Toy模型的蛋白质折叠结构预测问题是一个典型的NP问题。提出了多种群微粒群优化算法用于计算蛋白质能量最小值。该算法采用了一种新的算法结构,在该结构中,每一代的种群被分为精英子种群、开采子种群和勘探子种群三部分,通过改善种群的局部开采能力和全局勘探能力来提高算法的性能。分别采用Fibonacci蛋白质测试序列和真实蛋白质序列进行了折叠结构预测的仿真实验。实验结果表明该算法能够更精确地进行蛋白质折叠结构预测,为生物科学研究提供了一条有效途径。

基于Level Set算法的医学图像分割的研究与实现

计算机科学. 2008, 35 (10): 236-237.

摘要 ( 121 )

PDF(254KB) ( 856 )

相关文章 | 多维度评价

提出了一种改进的结合基于阈值分割特点的Level Set方法。首先用滤波器对原始图像进行平滑,然后根据当前曲线找到区域的统计特性,最后根据区域之间的统计特性的相似度重新定义了Level Set方法的演化停止准则,从而提高了算法的准确性和自动性。实验结果表明,该方法具有较好的分割效果和较高的分割效率。

面向内容的三维模型数据库设计及其检索系统的实现

林金杰韦伟杨育彬

计算机科学. 2008, 35 (10): 238-242.

摘要 ( 107 )

PDF(576KB) ( 2018 )

相关文章 | 多维度评价

目前,对基于内容的三维模型检索的研究主要集中在检索过程所涉及到的算法方面,而对三维模型库的设计研究较少。为此,详细分析了面向内容的三维模型库的建立过程,重点论述三维模型库的组织结构和分类表的设计,提出一种三维模型分类的手工构造方法,开发了三维模型库的管理软件,并研制了三维模型检索的原型系统。其意义在于为三维模型检索研究提供一个结构合理、数据充分的三维模型库,从而为检索算法的研究奠定坚实的基础。

改进的势能曲面变平法在二维非格点模型中的应用

计算机科学. 2008, 35 (10): 243-245.

摘要 ( 118 )

PDF(253KB) ( 510 )

相关文章 | 多维度评价

蛋白质结构预测问题是生物信息学中的一个重要问题。缺少一种有效的全局寻优方法是阻碍这一问题解决的关键。势能曲面变平（ELP）法是一种启发式的全局优化方法,是一种推广的Monte Carlo方法,已成功地应用于许多优化问题。在ELP法的基础上,提出了改进的势能曲面变平（ELP＋）算法。将ELP＋算法应用于二维非格点的蛋白质AB模型,预测和发现四条链长分别为13,21,34和55的氨基酸序列的蛋白质结构。数值实验表明,ELP＋算法是一种预测蛋白质结构的有效算法。

一种基于细尺度间小波系数相关性的图像去噪方法

计算机科学. 2008, 35 (10): 246-249.

摘要 ( 108 )

PDF(358KB) ( 584 )

相关文章 | 多维度评价

图像去噪问题的研究一直是图像处理的热点问题。首先对噪声图像经小波分解后噪声小波系数在细尺度子带间的分布特点进行了研究,提出了一种结合尺度内和尺度间系数相关性的噪声统计模型——细尺度间噪声系数分布的＂类零树结构＂,以及基于分块的Bayes阈值确定方法。在此基础上将二者相结合,提出了一种新的图像去噪方法。该方法首先通过Bayes阈值去噪法去除高层子带中的噪声,同时利用基于块阈值方法定位次外层子带中的噪声位置,然后利用“类零树结构”模型,估计对应的最外层子带中的噪声的分布,并进行相应的去噪处理。实验结果表明,该

自适应AVS_M分数像素运动估计快速算法

魏志强李翠苹刘敏王岩王莉

计算机科学. 2008, 35 (10): 250-252.

摘要 ( 110 )

PDF(329KB) ( 468 )

相关文章 | 多维度评价

为了减小分数像素运动估计的计算量,提出了一种适用于AVS_M的分数像素快速搜索算法。该算法采用更多的预测矢量提高分数预测矢量的准确性;在分数预测矢量不够准确时,利用自适应阈值的判断跳过不必要搜索过程,或者利用分析分数像素候选点的匹配误差关系排除可能性小的点。实验分析表明：对于不同运动特征的视频序列,该算法在保证图像质量和编码效率基本不变的同时,节省了61.88%～87.06%计算量。

基于克隆选择的免疫粒子群优化算法

计算机科学. 2008, 35 (10): 253-255.

摘要 ( 151 )

PDF(319KB) ( 670 )

相关文章 | 多维度评价

粒子群优化算法在进化中随种群多样性降低易出现早熟收敛等问题。针对这一问题,在粒子群算法中引入免疫克隆选择算法的思想,提出了基于克隆选择的免疫粒子群优化算法（I mmune Particle Swarm Optimization,Immu-nePSO）,即在算法进化过程中,引入克隆复制算子、克隆高频变异算子、克隆选择算子。成比例克隆复制可以使优良个体得到保护,加快算法收敛;高频变异为新个体的产生提供了新的途径,可以增加种群的多样性;克隆选择算子从所有子代、父代中选择出最优个体,避免算法退化。最后通过对基本测

Linux中一种改进的实时调度算法及其应用

谭云福刘杰刘国华

计算机科学. 2008, 35 (10): 256-258.

摘要 ( 128 )

PDF(273KB) ( 915 )

相关文章 | 多维度评价

在实时操作系统中,调度算法起着关键性的作用,然而调度算法的开销与系统的调度性能之间经常是一对矛盾。就此问题,结合最新版Linux2.6内核任务调度的特点,提出了一种改进的最小裕度优先（LSF）算法。针对LSF算法中因任务间的频繁切换造成系统开销增大的缺点,通过采用适当的抢占阈值策略减少＂颠簸＂现象,提高了Linux2.6内核的实时性。

面向软件测试过程的知识管理方法的研究与实现

计算机科学. 2008, 35 (10): 259-261.

摘要 ( 156 )

PDF(348KB) ( 481 )

相关文章 | 多维度评价

在软件测试组织中,对测试过程中的知识进行有效的管理,是提升组织整体测试水平的关键。一个重要的研究问题是怎样将知识管理过程与软件测试过程有效集成,从而促进知识资产在软件测试组织中的传播与重用。给出了软件测试领域知识管理子系统的体系结构、主要功能以及使用流程,对一些关键技术进行了探讨。最后,给出了知识地图模块的设计与实现,验证了本文所实现的软件测试领域知识管理系统的合理性和有效性。

支持广域网的协作式服务发现机制

计算机科学. 2008, 35 (10): 262-265.

摘要 ( 245 )

PDF(345KB) ( 509 )

相关文章 | 多维度评价

服务发现是网络分布式环境下进行信息共享、数据集成、流程协作的前提。广域网下的服务发现机制必须在无可直接利用的广播和组播机制上解决系统的规模伸缩性问题,以合理的代价为用户提供高效的服务发现机制。采用覆盖网络体系结构,并实际构建了具有一定可伸缩性的服务发现系统Service CatalogNet。Service CatalogNet基于分布存储的服务信息和后缀树形式的服务信息索引,实现了协作式服务发现机制,特别提供了QoS感知的服务发现机制,即可基于客户的QoS指标生成应用层选播/多播路由,进而实现服务发现。

服务描述和服务匹配研究

计算机科学. 2008, 35 (10): 266-268.

摘要 ( 344 )

PDF(346KB) ( 664 )

相关文章 | 多维度评价

服务发现是分布式环境下进行资源共享、数据集成、流程协作的前提,而服务描述和服务匹配策略是其中的两个关键问题,服务的多样性、异构性和其上下文的动态变化使这些问题更加复杂。为此,提出了一种能支持多样性、屏蔽异构性、适应变化上下文的服务描述模型SDMDHD,并针对此模型设计实现了包括精确匹配、语义匹配在内的服务匹配引擎,还给出了对该匹配策略的理论评估和实验结果。

信息系统的可存活性

胡方炜李千目许满武

计算机科学. 2008, 35 (10): 269-271.

摘要 ( 124 )

PDF(266KB) ( 565 )

相关文章 | 多维度评价

可存活性是用来表明系统在面对蓄意攻击、故障失效或偶发事故时仍能完成其任务的能力。可存活性要求系统具有四个关键性质：抵抗性、识别性、恢复性、适应和演化性质。目前对于可存活性的研究可以分为分析和实现两个方面。可存活性的分析一般通过建模的方法,对原有系统的可存活性进行度量,找到系统的薄弱环节。可存活性的实现一般通过体系结构的设计改进或者重新配置的方法,来提高系统的可存活能力。无论是分析还是实现的研究,方法多样,但是却有着很大的局限性。

软件流水中隐式控制流恢复技术

计算机科学. 2008, 35 (10): 272-274.

摘要 ( 86 )

PDF(250KB) ( 437 )

相关文章 | 多维度评价

具有条件分支的循环通过IF转换将显式的控制流转换为隐式的控制流,从而为指令调度提供进一步的机会。但它往往将程序的代码进行深度重构,增加了程序的理解和代码重建工作的复杂性。提出了一种软件流水循环中的隐式控制流恢复技术,用于重构软件流水循环中的条件分支,提高软件逆向工程中生成的目标代码的质量。

BPM和SOA在系统集成中的应用

计算机科学. 2008, 35 (10): 275-278.

摘要 ( 86 )

PDF(366KB) ( 480 )

相关文章 | 多维度评价

针对企业ERP与CRM系统信息群岛的集成问题,提出了基于SOA的解决方案,以弥合长期以来企业与IT基础设施之间的鸿沟,实现IT向业务看齐,从而支持企业快速灵活地变迁其业务流程,实现IT架构的灵活性和IT资产的重用,使企业能充分利用内部资源和外部资源,优化全局管理。

基于分布对象的大规模多数据源互操作机制

计算机科学. 2008, 35 (10): 279-283.

摘要 ( 314 )

PDF(467KB) ( 450 )

相关文章 | 多维度评价

针对大规模多数据源互操作所面临的问题,以分布对象技术为基础,并结合有关标准,提出了一种适合于大规模多数据源互操作的三层体系结构,并采用分层机制解决了互操作系统中不同层次的异构性问题,支持了成员系统的自治性,有效地控制了系统的复杂性。在实现互操作服务的基础上提供了一种柔性的集成环境。

SPS系统的一种精确语义描述

戎玫

计算机科学. 2008, 35 (10): 284-287.

摘要 ( 112 )

PDF(327KB) ( 493 )

相关文章 | 多维度评价

规约模式系统SPS是根据性质的语义抽象而成的描述程序性质的表达模式,既能方便程序员使用,又有对应的时序逻辑表达式。但是,它现有的语义描述不够精确。首先介绍了规约模式系统及其现有的语义,并用它描述了实例的性质,接着采用模型检测工具SPIN验证了该系统表达的性质,通过对比验证结果及现有语义,给出了系统精确的语义描述。

维、哈、柯文版Linux操作系统关键技术的设计实现

计算机科学. 2008, 35 (10): 288-291.

摘要 ( 106 )

PDF(345KB) ( 520 )

相关文章 | 多维度评价

维吾尔文、哈萨克文、柯尔克孜文（以下简称民文）等多文种操作系统软件,对于提高我国西部少数民族地区的信息化水平,起着重要作用。本文首先阐述了民文与汉文、西文等语言在计算机处理方面的差异,然后通过分析Linux国际化框架,提出了民文版Linux的总体设计结构,最后分两个模块重点论述了民文变形显示、从右向左书写、民汉混合处理等主要技术难点在Qt层次上的实现。测试表明,民文版Linux在保证原有功能的基础上,全面支持了民文的使用习惯。

一种基于主动网络结构的管理模型研究

钟国祥

计算机科学. 2008, 35 (10): 292-294.

摘要 ( 139 )

PDF(340KB) ( 512 )

相关文章 | 多维度评价

主动网络是一种新型的网络结构,它为用户提供了可编程的接口,用户可通过网络中的节点动态地注入所需的服务。讨论了传统网络管理（NM）中存在的问题,分析了主动网络管理（ANM）体系结构与管理机制。重点讨论了一种基于节点的主动网络分层管理模型,并分析了该模型的结构、管理机制、设计要点和各层关系,说明了此模型能够很好地适用于主动网络的特点和管理的需求。

LINUX进程间通信的模型检测

计算机科学. 2008, 35 (10): 295-299.

摘要 ( 108 )

PDF(402KB) ( 561 )

相关文章 | 多维度评价

模型检测是一种强大的自动分析验证技术。分析了LINUX进程间通信的部分源代码并进行手工形式化建模,使用有限状态自动机描述模型,继而转换成SPIN的输入语言PROMELA,对其进行模型检测,验证了系统的有界性和可终止性,并就进程间通信中容易发生的问题提出了改进方案。

基于链表的择换排序新算法——“数据结构”与“程序设计”课程的融合创新案例研究

计算机科学. 2008, 35 (10): 300-302.

摘要 ( 89 )

PDF(315KB) ( 390 )

相关文章 | 多维度评价

依据同构化基本原理,研究和发现了基于传统内部择换排序算法的同构化特点与本质;进而,利用其同构化特点与本质,提出了几种基于链表的择换排序新算法;从而,进一步深化和推广了择换排序算法的应用方式与实用范围;同时,也为“程序设计”、“数据结构”的课程融合、教学改革、教育创新提供了重要研究案例。