计算机科学

投稿须知

无

计算机科学. 2008, 35 (7): 0-F0004.

摘要 ( 117 )

PDF(55KB) ( 337 )

相关文章 | 多维度评价

图像质量评价研究综述

计算机科学. 2008, 35 (7): 1-4.

摘要 ( 347 )

PDF(345KB) ( 1950 )

相关文章 | 多维度评价

图像质量评价是一个经典的研究课题，其目标是设计算法，给出和人的主观感受相一致的评价值。在许多图像处理的应用领域中，图像质量评价算法都具有重要意义。目前已提出多种评价算法，本文对这些算法进行综述。首先描述图像质量的主观评价方法，它给出科学、稳定的主观评价值；其次对各种客观评价算法进行分类介绍，重点探讨了各类算法的思路及特点；然后详细描述了衡量算法性能的定量指标；最后总结了图像质量评价算法研究的发展趋势。

LKM后门综述

袁源戴冠中

计算机科学. 2008, 35 (7): 5-8.

摘要 ( 286 )

PDF(266KB) ( 676 )

相关文章 | 多维度评价

LKM后门作为Linux下危害最大的恶意代码，运行在内核层，比传统技术下的后门更隐蔽，功能更强大。本文分析LKM后门的技术原理与威胁，并在此基础上研究各种后门检测方法。这些方法都有局限性，因此多方法融合、有机组合互补将成为LKM后门检测的发展趋势。

本体集成研究综述

于娟党延忠

计算机科学. 2008, 35 (7): 9-13.

摘要 ( 235 )

PDF(370KB) ( 438 )

相关文章 | 多维度评价

本体集成（ontologyintegration）的目的是使异质的本体互操作，目前是本体研究的一个热点。本体集成首先发现实体间关系，生成本体映射，然后根据应用目的基于映射进行处理，最终达成本体对齐或者本体合并的目标。本文介绍了本体集成中的概念，给出本体集成的一般工程化方法。对国内外较具代表性的本体集成工具进行比较分析，讨论了现存的问题，指出了未来的研究方向。

谱聚类算法综述

蔡晓妍戴冠中杨黎斌

计算机科学. 2008, 35 (7): 14-18.

摘要 ( 159 )

PDF(295KB) ( 2563 )

相关文章 | 多维度评价

谱聚类算法是近年来国际上机器学习领域的一个新的研究热点。谱聚类算法建立在谱图理论基础上，与传统的聚类算法相比，它具有能在任意形状的样本空间上聚类且收敛于全局最优解的优点。本文首先介绍了图论方法用于聚类的基本理论，然后根据图划分准则对谱聚类算法进行分类，着重阐述了各类中的典型算法，并对算法进行了比较分析，最后进行总结并提出了几个有价值的研究方向。

大规模IPv6网络拓扑发现探测目标点的构建和选取

刘振山罗军勇王清贤

计算机科学. 2008, 35 (7): 19-21.

摘要 ( 148 )

PDF(210KB) ( 425 )

相关文章 | 多维度评价

探测目标点的数量及分布位置对网络拓扑发现的覆盖率和探测效率有直接的影响，因此成为网络拓扑发现研究领域一直关注的焦点。本文针对目前大规模网络拓扑发现目标点相关研究现状，提出了两种目标点集合构建方法，在对目标点冗余分析的基础上提出了相应的探测目标点选取方法。最后通过对CERNET-2骨干网络的实际测试，说明了本文提出的这些方法可以推广至国家级规模的IPv6网络拓扑发现应用中。

I／O复用代理在网络隔离系统中的应用研究

武海燕谭成翔汪海航

计算机科学. 2008, 35 (7): 22-24.

摘要 ( 116 )

PDF(264KB) ( 322 )

相关文章 | 多维度评价

应用代理为网络隔离系统中的其他业务提供了运行平台。首先通过比较传统代理技术，提出了适用于网络隔离环境的代理模型，然后分析比较了I／O复用技术，提出了在网络隔离系统中使用epoll实现应用代理的方法，并阐述了详细的实现过程。最后对系统性能进行了研究，提出了应用数据的缓存方法和基于，TTL的数据重发机制。

一种自适应非参量CUSUM控制图算法

计算机科学. 2008, 35 (7): 25-28.

摘要 ( 86 )

PDF(233KB) ( 600 )

相关文章 | 多维度评价

针对CUSUM控制图中存在的固定检测门限和对异常终止反应迟钝的缺点，提出了一种自适应的非参量CUSUM控制图算法。该算法首先利用固定门限剔除野值，同时简化了对显著异常的检测过程。然后，采用简单滑动平均算法对非野值数据进行平滑，并基于切比雪夫不等式理论对平滑后的数据进行转换，使之满足非参量CUSUM算法的使用条件。最后，由算法根据数据转换结果自适应地设置CUSUM算法中的检测门限，并在发出异常告警后实施异常终止监控。在针对SYN洪流攻击的仿真检测试验中，利用该算法能够在检测时延不超过7个采样周期且攻击持续期

BGP4＋互操作性测试研究

李华张涛叶新铭

计算机科学. 2008, 35 (7): 29-31.

摘要 ( 99 )

PDF(211KB) ( 339 )

相关文章 | 多维度评价

BGP4是最主要的域间路由协议，BGP4＋是对BGP4进行扩展之后支持IPv6的，对于它的互操作性测试很重要。本文首先介绍了互操作性测试的目的，分析了BGP4以及BGP4＋的功能、路由类型以及数据包种类。根据BGP4的说明生成了协议的输入输出有限状态机，基于该模型生成了部分BGP4＋的互操作性测试套。然后对于协议的不同实现进行了互操作性测试设计与实践，最后给出了结论以及下一步的研究工作。

一种提高XCP协议在大RTT差异环境下的鲁棒性方法

张慧翔戴冠中姚磊潘文平

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

摘要 ( 99 )

PDF(272KB) ( 369 )

相关文章 | 多维度评价

现有TCP协议的拥塞控制机制存在很多不足，XCP（eXplicit Control Protocol）协议采用显式反馈的方式有效地克服了这些缺陷。XCP协议能容忍数据流之间一定的RTT差异，但当这种差异超出一定范围时，XCP协议性能恶化，变得不稳定。通过分析XCP协议路由控制周期与数据流RTT的关系，提出了一种控制周期根据RTT差异程度而自适应调整的方法，消除了系统振荡。仿真数据表明，该方法能有效地提高XCP协议在数据流RTT差异较大的环境下的鲁棒性，同时不给路由器带来过大的计算负担。

传感器节点定位系统攻防机制研究

计算机科学. 2008, 35 (7): 36-41.

摘要 ( 84 )

PDF(396KB) ( 331 )

相关文章 | 多维度评价

正确的节点位置信息是无线传感器网络许多功能模块实现的前提和基础，如网络构建和维护、监测事件定位、目标跟踪。在资源受限的传感器网络中，如何安全和有效地获取节点位置信息，是一个极具挑战性的安全问题。本文着重分析了不同的传感器节点定位系统所面临的各种攻击，分析了近年来该领域具有代表性的安全措施的原理、特点和局限，并简要介绍了该领域今后的研究热点。

传感器网络中基于次优距离的多跳路由算法

计算机科学. 2008, 35 (7): 42-44.

摘要 ( 77 )

PDF(229KB) ( 255 )

相关文章 | 多维度评价

能量优化是无线传感器网络研究中最重要的问题之一。在研究多跳通信中，平衡传输能耗和接收能耗，从而在最小化通信总能耗的基础上，引入最优通信范围。然后，提出一种基于次优距离的多跳路由算法。该算法基于次优距离在局部圆中随机选取传感器结点作为中转结点，保证了在最优通信范围附近选取中转结点。仿真结果验证了该算法有效地节省了网络能量，提高了网络生存期。

一类具有“开端”结构的安全协议分析方法研究

计算机科学. 2008, 35 (7): 45-49.

摘要 ( 129 )

PDF(240KB) ( 269 )

相关文章 | 多维度评价

开端协议（Open-ended Protoc01）的分析是安全协议领域中一个待解决的重要问题，而IKE则是一个有代表性的具有“开端”结构的安全协议。本文基于串空间的Athena方法，针对IKEv2协议中的“开端”结构涉及的DH（Diffie-Hellrnan）问题，增加了群、散列函数等原语，给出并证明了一个新的消减规则；针对“开端”结构，引入了集合的数学概念，建立了新的消息类型，重新定义了串空间中的消息项、替换、入侵者模型，以及Athena相应的内在项、目标和目标绑定，给出了一个新的替代关系。应用扩展后的

无线传感器网络中的路由协议研究

计算机科学. 2008, 35 (7): 50-52.

摘要 ( 79 )

PDF(267KB) ( 448 )

相关文章 | 多维度评价

无线传感器网络作为计算、通信和传感器三项技术相结合的产物，是一种全新的信息获取和处理技术。本文首先简要介绍无线传感器网络体系结构和性能标准，然后着重从路由协议方面比较分析无线传感器网络的多种典型的路由协议，指出了各自的特色，最后指出了下一步的研究趋势。

基于锚节点的无线传感器网络分簇路由协议

蔡敏智殷建平蔡志平

计算机科学. 2008, 35 (7): 53-54.

摘要 ( 97 )

PDF(128KB) ( 276 )

相关文章 | 多维度评价

该协议假设在观察区域内配置锚节点并随机抛洒普通节点，它包含分簇和路由两个部分。分簇过程是分布式的，采用从锚节点开始逐级分层的策略将网络分为3层，各节点感知邻居节点的信号强度并确定后继节点，然后将这些信息传送至锚节点；在路由过程中，通过分析上述信息，产生各簇的中转路径和冲突模式，于是路由调度方案由锚节点集中完成。实验结果显示，各簇结构均衡，簇内结构清晰，路由调度方案的产生简单高效。

Ad Hoc网络中QoS路由协议算法的研究

施荣华崔奕芳江玲

计算机科学. 2008, 35 (7): 55-56.

摘要 ( 144 )

PDF(195KB) ( 381 )

相关文章 | 多维度评价

AdHoe网络是一种由移动节点组成、拓扑结构动态变化的自组织网络，在AdHoe网络中实现带有QoS约束的路由是当今研究的重要问题。QoS路由协议算法中最主要的三个方面是：QoS参数的选取，对单向链路的支持和路由协议的多播功能。本文首先介绍了应用较广的几类QoS路由协议的算法，接着选取了以上三个方面中几个典型的QoS路由协议，详细介绍了它们的特点以及算法思想，并对协议的性能进行了具体分析，分析结果对研究QoS路由协议有一定的指导意义。

基于扩展的随机DAG的并行任务调度算法研究

计算机科学. 2008, 35 (7): 57-60.

摘要 ( 106 )

PDF(238KB) ( 758 )

相关文章 | 多维度评价

针对并行程序结构产生任务计算量和通信量的随机性，提出了一种扩展的随机DAG模型。基于此模型对DAG调度中常用调度算法关键路径SCP（Static Critical Path）算法进行了详细的分析，提出了相应的扩展的随机DAG的调度方法SSCP（Stochastic Static Critical Path）算法。同时，给出了扩展的随机DAG中节点的EST（Earliest StartTime）计算方法，并以SCP算法为例进行实验模拟。实验结果表明，SSCP算法相对于SCP算法，减少了并行任务执行时间，并能

Internet网络访问直径的短期及长期预测

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

摘要 ( 141 )

PDF(201KB) ( 305 )

相关文章 | 多维度评价

本文首先形式化定义表征Internet的参量一访问直径，然后根据海量数据变化特点，提出了基于Logistic模型的、以正余弦函数模拟振荡变化的数学模型，使用浮点型遗传算法确定模型形式。由于Internet访问直径演化复杂，传统一维模型在长期预测中已不适用。因此在长期预测方面，首先计算得到Internet访问直径的关联维数，然后根据关联维数及奇异吸引子相近空间混沌轨道运动特性，提出了基于三维常微分方程组数学模型形式。

PCs数据库机群系统高可用性的研究与设计

祝永志孔令鑫侯秀杰

计算机科学. 2008, 35 (7): 65-66.

摘要 ( 88 )

PDF(104KB) ( 304 )

相关文章 | 多维度评价

随着用户对数据库系统的可用性、可伸缩性以及性能指标的要求越来越高，使用机群技术进行容错和并行处理已成为一种有效可行的解决方案。本文就数据库机群及其可用性理论作了探讨与研究，并给出了一个由廉价PCs微机组成的具有较高可用性的数据库机群实施方案。

非线性网络编码实例研究

计算机科学. 2008, 35 (7): 67-69.

摘要 ( 89 )

PDF(162KB) ( 441 )

相关文章 | 多维度评价

在网络编码研究中，线性编码技术已趋于成熟，但它有着需要大字符表且不适用于非多播网络的弱点，这推动了对非线性编码的研究。本文给出编码函数的新描述，在此基础上将非线性编码分成两类：证明了前者与线性编码等价，能从线性编码中构造出，且具有相同的编码能力;证明了后者的存在性。

VPN网络中的TCP性能改进方案

计算机科学. 2008, 35 (7): 70-74.

摘要 ( 92 )

PDF(279KB) ( 848 )

相关文章 | 多维度评价

随着网络规模的增大，数据的传输延迟和丢失概率也随之增大，进而对TCP传输造成了较大影响。针对此现象，本文提出基于VPN网关的快速重传机制，通过在VPN网络中引入隧道重传协议，降低点到点传输中TCP数据的丢失概率，并为TCP协议提供一条可靠的传输链路。实际的测试表明，网关上的快速重传机制可以有效减小数据的丢失概率，并由此提升TCP协议的传输性能。

基于区分服务的蛛网结构应用层多播模型

计算机科学. 2008, 35 (7): 75-77.

摘要 ( 69 )

PDF(262KB) ( 280 )

相关文章 | 多维度评价

提出一种高效的蛛网结构的应用层多播模型，该模型以环形结构为基础，具有混乱情况下自愈性强、传输数据速度快等优点；在数据转发时根据实际应用采取push或pull的策略，同时取消了分层多播模型中的层中控制节点，降低了结构的复杂性；并根据网络状况动态优化系统的拓扑结构。通过仿真试验得知，应用该模型的应用层多播其性能得到提高。

基于贝叶斯网络的入侵容忍系统

秦华旺戴跃伟王执铨

计算机科学. 2008, 35 (7): 78-80.

摘要 ( 86 )

PDF(189KB) ( 348 )

相关文章 | 多维度评价

提出一种基于贝叶斯网络的入侵容忍系统，给出系统的运行流程。用进程特性向量来表示一个具体的进程，并对进程特性进行具体的分类。提出利用贝叶斯网络模型来描述进程的运行过程，给出基于贝叶斯网络推理的进程类型概率值的计算公式，构造了用于确定进程危险程度的危险函数，并用实例说明了对入侵进程的具体识别过程。

P2P网络环境下的基于Vague集的抗攻击信任模型

陈旭日徐炜民沈文枫袁世忠

计算机科学. 2008, 35 (7): 81-83.

摘要 ( 91 )

PDF(234KB) ( 299 )

相关文章 | 多维度评价

由于P2P网络的信任机制经常受到恶意节点的欺骗和攻击，提出一种基于Vague集的抗攻击信任模型，用隶属度度量具有不确定信息的信任度，引入时间敏感系数和惩罚系数，处理资源提供者的直接反馈信息，用Vague集相似度量评价推荐节点的回馈信息，并给出该信任模型的实现方案和仿真实验。实验结果表明该信任模型能够抵御各类欺骗和攻击行为。

基于流量优化的包标记IP追踪策略研究

计算机科学. 2008, 35 (7): 84-87.

摘要 ( 94 )

PDF(237KB) ( 278 )

相关文章 | 多维度评价

传统的攻击源追踪方案在面对大规模DDoS攻击时，重构路径的收敛速度往往过慢。文中提出一种根据DDoS流量分布优化的随机包标记策略OMS（Optimized Marking Scheme），该策略通过在IP报头中插入控制信息，使标记包采样概率在攻击路径上随终点的距离递增，从而更远处的标记包能够以更高的概率到达终点。仿真试验的结果表明，OMS收敛速度较以往的方案有了明显的提高。

基于半环仲裁集的环网分布式互斥算法

计算机科学. 2008, 35 (7): 88-90.

摘要 ( 84 )

PDF(271KB) ( 489 )

相关文章 | 多维度评价

分布式互斥是环网分布式系统的重要问题。根据此类系统的特点，提出了新型的分布式互斥算法。该算法以请求者自身为中心，基于半环生成分布式互斥仲裁集；采用Lamport逻辑时戳保证消息的时序性；算法采用“探测”消息进行系统的容错处理。分析与仿真证明，该算法具有较低的消息复杂度、较短的响应延迟以及较好的容错性能。

分段处理的1／p概率字符串匹配

计算机科学. 2008, 35 (7): 91-95.

摘要 ( 73 )

PDF(310KB) ( 414 )

相关文章 | 多维度评价

现有的概率字符串匹配算法通过计算字符串之间的最小失配字符数（编辑距离），可求出字符串之间的相似度。这些算法平等地看待模式串和文本串，虽然可求出二者之间完整的编辑距离，但并不能解决以下问题：即判断是否模式串中至少有1／p的字符顺序地出现在文本串中。基于动态规划字符串匹配算法，提出了一个改进算法。该算法通过将字符串分段，在段内执行改进的概率匹配算法可求出段内的编辑距离，再结合回溯策略可以很好地解决上述问题。该算法的复杂性要低于基本动态规划匹配算法，且在某些情况下效率更高。就问题的一般性而言，该算法可广泛地应用

一种有效脱离平坦区的改进BP网络

计算机科学. 2008, 35 (7): 96-98.

摘要 ( 93 )

PDF(178KB) ( 287 )

相关文章 | 多维度评价

本文提出了一种新型权值调整规则，当神经元输出值接近于0或l时，确保足够的权值调整幅度，解决了标准BP（Back Propagation）网络在训练进入平坦区后难以摆脱，训练速度很慢的问题。并给出了利用单隐层BP网络逼近非线性函数的仿真实验，证实了新规则在训练速度上的优越性，得出新规则中控制因子的理想取值为0．95。

基于IP技术的智能监控系统研究

李育贤

计算机科学. 2008, 35 (7): 99-100.

摘要 ( 103 )

PDF(145KB) ( 308 )

相关文章 | 多维度评价

本文针对IP技术和控制技术相结合的发展趋势，提出了一种基于IP技术的智能监控系统构架的实现方法，讨论了该系统的构架原则和特点，设计了相应的监控装置的硬件实现方案，并进行了实验研究，对于开发一种具有较好开放性、灵活的扩展性和方便易用的网络监控技术作了有益的探索。

密码系统安全实现及其容侵机制的设计与分析

王玉柱廖晓峰

计算机科学. 2008, 35 (7): 101-102.

摘要 ( 101 )

PDF(208KB) ( 471 )

相关文章 | 多维度评价

本文分析了密码系统安全实现的动机、任务就及目标，并将容侵思想应用于系统的安全实现，提出了一种基于失败-停止协议的容侵机制的设计方法。

DNA计算在信息安全中的应用

刘汝正

计算机科学. 2008, 35 (7): 103-104.

摘要 ( 91 )

PDF(204KB) ( 344 )

相关文章 | 多维度评价

随着Internet的飞速发展，计算机技术的应用走进千家万户和大中小企业，开放的信息系统必然存在众多的安全隐患，信息安全防范备受关注，与此同时，新兴的智能计算方法的研究也逐渐被应用到信息安全防范中来。本文介绍了当前DNA计算方法在信息安全中的应用，阐述了其工作原理和特点，同时对DNA计算方法的发展进行了展望。

规划的形式表示技术研究

计算机科学. 2008, 35 (7): 105-110.

摘要 ( 87 )

PDF(361KB) ( 609 )

相关文章 | 多维度评价

智能规划是人工智能研究领域中的一个富有挑战性的课题。同时，智能规划问题具有广泛的实际应用背景。而自动规划问题面临的首要问题是规划问题的形式表示问题。本文系统地分析了情景演算，STRIPS，PDDL，HTN等各种规划形式表示技术，比较了各种形式表示技术的优缺点，并指出了进一步研究设计高效智能规划系统的方向。

基于生物实体分布感知的E-service工作流突现研究

计算机科学. 2008, 35 (7): 111-114.

摘要 ( 77 )

PDF(341KB) ( 294 )

相关文章 | 多维度评价

基于生物网络平台，提出了一种E-service工作流突现方法。生物实体（具有免疫行为的移动Agent）代理Eservice，构成一个自治的单元，通过分布感知确认服务关系，生物实体协商和演化完成了E-service工作流组合。采用服务相对质量的矩阵，准确地描述服务和工作流关系和E-service相对质量，最优E-service工作流组合的建立转化为带约束的最优化问题，并给出不带参数的罚函数动态演化算法解决方案。仿真表明，这种方法提高了适应性和性能。

MAS故障诊断系统中的任务分解与分配

严建峰李伟华

计算机科学. 2008, 35 (7): 115-118.

摘要 ( 93 )

PDF(267KB) ( 336 )

相关文章 | 多维度评价

多Agent系统的很多特点使其成功应用于故障诊断系统。为提高MAS故障诊断系统的通用性和智能性，首先分析了某型飞机的任务分解的层次结构，据此设计了任务分解的知识表示机制。其次应用了改进的合同网协议进行任务分配：重视利用任务分配经验知识，缩小任务招标的有效对象范围，对同一任务允许多种方法求解。在某型飞机故障诊断的应用中，该任务分配分解机制显示出较高的准确性和智能性。

TMR容错计算故障恢复技术研究

计算机科学. 2008, 35 (7): 119-121.

摘要 ( 62 )

PDF(202KB) ( 345 )

相关文章 | 多维度评价

提出了一种可伸缩的TMR容错计算系统结构，根据TMR系统出现故障的情况，详细研究了其故障恢复模型和恢复策略。通过综合采用向前和向后恢复方法有效减少了由于实现容错功能而对系统运行进程完成时间的推延并进行了定量分析和验证。

泛函网络神经元构造理论与方法

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

摘要 ( 83 )

PDF(250KB) ( 621 )

相关文章 | 多维度评价

泛函网络是近年提出的一种对神经网络的有效推广。与神经网络不同，它处理的是一般的泛函模型，它在各个神经元之间的连接没有权值，并且神经元函数不固定的，往往是一给定的基函数的组合，泛函网络学习的目的就是求出神经元函数的精确表达式或近似表达式。迄今关于泛函网络神经元基函数的存在性和选取方法缺乏理论依据。文中基于Banach空间中偏序理论，分析了泛函网络神经元基函数的存在性，给出了泛函网络神经元基函数选取方法，对于完善泛函网络的基础理论具有参考价值。

可拓检测在动态负载均衡策略中的应用研究

计算机科学. 2008, 35 (7): 126-128.

摘要 ( 74 )

PDF(265KB) ( 263 )

相关文章 | 多维度评价

在DNS动态负载均衡策略中，服务器负载状态的获取是控制的关键。现有的DNS负载均衡策略在状态获取的实时性、状态表示的合理性等方面都存在不足。针对这些不足，本文提出了一种新的动态负载均衡策略，把可拓检测技术的思想和模糊数学引入到负载均衡策略中，利用可拓学的物元、关联函数，可拓检测和模糊学的隶属度等概念来构建一个集群动态负载均衡策略模型。实验证明，在该策略模型中，利用可拓检测的思想来获取负载状态，能明显提高负载均衡策略的有效性、实时性、动态性和稳定性。

基于动静态组合特征参数的语音识别

王旭韩志艳王健薛丽芳

计算机科学. 2008, 35 (7): 129-132.

摘要 ( 244 )

PDF(230KB) ( 330 )

相关文章 | 多维度评价

基于语音信号的时变特性，本文提出了动静态特征参数结合的语音信号识别方法，首先在特征参数提取中引入了小波包变换，借助MFCC（Mel-Frequency Cepstrum Coefficient）参数的提取方法，用小波包变换代替傅立叶变换和Mel滤波器组，提取了新的静态特征参数DWPTMFCC（Discrete Wavelet Packet Transfori TlMel-Frequency Coefficient），然后把它与一阶DWPTMFCC差分参数相结合成一个向量，作为一帧语音信号的参数，通过试验和

基于动态多种群粒子群支持向量机的短期负荷预测

计算机科学. 2008, 35 (7): 133-136.

摘要 ( 73 )

PDF(314KB) ( 263 )

相关文章 | 多维度评价

针对标准粒子群优化（PSO）算法存在易陷入局部极值点的缺点，提出了一种基于物种概念的动态多种群粒子群优化算法（DMPSO）。在DMPSO中引入了物种概念，在进化过程中动态确定物种，利用种群多样性信息动态调整物种半径，通过物种对解空间的不同区域进行搜索，最终确定出各极值点。将DMPSO算法和支持向量机（SVM）相结合，形成了解决电力系统短期负荷预测问题的新方法（DMPSO-SVM）。在该方法中利用DMPSO算法来优化SVM中的参数，利用快速傅立叶变换（FFr）进行频谱分析并确定SVM的输入量。电力系统短期负

基于H．264的多模式自适应环路滤波算法

路文高新波曾凯邓勤耕

计算机科学. 2008, 35 (7): 137-141.

摘要 ( 90 )

PDF(338KB) ( 376 )

相关文章 | 多维度评价

传统基于块的视频编码系统在码率相对较低的视频编码时总会产生块效应现象。本文在详细分析了H．264环路滤波的基础之上，提出了一种基于多模式的快速环路滤波算法。该算法根据H．264中特有的编码信息，将图像块边界分为五种不同的滤波模式，针对每种模式的特点采用相应的滤波技术，并且利用图像的空间相关性提出了一种快速的边缘强度判别方法。实验结果表明，该算法降低了滤波过程的复杂度，在保持图像客观质量不变或略有降低的同时更好地降低了块效应，大大提高了图像的主观质量。

基于描述逻辑的目标推理研究

计算机科学. 2008, 35 (7): 142-144.

摘要 ( 62 )

PDF(182KB) ( 412 )

相关文章 | 多维度评价

描述逻辑（Description Logics，DLs）是近年来研究和发展最快的知识表示的形式化工具之一，具有强大的表达能力、可判定性等优点。本文将描述逻辑应用于主体研究领域中的目标表示和推理，充分利用其具有自动判断概念包含关系的有效推理功能，为主体提供目标推理工具。

一种改进的基于关系的信息检索技术

计算机科学. 2008, 35 (7): 145-150.

摘要 ( 66 )

PDF(365KB) ( 265 )

相关文章 | 多维度评价

有研究工作表明现有的基于关系的信息检索技术（RIR）优于基于项（term）或基于语义（concept）的IR技术，但仍存在显而易见的缺陷，即不能明确关系本身，只能表达概念A，B是存在关系的概念对。本文提出一种改进的基于关系的IR技术IRIR（Improved Relation-based Information Retrieval），就是要明确关系的取值和属性，整合概念对和关系的信息为三元组表达式（triple），通过以下匹配方法获取未知信息。对于文本中出现的知识表示为R（relation）[First

曲率共生矩阵识别三维目标

郭克华刘传才杨静宇

计算机科学. 2008, 35 (7): 151-152.

摘要 ( 66 )

PDF(189KB) ( 297 )

相关文章 | 多维度评价

对于形状区别不大的目标，传统的矩不变量、傅里叶描述子等方法的描述能力受到一些限制。利用曲率信息来表达曲面的固有特征，引入纹理识别中共生矩阵的思想，将共生矩阵的定义从灰度延伸到曲率，构造出曲率共生矩阵。通过对曲率共生矩阵的归一化，设计了一类与平移、尺度和旋转变换无关的不变量。实验表明，基于曲率共生矩阵的三维目标识别方法，和传统方法相比，在不增加运算时间的情况下，能够更好地对形状丰富的目标进行分类。

一种跨本体的语义相似度计算方法

计算机科学. 2008, 35 (7): 153-156.

摘要 ( 106 )

PDF(246KB) ( 366 )

相关文章 | 多维度评价

针对在广域分布环境下进行信息共享与服务的需要，本文设计了基于本体的元数据模型，并在MD3模型的基础上给出了一种基于该元数据模型的跨本体的语义相似度计算方法。MD3模型是一种系统的跨本体概念间相似度的计算方法，这种方法无需建立一个集成的共享本体。在MD3模型的基础上，充分利用本体对概念的描述信息，重点讨论了跨本体概念间非层次关系相似度的计算，把MD3模型扩展到MD4模型，使得概念间相似度的计算理论上更全面、更精确。

命令的指称语义在谓词域上的一种表示

计算机科学. 2008, 35 (7): 157-160.

摘要 ( 103 )

PDF(209KB) ( 349 )

相关文章 | 多维度评价

文中讨论了谓词转换器和状态转换器之间的对应关系，将谓词转换器作为命令的指称，刻画了IMP语言命令的指称语义，并证明与状态转换器形式的指称语义是等价的。

基于本体的决策模型冲突预测及协商研究

计算机科学. 2008, 35 (7): 161-165.

摘要 ( 53 )

PDF(307KB) ( 417 )

相关文章 | 多维度评价

依据模型知识的特性，定义了模型描述本体和任务求解本体，为模型提供语义支持。模型语义分为描述语义和行为语义。基于描述语义的相似性判定，模型可进行潜在冲突预测；然后根据任务求解本体的定义，模型通过行为语义交互，进行行为协商；而在执行过程中，模型需要为每一个操作申请资源，因此模型根据模型描述本体和描述语义对资源申请进行协商，从而得到互不冲突的操作执行序列，消除冲突。最后通过实验分析验证算法的有效性。

核子类凸包选样的核最近邻凸包分类器

计算机科学. 2008, 35 (7): 166-169.

摘要 ( 67 )

PDF(263KB) ( 333 )

相关文章 | 多维度评价

为了保证核最近邻凸包分类器有效地处理大训练集的应用问题，本文提出一种与该分类器相结合的核子类凸包样本选择方法。核子类凸包样本选择方法是一个类内迭代算法，该算法在核空间里每次迭代选择一个距离选择集样本张成子类凸包最远的样本。在Head Pose Image Database系列1图像集上的实验中，本文方法不但可以取得较高的识别率，而且与未经选样的核最近邻凸包分类器相比，其执行速度要快许多。

一种基于分类的关联规则研究

王勇张伟

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

摘要 ( 79 )

PDF(187KB) ( 325 )

相关文章 | 多维度评价

传统的Apriori关联法则算法必须经过大量反复的数据库扫描才能产生候选项集，效率较低。提出一个改进的CBA（Classification Based Apriori）算法。此算法仅需扫描数据库一次，将数据库经过预处理后，再将事务数据库进行分类并保存分类结果，比较时可以不与所有事务记录进行比较，从而减少扫描数据库的次数与比较时间，且又能确保挖掘结果的完整性与正确性。

二值文本分类中基于Bayes推理的特征选择方法

计算机科学. 2008, 35 (7): 173-176.

摘要 ( 67 )

PDF(228KB) ( 376 )

相关文章 | 多维度评价

针对二值文本分类算法中的特征选择问题，本文提出了基于贝叶斯推理的评估函数算法来替代常用的、以IG或MI为评估函数的算法；同时，提出了以评估函数值的累计贡献率表示置信度，并以此确定特征选择维度的可量化的方法。对比实验显示，本文提出的新方法具有简便易行、高效实用的优点，此算法不仅对文本分类问题，对其它各类二值分类问题中的特征选择方法研究也都具有很好的参考、借鉴价值。

基于推理信息的本体模块化方法

方俊郭雷王晓东

计算机科学. 2008, 35 (7): 177-180.

摘要 ( 227 )

PDF(271KB) ( 307 )

相关文章 | 多维度评价

本体模块化在本体推理和复用等应用中有着极为重要的作用。怎么样将本体划分成小的模块是最基本的问题，目前本体模块化的工作主要集中在本体复用的目的上。在这篇文章中，我们提出了一种基于推理信息的本体模块化方法，该方法以提高推理的性能为目的。在基于同一最小推理集合内的公理之间内聚性将会增强的合理假设下，我们的模块化方法通过分析每次推理的过程，得到推理的最小推理集合，然后增强最小推理集合内公理’之间的内聚度，最后根据内聚度将本体划分成模块。在评估阶段，我们首先使用训练公理划分本体，然后通过测试公理来调查本体推理性能提

基于语义的个性化用户兴趣模型

计算机科学. 2008, 35 (7): 181-184.

摘要 ( 99 )

PDF(264KB) ( 263 )

相关文章 | 多维度评价

探讨了主动服务和个性化服务，给出了以主要特征词描述语义的用户访问历史的表示方法，建立了动态的用户兴趣模型。用户的兴趣模型表示为二层，上层是基于类兴趣的用户模型，下层是基于主要特征词兴趣的类模型。上层描述用户对各个类的兴趣度，下层描述用户对各类中的主要特征词的兴趣度。在建模过程中，通过启发式规则限制模型维度，通过行权重实现最近最新优先。

认知描述逻辑ALCKR＋：描述逻辑的一个非单调扩展

曹逸徐德智王建新

计算机科学. 2008, 35 (7): 185-187.

摘要 ( 84 )

PDF(172KB) ( 278 )

相关文章 | 多维度评价

描述逻辑是语义Web的逻辑基础，是形式化表达领域知识的工具。但是描述逻辑只能表达单调推理，不能处理不完全知识。认知描述逻辑因其非单调特性和良好的时间复杂度等特点在处理不完全知识方面有较好的优势。本文在认知描述逻辑ALCK的基础上提出了新的认知描述逻辑语言ALCKR＋，保留了描述逻辑原有的优点，加入传递角色属性，增强了表达能力，并通过认知查询拥有了非单调推理的能力。设计了ALCKR＋的语法、语义以及表算法。

基于DE的浮点数编码自适应进化算法研究

崔明义

计算机科学. 2008, 35 (7): 188-190.

摘要 ( 115 )

PDF(151KB) ( 292 )

相关文章 | 多维度评价

DE自问世以来，一直是进化计算研究的热点。DE有着良好的搜索特性、较强的鲁棒性和较高的微调能力。而浮点数编码在提高算法性能和运算质量，将进化算法应用于工程优化领域中有着其它编码所不能比拟的优势。本文将DE与浮点数编码的进化计算相结合，提出了基于DE的浮点数编码自适应进化算法。经过分析和实验，验证了本算法在搜索性能上是可靠的，方法是可行的，在工程优化中具有较强的实用性。

基于Pi-演算的工作流模式描述

计算机科学. 2008, 35 (7): 191-194.

摘要 ( 71 )

PDF(227KB) ( 580 )

相关文章 | 多维度评价

工作流模式包含了业务流程的基本特征和共性，其实现依赖于具体的流程建模语言或方法。Pi-演算是一种进程代数，可以应用于业务流程的形式化建模。本文使用Pi-演算作为业务流程形式化的工具，对存在多种BPMN表示的工作流模式进行形式化建模，以探究工作流模式Pi-演算的描述，检验Pi-演算对业务流程行为特征的表现能力。

最小一乘聚类中心模型及算法

计算机科学. 2008, 35 (7): 195-196.

摘要 ( 59 )

PDF(88KB) ( 281 )

相关文章 | 多维度评价

本文首次提出最小一乘聚类中心的数学模型，对于不可微目标函数推导了最优解的条件，同时构造了最小一乘聚类中心的逼近点列，给出了相应的算法，并研究了一个不带类别标记的两类分类问题。最后讨论了最小一乘聚类中心能抵御样本中噪声的数学机理，并通过例子说明了此方法的有效性。

网格环境中动态资源映射算法的研究

余建桥廖剑伟

计算机科学. 2008, 35 (7): 197-198.

摘要 ( 66 )

PDF(200KB) ( 296 )

相关文章 | 多维度评价

提出了基于任务加权相容图的网格环境中资源动态映射算法，通过在任务的执行过程不断将任务分配到相应的资源中，并动态调整加权相容图直至所有任务完成。通过仿真实验比较，该算法不论是在任务数不断变化的情况下，还是资源不断变化的情况下都能达到较好的效果。

基于Vague集相似度量的股票选择

计算机科学. 2008, 35 (7): 199-201.

摘要 ( 80 )

PDF(250KB) ( 402 )

相关文章 | 多维度评价

选择具有投资价值的股票是股市投资者面临的现实问题，价值发现型的投资理念迫切需要科学的股票选择方法与之相对应。本文基于Vague集相似性度量提出一种价值型股票投资的选择方法。用Vague集核属性构建价值型股票评价体系后，使用本文提出的Vague集相似性度量方法挑选出与目标预期相符的股票。本文的方法对于投资者选择适合投资的股票具有现实意义。

基于数字签名的DNA篡改提示方法研究

李光王亚东苏小红李霞

计算机科学. 2008, 35 (7): 202-205.

摘要 ( 76 )

PDF(249KB) ( 366 )

相关文章 | 多维度评价

为有效发现DNA数据是否被恶意篡改，保证研究者所使用的DNA数据是真实可靠的，即未经过篡改的，本文提出一种基于数字签名的DNA数据篡改提示方法，用向原有信息中加入数字签名的方法来解决该问题。设计了一整套加入、检测以及滤除签名的方法。该方法将数字签名嵌入DNA序列，在使用前通过校验数字签名来发现DNA是否篡改，以便给出篡改提示。实验表明，该方法可以有效发现篡改者对序列的恶意篡改，而且经添加签名后的序列与原始序列有一定的相似性，不易引起篡改者的注意。

基于概念级语义的图像描述与识别

计算机科学. 2008, 35 (7): 206-212.

摘要 ( 72 )

PDF(514KB) ( 820 )

相关文章 | 多维度评价

由于计算机自动提取的图像视觉特征与人所理解的图像内容存在巨大的差异，传统的低层的视觉特征（如颜色、纹理、形状等）CBIR（Content-Based Image Retrieval）系统的检索结果往往不尽如人意。近年来，根据概念级语义（如男孩、高兴、浪漫等）的CBIR引起了研究者的重视。本文对CBIR领域的大量文献进行了深入的分析，从工程角度综述了图像概念级语义的描述模型、概念级语义特征提取和概念级语义图像检索问题的研究进展，并阐述了作者的一些观点。

基于量子进化规划核聚类算法的图像分割

缑水平焦李成田小林

计算机科学. 2008, 35 (7): 213-215.

摘要 ( 103 )

PDF(247KB) ( 355 )

相关文章 | 多维度评价

基于量子计算的并行性、进化计算简单、通用性好等优点，采用量子编码构造进化算法的染色体种群，再将二者引入到核聚类中来，提出了一种基于量子进化规划的核聚类算法。该算法充分利用了量子态的叠加性以及量子比特的概率表示，能够表示出许多可能的线性叠加状态，具有更好的种群多样性，因此将其用于解决核聚类算法中目标函数的优化问题，可以有效克服传统进化算法收敛速度慢以及早熟等问题。对Brodatz纹理图像及SAR图像进行分割，仿真实验结果表明该算法可以较好地改善图像分割效果。

基于频度中心理论的三维模型简化方法

付鑫陈睿唐雁

计算机科学. 2008, 35 (7): 216-218.

摘要 ( 85 )

PDF(194KB) ( 383 )

相关文章 | 多维度评价

针对三维模型传输技术中的模型简化问题，以边收缩算法思想为基础，应用网络节点频度中心理论（Degree Centrality），提出并实现了一种保持几何封闭性的模型简化方法。该方法能在保证简化模型逼真度的同时较好地保持模型的几何封闭性，避免孤立面的产生，并且生成了渐进网格文件，为模型提供了连续多分辨率的模型重建。实验证明了该方法的有效性。

基于当前基线垂直落差最大化的凸壳递归新算法

计算机科学. 2008, 35 (7): 219-223.

摘要 ( 76 )

PDF(370KB) ( 293 )

相关文章 | 多维度评价

本文依据同构化凸壳构造基本定理，率先发现并证明了凸壳顶点的分布域性态与垂直落差特性；首次给出当前基线垂直落差最大化的二维点集凸壳算法构造创新思想，提出了比迄今最优秀凸壳算法之一的快凸壳算法效率更高的、基于当前垂直落差最大化的凸壳递归新算法，指出了它具有进一步改造为并行算法的潜力。该新算法的主要特点是：1）找出初始点分布域的所有最外点（其个数，下限为3，上限为8），作为所求凸壳的初始顶点。2）a4除这些最外点所构成最外点凸多边形（其边数，下限为3，上限为8）所覆盖的凸壳内点后，把所剩点分布域，分为若干个初始

基于自适应混合差分的快速视频目标检测法

石时需郑启伦黄翰

计算机科学. 2008, 35 (7): 224-226.

摘要 ( 81 )

PDF(189KB) ( 436 )

相关文章 | 多维度评价

目标检测是视频跟踪过程一项重要的处理技术。目前，国内外常用主流的目标检测方法有基于统计的方法和差分法。基于统计的方法（如GMM等算法）计算量较大，而且不适用于快速移动的刚性物体分析；差分法容易造成跟踪对象重叠部分的较大空洞，造成分割结果不连通，而且大多需要人工给定参数阂值。本文针对以上方法的不足，提出了一种适用于分析快速移动刚性物体的目标检测方法：自适应差分法。新方法采用了混合差分策略提高了对象分割质量，并用高斯初始化策略实现了阂值的自适应选取。实验结果表明：自适应差分法比GMM算法、相邻差分法和间隔差分

一种基于光流和能量的图像匹配算法

云挺肖亮吴慧中

计算机科学. 2008, 35 (7): 227-230.

摘要 ( 101 )

PDF(264KB) ( 464 )

相关文章 | 多维度评价

结合光流与图像信息，提出一种获取稠密视差的图像匹配算法。首先对于基线较大的左右图像，在多分辨率框架下采用由粗到精的策略计算光流，从而实现大偏移量时的光流获取。其次为了避免光流在图像边界上的不可靠性，通过光流计算所得的光流场作为初始视差图，采用基于能量的方法依据对应的图像梯度场对光流场内部进行平滑并保持边缘的不连续性，最终得到精准稠密的视差图。实验验证，该方法是一种行之有效的图像匹配算法。

基于预测的自适应边缘检测新方法

王坤片兆宇高立群郭丽

计算机科学. 2008, 35 (7): 231-233.

摘要 ( 87 )

PDF(278KB) ( 540 )

相关文章 | 多维度评价

图像的边缘是图像最基本的特征之一，边缘检测是提取图像特征的重要手段。首先利用梯度调节预测器（Gradient Adjusted Predictor：GAP）对图像进行预测，然后针对预测得到的误差图像，提出了一种基于梯度均值直方图的自适应阈值选取方法，利用得到的闺值来分类边缘与非边缘；为了获得单像素边缘，利用细化算法对边缘图像进一步细化，得到最后的边缘图像。仿真结果表明，与其它方法相比，本文方法检测到的边缘边界特征细腻、连续，定位精度较高，得到的实验结果比较理想。

基于小波不变矩的医学图像配准技术研究

计算机科学. 2008, 35 (7): 234-236.

摘要 ( 173 )

PDF(172KB) ( 323 )

相关文章 | 多维度评价

图像配准是对取自不同时间、不同传感器或不同视角的同一场景的两幅图像或者多幅图像匹配的过程，是图像融合、目标探测识别和计算机视觉等技术的重要基础，主要用于消除来自不同传感器的图像中目标的位置差异。提出了一种新图像匹配算法，新算法以提升格式小波变换为基础，利用图像多级小波分解后近似分量的轮廓相似性进行图像的快速配准。实验结果表明，新方法高效精确。

基于FCFS和SOFS的供方主导型供应链订单管理模型与算法研究

计算机科学. 2008, 35 (7): 237-240.

摘要 ( 80 )

PDF(281KB) ( 260 )

相关文章 | 多维度评价

本文提出了供应链订单管理问题的供方主导型重要概念，分析了供方主导型供应链订单管理基本特性，研究了先来优先式和小单优先式供方主导型供应链订单管理策略、模型，给出了多个基于先来优先式和小单优先式单供方、多供方主导型供应链订单管理算法，提出了订单管理的等差划分、变差划分新方法。

LTL公式到自动机的转换

计算机科学. 2008, 35 (7): 241-243.

摘要 ( 257 )

PDF(192KB) ( 729 )

相关文章 | 多维度评价

在LTL公式和自动机理论的基础上，给出了一种从LTL公式到自动机的转换算法。该算法先简化LTL公式，然后再对简化的LTL公式转换，形成选择Buchi自动机。此算法与其他算法相比，具有可扩展性的优点，可以在此基础上形成属性描述语言PSL向自动机的转换。

基于智能手机的视频共享系统的设计与实现

计算机科学. 2008, 35 (7): 244-246.

摘要 ( 82 )

PDF(272KB) ( 310 )

相关文章 | 多维度评价

介绍了一种基于Symbian智能手机的视频共享系统。智能手机将拍摄的视频内容压缩后通过无线信道上传到服务器，其它智能手机可以从该服务器上下载上传的视频内容，或者以流的方式进行实时解码播放。本文阐述了该系统的整体结构，重点介绍了客户端软件的设计与实现，包括Symbian平台上H．264视频编解码器以及视频传输模块的实现；实现了一个原型系统，并给出系统性能的测试结果。该系统的现实意义在于充分利用移动通信优势来满足人们视频应用的需求，使得人们相互间可以方便地共享身边的场景。

川南石刻图像模板匹配方法研究

李雅梅吴中福

计算机科学. 2008, 35 (7): 247-249.

摘要 ( 78 )

PDF(257KB) ( 278 )

相关文章 | 多维度评价

本文以四川南部地区南宋墓葬石刻艺术图像为切入点，提出石刻图像模板匹配的方法，重点讨论石刻图像模板匹配的具体方法与流程，以及匹配过程中需要解决的几个关键技术性问题，最后通过仿真实验证明了该方法的有效性，并指出进一步的研究方向。

一种基于内容的图像检索方法

计算机科学. 2008, 35 (7): 250-251.

摘要 ( 73 )

PDF(179KB) ( 264 )

相关文章 | 多维度评价

提出了一种基于区域对象特征建立图像内容索引的检索方法，为研究和实现对象级的基于内容图像检索（CBIR．Content Based Image Retrieval）提供了途径。由于区域对象的特征利用不变矩进行描述，检索方法具有二维的平移、尺度、旋转不变性。由于匹配时采用了非几何相似度度量准则，检索结果更符合视觉感知。

一种基于决策树的快速关联规则挖掘算法

陈雪飞

计算机科学. 2008, 35 (7): 252-254.

摘要 ( 76 )

PDF(205KB) ( 744 )

相关文章 | 多维度评价

本文对关联规则的挖掘问题进行了深入研究。在总结现有算法优缺点的基础上，提出了一种新的基于决策树的快速关联规则挖掘算法（RABDT），结合决策树的构造过程，给出了算法的原理和实现步骤，并通过实验对比验证了算法的有效性。

快速傅里叶变换的DSP实现及代码优化

楼天良

计算机科学. 2008, 35 (7): 255-256.

摘要 ( 148 )

PDF(184KB) ( 505 )

相关文章 | 多维度评价

介绍了时间抽取基2FFT算法的基本原理和特点，并详细分析了FFT算法的DSP实现及程序优化，最后采用MATLAB软件对算法进行了仿真。仿真结果证明，该方法具有精度高、运算速度快等特点。

基于着色时间Petri网的实时系统的形式验证

计算机科学. 2008, 35 (7): 257-260.

摘要 ( 255 )

PDF(243KB) ( 441 )

相关文章 | 多维度评价

嵌入式实时系统多数应用在安全性要求较高的场合，因此需要保证系统的正确性。复杂性不断增加的实时系统迫切需要在系统开发早期引入形式化分析技术来验证系统的期望性质。时间Petri网是有严格数学基础的图形表达工具，适合对实时系统建模；时间自动机（Timed Automata，TA）有成熟的验证工具，被广泛用于实时系统的模型检验和验证。本文提出一种基于着色时间Petri网（Colored Time PetriNet，CTPN）的实时系统的验证方法，用CTPN对带有控制流和数据流的实时系统建模，通过转换规则将CTPN

基于抽象解释的Prolog程序验证技术研究

计算机科学. 2008, 35 (7): 261-268.

摘要 ( 83 )

PDF(474KB) ( 277 )

相关文章 | 多维度评价

作为一种通用的语义近似理论，抽象解释已广泛应用于各类程序的形式化验证中。现有基于抽象解释的逻辑程序验证技术未涉及与程序点相关联的程序性质的验证，设计能够描述此类性质的逻辑程序具体语义和抽象语义是构造相应验证工具的关键。本文给出了一种基于抽象解释的Prolog程序验证方法，该方法采用了具有路径信息的Prolog语义及其抽象作为语义基础，因而可用于验证与程序点相关联的程序特性。本文例子表明了该验证方法的有效性。

构造基于构件依赖关系矩阵的元数据模型

计算机科学. 2008, 35 (7): 269-273.

摘要 ( 76 )

PDF(264KB) ( 441 )

相关文章 | 多维度评价

构件集成到应用环境中实施集成测试时，会与其它构件产生相应的依赖关系。本文在对这些依赖关系进行概述的基础上，给出了构件直接依赖图、构件间接依赖图和构件依赖图的定义，并依据这些定义，提出了构件依赖矩阵（CmDM）的概念，用以描述构件G与构件系统中其它构件之间的依赖关系，接着进一步定义了复杂依赖关系矩阵（CmDDM），用以对依赖关系矩阵（CmDM）进行更为详细的描述。对依赖矩阵方法在回归测试、构件变更处理和软件重用的应用方法进行了形式化的描述，进一步将基于依赖关系矩阵的方法应用于学校内部开发的构件Registe

带数组和循环的路径测试数据自动生成技术研究

陈继锋

计算机科学. 2008, 35 (7): 274-276.

摘要 ( 73 )

PDF(178KB) ( 247 )

相关文章 | 多维度评价

提出了一种新的带数组和循环的路径测试数据自动生成的方法。该方法只考虑数组中与路径中谓词函数有关的数组元素，将循环中的同一变量名在每一次执行时用不同的变量参数来替代，从而较好地解决了路径中数组循环有效处理的问题。为有效、简单地自动生成测试数据，建立了谓词函数关于输入变量的线性约束系统。当谓词函数为线性表达式时，不需要计算其线性算术表示，仅计算非线性函数谓词函数的线性算术表示，且不需计算路径中的谓词片和确定输入依赖集，以及构造谓词函数关于输入变量增量的线性约束系统。理论分析和实例验证该方法具有简单、直观、有效

一个异常传播分析工具的设计与实现

计算机科学. 2008, 35 (7): 277-279.

摘要 ( 65 )

PDF(208KB) ( 285 )

相关文章 | 多维度评价

异常处理是一种用来检测异常并对其进行处理的技术，异常传播改变程序原来的执行路线，从而可能改变程序中的数据流、控制流和各种成分的依赖关系。在进行程序分析时，如果不考虑异常传播对其造成的影响，则得到的信息将是不准确的。本文设计并实现了一个分析C＋＋程序中异常传播分析工具CE Tool。该工具可以有效地分析c＋＋程序的异常传播，它既可以获得异常处理结构的局部信息，也可以获得异常处理结构的全局信息，这对于有效地分析异常的传播，分析异常传播路径，以及改进异常处理结构都有很大的帮助。

一种有效的大规模XML数据发布系统中订阅管理方法

计算机科学. 2008, 35 (7): 280-282.

摘要 ( 64 )

PDF(187KB) ( 267 )

相关文章 | 多维度评价

随着Internet上XML文档传输量的激增，有效地订阅管理成为整个订阅／发布系统的关键技术之一。把用户海量的订阅条件聚集到一个较小的集合上，这是系统大规模和高效性的要求。对基于XPath树模式的订阅聚集进行系统分析，定义了树模式间的祖孙、包含等语义关系，给出了一个新颖的、优化的树模式包含算法。研究成果能被扩展到XML查询处理等领域。

基于多核处理器并发计算软件构架设计与实现

计算机科学. 2008, 35 (7): 283-285.

摘要 ( 73 )

PDF(202KB) ( 319 )

相关文章 | 多维度评价

目前在诸多IT应用领域中，对处理器芯片的实时并发处理能力的要求越来越高，促使多核处理器芯片以及以多核处理器为核心的高性能应用系统迅猛发展。本文提出的基于异构多核处理器系统在高性能并发处理应用中的三层软件构架，充分利用了异构处理器的多核结构，为并发处理应用进行加速；同时，该构架大大简化了畀构多核平台的应用开发编程。该软件构架的有效性在基于Cell处理器平台的面向电信应用的语音会议原型系统中得到了初步试验验证。

基于Web的形式化方法工具RRTChecker的研究与设计

计算机科学. 2008, 35 (7): 286-287.

摘要 ( 68 )

PDF(205KB) ( 263 )

相关文章 | 多维度评价

形式化方法工具通常是在UNIX/Linux系统下设计开发的，难于使用阻碍了形式化方法的进一步推广。本文针对形式化方法RAISE，提出了一种研究和开发基于Web的工具的方法。该方法以原有的RAISE工具为基础，通过Shell管道拦截技术、ASP技术、ActiveXDLL技术及路径重写技术，将工具的所有功能集成整合到统一的、用户友好的Web界面上，用户可通过鼠标在浏览器中进行不同的操作。原有的RAISE工具的所有功能，在基于浏览器的集成化工具中得到全面支持。该方法也为开发其它形式化方法基于Web的工具提供了新

基于模糊逻辑的智能股票投资模型

邬保明

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

摘要 ( 335 )

PDF(289KB) ( 447 )

相关文章 | 多维度评价

模糊数学已经被大量地应用于工业控制，本文根据证券市场上投资者的思维过程与模糊逻辑的相似性，尝试把模糊学引入股票市场投机行为的控制，模拟股票市场上投资者的股票买卖行为，旨在探索一种基于模糊逻辑的自动股票投机和投资逻辑，可以为股票软件开发提供理论依据和逻辑模型，建立在模糊逻辑基础上的股票软件可以引导投资者避免追涨杀跌，从而有利于股市稳定而健康地发展。

一种基于移动Agent的分布式信息检索优化模型

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

摘要 ( 78 )

PDF(208KB) ( 242 )

相关文章 | 多维度评价

本文以移动agent在信息检索系统中为应用背景，设计了基于多移动agent的分布式信息检索优化模型。在模型的求解过程中，提出了求解的启发式策略，以寻找使总的检索时间最小的路由。目标是获得在一次信息检索中的通信、处理资源耗费最小的优化结果。并和其它启发式策略进行了比较，以达到优化的目的。

MD5算法研究

计算机科学. 2008, 35 (7): 295-297.

摘要 ( 275 )

PDF(170KB) ( 1023 )

相关文章 | 多维度评价

随着网络技术的迅速发展，信息加密技术已成为保障网络安全的一种重要手段，加密算法已经成为人们的一个研究热点。本文对MD5算法进行了深入研究，介绍MD5算法的产生背景、应用及其算法流程，并提出了MD5算法的一个改进方案。

基于FLEX技术构建可离线Web应用程序的研究与实现

潘大四

计算机科学. 2008, 35 (7): 298-300.

摘要 ( 94 )

PDF(311KB) ( 284 )

相关文章 | 多维度评价

随着web应用程序复杂性越来越高，传统的web应用程序开始逐渐不能满足web浏览者全方位的体验需求。RIA（Rich Internet Application，富网络应用系统）技术将客户层的设计从以页面为中心提升到以组件为中心，从而改进了客户端程序的设计。本文在研究RIA及Macromedia Flex技术基础上，提出如何构建可离线工作的web应用程序。实际项目证明利用本地存储数据使浏览者可以在明确脱机、低带宽或连接时断时续的情况下高效地工作，同时可提高系统的响应速度，减少用户的等待时间。