计算机科学

基于tableau的自动推理技术综述

计算机科学. 2005, 32 (11): 1-4.

摘要 ( 75 )

PDF(304KB) ( 520 )

相关文章 | 多维度评价

tableau方法是一种接近于逻辑系统表示的自动推理方法，由于其直观性和通用性，易于计算机实现，成为目前最普及的自动推理方法之一。在提高系统效率方面，主要在相关技术和策略、理论和方法等方面进行了分析，并展望了未来的研究方向。

IP报文分类算法概述

计算机科学. 2005, 32 (11): 5-10.

摘要 ( 80 )

PDF(515KB) ( 620 )

相关文章 | 多维度评价

Internet的高速发展要求提供高性能的P流分类算法以更好地为防火墙、QoS、流量工程、资源预留、网络地址转换等提供服务。由于IP报文分类算法的多域特征，因此其具有相当的难度。研究者提出了很多报文分类算法，本文将这些算法概括为5类：基于Trie树的算法、基于空间分割的算法、启发式算法、基于硬件实现的算法和其他算法，并对IP报文分类算法的思想、原理和过程进行了介绍和分析，说明了这些算法之间的联系，并对这些算法在搜索和更新的时间性能、空间性能、适用性范围和优缺点等进行了分析和比较。作为总结，本文还对IP报文

网格工作流研究现状及存在问题

计算机科学. 2005, 32 (11): 11-15.

摘要 ( 70 )

PDF(311KB) ( 352 )

相关文章 | 多维度评价

网格计算成为当前业界研究的热点，网格工作流能够方便地构建、执行、管理和监控网格应用，使得网格应用能够自动、高效地实施。由于网格的动态性、分布性、异构性和自治性导致传统工作流的一些方法和技术不能有效地处理网格环境中的有关问题。本文首先比较了网格工作流与传统工作流的不同，指出了网格工作流研究的必要性，然后介绍了当前网格工作流研究的现状，归纳了三种网络工作流规范及四种网格工作流系统。最后，给出了网格工作流研究存在的问题及研究方向。

OSPFv3路由协议在FreeBSD下的实现研究

计算机科学. 2005, 32 (11): 16-19.

摘要 ( 280 )

PDF(222KB) ( 339 )

相关文章 | 多维度评价

随着IPv6协议在Internet中的广泛应用，人们更多地将注意力集中在路由器对IPv6协议的支持上。设计和开发基于IPv6的路由协议软件也更加重要。本文分析了OsPFv2路由协议与OSPFv3路由协议之间的不同，并且基于RFC2740设计开发了一个OSPFv3路由协议软件，该软件在实验网络环境中的运行取得了良好的效果。

一种安全的移动自组网链路状态路由协议：SOLSR

洪帆洪亮付才

计算机科学. 2005, 32 (11): 20-24.

摘要 ( 158 )

PDF(372KB) ( 301 )

相关文章 | 多维度评价

移动自组网是一种新型的无线移动网络，具有无中心、自组织、拓扑结构变化频繁以及开放式通讯信道等特性，因此移动自组网下的路由协议所面临的安全问题比有线网环境下更为严重。OLSR（Optimized Link State Routing）协议于2003年成为RFE3626草案，该协议首先假设网络中所有节点都是友好的，无恶意行为，同时认为安全问题可以利用IPSec来解决，但是，OLSR协议的通讯通常是“一对多”的广播形式，IPSec是针对端到端通讯的安全方案，故而单单依靠IPSec并不能完全解决OLSR的安全问题

H．264中块分割模式选择算法研究

郭建军戴葵成运王志英

计算机科学. 2005, 32 (11): 25-26.

摘要 ( 140 )

PDF(183KB) ( 302 )

相关文章 | 多维度评价

H．264是一种新提出来的视频压缩标准。本文首先介绍了H．264中所采用的多宏块分割模式技术，然后对其中比较耗时的块分割模式选择模块进行测试分析，在此基础上提出了一种块分割模式选择算法，并对该算法进行了测试，实验结果表明：与JM8．2编码方案相比采用新的算法后的运行时间加速比可达到4．5以上，峰值信噪比只是略有下降。

Grid和P2P混合环境中一种基于信任的资源搜索机制

周金洋杨寿保郭磊涛王莉苹

计算机科学. 2005, 32 (11): 27-30.

摘要 ( 93 )

PDF(226KB) ( 318 )

相关文章 | 多维度评价

Grid和P2P两种分布式计算模式中的资源搜索算法均假设节点提供可靠的资源，但Grid和P2P混合计算环境的动态、异构、自组织等特点使得一些节点存在冒名和提供虚假服务等行为。本文对基于经验和最好邻居搜索机制进行改进，引入信任因子，提出了基于信任的资源搜索机制。该机制有效抑制了欺骗行为，提高了资源搜索的可靠性和安全性。

一种基于分布式网络处理器系统的路由软件平台

计算机科学. 2005, 32 (11): 31-35.

摘要 ( 97 )

PDF(379KB) ( 408 )

相关文章 | 多维度评价

由于网络处理器（NPU）结合了姗的高转发性能和传统RISC处理器的灵活性，目前的大容量网络设备多采用分布式NPU的架构。但因为各种NPU的体系结构和提供的API接口有较大的不同，设计者需要解决路由软件在各种硬件平台的可移植性和可扩展性。本文提出了一种基于分布式NPU系统的路由软件平台—EROS，该平台采用模块化和分层化的设计思想，通过数据转发适配层屏蔽了具体的硬件转发行为，简化了上层协议和网管的实现。本文介绍了EROS的总体架构和部分实现细节。此外，本文还介绍了EROS在实验平台DEEP上的实现和测试结果

一种网格信息服务模拟器的研究与设计

黄瑾金海谢夏卢鹏张琴

计算机科学. 2005, 32 (11): 36-40.

摘要 ( 112 )

PDF(303KB) ( 311 )

相关文章 | 多维度评价

网格技术为广域范国内各种资源、应用以及服务的共享和聚合提供了有效手段，而网格系统的设计是一项非常复杂的系统工程。网格模拟器的出现，给网格研究带来了极大的便利。本文针对网格系统的信息服务部分，在对现有的典型系统进行分析的基础上，对其各部分功能进行抽象和划分，形成独立的功能部件，提出了一种对网格信息服务进行模拟研究的机制，为分析其在不同架构下的性能和可扩展性提供了有效手段。

中国计算机学会电子政务与办公自动化专委会全国首届语义Web与本体论学术研讨会（SWON2006）征文通知

无

计算机科学. 2005, 32 (11): 40-40.

摘要 ( 314 )

PDF(51KB) ( 324 )

相关文章 | 多维度评价

基于Domino邮件服务器的性能建模

计算机科学. 2005, 32 (11): 41-45.

摘要 ( 79 )

PDF(277KB) ( 381 )

相关文章 | 多维度评价

现有的邮件服务器的评测方式大多是定量的，缺乏对系统的定性描述和有效建模。本文中，我们利用排队论理论，时基于Dornino的邮件服务器进行性能建模，并时模型进行了验证和分析。实验表明，该模型较好地描述了邮件服务器的系统行为，是时邮件服务器的性能进行定性分析的一种较为理想的工具。

基于Ontology的网页关系识别研究

樊闻斌丁艳潘金贵

计算机科学. 2005, 32 (11): 46-49.

摘要 ( 90 )

PDF(299KB) ( 280 )

相关文章 | 多维度评价

对万维网上大量的网页之间进行特定语义关系的分析，将这样的工作用于搜索引擎中，可以实现智能化的查询，和提供其它个性化服务。本文借助于Ontology中的关系实例，在网页分类的基础上对网页之间的关系进行自动识别，同时提出了网页关系识别规则的自动生成和优化方法。

一种基于IP的主动节点结构模型设计

计算机科学. 2005, 32 (11): 50-52.

摘要 ( 88 )

PDF(193KB) ( 268 )

相关文章 | 多维度评价

主动网络是一种新型的网络体系，它为用户提供了可编程的接口，用户可通过网络中的节点动态地注入所需的服务。本文提出了一种基于IP选项的主动网络体系结构，分析IP数据报的格式，扩展IP数据报选项域的定义，通过在其中嵌入代码，可在现有的IP网络上实现主动技术，扩展网络服务。

基于蓝牙的手机IP通话解决方案

杨吉云邓绍江

计算机科学. 2005, 32 (11): 53-54.

摘要 ( 98 )

PDF(124KB) ( 339 )

相关文章 | 多维度评价

目前手机进行IP通话是通过移动通信网络接入到驴传输网的，而蓝牙技术的广泛应用使很多手机都具有蓝牙通信能力。本文通过对VoIP技术和蓝牙技术的研究，提出了基于蓝牙技术的口通话解决方案，有效地节约了移动通信网络的资源。

使用主动延迟建立攻击连接链的关联

李强林雁刘琨鞠九滨

计算机科学. 2005, 32 (11): 55-58.

摘要 ( 107 )

PDF(234KB) ( 279 )

相关文章 | 多维度评价

网络攻击者通常在攻击最后目标前使用双向交互式连接一系列中间主机（跳板机）掩盖其真实攻击路径。本文提出一个主动干扰跳板机连接中数据包间隔延迟的方法，在攻击者所能干扰跳板机连接数据包延迟间隔允许范围之内，通过分析指定时间窗口内连接数据包的活跃程度，在网络出口检测数据包的到达延迟的周期特征，确定攻击连接链的关联。这个方法可以有效地减少连接关联计算量，提高跳板机检测的有效性。

IKE2协议的安全性分析

计算机科学. 2005, 32 (11): 59-63.

摘要 ( 73 )

PDF(370KB) ( 328 )

相关文章 | 多维度评价

本文首先扩展了串空间的理想理论，然后应用此扩展理论分析IKE2协议的核心安全：秘密性和认证性。通过分析，证明了IKE2协议的密钥交换和认证安全性，但同时发现它不能在主动攻击模式下保护发起者身份，对此我们提出了一个修改意见。对IKE2的分析也为扩展串空间理论在复杂协议分析中的应用提供了一个实践基础。

一种组播钥匙分配的分析和设计方法

计算机科学. 2005, 32 (11): 64-69.

摘要 ( 88 )

PDF(373KB) ( 352 )

相关文章 | 多维度评价

基于生成树组播钥匙分配方案的各种方法在提供有效的用户删除方法的同时努力将用户钥匙存储最小化。在这篇论文中，我们说明可以运用信息理论的基本概念来系统地研究生成树框架上的用户钥匙存储，同时可以将基于生成树组播钥匙分配问题作为最优化的问题提出，特别说明通过成员删除统计的平均信息量可以确定分配给一个成员钥匙平均数的最佳值。我们接着通过一个钥匙分配方案的实例说明了生成树上钥匙分配可以达到最优化但不能防止用户串通。

一种基于身份的群签名方案

董亮肖国镇

计算机科学. 2005, 32 (11): 69-71.

摘要 ( 96 )

PDF(182KB) ( 605 )

相关文章 | 多维度评价

基于身份的密码系统（Identity-based Cryptosy Stenl）是为了简化基于证书的密码系统繁琐的密钥管理过程而提出的。群签名能对签名者提供很好的匿名性，它在电子商务、匿名电子选举等方面有重要应用。本文利用双线性对的性质构造了一种新的基于身份的群签名方案。对该方案的安全性及其效率的分析表明，方案是安全有效的。

第六届中国Rough集与软计算学术研讨会（CRSSC2006）征文通知

无

计算机科学. 2005, 32 (11): 71-71.

摘要 ( 72 )

PDF(63KB) ( 289 )

相关文章 | 多维度评价

基于PKI防欺诈的门限密钥托管方案

计算机科学. 2005, 32 (11): 72-74.

摘要 ( 86 )

PDF(239KB) ( 347 )

相关文章 | 多维度评价

本文基于PKI（Public Key Infrastructure）提出了一个防欺诈的密钥托管方案，并提出了密钥托管分配机制。由于该方案的秘密共享采用基于状态树的（t,n）秘密共享，所以具有计算量小，效率高的特点。这个方案不仅有效地解决了用户欺诈的问题，而且托管用户可根据需要而改变托管代理的数量。本文在数字证书的发放与密钥托管之间建立了一种机制，把两者联系在一起，以真正实现密钥托管的目的。

蜜罐系统模型的有限自动机

马新新陈伟秦志光

计算机科学. 2005, 32 (11): 75-77.

摘要 ( 85 )

PDF(185KB) ( 272 )

相关文章 | 多维度评价

蜜罐系统作为一种主动响应的安全技术，利用诱骗技术吸引入侵，对网络数据进行捕捉和控制，及时获取攻击信息并记录入侵过程，研究攻击手段和过程。对该技术的研究已成为目前信息安全领域的研究热点。本文通过确定性有限自动机理论对蜜罐系统模型进行描述，根据确定性有限自动机状态转换图模拟捕捉攻击行为的全过程，为蜜罐系统的设计和部署提供有力的理论依据和论证。

基于模糊支持向量机的网络入侵检测研究

李华张简政

计算机科学. 2005, 32 (11): 77-80.

摘要 ( 74 )

PDF(217KB) ( 303 )

相关文章 | 多维度评价

模糊支持向量机理论属于统计学习理论，是支持向量机理论的推广，使支持向量机更好地运用到实际工作中。我们将其运用到网络入侵检测中，实验证明是可行的、高效的，有其特点和优势的。

ETHs：n-of-N模型下基于指数划分的一种数据流大纲维护算法

邱海艳陈立军赵加奎

计算机科学. 2005, 32 (11): 81-84.

摘要 ( 82 )

PDF(237KB) ( 292 )

相关文章 | 多维度评价

数据流大纲的维护对于DSMS非常重要：流数据的实时性、持续性和有序性（即，老化特性）使得查询引擎需要根据实时的概要信息自适应地调整执行计划，保持其执行效率。本文提出一种新的数据流大纲结构—ETHs，它通过指数划分方法将数据流在时间域上划分为指数区间，每个区间用具有较小空间复杂度和时间复杂度的Tiny直方图来记录区间的概要信息，使得ETHs既能够反映数据流上某些数据的衰减，又能够实现n-of-N模型下的共享计算，在dxr误差范围内持续地维护最近N个元素的概要信息，具有较小的时间代价和空间代价。实验证明，ET

基于数据实例分布特征的自动模式匹配方法

计算机科学. 2005, 32 (11): 85-87.

摘要 ( 78 )

PDF(202KB) ( 343 )

相关文章 | 多维度评价

模式匹配已经成为信息集成、数据仓库、电子商务等很多应用领域中的基本问题。现有的模式匹配工作仍是以人工方式为主，这种方法费时、易出错，代价很高。本文提出了一种基于神经网络的模式匹配方法SMDD，通过分析模式元素所包含数据实例的分布规律，自动完成模式匹配。SMDD既可独立使用，也可与其他模式匹配方法结合使用，从数据内容的角度提高匹配质量。

一种基于Dwarf的快速有效增量更新算法

计算机科学. 2005, 32 (11): 88-90.

摘要 ( 83 )

PDF(256KB) ( 320 )

相关文章 | 多维度评价

数据立方计算是代价非常大的操作，并且被广泛研究。受空问的限制，存储一个完全实例化的数据立方是不可行的。最近提出的一种语义压缩数据立方一Dwarf，通过消除前缀冗余和后缀冗余把一个完全实例化的数据立方压缩存储到一个很小的空问。然而，当数据源发生变化时，它的更新过程是很复杂的。本文通过研究Dwarf在更新过程中汇总结点的变化特性，提出了一种基于Dwarf的新的增量更新算法，既能完全实例化数据立方又不需要重新计算，大大提高了数据立方的更新效率。实验进一步证明了该算法的效率和有效性，尤其适合数据仓库中的高维数据集

CBFrag-Cubing：一种基于压缩位图的高维数据立方创建算法

计算机科学. 2005, 32 (11): 91-93.

摘要 ( 74 )

PDF(224KB) ( 290 )

相关文章 | 多维度评价

数据立方的计算是数据仓库和OLAP研究的一个重要方向，同时又是数据仓库中代价很大的操作。针对在生物信息、统计分析、文本处理等领域中存在的基数较小的高维数据集，X.L.Li等人提出了Frag-Cubing算法。为了提高Frag-Cubing算法的效率，本文提出了基于分片思想的算法CBFrag-Cubing。该算法使用了位图索引结构，优化了数据立方的存储，减少了数据立方的计算时间。实验表明，与Frag-Cubing算法相比，该算法在存储空间上至少节省25％，在计算时间上节省30％。

DVBB：基于Dewey向量的B＋树索引结构连接算法

张恩德王国仁宁博王斌

计算机科学. 2005, 32 (11): 94-98.

摘要 ( 94 )

PDF(307KB) ( 263 )

相关文章 | 多维度评价

为解决XML数据库中的结构关系查询问题，本文以Dewey向量为基础，提出了基于Dewey向量的矿树（Dewey Vector Based矿Tree，简称为DVBB）双栈结构连接算法。该算法利用了两个栈，Public Stack和Privat-eStaek，在这两个栈的基础上，利用DVBB索引，能够最大限度地避免那些不能产生连接结果的元素参加连接运算。一系列的实验结果表明，基于DVBB的双栈结构连接算法，无论是对于有效的跳过“祖先”还是“后代”节点，都具有很高的性能。

用于聚集值近似查询的基于密度的树索引结构

许俭吴天轶王晨汪卫施伯乐

计算机科学. 2005, 32 (11): 99-103.

摘要 ( 90 )

PDF(291KB) ( 305 )

相关文章 | 多维度评价

如何快速有效地对数据立方体上的聚集查询给出近似的回答，是数据挖掘和数据仓库研究领域中的核心问题之一。现有大多数聚集查询算法在同一个数据立方体上只能支持某种特定的而非多种类型的聚集查询。本文给出了一种新的框架AdenTS，即基于密度的自适应树结构，它可以回答同一数据立方体上的各类聚集查询，也提出了一些近似和启发式技术，改善了查询结果和精度。实验结果表明，这种方法在支持的查询种类和性能上是更好的。

面向压缩XML文档的数据快速过滤与片断分发方法

计算机科学. 2005, 32 (11): 104-107.

摘要 ( 65 )

PDF(216KB) ( 285 )

相关文章 | 多维度评价

X地数据的过滤和分发是X地应用领域的研究热点之一。为了提高X地文档的传输效率，有必要进行压缩。本文提出一种应用于压缩X地文档的过滤和片断分发方法。实验表明，这种方法既保持了压缩文档的传输效率优势，又滤摔了非查询目标数据，提高了分发中心的匹配／分发处理效率。

一种有效的并行数据库数据分布方法RCMD

计算机科学. 2005, 32 (11): 108-111.

摘要 ( 98 )

PDF(229KB) ( 375 )

相关文章 | 多维度评价

在并行数据库中，数据的分布方法是影响系统查询处理性能的主要因素。目前已有的几种数据分布方法都只适用于某一类查询，而处理其它类型的查询则效率较低。本文提出了一种新的数据分布方法RCMD，可以高效地支持多种查询类型。理论分析和试验结果表明本文提出的RCMD方法优于现有的数据分布方法，具有最好的查询处理性能。

基于DPB^＋-Tree的索引复制策略研究

唐继勇白新跃杨峰何建

计算机科学. 2005, 32 (11): 112-114.

摘要 ( 58 )

PDF(213KB) ( 308 )

相关文章 | 多维度评价

索引复制是分布并行数据库提供并行性和提高可用性的一个重要手段。本文提出一种适合于索引复制的树结构——DPB^＋-Tree,在此基础上研究了相关的索引复制策略，其中副本复制原则考虑了更新／检索比、节点机负载和可靠性需求；索引副本建立允许一个新的副本学习先前的副本；而索引副本更新基于搜索更新机制来完成。对DPB^＋-Tree索引复制策略的仿真实验结果表明，副本对查询的响应性能和负载均衡度有明显改善。

空间对象的反最近邻查询

计算机科学. 2005, 32 (11): 115-118.

摘要 ( 56 )

PDF(235KB) ( 268 )

相关文章 | 多维度评价

本文在对现有反最近邻查询方法研究的基础上，提出了一种新的索引结构一SRdnn-树；在此基础上提出了基于SRdn矿树的反最近邻查询方法，并给出了该结构上的最近邻查询方法，以及插入和删除方法，第5节实验表明，基于SRdnn-树的反最近邻查询在性能上优于以往查询方法。

ArithBi^＋—一种基于反向算术压缩的XML索引结构

计算机科学. 2005, 32 (11): 119-123.

摘要 ( 72 )

PDF(322KB) ( 268 )

相关文章 | 多维度评价

XML在数据交换中的应用越来越广泛，但由于加入标记后的空间膨胀较大，对传输及存储资源耗费严重。压缩后的XML数据容量明显减少，但怎样基于压缩后的XML数据直接进行查询及处理，仍然是需要深入研究的问题。本文以反向算术压缩为基本压缩算法，提出针对XML数据库中压缩XML文件的索引结构ArithBi^＋。基于该索引结构，可高效实现对类似／／elenlent1／element2／…／elmentm的查询处理。

基于发布／订阅通信的动态数据集成模型

计算机科学. 2005, 32 (11): 124-126.

摘要 ( 74 )

PDF(181KB) ( 302 )

相关文章 | 多维度评价

提供灵活、动态、一致和开放的数据集成模型对于通过集成异构信息资源，实现大规模企业信息系统至巷尊要。本文以中介模型为基础，提出了一种基于发布／订阅通信的动态数据集成模型，与相关工作相比，该模型的显著特点在于通过发布／订阅机制支持信息资源的动态可插拔、支持分布的信息检索、提供了动态可配置框架、集成节点具有对等性。

网络数据库在传输过程中的安全研究

计算机科学. 2005, 32 (11): 127-129.

摘要 ( 73 )

PDF(213KB) ( 361 )

相关文章 | 多维度评价

本文提出了应用防火墙的包过滤技术与数据加密中的对称加密算法和非对称加密算法相结合，并运用链路加密和端对端加密技术的结合来实现网络数据库在传输过程中的安全。

机器可读旅行文档的安全分析

朱新山高勇王阳生

计算机科学. 2005, 32 (11): 130-133.

摘要 ( 77 )

PDF(240KB) ( 366 )

相关文章 | 多维度评价

新一代通关检测系统使用了生物特征认证技术。而合有生物特征信息的机器可读旅行文档（Mrtds）的安全是一个极为重要的问题。本文中我们首先分析了对Mrtds中机器可读区数据的潜在威胁。然后总结了由国际民航组织（ICAO）推荐的系统安全方案，也就是基于公钥体系的数字签名。基于这些内容，我们把Mrtds的认证过程看作是被保护数据，相应的hash值和数字签名以及持有者共四个环节之间的连接。对于用于每个连接中的技术，也就是公钥体系，数字签名和生物认证技术，我们提出了一些附加的要求和安全特征。结果，改进的系统加固了每个

利用SMS作为Internet应用终端的方法研究

李彦

计算机科学. 2005, 32 (11): 134-135.

摘要 ( 95 )

PDF(118KB) ( 306 )

相关文章 | 多维度评价

Internet应用研究申的一个重要问题是如何扩展终端设备，本文研究了利用SMS将移动电话扩展为Internet应用终端的方式，主要解决了两大问题；在系统架构上引入了Web Service作为分布式服务的技术框架；在系统实现上有效解决了发送SMS的串行设备与并发任务的异步问题。

一种银行资讯网络信息管理系统的分析

陈建国

计算机科学. 2005, 32 (11): 136-138.

摘要 ( 75 )

PDF(259KB) ( 264 )

相关文章 | 多维度评价

互联网提供了丰富的信息资源，为用户提供了很大选择范围，但同时也增大了选择的难度，提供一种快速精确的搜索工具，帮助用户在这些信息资源中获得有用的信息很有必要。文中介绍的网络信息管理系统就是这样一种全新、高效的重组信息资源结构和流程的工具，它能把不同来源、不同内容和不同结构的数据信息有机地整合在后台数据库中，实现互联网信息和本地资源信息的整合、组织、检索和管理功能，从而帮助用户快速获得准确的银行资讯。本文首先讨论了网络信息管理系统的工作原理，并对银行资讯网络信息管理系统的总体架构、体系结构和功能模块进行了分析

DCT域音频水印算法的嵌入位置选择策略

马翼平韩纪庆

计算机科学. 2005, 32 (11): 139-141.

摘要 ( 72 )

PDF(180KB) ( 307 )

相关文章 | 多维度评价

本文在DCT最大误差模型研究的基础上提出了一种新的音频水印嵌入位置选择策略。建立了水印嵌入位置和嵌入水印后的音频文件的听觉感知性之阿的关系，根据音频水印的不可听性的要求选择最优的嵌入位置，然后选择不同的水印强度调整鲁棒性，从而最大程度地保持音频水印的不可听性和鲁棒性，为解决音频水印嵌入过程中不可听性和鲁棒性之间的矛盾提供了一种策略。

中田计算机学会全国第五次程序设计语言发展与教学学术会议征文通知

无

计算机科学. 2005, 32 (11): 141-141.

摘要 ( 52 )

PDF(66KB) ( 260 )

相关文章 | 多维度评价

基于行为的移动协同感知模型研究

胡益锋鲁东明盛宇袁庆曙

计算机科学. 2005, 32 (11): 142-144.

摘要 ( 75 )

PDF(331KB) ( 342 )

相关文章 | 多维度评价

移动协同一般受到资源的限制和移动环境的干扰，影响协同工作的有效进行。基于行为（Activity）设计移动协同系统，以行为为中心构建系统，可以克服上述困难。其中，如何提供行为所围绕的感知信息是关键所在。文章提出了一个基于行为的移动协同感知模型，通过定义行动者实体、目标实体、行为阶段实体等一组感知实体对象及感知行为服务，来提供基于行为的感知信息，并在原型系统中进行了实现。模型提供了移动用户在协同工作行为中群组工作（Team Work）的所有感知要素，从而支持了用户有效完成协同工作。

逻辑系统UL的广义H-赋值

张小红何华灿

计算机科学. 2005, 32 (11): 145-147.

摘要 ( 186 )

PDF(163KB) ( 290 )

相关文章 | 多维度评价

研究了Schweizer-Sklar T-范数（本文讨论p〈0的情况）及其刺佘蕴涵的性质。以此为基础，对泛逻辑基本形式系统UL中的H-g值进行了拓广，引入了广义H-赋值概念，证明了UL在广义H-赋值之下可靠性定理成立。

求解蛋白质结构预测问题的局部搜索算法

吕志鹏黄文奇

计算机科学. 2005, 32 (11): 148-149.

摘要 ( 94 )

PDF(145KB) ( 298 )

相关文章 | 多维度评价

蛋白质结构预测问题是计算生物学领域的核心问题之一。通过理论计算的方法根据蛋白质氨基酸序列直接预测其空间结构是解决这一问题的有效途径。构造了新的邻域结构，采用了部分随机跳坑策略，对此问题提出了新的局部搜索算法。计算结果表明，该算法计算效率要优于传统的遗传算法和Monte Carlo方法。对于链长为50的算例还找到了文献中所没有的全新的最低能量构形。

关于贝叶斯粗糙集模型的知识约简

计算机科学. 2005, 32 (11): 150-151.

摘要 ( 82 )

PDF(93KB) ( 275 )

相关文章 | 多维度评价

贝叶斯粗糙集模型是一种修正的变精度粗糙集模型，它既能克服粗糙集模型所描述的分类是完全精确的，同时又不需要象变精度粗糙集模型需要预先给定参数，因此在人工智能与认识科学领域有重要的作用。本文通过引入上、下分布约简给出该模型的一种约简方法。

基于动态数据的支持向量分类机模型

计算机科学. 2005, 32 (11): 152-154.

摘要 ( 72 )

PDF(139KB) ( 319 )

相关文章 | 多维度评价

在支持向量分类机模型中，要从样本中选出具有代表性的数据作为输入值。一般地，选定的数据是静态的，但实际情况中数据是动态的。本文提出了基于动态数据的支持向量分类机模型，并给出了相应的证明和分析。

用概念格方法挖掘Aspect

计算机科学. 2005, 32 (11): 155-157.

摘要 ( 64 )

PDF(202KB) ( 264 )

相关文章 | 多维度评价

横切关注引起的代码散布和代码交织现象是面向对象编程技术自身的局限性造成的，面向方面的编程（AOP）技术有望成为解决该问题的有效途径。本文以改善程序代码的横切现象为目标，把面向对象遗产系统中的方法作为实例，方法问的直接调用关系作为实例的特征，使用概念格技术挖掘候选Aspect集。候选Aspect集较好地反映了遗产系统中横切关注点的行为结构，为Aspect重构提供有用的帮助。本文使用一个银行应用系统的实际例子进行了实验．说明了概念格方法的可用性。

自动问答系统中的问题理解研究

曹志娟李祖枢刘朝涛

计算机科学. 2005, 32 (11): 158-160.

摘要 ( 77 )

PDF(318KB) ( 608 )

相关文章 | 多维度评价

问题理解是问答系统的首要的分析工作，分析的结果对后面的处理，以至找到问题的正确答案都有很大的影响。本文将对常规的问题理解方法进行改进，从而使系统能够较准确地回答用户的提问。实验证明新的方法对提高系统性能有显著作用，尤其针对性强、意思表述清晰的提问，回答准确率有很大提高。

Tabu Search集中性和多样性自动平衡下的增强搜索策略

计算机科学. 2005, 32 (11): 161-163.

摘要 ( 104 )

PDF(188KB) ( 395 )

相关文章 | 多维度评价

在禁忌搜索算法中，集中性搜索与多样性搜索是缺一不可但又相互矛盾的两个方面。本文提出了一种在禁忌搜索集中性和多样性自动平衡下的增强搜索策略算法，这种算法在集中性搜索与多样性搜索之间保持合理平衡的同时，又进一步对结果加强集中性搜索或者多样性搜索，以获全局最优解。以组合优化中的典型难题TSP为例，通过自动更换邻域、候选集，较好地解决了集中性搜索与多样性搜索的冲突。仿真实验表明，解的质量提高了，验证该算法有效。

模糊关系下的粗集粗糙度

邱卫根

计算机科学. 2005, 32 (11): 164-166.

摘要 ( 83 )

PDF(155KB) ( 257 )

相关文章 | 多维度评价

本文研究粗糙集的粗糙度问题。首先仔细分析了Pawlak粗糙集的粗糙度，得到了粗糙集粗糙度包容相斥原理；然后将结果推广到模糊集理论领域，对研究模糊关系下模糊粗糙集理论有一定的作用。

三种差别矩阵的比较

计算机科学. 2005, 32 (11): 166-169.

摘要 ( 119 )

PDF(227KB) ( 458 )

相关文章 | 多维度评价

差别矩阵是Rough集理论中重要概念之一，使用差别矩阵可以计算决策表的核和约简。当前有多种定义差别矩阵的方法，导致差另q矩阵有多种定义的原因是决策表的不一致性。本文分析一致决策表和不一致决策表关系，给出将不一致决策表转换为一致决策表的方法，并给出差别矩阵的等价性定义。在此基础上，讨论并证明三种差别矩阵的关系，结果表明利用这种转换方法和等价性定义可以将三种差别矩阵统一起来，从而保证在实际应用中可以用统一方法隶构造差别矩阵。

基于等价类矩阵的属性约简

闫德勤

计算机科学. 2005, 32 (11): 170-171.

摘要 ( 97 )

PDF(158KB) ( 288 )

相关文章 | 多维度评价

由于不完备信息系统不能完全适用于粗糙集等价类模型，其合理的属性约简方法的研究在当前是一个备受关注的研究热点。文章给出不完备信息系统等价关系的矩阵表示，同时给出了关于等价类矩阵以及核属性的相关定理，给出了应用等价类矩阵进行属性约简的方法和应用举例，为不完备信息系统的属性约简提供了一种新的方法。

基于粗糙集和神经网络的分类器及其在LPR中的应用

计算机科学. 2005, 32 (11): 172-174.

摘要 ( 62 )

PDF(193KB) ( 379 )

相关文章 | 多维度评价

粗糙集和神经网络在模式识别中都可用于分类，但是都有局限性。虽然两者没有太多的共同点，将它们结合起来却能相互补充，起到比单个理论更好的分类效果。本文从理论上给出了用粗糙集约简算法减少BP网络中的一个神经元或连接时网络输出能产生的最大误差。接着将粗糙集和BP网络结合起来设计分类器，并通过车牌数字识别验证了该分类器的有效性。实验说明该分类器比单独用粗糙集和神经网络设计的分类器识别率高、识别时间短。

基于Boost改进的嵌入式隐马尔可夫模型的实时表情识别

计算机科学. 2005, 32 (11): 175-178.

摘要 ( 80 )

PDF(320KB) ( 311 )

相关文章 | 多维度评价

在人机交互过程中，理解人类的情绪是计算机和人进行交流必备的技能之一。最能表达人类情绪的就是面部表情。设计任何现实情景中的人机界面，面部表情识别是必不可少的。在本文中，我们提出了交互式计算环境中的一种新的实时面部表情识别框架。文章对这个领域的研究主要有两大贡献：第一，提出了一种新的网络结构和基于AdaBoost的嵌入式HMM的参数学习算法。第二，将这种优化的嵌入式HMM用于实时面部表情识别。本文中，嵌入式HMM把二维离散余弦变形后的系数作为观测向量，这和以前利用像素深度来构建观测向量的嵌入式HMM方法不同。

路由器日志序列模式挖掘

计算机科学. 2005, 32 (11): 179-181.

摘要 ( 74 )

PDF(169KB) ( 395 )

相关文章 | 多维度评价

随着网络技术的发展，人们对网络质量的要求也越来越高，作为网络传榆中重要环节之一的路由器的工作状态的变化直接影响到网络运行质量。从路由器日志中挖掘出的知识既可用于评价网络质量，又可用于改善网络信息服务。本文分析了路由器日志中一些常见信息，采用序列挖掘方法对日志进行了挖掘，并对挖掘结果进行了解释和分析。

一种求解矩形块布局问题的拟物拟人算法

黄文奇陈端兵

计算机科学. 2005, 32 (11): 182-186.

摘要 ( 89 )

PDF(256KB) ( 368 )

相关文章 | 多维度评价

在VLSI工作中提出了矩形块布局问题，对这一问题，国内外学者提出了诸如模拟退火算法，遗传算法等求解算法。本文以人类上万年以来形成的经验为基础，利用“占角”和“聚类”两个拟物拟人的思想策略，提出了基于最大穴度优先的拟物拟人布局算法。甩本文提出的算法，对MCNC、GSRC两个典型测试算例的所有实例进行了实算测试，测试结果表明：计算所得布局结果的优度高，计算时间短。对MCNC和GSRC测试算例，除apte实例外，其它所有实例均得到了最优解，而计算时间都在10秒以内。与CBL算法、遗传算法和号称当今最好的Comp

基于形态学重建的粘连物体分割

计算机科学. 2005, 32 (11): 187-190.

摘要 ( 86 )

PDF(264KB) ( 420 )

相关文章 | 多维度评价

提出一种基于形态学重建（Morphological Reconstruction）的图像分割方法。该方法先对待分割图像进行预处理，使边界点具有局部极大的灰度值；然后利用灰度形态学重建提取穹顶（Dome），并根据其特性利用阚值对穹顶进行二值化获得候选边界点集；再利用二值形态学重建确定候选边界点集中的边界点，得到分割边界。实验结果表明，本分割方法所得边界连续性好、假边界少；该方法受噪声和对象内部灰度变化的影响较小，适合用于分割含有粘连对象的图像。

基于角色任务分解的网格三维GIS漫游技术研究

计算机科学. 2005, 32 (11): 191-194.

摘要 ( 67 )

PDF(252KB) ( 312 )

相关文章 | 多维度评价

本文提出了一种新型的网格任务分配模型。该模型将角色任务分解的网格计算思想和三维GIS漫游技术有机结合在一起，依据各种任务节点在网格中所承担的角色，将复杂的三维GIS漫游任务分解并交给承担不同角色的节点机协同完成，从而使只能单机处理的无序三维GIS漫游任务，现在能由多台机器依据各自角色实时有序地进行处理，该模型既解决了网络资源分配混乱、节点间通信缺乏管理等问题，又有效地解决了传统三维GIS漫游中由于三维数据量太大和处理复杂而产生的诸如三维漫游速度慢、要求服务器配置高、漫游时停顿等问题。

基于通用高斯马尔可夫随机场模型的图像超分辨率重建

黄华李俊齐春朱世华

计算机科学. 2005, 32 (11): 195-197.

摘要 ( 139 )

PDF(203KB) ( 610 )

相关文章 | 多维度评价

提出了一种基于通用高斯马尔可夫随机场（0孙皿疆）模型的图像超分辨率重建方法，给出了求解过程和实验结果，并进行了分析。相对Compound Markov随机场模型和Huber-Markov随机场模型，GGMRF模型不用判断边缘或者线过程，因此优化求解简单，大大减少了运算量。实验结果表明在低噪声情况下，该方法重建图像视觉效果较好。

GUI抽象描述模型研究

张鹏徐鹏

计算机科学. 2005, 32 (11): 198-201.

摘要 ( 154 )

PDF(311KB) ( 377 )

相关文章 | 多维度评价

图形用户界面（GUI）是各种计算机应用的一个重要组成部分。但是越来越多的缟程语言和GUI工具包使得开发跨平台的GUI也变得越来越繁琐。同时，日趋庞大和复杂的数据，也迫使开发者在维护GUI相关数据方面付出更多的努力。本文从分析MVC设计模式入手，力图从更高的层次上对GUI及其相关数据的描述模型进行归纳和抽象，提出并形式化描述了一种GUI抽象描述模型，基于该模型的GUI数据建模算法和绑定模型。最后简单介绍了该描述模型基于XML的实现语言——GUI XML。

面向设计流图的代码支撑工具

戴清涵李宣东赵建华郑国梁

计算机科学. 2005, 32 (11): 203-206.

摘要 ( 102 )

PDF(244KB) ( 279 )

相关文章 | 多维度评价

在通信网络软件中，代码的可靠性格外重要，编码与测试在很大程度上决定着代码的可靠性。如果让机器自动生成代码，将会减少人工编码出错的概率，而且，也为代码的跟踪、测试提供了方便。为此，本文结合UML的相关理论，提出了设计流图的概念并描述基于设计流图的代码生成的原理及其应用。本文首先描述设计流图在软件开发过程中的作用，然后，给出设计流图的形式化定义，第3部分给出代码自动生成算法，第4部分给出基于设计流图的跟踪、测试方法，最后一部分对工具作了简要的介绍。本文详细描述了如何根据设计流图生成代码，并简要介绍实现基于设计

软件协同模型中多模式可配置通道的研究

韩亮赵洁陶先平吕建

计算机科学. 2005, 32 (11): 207-211.

摘要 ( 90 )

PDF(377KB) ( 338 )

相关文章 | 多维度评价

软件协同模型中的控制驱动模型很好地实现了计算与协同的分离，是一种重要的软件协同模型。通道在模型中表示协同部分，具有重要的地位。然而现有的控制驱动协同模型中，通道的设计较为简单，不能满足应用的需求。本文利用软件体系结构将连接子作为第一类实体的思想，提升通道在控制驱动协同模型的地位。首先对软件协同的独立要素进行分解，并使用Interceptor模型表示各个要素；然后对这些独立的协同要素进行组合，提出基于Interceptor的组合配置技术，以此对通道进行扩充，提出多模式可配置通道。多模式可配置通道表达能力得到

接口自动机——一种用于组件组合的形式系统

计算机科学. 2005, 32 (11): 212-217.

摘要 ( 85 )

PDF(374KB) ( 353 )

相关文章 | 多维度评价

接口自动机是描述基于组件系统中组件及组件间交互行为的形式化工具。接口自动机在处理组件组合问题时所使用的“乐观方法”和博弈思想是区别于其它形式化工具的关键点。本文对接口自动机、时间接口自动机和资源接口及其中的博弈思想进行综述。在同其它形式化方法比较的基础上，指出了接口自动机的长处和局限。文中总结了接口自动机在理论上和实际中的意义并对其应用前景做了展望。

一种软件过程建模语言SPML的设计

陈迎欣刘群

计算机科学. 2005, 32 (11): 218-222.

摘要 ( 79 )

PDF(284KB) ( 293 )

相关文章 | 多维度评价

本文提出了一个具有丰富语义、灵活的、可扩展的、形式化的软件过程建模语言SPML。它提供了两个不同抽象层次的描述语言以满足不同用户的需求。高抽象层次的语言SPML／H能够较全面地描述软件过程，具有良好的易用性；低抽象层次的语言SPML／L可以描述规则等，适合描述软件过程的细节。SPML／H还能够被逐步地变换成SPML／L，保证了软件过程模型可以在一个共同的形式化基础上被分析和运作。最后通过一个实例说明过程建模语言的有效性。

中国计算机学会电子政务与办公自动化专委会第三届全国Web信息系统及其应用学术会议（WlSA2006）征文通知

无

计算机科学. 2005, 32 (11): 222-222.

摘要 ( 49 )

PDF(63KB) ( 271 )

相关文章 | 多维度评价

基于对象的进化存储系统研究

计算机科学. 2005, 32 (11): 223-226.

摘要 ( 69 )

PDF(298KB) ( 270 )

相关文章 | 多维度评价

存储管理的成本目前已经超过了硬件成本。本文给出了一种新的存储结构，其中包含了自动化管理的功能以简化存储管理。进化存储系统的概念是指实现动态平衡和优化的基于磁盘的存储，其失效部件将会被热备份部件立即更换（物理进化），其数据布局和分布会根据新部件的特性进行自动重组（逻辑进化）。同时，我们还描述了称为SMART的实现分散进化存储系统的目标和可行技术方案，包括自安全、自维护、自适应、自恢复和自测试。我们认为进化存储系统应该是基于对象的，通过智能存储设备达到更好的可用性和可维护性。

基于结构模式的构件系统测试方法

许静庞博王庆人

计算机科学. 2005, 32 (11): 227-230.

摘要 ( 63 )

PDF(286KB) ( 317 )

相关文章 | 多维度评价

基于构件的开发模式使大型软件系统的开发提高了效率，增强了可靠性，但同时也给测试带来了诸多困难。本文从构件使用者的角度出发，提出了一种基于结构模式的测试方法，在借鉴ADL的基础上详细描述了这种方法的形式化表示，并给出了工具的设计方案。

基于HPL测试的集群系统性能分析与优化

王晓英都志辉

计算机科学. 2005, 32 (11): 231-234.

摘要 ( 106 )

PDF(414KB) ( 1741 )

相关文章 | 多维度评价

集群系统以很高的性价比和良好的可扩展性而成为当今高性能研究的一大新熟点，如何评价与优化集群系统的特性也成为一个很关键的问题。本文通过采用全世界TOP500计算机排名所用的HPL基准测试，对集群的浮点运算性能进行评测和分析，根据在集群系统上进行的HPL基准测试的结果分析总结了影响其整体性能的重要因素，并对这些方面一一给出具体的分析，提出了针对集群系统具有实际意义和研究价值的优化方向和优化方法。

用前馈神经网络对软件理解中函数调用序列的混沌识别

王万诚

计算机科学. 2005, 32 (11): 235-237.

摘要 ( 72 )

PDF(205KB) ( 289 )

相关文章 | 多维度评价

对有噪声小数据量时间序列的混沌识别，是目前国内外许多应用领域研究的热点与难点。利用BP神经网络的非线性函数逼近能力，对小数据有噪声的时间序列计算最大李亚谱诺夫指数，可判断该序列是否存在混沌现象。本文首创将这一算法经转换应用到软件逆向工程过程的分析中，结果表明，软件逆向工程过程分析中出现的函数（或类）调用序列有些存在、有些不存在混沌现象，这为理解软件系统构建高层结构和抽取重用信息而开发新方法与新技术找到了理论依据。

Petri网替换运算

吴振寰吴哲辉

计算机科学. 2005, 32 (11): 238-240.

摘要 ( 80 )

PDF(184KB) ( 342 )

相关文章 | 多维度评价

文中给出了Petri的替换运算定义，它是对分层模拟与逐步求精的Petfi网建模思想方法的一个形式化描述。文中还通过Petri网语言讨论了Petri网的替换运算同语言的替换运算之间的关系，结果表明，这两个从不同角度给出的替换运算在实质意义上是协调的。

模糊时间Petri网及扩展的模糊时间Petri网

董玉梅张立臣

计算机科学. 2005, 32 (11): 241-246.

摘要 ( 174 )

PDF(394KB) ( 264 )

相关文章 | 多维度评价

网络实时系统对时间和QoS有严格要求，因此对设计、实现和测试的技术和工具都有很高的要求。模糊时间Petri网是将模糊集合理论用于不确定的或主观的时间信息的表示，在每个变迁上添加时间间隔约束对模糊时间Petri网进行扩展得到扩展的模糊时间Petri网，它是一种对网络实时系统进行建模和分析的形式化模型，Petri网数学理论基础能保证并发系统的可靠性和正确性。本文详细地介绍了模糊时间Petri网及可扩展的时间Petri网，可扩展的时间Petri网的网精简方法，使用design／CPN仿真，及使用EFTN对多媒体

遗传算法的工程应用

肖俊

计算机科学. 2005, 32 (11): 247-248.

摘要 ( 78 )

PDF(123KB) ( 433 )

相关文章 | 多维度评价

分析了排课问题的各种约束条件，并研究了用遗传算法解决排课问题，给出了一个基于该算法的排课模型，并对涉及的各种问题进行探讨。