计算机科学

Overlay服务网络中的多因子服务放置问题

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

摘要 ( 77 )

PDF(271KB) ( 300 )

相关文章 | 多维度评价

Overlay服务网络是一种通用的服务框架，它利用覆盖网络技术来向用户提供各种各样的服务。本文在讨论Overlay服务网络的基础上，提出了多因子服务放置的问题，对该问题进行了形式化建模，并提出了相应的算法，对算法进行了相应的仿真。

轻量级开放式移动Agent系统：原理与实现

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

摘要 ( 82 )

PDF(372KB) ( 318 )

相关文章 | 多维度评价

移动agent计算模式是一种灵活的基于Internet的分布式计算模式，但是“黑盒”式的设计和“单体”结构使得既有移动agent系统过于冗余，且不能随着用户需求和计算环境的变化动态修改系统的结构和行为。因此提出利用反射技术将移动agent系统“构件化”使其能够支持系统的“可定制”或“可裁剪”，并采用开放式的实现为移动agent系统的使用者提供扩展系统的能力。反射架构下的移动agent系统能够在运行时刻无需关闭系统动态加载或卸载特定模块；通过移动agent和底层平台的反射特性能自然地实现agent和agen

信息流理论及其应用研究

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

摘要 ( 239 )

PDF(272KB) ( 357 )

相关文章 | 多维度评价

信息流（Information Flow）理论，也称为通道理论（Channel Theory），是一种通用的规则理论，能应用到自然界的生物、物理系统和人工世界的计算系统内在的分布式信息的交流中。信息流理论的基本概念之一是信息射（Infomorphisms），是形成信息通道的重要因素。由于信息流理论能弥补Shannon信息论难以支持语义互操作的不足，因此逐渐受到重视。本文介绍了信息流理论在国际上应用的状况，也介绍了我们在网格信息共享的研究中利用Agent会话机制动态生成信息射的过程。

LDPC码的低复杂度译码算法研究

计算机科学. 2006, 33 (7): 16-19.

摘要 ( 87 )

PDF(199KB) ( 1074 )

相关文章 | 多维度评价

本文在对LDPC码的译码算法分析的基础上，针对校验矩阵中含有的环对译码算法的影响，提出了一种基于置信传播算法基础上的低复杂度译码算法。该算法通过及时切断消息在环上的重传回路，可消除因校验矩阵中的环回传原始信息对译码造成的影响，保证优质的原始信息能尽可能地传播到其能传播的节点，从而提升了LDPC码的译码性能。仿真实验表明，该算法具有低于传统算法的复杂度，在低信噪比的信道中可以获得相当于传统算法的性能，在良好的信道条件下可以取得比传统算法更优异的性能。

微通信元网络系统的软件架构

鲁珂左玲曾家智

计算机科学. 2006, 33 (7): 20-22.

摘要 ( 250 )

PDF(171KB) ( 309 )

相关文章 | 多维度评价

在对服务元网络体系结构和微通信元网络系统进行充分研究的基础上，本文提出了一种新型的适合微通信元网络系统的软件架构。在该架构中，用面向对象的设计思想把微通信元作为一个软件对象来实现，使它既是包处理的一个最小单元，也是CPU调度的最小单元。这种新型的软件架构具有灵活、安全、高效、易于扩展和配置方便等优点，特别适合构建模块化的，具有面向对象特征的微通信元网络系统。

一种基于DVMRP的路由器辅助可靠组播的方法研究

薛建生王光兴

计算机科学. 2006, 33 (7): 23-24.

摘要 ( 102 )

PDF(233KB) ( 308 )

相关文章 | 多维度评价

通过对DVMRP（距离向量组播路由协议）的路由信息报告中保留位的有效利用，提出一种基于DVMRP的路由器辅助可靠组播协议（RARM）。不需引入额外流量，仅仅依靠正常的DVMRP路由交换来进行动态分层，以一种比较简洁的方式实现了RARM协议的基本思想，完成了经典可靠组播协议的全部功能。仿真模拟测试表明：该方案能有效地抑制反馈风暴，减少传输延时。

层次式Chord：物理拓扑感知的结构化对等网

肖卓程荆金华

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

摘要 ( 92 )

PDF(209KB) ( 348 )

相关文章 | 多维度评价

本文针对对等网由于逻辑网络和物理网络的拓扑结构不匹配导致物理路由效率低下的问题，在结构化P2P网络Chord的基础上，提出一种层次式Chord模型。模拟实验表明，该模型能够有效提高物理路由的效率，并保持良好的逻辑路由效率和较低的维护代价。

对等网副本散布问题纯策略纳什均衡研究

王文方刘晓光王刚刘璟

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

摘要 ( 92 )

PDF(113KB) ( 381 )

相关文章 | 多维度评价

在对等网环境中为增强数据的可靠性与访问效率，需要将数据副本进行有效的散布。应用博彝论原理研究副本散布问题是一种有效的新方法。分析了当前使用博弈论方法研究所存在的问题，提出副本散布问题的基本博彝模型，首次证明了多对象且节点容量有限情况下纯策略纳什均衡的存在性，较以前的研究成果更具有实用价值，且是今后进一步研究的基础。

移动Ad hoc网络中一种信任评估模型

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

摘要 ( 67 )

PDF(187KB) ( 293 )

相关文章 | 多维度评价

移动Adhoe网络没有固定的网络基础设施、网络拓扑结构频繁动态变化、无线信道完全开放、网络缺乏自稳定性。在这样的网络中，节点之间的相互信任对网络的安全保障与可靠运行均具有重要的意义。本文提出一个模型，用于网络节点之间的信任评估。在这个模型中，信任被定义成信任评估主体对客体的一个多角度的动态的评价，同时模型提供了一个合理的方法用于综合直接经验和间接经验。最后，将模型应用于移动Adhoc的一种路由协议中，以示举例。

一种应用于宽带分布式并行服务器Ad hoc网络的MAC协议

计算机科学. 2006, 33 (7): 34-39.

摘要 ( 82 )

PDF(413KB) ( 313 )

相关文章 | 多维度评价

分布式并行服务器具有高的整体性能，用它作为网络服务器的Ad hoc网络，会体现出更好的服务性能。然而，无线系统的带宽有限，因此信道资源分配算法直接影响着分布式并行Ad hoc网络的性能。本文提出了一种适用于分布式并行Ad hoc网络的MAC协议DPACP，它根据通信节点的状态进行有选择的区分服务，采用混合服务规则满足不同优先级分组、不同通信节点的QoS需求。仿真表明，该协议对不同优先级分组均有良好的适应性，满足不同优先级的性能需求，对多业务的综合服务系统具有很强的适应性，从而使系统的稳定性大大增强，适用于

分簇CDMA无线Ad Hoc网络吞吐量性能研究

计算机科学. 2006, 33 (7): 40-41.

摘要 ( 72 )

PDF(195KB) ( 283 )

相关文章 | 多维度评价

本文研究了分簇CDMA无线移动Ad Hoc网络的簇间吞吐量性能的上界。在分簇无重叠的情况下，网络的簇问吞吐量性能的上界为Θ（n^1/2）；若在分簇有部分重叠的情况下，其网络吞吐量的上界则为Θ（1／logn）。

网格环境下的服务质量（QoS）研究

计算机科学. 2006, 33 (7): 42-46.

摘要 ( 74 )

PDF(324KB) ( 312 )

相关文章 | 多维度评价

面对类型多样的异构资源、动态协作的复杂网格环境，需要有效的服务质量（QoS）控制机制保障网格应用的需求，网格QoS需引入新的概念和机制，实现QoS需求的描述与映射、动态资源聚合与共享及任务间协作，灵活有效地进行网格应用流的聚合、区分和控制。该文分析了网格QoS控制的特点、难点和基本需求，介绍了网格QoS目前的研究情况，并从QoS管理结构和控制策略、资源预留、QoS协商、自适应方法和QoS评价等几个方面进行阐述，最后分析和总结了网格QoS的基本研究目标和未来的研究方向。

一种基于OSPF扩展的预计算QoS路由算法研究

张静冉晓旻胡捍英

计算机科学. 2006, 33 (7): 47-51.

摘要 ( 105 )

PDF(300KB) ( 419 )

相关文章 | 多维度评价

在一个MPLS域，LSPs的建立需要QoS路由协议分发QoS相关的信息和执行QoS路径选择，但是传统的OSPF不支持QoS路由。本文提出并详细讨论了一种0SPF-QoSR路由机制，它是对OSPF路由协议的扩展，基于网络的动态可用带宽资源和流的QoS请求来决定流的QoS LSPs。仿真证明，该机制在丢包率、链路利用率、延时方面的性能优于只考虑最短路径的OSPF。

IPv6中IP层实现Anycast均衡负载的一种设计方案

计算机科学. 2006, 33 (7): 52-54.

摘要 ( 95 )

PDF(179KB) ( 302 )

相关文章 | 多维度评价

本文在充分分析和研究了Anycast服务的基础上，提出了一个确保Anycast服务质量并且可以在Anycast成员之间实现均衡负载的全新方案，同时对该方案的实施过程做了深入的分析和讨论，充分证明了该方案的可行性及其有效性。

信息集成研究综述

计算机科学. 2006, 33 (7): 55-59.

摘要 ( 75 )

PDF(395KB) ( 326 )

相关文章 | 多维度评价

信息集成所要解决的问题是把位于不同的异构信息源上的数据合并起来，以便为用户提供一个这些数据的统一视图。在当前的实际应用中，设计信息集成系统很重要，并且已经成为数据库领域的研究热点。本文对这一领域的研究做了综述，包括信息集成的方法、逻辑框架、查询处理，以及Web上半结构化数据的集成。最后，对将来的研究主题进行了展望。

无线传感网络中数据融合体系架构的研究

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

摘要 ( 124 )

PDF(247KB) ( 454 )

相关文章 | 多维度评价

数据融合技术是无线传感器网络（WSN）的一个关键技术，目的是减少传感节点间的传输量，降低整个网络中的能量消耗和数据冲突，进而优化WSN的整体性能。文章针对WSN中数据融合处理形式的多元性，在讨论了广义的数据融合，分析现有的WSN数据融合方法的基础上提出了一种解决WSN（自组织和网内处理）中数据融合多元性问题的新的开放式的体系架构，并给出了具体实现方案。

XML DTD规范化处理应用研究

计算机科学. 2006, 33 (7): 63-67.

摘要 ( 67 )

PDF(253KB) ( 267 )

相关文章 | 多维度评价

从消除XML DTD文档内数据冗余的角度出发研究了文档的规范化问题，首先引入XML DTD上路径和函数依赖的定义，并提出定义XML上的数据冗余；其次基于函数依赖，提出了规范化的DTD概念和XML DTD规范化处理规则；最后给出了一个将XML DTD转化为规范化的处理算法。

基于路网的移动对象索引机制研究

郭景峰王建朝董宏宇闫立华

计算机科学. 2006, 33 (7): 68-70.

摘要 ( 119 )

PDF(165KB) ( 287 )

相关文章 | 多维度评价

本文基于FNR-Tree的思想提出了一种新的索引算法FNR-Tree，该算法可以实现基于轨迹的查询，而这正是FNR-Tree索引结构所欠缺的，接着给出了FNR-Tree的数据结构和插入算法，查询算法，最后给出了两种索引结构的试验对比结果。

遗传算法在主题Web信息采集中的应用研究

计算机科学. 2006, 33 (7): 71-74.

摘要 ( 133 )

PDF(222KB) ( 390 )

相关文章 | 多维度评价

传统的基于本地搜索算法的信息采集系统存在诸如主题漂移和采集结果局部最优等问题。在深入研究Web拓扑结构基础上，利用网络蜘蛛的在线状态，提出了基于全局信息的、动态综合了链接的立即回报价值和未来回报价值的遗传算法。通过此算法，利用元搜索技术可进一步提高网络蜘蛛的性能，具有更高的查全率和查准率，能够较好地解决现存问题。

视频细粒度可分级编码研究进展

计算机科学. 2006, 33 (7): 75-80.

摘要 ( 77 )

PDF(337KB) ( 295 )

相关文章 | 多维度评价

Internet的迅速发展使越来越多的应用使用流媒体技术。作为流媒体的核心技术之一，视频的可分级编码技术已经成为一个重要的研究领域。本文首先对MPEG-4修订版中FGS的编码机制、可扩展特性和所存在的问题进行了讨论，然后对细粒度可分级视频编码的研究进展进行了分析，最后对视频细粒度可分级编码的未来发展趋势进行了展望。

蓝牙与802．11b视频流传输性能研究和比较

房胜梁永全

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

摘要 ( 86 )

PDF(248KB) ( 328 )

相关文章 | 多维度评价

目前无线ad hoc网络发展的目标是支持多媒体数据的传输，基于ad hoc网络的视频流传输有着巨大的应用前景。但是无线传输介质的不稳定特性决定了其支持视频流传输存在较大的挑战。在分析蓝牙和802．11b技术各自优缺点的基础上，设计了基于蓝牙和802．11b无线ad hoc网络视频流传输的模拟实验架构。在不同码率和不同路径长度的模拟环境下测试了解码视频流的质量，研究、对比了二者在视频流传输中的性能。

多维数据概念模型的形式化描述

计算机科学. 2006, 33 (7): 84-86.

摘要 ( 143 )

PDF(223KB) ( 276 )

相关文章 | 多维度评价

本文基于维层次间的部分包含关系及其传递性，对多维数据概念模型的形式化描述进行了初步研究，并首次从静态结构视图与功能结构视图两个方面对其进行了详细的阐述；同时还从基本代数操作、模型分析操作、模型维护操作三个方面对该模型支持的操作进行了定义；最后还给出了该模型的构建方法。

异构数据源集成中的模式映射技术

计算机科学. 2006, 33 (7): 87-91.

摘要 ( 89 )

PDF(331KB) ( 470 )

相关文章 | 多维度评价

模式映射是异构数据源集成中实现查询重形成（Reformulation）的关键技术，本文首先介绍了模式映射的集中式和非集中式集成体系，总结了定义模式映射的3种基本形式：GAV、LAV和GLAV，重点探讨了模式映射中的核心技术：模式匹配和映射生成，最后讨论了模式映射技术新的研究议题。

基于P2P的实化视图维护技术研究

计算机科学. 2006, 33 (7): 92-94.

摘要 ( 83 )

PDF(231KB) ( 256 )

相关文章 | 多维度评价

基于P2P的视图维护是一个重要的研究方向。当前的视图维护方法主要以传统的C／S模型为基础，当更新频繁时将会导致数据仓库超载而崩溃。针对这种现状，构建了基于P2P的主动视图维护模型，模型充分发掘P2P技术的潜在优势，克服了传统视图维护方法中数据仓库和数据源负载失衡及可伸缩瓶颈等问题。描述了P2PAVM的节点拓扑结构；重点阐述了P2PAVM的动态节点管理与路由等关键技术。

基于J2EE的Web应用系统的性能优化方法研究

陈丽冰

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

摘要 ( 84 )

PDF(200KB) ( 294 )

相关文章 | 多维度评价

应用软件的性能优化是计算机应用的重要问题。良好的性能是企业应用系统的重要质量指标之一。本文以一个基于J2EE的ERP系统的开发实践为背景，从减少网络通信量，使用缓存技术和优化数据访问这三个方面讨论了基于J2EE的Web应用系统的性能优化的一系列方法，并提供了这些方法的实际应用效果的测试数据。

基于XML的Web数据模型

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

摘要 ( 74 )

PDF(375KB) ( 277 )

相关文章 | 多维度评价

在对现有半结构化数据模型分析的基础上，针对这些模型作为Web数据模型的不足，提出一种新的基于XML的Web数据模型——XWDM，它主要解决了Web数据名称异构问题和查询回路问题。

Web用户访问路径的差异性度量方法研究

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

摘要 ( 63 )

PDF(164KB) ( 340 )

相关文章 | 多维度评价

Web站点个性化已经成为当前研究的一个热点，人们通过各种方法，对网站内容、结构、用户行为等进行数据挖掘，建立用户兴趣模型，为网站用户提供更好的服务，加强网站的竞争力。在当前网站个性化的方法中，基于用户行为分析的方法是最具有竞争力的一类方法。对Web用户行为进行分析用得较多的技术是对Web用户访问路径进行聚类以发现有意义的模式。而良好聚类的前提是有效地度量Web用户访问路径的差异性。针对这个问题，提出了一种新的Web用户访问路径差异性度量方法，通过模拟实验也验证了方法的正确性。

乐观嵌套工作流事务模型的形式化描述

计算机科学. 2006, 33 (7): 107-110.

摘要 ( 69 )

PDF(295KB) ( 309 )

相关文章 | 多维度评价

本文对乐观嵌套工作流事务的基本概念及其规则进行形式化描述，并对乐观嵌套工作流事务的层次化、可串行性进行了讨论。最后得出结论：1）利用乐观嵌套模型来调度事务是可以串行调度的，它能够保证数据的一致性。2）在乐观嵌套工作流事务执行过程中采用多版本的数据管理机制来处理并发事务访问同一数据及其中间状态，是无联级回退的。

工作流模型死锁的Petri网分析

谭玲郑栋顾庆陈道蓄

计算机科学. 2006, 33 (7): 111-114.

摘要 ( 96 )

PDF(192KB) ( 897 )

相关文章 | 多维度评价

Petri网具有坚实的理论基础和易于使用的图形表示，是一种理想的建模和分析工具，因此在工作流的建模和分析方面具有广泛的应用。本文应用Petri网的理论对于工作流模型中的死锁进行分析，给出了解决死锁的基本算法，并分析了这些算法的优缺点。最后给出了一个实例：软件测试过程模型。

一种分布式工作流中基于负载平衡的调度算法

张坚刘春林谭庆平

计算机科学. 2006, 33 (7): 115-118.

摘要 ( 74 )

PDF(235KB) ( 297 )

相关文章 | 多维度评价

工作流管理系（Workflow Management System）帮助企业实现分布式异质环境中的人工和自动任务的全面流程化。本文提出一种新的分布式WFMS负载平衡调度算法，解决单节点引擎负载过重的问题。改进后的负载平衡技术比轮询调度算法更能保证多引擎间负载基本均衡。当多引擎间任务调度出现不平衡，导致某些节点负载过重或是某个节点出现故障时，多引擎能够根据相应模型策略和实际的信息来动态调整各节点的负载，这样也可以在一定程度上解决有大量分布式事务处理时的性能问题。另外，负载指数调度算法实现简单，尽可能地减少了

基于椭圆曲线的安全组播多层接入控制方案

计算机科学. 2006, 33 (7): 118-120.

摘要 ( 59 )

PDF(170KB) ( 270 )

相关文章 | 多维度评价

具有多层服务结构的组通信要求有多层接入控制的能力。已有的研究方案在密钥更新时存在开销大、时延长的缺点，使组播的服务质量难以保证。本文提出基于椭圆曲线密钥体制的斜树密钥管理方案，算法只需更新少量密钥就能满足系统的安全需求。与已有方案相比，效率有很大提高。

无线组网技术中的安全问题

计算机科学. 2006, 33 (7): 121-126.

摘要 ( 66 )

PDF(382KB) ( 310 )

相关文章 | 多维度评价

无线组网技术当前主要有Sensor Network和Ad hoc Network两种。与传统的有线网络相比，无线网络同样使用类似于TCP／IP的分层协议进行通信。这样无线网络不仅继承了大部分有线网络的安全缺陷，而且由于使用无线信号传输数据，又使它具有了一些特有的安全问题。本文从信息安全学的角度，系统地综述了无线组网技术中的安全问题及对策，为这个领域的研究提供了清晰的问题结构。

基于AOI方法的未知蠕虫特征自动发现算法研究

计算机科学. 2006, 33 (7): 127-130.

摘要 ( 80 )

PDF(325KB) ( 315 )

相关文章 | 多维度评价

近年来频繁爆发的大规模网络蠕虫对Internet的整体安全构成了巨大的威胁，新的变种仍在不断出现。由于无法事先得到未知蠕虫的特征，传统的基于特征的入侵检测机制已经失效。目前蠕虫监测的一般做法是在侦测到网络异常后由人工捕获并进行特征的分析，再将特征加入高速检测引擎进行监测。本文提出了一种新的基于面向属性归纳（AOI）方法的未知蠕虫特征自动提取方法。该算法在可疑蠕虫源定位的基础上进行频繁特征的自动提取，能够在爆发的早期检测到蠕虫的特征，进而通过控制台特征关联监测未知蠕虫的发展趋势。实验证明该方法是可行而且有效

一种新的基于大整数分解困难问题的叛逆者追踪方案

计算机科学. 2006, 33 (7): 131-133.

摘要 ( 67 )

PDF(186KB) ( 269 )

相关文章 | 多维度评价

提出了一种新的基于大整数分解困难问题的叛逆者追踪方案。该方案的主要思想是构造两个特殊的参数A1，A2，与用户i对应的一对值（αi1，αi2）满足ai1＋ai2=h mod（φ（N）），其中h为一常数，欧拉函数φ（N）=（p-1）（q-1），解密时利用参数A1，A2和用户的私钥即可获得h。与现有两种方案相比，新方案具有黑盒子追踪、密文长度是常量、增加用户或撤消用户以及前向安全性和后向安全性等优点。

对一种基于公钥加密算法的组密钥管理方案的密码分析

杨军周贤伟覃伯平

计算机科学. 2006, 33 (7): 134-137.

摘要 ( 81 )

PDF(258KB) ( 304 )

相关文章 | 多维度评价

组播为组通信提供一个可扩展的解决方案，而组密钥管理是安全组通信最重要的组成部分。Chaddoud和Varadharajan在安全特定源组播体系结构中利用Yi，Varadharajan和Zhao的分布式公钥加密算法提出了一种信道密钥管理方案。我们首先论证在该算法中使用强的单向散列函数不仅是不必要的，而且诱发敌手利用剩余类环中的零因子对其发起一种被动攻击。其次通过重新配置系统参数，改进后的G算法既能提高抵抗零因子攻击的能力，又能保持理想的语意特性。然后对其方案中组管理者使用的加密密钥进行了简化计算，并分析了其

基于SOAP和SRP-6协议的认证与密钥交换方案

李冬郭荷清

计算机科学. 2006, 33 (7): 138-141.

摘要 ( 277 )

PDF(194KB) ( 757 )

相关文章 | 多维度评价

SRP（Secure Remote Password）是一种基于密码的强认证协议。本文分析了SRP协议的密钥交换机制，提出了一种基于SOPA和SRP-6协议的密钥交换与认证方案SRP-over-SOAP，并将该方案用于Web Service，实现了服务器和客户机间的双向身份认证。据我们所知，该方案是第一个将SOAP用于SRP-6协议的方案。

Schnorr签名方案的一种攻击

刘景美王新梅

计算机科学. 2006, 33 (7): 141-142.

摘要 ( 290 )

PDF(113KB) ( 697 )

相关文章 | 多维度评价

Schnorr签名算法计算量少，速度快，在灵巧卡中具有大量的应用，因此必须具有足够的安全性。本文给出了选择消息下对Schnorr签名方案的一种攻击方法，攻击者可以假冒签名者进行签名；另外给出了一种攻击签名者私钥的选择消息攻击方法，其攻击性不依赖于离散对数的求解问题。

一种超椭圆曲线密码体制的快速求阶算法

李彬郝克刚

计算机科学. 2006, 33 (7): 143-144.

摘要 ( 112 )

PDF(172KB) ( 316 )

相关文章 | 多维度评价

本文基于代数方法阐述了HCC有关数学理论，给出关于一条超椭圆曲线的Jacobian求阶算法及其实例证明。基于ECC思想与国际标准规范，提出一种超椭圆曲线范围参数，讨论了适应于密码学的超椭圆曲线表示及其Jacobian上安全曲线的选择问题。

一种基于混沌神经网络的序列密码算法

计算机科学. 2006, 33 (7): 145-146.

摘要 ( 75 )

PDF(177KB) ( 332 )

相关文章 | 多维度评价

混沌序列具有带宽大、类噪声、难于预测和重构等特点，因而非常适用于网络通信和数据加密。本文结合神经网络和混沌映射的特点，提出了一种基于混沌神经网络和混沌映射序列密码的设计方法，该方法可以克服有限精度效应对混沌系统的影响，从而改善混沌序列特性，理论和实验结果表明：在有限精度实现下，该方法可以有效提高混沌系统的复杂性和随机性，并且算法安全性高、运算速度快，并且便于软硬件的实现。

MPEG-2变长码域实时视频水印

邹复好卢正鼎凌贺飞

计算机科学. 2006, 33 (7): 147-152.

摘要 ( 72 )

PDF(324KB) ( 338 )

相关文章 | 多维度评价

通常，同公有水印算法相比，私有水印算法表现出更好的性能。产生这种结果的原因是，在水印检测时，私有数字水印算法可以借助原始载体作为参照点，对检测载体相对于原始载体的变化量做准确的计算。在公有算法中，如何在没有原始载体的情况下，寻找一个稳定参照点是提高水印性能的关键。本文提出的公有视频水印算法是利用扩展m-序的良好均衡性产生稳定的参照点，从而大大提高水印系统的性能。考虑视频水印的实时性要求，即尽量避免一些计算复杂性较高的操作（如DCT变换和运动补偿等操作），水印的嵌入和检测过程均在变长码域进行。为了防止视觉质

基于零树编码的数字水印算法

计算机科学. 2006, 33 (7): 153-154.

摘要 ( 320 )

PDF(167KB) ( 256 )

相关文章 | 多维度评价

随着多媒体技术的发展，数字水印技术已经成为数字版权保护领域的一个研究热点。针对传统数字水印技术的有限性，通过对频域数字水印算法进行分析，提出了一种新的数字水印算法。新算法以零树编码思想为基础，对原始图像和水印图像进行小波变换和零树编码嵌入，实现了二维彩色图像将为水印信息嵌入到二维图像数据中。实验证明，新算法在对彩色图像进行水印处理方面达到较好的效果，具有较好的健壮性。

一个基于DWT的自适应数字水印算法

计算机科学. 2006, 33 (7): 155-157.

摘要 ( 61 )

PDF(165KB) ( 384 )

相关文章 | 多维度评价

本文提出了一个新的DWT域自适应数字水印算法。该算法利用小波域高、低频部分嵌入水印的优势互补特点，在载体图像的高频和低频子带分别嵌入相同水印来增强水印抵抗多种攻击的能力；水印的嵌入采用量化调制方式，其量化步长可根据人类视觉系统和载体图像的局部特点自适应地调整。此外，由于奇异值分解具有良好的性能，因而被用于高频部分水印的嵌入以提高其鲁棒性。实验结果表明水印具有良好的鲁棒性和不可见性，与相近算法相比，本文方法可以有效抵抗更多的攻击。

基于分形的DNA序列可视化表示研究

计算机科学. 2006, 33 (7): 158-163.

摘要 ( 64 )

PDF(381KB) ( 334 )

相关文章 | 多维度评价

DNA序列可视化表示对于研究其结构与功能具有至关重要的意义，它有助于重复子序列的识别、内含子与外显子的区分以及DNA序列进化研究等等。本文首先介绍了生成DNA序列分形图像的Hao方法和经典的混沌游戏方法，然后深入分析和比较了这两种方法的异同点，并讨论了禁止子序列中回文子序列情况；紧接着，阐述了迭代函数系统产生分形吸引子的数学机理，并根据Moore自动机与迭代函数系统定义了混沌自动机，然后详细研究了以DNA序列驱动混沌自动机产生分形图像的方法；最后提出DNA序列三联密码子的分形图像表示方法，并对其进行了初步

DNA片段拼接中重复序列算法研究

王磊张祖平陈建二

计算机科学. 2006, 33 (7): 164-166.

摘要 ( 75 )

PDF(193KB) ( 692 )

相关文章 | 多维度评价

本文主要研究DNA片断拼接中重复序列信息识别算法。包含大量重复信息的DNA序列，其重构是大规模DNA片段拼接所面临的实际困难之一。针对目前大多数拼接算法对于重复段的处理采用效率较低的反复迭代算法的特点，提出了基于k-mer子串的重复段分析方法，充分考虑了拼接中可能的分割点，设计与分析了识别重复序列并提高序列一致性的高效算法。

基于DNA自动机的串行二进制进位加法的实现

计算机科学. 2006, 33 (7): 167-170.

摘要 ( 70 )

PDF(219KB) ( 326 )

相关文章 | 多维度评价

提出了一种基于DNA自动机的串行二进制进位加法的实现方法。对于一位二进制的进位加法，通过预先设计的DNA自动机模型在一个试管中以自动机的方式完成。对于”位二进制的进位加法，通过将n个类似的试管按照从低位到高位的顺序组成串行网络；将低位加法操作产生的进位转移到高位试管，组成高位自动机的输入符号串，完成高位的加法操作。这种运算方式类似于电子计算机中加法运算系统，为DNA计算机实现算术运算提供了一种新颖的方法。

粗糙性理论的列氏总分学分析

陈波周明天

计算机科学. 2006, 33 (7): 171-175.

摘要 ( 75 )

PDF(309KB) ( 281 )

相关文章 | 多维度评价

本文从探究粗糙总分学起源的上下文开始，回顾了其本源列氏总分学及其扩展后的塔氏立体几何关键内容。通过使用上述基本理论的术语和概念，对粗糙包含定义的公设系统进行了初步分析，从而阐述了对粗糙总分学的基本内涵理解。粗糙总分学体现了列氏总分学与粗糙性理论结合的一个方面，但列氏总分学作为与经典集合论相提并论的理论体系，具有完全基于该理论构造粗糙性的能力。基于此观点，本文首先描述了以集合论中划分的概念表达的粗糙集理论的形成原理，然后以列氏总分学概念来对等地替代集合论概念，以获得纯粹总分学意义上的粗糙性。这些思想和努力的

粗糙集与直觉模糊特殊集

计算机科学. 2006, 33 (7): 176-178.

摘要 ( 55 )

PDF(130KB) ( 249 )

相关文章 | 多维度评价

粗集理论和直觉模糊特殊集理论都是近年来发展起来的一种有效的信息处理理论，尤其在不确定信息处理中各有优势。本文首先讨论了直觉模糊特殊集及其算子的一些性质，并给出了其海明距离的定义和计算。同时研究了粗糙近似空间上一类粗代数结构与直觉模糊特殊集的同态关系。

集值决策信息系统的知识约简与属性特征

计算机科学. 2006, 33 (7): 179-181.

摘要 ( 59 )

PDF(225KB) ( 302 )

相关文章 | 多维度评价

本文定义了集值决策信息系统中的一种新的关系，给出了在这种关系下协调集值决策信息系统属性约简的判定定理和辨识矩阵，从而得到了知识约简的具体操作方法，并讨论了在属性约简中起不同作用的属性分类及其特征。定义了不协调集值决策信息系统的分配协调集，给出了一种将不协调集值决策信息系统转化为广义协调近似空间的方法，并证明了不协调集值决策信息系统的分配协调集就是广义协调近似表示空间的协调集。

基于概化闭包压缩规则的关联分类器构建算法研究

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

摘要 ( 97 )

PDF(274KB) ( 251 )

相关文章 | 多维度评价

在分析关联规则挖掘领域中概化闭包（GC）项集压缩方法基础上，为克服训练数据集中的噪声干扰，改进雎分类器，设计了一种基于概化闭包压缩规则的关联分类器（ACGCCR）构建算法模型。ACGCCR改进了GC的容忍限度值设置方法，根据类分布状态自适应设置容忍限度值；并规定一种新的概化闭包类规则裁剪方法，避免概化过程中出现学习能力不足的问题。ACGCCR分类规则在压缩存储表现、预测准确度、算法鲁棒性等方面性能表现良好。

一种改进的基于特征赋权的K均值聚类算法

任江涛施潇潇孙婧昊黄焕宇印鉴

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

摘要 ( 119 )

PDF(123KB) ( 361 )

相关文章 | 多维度评价

聚类分析是数据挖掘及机器学习领域内的重点问题之一。近年来，为了提高聚类质量，借鉴和引入了分类领域特征选择及特征赋权思想，提出了一些基于特征赋权的聚类算法。在这些研究基础上，本文提出了一种基于密度的初始中心点选择算法，并借鉴文[1]所提出的特征赋权方法，给出了一种改进的基于特征赋权的K均值算法。实验表明该算法能较为稳定地得到较高质量的聚类结果。

基于最小聚类单元的聚类算法研究及其在CRM中的应用

张光建黄贤英

计算机科学. 2006, 33 (7): 188-189.

摘要 ( 73 )

PDF(213KB) ( 251 )

相关文章 | 多维度评价

将聚类分析技术应用于客户关系管理可以改善客户关系，对将来的趋势和行为进行预测，优化营销策略。在综合分析网格聚类算法和K-均值聚类算法的基础上，提出了基于最小聚类单元（Minimum Clustering Cell，简称MCC）的聚类算法，介绍了该算法在CRM中的应用。经证明该算法是一种实用的、速度更快、效率更高的改进聚类算法，它克服了K-均值聚类需要事先给定K值、网格聚类要求数据密集的缺点。

基于抽样的分布式约束性关联规则挖掘算法研究

李宏陈松乔杜剑峰陈建二

计算机科学. 2006, 33 (7): 190-195.

摘要 ( 73 )

PDF(313KB) ( 253 )

相关文章 | 多维度评价

本文采用抽样的方法，在基于约束的Eclat类算法（例如Eclat A和Eclat M）的基础上，提出了一种分布式约束性关联规则的挖掘算法——DMCASE算法。本算法在各数据站点上对一个较小的样本采用基于约束的Eclat类算法，挖掘局部约束频繁项集，采用归纳学习的方法归并所有局部约束频繁项集，产生全局约束频繁项集。只需1次扫描数据库，挖掘效率较高。实验证明：该算法是一种十分有效的解决基于约束条件下的分布式关联规则挖掘算法。

基于排序矩阵和树的关联规则挖掘算法

计算机科学. 2006, 33 (7): 196-198.

摘要 ( 91 )

PDF(153KB) ( 376 )

相关文章 | 多维度评价

最大频繁项集的生成是影响关联规则挖掘的关键问题，Apriori算法从大量的候选频繁项集产生频繁项集的过程是非常耗时的过程。本文提出了一种新的算法，该算法结合项集的有序特性构造矩阵，使生成树的每一层结点从左往右按支持度大小升序排列，这样得到的候选频繁项集的集合是最小的，大大减少了候选频繁项集的数量，而且能保持频繁项集的完整性，从而节约了计算开销，提高了算法的效率。

空间关联规则的双向挖掘

计算机科学. 2006, 33 (7): 199-203.

摘要 ( 60 )

PDF(317KB) ( 384 )

相关文章 | 多维度评价

空间数据库中关联规则挖掘不仅需要考虑关系元组属性之间的关系——纵向关系，更需要挖掘元组之间的关系——横向关系，如相邻、相交、重叠等。本文通过分析空间数据库的存储模式，借鉴事务数据库关联规则的挖掘方法，对空间关联规则进行完整定义，并对规则的兴趣度度量进行探讨。根据挖掘的方向将空间数据挖掘归纳为纵向挖掘、横向挖掘、双向挖掘。在双向挖掘中，提出一种新算法，该算法根据挖掘任务进行约束，缩小挖掘空间，然后通过空间计算将空间关系转化为非空间关系，经过多次循环，获取非空间项集，进而挖掘出空间关联规则。据此提出空间数据双

MIS智能接口中汉语分词系统的设计与应用

计算机科学. 2006, 33 (7): 204-206.

摘要 ( 145 )

PDF(176KB) ( 329 )

相关文章 | 多维度评价

提供汉语检索接口是MIS应用的一大趋势，其主要困难在于如何让计算机理解汉语检索用语，为此本文构建了MIS智能检索接口中的汉语分词系统，并提出了分词策略。对汉语切分中的歧义问题进行了深入的探讨，应用互信息和t-信息差完成了消歧算法的设计。实验表明，该系统具有较高的切分正确率与效率。

一种本体知识文摘方法的研究和实现

闫学东张阔李涓子

计算机科学. 2006, 33 (7): 207-210.

摘要 ( 86 )

PDF(287KB) ( 298 )

相关文章 | 多维度评价

本体作为领域知识的表示方法，已经成为语义Web的基础。本体通常由领域专家建立，用于表示领域中概念以及概念与概念之间的关系。但这也使得普通用户难以理解本体中描述的信息。普通用户往往希望本体中的信息能够以自然语言的形式描述。这正是本文讨论的主要问题。本文采用分治策略，利用基于嵌套复杂模板的解决方案，设计并实现了本体知识文摘的算法。我们开发了一个原型系统SWARMS，并将该文摘算法进行了运用。初步的实验表明，本文提出的方法取得较好的结果。

弱信念Agent的知识交互模型

张宏斌

计算机科学. 2006, 33 (7): 211-212.

摘要 ( 79 )

PDF(157KB) ( 266 )

相关文章 | 多维度评价

Agent在弱信念知识形态下不能产生明确任务目标，也不能产生准确的目标意图规划行为。为了解决这一问题，本文提出在动态任务联盟中通过知识交互进行信念调整的方法，进行了相应的形式化描述，并对在知识交互过程中可能出现的信念冲突情况进行了讨论。

基于生态学的复杂系统稳定性逻辑分析模型

计算机科学. 2006, 33 (7): 213-216.

摘要 ( 63 )

PDF(223KB) ( 323 )

相关文章 | 多维度评价

复杂系统的稳定性是众多学科所关注的问题。根据生态平衡的理论，从人工智能、自然智能、智能逻辑和数学的角度，给出了一个基于生态学的复杂系统稳定性逻辑分析模型，并进行了严格的推理论证，从而为分析和解决复杂系统的稳定性问题提供了一个有力的工具，也为复杂系统理论增添了新的内容。

基于禁忌搜索的模糊神经网络结构优化

计算机科学. 2006, 33 (7): 217-219.

摘要 ( 65 )

PDF(169KB) ( 323 )

相关文章 | 多维度评价

本文提出了一种基于禁忌搜索的模糊神经网络自动优化学习方法（fuzzy neural network based on tabusearch，FNNTS）。该方法利用禁忌搜索算法搜索最优的模糊神经网络结构，并结合最小二乘法和梯度下降法对网络参数进行学习，大大减少了对专家知识的依赖。非线性函数逼近的实验结果表明，所提出的方法能获得更精练的网络结构和更小的误差，从而验证了本文方法的有效性和可行性。

求解多维0-1背包问题的一种改进的遗传算法

曾智杨小帆陈静陈文斌唐荣旺

计算机科学. 2006, 33 (7): 220-223.

摘要 ( 92 )

PDF(227KB) ( 727 )

相关文章 | 多维度评价

针对多维0-1背包问题，通过应用贪心法和二分搜索法的思想，本文提出了一种新的杂交算子——中值杂交，并且基于此算子提出了求解多维0-1背包问题的一种改进的遗传算法。最后本文通过一系列数值实验，把改进算法与传统的遗传算法以及其他最新的遗传算法进行比较，经过对求得近似解的精度及计算所需时间两方面的对比，验证了其有效性。

一种新的核线性鉴别分析算法及其在人脸识别上的应用

计算机科学. 2006, 33 (7): 223-226.

摘要 ( 168 )

PDF(219KB) ( 332 )

相关文章 | 多维度评价

基于核策略的核Fisher鉴别分析（KFD）算法已成为非线性特征抽取的最有效方法之一。但是先前的基于核Fisher鉴别分析算法的特征抽取过程都是基于2值分类问题而言的。如何从重叠（离群）样本中抽取有效的分类特征没有得到有效的解决。本文在结合模糊集理论的基础上，利用模糊隶属度函数的概念，在特征提取过程中融入了样本的分布信息，提出了一种新的核Fisher鉴别分析方法——模糊核鉴别分析算法。在ORL人脸数据库上的实验结果验证了该算法的有效性。

基于四元数矩阵奇异值分解的彩色图像识别

冉瑞生黄廷祝

计算机科学. 2006, 33 (7): 227-229.

摘要 ( 311 )

PDF(154KB) ( 522 )

相关文章 | 多维度评价

本文首先以实验证明了彩色图像矩阵的奇异值（SVS）仅含有图像的少量信息，大量信体现在图像矩阵的奇异值分解（SVDQ）的两个四元数酉矩阵中。然后给出了一种新的图像特征提取方法。该方法将图像投影到SVDQ的各个正交基上，得到投影系数向量。将此向量作为图像的代数特征并用于彩色图像识别中。实验表明，与奇异值特征向量用于彩色图像识别方法相比，本文方法显著提高了识别率。

基于Object-Z多态推理

文志诚缪淮扣孙军梅

计算机科学. 2006, 33 (7): 230-232.

摘要 ( 63 )

PDF(202KB) ( 291 )

相关文章 | 多维度评价

Object-Z是形式规格说明语言Z的面向对象扩充，基于严格的集合论与数理逻辑，具有面向对象的特点：类、对象、继承、封装与多态等。用它可以精确描述大型软件需求规格说明，且能够进行严密的逻辑推理与验证。本文主要探讨了它的多态性推理，给出了相应的推理规则与方法，可以推理出Object-Z的多态行为，并着重体现推理的重用。

Internet平台下的构件描述模型

计算机科学. 2006, 33 (7): 233-235.

摘要 ( 68 )

PDF(185KB) ( 238 )

相关文章 | 多维度评价

为了使构件使用者能很容易地理解构件的功能及其属性，对构件作一个清晰的描述是非常必要的。随着构件技术和Internet技术的发展，构件的结构和构件软件框架发生了变化，急需一种能描述在Internet平台下的构件的描述模型。本文概括出一个四元组的构件描述模型，为构件异构问题的解决提供了一种方法。

针对应用系统ER模型的MDA模型转换方法

计算机科学. 2006, 33 (7): 236-241.

摘要 ( 77 )

PDF(360KB) ( 263 )

相关文章 | 多维度评价

MDA是由OMG提出的一种以模型为主要开发产品的软件开发方法。开发人员首先建立与具体技术平台的实现细节无关的高抽象程度的平台无关模型（Platform Independent Model，PIM）。然后，开发人员可以通过模型转换，将高层次的模型逐渐转换成为包含了实现细节的平台相关模型（Platform Specific Model，PSM），直到最终的代码。模型转换的有效性决定了MDA开发方法的效率。模型转换的难点不在于模型的语法映射，而是保证转换过程中模型语义的一致。本文采用E1）C）C作为平台无关模型

Web服务事务中的补偿机制研究与实现

计算机科学. 2006, 33 (7): 242-244.

摘要 ( 64 )

PDF(162KB) ( 318 )

相关文章 | 多维度评价

可靠的web服务事务机制是面向服务的架构（SOA）中不可缺少的要素之一，它本身也需要有一定的恢复机制，其中非常重要的技术就是事务补偿。结合Web服务事务的特点，以及数据库系统中的触发器技术，可以为Web服务的事务处理模型提供一个半自动的事务补偿机制。

一种高效的实时多处理器系统的资源回收算法

计算机科学. 2006, 33 (7): 245-248.

摘要 ( 61 )

PDF(287KB) ( 265 )

相关文章 | 多维度评价

实时多处理器系统中，为了更好地利用资源，常常采用资源回收算法。在分析了已有资源回收算法的优缺点的基础上，提出了一种高效的实时多处理器的资源回收算法——可倒置法。可倒置法允许只存在资源冲实的任务，在不会引起运行时间异常的情况下，出现执行顺序倒置。实验结果表明改进的限制向量法要由于已有的资源回收算法。

面向Java语言的进化测试中分支依赖图的构建

计算机科学. 2006, 33 (7): 249-252.

摘要 ( 83 )

PDF(285KB) ( 403 )

相关文章 | 多维度评价

在面向对象程序的进化测试中，面向对象程序本身的状态特性使得一个分支的到达需要一定长度方法调用序列的执行，而封装特性则使得在一个对象外部无法直接调用其private方法或者protected方法。针对这两个问题，采用基于蚁群算法和遗传算法的动态搜索与静态分析相结合的方式提供了一种有效的思路。本文针对这种思路中的静态分析过程提出分支依赖图的概念，并设计、实现了针对Java语言的方法内分支依赖图以及类的分支依赖图的构建算法。

接口连接式构件组装的一种形式化方法

孙莹陈松乔

计算机科学. 2006, 33 (7): 253-256.

摘要 ( 81 )

PDF(240KB) ( 269 )

相关文章 | 多维度评价

构件组装是基于构件的软件开发的研究重点之一，能够有效地提高软件开发的效率和质量。以往大部分构件组装技术是在“成功组装路线”的前提条件下实现的，缺乏对构件组装正确性的检验。本文改进了常用的接口连接式构件组装技术，采用形式化方法描述和推导与构件以及构件组装相关的问题，给出了映射算法，实现了从构件组装规约向粘合代码的自动转换，为构件组装形式化分析、组装正确性检验提供了保证。

面向方面软件重构等价性形式化证明方法

计算机科学. 2006, 33 (7): 257-261.

摘要 ( 54 )

PDF(294KB) ( 270 )

相关文章 | 多维度评价

软件重构在不改变程序行为的情况下通过对代码进行小的改进以提升设计，使之更容易理解和维护，面向方面的程序设计是软件开发的新技术，为了有效实施面向方面的软件重构，需要开发者识别面向方面程序的转化规则。然而，由于使用的AOP语言没有形式化的语义定义，难以确认转化和重构的程序运行行为。本文对MCI操作语义的面向方面的扩展使之支持程序的方面特征的描述，定义了两个程序的观测等价，讨论了AspectJ的形式语义模型的建立，在MCI的语义下形式化地精确证明了Add Before-executing编程规则的观测等价性，其

基于面向方面的实时系统建模方法

刘瑞成张立臣

计算机科学. 2006, 33 (7): 262-265.

摘要 ( 86 )

PDF(193KB) ( 283 )

相关文章 | 多维度评价

分布式实时系统的实时特性可以利用面向方面软件设计方法来建模，把时间方面细分为确定的时间子方面、不确定的时间子方面和模糊时间子方面。根据面向方面技术，不同的时间子方面分别利用随机实时时序逻辑（SQTL）和模糊时间Petri网（FTN）来表示，并且每个不同形式化语言表示的子方面模型能够通过转化为时间自动机织入系统，实现系统的实时特性。

基于流程的复合数据权限控制研究

计算机科学. 2006, 33 (7): 266-270.

摘要 ( 61 )

PDF(268KB) ( 467 )

相关文章 | 多维度评价

复合数据权限控制过去仅仅是通过角色来实现的，其权限在各个阶段是静态的，而在协同开发过程中数据却处于动态变化之中，因此用户权限也应该是动态的。本文分析了数据权限管理相关对象及其问的关系，介绍了基于角色的数据权限控制模型，并分析了优点和不足。在此基础上，文中提出了基于流程的复合数据权限模型，研究了流程中的动态权限控制，最后给出了数据权限的计算过程。

网格环境下基于HLA的分布交互仿真动态交互研究

窦志武邓贵仕

计算机科学. 2006, 33 (7): 271-275.

摘要 ( 57 )

PDF(329KB) ( 237 )

相关文章 | 多维度评价

基于HLA开发的分布交互仿真缺乏灵活性，不支持动态资源分配。网格服务是开发基于网络的分布交互仿真的另一途径，但只应用网格服务开发分布交互仿真，开发者必须自己创建通信机制来协调仿真执行。本文提出了一个动态交互框架，将基于HLA的分布交互仿真建立在网格服务的基础之上，来克服两者所存在的问题并发挥各自的优点，实现仿真资源的动态分配、动态状态监控及任务动态迁移。文中详细地阐述了框架的构成、框架关键服务构建的设计和实现、各种网格服务的机制及服务接口，并给出实例进行验证。

软件模型检测中的抽象

袁志斌徐正权王能超

计算机科学. 2006, 33 (7): 276-279.

摘要 ( 64 )

PDF(256KB) ( 645 )

相关文章 | 多维度评价

软件模型检测对保证软件的正确性和可靠性具有十分重要的意义，而抽象是减轻模型检测中状态爆炸问题最重要的技术之一。本文综述当前广泛应用于软件模型检测中的抽象技术，介绍了该领域的进展及研究方向。

基于软件能力模型的匹配机制

于玮萍王茜

计算机科学. 2006, 33 (7): 280-285.

摘要 ( 60 )

PDF(325KB) ( 281 )

相关文章 | 多维度评价

国际标准ISO16100制定了软件能力描述的规范，提出了加强软件互操作和数据交换能力的方法学。基于该国际标准，本文研究了软件互操作和数据互交换的实现机制；分析了在不同情况下软件匹配的规则，尤其针对遗留系统的互操作，分析了各种进行语义匹配的方法，并提出了相应的系列算法；原型系统的实现，验证了算法的可行性、合理性；通过对算法的时间复杂度的分析，说明了算法的实用性。

一种基于访问历史的BLP模型

计算机科学. 2006, 33 (7): 286-288.

摘要 ( 83 )

PDF(217KB) ( 262 )

相关文章 | 多维度评价

针对经典的BLP模型无法控制间接信息流的缺点，借鉴信息流模型的思想，在系统状态中增加记忆分量，记录主体所读的客体，控制信息向安全的方向流动。为了提高BLP模型的可用性并增强信息的完整性，将主体的安全级扩充为读写分离的安全级区间。通过这些方法将BLP模型改造成为具有记忆能力的新型多级安全模型。

.NET框架中基于角色的安全性研究

田原

计算机科学. 2006, 33 (7): 289-291.

摘要 ( 74 )

PDF(169KB) ( 285 )

相关文章 | 多维度评价

商务应用程序经常根据用户提供的凭据提供对数据或资源的访问。通常，这种应用程序会检查用户的角色，并根据该角色提供对资源的访问。在.NET Framework中，本文研究了根据windows帐户或自定义标识提供基于角色安全性的授权支持技术。

二维网格中基于最小通路区的自适应和最小容错路由算法

陈文斌杨小帆苏伟唐荣旺曾智

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

摘要 ( 71 )

PDF(226KB) ( 292 )

相关文章 | 多维度评价

网格结构是并行与分布式处理中最流行的一种网络拓扑结构。在存在故障的情况下，如何设计具有最优性的容错路由算法一直是研究的热，点问题。本文研究了采用故障块模型的二维网格的最小路由问题，提出存在最小通路的一个充分必要条件。基于最小通路区（RMP）的概念，提出一种自适应的最小容错路由算法。如果源节点和目的节点之间存在最小通路区，则在最小通路区中进行自适应最小容错路由；反之，则采用多阶段最小容错路由。主要思想就是在存在故障的情况下，尽量保证路由算法能走最短路径。因为只要求知道每个节点的局部信息，故算法是分布式的。