计算机科学

三维网格压缩方法综述

蔡苏赵沁平

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

摘要 ( 225 )

PDF(325KB) ( 342 )

相关文章 | 多维度评价

针对三维网格大数据量与三维图形引擎处理能力及网络带宽限制之间的矛盾，三维网格压缩编码技术提供了一系列解决方法。本文从静态压缩和递进网格两个角度分类，以拓扑信息驱动和几何信息驱动为两条主线，归纳比较了国内外近十年来三维网格压缩的各种方法，并给出其未采发展趋势。

综述：关于IPv6安全性问题的研究

计算机科学. 2006, 33 (5): 5-11.

摘要 ( 87 )

PDF(715KB) ( 618 )

相关文章 | 多维度评价

提供强有力的网络安全保障是实现IPv6成功应用的关键。本文在对IPv6新特性进行分析的基础之上，从多个角度考察和归纳了IPv6在安全方面所引入的若干新问题，介绍了其对应的安全机制及其研究进展，并尝试从整体上评估IPv6对将来网络安全状况的影响。

基于逻辑框架LF的语义性质之验证

计算机科学. 2006, 33 (5): 12-16.

摘要 ( 67 )

PDF(462KB) ( 318 )

相关文章 | 多维度评价

本文对基于类型理论逻辑框架（LF）的语义性质验证加以研究，针对函数式语言LAZY-PCF＋SHAR，利用计算机辅助推理方法和技术给出相应的形式化描述及相关性质证明，从而提倡严格的和计算机辅助的证明在语义性质验证方面的应用。同时，考察了LF以及其实现系统Plastic的能力。

Petri网共享子网合成及其在系统设计中的应用

计算机科学. 2006, 33 (5): 17-21.

摘要 ( 67 )

PDF(284KB) ( 261 )

相关文章 | 多维度评价

针对柔性制造系统的设计和分析，提出了经由Petri网共享子网构成合成网的解决方案；研究了Petri网共享子网合成的动态性质保持问题，给出了合成网保持活性、有界性的一组充分条件；对一个柔性制造系统进行了设计和分析。本文的结果可为Petri网系统静态和动态性质的考察提供有效途径，为Petri网复杂大系统的分析提供重要手段，并特别适合于柔性制造系统的设计，具有一定的实用价值。

超宽带下无线Ad Hoc网络容量的理论研究

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

摘要 ( 85 )

PDF(272KB) ( 295 )

相关文章 | 多维度评价

本文在三维球体表面和二维平面上建立了超宽带（IMB）技术下的Ad hoc网络模型，运用图论中Voronoi小区特性和渗透理论分析了相应的网络容量，得出结论：UWB技术下无线Ad hoc网络容量的上限将随着网络节点数目的增加而增大。该结论一方面说明UWB技术是提高Ad hoc网络容量的有效手段，物理层设计不同对网络性能会有不同影响，另一方面也为UWB技术与Ad hoc网络的结合奠定了理论基础。

Ad Hoc网络自定位算法研究

王贻民戴冠中张治慕德俊

计算机科学. 2006, 33 (5): 26-31.

摘要 ( 88 )

PDF(540KB) ( 355 )

相关文章 | 多维度评价

在Ad Hoc网络中，许多路由协议都是基于节点的位置信息。但是在一些特殊情况下，Ad Hoc网络中的定位不能依赖于GPS，必须进行自定位。本文介绍了Ad Hoc网络中自定位算法的性能评价和分类方法，着重阐述了具有代表性的算法及其原理和特点，并提出了未来研究的方向。

基于拓扑维护的自适应多信道Ad Hoc路由协议

任智郭伟周懿

计算机科学. 2006, 33 (5): 32-34.

摘要 ( 77 )

PDF(297KB) ( 282 )

相关文章 | 多维度评价

提出了无线移动Ad hoc网中一种基于拓扑维护的自适应多信道路由协议：MOLSR-TM，谊协议把拓扑维护状况感知和自适应控制算法引入OLSR以调整HELLO消息的发送频率和邻居记录表、拓扑记录表的刷新频率，从而增强节点掌握网络拓扑的能力，改善路由表项不全导致的分组寻路失败问题。性能分析和仿真结果表明：MOLSR-TM能改善节点的拓扑维护状况，增强动态拓扑适应能力，提高数据成功率、端到端时延和网络吞吐率等性能。

移动Ad Hoc网络MAC协议研究

计算机科学. 2006, 33 (5): 35-38.

摘要 ( 70 )

PDF(365KB) ( 329 )

相关文章 | 多维度评价

MANET是独立的网络自治系统，不依赖于固定主干网络，可提供有效的数据和多媒体通信服务。它使用无线通信技术，所有主机均可以移动。但是众所周知，无线系统是带宽受限系统，信道分配算法至关重要。提高无线资源的使用效率，提高系统的容量和传输质量，一直是研究的重要课题。本文对移动Ad hoc网络MAC接入控制协议的研究现状进行了综述，揭示了它们的特点和功能，比较了各自的贡献和不足。这些协议涵盖了目前能见到的绝大部分类型的MAC协议。最后对MAC协议研究的发展方向进行了展望。

基于跨层协同设计的Ad Hoc按需定向路由算法

任智郭伟刘军蒋艳

计算机科学. 2006, 33 (5): 39-42.

摘要 ( 126 )

PDF(296KB) ( 307 )

相关文章 | 多维度评价

采用跨层协同设计的思路和定向通信机制，对移动Ad Hoc网中的按需路由算法进行跨层优化，提出一种新的Ad Hoc按需定向路由算法：CAODR。通过定向天线的使用和网络、MAC与物理三层之间的跨层协同，实现了定向单播和全向广播的发送方式，成功减少了隐藏终端造成的分组碰撞和暴露终端造成的不必要等待。数学推导证明了CAODR对隐藏／暴露终端问题的改善。性能分析和仿真结果也表明：它在端到端时延、吞吐率、成功率等性能上的表现优于经典的AODV路由算法。

一种移动自组网混合式功率路由协议

计算机科学. 2006, 33 (5): 43-45.

摘要 ( 74 )

PDF(277KB) ( 273 )

相关文章 | 多维度评价

移动自组网是一组能量受限的移动节点组成的多跳无线网络。网络中节点主要依赖电池供电，因而节能问题一直是移动自组网研究的热点之一。在选路标准中考虑能量的因素，延长网络寿命是移动自组网功率路由的主要目标。本文提出了一种新的混合式功率路由——HPARP（Hybrid Power-Aware Routing Protocol），对本地节点的能量和拓扑信息进行监控，以节点剩余能量为标准，利用局部的网络拓扑结构信息，有效地延长了网络寿命，提高了网络吞吐量。

自组网中关闭节点射频节省能量技术研究

李东生向勇史美林

计算机科学. 2006, 33 (5): 46-48.

摘要 ( 82 )

PDF(338KB) ( 282 )

相关文章 | 多维度评价

随着无线自组网（Wireless Ad Hoc Network）应用需求的不断增加，电池能量限制已成为自组网应用的主要瓶颈。关闭节点射频节省能量技术逐渐成为能量敏感自组网技术中的研究热点。本文分析了关闭射频在自组网节省能量设计中的作用，探讨了它对网络的影响和进行设计的相关因素，提出了关闭节点射频的条件，并结合自组网框架给出了关闭射频节省能量的设计方案。

一个基于增强学习算法的路由模型

张志坚刘惟一

计算机科学. 2006, 33 (5): 49-51.

摘要 ( 122 )

PDF(207KB) ( 343 )

相关文章 | 多维度评价

由于Internet的不断发展，现有的路由算法为适应不同的网络要求，从一开始的RIP、OSPF、BGP等几种，衍生出很多新的适用于特殊网络的路由协议。本文提出一种基于增强学习算法的路由模型。将每个路由节点看作一个Agent，利用增强学习算法的思想使得每个节点在不了解网络拓扑结构的情况下从向邻居转发的概率获得网络的信息，这样路由节点可以选择一个较优的转发方向。同时，节点能对网络的拥塞等情况作出调整。该模型为一些具体网络的路由协议，特别是QoS类路由算法提出了一个新的路由思想。

移动互联网访问控制支持移动感知的研究

计算机科学. 2006, 33 (5): 52-55.

摘要 ( 80 )

PDF(295KB) ( 299 )

相关文章 | 多维度评价

移动互联网的访问控制使移动IPv6面临切换延迟显著增加的困境。本文在分析移动IPv6协议特点与访问控制机制行为特征的基础上，提出了一种在移动互联网访问控制应用中实现快速移动感知的方法，它能有效缩短移动IPv6切换前的认证等待时间。文中给出了实现方法，进行了比较分析。

基于网格的流媒体服务QoS管理框架及实现

计算机科学. 2006, 33 (5): 56-59.

摘要 ( 74 )

PDF(324KB) ( 300 )

相关文章 | 多维度评价

流媒体服务是Internet上一类高带宽需求和高实时性约束的应用，对服务质量（Quality of Service，QoS）有较高的要求。流媒体服务的发展导致传统的QoS管理框架难以适应平台的异构性和复杂性。本文提出了一种基于网格的流媒体服务QoS管理框架，为由异构的系统构成的流媒体服务提供集成的、平台无关的QoS管理机制。在谈框架的基础上，我们设计了一个基于网格的流媒体服务QoS管理系统。

基于QoWS的Web服务评估算法

韩涛郭荷清高英

计算机科学. 2006, 33 (5): 60-62.

摘要 ( 101 )

PDF(221KB) ( 273 )

相关文章 | 多维度评价

本文提出了一个完整的Web服务质量的评估算法。此算法在分析了Web服务评量和相对服务质量的基础之上，计算Web服务质量的综合评估值，并且建立一个Web服务质量评估模型，将此算法应用于评估模型中，可以在多个Web服务中选择最优的服务提供给用户。最后，将此模型应用于一个实际的系统中。

一种适合在无线传感网络中传输实时业务的区分服务方案

计算机科学. 2006, 33 (5): 63-69.

摘要 ( 69 )

PDF(209KB) ( 345 )

相关文章 | 多维度评价

本文在我们建立的基于Directed Diffusion（DD）的无线传感器网络模型的基础上，提出一种针对实时业务传输的区分服务方案，称为轮询路径调度算法（Round Robin Path Scheduling，RRPS）。通过泛洪建立路径能量瓶颈梯度及跳数梯度，并根据这两个梯度的组合，将源节点（Source node）和观测节点（Sink node）之间的中继节点（Intermedlate node）优化成多条路径。根据网络的资源状况为不同等级的业务分配不同的路径：为实时业务分配延时小的路径组，同时轮流

一种综合IP层和WDM层资源的光网络动态路由优化模型及其性能研究

计算机科学. 2006, 33 (5): 70-73.

摘要 ( 81 )

PDF(286KB) ( 353 )

相关文章 | 多维度评价

在分层图模型的基础上，本文提出一种以最小化全网光路总代价为优化目标的IP over WDM光网络动态路由优化模型，设计了一种针对该模型的在线综合路由算法——MCTLP（Minimizing the Cost of Total Lightpaths），MCTLP通过综合考虑IP逻辑层带宽资源分配和WDM光物理层波长链路资源的占用以优化网络资源。与两种有代表性的IP over WDM光网络路由算法的性能仿真时比表明：MCTLP能够在IP逻辑层和WDM光物理层都使用较少的链路以承载IP业务流，接纳更多的IP业务

无线传感器网络洪泛路由研究

李炯汪文勇潘家根

计算机科学. 2006, 33 (5): 74-76.

摘要 ( 116 )

PDF(156KB) ( 424 )

相关文章 | 多维度评价

无线传感器网络的路由问题是无线传感器网络研究中待解决的重要问题之一，洪泛（Flooding）路由算法是其中基本的一种算法，也是其他路由算法的基础。本文讨论了洪泛路由的性能和稳定性，并得出在使用洪泛路由时，无线传感器网络稳定性和节点的分布的关系。

一种按需确认的TCP协议改进算法

易发胜夏梦芹李巧勤曾家智

计算机科学. 2006, 33 (5): 77-80.

摘要 ( 88 )

PDF(288KB) ( 409 )

相关文章 | 多维度评价

本文提出了一种基于按需确认的TCP协议改进算法，该算法规定接收方根据发送方要求来对数据报文进行确认。同传统TCP相比，大大减少了ACK的数量，并消除了延迟ACK对传输效率的影响。仿真试验结果表明，该算法减少了TCP协议对网络系统的开销要求，并保持良好的传输效率。

IPv6中Anycast的一种加权通信模型

计算机科学. 2006, 33 (5): 81-83.

摘要 ( 74 )

PDF(307KB) ( 388 )

相关文章 | 多维度评价

本文提出了一种新的Anycast加权通信模型，此模型在某种程度上解决了应用层和IP层实现Anycast技术所存在的问题，如扩展性以及客户与服务器通信失败等等，本文对谊Anycast的加权通信模型进行了深入分析和讨论，并验证了该模型的可行性及其有效性。

一种基于JXTA的协同工作P2P系统

计算机科学. 2006, 33 (5): 84-87.

摘要 ( 84 )

PDF(334KB) ( 318 )

相关文章 | 多维度评价

针对目前分布式协同设计软件的特点，本文提出了一种基于JXTA协同设计P2P模型。介绍了谊模型的总体结构和节点结构、群组通信的算法和相应的通信协议的设计、用户和系统的双向认证机制。谊系统具有高效、分散、安全和健壮等特点。最后以协同绘图作为实例验证了系统的正确性和实用性。

基于对象存储系统的动态负载均衡算法

计算机科学. 2006, 33 (5): 88-91.

摘要 ( 75 )

PDF(282KB) ( 383 )

相关文章 | 多维度评价

负载均衡是大规模基于对象存储系统必须要考虑的重要问题。本文为此以系统总响应时间为代价函数，以对象被访问频率为依据，建立了一种将对象复制与对象迁移统一在内的动态负栽均衡模型，并充分利用存储设备的智能实现系统的动态负载均衡。仿真结果表明，在存在大量热点访问和对象分布不均匀的情况下，启用对象复制和对象迁移的负载均衡算法能最大程度地减少系统的平均总响应时间。

SIP-H．323信令网关的研究与实现

陈蕾李华陈晓铭

计算机科学. 2006, 33 (5): 92-95.

摘要 ( 229 )

PDF(304KB) ( 381 )

相关文章 | 多维度评价

H．323和SIP是基于IP网络的多媒体通信的两大主流技术。实现二者的互通是当前要解决的一个迫切问题。通过比较H．323与SIP协议，分析出互通过程中需要处理的主要问题，并提出了采用SIP-H.323信令网关来实现这两个协议之间的映射，然后讨论了SIP-H．33信令网关的三种不同架构方式及其适用范围，最后就地址转换、消息映射和终端能力协商等问题提出相应的解决方法，为不同环境下网络互通提供一定的参考。

基于S3C4510B的嵌入式实验室网关基本系统设计

张耀丹曾孝平王红霞

计算机科学. 2006, 33 (5): 95-97.

摘要 ( 104 )

PDF(364KB) ( 258 )

相关文章 | 多维度评价

本文提出了一种基于S3CA510B和uCLinux操作系统的高性价比、可靠的嵌入式实验室网关的设计方案，目的是取代目前在实验室普遍使用的作为本地局域网网关的一台单独的计算机，以节约实验室资源、成本和空间。文中主要介绍了系统结构、系统硬件电路设计及系统BootLoader代码的设计与实现。

审计缓冲区的形式化模型及其验证

计算机科学. 2006, 33 (5): 98-103.

摘要 ( 330 )

PDF(382KB) ( 252 )

相关文章 | 多维度评价

审计系统作为安全信息系统的一个重要组成部分，对于监督系统的正常运行、保障安全策略的正确实施、构造计算机入侵检测系统等都具有十分重要的意义。审计缓冲区的管理是审计系统的核心部分，本文利用时序Petri网对审计缓冲区管理的实现方案进行建模，进而对系统的安全性和活性进行了分析和验证。该方法利用时序逻辑扩充了Petri网缺乏描述系统事件之间时序关系的局限性，同时发挥了Petri网对系统并发和物理结构的有效描述及分析的优势，达到了系统验证的目的。

基于SSL的P2P安全通信模型

王涛卢显良段翰聪

计算机科学. 2006, 33 (5): 104-106.

摘要 ( 98 )

PDF(211KB) ( 427 )

相关文章 | 多维度评价

安全问题是限制P2P网络发展的重要因素，现有的模型不能很好地保证P2P节点间通信数据的真实性，保密性和完整性。针对上述问题，提出一种基于SSL的P2P安全通信模型，采用分布式CA和SSL协议对P2P节点间的通信安全加以保障。模型采用层无关技术，可以方便地插入到现有的P2P模型中。仿真试验结果表明，谊模型可行且高效。

一种基于后缀数组聚类（SAC）的中文垃圾邮件过滤方法

计算机科学. 2006, 33 (5): 107-109.

摘要 ( 86 )

PDF(279KB) ( 296 )

相关文章 | 多维度评价

贝叶斯算法在垃圾邮件过滤中应用广泛，但在中文垃圾邮件过滤中性能较低。本文通过聚类的思想，提出一种基于后缀数组聚类（SAC）的中文邮件特征项抽取方法，并给出了不同特征项抽取方法下贝叶斯算法的中文垃圾邮件过滤实验数据对比。实验表明，该方法显著提高了中文垃圾邮件的过滤性能。

基于NB的双级分类模型在邮件过滤中的研究

惠孛吴跃陈佳

计算机科学. 2006, 33 (5): 110-112.

摘要 ( 178 )

PDF(217KB) ( 316 )

相关文章 | 多维度评价

使用朴素的贝叶斯（NB）分类模型对邮件进行分类，是目前基于内容的垃圾邮件过滤方法的研究热点。朴素的贝叶斯在参数之间联系不强的时候分类效果简单而有效。但是朴素的贝叶斯分类模型中对特征参数的条件独立假设无法表达参数之间在语义上的关系，影响分类性能。在朴素的贝叶斯分类模型的基础上，我们提出了一种双级贝叶斯分类模型（DLB，Double Level Bayes），既考虑到了参数之间的影响又保留了朴素的贝叶斯分类模型的优点。同时时DLB模型与朴素的贝叶斯分类模型的性能进行比较。仿真实验表明，DLB分类模型在垃圾邮件

网络安全联动模型的设计与应用

潘炜李伟华

计算机科学. 2006, 33 (5): 113-116.

摘要 ( 157 )

PDF(301KB) ( 377 )

相关文章 | 多维度评价

本文设计了满足通用性要求、符合标准化方向、具有很强可扩展性的安全联动模型。同时对该模型中的安全联动协议进行了具体分析，提出了安全联动信息描述模型及其格式，推证了相互独立的安全协议的组合理论，验证了安全联动模型的安全性。最后给出了模型的具体应用，可以与其他安全系统协调联动，实现网络的动态防御。

基于规则的IDS中的CBR研究

计算机科学. 2006, 33 (5): 117-120.

摘要 ( 97 )

PDF(383KB) ( 542 )

相关文章 | 多维度评价

本文在入侵检测系统（IDS）中引入基于案例的推（CBR）来降低基于规则的精确匹配所造成的漏报率，有效地检测由已知攻击变异成的攻击。描述了实现CBR的步骤；给出了由规则设计和构造案例库的启发式方法；分析了实现CBR的有关算法；最后给出在入侵检测系统Snort上扩充CBR功能的实验结果。

基于LUC一般访问结构上的秘密共享方案及其安全性

计算机科学. 2006, 33 (5): 121-123.

摘要 ( 80 )

PDF(211KB) ( 304 )

相关文章 | 多维度评价

提出了一个基于LUC公钥算法的一般访问结构上的秘密共享方案。它使用参与者的私钥作为各自的秘密份额，分发者无需进行秘密份额的分配。在秘密重构过程中，每个合作的参与者只需提交一个伪份额而不必暴露其私钥，同时方案提供了预防和检测欺骗的能力。该方案可以用来共享任意多个秘密，而不必更新各参与者的秘密份额。方案的安全性是基于LUC算法以及Shamir门限方案的安全性。

Montgomery逆算法的改进和应用

邓锐周玉洁

计算机科学. 2006, 33 (5): 124-127.

摘要 ( 95 )

PDF(266KB) ( 787 )

相关文章 | 多维度评价

本文通过对Montgomery逆算法核心部分的改进，得到两种分别以4为基和8为基的优化算法。其中以4为基的算法，在基本不增加算法实现复杂度的情况下，使迭代次数的平均上限从2n降到7/6n，平均迭代次数也从3n/2降到了7/8n。而8基算法则相应分别下降到25/24和25/32n，但算法内部的比较和跳转稍有增多。由于新算法只要求两个关键操作数中有一个变成1，就可以结束操作（原算法要求两个都变为1），因此实际迭代次数可能还要少。本文提出的算法也可以运用在文[1，2，7]中求基本模逆的算法中。本文算法主要适用于

基于Petri网的Web服务组合建模

陈丁剑吴健马满福胡正国

计算机科学. 2006, 33 (5): 128-130.

摘要 ( 93 )

PDF(246KB) ( 286 )

相关文章 | 多维度评价

针对Web服务组合流程进行建模，可以实现可靠的服务组合。文中首先提出了一种基于Petri网理论的Web服务组合建模方法，对服务组合进行形式化建模，然后通过分析Web服务网的可迭性和活性对Web服务组合进行验证，最后举例说明此方法的应用。

面向企业间集成的Web服务规范化设计方法

王忠杰徐晓飞战德臣

计算机科学. 2006, 33 (5): 131-135.

摘要 ( 97 )

PDF(338KB) ( 247 )

相关文章 | 多维度评价

面向服务的计算被认为是电子商务环境下一种基于Web的、用以解决多企业间复杂业务交互的有效手段，但在现实中并没有达到预期的效果。目前对该方面的研究主要集中于技术层面，缺乏有效的方法来支持企业进行服务的识别与设计。本文首先分析了Web服务与企业内／企业间业务过程的关系，讨论了适合于ERP与电子商务系统集成的服务应满足何种性质，进而提出了服务的规范化模式与相应的规范化方法，重点讨论了如何从ERP与电子商务系统的业务模型以及基于构件的软件系统出发，识别规范化服务的途径。该方法对协助企业识别和设计有价值的Web服务

MVC模式在Web应用中的一种实现

谢珩吴多益卢最良宋杰

计算机科学. 2006, 33 (5): 136-138.

摘要 ( 90 )

PDF(230KB) ( 398 )

相关文章 | 多维度评价

MVC（Model-View-Controller）是Web应用开发中常用到的一种设计模式。通常，由Model和Controller在服务器端生成View，浏览器端只是简单地对View进行显示。在这种实现方式下，几乎所有的处理都集中在了服务器端，浏览嚣端的空闲处理能力被白白闲置。同时，频繁传送包含大量数据的页面，对网络带宽也有很高的要求，这已经不能满足用户对Web应用越来越高的交互需求。为此，本论文基于JavaScript、XMLHttp、DOM和Template Toolkit等几项技术，提出了以浏览器

基于资源树的网格资源遍历并行实现

计算机科学. 2006, 33 (5): 139-141.

摘要 ( 78 )

PDF(240KB) ( 313 )

相关文章 | 多维度评价

本文提出了网格环境下的并行计算模型G-PRAM，并在此基础上提出网格资源树遍历的一种并行实现算法，最后给出示例和说明。

高维空间数据索引结构分析研究

古毅吴中福魏丽钟将马金亮

计算机科学. 2006, 33 (5): 142-145.

摘要 ( 88 )

PDF(271KB) ( 271 )

相关文章 | 多维度评价

索引机制是数据库和多媒体领域的重要研究课题，很多在大规模数据集里进行相似性检索的应用都需要有效的高维索引结构来加速查询过程。本文总结了多维索引结构的特点、分类及查询方式，分析了影响索引结构性能的主要因素及其性能评价准则，最后介绍了索引结构的最新发展，并结合多维索引结构目前存在的问题，说明了今后研究的方向。

基于GridFTP的数据传输设计与实现

计算机科学. 2006, 33 (5): 146-147.

摘要 ( 78 )

PDF(216KB) ( 462 )

相关文章 | 多维度评价

GridFTP是Globus网格计算环境中数据管理的一个通用的数据传输协议，具有支持GSI的安全机制、三方控制、并行传输等功能。通过对GridFTP协议的分析，描述了三方控制数据传输体系结构，设计了GridFTP客户端控制软件，详细介绍了基于GridFTP数据传输的安全认证、数据传输过程和客户端三方控制数据传输的实现。

嵌入式SQL中动态SQL技术的研究

计算机科学. 2006, 33 (5): 148-151.

摘要 ( 70 )

PDF(280KB) ( 438 )

相关文章 | 多维度评价

对动态SQL技术进行了研究，实现了一个嵌入式SQL系统中动态SQL语句处理的3种方法。首先介绍了整个嵌入式SQL系统GKD-ESQL系统，然后详细描述了3种动态SQL语句的处理方法，重点讲述了方法3的设计与实现，最后讲述了动态SQL语句的错误处理机制。

Client／Server数据库模型下的并发控制与恢复技术

计算机科学. 2006, 33 (5): 152-155.

摘要 ( 74 )

PDF(343KB) ( 253 )

相关文章 | 多维度评价

并发控制与恢复技术在client／server结构DBMS中有着极其重要的地位，直接关系到运行的正确性以及数据库的健壮性。在Client／Server结构中，进行日常事务处理时的首要任务就是保持缓存的一致性，这是进行并发控制的基础。本文详细地分析和研究了Client／SerVer中用到的缓存算法和恢复技术，指出了现有技术存在的不足，并对其发展趋势进行了展望。

空间数据库中约束K最接近对查询

刘小峰刘云生肖迎元

计算机科学. 2006, 33 (5): 156-158.

摘要 ( 89 )

PDF(258KB) ( 323 )

相关文章 | 多维度评价

定义了满足空间约束的K最接近对查询，该查询检索两个数据集在给定约束区域中的K最接近对。在空间数据库中，对采用R树类型索引存储的数据集给出了三个查询处理算法。其中两阶段的RJ和JR算法采用了变换范围查询和最接近对查询执行顺序的策略。单阶段基于堆的SPH算法采用了最好优先的策略，并利用给出的裁减规则、更新规则和访问顺序规则来提高查询处理效率。实验表明SPH具有较好的适用性和性能。

基于UML-Statecharts的工作流控制结构的验证

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

摘要 ( 100 )

PDF(274KB) ( 235 )

相关文章 | 多维度评价

工作流模型验证成为工作流的重要研究领域之一。控制结构的正确性是工作流过程所需达到的最基本要求，本文着重控制结构方面的验证。本文使用UML-Statecharts建立控制结构模型，使用时序逻辑表示工作流控制结构需要满足的性质。给出了一个定理并进行了证明，基于定理给出了一个验证完全性的算法，对于工作流语义相关性质的验证给出了一模型检测算法。

数据流变化的检测

聂国梁卢正鼎

计算机科学. 2006, 33 (5): 162-165.

摘要 ( 132 )

PDF(270KB) ( 374 )

相关文章 | 多维度评价

通过对数据流的两个相邻窗口的比较，检测出绝对变化较大的元素，以此来描述流数据的变化。把单个窗口中的数据流划分成若干层，在每层上对数据值域进行分段。然后在每层上定义若干分段集合，并对分段集合进行求和运算。通过对两个窗口的概要结构进行合并，采用二分法，利相集合的分解，可以求得变化较大的元素。理论和实验证明，本算法利用对数空间有效地解决了数据流中变化较大元素的检测问题。

地理信息系统中地图无级漫游的实现方法之研究

陈雪龙王延章许永涛

计算机科学. 2006, 33 (5): 166-168.

摘要 ( 128 )

PDF(232KB) ( 583 )

相关文章 | 多维度评价

本文在分析现存GIS软件中处理多幅不同比例尺地图的缩放漫游时的不足的基础上，分别从横向、纵向两个方面提出了多幅不同比例尺地图的无级漫游方法，并对方法的实现进行了探讨。该方法已经成功应用于国家“十五”科技攻关项目“面向行政区域的国民经济与社会发展的辅助决策支持技术的应用”中，取得了良好的应用效果。

哼唱检索中一种新颖有效的哼唱信息处理方法

马志欣周利华

计算机科学. 2006, 33 (5): 169-172.

摘要 ( 118 )

PDF(378KB) ( 316 )

相关文章 | 多维度评价

在基于哼唱的音乐检索系统的研究中，对哼唱输入与数据库进行合理的近似匹配以及有效的检索方法的研究不断深入，但对于哼唱音频信息的有效处理以提取准确有效的旋律特征信息构造查询的研究还不充分。本文在已有的哼唱信息处理方法之上，提出了一种结合了哼唱语音信号增强技术以及时域与频域处理技术的哼唱转谱方法，包括采用了分级音符分割方法、基于规则的音高跟踪方法，并提出一种合理的旋律特征表达的中问格式，用于哼唱查询构造。实验结果证明了这种时哼唱信息转谱处理新方法的有效性和准确性。通过降低哼唱转谱过程中引入的误差，进而可以有效地

HNC理论的语句格式的新进展

计算机科学. 2006, 33 (5): 173-177.

摘要 ( 77 )

PDF(349KB) ( 243 )

相关文章 | 多维度评价

为了适应语言中惯常出现的SVO表达语序，HNC理论对原有语句格式代码表（98版）进行了大幅度的调整，重点是重新界定基本格式的范围，扩充基本格式代码，使所有SVO语序的表达都可以用基本格式表示。同时，为了便于计算机处理和人类专家使用，新格式代码对代码中的每一数字都做了更加细致的约定，可以直接从代码得到具体的格式信息，而不用查阅格式代码表。本文详细说明了新版格式代码的设计思路及其带来的新变化，指出了新版格式代码与98版格式代码表的不同。

面向KDD的粒度计算建模研究

计算机科学. 2006, 33 (5): 178-181.

摘要 ( 58 )

PDF(362KB) ( 304 )

相关文章 | 多维度评价

给出了全粒度空间的拓扑结构模型，进一步介绍了面向粒度计算的产生式决策逻辑语言GDL-language，然后定义了面向粒度描述的正基语言，阐明该语言公式的语义解释，给出了一种“全粒度空间＋正基语言”的粒度计算模型，并找到了正基语言系统、粒度空间和基本概念空间的关系定理。最后，把KDD任务归结为基于该模型的粒度计算问题，这样就可以把各种KDD任务统一到一个理论框架下，也便于比较和研究。这些工作无疑对令后知识发现的研究起着重要的作用．

带障碍的空间分级聚类算法

周丽华王丽珍陈克平

计算机科学. 2006, 33 (5): 182-185.

摘要 ( 73 )

PDF(342KB) ( 385 )

相关文章 | 多维度评价

带障碍的聚类问题是一个具有实际应用价值的问题，因为现实世界中确实存在河流、山脉等之类的物理障碍，这们的存在会影响聚类结果的合理性。传统的聚类算法在进行空间数据的聚类时，往往忽略了障碍对于聚类结果的影响。本文讨论了不同障碍对数据点间连通性的不同影响，提出了带障碍的分级聚类算法OBHIEC。分级聚类方法使得需要计算障碍距离的点对数目减少，并能处理数据分布密度不同的情况。实验结果表明，OBHIEC算法能有效完成带障碍的聚类，并具有较好的增量特性。

空间孤立点检测

计算机科学. 2006, 33 (5): 186-187.

摘要 ( 69 )

PDF(201KB) ( 302 )

相关文章 | 多维度评价

空间孤立点是指与邻居具有不连续性的空间点，或者是偏离观测值以至使人们认为是由不同的体系产生的。空间孤立点检测在交通、生态、公共安全、卫生健康、地震、海啸等领域有广泛应用。传统的根据一个非空间属性值进行孤立点判断的方法客易引起孤立点判断失误。作者在针对多个属性进行考虑的基础上，提出以空间维确定邻居关系，非空间维定义距离函数，使用Mahalanobis距离检测孤立点，研究一种新的检测空间孤立点的算法。并时时间复杂度进行分析。仿真实验说明算法可以有效地发现大规模空间数据中的孤立点。

具有动态调节功能的Fisherface方法

计算机科学. 2006, 33 (5): 188-190.

摘要 ( 240 )

PDF(218KB) ( 271 )

相关文章 | 多维度评价

高维、小样本数据的识别问题，始终是模式识别领域的热点和难点问题。由于训练样本数量很少，当以样本的协方差矩阵作为模式协方差矩阵的估计时，会产生较大的偏差。这是造成模式分类错误的主要原因。本文在详细论述Fisherface方法的基础上，提出了具有动态调节功能的Fisherface（DA-Fisherface）方法。该方法利用测试样本完成了对样本协方差矩阵的动态调节，减小了因样本数目很少所造成的偏差，从而实现了对Fisher鉴别矢量集的优化。最后，在ORL人脸库上的实验结果表明，该方法的模式分类正确率比Fish

解析中心机ACM收敛性的研究

朱嘉钢王士同

计算机科学. 2006, 33 (5): 191-194.

摘要 ( 85 )

PDF(268KB) ( 255 )

相关文章 | 多维度评价

从理论上看，支持向量机（SVM）的解对应于样本空间最大超球体的中心，而最新的由T．B.Trafalis等人提出的解析中心机（ACM）的解对应于样本空间最大超球体的解析中心。理论和实验表明，解析中心机的泛化性能要优于支持向量机，但其收敛性问题尚待解决。本文研究了解析中心机的收敛性问题，证明了只要满足一定的条件，解析中心机是收敛的。

Vague集的相似度量

闫德勤

计算机科学. 2006, 33 (5): 195-196.

摘要 ( 84 )

PDF(109KB) ( 262 )

相关文章 | 多维度评价

Vague集的相似性度量对于知识表达、模式识别等人工智能研究具有重要意义。Chen给出的关于Vague集的相似性度量体现出注重确定Vague集中总体肯定度相似的思想，但相似度量的公式存在度量上的不足，也蕴含了在Vague集的不可知部分接支持度和反对度各占一半的概率计算，这样既不客观也不合理。为此，提出了一种改进的相似度量。

再论Vague集间的相似度量公式

计算机科学. 2006, 33 (5): 197-199.

摘要 ( 131 )

PDF(179KB) ( 247 )

相关文章 | 多维度评价

列举了大量Vague集间的相似度量公式。例题务析表明它们中的大多数都有缺陷。本文用分段函数的方法试图修补这些公式，使得这些公式中的大多数都能够继续使用。这项工作有益于Vague集理论的发展。

前向Beam搜索粗糙集属性约简算法

计算机科学. 2006, 33 (5): 200-204.

摘要 ( 59 )

PDF(275KB) ( 227 )

相关文章 | 多维度评价

从属性集互信息的角度分析了粗糙集理论的属性约简问题。粗糙集属性约简通常采用Best-first启发式搜索。本文运用属性集互信息作为属性约简度量，提出了前向Beam搜索粗糙集属性约简算法。实验表明，属性约简算法具有良好的运行效果。

知识标记与自动推理Web服务的研究

计算机科学. 2006, 33 (5): 205-210.

摘要 ( 66 )

PDF(429KB) ( 272 )

相关文章 | 多维度评价

Internet环境下的知识表示与自动推理是广大人工智能及相关领域研究者面临的新课题。为了给自动推理领域提供一个统一的问题（知识）表示格式及为Web用户提供自动推理Web服务，提出了一个基于多种类逻辑的知识标记语言MSKML（Many Sorted Knowledge Markup Language的简写），实现了使用RLD（Rightmost Linear Deduction）演绎策略的多种类谓词演算的COM对象Prover来提供自动推理Web服务ProverService。ProverService采

基于Web的中文开放式问题回答系统

计算机科学. 2006, 33 (5): 211-213.

摘要 ( 71 )

PDF(300KB) ( 310 )

相关文章 | 多维度评价

互联网正逐渐成为重要的信息资源，然而大多数搜索引擎不能处理自然语言提出的问题。基于互联网的中文问题回答系统由问题处理、信息检索、答案抽取和答案判断组成，利用命名实体识别、语义依存关系和案例规则模板实现答案抽取。实验表明：命名实体识别、语义依存关系和案例规则模板能有效地实现答案抽取，获得较高正确率。

倒立摆系统稳定控制之研究

刘丽何华灿

计算机科学. 2006, 33 (5): 214-219.

摘要 ( 139 )

PDF(436KB) ( 1657 )

相关文章 | 多维度评价

多级倒立摆系统作为一个典型的非线性、多变量、高阶次、强耦合和自然不稳定的复杂被控系统，一直是人们检验、比较各种控制理论和方法的理想实验平台，半个多世纪以来，国内外许多机构对它进行了广泛的研究，积累了丰富的资料。这里对多级倒立摆稳定控制的研究现状进行总结，探讨了它的发展趋势。目前主要的控制方法有线性控制、预测控制和智能控制三类，智能控制是当前研究的主流，它包括模糊控制、拟人控制、计算智能控制、云模型控制等。继续深入研究各种智能控制方法及其组合应用是今后的发展方向。

一个基于语言变量认知流的认知建模方法

黄向阳尹怡欣曾广平涂序彦

计算机科学. 2006, 33 (5): 220-221.

摘要 ( 98 )

PDF(196KB) ( 286 )

相关文章 | 多维度评价

提出了一种新的认知流（epistemic fluent）用来解决自主角色的感知和推理问题。该方法是在John Funge的区间取值认知流的区间上定义相应的语言变量（linguistic variables）。新方法能够将离散取值认知流和连续取值认知流统一起来，并且使得自主角色的认知模型更简单。文章还描述了怎样解决不可数“可能世界”的问题，以及新认知流怎样用来推理不等式。

知识网格环境下基于TMs的协同认知

计算机科学. 2006, 33 (5): 222-226.

摘要 ( 79 )

PDF(335KB) ( 304 )

相关文章 | 多维度评价

协同认知，形式上表现为问题解决环境下拥有各自知识的实体，根据一定的学习规则在个体认知的基础上，协同完成某项认知任务。协同认知的参与者可能处于不同地点，因而分布式环境下的知识共享显得尤为重要。本文通过对网格环境下Topic Maps（TMs）这一知识表示手段的应用扩展，对网格环境下的知识表示和知识传播进行了研究，提出了有别于传统网络查询的查询机制。在对协同认知的元学习及群学习进行分析与定义的基础上，将机器处理和心智学习有机结合，构造了一个面向知识网格环境的协同认知学习机制，并相应地给出了一个基于TMs的认知

Domino／Notes的知识管理与OAS的融合研究

宋贤钧

计算机科学. 2006, 33 (5): 227-228.

摘要 ( 98 )

PDF(221KB) ( 264 )

相关文章 | 多维度评价

知识管理是一个系统工程，目标是帮助企业发现潜在知识、定位拥有专门知识的人、传递知识和有效利用知识，办公自动化系统是信息化建设的一个重要内容。知识管理是OAS的发展趋势，知识管理与OAS的融合，无论从理论还是实现上都有其必然性。Domino／Notes提供的知识管理技术框架，可以帮助企事业单位快速部署其知识管理软件体系。

实现态势估计的一种模板匹配算法

计算机科学. 2006, 33 (5): 229-230.

摘要 ( 60 )

PDF(257KB) ( 364 )

相关文章 | 多维度评价

态势估计可归为一个多假设动态分类问题。如何找到态势假设和发生事件间的关系，是态势估计系统需要解决的问题。本文讨论了基于模式的态势知识库的建立，给出了一种基于模板匹配的知识推理算法，并运用专家系统工具CLIPS实现了事件／活动、军事计划的模板表示及推理，表明了使用模板匹配的方法求解态势估计问题的可行性。

多机Flow Shop加权完成时间调度问题的渐近最优算法研究

计算机科学. 2006, 33 (5): 231-233.

摘要 ( 71 )

PDF(188KB) ( 318 )

相关文章 | 多维度评价

最近Chou、Queyranne和Simchi—Levi，Liu分别证明了恒速平行机调度问题和Flow shop调度问题的基于有效作业加权最短处理时间的启发式算法是渐近最优的。本文使用分组机器模型的方法证明：即使对于多机Flow shop加权完成时间调度问题，基于有效作业加权最短处理时间的启发式算法也是渐近最优的。关键词调度，多机Flow shop调度，启发式算法，渐近最优分析

一种求解矩形块装填问题的拟人算法

陈端兵黄文奇

计算机科学. 2006, 33 (5): 234-237.

摘要 ( 75 )

PDF(241KB) ( 471 )

相关文章 | 多维度评价

在货物装载、木材下料、超大规模集成电路（VLSI）设计等工作中提出了矩形块装填与切割问题，对这一问题，国内外学者提出了诸如模拟退火算法、遗传算法及其它一些启发式算法等求解算法。本文利用人类的智慧和他们上万年以来形成的经验，提出了一种求解矩形块装填问题的拟人算法。谊算法使用了两个主要的思想策略，即矩形块选择策略和矩形块放置策略。用本文提出的算法，对21个测试算例进行了实算测试，测试结果表明：算法所得装填结果的优度高，计算时间短。对这21个测试算例。用本文算法计算，得到了其中16个算例的最优解，而计算时间都在

感知归类在目标识别中的应用研究

魏丽吴中福李云古毅

计算机科学. 2006, 33 (5): 238-240.

摘要 ( 159 )

PDF(185KB) ( 286 )

相关文章 | 多维度评价

感知归类是指人们在不拥有任何图像内容知识的前提下，从底层原始图像特征中提取有效的图像联系的一种视觉能力。本文着重介绍了感知归类方法在目标识别中的应用，通过使用感知归类中的接近、相似、连续等概念，逐步将底层的图像特征组合为高层的图像联系，直至获得有意义的语义表征。

决策树中数值型属性分裂的研究

刘友军汪林林

计算机科学. 2006, 33 (5): 241-243.

摘要 ( 70 )

PDF(187KB) ( 300 )

相关文章 | 多维度评价

在介绍了现有数值型属性分裂方法的基础上，引出了纯区间的概念，提出了一种基于纯区间归约的数值型属性分裂方法。该方法将属性值域用等宽直方图的方法划分为多个区间，对纯区间和非纯区间分别处理。理论分析和实验结果表明该方法在保证了分裂精度的同时，减小了搜索空间。

基于三维空间的概念格自动布局

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

摘要 ( 81 )

PDF(253KB) ( 266 )

相关文章 | 多维度评价

论文讨论了几种常见的概念格自动布局形式，通过对各种自动布局方式特点的分析，提出了概念格的三维自动布局策略，对三雏空间中的层次布局与层内节点自动布局问题进行探讨并加以实现，较好地解决了二维布局中格节点横向过度扩张和线段交叉的问题。

基于CB样条曲线的空间物体三维重建

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

摘要 ( 71 )

PDF(217KB) ( 282 )

相关文章 | 多维度评价

本文提出一种基于CB样条曲线重建空间不规则物体的方法。在仿射相机模型的假设下，利用CB样条曲线仿射不变性，以CB样条曲线为基元来重建空间物体。试验结果证明，与传统方法比较，该方法重建精度更高，算法复杂度也有较大改进。

基于小波突出点颜色及空间分布的图像检索算法

曾智勇周利华

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

摘要 ( 73 )

PDF(274KB) ( 262 )

相关文章 | 多维度评价

分析了基于兴趣点的图像检索方法的缺点，提出了一种基于小波突出点的图像检索新方法。该方法在小波域提取突出点，这些突出点既表示了全局变化也表示了局部变化；然后以小波突出点为线索，设计了基于小波突出点的环形颜色直方图，既利用了小波突出点的局部特征，又考虑了小波突出点的空间分布结构；用图像间的环形颜色直方图距离来度量图像间的相似性。该检索算法不但保证了对图像旋转、平移鲁棒性，而且克服了传统直方图没有空间位置的缺陷。实验结果表明，该方法对图像检索是有效的。

静态人脸识别的一种协同学方法

温万惠刘光远

计算机科学. 2006, 33 (5): 253-254.

摘要 ( 71 )

PDF(190KB) ( 266 )

相关文章 | 多维度评价

本文针对静态人脸识别设计了一种简单易行的协同算法，它不需要面部特征的准确配准，当系统中的模式有增减时，算法可以快速获得新的原型向量和伴随向量。此外，对注意参数的两种情况的设置使算法的识别效果较单一平衡注意参数更好。仿真实验证明，该算法具有较好的识别效果。

一种适合Web图像检索的图像降维算法研究

鲁珂赵继东曾家智

计算机科学. 2006, 33 (5): 255-256.

摘要 ( 85 )

PDF(557KB) ( 252 )

相关文章 | 多维度评价

本文对现有Web图像检索技术现状进行了归纳，分析阐明了图像降维算法在基于内容的Web图像检索技术中的地位和作用。在介绍了几种经典图像降维方法后，重点介绍了国外近来提出的基于拉普拉斯特征值映射（LE）的图像降维算法。针对Web环境下图像检索必须进行剧烈降维的特点，本文进而对基于KL变换的主成分分析（PCA）算法和基于LE的图像降维算法进行了实验分析和比较。实验结果表明：对于需要进行维数剧烈缩减的Web图像检索来说，基于LE的图像降维算法可以获得最佳的效果。

一种快速的基于边缘的道路检测算法

杨文杰胡明昊杨静宇

计算机科学. 2006, 33 (5): 257-260.

摘要 ( 120 )

PDF(265KB) ( 331 )

相关文章 | 多维度评价

道路检测是机器人视觉导航中的重要环节。本文提出了一种新的非结构化道路检测算法。算法基于这样的一个基本假设，即道路的轮廓由一些具有一定长度的连续直线段组成。在一定的范围中通过计算边缘点，然后通过Hough变换求得直线段，从而确定道路边界的位置。但是边缘图像中不仅仅包含道路的边缘，还有阴影，植物等其他的边缘。如果不消除这类边缘的影响，将大大削弱算法的效率和准确性。本文提出一种基于颜色和方差的规则有效地消除这类非道路的边缘。一旦当前帧中获取道路的边缘，通过限定下一帧中的感兴趣区域（ROD减少搜索范围从而快速定位

一种基于累计角度偏差的圆弧拟合方法

周翔王崇骏伍静陈世福

计算机科学. 2006, 33 (5): 261-263.

摘要 ( 94 )

PDF(189KB) ( 677 )

相关文章 | 多维度评价

矢量化是图像自动编针中很重要的步骤。为了改进现有的圆弧拟合方法，我们提出了基于累计角度偏差的圆弧拟合方法。并且已成功运用于ECAD中的图像自动编针子系统中，获得了良好的效果。

非单调变化区间插值曲线的实现方法

陈应祖刘玉娟彭军

计算机科学. 2006, 33 (5): 264-266.

摘要 ( 74 )

PDF(181KB) ( 466 )

相关文章 | 多维度评价

利用三次贝塞尔曲线特性，获取离散数据点为非单调变化区间的插值曲线。对绘制工程曲线、光滑工程曲线以及产生工程计算中的过渡点具有实用意义。

语义相关的中粒度动态更新技术研究

杨沙洲杨学军

计算机科学. 2006, 33 (5): 267-269.

摘要 ( 68 )

PDF(239KB) ( 274 )

相关文章 | 多维度评价

软件动态更新技术是保证系统长时间的可靠运转和高可配置能力的关键技术，软件系统愈趋复杂的今天，其重要性得到越来越多的认同。这一技术通常可分为以代码插入技术为代表的细粒度更新和构件级的粗粒度更新两类，两者在灵活性、适用性上都有各自的不足。本文针对现有动态更新技术的不足，将一组具有语义相关性的功能集合作为参与动态更新的对象，提出了一种应用于传统操作系统运行环境的中粒度动态代码更新机制PRODUP（PRO-vider-based Dynamic UPdate system），使得传统操作系统及应用程序也具备一定的

面向线程级前瞻的线程划分方法浅析

鲁建壮王志英张春元

计算机科学. 2006, 33 (5): 270-272.

摘要 ( 121 )

PDF(312KB) ( 292 )

相关文章 | 多维度评价

正确合理的线程划分方法是提取线程级并行性的必要前提，线程级前瞻技术是简化线程划分复杂度提高系统性能的重要手段。本文讨论了几种支持线程级前瞻的典型线程划分方法，在此基础上提出了线程级划分需要解决的关键问题，并蛄合一典型自动线程划分算法进行了具体分析，提出了线程划分需要进一步研究的问题。

SMPED：一种新型高性能服务器体系结构

任立勇卢显良韩宏侯孟书

计算机科学. 2006, 33 (5): 273-276.

摘要 ( 77 )

PDF(337KB) ( 323 )

相关文章 | 多维度评价

分析了几种服务器软件体系结构存在的优点与缺陷，设计了一种结合多进程并发与单进程事件驱动优点的对称式多进程事件驱动SMPED服务器体系结构。提出了一种新颖的连接调度算法，该算法根据服务器实际吞吐量进行连接分发和资源分配，试图实现服务器吞吐量最大化。仿真试验证明，SMPED服务器性能在多种网络条件下明显优于现行服务器。

嵌入式实时系统容错集成技术的研究

计算机科学. 2006, 33 (5): 277-281.

摘要 ( 71 )

PDF(352KB) ( 254 )

相关文章 | 多维度评价

本文提出了一种用于嵌入式实时系统的集成检查点回卷、任务重复和DVS的容错方法。该方法支持处理器速度的在线调整，并根据系统的特点，分别插入额外的SCP或CCP点，有效使用检查点的存贮和比较功能，减少任务的执行时间，提高系统性能。通过概率原理导出了该方法任务的平均执行时间。仿真结果表明在DMR系统上，与原有的方法相比。所提出的方法明显减少了任务的平均执行时间。在此基础上，进一步提出了可适配处理器速度的算法，在减少任务执行时间的同时又节约系统能源。本文研究成果也可用于其它任务重复系统，如TMR-F、DMR-F-

一种可扩展的构件库数据模型

计算机科学. 2006, 33 (5): 282-286.

摘要 ( 60 )

PDF(425KB) ( 286 )

相关文章 | 多维度评价

在基于构件的软件开发（CBSD）中，构件库是描述、存储和检索软件构件的基础设施。随着软件复用技术的成熟，构件库中构件的种类日益增多，构件间关系日渐复杂。这需要构件库数据模型提供相应的支持。为了给构件库的实施者和管理者提供指导，有效地发挥构件库的作用，本文提出了一种可扩展的构件库数据模型ECLDM。该模型以UDDI和BIDM为基础，对其结构进行了修改和扩充，并定义了扩展机制。利用本模型可以有效地描述和管理构件库中各种信息，并可以和UDDI、BIDM进行互操作。

Petri网性质的线性时序逻辑描述与Spin检验

段风琴李祥

计算机科学. 2006, 33 (5): 287-289.

摘要 ( 83 )

PDF(176KB) ( 283 )

相关文章 | 多维度评价

Petri网是描述并发系统的很直观的图形工具Spin是一种著名的分析验证并发系统性质的工具。本文首先论述Petri网性质的线性时序逻辑描述，研究用Promela编程描述Petri网和用Spin对Petri网性质进行检验的方法，最后通过两个具体的示例说明这种方法是成功的。

支持共享和复用的测试用例库系统的设计

计算机科学. 2006, 33 (5): 290-291.

摘要 ( 76 )

PDF(143KB) ( 357 )

相关文章 | 多维度评价

测试用例的共享和复用对于提高测试工作的效率极为重要，本文提出了一个支持共享和复用的测试用例库系统，文章首先时测试用例的管理属性和测试用例体进行建模，然后描述了系统的版本管理、导出导入和统计等多项功能。

JAC技术实现生产者-消费者问题

朱红殷兆麟

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

摘要 ( 100 )

PDF(273KB) ( 297 )

相关文章 | 多维度评价

JAC技术通过扩展JAVA注释实现并发，具有并发表达层次高、并发逻辑与应用逻辑分离、软件复用进一步加强等优点。论文利用JAC技术解决生产者-消费者问题，阐述了JAC技术的使用及其线程同步能力。