当期目录

• 2010年, 第10期　刊出日期：2010-09-29 上一期    下一期
  本期栏目： 论文

论文

一种基于冲突检测的无关联规则集匹配算法

施荣华1,莫锐1,赵文涛2

2010, 32(10): 1-4. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 400 )   PDF (550KB) ( 460 )   　　

防火墙已经成为网络安全体系中一个关键的角色，对防火墙的管理越来越受到重视。本文针对在防火墙管理中容易出现的过滤规则冲突问题和规则匹配效率问题，提出了一种基于冲突检测的无关联规则集匹配算法。本文通过对规则进行分析，确定了规则库中的规则应该符合的五个关系;通过对冲突规则的分类，得到了按照各种冲突的特性进行冲突检测产生的状态图，有助于对防火墙的现有规则库进行重写优化。本文在分析传统的线性顺序规则匹配算法和树形规则匹配算法的基础上，提出一种基于冲突检测的无关联规则集匹配算法，其平均比较次数为O(lg(n))，性能上大大优于现有的算法。

层次化RFID编码解析服务系统的研究与实现

刘威,陈小惠,谢鹏,袁巍

2010, 32(10): 5-7. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 404 )   PDF (740KB) ( 339 )   　　

RFID编码解析服务系统的架构对RFID编码解析服务的性能有着非常重要的影响。本文在深入分析现有的RFID编码解析技术的基础上，通过系统架构、数据存储、缓存机制的设计，实现了一种层次化的RFID编码解析系统。测试结果表明，本系统显著提高了RFID编码解析服务性能，能够高效地提供编码解析服务。

基于攻击图的网络脆弱性量化评估研究

陈锋1，张怡1，鲍爱华2，苏金树1

2010, 32(10): 8-11. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 605 )   PDF (444KB) ( 354 )   　　

目前,网络脆弱性量化评估面临的主要挑战之一是识别网络中存在的脆弱性和它们之间的相互关系以及由此产生的潜在威胁，本文提出了一种基于属性攻击图的网络脆弱性量化评估方法。首先对属性攻击图和有效攻击路径进行了形式化定义，在此基础上提出了采用“最大可达概率”指标来度量目标网络中关键属性集合的脆弱性，并设计了最大可达概率计算算法，该算法解决了属性攻击图的含圈路径问题；为解决实际评估中原始数据缺失的问题，提出了“可信度”的概念，它能有效反映缺失数据对评估结果的影响。

任意感知模型的传感器网络覆盖度判定算法

范高俊,金士尧

2010, 32(10): 12-15. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 430 )   PDF (446KB) ( 518 )   　　

覆盖问题是无线传感器中的一个基本问题，反映了网络所提供的“感知”服务质量，为解决任意感知模型的无线传感器网络覆盖度判定问题，结合区域封闭性和计算几何的相关知识，本文提出了将复杂的区域覆盖问题转化为易于解决的点覆盖问题。在此基础上，给出了基于覆盖交点集合的判断算法，即找到任意两个传感器感知区域边界线之间以及每个传感器与覆盖区域边界线之间的所有交点，其中位于覆盖区域内或者边界上交点的最小覆盖度即为传感器网络的覆盖度。

基于安全评估的网格动态访问控制研究

严雷，汤卫民，王宗飞

2010, 32(10): 16-19. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 419 )   PDF (404KB) ( 277 )   　　

网格具有异构、动态、多域的特点，这给网格的安全研究带来了新的挑战。网格安全基础设施（GSI）解决了网格环境下的安全认证和安全通信，但没有对访问控制问题足够重视。传统的访问控制方法仅仅从访问资源的角度来解决安全问题。主体操作方式的多样性和用户计算环境的异构性导致了网格环境的动态性和不确定性。当这种动态性对访问主体造成影响时就需要改进访问控制方法，要求访问控制系统能够动态适应网格环境的安全状态变化。针对该问题本文提出了在访问控制前加入安全评估模型（SEMFG），由该模型对访问环境和访问主体进行综合评估，监控网格环境和访问主体的行为，并用评估结果动态指导访问控制。

GSM网络优化中接通率的分析

杨云，冯亚

2010, 32(10): 20-22. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 403 )   PDF (627KB) ( 339 )   　　

接通率是衡量GSM网络运行质量重要的指标之一，本文根据 GSM网络优化的基本理论，针对GSM网络中低接通率现象，对影响GSM网络优化中接通率的因素进行了细致的分析与研究，提出了一套有效可行的优化方法，逐个排除故障原因，从而达到了提高接通率、优化GSM网络的目的，并针对提高GSM网络接通率设计开发了GSM网络优化软件。最后,对实例安阳市区GSM网络中存在的低接通率等问题进行了分析及其优化，并证实了优化软件中提高接通率方法的可行性、实效性。

一种基于混合核函数的SOM网络流量分类方法

陶晓玲1，胡婷2

2010, 32(10): 23-25. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 484 )   PDF (448KB) ( 263 )   　　

由于传统的自组织映射SOM方法对高维、非线性的网络流量数据的分类性能效果不佳，本文引入核方法，提出一种基于混合核函数的SOM(MIXKSOM)网络流量分类方法。该方法结合了全局性和局部性核函数的优点，采用径向基函数和多项式函数线性组合构成的混合核函数代替内积作为距离度量，使输入空间中复杂的流量样本在特征空间得以简化。实验结果表明，采用MIXKSOM方法能较好地对网络流量进行分类，较传统的SOM、采用单一核函数的SOM(KSOM)分类方法性能更好，分类准确率也高于NB方法。

多核处理器面向低功耗的共享Cache划分方案

熊伟，殷建平，所光，赵志恒

2010, 32(10): 26-29. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 545 )   PDF (533KB) ( 298 )   　　

随着多核处理器的发展，片上Cache的容量随之增大，其功耗占整个芯片功耗的比率也越来越大。如何减少Cache的功耗，已成为当今Cache设计的一个热点。本文研究了面向低功耗的多核处理器共享Cache的划分技术（LPCP）。文中提出了Cache划分框架，通过在处理器中加入失效率监控器来动态地收集程序的失效率，然后使用面向低功耗的共享Cache划分算法，计算性能损耗阈值范围内的共享Cache划分策略。我们在一个共享L2 Cache的双核处理器系统中，使用多道程序测试集测试了面向低功耗的Cache划分：在性能损耗阈值为1%和3%的情况中，系统的Cache关闭率分别达到了20.8%和36.9%。

室温单电子晶体管制备进展

池雅庆，仲海钦，隋兵才，张超，方粮

2010, 32(10): 30-33. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 420 )   PDF (747KB) ( 443 )   　　

单电子晶体管由于其纳米级的器件尺寸和超低功耗等优点被广泛认为是当前最有应用前景的纳米电子器件之一，实现室温下的正常工作和器件结构的精确控制是其实用化的关键。室温单电子晶体管的主流制备方法为自顶向下工艺和自底向上工艺。自顶向下工艺便于器件集成，但纳米尺度下的制备工艺误差较大，室温单电子晶体管的性质难以稳定；自底向上工艺能够比较容易地制备出室温单电子晶体管，但同样有耦合结构误差较大的问题。在结合自顶向下工艺和自底向上工艺的基础上，引进纳米结构制备的新技术来提高工艺过程的可控性，是下一步室温单电子晶体管制备的研究重点。

大矩阵QR分解的FPGA设计与实现

周杰1，陈啸洋1，赵建勋2，窦勇1

2010, 32(10): 34-37. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 495 )   PDF (686KB) ( 371 )   　　

大规模QR分解在信号处理、图像处理、计算结构力学等领域有着广泛的应用。大规模矩阵QR分解主要在高性能并行机上进行运算，目前还没有基于FPGA平台的加速实现。本文在分析快速Givens Rotation QR分解算法特征的基础上，提出并实现了一种细粒度并行QR分解算法，并在Altera StratixII FPGA平台上实现可扩展QR分解线性阵列处理器。相对于单处理单元，该阵列处理器可取得近似线性加速比，显示了良好的可扩展性。在100MHz频率下的性能测试结果表明，相对于2.0GHz的Pentium双核通用微处理器，该阵列处理器可取得19倍的加速比。

大规模并行计算机系统硬件故障容错技术综述

富弘毅,杨学军

2010, 32(10): 38-43. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 349 )   PDF (552KB) ( 689 )   　　

计算机系统的容错是一个不容忽视的问题。近年来，随着系统结构的复杂性增加，半导体制造工艺的发展，线宽的降低以及集成度的提高，从用户桌面系统到分布式计算环境，乃至大规模并行计算机系统，功耗和可靠性问题都很突出。本文首先介绍了计算机系统可靠性和容错技术的基本概念、基本方法和基本思想，然后回顾了近些年来一些具有代表性的硬件故障检测技术和硬件故障恢复技术，其中重点介绍了针对大规模并行计算机系统提出的容错方法。本文还介绍了我们在先前的研究工作中提出的一种优化的故障恢复技术，称为容错并行算法。最后，总结了一些可能的研究方向。

并行计算系统度量指标综述

王之元,杨学军

2010, 32(10): 44-48. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 361 )   PDF (420KB) ( 506 )   　　

系统度量指标的研究一直是并行系统和应用设计的重要问题。本文首先通过对国内外并行计算系统度量指标的分析，将当前并行计算系统度量指标分为单一的计算性能度量指标和多要素综合的高效能度量指标两种。其次，总结了这些度量指标的研究现状，并指出这些度量指标研究中存在的一些问题以及需要考虑的难点。由于并行计算系统正在逐渐从“高性能”走向“高效能”，本文主要考虑当前大规模并行计算系统的可靠性和能耗要素对系统的影响，从系统可扩展角度建立了可靠并行加速比和能耗并行加速比模型，并进一步扩展为度量并行计算系统效能的综合指标模型。最后指出了未来并行计算系统度量的研究方向。

一种改进的地图匹配算法及其在移动通信巡检系统中的应用

邹北骥,贺加贝,阮鹏

2010, 32(10): 49-53. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 456 )   PDF (763KB) ( 507 )   　　

巡检系统是对人员设备实施量化和动态管理的现代化手段，是促进企业及生产部门实行科学化和信息化管理的重要步骤,目前在石油行业管线和井位巡查管理、电力行业线路和设备巡查管理和通讯行业线路和设备巡查管理、铁路及安全设备巡查管理等领域都有广泛的应用。结合移动通信巡检工作的实际情况，本文提出了一种改进的基于最短路径的地图匹配(Map Matching)算法。在全球定位系统（GPS）数据的采样时间间隔较长的情况下能较准确地对定位点进行地图匹配，能够绘制出与电子地图道路信息相符的定位轨迹，并在长沙移动基站线路巡视巡检系统中得到实现。

远程定位瞄准系统的设计和实现

苏龙飞，胡德文,周宗潭，张环

2010, 32(10): 54-58. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 533 )   PDF (845KB) ( 342 )   　　

本文针对远程目标的定位瞄准问题，开发了一套以人脸为基点对远程目标进行定位瞄准的自动化系统。将基于Adaboost方法的肤色检测器和人脸检测器应用于系统中，提高定位、瞄准的效率。首先用肤色检测器对被检测视频进行预处理，将肤色区域从背景中分割出来，然后利用人脸检测器对肤色区域进行检测，定位并瞄准人脸目标。实验表明，对正面人脸目标和具有小角度偏转的人脸目标具有较好的检测效果，在300米左右的距离上可以准确地定位、瞄准目标，同时完全满足实时性要求。实际应用中可以减少人工定位、瞄准目标的复杂性，可以用于战场以及解救人质等紧急情况的辅助瞄准。

一种改进的嵌入式小波图像编码算法

雷梅梅,余谅

2010, 32(10): 59-62. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 432 )   PDF (478KB) ( 368 )   　　

在研究Shapiro提出的嵌入式零树小波编码EZW算法理论的基础之上，针对其效率的不足，本文提出了一种新的嵌入式小波图像编码算法：将子带进行划分，每次扫描只针对重要子带进行，从而避免大量重复扫描，大大减少要扫描和编码的零树的数量。另外，舍弃了增益很小但代价很大的副表重排序。实验证明,该算法简单，节省码流，加速编解码过程，提高了算法的效率而没有损失编码的精度。此外，对近年来出现的一些改进算法进行了分析和研究，并与本文算法作了一定比较。

纹理图像无损隐藏三维DEM数据技术

刘绪崇1,2,王建新1,胡华平3,罗永4

2010, 32(10): 63-65. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 431 )   PDF (750KB) ( 259 )   　　

本文提出了纹理图像隐藏高程信息来保护三维地形数据的信息隐藏技术。在保持地形形状和起伏特征的前提下，实现了高程数据的极低比特率压缩。应用改进的基于直方图平移的无损隐藏算法将地形数据隐藏到纹理图像中，在恢复过程中，纹理图像可以无损还原。隐藏的高程数据不易察觉，并且可以防止非法提取和恢复数据。

一种改进的非负稀疏编码图像编码方案

晁永国

2010, 32(10): 66-68. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 394 )   PDF (513KB) ( 411 )   　　

稀疏编码就是对人类等哺乳动物视觉系统主视皮层强大图像编码能力的成功模拟，具有自适应性，且得到的图像基具有空间的局部性、方向性和频域的带通性。在稀疏编码基础上发展而来的非负稀疏编码，克服了特征间的相互抵消现象，编码性能更为优越。而利用经验模态分解技术加入图像结构信息的非负稀疏编码方法，在兼顾非负稀疏编码特性的基础上能更好地体现图像的结构性特征。本文提出了基于图像基的图像压缩方法，把这种改进的非负稀疏编码算法用于图像压缩，在保证较好图像解码质量的情况下，获得了理想的压缩比。

一种基于分块树的手写数学公式结构分析算法

卢晓卫，林嘉宇

2010, 32(10): 69-72. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 369 )   PDF (649KB) ( 885 )   　　

本文源于一个手写数学公式识别系统，该系统实现了手写数学公式到文本公式的自动转化。文中提出了一种基于分块树的数学公式结构分析方法，该方法首先根据其内部结构特征将数学表达式分解为若干子模块，并采用树型结构对每个子模块内部字符之间的结构关系进行表示，最终形成整个表达式的树型表示。该方法定义了一系列的字符结构属性，将字符及属性值作为结构分析的结果，这些属性值再现了公式的结构特征，并很容易被系统的公式文本显示部分所利用。另外，该方法对传统的字符空间关系类型进行了简化，减小了识别误差，而引入的分块处理方式更加适合具有根式和分式等多层嵌套结构公式的处理，并且具有较强的可扩展性。

针对高清彩色图像的最佳邻域匹配算法并行化研究

张艳燕,何立强

2010, 32(10): 73-76. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 498 )   PDF (614KB) ( 334 )   　　

最佳邻域匹配算法是一种优秀的差错掩盖算法，能得到很高的图像恢复质量。但是，该算法计算量大，已很难满足目前图像处理的要求。本文主要针对高清彩色图像，将BNM算法推广到彩色图像，并将该算法并行化。实验表明，在一个4结点的机群系统上，破坏率为15%的条件下，该并行算法的加速比达到7.52，大大提高了原串行BNM算法的效率，并且图像恢复质量没有下降。

地震资料的三维空间交互式层面追踪解释方法研究

郑晓月

2010, 32(10): 77-79. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 394 )   PDF (563KB) ( 314 )   　　

地震资料的层面解释是对现有的地震层面数据进行分析和处理，然后再以各种直观的方式动态展示地质特征的物探方法，是各种地质和能源勘探中的一项重要技术。解释效果的好坏直接影响后继工作的效率和成败。传统地震资料的层面解释方法建立在对三维地震资料进行二维解释的基础上，这种方法简单便捷，但也有很多的不足之处，如资料利用率低、解释精度不高等。本文提到的剖面引导和数据子体引导是两种全新的三维空间交互式层面追踪解释方法，从控制层面追踪区域的大小、控制层面追踪的次序等多个方面很好地弥补了传统方法的不足并阐述了这两种方法的原理、优点并给出了具体的实现算法和效果图。

一种求解线性方程组的SOR并行算法

张云，周华民，崔树标，李德群

2010, 32(10): 80-84. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 476 )   PDF (475KB) ( 378 )   　　

逐次松弛迭代算法（SOR）是求解线性方程组的一种常用迭代算法，当系数矩阵正定时，它具有较快的收敛速度。但是，由于每个迭代步内存在数据相关，它难以实现并行计算。目前的SOR并行算法采用数据分解的方法，但由于该法并行区域过小，同步通讯代价大，并行效率低。本文提出了SOR的一种新型并行算法，该算法与传统SOR方法等价，具有相同的收敛性和迭代结果。该并行算法通过矩阵分块增大了可并行计算的区域，并引入流水线技术，利用各处理器间通讯与计算时间的重叠，获得较理想的并行加速效率。通过多核微机以及小规模集群上的数值实验证明，本文提出的SOR并行算法在求解大型稠密线性方程组时具有较好的并行效率。

非结构网格粒子输运Sn并行算法

迟利华,刘杰,田平

2010, 32(10): 85-89. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 396 )   PDF (749KB) ( 313 )   　　

本文基于网格区域剖分，提出了一种新的非结构网格粒子输运Sn并行算法，实现了多个角方向和多个能群的同时计算，在计算的过程中不用进行优先级计算和优先级队列维护，只需要按照计算队列的次序组织并行计算。综合考虑所有方向和所有网格点的数据依赖关系，结合Blevel优先级，提出了一种优先级计算方法，优先计算需要数据发送的任务，延迟需要接收数据的任务，达到减少处理器等待时间和计算与通信重叠的目的。使用本文的Sn并行算法和优先级队列针对二维粒子输运问题进行的数值实验表明，并行算法具有良好的并行计算加速效果，扩展到1 024个处理机时，相对64个处理机的并行效率达到52％。

基于树结构的分布式数据流水分发方法

肖振宇1，2,彭宇行1,刘锋1,王世锋3,张红雷4

2010, 32(10): 90-92. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 393 )   PDF (469KB) ( 405 )   　　

针对网络带宽给数据分发带来的限制以及传统数据分发方法的不足，本文提出了一种基于树结构的分布式数据流水分发方法。该方法利用接收端的转发能力，采用流水式传输方式进行数据传输，以提高数据分发的整体效率。算法分析和实验数据表明，本文的方法是有效的。

高效的异构本体的映射算法研究

王松1,2，马勇1，王刚1，刘晓光1

2010, 32(10): 93-96. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 332 )   PDF (514KB) ( 267 )   　　

基于本体的概念间相似度计算已经在信息检索等诸多领域成为当今信息技术研究的热点问题之一。本文的工作是针对描述同一领域的多个本体间存在的异构问题，设计一种快速高效的映射算法来实现异构本体的融合。本文提出了一种基于异构本体的相似度计算方法，通过字面概念相似度和语义结构（包括节点深度、节点密度、边权重、信息量等）相似度等方面的综合计算，可以准确地得到异构本体间的概念映射关系；同时，通过对映射方法的优化，算法的匹配速度也有很大程度的提高。实验结果表明，该算法可以有效地排除本体异构的影响，得到较好的概念相似性计算效果

基于XQuery扩展的异构语义Web服务发现

魏登萍，王挺，王戟

2010, 32(10): 97-101. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 425 )   PDF (585KB) ( 349 )   　　

语义Web 服务发现作为分布式计算的前提和关键，备受研究者关注。多种语义Web服务描述语言的存在给异构语义Web服务的发现带来了挑战。本文提出了一种支持异构语义Web服务描述语言的发现框架iXQuery。该框架从两个方面扩展XQuery，使其支持异构语义Web服务的结构化查询与逻辑推理、模糊匹配的联合查询。一方面iXQuery利用XQuery的外部函数机制，建立了多种类型的相似度比较函数；另一方面iXQuery制定了一个统一的语义Web服务抽象描述本体，并建立了语义Web服务语言SAWSDL与OWLS与该本体之间的映射，并利用XQuery的用户自定义函数机制，建立了一系列用于抽取异构语义Web服务中信息的抽象描述操作子。最后，介绍了基于iXQuery框架的异构语义Web服务匹配器HiMatcher。

一种基于流作业的网格作业调度研究

董震，赵晨阳，杨裔，林甲灶，赵志立，郭卫，李廉

2010, 32(10): 102-104. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 493 )   PDF (538KB) ( 345 )   　　

在基于网格环境的一些网格应用中，用户需要提交一种作业类型，该作业可以被分解为逻辑上独立的元作业，这些元作业不存在依赖和通讯关系，并且它们的执行需要大量的数据移动。针对这种作业类型，本文提出了一种基于流作业的网格调度模型。在该模型中，这些独立的元作业像“流”一样自主地流向各个计算节点去执行，各计算节点接收的流量取决于其计算能力，并避免“断流”问题。同时，该模型还分离了作业流和数据流，实现了作业逻辑控制和数据控制的分离，提高了调度的灵活性。本文将该调度模型应用于药物虚拟筛选应用中，该模型能够充分利用计算节点的计算能力。

基于初始聚类中心优化的K均值算法

王赛芳,戴芳,王万斌,张晓宇

2010, 32(10): 105-107. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 449 )   PDF (1074KB) ( 347 )   　　

针对传统的K均值算法对初始聚类中心的选取和孤立点敏感的问题，本文提出了一种基于点密度的初始聚类中心选取方法。利用该方法选出初始聚类中心，再应用K均值算法进行聚类，同时对孤立点进行特殊处理。实验表明，该方法能够产生高质量的聚类结果。

目标频繁模式挖掘算法研究

梁碧珍1,陆月然1,耿立中2,秦亮曦3

2010, 32(10): 108-111. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 505 )   PDF (422KB) ( 358 )   　　

通用的频繁模式挖掘算法通常产生庞大的频繁模式集，其中很多是用户不感兴趣的非目标模式。要排除这些非目标模式，用户必须进行“二次挖掘”。TFPgrowth虽然生成所有最大目标频繁模式，但要从中获得目标频繁模式，还需经过“二次挖掘”。若在挖掘的早期就对非目标频繁模式的产生加以限制，则有望提高算法的效率。本文在TFP growth 和SFPgrowth的基础上，提出一种目标频繁模式挖掘算法STFPgrowth，通过对TFP树的排序、根据树根结点的不同情形采用不同的建子树方法和目标频繁模式筛选方法等来提高算法的效率。STFPgrowth挖掘的结果是所有满足用户需求的目标频繁模式，不需“二次挖掘”。实验表明，STFPgrowth的效率高于TFPgrowth，也明显优于Apriori和Eclat。

一种混合模式的智能卡DBMS存储模型研究

吴俊军,罗康,王同洋,张新访

2010, 32(10): 112-116. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 381 )   PDF (685KB) ( 322 )   　　

智能卡DBMS是实现个人数据管理的重要基础技术之一。本文基于EEPROM和FLASH两种存储，提出了一种混合模式的智能卡DBMS存储模型。该存储模型充分利用了FLASH和EEPROM两种非易失性存储器的特性，通过把读写粒度低或者操作频繁的删除位、伪记录、引用计数器和索引链存储在EEPROM中，而把绝大部分数据存储在FLASH中，从而实现了表、域和索引的存储性能优化。最后通过对无排序要求的记录追加算法的分析，验证了该存储模型在性能上的提升。

改进NSGA II算法在车辆路径多目标优化问题中的应用

徐慧英,赵建民，张 泳，朱信忠

2010, 32(10): 117-121. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 683 )   PDF (604KB) ( 364 )   　　

本文选用NSGA II作为求解VRP多目标优化问题的算法基础，分析概括出VRP的三个主要目标函数和三个约束条件，实现了VRP多目标优化问题的数学建模。选择MATLAB作为软件工具进行代码编写，选取Benchmark Problems中C101里的数据作为实验数据进行软件仿真；并且针对NSGA II在设计方面的不足之处，对NSGA II的初始群体确定和交叉算子两个环节进行改进；然后通过对两种算法仿真结果的比较分析，证实了改进算法在克服早熟现象、提高算法效率以及算法稳定性方面的有效性。

时间依赖网络中国邮路问题

孙景昊，孟亚坤，谭国真

2010, 32(10): 122-125. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 594 )   PDF (416KB) ( 553 )   　　

中国邮路问题是图论中的经典问题，得到了深入的研究和广泛应用。近年来，由于计算机网络与通信、智能交通系统等复杂应用领域的需求，时间依赖网络问题的研究具有更为重要的现实应用意义。本文首次提出了时间依赖网络中的中国邮路问题，建立了该问题的整数线性规划模型，并对该模型的上界进行了分析，最后给出了网络应用实例。

城市交通多线路协调控制优化仿真系统设计

李晓东，曾凡智，陈广义，丁伟雄

2010, 32(10): 126-130. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 429 )   PDF (970KB) ( 359 )   　　

为了实现城市交通优化控制，提高城市道路通行能力，本文首先提出了城市交通多线路协调控制优化仿真模型，并在此模型基础上给出了时空相位演化算法和改进的遗传优化算法（GA），然后总结了城市交通多线路协调控制优化仿真系统的基本结构、数据结构和技术路线，并完成了城市交通多线路协调控制优化仿真系统设计与开发。该仿真系统结构简单，建模方便，可以适用于任何城市交通优化控制，解决了城市交通多线路协调控制（多线路绿波带）难题。通过对佛山市某路网的实际建模与仿真，该系统取得了较好的交通优化效果。

多态π演算的互模拟等价关系及其公理化

颜锋，田作威，严榴香

2010, 32(10): 131-134. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 430 )   PDF (372KB) ( 234 )   　　

类型系统在分布式系统理论中有着非常重要的作用。在为〖WTBX〗π〖WTBZ〗演算引入多态类型系统后，需要对新的环境下进程的等价关系进行研究。在多态类型系统下，环境只能得知进程中通道的抽象类型，而无法得知通道的具体类型，此时环境的区分能力被削弱，所得到的互模拟关系更为粗糙。本文在以往文献研究的基础上给出了多态〖WTBX〗π〖WTBZ〗演算互模拟的一个公理系统，并证明了公理系统的一致性和完备性。

模态描述逻辑MALC模型的几个代数性质

余泉1，张维1，王驹2

2010, 32(10): 135-138. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 365 )   PDF (447KB) ( 217 )   　　

本文定义了MALC模型间的同构、同态等关系，并讨论了合式公式在这些关系下的不变性等代数性质。最后定义了MALC的拓扑语义及基于拓扑语义互模拟，得到MALC的合式公式在拓扑互模拟下具有不变性。

基于DSpace构建传统蒙古文学科机构知识库平台

狄冬梅

2010, 32(10): 139-141. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 463 )   PDF (411KB) ( 401 )   　　

本文主要阐述了基于DSpace构建传统蒙古文学科机构知识库的难点以及解决的技术路线，包括蒙古文数字资料的采集、存储、检索以及显示等。针对蒙古文的构词和语法等方面的特点，对开源搜索引擎Lucene进行改进——采用B树管理Term、简化了特征词权值的计算、采用EC方法确定了蒙古文停用词表，实现了基于Lucene的蒙古文检索。

一种基于PSO的多UAV协同航迹规划方法

朱红果1,2，郑昌文2

2010, 32(10): 142-144. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 511 )   PDF (388KB) ( 302 )   　　

本文针对多无人飞行器（UAV）协同执行任务的应用场景，提出了一种综合考虑任务分配和航迹规划因素的航迹规划算法。该算法借鉴微粒群算法（PSO）的思想，采用新的编码方式和优化策略。仿真实验验证了算法的有效性。

基于时间分布特征的博客突发事件检测

林达真，李绍滋，曹冬林

2010, 32(10): 145-149. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 374 )   PDF (595KB) ( 961 )   　　

博客是目前网络舆论的重要载体之一，如何自动检测博客中的突发事件对于舆情分析与疏导具有重要的研究价值。针对目前突发事件检测中存在的时间信息有歧义的虚假突发事件问题，本文提出了一种基于时间分布特征的博客突发事件检测方法。该方法通过波峰检测和计算事件文档与背景语料文档之间、事件相关文档和不相关文档之间的时间分布差异来判断该事件在时间特征上是否具有突发性和关联性。实验结果表明，该方法可有效检测博客中的突发事件并可有效去除时间信息有歧义的虚假突发事件。

基于SEP4020的盲人智能手机短信发送的设计

糜元根,夏纯全

2010, 32(10): 150-152. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 357 )   PDF (532KB) ( 384 )   　　

为了让弱视者和盲人群体能够发送短信，提出了一种基于嵌入式处理器SEP4020的盲文输入方法。针对盲文语言的特征，设计出一种六点盲文输入方法，并给出了在触摸屏上提取盲文的方法和步骤。在此基础上将盲文语言转换成汉语拼音，使会汉语拼音的普通人能够阅读盲人发过来的短信内容。最后以发送内容“你好”为例分析了短信发送的过程和PDU编码形成的方式，并成功地将系统移植到开发平台上。实验结果显示了能够正确获取在触摸屏上输入的盲文，并成功将转换成的汉语拼音通过无线模块发送出去，证明了这个方法的可行性和有效性。

软件无线电中ADC孔径抖动ADC对SNR影响的建模与仿真

苏雪，覃远年，田克纯，王吉平

2010, 32(10): 153-156. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 532 )   PDF (819KB) ( 322 )   　　

利用Simulink建立了两种仿真模型验证分析软件无线电中ADC孔径抖动对SNR的影响，模型一采用输入信号的抖动来仿真ADC采样孔径抖动产生的影响，模型二采用时钟源加入高斯噪声的方法较真实地模拟了ADC采样时钟的抖动情况。两种模型的仿真曲线与理论曲线基本吻合，证明了模型的正确性，尤其是模型二建模解决了有抖动的采样脉冲产生和参数计算中信号同步的关键问题，得到了更真实、准确的特性曲线，为深入研究高速高精度ADC的孔径抖动测量、分析和控制提供了一个比较可靠的依据，对系统设计提供了有益帮助。

基于面向对象Petri网的Petri设备采购管理系统建模及性能分析

刘炎培，彭晓红，舒远仲，陈志勇

2010, 32(10): 157-160. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 411 )   PDF (654KB) ( 272 )   　　

传统的设备采购系统不能随外界环境的变化而进行相应的重组。为此，本文提出了一种基于面向对象Petri网的设备采购系统的工作流模型。该模型将各个对象的内部结构进行封装，避免了相互之间的库所与变迁的定义干涉。模型具有模块化、图形化、结构化的特性，提高了设备采购系统的可重用性和可扩展性。以审批部门的OOPN模型为例，求其关联矩阵、可覆盖性树和P不变量，并进行相关性分析，证明了构建的模型具有良好的性能并满足系统变化和重组的要求。

Service-Ace IT服务台系统设计与实现

秦辉1，3，胡建鹏2，丁志刚1，3

2010, 32(10): 161-164. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 362 )   PDF (682KB) ( 288 )   　　

ServiceAce IT服务台系统是基于ITIL的IT服务台管理软件，采用了面向对象的资产管理模型和基于树形数据结构的配置管理数据库，并根据实用性精简了ITIL服务管理流程，定义了明确的IT服务管理指标。本文介绍了该系统的关键技术和设计过程。该系统在实际运用中取得了较好的应用效果。