计算机科学

徐文拴辛运帏卢桂章

计算机科学. 2007, 34 (11): 1-5.

摘要 ( 133 )

PDF(351KB) ( 751 )

相关文章 | 多维度评价

当前，普适计算已经成为计算机科学中一个极具活力和影响力的研究领域。普适计算环境规模很大并且具有高度异构性，如网络架构的异构性、硬件平台的异构性、操作系统的异构性、应用服务的异构性等，而普适计算中间件技术可以解决异构性和跨平台特征，提供不同服务的集成应用，因此成为普适计算中的一个研究热点。基于此，本文对于目前国外关于普适计算中间件技术的研究现状做了一个总结；通过分析和比较，给出了普适计算中间件的设计原则；探讨了普适计算中间件技术的未来发展方向。

分布式安全存储技术

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

摘要 ( 123 )

PDF(484KB) ( 551 )

相关文章 | 多维度评价

迅速增加的敏感数据迫使企业更加重视存储系统的安全性。本文详细地讨论了分布式安全存储系统所提供的安全服务，并对这些安全服务进行了比较，为企业安全存储系统的设计和构建提供有益的帮助。

企业服务总线研究综述

谢继晖白晓颖陈斌肖思南

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

摘要 ( 273 )

PDF(402KB) ( 719 )

相关文章 | 多维度评价

企业服务总线（Enterprise Service Bus，ESB）结合事件驱动技术，提出了一种新的服务连接架构，以实现服务间基于标准、松散耦合的通信方式，为基于服务的系统集成和扩展提供了更有效的支持。本文首先介绍了ESB的基本概念，然后从消息机制、消息转换、消息路由、服务容器四个方面分析了ESB核心功能组件，讨论和比较了当前主要的ESB软件产品和开源项目。ESB技术尚处在发展初期，本文分析了ESB研究目前存在的主要问题以及今后研究方向。

分布式动态更新支持系统：研究综述

计算机科学. 2007, 34 (11): 19-25.

摘要 ( 374 )

PDF(530KB) ( 441 )

相关文章 | 多维度评价

一些服务于关键应用领域、提供持续服务的分布式系统软件需要不断地进化，以修正软件故障、扩展服务功能、提高系统性能，从而产生动态更新的需求，即保证不中断系统服务的同时实现对系统功能的更新。由于分布式系统本身的复杂性，使得其上的动态更新比较复杂，一般需要做的工作包括：在适当的时候自动产生和传递更新消息；透明地实施更新、验证更新的合法性、一致性并处理非法更新下的容错问题；支持多版本节点之间的交互；对更新期间滞留的消息进行处理。本文围绕支持动态更新分布式系统的相关工作，从一般需求、功能目标、需要解决的关键问题、现有

有界Petri网的最小化化简

计算机科学. 2007, 34 (11): 26-28.

摘要 ( 112 )

PDF(220KB) ( 502 )

相关文章 | 多维度评价

给出了Petri网的语言等价性概念和有界Petri网的最小化概念；证明了有限状态自动机、有界Petri网、正规文法的等价性，给出了它们之间等价转换的算法；分析了有界Petri网的化简过程，并给出了有界Petri网最小化化简的算法，为有界Petri网的自动化化简提供了方法。

Mesh网络耐故障虫孔路由

段新明杨愚鲁

计算机科学. 2007, 34 (11): 29-31.

摘要 ( 140 )

PDF(180KB) ( 556 )

相关文章 | 多维度评价

耐故障是互连网络设计中的一个重要问题。本文提出了一种新的耐故障路由算法，并将其应用于使用虫孔交换技术的Mesh网络。由于使用了较低的路由限制，这一算法具有很强的自适应性，可以在各种不同故障域的Mesh网络中保持路由的连通性和无死锁性；由于使用了最小限度的虚拟通道，这一算法所需的缓冲器资源很少，非常适宜构建低成本的耐故障互连网络；由于根据本地故障信息进行绕行故障节点的决策，这一算法的路由决策速度较快并且易于在互连网络中实现。最后网络仿真试验显示，这一算法具有良好的平滑降级使用的性能。

一种超节点P2P网络中基于语义的协同缓存管理机制

计算机科学. 2007, 34 (11): 32-36.

摘要 ( 108 )

PDF(465KB) ( 522 )

相关文章 | 多维度评价

超节点P2P（Super-peerP2P）结合了P2P结构和C／S结构的优点，是当前应用最广的一类P2P系统。在超节点P2P网络中，文件访问是最基本的操作，往往使用缓存技术来提高其操作效率。目前大多数超节点P2P网络使用传统的“尽力而为”的缓存机制，该机制没有区分超节点网络中不同节点对资源的需求及关注程度不同，导致偶尔访问的对象替换经常访问的对象。针对“尽力而为”缓存机制的不足，本文提出一种基于语义信息的协同缓存管理机制SCOCM（Semantic-based Cooperative Cache Mana

AIMD组播拥塞控制在卫星IP网络中的性能分析及改进

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

摘要 ( 156 )

PDF(283KB) ( 567 )

相关文章 | 多维度评价

基于AIMD的组播拥塞控制算法由于采用了与TCP类似的拥塞控制策略，可以实现TCP友好性，因而在组播传输协议中得到了广泛应用。为了分析卫星网络长延时、高误码率特性对AIMD组播拥塞控制算法的影响，本文采用一种基于马尔可夫随机过程的理论模型，把拥塞发现时刻的拥塞窗口值作为马尔可夫链的状态；根据该理论模型，推导了系统吞吐量与卫星网络各种参数的关系式，从而分析了基于AIMD的组播拥塞控制算法在卫星网络中的性能。在此基础上，提出了采用接收者分组的方法来提高系统吞吐性能的改进方案，并对不同信道条件下的最优分组数量以

基于有环因子图的密度进化理论分析

童胜勤邓勇强

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

摘要 ( 184 )

PDF(161KB) ( 643 )

相关文章 | 多维度评价

密度进化理论是分析低密度校验码的迭代译码性能的有效工具。本文在对密度进化理论进行研究的基础上，探讨了基于有环因子图的密度进化方法。首先讨论了有环因子图中环存在的情况，得到了环存在的概率表达式。然后研究了迭代译码算法中误码率的进化情况，在加入环存在对译码的影响因素后得到了迭代译码中误码率的进化表达式。在对该式讨论中，获得了有环情况下密度进化对信道奈件的要求，即译码门限。本文的研究表明，在考虑因子图中存在环的情况下进行密度进化分析时，其获得的译码门限要低于不考虑环存在的情况。

一种主动网络管理系统结构模型的研究

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

摘要 ( 99 )

PDF(256KB) ( 409 )

相关文章 | 多维度评价

随着网络规模的不断扩大，为了提高网络的可靠性和管理水平，需要进一步改进原有的网络管理的体系结构。而基于SNMP协议的传统网络管理体系已不能适应规模日益扩大网络的需要。本文讨论了一种基于节点的主动网络管理框架体系，分析了该模型的结构、管理机制和设计要点，并对网络拓扑发现和流量进行了分析。

IPv4／IPv6网间的SIP通信的解决方案

李献礼

计算机科学. 2007, 34 (11): 47-49.

摘要 ( 149 )

PDF(204KB) ( 899 )

相关文章 | 多维度评价

在分析SIP协议和的IPv4／IPv6转换机制的基础上，提出了一种应用层网关与NAPT-PT相结合的解决方案并且实现了在不改动终端和原有设备的情况下实现了异类网之间SIP通信。

网络组合攻击建模方法研究进展

毛捍东陈锋张维明朱承

计算机科学. 2007, 34 (11): 50-55.

摘要 ( 142 )

PDF(536KB) ( 662 )

相关文章 | 多维度评价

在实际的计算机网络中常常存在各种各样的脆弱性，攻击者常常利用这些脆弱性逐步入侵，最终达到攻击目标。对这种网络组合攻击进行建模的研究有利于网络安全的防护者对网络的安全状态进行安全评估和采取合理的安全措施。网络组合攻击建模方法经历了从小型网络建模向中大规模网络建模的发展，由手动建模向自动化建模的方向发展，由自然语言建模向形式化语言建模方向发展。本文总结了目前网络组合攻击建模框架及其关键技术，并对关键技术的发展现状做了介绍，最后展望了未来的发展趋势。

一种有效的匿名分析算法

计算机科学. 2007, 34 (11): 56-57.

摘要 ( 111 )

PDF(183KB) ( 420 )

相关文章 | 多维度评价

匿名是保护用户隐私的主要方法。当前的研究主要集中在设计具体匿名方案，较少涉及如何评估匿名机制的匿名性。本文根据匿名与不可关联性具有紧密的关系，设计了一套完备的匿名性推理系统，在此基础上给出了匿名分析算法。该算法能够发现隐藏的匿名漏洞，有效地评估现有匿名机制的安全性，并为设计一个新的匿名保护方案提供支持。

差分功耗分析单片机DES加密实现的旁路攻击

陈开颜赵强褚杰邓高明

计算机科学. 2007, 34 (11): 58-61.

摘要 ( 395 )

PDF(259KB) ( 478 )

相关文章 | 多维度评价

在研究DPA的原理和方法、分析CMOS芯片工作时功率消耗原理的基础上，完成了对DES加密算法的DPA攻击的仿真实现，并对运行在AT89C52单片机上的DES加密程序进行DPA攻击实验，在10^6个明文样本的条件下，成功获得了DES第16轮加密的48位密钥。在验证仿真方法正确性的同时进一步证明了DES加密实现面对DPA攻击的脆弱性。

基于动作检测的交互模式研究与应用

杨锦平侯紫峰

计算机科学. 2007, 34 (11): 62-63.

摘要 ( 116 )

PDF(220KB) ( 446 )

相关文章 | 多维度评价

目前的大屏幕显示设备一般为用户提供间接的交互模式，因为交互设备采用的是面向桌面系统的指点设备，这些设备并不能提供最优的交互方式。好的交互方式应允许用户直接和屏幕交互，交互方式的设计符合用户的直观感受，用户可以快速自然地完成交互任务。本文介绍了基于动作检测的交互模式，并介绍了实验模型的实现方案。

基于模糊粒子群优化的计算网格工作调度算法

王秀坤程文树刘洪波

计算机科学. 2007, 34 (11): 64-66.

摘要 ( 115 )

PDF(192KB) ( 468 )

相关文章 | 多维度评价

网格计算是利用网络把分散的计算资源组织起来解决复杂问题的计算模式，工作调度是待解决的主要问题之一。本文提出一种基于模糊粒子群优化的网格计算工作调度算法，该算法利用模糊粒子群优化动态地产生网格计算工作调度的优化方案，使现有计算资源完成所有工作的时间最小化。实验结果表明，与基于遗传算法、模拟退火、蚁群算法的工作调度方法相比，所提出的算法在时间和精度上具有一定的优势。

基于强化学习的多机群网格资源调度模型

陈庆奎

计算机科学. 2007, 34 (11): 67-70.

摘要 ( 195 )

PDF(300KB) ( 578 )

相关文章 | 多维度评价

在由多个计算机集群构成的多机群网格环境下，为了解决数据并行型计算（DPC）与计算资源的有效匹配问题，提出了一个基于强化学习机制的网格资源调度模型；给出了由多个计算机机群组成的多机群网格、逻辑计算机机群、数据并行型计算和一系列Agent的定义；利用多Agent的协作做竞争机制、基于强化学习的匹配知识库的修正方法，研究了逻辑计算机机群与DPC资源供需之间的有效匹配问题；描述了网格的资源调度模型。理论分析和实践表明，该模型有效地解决了多机群网格环境之下数据并行型计算所需的资源优化使用问题。该模型适合于基于多机群

P2P资源的拍卖激励机制

计算机科学. 2007, 34 (11): 71-73.

摘要 ( 187 )

PDF(186KB) ( 564 )

相关文章 | 多维度评价

激励机制是P2P（对等网）中的一个重要的研究课题。P2P这种新的成功模式需要建立一个应用已有成熟的技术的激励机制来实现。本文提出了一种在P2P环境申基于拍卖的激励机制。在P2P所有资源都标以虚拟价格，P2P中节点通过拍卖来决定它获得需要的怎样所应该付出的代价，并用虚拟货币进行支付，而节点通过贡献资源得到虚拟货币。在这种激励机制下，节点可以最大化利用自己的资源，如果P2P每个节点都能够实现资源的最大化利用，我们就可以实现在P2P中自私的节点也愿意贡献自己的资源这一目的。

异构分布式环境中Alhusaini资源映射算法的改进

廖剑伟余建桥

计算机科学. 2007, 34 (11): 74-78.

摘要 ( 133 )

PDF(296KB) ( 504 )

相关文章 | 多维度评价

为异构分布式系统中提供良好的资源映射算法，可以有效、加速部署在分布式系统中的应用程序的执行，其中Alhusaini算法是该研究领域中成功和具有影响力的算法之一。本文针对该算法的不足提出了一个两阶段动态资源映射的改进算法：第一个阶段仅仅收集数据以提供给第二阶段使用；在第二个阶段选择一组独立的任务并根据这些任务的权值将它们映射到相关资源中去。改进的算法有效地解决了Alhusaini算法存在的算法复杂度过高和在通信密集型应用中算法效率低等问题。

基于资源约束的流媒体服务QoS策略

计算机科学. 2007, 34 (11): 79-81.

摘要 ( 108 )

PDF(281KB) ( 418 )

相关文章 | 多维度评价

对于流媒体服务，端表现质量是衡量系统性能的关键指标。本文对流媒体服务瓶颈资源进行了分析并提出了基于资源约束的策略来保证端服务质量。通过仿真测试，验证了QoS策略的有效性。

一种改进的自适应多媒体任务调度算法

洪雪玉张凌袁华

计算机科学. 2007, 34 (11): 82-85.

摘要 ( 113 )

PDF(258KB) ( 590 )

相关文章 | 多维度评价

支持多媒体任务调度以满足其性能需求，是一项重要而富有挑战性的工作，一直备受关注，并出现了一些实时任务模型。它们都需要任务提供最坏执行时间（Worst Case Execution Time，WCET），以方便准入控制机制的实现，但这正是多媒体任务难以提供的。那么在WCET未知的前提下，如何实现多媒体任务的调度，而且必须支持准入控制和动态QoS控制机制，支持尽可能多任务的执行，使CPU资源的利用最大化？本文首先提出了一种改进的基于速率的自适应（Adaptive Rate-Based，ARB）任务模型。然后通

基于SVG的实时Web GIS技术研究

计算机科学. 2007, 34 (11): 86-88.

摘要 ( 120 )

PDF(276KB) ( 609 )

相关文章 | 多维度评价

web GIS是传统GIS发展的必然，目前有很多实现方法同样存在许多困难。本文讨论了当前Web GIS的发展态势以及面临的主要技术问题，详细分析了一种基于XML的矢量图形描述语言（SVG）的概念、它应用于Web GIS上的优点以及用于构建实时的web GIS的关键技术，并给出了一个应用实例。

基于二级向量描述的搜索引擎个性化服务模型

徐静秋朱征宇谭明红任翔

计算机科学. 2007, 34 (11): 89-93.

摘要 ( 144 )

PDF(346KB) ( 402 )

相关文章 | 多维度评价

本文介绍了一种搜索引擎个性化服务模型。用二级向量进行文本特征提取和用户兴趣建模，关键词向量能快速定位用户的兴趣领域，而扩展词向量能准确反映用户在该领域上的兴趣偏好。当用户提交关键词时，本系统根据学习到的用户兴趣描述模型计算词间相关度，自动增加几个个性化扩展词提交给搜索引擎，实现不同用户键入相同关键词能返回不同信息的目的。实验结果充分表明本系统应用于搜索引擎个性化服务领域的有效性和实用性。

Web服务器系统中基于反馈控制的比例延迟保证

潘文平慕德俊戴冠中武航星

计算机科学. 2007, 34 (11): 93-97.

摘要 ( 121 )

PDF(329KB) ( 479 )

相关文章 | 多维度评价

随着Web应用在商业领域的广泛使用，Web服务器系统需要在高负载下提供区分服务，以满足用户的不同需求。为实现以延迟作为评价指标的区分服务，本文在Web服务器系统的连接管理和请求处理两个层次建立了基于反馈控制的比例延迟保证模型。模型中的反馈控制器通过动态计算和调节不同类别客户占用的资源：（服务线程和数据库连接），能保证高优先级的客户较快得到服务而不同类别客户的平均延迟比保持不变。为测试闭环系统的性能，设计了两种分别服从均匀分布和重尾分布的动态负载。仿真结果表明，即使并发客户连接的数目剧烈变化，控制器作用下的

基于Web服务的电子政务数据交换中心的设计和实现

计算机科学. 2007, 34 (11): 98-102.

摘要 ( 107 )

PDF(328KB) ( 479 )

相关文章 | 多维度评价

在分析原有数据交换模式的基础上，针对电子政务资源整合的需求，提出一种基于Web服务技术的数据交换中心的设计方案。介绍了数据交换中心的体系结构，以及数据交换协议、数据交换服务过程和数据交换适配器，并且在此基础上对其实现做了比较详细的描述。最后对数据交换中心的安全方案进行了介绍。基于本文设计思路的数据交换中心已经在某市电子政务平台中运行，取得了较好的应用效果。

社区服务管理系统中服务网点配置算法的研究

竺亚胡克瑾唐坤

计算机科学. 2007, 34 (11): 102-105.

摘要 ( 119 )

PDF(258KB) ( 421 )

相关文章 | 多维度评价

服务网点配置问题是在社区服务管理系统设计中需要解决的一个重要问题。由于社区服务具有海量、并发、不确定的特性，使得服务网点配置问题成为一个NP-hard问题，使用传统优化方法很难得到最优解或满意解。本文使用改进的遗传算法和绝对中心点算法，并用VB完成算法的编制，用来解决这个问题。试验证明获得了良好的效果。

面向公民的电子政务服务框架（CCeGSF）

胡庆成邢春晓严琪李益民张小虎

计算机科学. 2007, 34 (11): 106-109.

摘要 ( 108 )

PDF(368KB) ( 471 )

相关文章 | 多维度评价

电子政务总体框架的设计是电子政务建设的关键，实现“以人为本”的服务性电子政府是电子政务研究的根本目标。本文针对服务性电子政府的建设目标，提出了一种面向公民的电子政务服务框架（CCeGSF），该框架采用面向服务的架构（SOA）和业务流程管理（BPM）等先进技术为支撑，符合通用性、标准化和柔性的设计要求，具有耦合性松、灵活性大、资源共享性强、可扩展性强等优点。基于CCeGSF的大连市高新技术开发区电子政务服务系统运行效果良好，能够为用户提供便捷、优质的服务。

基于J2ME和混沌加密的安全移动商务方案

吴中堂冯久超

计算机科学. 2007, 34 (11): 110-112.

摘要 ( 142 )

PDF(238KB) ( 383 )

相关文章 | 多维度评价

本文提出了一个端到端的安全移动商务方案，它是基于J2ME并采周密钥动态更新的快速混沌加密技术而、实现的。针对混沌序列的特点，本文提出密钥生成与加密过程分离；对软件实现的有限字长效应，采用了两次反馈混沌加密。一个实例证实了本文的方案。

同构化信息温度与热点发现应用初探

计算机科学. 2007, 34 (11): 113-117.

摘要 ( 125 )

PDF(403KB) ( 440 )

相关文章 | 多维度评价

本文对信息在生活中的受关注程度进行研究，给出了一种度量信息重要性的标尺——同构化信息温度，并将它与计算机、互联网技术相结合，分别构造了单文本热点挖掘系统、文本数据库热点挖掘系统和Web网页热点挖掘系统模型框架。

基于时态逻辑的工作流分析

计算机科学. 2007, 34 (11): 118-123.

摘要 ( 118 )

PDF(330KB) ( 516 )

相关文章 | 多维度评价

工作流的属性规约语言需要具有高表达力以及基于状态和事件的推理能力。本文提出了一种时态逻辑规约语言E-CTL^＊，该语言集成了状态和事件，能够精确和直觉地表示验证的属性。工作流的畅通性验证无论在时间上还是空间上代价都是非常高的，状态空间爆炸是验证的主要困难所在。利用E-CTL^＊描述畅通性，可以使用存在的符号化模型检测工具验证畅通性，在一定程度上克服了状态爆炸问题。同时模型检测技术给出失效路径的优点可以引导我们纠正工作流的错误。工作流的变动需要具有正确性。从时态逻辑的角度讨论了变动正确性问题，得出了保持变动

支持共享的Ftp客户端的设计

计算机科学. 2007, 34 (11): 124-126.

摘要 ( 101 )

PDF(354KB) ( 447 )

相关文章 | 多维度评价

本文介绍了一种新型Ftp客户端的设计。它可以充分利用本地网络资源，实现共享与方便快速的文件下载。这个客户端主要适用于具有共同的兴趣并在同一个局域网内或者邻近网络内工作的使用者，比如某个研究方向上的研究小组。该客户端结合了P2P与FTP技术，既可以从FTP服务器上下载文件，也可以从局域网内（或者临近网络内）的对等客户端处下载文件。该客户端同时也提供文件让其它客户端共享下载。本文介绍该软件的设计原理与主要技术。

基于VFW的远程专家会诊系统中的实时音视频捕获

龚伟

计算机科学. 2007, 34 (11): 127-128.

摘要 ( 110 )

PDF(142KB) ( 425 )

相关文章 | 多维度评价

本文介绍了利用Video for Windows库函数来实现远程专家会诊系统设计中音频、视频采集的一些关键技术细节。系统在小范围内进行了初步实验。实验结果表明，该系统能够实现对远程专家会诊系统中病人客户端音频、视频数据的采集和记录，通过实时传输，辅助医生进行诊断分析。但系统仍然存在一些不足，需要对系统的软硬件进行改进，以提高系统性能，从而适应临床应用的需要，扩大系统应用范围，这将是我们下一步工作的重点。

形式概念分析与集值信息系统

计算机科学. 2007, 34 (11): 129-131.

摘要 ( 95 )

PDF(255KB) ( 475 )

相关文章 | 多维度评价

形式概念分析与粗糙集理论是两种有效的知识发现工具，已在各个领域获得成功应用。本文给出了一种将形式背景转化为集值信息系统的方法，证明了形式背景分析中的对象粒协调集与由该形式背景导出的集值信息系统的协调集是等价的，并且分析了形式背景中三种不同类型的对象粒属性特征。最后给出了形式背景中属性粒的概念及相关结论。

DCSP和DCOP求解研究进展

计算机科学. 2007, 34 (11): 132-136.

摘要 ( 204 )

PDF(389KB) ( 896 )

相关文章 | 多维度评价

分布式约束满足问题（DCSP）和分布式约束最优问题（DCOP）的研究是分布式人工智能领域的基础性工作。本文首先介绍了卿和DCOP的形式化描述及对实际应用问题的建模方法。在DCSP和DCOP的求解中，通常对问题要进行限制和要求，同时要满足分布性、异步性、局部性、完备性的原则。异步回溯（ABT）、异步弱承诺搜索（AWC）和分布式逃逸（DB）算法是求解DCSP的有代表性的算法；DCSP算法对DCOP求解产生了影响，但由DCSP一般化到DCOP的算法，仅适用于解决部分特定的问题，DCOP的最优、异步算法有异步分布

基于模糊逻辑的智能Agent情感建模

计算机科学. 2007, 34 (11): 137-140.

摘要 ( 103 )

PDF(252KB) ( 510 )

相关文章 | 多维度评价

情感是人类智能中的一个重要表现形式，在人类决策过程中起着重要的作用。认知科学、生理学以及人工智能领域的研究者已提出各类情感模型，但大部分模型都集中于智能agent的反应行为，为此它们通常是根据一些静态的规则或者事先确定的领域知识来生成agent的情感。本文提出了一个新的情感计算模型，并尝试利用模糊逻辑的表征方法建立事件和情感状态间的联系。

“软件人”感知系统的协同分类模型研究

计算机科学. 2007, 34 (11): 140-143.

摘要 ( 103 )

PDF(286KB) ( 435 )

相关文章 | 多维度评价

“软件人”是计算机网络世界中的一类软件人工生命，是一种网络中的“虚拟机器人”，它具有拟人结构。作为对人的模拟，其感知系统应该像人的感知系统一样，具有区分感知对象的能力。基于人体感知系统的启发，运用大系统分析的“分解一集结”方法，本文提出了一种“软件人”感知系统的协同分类模型。该模型通过多分类器系统模拟人的不同感觉，从而实现“软件人”对感知对象的多感觉协同分类。仿真实验结果初步验证了本文提出模型的可行性。今后的工作是研究如何构造实际系统并将其应用于数字气田建设的数据处理工作中。

一种基于时间-效用的Agent社会承诺机制

张谦邱玉辉陈璐

计算机科学. 2007, 34 (11): 144-146.

摘要 ( 121 )

PDF(196KB) ( 410 )

相关文章 | 多维度评价

在多Agent系统中，为了完成任务，Agent之间需要建立社会承诺。本文通过将T．Sandholm的分级承诺合同协议思想与时间-效用对协商的影响有机地结合起来，提出了一种基于时间-效用的Agent社会承诺机制，为电子商务环境下存在最大协商时间的一对多协商中的买卖双方Agent之间的社会承诺问题提供了有效的解决方案。文章分析了解除承诺的条件，提出了建立承诺、解除承诺和遵守承诺的规则，从而有效规避了协商中买方Agent与卖方Agent随意达成一致的行为，同时保证了买方Agent能够在最大协商时间内确定最佳交易

量子克隆遗传算法

李阳阳焦李成

计算机科学. 2007, 34 (11): 147-149.

摘要 ( 131 )

PDF(189KB) ( 439 )

相关文章 | 多维度评价

遗传算法是解决优化问题的一种有效方法，但在实际应用申也存在着收敛速度慢、早熟等问题，使得其结果极不稳定。本文将遗传算法和量子理论相结合并利用免疫系统申所特有的克隆算子，针对0／1背包问题，提出了一种改进的进化算法-一量子克隆遗传算法（QCA）。它能有效地避免早熟，且具有收敛速度快的特点。

一种改进的抑制早熟收敛的模糊遗传算法

计算机科学. 2007, 34 (11): 150-153.

摘要 ( 124 )

PDF(276KB) ( 868 )

相关文章 | 多维度评价

针对遗传算法中的早熟收敛现象，提出一种改进的模糊遗传算法。该算法将群体适应度均方差和种群的进化代数作为模糊逻辑控制器判断早熟收敛的标准，并根据判断结果对优劣不等的个体采取相应的进化方法，即当种群正常进化时对个体执行“惩强扶弱”的措施以保持种群多样性，一旦发生早熟收敛或有早熟收敛的趋势则对劣质个体进行局部灾变，以恢复种群的进化能力。实验结果表明，与标准遗传算法、自适应遗传算法和模糊遗传算法相比，改进的模糊遗传算法能够更好地维持种群多样性，抑制早熟收敛。

基于正交多主体遗传算法的业务规则引擎推理方法

计算机科学. 2007, 34 (11): 154-155.

摘要 ( 120 )

PDF(223KB) ( 446 )

相关文章 | 多维度评价

现阶段业务规则引擎多采用前向链接算法实现模式匹配的推理过程。本文提出了一种基于正交多主体遗传算法的业务规则引擎推理方法，以解决规则引擎无法求解类似组合服务竞标的竞胜标确定问题。该方法以多主体系统为基础，利用正交试验设计方法产生较好的初始种群，设计正交交叉操作数以获得更好的后代；通过每个主体的逐步演化和自学习功能来提高算法的全局优化能力和收敛速度。

基于神经网络的Agent增强学习模型

计算机科学. 2007, 34 (11): 156-158.

摘要 ( 128 )

PDF(246KB) ( 585 )

相关文章 | 多维度评价

在深入分析Agent决策过程中状态与行为空间的迁移与构造的基础上，设计了Agent基于强化学习的最优行为选择策略和Agent强化学习的神经网络模型与算法，并对算法的收敛性进行了证明。通过对多Agent电子商务系统．中Agent竞价行为的预测仿真实验，验证了基于神经网络的Agent强化学习算法具有良好的性能和行为逼近能力。

一类时滞神经网络的全局指数稳定性

计算机科学. 2007, 34 (11): 159-161.

摘要 ( 199 )

PDF(170KB) ( 462 )

相关文章 | 多维度评价

利用M-矩阵和拓扑学等有关知识，通过构建向量李雅普诺夫函数，研究了一类包含分布时滞和可变时滞的神经网络的平衡点的存在性、唯一性及其全局指数稳定性。在没有假定激励函数有界、可微的情况下，得到了该类神经网络平衡点的存在性、唯一性及其在平衡点全局指数稳定的充分判据。该判据计算简便，且与时间滞后量无关，便于在实践中应用。文中给出了一个算例。

进化算法及其在入侵检测中的应用

计算机科学. 2007, 34 (11): 162-163.

摘要 ( 103 )

PDF(194KB) ( 479 )

相关文章 | 多维度评价

进化算法模拟自然进化过程，从随机产生的一群个体出发，采用“适者生存”的进化机制，最后收敛到最优解。针对复杂问题，进化算法有很强的搜索能力和最优化性能。而入侵检测问题可以转化成数据的最优分类问题，因此引入模拟退火搜索算法来实现聚类结果的整个优化过程。算法最后使用KDDCup1999数据集，并在MATLAB6．5中进行了仿真实验，检测效果说明了这种方法的可行性和有效性。

粒子群算法种群结构与种群多样性的关系研究

计算机科学. 2007, 34 (11): 164-166.

摘要 ( 113 )

PDF(245KB) ( 628 )

相关文章 | 多维度评价

本文采用种群熵刻画粒子群算法中种群的多样性，并通过一组标准测试函数分析了不同的种群结构及邻城关系对粒子群算法种群多样性变化和算法性能的影响。实验结果表明，不同的种群结构具有不同的信息传递特性，对粒子群种群多样性的变化及算法的搜索效果有着较大的影响，因此对于不同的问题需根据其特点选择不同的种群结构。

一种基于多区域不变矩的步态识别方法

顾磊吴慧中肖亮

计算机科学. 2007, 34 (11): 167-169.

摘要 ( 110 )

PDF(268KB) ( 401 )

相关文章 | 多维度评价

步态识别是一种新的生物识别技术，它通过人行走的姿势来实现对人身份的鉴别。本文提出了一种基于多区域不变矩的步态识别方法，将视频序列中检测出的步态侧影分为五个子区域，提取每个子区域的不变矩特征并计算步态序列中不变矩的变化特征，从而构成描述步态序列的特征向量。最后的实验表明，提出的方法具有较好的识别性能，是一种有效的步态识别方法。

数据流的预测与分类研究

刘耀宗王湛张宏刘凤玉

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

摘要 ( 124 )

PDF(317KB) ( 660 )

相关文章 | 多维度评价

数据流的预测和分类技术在网络入侵发现、系统性能分析等应用中具有重要的应用。作者对近年来有关数据流预测和分类的进展做了总结，并提出了一个数据流的预测和分类的通用模型，可用于系统性能的实时预测与异常检测。

一种基于粗糙k均值的双聚类算法

胡云苗夺谦王睿智陈敏

计算机科学. 2007, 34 (11): 174-177.

摘要 ( 131 )

PDF(272KB) ( 509 )

相关文章 | 多维度评价

双聚类算法是为了发现基因表达数据矩阵中局部相似性而提出的新聚类方法。本文根据Cheng和Church的打分理论采用自底向上的策略，首先用粗糙k均值算法生成初始的基因数据块，再对这些数据块添加行和列，生成初始的双聚类。然后，删除初始的双聚类中一致性波动不好的行和列，从而得到最终的双聚类。实验表明，该算法能够高效地生成具有共表达水平的双聚类，更能找到一致波动水平很高的双聚类。

一种基于熵的聚类算法

计算机科学. 2007, 34 (11): 178-179.

摘要 ( 116 )

PDF(206KB) ( 1537 )

相关文章 | 多维度评价

给出了一种以Reny熵为评价准则的聚类算法，通过非参数估计法估计密度函数，再利用类内熵和类间熵进行聚类和确定聚类的数目。这种算法不需要用户输入与聚类有关的参数，能根据由数据的分布的特性自动获取要聚类的数目，并能发现任意形状和任意大小的聚类。实验结果显示了算法的有效性和优越性。

支持向量逐步回归机及其改进算法研究

计算机科学. 2007, 34 (11): 180-182.

摘要 ( 104 )

PDF(251KB) ( 597 )

相关文章 | 多维度评价

本文根据支持向量的稀疏性和其分布于超平面附近的特性，提出了支持向量逐步回归机算法，并改进了算法构建新的训练样本子集的方法和利用整数规划对每次搜索的新样本个数m进行了优化，同时分析了算法的复杂度。最后用仿真结果验证了算法的收敛性和有效性。

GB18030汉字的分形相关性研究

计算机科学. 2007, 34 (11): 183-184.

摘要 ( 109 )

PDF(222KB) ( 426 )

相关文章 | 多维度评价

要GB18030是国家标准局新近颁布的最重要的汉字编码标准。本文从分形信息学的角度对GB18030汉字库中的27538个汉字的分形特性进行了研究。基于格分维理论，给出了汉字格测度的选取原则和格分维的计算方法。计算与统计表明：96．6846％的汉字的分形维数在[1．00，1.503]之间，98．9469％汉字的分形相关性系数R^2值在[0．95，1．003之间，这表明汉字具有显著的分形特性。

汉字字形形式化描述方法研究

计算机科学. 2007, 34 (11): 185-188.

摘要 ( 144 )

PDF(321KB) ( 615 )

相关文章 | 多维度评价

本文分析了目前汉字处理应用中存在的主要问题，归纳出问题的核心是由于缺少能涵盖一切可能汉字的、可计算的字形形式化描述体系，从而造成应用中有一系列障碍。发现了现有字形描述方法共同存在的特征选取缺陷，最后给出了一种可行的汉字网格字形描述方法，该方法不仅能表示一切可能的汉字字形（包括错字），而且为字形特征异同的自动计算奠定了可靠的基础。

句法标注的一般模型与参数分析

李良炎何中市

计算机科学. 2007, 34 (11): 189-192.

摘要 ( 177 )

PDF(348KB) ( 566 )

相关文章 | 多维度评价

句法标注是语料标注的重点、难点所在，必须以一定的句法理论为基础。短语结构语法和依存语法是句法标注的基础理论，彼此却有很大的不同。本文以形式化为目标，提出句法标注的一般模型，分析比较两种句法标注的参数异同，深刻揭示了基于短语结构语法和基于依存语法的句法标注与一般模型之间的关系，并提出阅读依存中心原则，力图解决基于依存语法的句法标注难以标注缺省结构的问题。

Google地图算法研究及实现

计算机科学. 2007, 34 (11): 193-195.

摘要 ( 150 )

PDF(215KB) ( 1098 )

相关文章 | 多维度评价

Google Map、Google Earth以其丰富的地图和黄页资源，特别是覆盖全球的卫星地图而著称。本文系统地研究了Google地图的算法及实现，并给出了一些Google地图读取的图例，以帮助用户理解Google地图的机制，更有效地将Google地图集成到应用系统中。

一种基于Contourlet的图像低码率SPIHT算法

计算机科学. 2007, 34 (11): 196-200.

摘要 ( 317 )

PDF(360KB) ( 462 )

相关文章 | 多维度评价

Contourlet是一种优于小波的不可分离图像表示方法，它除了具有一般小波变换的多尺度、局部性外，还具有方向性、各向异性。为此，本文提出了一种基于Contourlet变换的SPIHT编码方法。首先，对图像Contourlet变换各子带系数的分布情况进行了统计分析；进而设计了一种基于Contourlet变换的空间方向树结构，该结构具有类似图像小波变换域中“零树”的特性；在此基础上实现了一种基于Contourlet变换的渐进式编码算法（CSPIHT），该算法除了具有一般基于小波变换的零树编码算法的特性外，还

文本图像的双边总变分超分辨率恢复方法

计算机科学. 2007, 34 (11): 201-204.

摘要 ( 149 )

PDF(623KB) ( 632 )

相关文章 | 多维度评价

超分辨率图像复原的目的是从几幅包含有相同观测区域的图像序列中重建更高分辨率的图像。一般的超分辨率算法没有考虑文本图像的分段连续性，因此有可能丢失笔画边缘处的细节信息。双边总变分正则算法具有很好的边缘保持能力，因此可以应用到文本图像的超分辨率恢复。本文根据汉字的字符结构特点，对双边总变分正则算法进行了改进，根据汉字的笔画组成特征。提出新的正则项。该方法由于充分地考虑了汉字文本图像的结构特征，因此能够很好地保持汉字的笔画的尖锐边缘。实验也证明了使用本文所提出的BTVCH算法获得的超分辨率文本图像可以获得最高的

基于ARNOLDI过程的参数估计

解凯

计算机科学. 2007, 34 (11): 205-207.

摘要 ( 138 )

PDF(191KB) ( 509 )

相关文章 | 多维度评价

本文提出在超分辨率复原中使用基于Amoldi过程来高效计算正则化参数的方法。通过Arnoldi过程分解，该方法将大型稀疏系统矩阵投影到Krylov子空间上并表达成一个小型稠密的Hessenberg矩阵。给出了利用Hessenberg矩阵简化超分辨率复原中解计算的公式。推导了快速计算L曲线的定理。该方法可减少正则化参数的计算代价。

双域单向水平倾角最小化圈绕凸壳新算法

黄涛周启海

计算机科学. 2007, 34 (11): 208-211.

摘要 ( 116 )

PDF(272KB) ( 416 )

相关文章 | 多维度评价

本文依据同构化凸壳构造基本定理，提出了效率更高的双域单向水平倾角最小化圈绕二维点集凸壳新算法，实现了对卷包裹凸壳算法、单域单向水平倾角最小化圈绕凸壳算法的改进与创新。本新算法的同构化特点是：1）“初始顶点与双域生成”处理：找出给定二维点集S的最低点和最高点，即Y轴坐标值最小点（若有多个最小点，则只取最左的最小点）和Y轴坐标值最大点（若有多个最大点，则只取最右的最大点），作为凸壳逆时针圈绕的初始顶点；并以这两个初始顶点为端点的线段，把原二维点集划分为两个独立的子点集S右、S左。2）进行单向“圈绕寻找下一新顶

四元数与彩色图像边缘检测

计算机科学. 2007, 34 (11): 212-216.

摘要 ( 179 )

PDF(403KB) ( 770 )

相关文章 | 多维度评价

本文将彩色图像像素的R、G、B分量作为彩色空间矢量的三个分量，利用矢量场通量以及四元数关于矢量旋转的相关知识，得到两种彩色图像边缘检测方法。基于矢量场通量最大的检测算法，较传统的利用Sobel算子的方法能更全面地提取图像的边缘细节，并且针对不同的图像具有很强的自适应效果；基于四元数的检测算法，利用四元数对矢量旋转的方便表示，提出一种全新的彩色边缘检测方法。实验结果表明，本文提出的两种方法针对彩色图像的边缘检测具有较好的效果，特别是四元数矢量旋转方法，能够提取很多传统的灰度化方法所不能提取的图像纹理细节。

QR码图像的矫正与定位方法研究

肖翔刘晓明王云柯

计算机科学. 2007, 34 (11): 217-219.

摘要 ( 140 )

PDF(165KB) ( 1113 )

相关文章 | 多维度评价

QR二维条码作为一种可高速、全方位识别的二维条码，已经在各行各业中得到了广泛的应用。本文针对QR条码图像的识别过程中可能遇到的图像倾斜、几何失真等问题进行了研究，提出了通过双线性变换矫正变形的条码图像，然后使用QR条码符号特性对图像进行旋转并定向。实验证明，本文的方法简单有效，可以用于提高QR条码的正确识别率。

一种基于密钥回收的量子加密算法

李恕海王育民

计算机科学. 2007, 34 (11): 220-221.

摘要 ( 187 )

PDF(137KB) ( 473 )

相关文章 | 多维度评价

基于Damgard等人的密钥回收算法，提出了一种更有效的新型量子加密算法。使用通用的哈希函数来检测窃听，如果没有监测到窃听，加解密双方共享的密钥可以被安全地重复使用，否则需要抛弃并重新协商与明文等长的密钥串。在加密经典明文的同时，也为剩余未加密的明文协商密钥。当协商好的密钥量与剩余的明文相同时，就可以使用一次一密来加密从而避免反馈是否存在窃听以及重新协商密钥的过程，显著提高了加密效率。

一种保持码流结构的JPEG2000加密算法

计算机科学. 2007, 34 (11): 222-223.

摘要 ( 101 )

PDF(231KB) ( 420 )

相关文章 | 多维度评价

本文提出了一种JPEG2000包体数据加密算法，通过可逆整数S变换处理加密后的包体数据，保证了不会产生新的标记码，因而原码流的结构及特性被保留了下来，压缩率也没有发生改变。加密后的码流仍能被标准解码器解码，但解读出来的是内容被完全掩蔽的无意义的图像。对256×256的Lena灰度图像进行加密实验，结果显示，该算法可以有效地保障加密图像的安全。

数字指纹编码与嵌入假设

李栋卢增祥路海明

计算机科学. 2007, 34 (11): 224-228.

摘要 ( 327 )

PDF(343KB) ( 674 )

相关文章 | 多维度评价

数字指纹系统是数字水印技术的一个重要分支，是用于盗版追踪的一种技术。离散指纹编码和连续指纹编码是数字指纹研究领域的两大阵营。本文介绍了嵌入假设对指纹编码研究的重要意义，指出这两种研究方向的主要分歧在于对待嵌入假设条件的态度不同。从嵌入假设条件出发分析了离散指纹编码和连续指纹编码的基本思路、面临的挑战和发展趋势。

一种基于共轭混沌映射的数字水印算法研究

计算机科学. 2007, 34 (11): 229-231.

摘要 ( 103 )

PDF(192KB) ( 501 )

相关文章 | 多维度评价

数字水印技术在多媒体方面有着广泛的应用，其中最受关注，同时也是要求最高的应用是用于版权保护的数字水印技术。本文提出了一种基于共轭的抗剪切鲁棒水印算法，运用一类标准混沌映射，构造了一种具有强非线性藕合的置换方式，从而改变水印图像像素点的位置，利用共轭映射产生密钥流改变载体图像的灰度值，然后对水印进行嵌入。实验结果证明该方案具有可行性、鲁棒性和安全性。

算法程序变换研究与进展

计算机科学. 2007, 34 (11): 232-238.

摘要 ( 240 )

PDF(511KB) ( 640 )

相关文章 | 多维度评价

开发算法程序是计算机科学领域中最具挑战性的问题之一。为了提高算法程序的可靠性和生产效率，人们正在追求其开发的自动化。算法程序变换是实现算法程序开发自动化的重要途径，已成为程序设计方法学和软件自动化领域中的重要课题，目前已取得很大进展。本文介绍了算法程序变换的相关概念，给出了算法程序变换的分类，并从方法学、语言、算法设计能力、支撑工具及其适用领域等方面分析和比较了几个有代表性的算法程序变换研究项目，讨论了当前研究的不足以及今后的研究方向。

C^4ISR体系结构全信息分析模型

罗爱民黄力罗雪山

计算机科学. 2007, 34 (11): 239-240.

摘要 ( 178 )

PDF(201KB) ( 843 )

相关文章 | 多维度评价

C^4ISR体系结构是实现一体化的基础，体系结构直接影响到系统建设的成败。本文以C^4ISR体系结构框架为基础，建立了具有三层结构的体系结构全信息分析模型，并分别定义了语法层、语义层和语用层分析的含义和内容，以及各自采用的分析方法。体系结构全信息分析模型为C^4ISR体系结构设计提供技术支持。

CMMI V1．2版本的新特征

许东刘宗田

计算机科学. 2007, 34 (11): 241-244.

摘要 ( 127 )

PDF(286KB) ( 444 )

相关文章 | 多维度评价

最新发布的CMMI V1．2模型做了很多的改进。将原先的模型CMMFSE／SW／IPPD进行了整合，更改了模型的名称：CMMI-SE／Sw／改为用于开发的CMMI模型CMMI—DEV v1．2。CMMI v1．2产品集支持开发、服务和获取过程，CMMI-DEV是其中的一种并首先发布，其它的CMMI套件在2007年陆续发布。“附加”是用来扩展模型的，如CMMI-DEV＋IPPD，表示某些过程域是和IPPD中的目标和实践结合起来使用。新版本还将CMMI的两种表示方式（连续和阶段式）合并在一个文档中表述。在CM

功能点分析方法研究

计算机科学. 2007, 34 (11): 245-251.

摘要 ( 150 )

PDF(464KB) ( 1760 )

相关文章 | 多维度评价

软件规模度量是估算软件项目工作量、成本和合理策划项目进度的基础。本文针对当前流行的软件规模度量方法——功能点分析方法进行综述，阐述了功能点分析方法的基本概念和分析流程。比较全面地总结了现有的代表性功能点分析方法和工具，对一些重要的方法和工具做了客观分析，探讨了功能点分析方法中存在的一些问题及当前研究情况。最后，总结了功能点分析方法的研究现状并对功能点分析方法的发展方向进行了展望。

一个面向服务的应用案例研究

计算机科学. 2007, 34 (11): 252-254.

摘要 ( 102 )

PDF(200KB) ( 428 )

相关文章 | 多维度评价

本文从一个现有的信息系统出发，通过分析因为业务增长和环境变化而带来的问题，提出需要进行面向服务的改造。根据面向服务系统的基本原则，从请求之问的状态、请求方式、接口的多样性和体系结构等方面阐述了该系统的改造。本文所描述的SOA改造的方法和体系结构设计以及面向服务改造后带来的优点具有普遍的意义。

一种适合分布式虚拟环境的XML路由技术

计算机科学. 2007, 34 (11): 255-258.

摘要 ( 93 )

PDF(253KB) ( 443 )

相关文章 | 多维度评价

在分布式虚拟环境中，XML技术的应用提高系统的实用性和扩展性。本文针对分布式虚拟环境系统中的XMI。路由问题，提出一种新的XML路由技术BPfilter。该技术根据分布式虚拟环境的特点，在Bloom过滤器算法的基础上，引入语法树以处理XPath查询中判定词，实现了对系统中XML数据快速地匹配和路由。实验结果表明，该技术是可行和有效的。

多核处理器降低功耗技术综述

计算机科学. 2007, 34 (11): 259-263.

摘要 ( 152 )

PDF(366KB) ( 1048 )

相关文章 | 多维度评价

随着芯片集成度越来越高，处理器功耗已经和性能、时钟频率、芯片尺寸共同成为衡量一个处理器优劣的最主要标准。传统的降低功耗的技术都是针对功耗本身，即动态消耗和静态消耗，针对动态消耗的有多元供能电压技术（Multiple Supply Voltage）、动态电压调节技术（Dynamic Voltage Scaling）和基于时钟信号的技术，针对静态消耗的有通道长度调整技术（Channel Length Scaling）、寄存器锁存技术和能量选通技术（Power Gating）。近两年从处理器结构和算法角度思考降

一种基于本体的软件自适应机制

计算机科学. 2007, 34 (11): 264-269.

摘要 ( 171 )

PDF(471KB) ( 497 )

相关文章 | 多维度评价

为维持一定的可用性和服务质量，许多软件系统需要动态地自我调整，以适应环境和需求的变化。本文提出了一种基于本体的软件自适应机制，通过本体建模来认识和表达分布在问题空间和解空间中的与软件自适应相关的要素，并采用定义良好的推理规则来操纵决策要素，从而实现了问题空间和解空间在软件自适应中的有机结合。在此基础上，本文设计了基于本体的自适应软件结构并在原型系统中加以实现，最后通过一个应用实例验证了基于本体的软件自适应机制的有效性。

无线移动环境中基于移动Agent的实时构件组装机制研究

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

摘要 ( 100 )

PDF(353KB) ( 439 )

相关文章 | 多维度评价

由于无线网络较窄、昂贵的带宽，及移动设备自身有限的硬件能力，在无线移动环境中进行实时构件组装调用时面临着更多的技术挑战，需要一种高效、可靠的机制给予支持。本文提出一种基于移动Agent的无线网络环境构件组装调用机制。该机制利用移动Agent作为移动客户端与构件服务器之间交互的中介，提供了灵活、可配置的组装结构，从而有效避免移动客户端不必要的访问操作，节省了移动客户端的无线网络连接开销，与其他机制相比有着较高的执行效率；同时该机制可有效支持移动客户端发生故障后的状态恢复，从而确保运行过程的可靠性。最后本文通

结合AOP与反射机制动态改变软件的行为

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

摘要 ( 112 )

PDF(341KB) ( 544 )

相关文章 | 多维度评价

软件系统的运行环境日益复杂，这样的复杂性已经远远超过了人的控制能力。面向对象的程序设计方法会造成关注点不能分离，代码纠缠在一起，使得软件的模块性与复用性大大降低。面向方面的程序设计（Aspect-oftented programming，AOP）可以很好地分离关注点使软件更好地模块化。使用反射机制（Reflection），可以使程序在运行时通过自省（introspection）了解自己的状态，自己调节（intercession）自己（运行时自动修改程序），即动态地获得新的行为的能力。我们结合使用这两种方法

混合投影时序逻辑与混合系统的形式化验证

张海宾段振华

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

摘要 ( 156 )

PDF(226KB) ( 450 )

相关文章 | 多维度评价

为了描述混合系统的性质和行为，10多年来，各种时序逻辑，如Hybrid Temporal Logic等相继出现。这些时序逻辑适用于刻画混合系统的性质和规范，但不适宜表示描述系统的实现模型。本文定义了一个混合投影时序逻辑（Hybrid Projection Temporal Logic，简称HPTL），既能刻画混合系统的性质，又能表示混合系统的实现。这样，混合系统的验证就可以很方便地在统一的数学模型框架下进行。同时，给出了HPTL的基本的逻辑等价式系统和一个用HPTL进行混合系统验证的实例。

软件测试中的窗口测试

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

摘要 ( 134 )

PDF(243KB) ( 448 )

相关文章 | 多维度评价

当前图形界面用户窗口（GUI）在软件开发中大规模地使用，对软件测试提出了挑战。如何能够对软件的窗口进行正确的功能测试，是软件测试面，临的一个重要问题。本文提出了窗口控件交互执行因果图（CICE）法，使窗口测试能够按照一定的规则进行。并且给出测试用例的生成算法，自动生成测试用例。

硬盘读写通道的FIR噪声预测算法与仿真模型

计算机科学. 2007, 34 (11): 286-289.

摘要 ( 119 )

PDF(263KB) ( 663 )

相关文章 | 多维度评价

本文提出了一种嵌入FIR噪声预测的部分响应最大似然算法（NPML—Noise-prediction Partial-response Maximum Likelihood），该算法改进了传统部分响应最大似然算法（PRML-Partial Response Maximum Likelihood）中Viterbi译码过程的分支度量计算方法，能白化信号中有色噪声，减少误码率，提高硬盘读写通道的性能。本文还建立了读写通道的图形化仿真模型，提出了FIR滤波器长系数的快速逼近方法，并构造了检验模型工作正确性的方法。通

面向评估的高产出率计算指标量化分析

杨沙洲杜云飞杨学军

计算机科学. 2007, 34 (11): 290-292.

摘要 ( 212 )

PDF(203KB) ( 614 )

相关文章 | 多维度评价

为了解决当前传统的高性能计算片面强调性能而忽视系统各方面的平衡性所导致的问题，研究人员提出了“高产出率计算”的概念，并为此展开了高产出率计算评估体系的研究。本文从当前高产出率计算评估体系研究现状出发，从高产出率计算对传统“性价比”评估概念的扩展入手，提出了以“指标量化”和“统一量纲”为中心的评估高产出率计算效果的方案，并针对计算能力、鲁棒性、能耗和易用性四个要素给出了一种量化的评估办法。

负载感知的存储子系统调优研究

李益民邢春晓严琪胡庆成张小虎

计算机科学. 2007, 34 (11): 293-297.

摘要 ( 246 )

PDF(369KB) ( 557 )

相关文章 | 多维度评价

存储IO的性能远远低于CPU、内存的性能，而且它们之间的差距还在扩大。因此，对于越来越多的数据密集型应用系统来说，存储系统往往是系统瓶颈。存储的性能不仅与存储子系统体系结构以及子系统中各部件的性能相关，还与系统的工作负载和应用环境相关。负载感知的性能调优指存储子系统通过对负载特征的分析实现对应用环境的动态感知，并根据负载特征动态调整系统运行策略。负载感知的性能调优使得存储子系统能够更合理地调度存储系统资源，从而提高IO性能。

乱序执行机器上的load指令调度

周谦冯晓兵张兆庆

计算机科学. 2007, 34 (11): 298-300.

摘要 ( 150 )

PDF(292KB) ( 701 )

相关文章 | 多维度评价

随着处理器和存储器速度差距的不断拉大，访存指令尤其是频繁cache miss的指令成为影响性能的重要瓶颈。编译器由于无法得知访存指令动态执行的拍数，一般假定这些指令的延迟为cache命中或者cache miss的延迟，所以并不准确。我们引入cache profiling技术来收集访存指令运行时的cache miss或者命中的信息，利用这些信息来计算访存的延迟。乱序机器上硬件的指令调度对于发射窗口内的指令能进行很好的动态调度，编译器则对更长的范围内的指令调度更有优势。在reorder buffer中cach

C／S遗留系统到SOA系统移植框架研究

计算机科学. 2007, 34 (11): 301-303.

摘要 ( 91 )

PDF(180KB) ( 437 )

相关文章 | 多维度评价

遗留系统在组织中起着重要的作用。随着商业环境的快速变化，应该不断用新技术对其进行进化。Web Service和面向服务的体系结构（SOA）使我们能在面向服务的计算环境中进化遗留系统。用web Service技术集成遗留系统的传统方法是将遗留系统包装成“黑盒子”。本文提出了一种再工程方法，该方法将遗留系统的包装和理解相结合。该方法不仅能对服务进行识别和包装，还可以将遗留系统移植到SOA的体系结构中。

基于RTAI的实时Linux系统构筑及其嵌入式程序移植

计算机科学. 2007, 34 (11): 304-307.

摘要 ( 313 )

PDF(339KB) ( 745 )

相关文章 | 多维度评价

实时Linux操作系统已逐渐被人们用作嵌入式应用软件的支撑平台，它在提供了一个优异的实时可控制性的同时，也不可避免地带来了一些相关问题。本文结合基于RTAI的实时Linux系统的构筑以及在其上开发一个GPS应用程序的经验，阐述了在RTAI系统上开发应用软件中遇到的诸如程序流程控制、串口实时传输和远程控制等几个关键问题，并探讨和给出了相应的解决方法。