计算机科学

吕泽华陈传波秦培煜

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

摘要 ( 92 )

PDF(250KB) ( 465 )

相关文章 | 多维度评价

直觉模糊集（intuitionistic fuzzy sets）、区间值模糊集（interval-valued fuzzy sets）以及Vague集对普通fuzzy集的扩展是给出了隶属度的上下限，把隶属度从[0，1]区间中的一个单值推广到了[0，1]的子区间。但是该子区间犹如一个黑洞，隶属度在其内部的分布情况我们无从知晓，即这个子区间中的每一个值是等可能地作为元素的隶属度还是区间中的某些值较另外的值有更大的可能性呢？为了清晰的刻画出元素的隶属度在[0，1]区间中的分布情况，本文通过对投票模型的分析及正态

定性方向关系模型研究进展

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

摘要 ( 86 )

PDF(306KB) ( 355 )

相关文章 | 多维度评价

空间关系形式化模型的发展是空间推理、地理信息系统（GIS）、机器人导航等领域的一个非常重要的研究内容，近年来受到相关领域研究者的极大重视。空间对象的方向关系模型的研究已经取得了一定的进展。本文介绍了近年来空间对象的方向关系形式化模型的主要研究内容、研究方法和研究进展，对已有的方向关系模型做了比较，并探讨了目前存在的问题和今后的发展方向。

一种自适应跨层空间子信道分配算法——基于多用户MIMO／OFDM系统

卢小峰朱光喜宁国勤韩锋

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

摘要 ( 93 )

PDF(291KB) ( 294 )

相关文章 | 多维度评价

MIMO／OFDM是未来宽带无线通信接口的有效架构。本文提出了一种自适应跨层空间子信道分配算法，在多用户MIMO／OFDM系统中，联合链路层截短ARQ（T-ARQ）技术，以获取物理层最大的系统吞吐量为目标，推导了子载波分配准则，并给出了相应的算法流程。仿真结果表明，该算法具有良好的性能，有效地提高了系统的传输速率。

高维Turnstile型数据流聚类算法

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

摘要 ( 92 )

PDF(365KB) ( 409 )

相关文章 | 多维度评价

现有数据流聚类算法只能处理Time Series和Cash Register型数据流，并且应用于高维数据流时其精度不甚理想。提出针对高维Turnstile型数据流的子空间聚类算法HT-Stream，算法对数据空间进行网格划分，在线动态维护网格单元信息，采用倾斜时间窗口存储统计信息，根据用户指定时间跨度离线输出聚类结果。基于真实数据集与仿真数据集的实验表明，算法具有良好的适用性和有效性。

对一种新的基于实测的无线网络呼叫接入控制算法的性能研究

伍仁勇朱光喜

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

摘要 ( 96 )

PDF(201KB) ( 289 )

相关文章 | 多维度评价

本文对一种新的基于实测的呼叫接入控制算法进行了仿真分析。研究结果表明预测算法均方差很小，同时不同多媒体业务的切换阻塞率和在总允许接入呼叫数中所占比例，在业务负载低于系统容量时满足要求；而在高负载情况下，性能出现分化，其中高带宽业务的服务质量下降更快。

P2P系统的性能优化：研究综述

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

摘要 ( 251 )

PDF(309KB) ( 350 )

相关文章 | 多维度评价

Peer-to-Peer（P2P）计算模型在利用和管理日益增长的分布式信息和资源方面是一种非常成功的计算模型。但是这种计算模式也有一些缺点，特别是decentralized unstructured P2P系统，它将随机选择邻居和blind flooding search机制联合起来使用，使系统的网络开销急速地增加，严重地影响了系统的性能。本文介绍了减少decentralized unstructured P2P系统网络开销的各类方法，对它们的优缺点进行了详细的比较，并根据比较的结果对今后的发展趋势进行了

一个基于图邻接矩阵模型的多跳Ad Hoc网络路由协议及网络性能分析

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

摘要 ( 89 )

PDF(264KB) ( 365 )

相关文章 | 多维度评价

在无线网络数学图论模型的基础上，提出了一个基于多跳邻接矩阵的无线Ad Hoc网络的路由选择协议（MRP）并和DSBR协议作了比较仿真分析，分析了信息传输的误比特率问题并提出了控制方案，以及分析了节点移动性对无线网络信干比（SINR）期望性能的影响并得出信干比期望性能随节点移动速度的增大而增大、随发射距离的增大而减小的结论。

使用TTCN-3的端到端性能测试系统

蒋凡万小飞

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

摘要 ( 105 )

PDF(209KB) ( 317 )

相关文章 | 多维度评价

介绍了网络端到端性能测试的基本概念和方法。在一致性测试框架上，使用TTCN-3测试语言，设计了端到端性能测试系统TTPerf。它的测试结构灵活，测试套开发方便。

基于Manhattan距离的网络拓扑推测方法研究

李勇军蔡皖东王伟田广利

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

摘要 ( 90 )

PDF(206KB) ( 295 )

相关文章 | 多维度评价

网络拓扑推测是网络断层扫描研究内容之一，是推测网络内部链路性能的前提条件。目前的网络拓扑推测方法主要是基于网络性能参数的极大似然估计方法，随着网络规模的增加，计算量相对较大，还有些需要先验知识，从而影响在实际网络中的应用。为了克服这些问题，作者提出了一种新的网络拓扑推测方法，通过直接计算节点间测量数据的Manhattan距离，对节点进行分组，从而推测网络的逻辑拓扑结构。该方法计算简单且准确推测的概率收敛速度快，在实际网络环境中有应用价值。

分布式IP分片处理问题的研究

郭方方杨永田

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

摘要 ( 89 )

PDF(280KB) ( 372 )

相关文章 | 多维度评价

传统的IP分片处理技术只适用于单检查点网络。但随着分布式网络应用的飞速发展，这种传统的TCP／IP协议的基础技术越来越不能适应新的网络环境，而且给网络新技术的推广和应用带来了阻碍。该文在分布式HASH算法的基础上提出了在分布式环境下，多点间协同处理IP分片问题的解决办法，将IP分片赋予某个特定的HASH函数值并由相应的检查点来处理。除此之外还利用折叠异或法提高了HASH算法的计算速度，并且利用前插链表法提高了HASH算法解决冲突问题的效能。通过仿真试验表明该算法可以应用于分布式的网络环境，并且拥有较好的网

无线传感器网络中基于网格的覆盖问题研究

汪学清杨永田孙亭张忠林

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

摘要 ( 104 )

PDF(219KB) ( 310 )

相关文章 | 多维度评价

在无线传感器网络中，传感器节点数量直接关系到整个无线传感器网络的成本，而且该问题也和无线传感器网络的性能如鲁棒性、容错性密切相关，同时这也是无线传感器网络设计时首先要考虑的问题，所以该问题的研究对无线传感器网络具有理论和实践的重要意义。通过把复杂的覆盖问题逐步化简，并利用数学建模、理论分析和公式推导，采用几何理论和数学归纳法的思想，从拓扑学的角度给出了传感器区域的一种网格划分方法。最后从理论上给出了在一个实现完全无缝覆盖的探测区域内最少需要多少节点的解析表达式。

一种用于MIPv6平滑切换的移动缓存和评价方法

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

摘要 ( 64 )

PDF(362KB) ( 266 )

相关文章 | 多维度评价

已经提出的移动IPv6平滑切换框架中，普遍使用接入路由器进行移动信令的处理、数据的缓存和转发操作，这种结构很难在实际的网络环境中部署和使用。本文提出了一种用于移动IPv6平滑切换的移动缓存；分析了缓存转发过程的时序特征；提出了使用包丢失率和包乱序率对缓存转发过程进行性能评价的一般方法，并给出了计算公式和取值方法；通过模拟实验，对评价方法进行了分析和验证。通过对移动缓存和评价方法的使用，能够有效优化平滑切换结构，并提高缓存转发性能。

TGrid实现的关键算法

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

摘要 ( 72 )

PDF(316KB) ( 303 )

相关文章 | 多维度评价

TGrid是我们提出基于树形结构的面向高性能计算、面向主题的资源共享和新一代的需求建模的一种新的网格环境。本文在分析TGrid其特点的基础上，讨论其实现的关键问题，给出了树的建立、动态重构、任务分配等关键算法，重点描述了TGrid实现大规模并行处理的动态负载平衡算法，并进行模拟实验和分析，最后给出华南树型高性能计算网格的实例。

基于Lagrange的H．264率失真编码优化算法

李洛张剑

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

摘要 ( 102 )

PDF(290KB) ( 876 )

相关文章 | 多维度评价

为了进一步提高编码速度，促进视频编码技术在多媒体通信领域的实际应用，本文对率失真视频编码的关键算法进行了深入的研究并提出了其优化方法，并从信息论理论出发，着重围绕图像压缩的理论，利用率失真特征数学模型、拉格朗日乘子法，对目前新一代的H．264视频标准进行编码算法模式选择，试图从最根本的理论角度探讨信源编码，以便得到更高的压缩比、更好的图像质量和更快的编码速度。最后，利用本文提出的编码模式优化算法，对H．264的JM61e（JUT Test Model）系统测试模型的性能进行全面测试。

数据包时延及控制策略的研究

胡金初

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

摘要 ( 118 )

PDF(257KB) ( 499 )

相关文章 | 多维度评价

许多网络应用使用TCP协议，为了能够获得可靠的数据传送服务，作为开发人员除了关心可靠性外，还要考虑拥塞控制的问题，本文中提到的拥塞控制窗口，能够实现数据速率的控制。TCP协议采用慢启动和拥塞避免策略实现端到端的数据传送。

路由器中的包分类算法研究

甘利杰

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

摘要 ( 82 )

PDF(214KB) ( 494 )

相关文章 | 多维度评价

在Internet路由器中将数据包分类成流采用了散列算法的基本思想，并引入了流的局部性原理来加速散列查找的过程，用软件对该算法进行了仿真测试，并在最后从时间复杂度和空间复杂度两个方面对其进行了性能分析。实验结果表明，该算法能够快速地实现分流。

一种可信网络接入认证模型和改进的OSAP协议设计与研究

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

摘要 ( 89 )

PDF(363KB) ( 296 )

相关文章 | 多维度评价

目前导致安全事件的主要原因是主机软、硬件结构存在设计漏洞并且对用户没有进行严格的认证和授权控制。传统安全防范的重点放在对服务器和网络的保护上，而忽略终端接入者本身的安全。但大多数的攻击事件都是由终端接入者本身不安全而引起发的，所以只有从终端接入的源头就建立起安全体系，内外共防来构造真正安全可信的网络环境。本文在参考现有认证技术和可信计算的特点的基础上，提出了一种基于可信计算平台的网络可信接入认证模型。利用此模型可以解决设备安全接入的认证问题。通过使用国际通用准则（（℃）评估后，也确定了此方法的有效性。通过

基于Jini的鉴别服务

于国良韩文报

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

摘要 ( 95 )

PDF(262KB) ( 306 )

相关文章 | 多维度评价

现有Jini结构中的鉴别机制，通常是服务提供者对服务请求者进行鉴别，而不能实现服务请求者对服务提供者的鉴别。为了保护系统的安全，本文采用带密钥的Hash函数给出了一种鉴别方案，以实现服务提供者和服务请求者的双向认证，并通过java2所提供的JAAS鉴剐和授权服务的开发框架，给出了具体的实现。

一种新的反SQL注入策略的研究与实现

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

摘要 ( 110 )

PDF(364KB) ( 809 )

相关文章 | 多维度评价

SQL注入是一种常用的且易于实施的攻击手段，对网络应用程序的安全构成严重威胁。本文提出并实现了一种新的反SQL注入策略：SQL语法预分析策略。该策略首先将SQL注入分类，并抽象出各类注入的语法结构；然后将用户输入预先组装成完整的SQI。语句，对该语句进行语法分析，如果发现具有SQL注入特征的语法结构，则判定为SQL注入攻击。策略的实现不需要修改已有的应用程序代码，也不需要修改任何服务器平台软件。实验表明，新的策略具有极好的SQL注入识别能力，并成功地避免了传统的特征字符串匹配策略固有的高识别率和低误判率之

CLS：一种支持状态图复用的攻击场景描述语言

齐德昱钱正平

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

摘要 ( 104 )

PDF(356KB) ( 296 )

相关文章 | 多维度评价

入侵检测描述语言是各种安全防护体系的核心，不仅影响到描述（检测）能力，而且影响执行效率。本文研究分析了国内外几种重要的入侵检测语言，提出了一种支持状态图复用的规则语言CLS。CLS简化了STATL的实现语义，通过组合状态图（实例）来达到同样的表达能力，以减少资源消耗，提高执行效率。CLS还针对网络入侵检测系统的需求，修改了STATL的状态、事件等静态语义元素，限制了其事件队列、代码块的功能，以简化实现。通过分析常见的网络协议层的攻击场景，我们建立了标准CLS扩展库，为用户进一步定制安全需求，提供了基本参考

一类新的六次剩余序列的线性复杂度

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

摘要 ( 70 )

PDF(111KB) ( 281 )

相关文章 | 多维度评价

本文构造了一类新的六次剩余序列，给出了该类序列的特征多项式和线性复杂度。结果表明该类序列具有较好的线性复杂度性质。

一个（t，n）门限签名-（k，m）门限验证的群签名方案

庞辽军李慧贤王育民

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

摘要 ( 87 )

PDF(230KB) ( 694 )

相关文章 | 多维度评价

基于离散对数问题，提出了一个（t，n）门限签名-（k，m）门限验证的群签名方案。在该方案中，n个签名者中至少t个合作可以生成有效的群签名；而m个验证者中至少k个合作可以验证签名的有效性。参与者的公、私钥以及群公钥由参与者共同协商，无需可信中心参与；参与者之间的信息可以以明文形式传送；能够抵御内部相互欺诈和外部攻击。方案的安全性是基于离散对数问题的难解性。

集成移动IP与移动Ad Hoc网络环境中的资源定位

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

摘要 ( 69 )

PDF(642KB) ( 344 )

相关文章 | 多维度评价

移动IP与移动AdH oc网络（MANET）结合可以充分扩大网络的覆盖范围，然而在这种集成环境下两个节点间的应用程序进行通讯目前还存在着问题，如名字唯一分配、域间域名解析、IP地址不固定造成的通讯中断等等。本文提出一种新的体系框架综合考虑名字唯一分配、地址自动配置、域名解析与移动IP机制，解决了上述问题。

基于VSM的分层网页推荐算法

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

摘要 ( 60 )

PDF(320KB) ( 367 )

相关文章 | 多维度评价

在面对大数据量时，传统的基于VSM的分层网页推荐算法由于分类的不准确，造成推荐精确率较低。该文针对这个缺陷提出了改进的分层推荐算法，该算法在推荐过程中综合考虑了领域和用户兴趣，以及网页和用户兴趣的相似程度，来为用户提供高效的个性化网页推荐。实验表明，该算法提高了网页推荐的精确率。

面向用户的普适计算系统可用性度量模型

王海鹏周兴社张涛向冬

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

摘要 ( 90 )

PDF(376KB) ( 409 )

相关文章 | 多维度评价

普适计算模式追求随时随地的计算境界，对相关可用性管理提出了很高的要求。现有研究大多基于定性的角度研究普适计算系统的可用性问题，本文尝试给出定量的可用性度量模型和分析。普适计算系统可用性具有典型的面向用户特点，为刻画用户行为需要引入具有非指数分布性质的模型状态，并且需要考虑用户态与系统态关联分析时的复杂情况。传统的连续时间马尔可夫链和半马尔可夫过程都不能很好地对以上情况给与分析。鉴于此，本文提出了一种基于马尔可夫重生过程（MRGP）的普适计算系统可用性度量方法。首先建立具有双扩展特点的用户模型，基于此构建了

信息系统中数据库操作自动化型元数据研究

许永涛王延章陈雪龙于淼

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

摘要 ( 86 )

PDF(274KB) ( 274 )

相关文章 | 多维度评价

本文提出了数据库操作自动化元数据的概念，并概括了它的特点，基于信息系统开发实践的角度，论述了信息系统中的五种数据库操作自动化型元数据，并给出这几种元数据的表示和管理方式。

时间UML-Statecharts建模的工作流时序约束的一致性验证

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

摘要 ( 72 )

PDF(309KB) ( 284 )

相关文章 | 多维度评价

工作流模型验证已经成为工作流的重要研究领域之一，工作流模型的时间正确性的验证也越来越受到关注。本文通过对于UML-Statecharts进行时间扩展，建立工作流的时间模型，再把该模型转化为时间自动机，最后分别在建立阶段、实例化阶段和运行阶段使用模型检测技术对时序约束的一致性进行验证，检查是否存在相冲突的时序约束。

PDM中工作流的过程定义工具的设计和实现

曹宝香李天盟王廷蔚

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

摘要 ( 102 )

PDF(416KB) ( 370 )

相关文章 | 多维度评价

本文介绍了一种基于Web的PDM工作流过程定义工具。该工具能按照WfMC的接口规范生成标准的XPDL，实现了工作流过程定义的标准化和开放性。该工具开发中使用了J2EE、Oracle、XMLHTTP、VML、wSC、HTC、BeanShell等技术。

基于邮局机制的Web服务安全集成模型的研究

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

摘要 ( 72 )

PDF(262KB) ( 278 )

相关文章 | 多维度评价

根据邮局服务的特征及其安全控制机制，提出了Web服务与安全的统一集成模型。设计了Web服务流安全环控制机制，用于保障Web服务动态合成过程中，群体Web服务安全的协同统一、Web服务实体多项安全技术的集成管理以及Web事务的无缝连接。

项目管理信息系统集成及其发展趋势

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

摘要 ( 87 )

PDF(390KB) ( 332 )

相关文章 | 多维度评价

介绍了项目管理系统集成的概念、现状和存在的问题，通过国内外集成模型和实例介绍了项目管理系统集成的具体应用，对目前系统集成的主要方法和今后的发展方向进行了探讨。本文还首次提出了基于本体论的项目管理系统集成方法和项目网格的概念。

Web集群中文档组织分布的优化策略

熊智晏蒲柳郭成城

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

摘要 ( 95 )

PDF(415KB) ( 266 )

相关文章 | 多维度评价

Web集群服务器已被广泛用来提高Web服务器的性能。对于如今内容海量级的大型网站来说，如何在Web集群服务器上组织和分布Web文档是一个急需解决的问题。本文提出了一种Web集群服务器中文档组织和分布的优化策略，其目是减少集群系统的平均响应时间。通过对Web服务器日志的分析，挖掘客户的访问模式，将关联度高的网页聚类成网页簇，然后根据网页簇的负载计算其拷贝份数，最后在集群中优化分布各网页簇的拷贝。以这种方法组织和分布文档，可以减少服务器端的TCP连接迁移开销，可以实现集群内的负载均衡，从而减小集群系统的平均响

基于网络的科研管理系统的设计

张燕

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

摘要 ( 94 )

PDF(150KB) ( 318 )

相关文章 | 多维度评价

设计基于网络的科研管理系统，分析C／S与B／S基本原理及本系统用户群特征，建立了C／S和B／S混合软件体系结构的科研管理系统，并给出保证数据安全与备份的方法。混合结构的科研管理系统，具有更好的安全性、易扩展性和可维护性。

软件工程在现代远程教育多媒体课件开发中的应用研究

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

摘要 ( 65 )

PDF(228KB) ( 259 )

相关文章 | 多维度评价

现代远程教育是建立在现代信息技术基础上的新型教育模式，而多媒体课件作为远程教育的重要载体，其开发制作技术尤为重要。在多年批量开发课件的经验基础上，本文提出现代远程教育多媒体课件开发应当采用软件工程的方法和思想，采用工程的概念、原理、技术和方法来开发与维护课件。本文以《Linux操作系统》为例介绍了课件的开发过程和开发思想，最后指出了多媒体课件开发技术的发展方向。

联系发现：一种新的数据挖掘方法综述

陈飞商琳骆斌陈世福

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

摘要 ( 115 )

PDF(523KB) ( 361 )

相关文章 | 多维度评价

联系发现是数据挖掘中较新的研究领域。联系发现是一种对海量数据进行挖掘，找出其中潜在模式，抽取有用知识并发现隐藏联系的技术。本文首先综述了联系发现的概念、范围、特点和难点等，详细介绍了联系发现的几种主要方法：无监督的联系发现方法（新颖联系发现）、使用归纳逻辑程序技术挖掘关联数据的联系发现方法、多假设反演推理的联系发现方法、基于相关分析的联系发现方法以及KOJAK组队探测器，讨论了联系发现系统性能评估的方法与联系发现的置信区间度量方法，并简要描述了联系发现的一个具体应用的实例一——证据抽取和联系发现研究计划（

使用二次连接神经网络的基于ART的分层聚类算法

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

摘要 ( 85 )

PDF(276KB) ( 306 )

相关文章 | 多维度评价

本文描述了二次连接神经网络的结构和特性，给出了该网络的非监督学习规则。使用二次连接的神经网络，描述了基于ART的层次聚类算法，并对算法的时间和空间复杂性进行了分析。为了检验算法的有效性，采用了一个人工的二维数据集合，并比较了本文提出的算法和具有代表性的K—means算法的执行效果。

高维数据的可视化和快速聚类算法

杨莉

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

摘要 ( 111 )

PDF(206KB) ( 343 )

相关文章 | 多维度评价

本文通过介绍一种用于高维数据的可视化方法，引入了可用于快速聚类的一种距离算法，该方法不仅具有鲁棒性而且有较低的计算复杂性O（n^1），最后我们将该方法用于金融数据立方体的聚类算法，主要用于挖掘庄家行为模式并作为是否存在操纵行为的依据。

一种视频局部高层语义特征提取算法

许源薛向阳

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

摘要 ( 91 )

PDF(403KB) ( 302 )

相关文章 | 多维度评价

准确提取视频高层语义特征，有助于更好地进行基于内容的视频检索。视频局部高层语义特征描述的是图像帧中的物体。考虑到物体本身以及物体所处的特定场景所具有的特点，我们提出一种将图像帧的局部信息和全局信息结合起来提取视频局部高层语义特征的算法。在TRECVID2005数据集上的实验结果表明，与单独基于局部或者单独基于全局的方法相比，此方法具有较好的性能。

基于斜率提取边缘点的时间序列分段线性表示方法

詹艳艳徐荣聪陈晓云

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

摘要 ( 107 )

PDF(372KB) ( 778 )

相关文章 | 多维度评价

本文引入解析几何中的斜率，提出了一种新颖的基于斜率提取边缘点的时间序列分段线性表示方法SEEP。对于斜率变化范围比较集中的时间序列，SEEP表示方法有着非常好的效果，与以往的分段线性表示方法相比，SEEP表示方法与原始时间序列之间的拟合误差更小，而且要小很多；对于斜率变化范围比较大的时间序列，SEEP表示方法与原始时间序列之间的拟合误差，和以往的分段线性表示方法相比，也相差不大，并且SEEP表示方法计算简单，易于实现。算法的时间复杂度仅为O（n），

基于最大关联规则的文本分类

何玉冯剑琳王元珍

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

摘要 ( 81 )

PDF(203KB) ( 254 )

相关文章 | 多维度评价

我们提出了一种新颖的、基于最大关联的文本分类方法—SAT-MOD＋。在文本分类中，以往的方法在挖掘频繁项集和关联规则的时候，往往是将整个文本看作一个事务来处理的，然而文本的基本的语义单元实际上是句子。那些同时出现在一个句子里的一组单词比仅仅是同时出现在同一篇文档中的一组单词有更强的语义上的联系。基于以上的考虑，SAT-MOD＋把一篇文档里的某些句子作为一个单独的事务。通过在标准的文本集上的大量实验，证明了SAT-MOD＋的有效性。

一种改进的序贯最小优化算法

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

摘要 ( 71 )

PDF(203KB) ( 317 )

相关文章 | 多维度评价

序贯最小优化（SMO）算法是目前解决支持向量机训练问题的一种十分有效的方法，但是当面对大样本数据时，SMO训练速度比较慢。本文分析了SMO迭代过程中目标函数值的变化情况，进而提出以目标函数值的改变量作为算法终止的判定条件。几个著名的数据集的试验结果表明，该方法可以大大缩短SMO的训练时间，特别适用于大样本数据。

基于GA与RST的分类规则挖掘算法

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

摘要 ( 121 )

PDF(203KB) ( 298 )

相关文章 | 多维度评价

本文提出了在没有任何领域知识可供借鉴的情况下，利用遗传算法对信息系统的数量型属性进行离散化，利用RST进行分类规则挖掘，将GA与RST相结合进行分类规则挖掘的新算法。该算法不仅有效地解决了利用粗糙集理论进行分类规则挖掘时，数量型属性的离散化问题，而且可挖掘出通用的分类规则。

基于粗糙神经网络的医学图像分类新方法

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

摘要 ( 56 )

PDF(260KB) ( 271 )

相关文章 | 多维度评价

由于乳腺X光图像的复杂性，直接从图像中看出肿瘤及其良、恶性质是比较困难的，因此建立高效的肿瘤自动诊断系统是非常必要的。文章将粗糙集理论中基于信息增益的约简方法和神经网络相结合，提出了粗糙神经网络算法RNN，将其应用于乳腺X光图像分类。实验结果表明，该方法的分类精确度可达到92．37％比单独使用神经网络方法的分类精确度（81．25％）要高，同时所花费的时间也明显减少。

聚类分析在彩色像景织物分色处理中的应用

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

摘要 ( 65 )

PDF(276KB) ( 303 )

相关文章 | 多维度评价

本文在彩色像景织物的图像传统分色基础上，结合数据挖掘中K—means聚类算法的不足之处，提出了一种改进的K—means彩色图像的聚类分析的分色方法和失真度指标，并通过实验对传统分色方法与改进的聚类分色方法的失真度进行比较，表明用该聚类方法具有较小的失真度，能起到与原纹样风格一致的效果。

含序信息的粗集方法研究

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

摘要 ( 111 )

PDF(465KB) ( 265 )

相关文章 | 多维度评价

经典粗集理论给出了不可识别、上近似、下近似、简式和核等概念，其核心思想是运用条件属性集导致的知识粒子来近似决策属性集导致的知识粒子，进而推导出规则。这些知识粒子的实质是根据存在于属性值问的等价关系得到的，而事实上可能存在某些属性，其属性值内部存在序关系，与其它某属性间存在语义关系，这样的属性称为标准。本文所研究的粗集方法，考虑标准所携带的这些信息，推导出含有序信息的规则，并探讨使推导的规则更加完全和一致。本文给出了含序粗集方法（CORS）的定义、数据分析以及规则生成方法，并提出了一种更加合理的质量近似公式

对Bayesian粗糙集模型的讨论

闫德勤

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

摘要 ( 60 )

PDF(146KB) ( 258 )

相关文章 | 多维度评价

变精度粗糙集模型是对传统的（Pawlak）粗糙集模型的一个重要拓展，但变精度模型中需要设定人为参数不利于信息的客观体现。Eayesian粗糙集模型是基于变精度和概率论的思想最新提出的无参数模型。对Bayesian粗糙集模型进行了分析，指出了其中的不足，提出了一种改进形式。

一种基于网格和密度的微粒群混合聚类算法

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

摘要 ( 61 )

PDF(237KB) ( 299 )

相关文章 | 多维度评价

本文在分析现有的基于网格和密度的聚类方法的基础上，借鉴密度函数的思想，提出了一种新的网格单元密度的计算方法。和其他基于网格的方法相比，此方法对于网格单元密度的计算具有更高的精度。在此基础上，将该计算方法与微粒群算法相结合，实现了一种基于网格和密度的微粒群混合聚类算法。最后，通过实验验证了算法的有效性。

基于雁群启示的粒子群优化算法

刘金洋郭茂祖邓超

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

摘要 ( 104 )

PDF(320KB) ( 367 )

相关文章 | 多维度评价

粒子群优化（PS0）算法是一类新兴的随机优化技术，其思想来源于人工生命和演化计算理论。PSO通过粒子追随个体极值和全局极值来完成优化。本文借鉴生物界中雁群的飞行特征，给出了一种改进的PSO算法。该算法一方面将粒子排序，每个粒子跟随其前面那个较优粒子飞行，保持了多样性；另一方面使每个粒子利用更多其他粒子的有用信息，加强粒子之间的合作与竞争。用3个基准函数对新算法进行实验，结果表明，新算法不仅具有更好的收敛精度和更快的收敛速度，而且能更有效地进行全局搜索。

一种基于知识粒度的不完备信息系统的属性约简算法

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

摘要 ( 64 )

PDF(222KB) ( 261 )

相关文章 | 多维度评价

在不完备信息系统中，通过引入知识粒度的概念，对属性的重要性进行了定义，并以属性重要性为启发式信息，提出一种基于知识粒度的属性约简启发式算法，该算法的时间复杂度是多项式的，最后通过例子说明，该算法能得到不完备信息系统的一个约简。

一种新的模式合一算法

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

摘要 ( 66 )

PDF(188KB) ( 271 )

相关文章 | 多维度评价

传统的模式合一，使用递归调用的方法，算法的时间复杂度是指数级的，因此，往往容易耗费大量的系统资源，从而造成系统的崩溃。为了解决这个问题，本文提出一种新的模式合一算法，共时间复杂度为线性的。实验结果表明，本算法可以有效地解决原来算法中存在的递归调用问题。

求解HP模型蛋白质折叠问题的启发式算法

陈矛黄文奇

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

摘要 ( 250 )

PDF(187KB) ( 377 )

相关文章 | 多维度评价

构造了一个新的数学模型，把三维HP模型的蛋白质折叠问题由一个有约束的优化问题转化为无约束的优化问题，通过建立相对坐标和邻域结构，提出了一个局部搜索算法，并对文献中的链长不同的7个算例进行了测试。结果表明，该算法能在较短时间内找到其中5个算例的最优能量枸形，对另外2个难例，则可以找到能量仅比最优构形高一个单位的次优构形。

基于流图的新型规则推理网络研究及应用

朱梅阶刘博郑启伦

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

摘要 ( 96 )

PDF(279KB) ( 293 )

相关文章 | 多维度评价

本文提出了一种基于流图（flow graph）的新型数据挖掘技誊，用于数据中的规则提取以及推理，并且首次将菝技术应用到商业银行信用风险决策中，通过数据实验证实了它的有效性。

基于数据挖掘的非单调问题的缺省规则框架

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

摘要 ( 68 )

PDF(166KB) ( 234 )

相关文章 | 多维度评价

提出一个求缺省规则的框架，通过合并条件属性所决定的类，生成组合类，可以构造覆盖更多对象的规则，生成从这些组合类映射到占优决策的规则。结果规则比确定规则至少具有两个重要的优点：（1）结构上简单；（2）即使规则相对训练集可能不完全，但是当处理未见的新事例时将表现得更好。系统对未来对象的分类质量，将在很大程度上依据系统一般化知识的能力。

基于SVM文本分类中的关键词学习研究

孙晋文肖建国

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

摘要 ( 82 )

PDF(234KB) ( 339 )

相关文章 | 多维度评价

文本分类中分类方法与关键词是两个重要的因素，支持向量机作为一种良好的分类方法，在文本分类中表现出很好的性能。本文以支持向量机为基础，重点研究其分类过程中关键词的学习问题，在其增量分类中，同步进行关键词的增量学习调整，实验结果表明，该方法可以更好地提高文本分类的分类性能。

基于数学形态学的围棋地域划分算法

岳鹏李太华邱玉辉

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

摘要 ( 79 )

PDF(254KB) ( 381 )

相关文章 | 多维度评价

地域是人类棋手必不可少的抽象概念，计算机围棋可以建立此概念以提高搜索效率。本研究在数学形态学的形式化基础上探讨了划分我领土、我领空、我领海、敌领土、敌领海、敌领空、公海、公空及未定区等9种地域的过程，并结合实战对局评价了此算法的性能，指出了此算法的应用价值。

基于机器学习的本体概念相似性研究

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

摘要 ( 75 )

PDF(308KB) ( 301 )

相关文章 | 多维度评价

现有的知识系统使用的是集中式的、一致性的、可扩充的Ontology库，不同本体间的语义匹配是语义网发展面临的最富挑战性的问题之一。本文针对领域中存在不同的Ontology的问题，讨论了一种基于多策略机器学习的Ontology匹配方法，重点分析了本体概念的相似度计算，并提出了一种相似度测量算法。

基于自适应活动轮廓模型的实时手势跟踪

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

摘要 ( 109 )

PDF(281KB) ( 269 )

相关文章 | 多维度评价

在基于视觉的手势分析与识别中，一个关键环节是手势跟踪。本文提出了基于颜色信息的自适应活动轮廓模型，并与均值漂移算法相互融合，实现图像序列的实时手势跟踪。跟踪算法分为两步进行，首先应用均值漂移算法实现手部区域的定位，然后基于自适应活动轮廓模型提取手部轮廓。在跟踪过程中，轮廓提取为下一帧的区域定位更新搜索窗口，提高了搜索效率，使目标跟踪达到实时性要求。同时，本文根据跟踪区域模板与目标模板的相似性度量Bhattacaryya系数给出了在跟踪目标被遮挡时的处理方法，有效地解决了这一难题。实验结果证明了在无遮挡和遮

基于事例的面部动作单元识别算法

王上飞薛佳王煦法

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

摘要 ( 95 )

PDF(388KB) ( 288 )

相关文章 | 多维度评价

本文提出基于事例的交互式遗传算法进行面部动作单元识别的算法，将用户的比较能力融入到搜索过程，快速检索到与待识别图像匹配的事例图像，从而实现动作单元的半自动识别。该方法不需抽取图像特征，因而可用于识别非控制成像条件下自发面部图像或图像序列中的动作单元，具有较好的鲁棒性和实用性。文中采用16幅受控成像条件下收集的简单图像进行实验，单独AU的平均识别率达到77．5％，AU组合的平均相似度为82．8％。采用10幅有干扰的非受控成像条件下收集的复杂图像进行实验，单独AU的平均识别率为82．8％，AU组合的平均相似度

一种改进的HMM训练算法及其在面部表情识别中的应用

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

摘要 ( 134 )

PDF(357KB) ( 240 )

相关文章 | 多维度评价

本文讨论了最大模型距离准则，对原有最大模型距离准则函数做了合理的修正，并把它应用于隐马尔可夫模型的训练，重新推导了HMM的迭代公式，使得训练后的HMM具有更好的鉴别能力。把这种改进的HMM训练算法应用于面部表情识别，利用本文给出的改进光流算法提取面部表情特征向量序列，构建了基于改进的HMM算法和BP神经网络的面部表情混合分类器，通过实验表明识别率得到有效提高。

一个基于文本输入的口语对话系统的新的实现策略

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

摘要 ( 76 )

PDF(366KB) ( 316 )

相关文章 | 多维度评价

口语对话系统（Spoken Dialogue Systems，SDS）现在已经越来越多地应用于实际生活之中，然而，当前对于普通人来说要开发处理英文对话的功能强大的系统通常很困难，而一些被人们提出的、不很复杂的，且能够比较容易开发SDS的方法其理解能力则受到了限制。在介绍并比较了以上所提到的一些方法之后，一个基于文本的自然语言的SDS工具包（被称为SDS Lite）将会被详细地介绍。我们的系统处理中文对话并使不仅是专家而且是普通人都很容易学习和开发他们自己的SDS。

基于GMM符号化和置信判别的汉语方言自动辨识研究

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

摘要 ( 62 )

PDF(232KB) ( 273 )

相关文章 | 多维度评价

近年来汉语方言自动辨识研究有了初步进展，但由于缺乏带有语音标注的方言音库，性能优越的并行音素识别一语言模型（PPRLM）方法尚未得到研究和运用。本文借助高斯混合模型（GMM）符号化器把PPRLM的思想方法引入到汉语方言辨识中·并通过融合置信判别使系统能够用于开集辨识。仿真实验表明，本文方法具有很高的稳定性和可靠性，综合性能较为优越。

基于类语言模型的中文机构名称自动识别

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

摘要 ( 66 )

PDF(205KB) ( 314 )

相关文章 | 多维度评价

提出了一种基于类语言模型的中文机构名称自动识别方法，将分词和机构名称自动识别有机地结合起来。在机构名称识别的类语言模型中采用等级结构，使得嵌套有人名、地名等实体的机构名称能够较好地识别出来。在实验过程中，逐步增加实验条件，依次加入启发信息、缓存模型和机构名缩写处理，使得实验结果显著提高。在开放测试中，中文机构名称最终识别的查准率和查全率分别为85．47％和72．81％。

分布式虚拟环境AIMNET的关键技术概述

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

摘要 ( 94 )

PDF(326KB) ( 255 )

相关文章 | 多维度评价

本文概要介绍南京大学自主研究开发的分布式虚拟环境AIMNET的关键技术。AIMNET借鉴了兴趣管理的思想，提出了双向一共享组播树的通讯结构，从而大大降低了网络通讯量，并保证了AIMNET系统良好的扩展性；AIMNET中静态数据采用分布式存储结构，同时为了实现场景的远程渲染而采用了负载均衡、数据压缩、累进式渲染、航位预测算法以及数据预取等技术。

关于图同构复杂性的分析

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

摘要 ( 76 )

PDF(188KB) ( 1260 )

相关文章 | 多维度评价

图同构问题是指对两个图寻找顶点之间的一个一一映射，使得两图的边在该映射下也保持对应关系，该问题得到许多研究者的关注。在一些论文中对图同构问题的复杂性给出了错误的描述，有的给出了多项式时问算法。本文对此进行了讨论，并给出了一些反例来证明其算法的错误。根据图同构国内外目前的研究进展，图同构既未被归入P问题，也未被归入NPC问题，是一个尚未解决的问题，有待进一步研究。

移动目标单源最短路径树更新的近似算法

董彬李全龙徐晓飞宿陆

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

摘要 ( 79 )

PDF(172KB) ( 329 )

相关文章 | 多维度评价

提出一种更新移动目标最短路径树的近似算法来避免重新生成整棵路径树。算法使用了局部图的思想，使每次迭代更新尽量少的节点来减少代价。实验证明算法具有良好的效率、近似度和可伸缩性。分析了如何调整算法，以便在近似度和效率之间实现平衡。

基于形状和纹理的图像检索

安志勇赵珊周利华

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

摘要 ( 95 )

PDF(240KB) ( 270 )

相关文章 | 多维度评价

构造了Radon变换的不变量，提出一种新的基于形状和纹理的图像检索方法。对小波图像边缘提取Radon不变量作为形状特征，同时提取小波各频道能量作为纹理特征。然后将形状特征和纹理特征分别进行高斯归一化，计算图像形状和纹理的相似度。最后，利用形状和纹理相似度的加权和进行图像检索。试验结果表明该方法对噪声具有较强的鲁棒性，具有尺度、平移和旋转不变性。

用于二维形状描述圆周分解法

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

摘要 ( 67 )

PDF(442KB) ( 298 )

相关文章 | 多维度评价

本文提出一种新的二维形状描述方法，用于描述二值和灰度图像物体的形状信息。该方法使用同心环状区域对二维形状进行分解，产生一组描述强度值的投影函数，并通过傅立叶变换实现旋转不变性和抗干扰能力。该方法与物体是否具有单一边界无关，能够适应各种复杂的、边界不规则的或者不连通的物体形状。此外，该方法还能够直接应用于灰度图象。

基于遗传神经网络的火灾图像识别及应用

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

摘要 ( 77 )

PDF(315KB) ( 290 )

相关文章 | 多维度评价

传统的火灾检测方法一般采用感烟、感温、感光探测器以及红外对射探测。本文提出了一种基于图像视觉特征的火灾检测方法，根据火灾火焰处于近红外波段的特征，采集近红外图像，并利用火灾初期火焰变化的各种特征信息，用图像处理方法提取这些特征值，并把其作为输入，利用遗传神经网络对其进一步识别，从而进行火灾判别，并进一步设计了基于以上思想的火灾识别系统。实验结果表明，该系统比传统系统更进一步减少了误报率且具有响应快、监控范围广等优点。

一种基于共轭混沌映射的图像加密算法

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

摘要 ( 72 )

PDF(265KB) ( 321 )

相关文章 | 多维度评价

本文应用离散混沌动力映射和Tent映射的图像加密算法。利用共系统，针对图像数据的存储特点，设计了一种基于共轭混沌映射Logistic轭映射产生密钥流改变原图像的灰度值；运用一类标准混沌映射，构造了一种具有强非线性藕合结构的置换方式，从而改变像素点的位置。同时，对提出的算法进行仿真实验和安全性分析，结果表明该算法具有安全性高和加密速度快等特点。

基于斜视角可变的游戏引擎设计

陈松

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

摘要 ( 68 )

PDF(198KB) ( 281 )

相关文章 | 多维度评价

游戏引擎是游戏的心脏，图形引擎模块是游戏引擎中最复杂，也是最能体现游戏效果的模块，对图形引擎模块的研究设计有利于提高二维游戏的画面质量。基于对二维游戏引擎中的图形处理模块研究，剖析了二维引擎实现引擎的算法，设计出了图形引擎函数库，用该函数库实现了一个地图编辑器。地图编辑器的实现使游戏引擎和具体游戏内容分离，提高了游戏软件的可重用性。

基于虚警概率最大准则的小波阈值去噪算法研究

付炜许山川

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

摘要 ( 116 )

PDF(185KB) ( 298 )

相关文章 | 多维度评价

本文分析了随机噪声的小波变换系数在不同尺度上的传递特性和噪声信号奇异性与小波模极大值的关系，阐述了基于阈值的正交小波变换去噪法，在此基础上提出了一种基于能量元和Neyman—pearson准则的小波闽值去噪算法。其小波阈值的选取是依据设定虚警概率后得到的检测概率最大的准则，并且阈值是随各尺度独立的。通过仿真实验，验证了该算法的有效性和优异性.

自动焊机中芯片识别技术的研究

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

摘要 ( 62 )

PDF(294KB) ( 256 )

相关文章 | 多维度评价

针对我国半导体生产后工序设备中的焊机一人一机手动的现状，本文提出手动焊机自动化改造的软件设计思想。讨论分析目前常用的基于灰度的快速模板匹配技术，着重研究芯片识别中所采用的关键技术_模板匹配。经实验对比发现，序贯相似检测算法（SSDA）具有较高的计算速度和定位精度，比较适合于高要求的工业应用。为进一步满足系统的要求，本文改进了自适应门限序列的SSDA，将匹配过程分为两步进行，第一步为粗匹配，第二为精匹配，大大提高了识别的精度与速度。

WCET分析中面向对象程序多态性问题的解决方法

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

摘要 ( 61 )

PDF(503KB) ( 276 )

相关文章 | 多维度评价

用面向对象建模语言（如统一建模语言UML）设计并用面向对象程序设计语言（如C^＋＋）实现实时系统是实时系统开发领域的一个趋势，但面向对象的主要特征（如多态性）却使程序最差情况执行时间（Worst-Case Execution Time，WCET）更加难以分析。本文通过把UML设计信息引入WCET分析来解决此问题。考虑到UML关联关系描述了两个或多个具体类之间的对应关系，因此本文要求指定关联角色的多重性，并假定能够建立关联关系与其在程序中表示的对应关系。在已知关联角色多重性的基础上，本文计算特定循环的执行计

基于业务行为与业务对象约束的业务规则研究

林金娇王海洋

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

摘要 ( 80 )

PDF(241KB) ( 300 )

相关文章 | 多维度评价

研究了一类基于业务行为与业务对象约束的业务规则。从业务需求的复杂业务规则出发，探讨了这类复杂业务规则的含义，以及业务行为和业务对象、业务约束的关系。在此基础上，对此类业务规则提出了一种形式化描述。提出了此类业务规则驱动的面向对象建模方法。实例表明，该方法较好地解决了由于类之间关系改变使得应用程序频繁变化的问题。

一种嵌入式软件构件模型和构件库

李涛董云卫

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

摘要 ( 52 )

PDF(313KB) ( 294 )

相关文章 | 多维度评价

嵌入式系统的快速增长和嵌入式软件复杂度的增长，对嵌入式软件开发技术的提高提出了迫切的要求。软件开发技术正在向半自动化代码生成以及由构件生成系统的方向发展。基于构件的软件开发（CBSD）技术能够显著地减少软件开发的时间和成本。本文首先讨论了一种嵌入式软件构件模型——CMES，该模型定义了嵌入式领域中构件的使用。为了方便构件的管理和查找，本文还设计并实现了一个基于Web的嵌入式软件构件库——WRES。WRES使用刻面分类法提高构件库的浏览和查询效率。

一种从Object—Z到CSP规格说明的转化方法

文志诚缪淮扣许庆国

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

摘要 ( 60 )

PDF(310KB) ( 255 )

相关文章 | 多维度评价

面向对象形式规格说明语言Obiect-Z与进程代数CSP相结合是当今的一个热点，它既可以表示复杂的模块化数据与算法，又可以表示系统的行为，但求精与验证对它们结合后的规格说明需要分别进行处理。本文提出了一个方法，把Object-Z规格说明转化为CSP规格说明，可以方便地处理结合后的规格说明，因此求精与推理对结合后的规格说明可以按CSP规则与方法一致来进行处理。此外，转化后的Object-Z规格说明可以按照CSP方法进行模型检查。

使用π-演算验证两阶段提交协议

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

摘要 ( 59 )

PDF(211KB) ( 288 )

相关文章 | 多维度评价

两阶段提交协议是最简单且最常用的原子提交协议，该协议使分布式事务的提交具有原子性和持久性。在本文中，我们使用π演算对两阶段提交协议进行描述，并对其正确性进行了证明，进一步体现了π演算对于描述进程通信及并行性的独特优势。

利用等价类构造有限状态自动机

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

摘要 ( 47 )

PDF(143KB) ( 699 )

相关文章 | 多维度评价

一类语言由任意字母表上的某种进制的数字串构成，要求该语言中的所有数字串能够整除N；构造有限状态自动机识别该类语言是困难的，本文提出了根据等价类构造一类有限状态自动机的方法。该方法可以针对所有字母表和所有进制的数字串构成的语言，而且满足语言中的所有数字串能够整除任意正整数N。该方法实用、简便。

自恢复容错系统的模型和分析

郭成昊刘风玉

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

摘要 ( 72 )

PDF(194KB) ( 274 )

相关文章 | 多维度评价

容错系统不仅会产生硬件故障，而且连续长时间的运行，系统的性能还会逐渐下降或失效，即老化现象。本文综合考虑容错系统中的硬件故障和老化现象，提出了将传统的冗余策略和软件抗衰策略相结合，并给出了该系统的时间颜色Petri网（timed-CPN）模型，并结合实例进行了分析。

一种基于分布构件装配元信息动态重构的表示方法

王克波贾焰韩伟红王志英

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

摘要 ( 64 )

PDF(183KB) ( 261 )

相关文章 | 多维度评价

动态重构技术使得软件系统自身进行演进的同时，仍然能够提供服务。本文提出了一种基于构件装配元信息的动态重构操作的表示方法。该表示方法以Jeff提出的动态重构系统设定为基础，采用集合来表达构件应用中的构件、连接子和节点，为动态重构规划的生成以及等价性验证等提供了量化方法，并在基于CORBA构件模型的StaCCM分布构件平台中加以实现。

用于移动计算的软构件模型及其实现

刘波卢炎生徐丽萍

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

摘要 ( 85 )

PDF(344KB) ( 257 )

相关文章 | 多维度评价

提出了一个可上下文感知的用于移动计算环境的构件模型MCCM。首先讨论了用于移动计算环境的构件应具备的条件，然后提出了MCCM模型及其描述；接着给出了在Linux平台上的一个具体实现，并对这一实现进行了性能测试；最后同当前相关工作进行了对比，并指出了进一步的研究方向。

基于层次消息的应用系统模型

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

摘要 ( 63 )

PDF(313KB) ( 247 )

相关文章 | 多维度评价

在分析应用系统层次结构的基础上。提出了应用系统构件化的层次消息开发模型；描述了基于层次消息模型应用系统的抽象层次、组成构件及其结构特征、连接方式及其形式化的描述、消息及其形式化的描述，并给出了一套在该模型下开发的建议规范与方法。

CMMI的软件测量

侯红郝克刚

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

摘要 ( 249 )

PDF(215KB) ( 513 )

相关文章 | 多维度评价

本文从CMMI的体系结构出发，对CMMI中的软件测量进行了研究，分析了其测量的演进过程，总结分析了目前组织在实施CMMI时对测量的误解和存在的问题，最后，为帮助实施CMMI，给出了对实施效果进行评估的评价标准。

基于UML的嵌入式系统模型设计

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

摘要 ( 50 )

PDF(188KB) ( 658 )

相关文章 | 多维度评价

针对心电扫描记录仪功能扩展受限问题，提出了基于UML的心电仪嵌入式系统模型设计方法。在设计过程中，按照统一软件开发过程设计，文中讨论了需求分析、静态结构模型和动态行为模型，利用协作图构造了一个物理模型。实践表明，按上述思想设计有可能使原系统升级与重用。