计算机科学

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

摘要 ( 90 )

PDF(469KB) ( 610 )

相关文章 | 多维度评价

自身存在种种缺陷与不足的传统网络体系结构，已不再适宜用来指导现今互联网向下一代网络的演进。有必要在正确认识当前计算机网络发展现状和重新审视网络体系结构涵义的基础上，展开对满足下一代网络发展需求的新一代网络体系结构的研究。为此，本文专门对以互联网为代表的计算机网络所面临的发展现状以及近年来计算机网络演进与发展的主要趋势进行了总结和分析，并重点对网络体系结构的涵义进行了全方位、多角度的深入剖析。主张在综合考虑网络体系结构的普适性、特指性、抽象性和过程性等特征的基础上，运用发展的眼光和系统的观点来全面认识和把握

无线网络编码综述

计算机科学. 2007, 34 (3): 6-9.

摘要 ( 123 )

PDF(308KB) ( 974 )

相关文章 | 多维度评价

网络编码是近年来通信领域的重大突破，其基本思想是网络节点不仅参与数据转发，还参与数据处理，这样可以大幅提高网络性能。本文关注网络编码在无线网络环境中的研究与应用，在评述了网络编码在无线自组织网络、无线传感器网络和无线网状网三种无线网络类型上的最新研究进展之后，对其发展趋势进行展望。

大规模三维地形可视化算法研究进展

计算机科学. 2007, 34 (3): 10-16.

摘要 ( 167 )

PDF(497KB) ( 445 )

相关文章 | 多维度评价

大规模地形可视化是大型户外环境模拟不可缺少的组成部分，也是近年来可视化领域的研究热点，在游戏、仿真、虚拟现实、地理信息系统等领域有着广泛的应用。本文重点讨论了国内外学者在该领域的研究方法和最新研究进展以及尚未解决的问题。从数据拟合和模型简化两个方面叙述了自适应地形可视化建模方法，根据对现代图形硬件是否友好，将地形模型简化算法归纳为面向CPU的细粒度LOD算法和面向GPU的粗粒度LOD算法两类，同时描述了建模过程中存在的空间不连续问题以及各种解决方案，详细阐述了支持大数据集绘制的out-of-core技术，

具有低相关值的新的修改的二元Jacobi序列

计算机科学. 2007, 34 (3): 17-19.

摘要 ( 74 )

PDF(169KB) ( 273 )

相关文章 | 多维度评价

根据修改的二元Jacobi序列的构造方法，利用任意起点的二元Jacobi序列，构造了大量的新的二元序列。并利用kgendre特征函数的求和公式，给出了其中一类序列的自相关值及其它类序列在一定条件下的互相关值。结果表明，这类序列在一定条件下具有非常平坦的相关值分布。

无线传感器网络覆盖控制技术研究

计算机科学. 2007, 34 (3): 20-22.

摘要 ( 242 )

PDF(279KB) ( 452 )

相关文章 | 多维度评价

无线传感器网络具有广泛的应用背景，目前已经发展成为一个重要的计算平台。但是，由于无线传感器网络自身的特点，使其也面临许多问题，如何有效地进行覆盖控制，在保证网络覆盖质量的前提下，减少能量消耗，延长网络寿命是其中最重要的问题之一。覆盖控制可以使无线传感器网络的资源得到优化分配，更好地完成环境监测、信息获取和数据传输等任务。本文总结了近年来提出的各种覆盖控制问题的、具有代表性的研究成果，并对相关覆盖控制协议与算法进行了分析比较，最后指出了目前覆盖控制技术存在的问题，对全文进行总结。

基于TinyOS的微型无线感知网技术研究

于继明杨余旺孙亚民赵炜

计算机科学. 2007, 34 (3): 23-26.

摘要 ( 102 )

PDF(295KB) ( 323 )

相关文章 | 多维度评价

具有感知能力、计算能力和通信能力的微型无线感知网，能够协同地监测、感知和采集各种环境或监测对象的信息，开始在世界范围内出现。本文在介绍微型无线感知网基本概念和原理的基础上，论述基于TinyOS的感知网系统主要组成，然后讨论微型无线感知网中多跳路由协议及其具体应用，最后对TinyOS的感知网的感知数据进行处理。本文的研究和实现对于超微型无线感知网应用具有很好的应用价值。

一种基于移动预测的自适应Adhoc网络分簇算法

蒋毅史浩山

计算机科学. 2007, 34 (3): 27-29.

摘要 ( 197 )

PDF(238KB) ( 301 )

相关文章 | 多维度评价

在移动Adhoc网络中采用分簇机制可以达到在拓扑结构频繁变化的网络环境中快速部署节点通信的目的。本文在深入研究移动预测技术的基础上，分析已有分簇算法存在的诸多不足，提出了一种基于移动预测的自适应分簇算法，包括分簇算法和分簇保持策略两方面的内容，并通过模拟证明该算法保持了分簇结构的稳定性，提高了网络负载平衡能力，减少了节点之间的通信路由开销，有效防止了通信的中断，弥补了已有分簇算法的不足。

NGI中一种微观经济学模糊QoS单播路由机制

王兴伟王琦黄敏

计算机科学. 2007, 34 (3): 30-34.

摘要 ( 99 )

PDF(281KB) ( 278 )

相关文章 | 多维度评价

本文设计并仿真实现了一种微观经济学模糊OoS单播路由机制，通过适合隶属度函数对边做出模糊综合评判，通过博弈分析确定网络提供方与用户在边上的效用能否达到Nash均衡态，通过基于双向Dijkstra算法及中间链表加速方法的启发式选路算法，使得在找到的路径上不仅用户的QoS需求得到满足，而且双方的端到端效用达到或接近Nash均衡下的Pareto最优。仿真结果表明，同基于Dijkstra的路由机制和基于模糊塔的QoS单播路由机制相比，该机制具有较好的性能。

一种新型大容量路由器交换网络中的高效路由策略

计算机科学. 2007, 34 (3): 35-37.

摘要 ( 70 )

PDF(192KB) ( 273 )

相关文章 | 多维度评价

路由算法对交换网络性能具有很大的影响。本文针对一种新型的大容量路由器交换网络拓扑-XD（Cross-Direct）网络的特点，提出了一类和应用于传统直连网络中的基于简单维序路由算法具有相同网络性能的路由算法一对角矢量映射法（DVM）。该类算法分为两种，文中对这两种算法进行了详细描述和性能分析，给出了它们各自的应用场合。

基于顶点信息采样的随机包标记IP追踪算法NSPPM

金舒刘凤玉

计算机科学. 2007, 34 (3): 38-43.

摘要 ( 97 )

PDF(420KB) ( 240 )

相关文章 | 多维度评价

本文通过提出一种顶点采样算法及与之相对应的攻击路径重建算法，给出了一种新型的基于随机包标记技术的入侵追踪方案NSPPM。该方案保持了对现有网络基础设施的兼容并且可以增量地逐渐布置到整个Internet中。相比较于一些前期的相关工作，NSPPM方案可以在仅带来较小开销的情况下为受攻击方提供对多重DDoS攻击路径（活跃的或非活跃的）的识别且不需要上游ISP的协作。同时，较之传统的基于边采样的攻击路径重建策略，基于顶点采样算法的攻击路径重建策略具有更低的计算复杂度。

机制设计理论及其在计算机网络协议设计中的应用研究

计算机科学. 2007, 34 (3): 44-49.

摘要 ( 129 )

PDF(365KB) ( 679 )

相关文章 | 多维度评价

计算机网络协议的设计一般假设参与者是完全服从的。对于域间路由、IP多播、P2P文件共享等问题，这个假设并不成立。这些问题中各参与者都是自治的主体，其行为是自利的，以追求自身的利益最大化为目标。这给网络协议的设计带来挑战。机制设计理论用于设计多主体之间的博弈规则，以获得期望的结果。该理论为计算机网络中出现的这类问题的协议设计提供了方向。本文首先介绍了机制设计的基本概念，并以路由为例说明了其在计算机网络中的具体应用。传统的机制设计理论是微观经济学和博弈论的分支，在具体应用到计算机网络中需要处理很多新的问题，例

一种基于权能标识的三方安全协议的设计和分析

计算机科学. 2007, 34 (3): 50-53.

摘要 ( 67 )

PDF(326KB) ( 301 )

相关文章 | 多维度评价

随着数据密集型应用的发展，网络存储的安全性成为研究热点。针对大规模存储系统的可扩展性和安全性的要求，本文提出了一种基于三方传输模式的存储安全系统框架，并设计了一种基于权能标识的三方安全协议，该协议的最大特点是传输安全性和访问控制机制二者独立。通过对三方安全协议的形式化分析和推导，从逻辑上验证请求中权能标识的完整性、协议传输过程的正确性，以及消息的真实性，从而确保了三方安全协议的可行性。

一种动态组播的密钥更新算法

高俊伟杨宗凯

计算机科学. 2007, 34 (3): 54-55.

摘要 ( 86 )

PDF(194KB) ( 307 )

相关文章 | 多维度评价

为了保证组播通信的机密性，安全组播使用不为组外成员所知的密钥来加密数据，并随组成员关系的变化而动态更新。基于树型分层式密钥管理方式使用户变更时的密钥更新代价减小，但前提是密钥树必须保持平衡。本文提出了一种应用m序B树作为组密钥树的密钥管理方法，在组播组中加入一个新成员，本方案比传统方案减少了密钥更新开销量，提高密钥更新效率。

一种基于群签名的匿名数字指纹方案

谭示崇王育民

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

摘要 ( 94 )

PDF(211KB) ( 286 )

相关文章 | 多维度评价

匿名数字指纹使用户可以在不向发行商泄露身份的情况下购买数字产品，而且，一旦发行商发现非法分发的拷贝，他仍然可以获得该非法用户的身份并起诉该用户。群签名允许任意一个群成员代表群进行匿名签名，如果发生争执，群管理员能够打开签名来揭示签名者的真实身份。本文基于一个安全的能抵抗联合攻击的群签名方案构造了一个匿名数字指纹方案。

一种基于成本的入侵检测系统评估决策树分析方法

谢亮

计算机科学. 2007, 34 (3): 58-60.

摘要 ( 84 )

PDF(169KB) ( 322 )

相关文章 | 多维度评价

随着入侵检测系统的广泛应用，对入侵检测系统进行评估的要求也越来越迫切。本文首先对入侵检测评估的现状进行了深入的总结研究，然后在已有方法的基础上，提出了基于成本的基于成本的入侵检测系统评估决策树分析方法。该方法也是基于ROC曲线的，它通过决策树引入成本，利用最优预计成本表征入侵检测系统性能。最后通过实验表明了该方法的有效性。

基于接口匹配的Web服务自动组合

于守健何丰乐嘉锦

计算机科学. 2007, 34 (3): 61-68.

摘要 ( 76 )

PDF(514KB) ( 268 )

相关文章 | 多维度评价

通过把Web服务抽象成为具有输入和输出接口的实体，提出了基于接口匹配的Web服务组合方法．以当前标准-WSDL（Web Services Description Language，简称WSDL）作为服务接口的描述语言，从消息参数名和数据类型两方面通过使用聚类技术，将操作中的参数名归类为具有语义的概念，结合现有的WordNet语义词典，提出了服务接口匹配算法。该算法通过计算服务接口之间的相似程度，找出潜在的消息依赖关系，能够自动、动态地发现潜在的Web服务，从而实现Web服务自动组合。最后，在TRP系统上对

基于Pi-演算的BPEL4WS Web服务组合形式化模型

辜希武卢正鼎

计算机科学. 2007, 34 (3): 69-74.

摘要 ( 89 )

PDF(352KB) ( 277 )

相关文章 | 多维度评价

Web服务组合研究领域的一个重要的问题是如何形式化描述Web服务组合，如何验证服务组合的正确性。Web服务组合的形式化模型来可以用来检查、验证Web服务组合以保证组合的正确性。Pi-演算是一种适合于Web服务组合建模的进程代数。本文介绍了P-演算的基本语法，针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范-Web服务商业流程执行语言（Business Process Execution Language for Web Services，BPEL4WS），定义了Pi-演算和BPEL4WS

Web Services技术应用与探讨

计算机科学. 2007, 34 (3): 75-77.

摘要 ( 67 )

PDF(191KB) ( 279 )

相关文章 | 多维度评价

Web Services是一种使程序的功能通过网络与其他服务交互的一种机制。文中，分析了何时利用Web Services、Web Services在系统中扮演的角色、以及Web Services设计注意事项，并通过一个网络学院的实例对这些内容进行了详细的探讨。

一种基于虚拟日志的数据复制解决方案

倪泳智王珊

计算机科学. 2007, 34 (3): 78-82.

摘要 ( 64 )

PDF(321KB) ( 305 )

相关文章 | 多维度评价

本文从实际应用的角度出发，为数据库系统设计并实现了一种基于虚拟日志的高可用性的复制解决方案。采用一主多从模式（Single Master，Multi Slaves），使用异步分发技术，实行延迟远程存取和延迟传播技术对数据进行更新，提供跨平台支持。针对具有自主知识产权的国产大型数据库系统KingbaseES具体实现了该复制方案，从而提供了一个现实的、可扩展的复制系统框架。它能够提供稳定的数据复制，可用性高、准时复制、响应时间短，在及时同步业务数据、灾难备份恢复、改善决策支持系统等许多关键服务中有很高的应用前

RPAA：一种基于时间特性的时间序列建模表示

计算机科学. 2007, 34 (3): 83-86.

摘要 ( 58 )

PDF(245KB) ( 341 )

相关文章 | 多维度评价

滑动聚集平均近似PAA（Piecewise Aggregate Approximation）是一种表示时间序列的方法，它通过时间序列上滑动一个等宽的滑动窗口将时间序列分成小的区段。考虑到时间序列的时间特性q-不同区段的影响，本文提出了一种改进表示RPAA（Reversed Piecewise Aggregate Approximation）。RPAA表示对处于不同时间段的序列赋以不同的影响因子，具有线性时间复杂度，并且证明了RPAA满足下界定理，因而能够进行实际的查询。最后的实验表明该表示是有效的。

达梦数据库Web服务技术研究

计算机科学. 2007, 34 (3): 87-89.

摘要 ( 54 )

PDF(219KB) ( 263 )

相关文章 | 多维度评价

本文提出了一种将数据库同Web服务技术相结合的方法，一方面使得数据库可以将其存储的数据以Web服务的形式提供给外部使用，另一方面也可以在数据库内部直接使用SQL语句或存储过程调用外部的Web服务对数据进行处理或取得数据，该方法具有使得数据库能够不依赖应用程序而直接同Web服务进行交互的特点。

数据库汉语查询句中查询目标信息的研究

计算机科学. 2007, 34 (3): 90-91.

摘要 ( 305 )

PDF(155KB) ( 266 )

相关文章 | 多维度评价

在自然语言处理的研究中，最有希望的应用领域之一是自然语言接口。计算机对自然语言中的查询语言理解的正确程度是自然语言接口质量好坏的关键。通过对汉语查询句——即用于数据库自然语言查询的祈使句和特指问句、是非问句、正反问句、选择问句等共五类句型的研究，建立并研究了复合概念、逻辑概念与标准概念的内在联系，将查询目标概念分解为直接查询目标、逻辑推理目标和比较判断目标三个阶段，研究了这三个阶段的关系。

一个基于粗糙集的XML函数依赖发现算法

孙伟刘大昕

计算机科学. 2007, 34 (3): 92-94.

摘要 ( 97 )

PDF(173KB) ( 257 )

相关文章 | 多维度评价

数据依赖是数据库的一个重要概念。函数依赖是一种常见的数据依赖关系，是数据语义的重要组成部分。随着XML文档的大量出现，这一概念被引入到XML的领域中。本文在约束限制范围的基础上，给出了XML函数依赖的定义。引入粗糙集解决XML数据不完整的特点，给出XML函数依赖的判定定理。并且提出了一个发现XML文档中最小非平凡函数依赖的算法。该算法基于一致集的概念，通过不可分辨关系划分元组集减少求一致集的运算次数，使用逐层求精的算法来计算最小非平凡XML函数依赖集的左部。通过该算法得到的XML函数依赖的语义信息对数据存

基于键的XML模式到关系模式的规范化转换

王梅娟鲍培明赵改连

计算机科学. 2007, 34 (3): 95-97.

摘要 ( 77 )

PDF(249KB) ( 264 )

相关文章 | 多维度评价

本文针对XML模式向关系模式转换过程中形成的冗余和不规范，提出一种基于XML键的XML模式到关系模式的规范化转换算法。该算法以键为基础，根据XML函数依赖的一组推理规则，扩充函数依赖的集合，避免XML模式向关系模式转换过程中语义丢失的情况；再利用一组消解规则，消除冗余的函数依赖，使其满足极小函数依赖集；最后以键为中心划分关系属性，得到关系表，并且保证得到的关系模式满足3NF。

一种基于结构特征的XML数据查询方法

计算机科学. 2007, 34 (3): 98-103.

摘要 ( 72 )

PDF(341KB) ( 274 )

相关文章 | 多维度评价

针对XML数据特有的树型结构模式，提出了一种将树型结构的XML数据和查询语句转化为特定格式的字符串，基于串匹配原理对结构复杂的XML数据进行查询的方法，避免了传统的基于路径的查询方式所必需的路径之间的连接（join）操作，从而提高查询效率。利用本文提出的编码方式，可以建立关于XML数据结构和数据内容舍为一体的索引。实验显示，本文使用的针对XML数据查询的方法比传统的基于连接操作的数据查询方式高效，且本方法具有良好的扩展性。

基于XML文档检索的搜索引擎设计

计算机科学. 2007, 34 (3): 104-106.

摘要 ( 57 )

PDF(192KB) ( 317 )

相关文章 | 多维度评价

设计了面向XML文档检索的搜索引擎模型，该模型包括机器人模块、转换模块、解析模块、索引模块和查询模块这五个部分。转换模块和解析模块是专门设计的。介绍了模型的设计思想及框架，详细描述了各模块的结构和实现思想。

大规模分布式虚拟环境中一种基于事件模型的快速路由机制

计算机科学. 2007, 34 (3): 107-109.

摘要 ( 64 )

PDF(268KB) ( 260 )

相关文章 | 多维度评价

在大规模分布式虚拟环境中，大量的信息交互成为影响系统可扩展性的重要因素。事件模型作为新型的通信模型，以其具有异步通信、动态性等特点在分布式系统通信中的作用日益明显。本文借鉴了主动兴趣管理思想，对基于事件模型的事件路由和事件传递技术进行了研究，提出了一种利用Filter Index结构来实现事件快速匹配及转发的路由机制。实验结果表明，该机制是可行和有效的。

北斗双星定位系统上的基于联邦Kalman滤波的组合导航技术

计算机科学. 2007, 34 (3): 110-113.

摘要 ( 63 )

PDF(232KB) ( 273 )

相关文章 | 多维度评价

作为常用导航手段的惯性导航、GPS系统等单一的导航设备，已不能满足现代电子战条件下的作战使用需求。因此，目前世界各国广泛采用多设备组合、冗余设计、多功能的组合导航系统。本文设计了基于联邦Kalman滤波的组合导航技术，进行了相应的数据仿真实验，并使用北斗星定位系统上的实际运行数据进行了算法验证，从而验证了在北斗双星定位系统上使用基于联邦Kalman滤波组合导航技术的有效性和可行性，为未来进一步在中国独立自主研究的北斗双星定位系统上进行实际的工程应用和商业应用奠定了良好的基础。

全序时态模块模式的TO_TSNF分解问题研究

计算机科学. 2007, 34 (3): 114-118.

摘要 ( 89 )

PDF(270KB) ( 243 )

相关文章 | 多维度评价

在许多时态数据库应用中，都存在着涉及多时间粒度的约束。但是，具有多时问粒度的时态数据库的设计相当复杂，甚至难以实现，而现实世界中的许多应用所涉及到的时态类型集都能满足全序关系。同时，具有全序时态类型集的全序时态模块模式有着良好的特性，因此本文提出了全序时态模块模式、时刻关系模式、全序时态模块投影、全序时态简单候选关键字、全序时态三范式（TO_T3NF）和全序时态简单范式（TO_TSNF）等概念，并给出了全序时态简单范式的分解算法，对其正确性进行了证明，并对时间复杂度进行了分析。

XML消息传递协议的分析与研究

张珂岳利华

计算机科学. 2007, 34 (3): 119-121.

摘要 ( 69 )

PDF(164KB) ( 257 )

相关文章 | 多维度评价

在XML消息通信架构中，传递协议是其中的重要一环。本文在讨论了目前已有方案的可行之处和存在的问题后，提出了一种利用面向对象方法来构建模块化的传递协议，为面向复杂电子商务、电子银行应用的XML消息传递提供了一种有效可行的方法。

一种基于质量命中率的流媒体代理缓存布局方法

计算机科学. 2007, 34 (3): 122-125.

摘要 ( 80 )

PDF(278KB) ( 250 )

相关文章 | 多维度评价

在网络边缘对流媒体的热点片段进行缓存，是流媒体分发研究领域的一个热点。异构环境下不同种类的接入用户对流媒体的播放质量具有不同的要求。为了使代理缓存最大限度地满足全体用户对收看质量的请求，本文首先提出了质量命中率的定义来衡量代理缓存对提高用户观看质量的贡献，然后提出了一种基于质量命中率的流媒体代理缓存布局方法。仿真结果表明，该布局方法不仅能使全体用户的平均质量命中率最大，而且有效地利用了代理缓存的磁盘空间，显著降低了片段的播放时延。

基于工作流的空间信息服务动态聚合技术研究

计算机科学. 2007, 34 (3): 126-128.

摘要 ( 66 )

PDF(211KB) ( 244 )

相关文章 | 多维度评价

本文基于空间信息服务的特点和动态服务聚合的应用实际，提出了服务结点、服务群、服务聚合模型、服务聚合方案、服务聚合实例的概念，并在此基础上提出了基于工作流的五阶段动态服务聚合实现机制；参考工作流的研究成果，提出了动态服务聚合参考模型DSCRM，确定了动态服务聚合的研究框架，为开发聚合服务支撑平台以及在此基础上构造特定的服务聚合应用提供了可参考的计算模型；最后结合我们所承担SIG项目中具体应用实例来说明本文工作的可行性和有效性。

离线匿名电子现金系统的设计与实现

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

摘要 ( 111 )

PDF(192KB) ( 301 )

相关文章 | 多维度评价

本文利用Java Applet和Java Network Launch Protocol等技术设计和实现了一个基于RSA盲数字签名的离线匿名的电子现金系统。系统采用B／S和C／S相结合的架构，可以方便进行Web在线支付和点对点支付。系统通过数字证书提供对用户和银行的强身份认证，用户在银行网站进行存取款和在商家网站进行支付，通过SSL协议来保证通信数据的安全，同时用户数据以加密的方式保存在本地磁盘，并可方便地移植到智能卡设备。

基于J2ME的无线客户关系管理系统的实现

席磊时雷车银超王晓磊

计算机科学. 2007, 34 (3): 132-134.

摘要 ( 92 )

PDF(285KB) ( 263 )

相关文章 | 多维度评价

本文分析了现有客户关系管理系统的不足，在J2ME平台上开发了无线客户关系管理系统，重点阐述了无线客户关系管理系统的设计和实现。

第七届全国虚拟现实与可视化学术会议（CCVRV’07）征文通知

无

计算机科学. 2007, 34 (3): 134-134.

摘要 ( 126 )

PDF(79KB) ( 297 )

相关文章 | 多维度评价

数字化校园信息门户的设计研究

方蔚涛杨丹李珩胡月汪显伟

计算机科学. 2007, 34 (3): 135-138.

摘要 ( 90 )

PDF(250KB) ( 313 )

相关文章 | 多维度评价

本文就数字化校园信息门户建设，提出了一套较为完整、系统的理论方法。对门户建设中各种关键技术的重要环节进行了详细的分析，提出了门户设计需要遵循的规范和门户的工作原理。

基于UML的ERP系统建模方法的分析

王柯柯李彦黄贤英

计算机科学. 2007, 34 (3): 139-140.

摘要 ( 70 )

PDF(175KB) ( 490 )

相关文章 | 多维度评价

本文分析了统一建模语言UML对ERP系统建模的优势，论述了利用开发ERP系统的新手段——UML进行建模的方法，重点对基于用例图的功能建模方法作了详细的分析，并通过相应案例加以说明。

电子病历数据预处理技术

计算机科学. 2007, 34 (3): 141-144.

摘要 ( 101 )

PDF(263KB) ( 494 )

相关文章 | 多维度评价

多年积累的电子病历是一项重要的不可再生资源，对其数据的有效处理、利用是一项非常必要和有意义的工作。本文研究了电子病历数据前期处理的相关技术，涉及从电子文档资料到基础数据库的转换，对存入数据库的数据实施数据清理和数据变换等。通过数据预处理可以消除数据中的噪声、不完整和不一致性，实现数据的规范化和有效压缩，从而形成高质量的数据，可使数据的再处理（统计、数学建模、数据挖掘等）更加有效。

新型细胞自动机规则空间的参数化

计算机科学. 2007, 34 (3): 145-147.

摘要 ( 84 )

PDF(272KB) ( 271 )

相关文章 | 多维度评价

细胞自动机在复杂性科学研究中占有重要地位，规则空间的规律性是细胞自动机理论研究的核心问题。本文首次引入沃尔什正交变换，结合计算机实验，提出了刻画细胞自动机规则空间规律性的δ参数。通过对所有初等细胞自动机的分析，并与朗顿λ参数的对比研究，结果表明该参数能更好地刻画细胞自动机规则空间中从有序到混沌的相变，不存在关于相变临界值的争论。

基于优势关系下的协调近似空间（续）

计算机科学. 2007, 34 (3): 148-150.

摘要 ( 67 )

PDF(180KB) ( 251 )

相关文章 | 多维度评价

在基于优势关系下的不协调目标信息系统中引入了分布和最大分布协调近似空间的概念，并证明了在优势关系下不协调目标信息系统也可以转化为一个分布以及最大分布协调近似空间，这更加方便了基于优势关系下不协调目标信息系统的研究，从而进一步丰富了粗糙集理论。

信息系统中的知识距离与知识粗糙熵

计算机科学. 2007, 34 (3): 151-154.

摘要 ( 78 )

PDF(230KB) ( 321 )

相关文章 | 多维度评价

本文基于知识即划分的观点，证明了论域中所有知识构成一个距离空间，研究了知识距离空间中知识距离的一些性质，并应用知识距离度量信息系统中知识的粗糙熵。这些结果有利于更加深刻地分析信息系统中知识间的关系和知识的粗糙性。

Huber-SVR中参数μ与输入噪声间的近似线性关系

周晓剑朱嘉钢王士同

计算机科学. 2007, 34 (3): 154-158.

摘要 ( 92 )

PDF(256KB) ( 291 )

相关文章 | 多维度评价

为使Huber-SVR更具鲁棒性，深入研究了Huber-SVR中参数与输入噪声之间的关系。运用SVR的贝叶斯框架，分别推导出了鲁棒的Huber-SVR中参数μ与拉斯噪声和均匀噪声之间呈近似线性关系，并结合仿真结果和已有的相关结论，得到了更为一般的结论，即鲁棒的Huber-SVR中参数μ与输入噪声之间呈近似线性关系。这一结论为输入样本含有分布未知噪声的情况下Huber-SVR参数的选择提供了理论依据。

基于网格的数据流聚类算法

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

摘要 ( 63 )

PDF(225KB) ( 241 )

相关文章 | 多维度评价

本文提出的基于网格的数据流聚类算法，克服了算法CluStream对非球形的聚类效果不好等缺陷，不仅能在噪声干扰下发现任意形状的类，而且有效地解决了聚类算法参数敏感和聚类结果无法区分密度差异等问题。

基于搜索引擎的关键词自动聚类法

计算机科学. 2007, 34 (3): 162-164.

摘要 ( 284 )

PDF(194KB) ( 316 )

相关文章 | 多维度评价

互联网为用户提供了一个丰富的信息平台。然而，当前人们对互联网中海量信息的利用主要通过搜索引擎去查询相关的信息，互联网只是作为一个简单的信息库供用户检索。本文研究通过搜索引擎获得互联网信息并且在此基础上进行更高层次的知识挖掘——基于搜索引擎对关键词进行自动聚类。这是一个全新的研究，实验结果表明该方法具有理想的效果和新颖的构思。

基于JEP平均长度的分类方法

计算机科学. 2007, 34 (3): 165-167.

摘要 ( 69 )

PDF(265KB) ( 259 )

相关文章 | 多维度评价

本文研究了JEP——一种在不同数据集之间支持度从零到非零跳跃性变化的项集在数据分类中存在的问题，提出了项集独立支持度的概念。相对于传统的项集支持度来说，独立支持度能够更加全面地描述数据的分布特征，为更加准确的分类提供依据。进而，在独立支持度的基础上提出了JEP平均长度的概念，并提出了一种以测试样本所覆盖JEP的平均长度作为分类特征的分类方法，该方法可以更加有效地区分类边界上的数据，能够为数据提供更为准确的分类。

SMGM：一种基于模式结构和已有匹配知识的模式匹配模型

余恩运申德荣张旭王广奇于戈

计算机科学. 2007, 34 (3): 168-169.

摘要 ( 104 )

PDF(196KB) ( 261 )

相关文章 | 多维度评价

模式匹配是确定模式间语义匹配关系的技术，它在许多应用中起着重要的作用，如数据集成中异构模式信息整合、本体知识映射、电子商务中消息映射等。针对已有模式匹配方法的局限性，本着最大限度地减少人工干预使模式匹配自动化的原则，本文提出一种利用模式结构信息和已有匹配知识的模式匹配模型SMGM。它借鉴神经网络元间影响作用过程实现语义匹配推理；通过重用已有匹配知识，补充、精化匹配知识，自动缩减不确定阈值区间；并给出一种自适应式迭代挖掘求精已有匹配知识的自学习型模式匹配模型。实验表明：SMGM模型切实可行。

利用频繁模式挖掘进行图像标注

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

摘要 ( 69 )

PDF(319KB) ( 312 )

相关文章 | 多维度评价

在基于内容的图像检索与计算机视觉研究领域中，如何将底层的视觉特征与高层的语义信息相联系，即如何有效地根据图像的底层特征提取其表达的语义概念是备受关注的难题之一。特别是当图像包含了多个语义概念时，问题就变得更为棘手了。本文中，我们提出一种基于图像底层特征值频繁模式的语义概念标注方法，针对图像分块的特点实现了一组有效的模式挖掘算法，并设计了标注规则的生成算法。权威的真实数据集上的实验表明我们的方法在对含有多个语义概念的图像进行概念标注时要比之前的一些算法效果更好。

一种综合的概念相似度计算方法

曹泽文钱杰张维明邓苏

计算机科学. 2007, 34 (3): 174-175.

摘要 ( 79 )

PDF(182KB) ( 329 )

相关文章 | 多维度评价

本体映射可以用来解决本体异构问题，也是本体结盟、本体集成、本体合并、本体翻译等的技术基础。本文针对目前本体映射中概念相似度计算所存在的问题，提出了一种综合的相似度计算方法。首先根据两个概念名称相似性过滤出最相关的概念，减少相似度的计算；然后基于概念实例、基于概念属性、基于概念关系计算概念相似度，并进行综合；最后对其性能进行了简单分析。

基于与状态无关的激活集的包含派生谓词的规划问题求解

计算机科学. 2007, 34 (3): 176-180.

摘要 ( 92 )

PDF(300KB) ( 311 )

相关文章 | 多维度评价

派生谓词是PDDL2．2语言的新特性之一。在2004年的规划大赛IPC-4上，许多规划系统都无法求解包含派生谓词的两个标准竞赛问题。在经典规划中，派生谓词是指不受领域动作直接影响的谓词，它们在当前状态下的真值是在封闭世界假设中由某些基本谓词通过领域公理推导出来的。本文提出一种新的方法来求解包含派生谓词的规划问题，即用与状态无关的激活集来取代派生谓词用于放宽式规划中。

一种面向多Agent交互的博弈Nash均衡求解方法

计算机科学. 2007, 34 (3): 181-185.

摘要 ( 74 )

PDF(294KB) ( 978 )

相关文章 | 多维度评价

现有的图型博弈Nash均衡求解方法基本是在离散化剖面空间中搜索求解，最终只能得到近似Nash均衡。针对现有求解方法存在的不足，把求解图型博弈的Nash均衡看作是连续策略空间中的函数优化问题，定义Agents在策略剖面中的效用偏离度之和为优化目标，其最优解就是博弈的Nash均衡。本文基于对实例的分析指出目标函数下降梯度的计算可归结为一组线性规划，进而提出一种求解图型博弈Nash均衡的新型梯度下降算法。算法分析及实验研究表明，对于多Agent交互模型中的相关问题，本文提出的方法可求解任意图结构图型博弈Nash

基于变化生成图的OWL本体协同进化方法研究

鲍爱华姚莉张维明

计算机科学. 2007, 34 (3): 186-191.

摘要 ( 85 )

PDF(355KB) ( 257 )

相关文章 | 多维度评价

随着本体规模的不断扩大，由于能力和知识的约束，单个知识工程师已经难以单独对本体进行改进，因此如何实现本体的协同进化成为了一个亟待解决的问题。本文提出了一个能够支持OWL本体协同进化的结构化方法，引入了一种有向的与或图——变化生成图来表示知识工程师的本体改进意图，通过发现变化生成图之间的冲突来找出多个知识工程师本体改进意图之间潜在的矛盾，并通过变化生成图的冲突消解来解决本体改进意图之间的矛盾，使得多个本体改进意图能够并存，从而实现本体协同进化的目标。

基于本体的城市交通的知识分析和推理

计算机科学. 2007, 34 (3): 192-196.

摘要 ( 63 )

PDF(302KB) ( 439 )

相关文章 | 多维度评价

以城市交通为研究和应用背景，基于本体模型的知识表示技术，建立城市交通本体。对城市交通领域知识进行规范描述，详细描述了定义类层次及类的属性和关系，以及实例的基本规则，并从领域知识中提取出类内公理和类间公理，建立公理库，用于领域知识的一致性分析和知识推理。解决了语义层次上信息共享和交互的问题，为上海城市交通信息网格的交通信息服务提供语义支撑。

面向入侵检测的基于多目标遗传算法的特征选择

计算机科学. 2007, 34 (3): 197-200.

摘要 ( 63 )

PDF(257KB) ( 309 )

相关文章 | 多维度评价

针对刻画网络行为的特征集中存在着不相关或冗余特征，从而导致入侵检测性能下降的问题，本文提出了一种基于多目标遗传算法的特征选择方法，将入侵检测中的特征选择问题视为多目标优化问题来处理。实验结果表明，该方法能够实现检测精度与检测算法复杂性的均衡优化，在显著提高检测算法效率的同时，检测精度也有所提高。

外汇领域的洗钱侦测系统及关键算法研究

陈云开孙小林马君华

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

摘要 ( 79 )

PDF(242KB) ( 427 )

相关文章 | 多维度评价

目前，反洗钱成为世界各政府机构关注的热点领域。本文从技术角度探讨了外汇领域的洗钱侦测系统及其关键算法的实现。首先，描述了我国第一个外汇反洗钱侦测系统的架构；然后提出了一个以语义核心树SCT（Semantic Core Tree）为基础的增量概念聚类算法。该算法能解决以下问题：1）能处理海量数据集；2）能处理分类和数值型混合的数据集；3）能够清楚地解释聚类结果，使得结果易于理解。该算法已在反洗钱框架下实现并投入使用。

一种具有动态拓扑结构的粒子群算法研究

王雪飞王芳邱玉辉

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

摘要 ( 95 )

PDF(186KB) ( 448 )

相关文章 | 多维度评价

受小世界网络模型的启发，提出了一种具有动态拓扑结构的新颖粒子群算法。该算法通过对每个粒子邻域的记忆和更新，模拟小世界网络模型中的信息传播方式。在大量基准问题上的实验结果显示，提出的算法能有效保持优秀粒子与非优粒子所占比例的均衡性，维持了种群的多样性，避免了经典粒子群算法在高维、多峰问题上的早熟收敛现象。

基于Agent技术的智能软件协同开发研究

卢正鼎霍晓丽

计算机科学. 2007, 34 (3): 208-210.

摘要 ( 88 )

PDF(251KB) ( 261 )

相关文章 | 多维度评价

结合协同开发和Agent技术，构造了一个基于Agent组件的智能软件协同开发模型CMISA，对模型的组成元素进行了语义定义，并阐述了模型的设计思想。实现从传统软件结构到智能软件结构的转变，从实体单元的被动性到主动自主性的转变，使开发出来的软件具有典型的智能特征。

基于遗传算法的轨道交通线路排班优化研究

计算机科学. 2007, 34 (3): 211-212.

摘要 ( 68 )

PDF(115KB) ( 290 )

相关文章 | 多维度评价

根据轨道交通系统的特点，考虑不同出行方式，建立基于遗传算法的轨道交通线路排班模型；并对整个算法进行设计，使其在有限的算法步骤内，找出所有满足约束条件的最优或次优解。

基于非刚体运动光流算法的面部表情识别

计算机科学. 2007, 34 (3): 213-215.

摘要 ( 96 )

PDF(254KB) ( 358 )

相关文章 | 多维度评价

本文讨论了基于光流法的面部表情识别。由于面部表情运动是一非刚体运动，容易产生形变，因此标准光流法估计不准确。为此，本文通过引入div-curl样条函数作为扩展光流约束方程的附加约束条件，推导了非刚体光流算法，并给出了一阶和二阶div-curl样条约束下光流的数值解。最后将该算法用于面部表情特征提取，构建了HMM与BP神经网络混合分类器。实验结果表明面部表情识别率得到显著提高。

基于上下文的在线草图识别方法

计算机科学. 2007, 34 (3): 216-219.

摘要 ( 340 )

PDF(271KB) ( 259 )

相关文章 | 多维度评价

支持用户自由连贯地绘制草图是在线草图识别研究的目标之一。本文提出一种使用空间关系等上下文和贝叶斯分类器进行草图识别的方法，其主要特点包括两个方面：第一，使用笔画空间关系进行自动笔画成组，可以在不打扰用户绘图的情况下完成候选符号的选取；第二，利用贝叶斯分类器实现在线草图识别，可以解决识别方法的领域相关性及画法敏感性问题。实验验证了方法的有效性。

基于粗糙集阴影区域的检测与分类

刘伯红陈铁民

计算机科学. 2007, 34 (3): 220-223.

摘要 ( 101 )

PDF(238KB) ( 365 )

相关文章 | 多维度评价

粗糙集理论是一种新的处理模糊和不确定性问题的数学工具。本文提出一种基于粗糙集阴影边缘分类方法。该算法根据粗糙集理论、梯度、最大邻域差及噪声的条件属性，将一幅图像划分为不同的子图像；然后对子图像分别进行处理，得到阴影边缘点；再利用边缘生长对边缘点进行细化和跟踪，删除那些假边缘点；然后根据阴影边缘构出假想的阴影区域，并统计这些区域的灰度直方图，求得阴影区域的灰度区间。根据该灰度区间可以得到阴影区域，再根据这些区域的灰度、形状、面积等特征对阴影进行分类。通过对所得结果进行分析可知，结合粗糙集理论的阴影图像边缘检

影响激光图像挠度测量方法稳定性的因素及应对策略研究

蓝章礼

计算机科学. 2007, 34 (3): 224-226.

摘要 ( 66 )

PDF(165KB) ( 262 )

相关文章 | 多维度评价

本文对激光图像挠度测量方法中影响系统稳定性的因素进行研究，指出影响系统稳定性的真正原因，提出了一系列处理激光光斑图像的应对方法，有效地消除了自然光线、散射光线和衍射光线对系统的干扰，得到了较为理想的结果。

一种政府资源档案图像的二值化方法

计算机科学. 2007, 34 (3): 227-229.

摘要 ( 69 )

PDF(230KB) ( 276 )

相关文章 | 多维度评价

针对政府资源档案灰度图像，应用线性变换增强图像对比度，利用空域滤波减少噪声对图像的影响，在此基础上，使用改进的大津率法计算图像的整体阈值T2，使用Bernsen算法计算图像的阈值曲面T1，进而定义笔划断裂阈值T3、邻域平均阈值T4、全局和局部相结合的阈值T5；然后综合利用T1-T5五个阈值，对灰度图像进行二值化。实验表明，这种基于全局和局部阈值相结合的方法对政府资源档案具有广泛适应性，对伪影和断笔划处理的效果令人满意。

基于Finite Ridgelet变换的图像线性特征提取

丁辉付梦印

计算机科学. 2007, 34 (3): 230-233.

摘要 ( 101 )

PDF(201KB) ( 303 )

相关文章 | 多维度评价

线性特征是图像的一种重要局部特征，它常常决定图像中目标的形状。线性特征的提取在图像匹配、目标描述与识别以及运动估计、目标跟踪等领域具有十分重要的意义。常用的线性特征检测方法有Radon变换和Hough变换，但检测曲线复杂度会很高。本文提出一种多尺度几何分析的线性特征检测方法，该方法以finite ridgelet理论为基础，结合正交小波变换对线性特征进行提取。Finite ridgelet变换对于含有直线奇异的多变量函数具有良好的逼近特性，能够获得连续空间函数的稀疏表达，同时具有区域平滑性、很好的可逆性和

BP人工神经网络在图像分割中的应用

计算机科学. 2007, 34 (3): 234-236.

摘要 ( 63 )

PDF(187KB) ( 590 )

相关文章 | 多维度评价

图像分割是图像处理和计算机视觉的重要研究领域，也是图像识别和图像分析的基础性工作之一。图像分割效果的好坏直接影响图像特征的提取、图像识别的精度。BP人工神经网络在理论上具有实现任意非线性映射的能力，具有自学习、自适应及鲁棒性强的特点，在模式识别、模式分类和模糊控制等领域得到广泛应用。作者将BP人工神经网络成功地运用于印鉴图像分割、车牌号码图像的分割等工作中，取得了良好的图像分割效果。

系统可生存性研究综述

赖积保王慧强王健

计算机科学. 2007, 34 (3): 237-239.

摘要 ( 80 )

PDF(264KB) ( 266 )

相关文章 | 多维度评价

系统可生存性是信息安全的新研究方向，是对传统安全观念的突破和创新。本文首先给出了开展系统可生存性研究的必要性以及系统可生存性若干定义；基于此，结合可生存性的评测和增强技术研究，从计算系统可生存性、网络可生存性、服务可生存性以及软件可生存性4个角度，综述了可生存性的研究现状，并进行了国内外对比分析；随后探讨了可生存系统的设计与实现问题，最后描述了系统可生存性的发展趋势。

Petri网共享T型子网合成结构性质分析及其应用

计算机科学. 2007, 34 (3): 240-245.

摘要 ( 61 )

PDF(345KB) ( 271 )

相关文章 | 多维度评价

为了解决系统设计中的子系统共享问题，提出了经由Petri网共享T-型子网构成共享T-型子网合成网的解决方案；研究了共享T-型子网合成网的结构性质，提出了共享T-型子网合成网保持结构有界性、守恒性、可重复性、相容性、P-不变量、T-不变量、公平性和结构活性的充分条件或充要条件；特别在证明结构活性保持性的过程中，体现了Petri网层次化的描述方法。本文的结果可为Petri网系统合成性质的考察提供有效途径，为复杂大系统的分析提供重要手段，并特别适合于一类系统的设计和分析，具有一定的实用价值。

求网的S-不变量的一种图算法

计算机科学. 2007, 34 (3): 246-249.

摘要 ( 67 )

PDF(231KB) ( 413 )

相关文章 | 多维度评价

本文提出了一种新的求解网的S-不变量的方法。这种方法的基本思路是把一个网看作一个有向图，通过寻找网N的S-封闭基本有向贯通路簇或S-封闭基本有向回路簇，可以得到封闭重数方程组，求此封闭重数方程组的解就得到此网N的所有极小S-不变量。

精化UML模型

计算机科学. 2007, 34 (3): 250-253.

摘要 ( 71 )

PDF(205KB) ( 296 )

相关文章 | 多维度评价

本文通过融合UML用例图、类图、顺序图和状态图，得到一个软件系统的需求模型和设计模型，给出了需求模型和设计模型的协调性条件及精化规则。这样，我们可以从软件开发的需求分析和设计阶段检查模型的协调性，通过协调地精化模型后生成代码。用这种方法，我们可在软件设计的早期阶段发现不协调问题，减少生成代码后除错所产生的代价。

异构机群下最小化非实时任务平均响应时间的调度策略

吴代贤杨娟邱玉辉

计算机科学. 2007, 34 (3): 254-255.

摘要 ( 85 )

PDF(188KB) ( 259 )

相关文章 | 多维度评价

机群作为高性能计算机平台有着广阔的应用前景。由于很多情况下单一机群已经无法满足应用需求，因此分离的机群通常相互连接来建立一个多机群计算结构。分布式系统中根据系统处理任务性质的不同可分为实时任务和非实时任务两类。它们继而又可以分为有数据关联任务和无数据关联任务。本文关注的是异构机群下非实时任务流的调度，采用最小化任务平均响应时间作为目标函数。已有的策略要么不适用于异构多机群，要么没有考虑到任务传递的通信耗费，或者两者都欠缺。本文提出的任务调度策略解决了这两个问题，并且通过试验证明了MMRT虽然充分考虑了通信

一种基于调度簇树的周期性分布实时任务调度算法

计算机科学. 2007, 34 (3): 256-261.

摘要 ( 63 )

PDF(308KB) ( 283 )

相关文章 | 多维度评价

本文针对现有的基于任务复制的静态调度算法在调度周期性分布实时任务时存在的缺点，提出了一种称之为调度簇树（SCT）的新的结构并研究了其特性，在此基础上给出了一种基于SCT树的周期性分布实时任务调度算法（SAS）。通过与OSA算法进行比较的实验结果表明，SAS算法可实现调度长度向上最接近分布实时任务周期，最大程度减少所需顸留处理器数目，大大提高分布实时系统的处理器利用率，同时并不增加调度算法的复杂度。

业务逻辑编译器的设计与实现

范晖夏清国

计算机科学. 2007, 34 (3): 262-263.

摘要 ( 83 )

PDF(169KB) ( 262 )

相关文章 | 多维度评价

本文介绍了一种应用程序中业务逻辑的实现方案。该方案使用脚本语言来定义业务逻辑，由业务逻辑编译器来生成代码，从而提高业务开发的效率和扩展性。业务逻辑编译器由业务解释模块和业务执行模块组成。该方案已在电信领域投入使用，取得了预期的效果。

基于细粒度构件的关联度量

计算机科学. 2007, 34 (3): 264-267.

摘要 ( 95 )

PDF(213KB) ( 284 )

相关文章 | 多维度评价

介绍了基于多构件软件的稳定性度量的一种模式，包括对其中各个构件及其类型的度量，并且利用该模式替换关键构件，找出合理可重用的构件组。

XYZ／AE描述程序性质的探讨

计算机科学. 2007, 34 (3): 268-270.

摘要 ( 72 )

PDF(228KB) ( 297 )

相关文章 | 多维度评价

为保证程序的正确性，程序在投入使用前需要检验其是否满足规定的性质，那么程序的性质需要用一种语言来描述。XYZ／AE是时序逻辑系统XYZ的一个子语言，用此语言描述程序性质有很多优点。XYZ／AE不仅能描述所有的程序性质且简单易懂，另外它能与可执行语言XYZ／EE结合，描绘程序中间程度的抽象性，具有很好的扩展性。文章从上述几方面探讨了XYZ／AE描述程序性质的能力。

面向过程改进的软件复用能力评估方法

杨涛彭鑫赵文耘

计算机科学. 2007, 34 (3): 271-275.

摘要 ( 67 )

PDF(339KB) ( 394 )

相关文章 | 多维度评价

面向复用和基于构件的开发方法已经成为新的软件开发范例，许多企业也已经或计划引入这种新的软件开发方式。与一般的过程能力改进一样，这些企业也面临着如何评估自身当前软件复用能力从而制定下一步改进计划的问题。然而，当前流行的CMM／CMMI以及SPICE等过程标准都缺少面向复用和构件化开发过程的剪裁和定制，这在一定程度上阻碍了软件企业采用新的基于复用的开发方法。本文对软件复用能力评估和改进相关的工业实践和研究情况进行了总结，在此基础上提出了一种系统的软件复用能力评估框架。该框架为企业面向复用的开发过程提供了一种阶

面向质量改进与顾客互动机制的质量屋的建立

曹莉

计算机科学. 2007, 34 (3): 276-278.

摘要 ( 90 )

PDF(186KB) ( 312 )

相关文章 | 多维度评价

基于质量功能展开提出了面向质量改进与顾客互动机制的“互动质量屋”模式并构造了其简化形式，讨论了如何应用“互动质量屋”进行质量改进和顾客互动机制下的分析和决策，以更好地指导企业建立互动体系，提高质量改进的效率和有效性。

一种基于XML的统一构件匹配技术

曾一刘元勇郭永林

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

摘要 ( 142 )

PDF(237KB) ( 307 )

相关文章 | 多维度评价

构件检索和匹配是CBSD和软件复用的关键技术。目前构件库所采用的关键字、刻面、规约、行为等匹配技术都存在两个问题：1）构件表示方法各异，理解和共享构件困难；2）每个查询匹配算法侧重点不同，关键字和刻面匹配侧重构件的语义，而规约匹配侧重构件的结构，造成单独使用一种匹配算法或多或少产生一些冗余或无关构件。本文提出一个XML统一构件描述模型，该模型利用XML模式对构件进行层次化的组织，采用一种最大权匹配算法，从语法和语义两方面计算两个构件间的匹配度，有效地解决了上述问题。通过实验证明，该技术在保证构件查全率的基

RBAC模型中条件时态的研究与设计

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

摘要 ( 55 )

PDF(228KB) ( 239 )

相关文章 | 多维度评价

具有时态特征的角色访问控制（RBAC：Role Based Access Control）模型能够为RBAC控制机制提供动态的时间控制因素，是目前安全模型领域的研究热点。基于对周期理论和时态RBAC模型的研究，本文认为时态不仅能够为模型提供时间维的控制因素，而且模型中的约束也能作用于时间雏形成条件时态平面的控制因素，从而能够进一步提高模型控制的灵活性和多样性。为此，本文提出了条件周期表达式和条件时态的概念，形式化描述了条件时态语义；并通过条件周期事件和角色状态在条件周期下的断言详细论述了条件时态。

Java异常处理机制的研究

杨厚群陈静

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

摘要 ( 82 )

PDF(240KB) ( 305 )

相关文章 | 多维度评价

异常处理是Java语言的重要语言机制，正确、合理地处理异常对程序的可靠性、健壮性是十分重要的。在分析了异常处理技术的概念和思想后，对异常处理提出了指导原则，并针对检查型异常和非检查型异常的差异，探讨了对应的解决措施。

嵌入式软件可靠性测试系统及其通信研究

任洪波

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

摘要 ( 83 )

PDF(194KB) ( 341 )

相关文章 | 多维度评价

传统的嵌入式软件测试系统，不论是单机结构还是分布式结构，在长时间大规模的嵌入式软件可靠性测试时，都在数据传输方面存在相应问题。本文针对嵌入式软件可靠性测试对数据通信的实时性、延迟确定性要求，结合在国防、通信、航天、工业控制等领域广泛应用的交换式以太网技术，介绍了一种星型拓扑嵌入式软件测试系统原型。

基于BDD的组合电路等价性检验

李绍荣徐玉婷

计算机科学. 2007, 34 (3): 293-294.

摘要 ( 77 )

PDF(156KB) ( 559 )

相关文章 | 多维度评价

本文分析了基于BDD的组合电路等价性检验；讨论了构造输出函数的二叉判定图BDD的不同方法，并分析了BDD间布尔操作的不同的算法的异同；然后给出了一种基于BDD的组合电路等价性检验方法。