当期目录

• 2011年, 第12期　刊出日期：2011-12-24 上一期    下一期
  本期栏目： 论文

论文

空间网络数据传输协议综述

王宝生1,蔡桂林1,2,陈琳1,刘亚萍1

2011, 33(12): 1-6. doi:

摘要 ( 323 )   PDF (457KB) ( 338 )   　　

传输协议是网络有效运行的基础，空间网络的高延时、高误码率等特性对传输协议设计提出了重要挑战。本文根据协议设计思路对现有的典型空间传输协议进行分类，对这些协议的主要机制进行介绍，并详细分析了这些协议的特点及局限性，最后总结了当前空间传输协议的研究现状，并指出其发展方向。

一种采用价格机制的无线接入网络拥塞控制策略

严黎明,牛玉刚

2011, 33(12): 7-11. doi:

摘要 ( 324 )   PDF (540KB) ( 243 )   　　

由于无线接入网络中存在着时延大、吞吐量小、丢包率高等特性，传统的AQM拥塞机制难以应用于有线/无线异构网络。本文通过分析经典的随机指数标记算法(REM)中价格的产生机制，指出了其存在的不足，并通过引入队列缓存比对REM价格使其更能适应无线环境，从而提出了一种新的基于价格的拥塞控制策略—PREM。PREM利用队列缓存比和链路虚拟容量作为拥塞度量指标。最后，通过NS2仿真平台对所提算法进行了验证,与传统的有线拥塞控制经典算法REM算法、PI算法和无线ProxyRED算法做了对比实验，最后证实该算法能有效减少丢包现象。

多智体系统时序认知规范的SPIN模型检测

龙士工，王扣武

2011, 33(12): 12-16. doi:

摘要 ( 285 )   PDF (363KB) ( 365 )   　　

SPIN模型检测器主要用来检测线性时序逻辑描述的规范，而多智体系统的规范采用时序认知逻辑描述比较方便。本文着重讨论了如何利用SPIN模型检测线性时序认知逻辑的方法，根据局部命题的理论，将模型检测知识算子和公共算子表述的规范规约为模型检测线性时序逻辑的问题，从而使SPIN的检测功能由线性时序逻辑扩充到线性时序认知逻辑。本文通过一个RPC协议分析实例来说明模型检测线性时序认知逻辑的方法。

ARM微控制器代码防非法复制技术研究与应用

黄一平1，农丽萍2，苏检德1，罗晓曙1

2011, 33(12): 17-21. doi:

摘要 ( 332 )   PDF (626KB) ( 240 )   　　

本文对ARM微控制的应用及破解技术进行了研究与分析，针对黑客通过非法手段获取程序代码的问题，提出了一种防止ARM系列单片机内部程序代码被非法复制的方法。该方法在程序运行过程中通过对芯片内部全球唯一序列号加密后的信息进行认证，确保只有经过合法授权的控制器才能够正确运行系统代码。该方法安全性较高、方便实用，已应用于相关产品的ARM微控制器或智能卡系统中，对系统代码起到很好的保护作用，具有较好的应用前景。

随机不确定网络控制系统的L2-L∞输出跟踪控制

齐迹

2011, 33(12): 22-26. doi:

摘要 ( 312 )   PDF (439KB) ( 246 )   　　

本文研究了一类具有时延和凸多面体不确定性的随机网络控制系统的模型参考输出跟踪问题。基于线性矩阵不等式方法推出了该随机网络控制系统的稳定性和控制器设计的充分条件，并将控制器的设计转化为一个凸优化的求解问题。所设计的控制器能够保证相对于所有能量有界的外界扰动信号，随机网络控制系统的L2L∞性能指标小于一定值γ。仿真实例证实了该设计方法的有效性。

异构多核处理器体系结构设计研究

陈芳园，张冬松，王志英

2011, 33(12): 27-36. doi:

摘要 ( 407 )   PDF (667KB) ( 685 )   　　

多核技术成为当今处理器发展的重要方向，异构多核处理器由于可将不同类型的计算任务分配到不同类型的处理器核上并行处理，从而为不同需求的应用提供更加灵活、高效的处理机制而成为当今研究的热点。本文从体系结构的角度探讨了异构多核处理器设计中的关键点，从内核结构、互连方式、存储系统、操作系统支持、测试与验证、动态电压调节等方面分析了异构多核处理器对体系结构设计带来的挑战。最后本文针对高性能应用和嵌入式实时应用分析了异构多核在这两种应用中的设计关键点，指出了高性能异构多核在性能提升、内核数量以及嵌入式异构多核在实时性、低能耗需求等方面的设计难点和研究方向。

Multi_MINT：一个基于MINT的多核处理器模拟器〖

陈〓虎，罗伟良，干芸芸

2011, 33(12): 37-43. doi:

摘要 ( 323 )   PDF (958KB) ( 243 )   　　

多处理器模拟器是设计、分析和优化多核处理器体系结构的主要工具。本文提出的Multi_MINT分为前端和后端两个部分，其中前端采用MINT来模拟MIPS处理器指令，后端包括Cache、互联结构、存储器控制器等部件，从而构成了一个完整多核处理器模拟器系统。本文主要介绍了Multi_MINT的总体结构，后端主要硬件部件的模拟框架，以及模拟器设计和实现中的一些细节问题，最后通过一个实例说明了Multi_MINT在性能评测方面的作用。

一种基于微内核虚拟化的设备驱动优化模型

刘震宇,吴俊军

2011, 33(12): 44-51. doi:

摘要 ( 321 )   PDF (625KB) ( 286 )   　　

为解决日趋复杂的嵌入式系统的效率和可靠性问题，本文比较并分析了现有的设备驱动模型，针对嵌入式设备对虚拟化的特殊要求，参考L4微内核虚拟化技术，提出了一种新的虚拟设备驱动优化模型，不仅实现了微内核架构中多虚拟机间的驱动共享，并且在提供系统可靠性的同时，弥补了虚拟化技术带来的性能开销，提供了一个在效率、功能和可靠性三方面取得相对均衡的虚拟化环境。

基于Modelcia的空调半实物仿真系统的设计与实现

赵建军,何相良,丁建完

2011, 33(12): 52-56. doi:

摘要 ( 330 )   PDF (1032KB) ( 282 )   　　

为进行多领域空调系统的整体性能分析，基于Modelica建立了串口通信模型和空调模型，利用自编程的信号调理电路和已建立的串口通信模型将空调模型与空调控制器进行连接，建立了空调半实物仿真系统，仿真实验结果证明了本系统的有效性。本空调半实物仿真系统为多领域系统的半实物仿真提供了一套新的解决方案，可有效提高产品研发效率，降低研发成本。

一种基于B超图像处理的生物组织变性监测方法

邹〓孝,钱盛友

2011, 33(12): 57-60. doi:

摘要 ( 297 )   PDF (567KB) ( 271 )   　　

本文提出基于B超图像灰度和小波变换系数并结合BP神经网络监测HIFU治疗中生物组织变性的方法。通过对高强度聚焦超声打击新鲜离体猪肉组织前后获得的B超图像作数字减影，并提取图像特征，利用神经网络进行分类处理。在此基础上，对大量实验数据处理后的统计特性和误差进行分析，得出较好的辨识效果。结果表明：结合图像平均灰度和小波变换系数特征并输入BP神经网络，能够更好地监测HIFU治疗中生物组织是否变性。

基于二维Gabor小波变换的角点匹配算法

周德龙,刘〓迎,吴巾一

2011, 33(12): 61-65. doi:

摘要 ( 320 )   PDF (575KB) ( 199 )   　　

图像配准研究的核心问题在于提高配准的速度和精度,而图像配准的结果主要取决于特征的匹配精度。为了提高特征匹配精度，本文提出了一种基于二维Gabor小波变换的角点匹配算法。该算法首先采用改进的Harris角点检测方法提取角点,得到角点位置的坐标，利用多个二维Gabor小波模板对参考图像和待配准图像进行滤波，从滤波图像中提取角点坐标处的复Gabor小波系数，并以此作为角点的特征描述，然后引入两种相似性度量因子对角点进行匹配。通过对不同图像进行大量的实验，该算法在选择合适的参数，同时采用最长公共子序列度量因子的情况下，能成功提取较多的同名点对，并且能够取得较高的匹配率。

基于领域本体的社会网络信息分析与可视化

吴〓鹏，李思昆

2011, 33(12): 66-71. doi:

摘要 ( 306 )   PDF (748KB) ( 479 )   　　

社会网络分析与可视化是当前的热门研究领域，但是针对社会网络信息的高效理解与组织的研究成果却十分缺乏。本文提出一种针对社会网络信息的领域本体模型，它对社会网络信息领域的客观存在及其关系进行描述。该模型适合于描述各种社会网络分析与可视化方法，并能针对不同社会网络信息可视化应用进行扩展，克服了传统力导引布局算法在社会网络结构分析与可视化上的不足。其可视化结果能够清晰显示子群分布，表现行动者间的密切程度，显示行动者关键属性分布以及子群内部的角色分布等信息。最后通过恐怖活动信息实例，验证了领域本体模型在社会网络信息分析与显示方面的优越性。

基于强化学习的自适应多Agent系统的构造

沈〓乐，毛新军，董孟高

2011, 33(12): 72-77. doi:

摘要 ( 299 )   PDF (594KB) ( 237 )   　　

自适应系统所处的环境往往是不确定的，其变化事先难以预测，如何支持这种环境下复杂自适应系统的开发已经成为软件工程领域面临的一项重要挑战。强化学习是机器学习领域中的一个重要分支，强化学习系统能够通过不断试错的方式，学习环境状态到可执行动作的最优对应策略。本文针对自适应系统环境不确定的问题，将Agent技术与强化学习技术相结合，提出复杂自适应系统开发的核心运行机制和构造技术，从而使得所开发的自适应系统具备在不确定环境下适应环境变化的能力。论文通过案例分析阐述了如何基于学习机制来进行自适应多Agent系统的开发，验证了该机制和方法的有效性。

一种新的检测结构克隆的方法

郭〓婧，吴军华

2011, 33(12): 78-83. doi:

摘要 ( 267 )   PDF (578KB) ( 256 )   　　

结构克隆是一种运用相似原理与思想结构的克隆，它不拘泥于语句表达和顺序。本文首先用程序依赖图来检测克隆代码，并在检测过程中运用程序切片技术。针对结构克隆的特征，对需要改进的问题进行总结，对程序依赖图的特征类型进一步泛化和量化来计算相似度。这有利于在数值上更好地评估相似度，并提高克隆检测的查全率。

云搜索算法的收敛性分析

季艳芳,曹〓炬

2011, 33(12): 84-86. doi:

摘要 ( 278 )   PDF (324KB) ( 245 )   　　

本文通过对新提出的求解全局优化问题的云搜索算法［1］进行分析，可以看出算法的整个搜索过程包含飘移算子、降雨生云算子、收缩扩张算子。倘若收缩扩张算子失效，那么算法将在比较坏的情形下进行搜索。在此情形下，我们利用概率论的知识分析了算法的收敛性。分析结果表明，云搜索算法依概率1收敛到全局最优解。

海洋模式FVCOM2.6并行计算性能TAU分析

宋〓倩,胡〓松

2011, 33(12): 87-93. doi:

摘要 ( 349 )   PDF (1023KB) ( 304 )   　　

本文利用并行程序分析软件Tuning and Analysis Utilities(TAU)，对基于Message Passing Interface(MPI)的海洋环流模式FiniteVolume Coastal Ocean Model(FVCOM)2.6版本进行并行性能分析。在Linux集群（Intel Xeon CPU E5450，10G InfiniBand）上，使用不同进程数分别对低分辨率（网格节点数为2 108和10 378）、高分辨率（网格节点数为15 347和26 033）的深沪湾潮汐算例进行测试。结果表明，模式单进程运行时，平流项子程序所占运行时间比例较大；模式多进程运行时，通过比较不同算例的加速比，发现算例分辨率对模式的并行性能有较大影响。在本次测试硬件条件下，算例存在某一最佳进程数，低分辨率为32，高分辨率为64，最佳进程数随分辨率增高而增高。到达最佳进程数后，随着进程数增加，模式运行时间反而增加。TAU分析表明，主要是由于MPI_Waitany程序时间比例增加以致阻塞时间占模式运算总时间的比例增大，从而为FVCOM并行性能进一步改善提供参考。

基于改进的免疫克隆支持向量机网页分类研究

张素琪1,刘恩海2,贺〓亚2,董永峰2

2011, 33(12): 94-98. doi:

摘要 ( 310 )   PDF (566KB) ( 201 )   　　

网页分类是为了解决网络信息过载问题而延伸的一个热门研究领域，同时支持向量机以其出色的学习能力，在解决高维问题时表现出了特定的优势。本文在研究支持向量机和标准的免疫克隆优化算法的基础上，提出了一种改进的免疫克隆和支持向量机相结合的分类算法。标准算法中由于通过对抗体编码中某些位进行随机取反来实现抗体变异，造成搜索能力不强。该方法针对上述不足，将记忆单元和普通单元区分开来，对记忆单元定义自适应概率，从而加强在当前最优解邻域内的搜索能力，加快寻求全局最优解的速度。实验结果表明，该改进算法较其他算法具有更好的参数选择效果和更高的选择效率，是一种具有较高准确率和效率的网页分类方法。

一种不平衡噪声数据流集成分类模型

欧阳震诤1,陶孜谨1,蔡建宇2,吴泉源1

2011, 33(12): 99-105. doi:

摘要 ( 299 )   PDF (828KB) ( 242 )   　　

针对不平衡噪声数据流的分类问题，本文利用基于平均概率的集成分类器AP与抽样技术，提出了一种处理不平衡噪声数据流的集成分类器（IMDAP）模型。实验结果表明，该集成分类器更能适应存在概念漂移与噪声的不平衡数据流挖掘分类，其整体分类性能优于AP集成分类器模型，能明显提升少数类的分类精度，并且具有与AP相近的时间复杂度。

Vague集模糊熵度量的新方法

徐凤生

2011, 33(12): 106-109. doi:

摘要 ( 309 )   PDF (329KB) ( 229 )   　　

本文指出了现有Vague集模糊熵定义的不足，分析了其存在不足的根本原因，给出了Vague集模糊熵的公理化定义，提出了一种新的Vague集模糊熵的计算方法，并证明了其合理性和有效性。

基于新的相似性度量的加权粗糙聚类算法

孙晓博，廖桂平

2011, 33(12): 110-115. doi:

摘要 ( 323 )   PDF (601KB) ( 256 )   　　

聚类是数据挖掘中重要的研究方向。本文针对现有的聚类算法中相似度量的缺陷，提出了一种新的相似性度量方法。在此基础上，将粗糙集理论中的区分能力引入到聚类算法中，用来度量属性的重要性，进而提出了一种能够处理符号型数据的新的加权粗糙聚类算法。通过对UCI数据的实验表明，本文算法对数据输入顺序不敏感，且不需要预先给定簇的数目，提高了聚类的质量。

基于TF-IQF模型和图聚类的个性化搜索研究

曹晓龙，宋 威，梁久祯

2011, 33(12): 116-120. doi:

摘要 ( 351 )   PDF (629KB) ( 241 )   　　

针对信息检索领域存在的用词歧义和检索词简短的问题，本文提出了一种基于TFIQF模型和图聚类的个性化查询建议方法。对于用户的查询请求，提供查询建议，帮助用户进行查询修正，进而检索到其所需的信息；同时通过获取不同用户的查询偏好，以达到个性化查询推荐的目的。实验结果表明，该方法能够给出个性化的查询建议，为用户提供潜在感兴趣的资源，具有较高的准确率。

模糊聚类分析系统的研究与实现

蒋德珑1,2，李〓盛3，王克文1，付金光1

2011, 33(12): 121-125. doi:

摘要 ( 327 )   PDF (710KB) ( 301 )   　　

针对目前多种模糊聚类算法组合应用研究较少的现状，在分别对基于模糊等价关系和基于模糊等价划分这两种模糊聚类分析方法进行了较为深入研究的基础上，根据两种方法的特点，构建了一种组合式模糊聚类分析方法。采用VC++与Fortran6.5语言混合编程，开发了一套模糊聚类分析系统，分别实现了基于模糊等价关系法、基于模糊ISODATA法和基于组合式模糊聚类法的模糊聚类分析，并将其应用于电力系统中不良数据的辨识处理，取得了较为理想的效果。实例分析表明，组合式算法能够有效克服单独使用某种模糊聚类算法的缺点，同时也反映出该模糊聚类分析系统具有聚类方法选取灵活、软件界面友好、计算速度快等特点，有良好的应用前景。

基于改进的SOFM神经网络的矢量量化方法

马〓勇,阮〓洋

2011, 33(12): 126-129. doi:

摘要 ( 310 )   PDF (422KB) ( 227 )   　　

基于Kohonen自组织特征映射（SOFM）神经网络的矢量量化图像压缩编码是一种非常高效的方法，但其码字利用不均匀，某些神经元永远无法获胜而产生“死神经元”的问题仍然十分明显。在追求为使各个神经元能以较为均衡的几率获胜，尽量避免“死神经元”过程中，Kohonen SOFMC很具代表性，它既能保持拓扑不变性映射又能最有效地避免“死神经元”，是一种带“良心”的竞争学习方法。本文利用Kohonen SOFMC码字利用更为均衡的优点，并针对SOFM在胜出神经元的邻域内神经元修改权值方法的不足，提出基于SOFMC的辅助神经元自组织映射算法，此方法具有开放性，可随时添加入新的有效算法模块以达到更好的效果。并把该矢量量化算法应用于小波变换域，以获得更好的码书。仿真结果表明，该方法优于已有的SOFM方法。

Bad：基于最小描述长度的均衡离散化方法

黄〓东

2011, 33(12): 130-135. doi:

摘要 ( 300 )   PDF (411KB) ( 360 )   　　

连续数据离散化是数据挖掘分类方法中的重要预处理过程。本文提出一种基于最小描述长度原理的均衡离散化方法，该方法基于最小描述长度理论提出一种均衡的离散化函数，很好地衡量了离散区间与分类错误之间的关系。同时，基于均衡函数提出一种有效的启发式算法，寻找最佳的断点序列。仿真结果表明，在C5.0决策树和Naive贝叶斯分类器上，提出的算法有较好的分类学习能力。

分布式RFID复杂事件处理技术的研究

康庄庄,陈〓群,孙林超

2011, 33(12): 136-142. doi:

摘要 ( 283 )   PDF (553KB) ( 268 )   　　

目前RFID复杂事件处理技术的研究主要针对集中式的处理。集中式RFID复杂事件处理技术对于海量RFID数据的处理具有很多局限性，主要表现为网络通讯代价高和处理效率低。针对集中式RFID复杂事件处理存在的问题，本文研究了分布式环境下RFID复杂事件处理的关键算法，采用一种Pull（抽取）类型的数据通讯模型来降低通讯代价，在此基础上提出了两种分布式的RFID复杂事件处理算法。实验结果表明，本文提出的分布式RFID复杂事件处理算法比集中式复杂事件处理算法更有效。

OWL本体关系数据库构建方法

王岁花,张晓丹,王〓越

2011, 33(12): 143-147. doi:

摘要 ( 295 )   PDF (426KB) ( 239 )   　　

随着本体种类和资源的增加,本体的结构越来越复杂,为了合理地存储各种结构类型的本体、支持高效的本体查询，本文提出了一种基于关系数据库的OWL本体存储方法。该方法通过细致考虑OWL的基本元素，采用与传统的本体分解存储模式不同的构词分类方法,将OWL本体中的类、属性、实例、属性特征和属性约束分别存储在一张二维表中，从而解决了资源与属性值之间的复杂关系问题,并保证了OWL本体存储到关系数据库后语义信息的完整性。最后，利用关系数据库管理系统高效的检索和匹配速度以及SQL语言的高度非过程化，将检索和匹配OWL本体转换成检索关系数据库，弥补了OWL本体数据查询效率低的不足之处。

改进LPU用于蛋白质功能预测

陈义明1，2,李舟军1,刘军万1

2011, 33(12): 148-152. doi:

摘要 ( 310 )   PDF (468KB) ( 264 )   　　

本文将蛋白质功能预测定义为典型的LPU问题。针对有很少正例的LPU算法存在的不平衡或过拟合问题，提出了基于最近邻和凸组合理论的创建人工正例扩充正例集合的方法，同时使用一类支持向量机获取初始最可能的负例，通过迭代两类支持向量机将分类超平面移到一个合适的位置，由交叉验证获得代表性的负例，从而改进了典型LPU算法学习最优分类器的过程。针对酵母基因组数据的实验表明：我们的算法在很少正例的功能类上的预测性能有显著提高，在其他类上的性能也有一定的改善。

基于FPGA的非编码RNA基因检测算法加速器研究

夏〓飞，窦〓勇，雷国庆

2011, 33(12): 153-158. doi:

摘要 ( 300 )   PDF (1098KB) ( 237 )   　　

ncRNA（非编码RNA）是一类重要的遗传物质，它通过多种机制调控着基因的表达。由于缺少编码RNA基因所具有的典型特征，ncRNA基因的检测成为生物信息学RNA研究领域的热点问题。QRNA是目前该领域最典型使用最广泛的程序之一，但受限于〖WTBX〗O(L〖WTBZ〗3)计算复杂度，传统的软件预测方法并不能满足日常研究的需要。本文基于FPGA平台实现了一种细粒度的并行ncRNA检测算法，利用CPU加FPGA的方案对QRNA程序实现细粒度并行，采用按矩阵列循环划分的任务分配策略实现处理单元间的负载平衡；采用数据预取、滑动窗口和数据传递流水线实现处理单元间的数据重用，减少片外访存开销。在单片FPGA上集成了由8个处理单元构成的计算阵列。实验结果表明，与运行在AMD四核9650处理器上的QRNA2.0.3c程序相比，可获得超过18倍的加速效果，并且FPGA加速器功耗仅为通用微处理器平均功耗的20%。

面向语义信息的案例知识表达与相似度计算方法研究

向〓东，赵〓勇，陈〓阳

2011, 33(12): 159-166. doi:

摘要 ( 284 )   PDF (805KB) ( 322 )   　　

传统的案例知识表达与共享方式已越来越难以满足目前产品设计对案例知识获取的要求。为了实现异构案例知识的表达与重用，本文面向语义信息提出了一个由概念、表达、特征、类型构成的案例知识本体，旨在对案例知识进行概念化与语义化，并通过概念之间的关系生成概念树,为案例相似性分析提供一个量化方法。为了对案例进行比较、评价和挖掘，探讨了一种基于概念相似度与概念属性相似度的计算方法。另外，结合开发的车门案例知识库说明了模型与方法的可行性和有效性。

基于Labview的变压器故障诊断系统研究

陈新岗1,2,田晓霄1,赵阳阳1，张超峰1

2011, 33(12): 167-173. doi:

摘要 ( 357 )   PDF (2082KB) ( 282 )   　　

本文首先基于油中溶解气体特征含量构建BP网络结构，采集数据样本，进行网络训练，然后应用信息融合原理搭建分层故障诊断模型，分析判断变压器的故障类型，并在此基础上判断变压器局部放电类型。然后采用虚拟仪器技术，在Labview平台上开发了变压器故障诊断系统，该系统从油气量和局部放电信号两个方面对变压器进行故障诊断和局部放电类型识别。通过油气量判断变压器故障类型，然后应用信息融合原理融合局部放电统计特征参量综合判别变压器局部放电类型。该系统实现了变压器油气含量分析，局部放电信号存储，数据综合处理，数据库的查询、修改以及删除功能，从而实现了对变压器的故障诊断。

基于遗传算法的直流伺服系统参数辨识及摩擦补偿控制

董立红

2011, 33(12): 174-178. doi:

摘要 ( 326 )   PDF (712KB) ( 304 )   　　

针对静态摩擦力对数控机床直流伺服系统的干扰问题，提出了一种先利用遗传算法对静态摩擦模型中的参数进行辨识，然后采用基于摩擦模型补偿的伺服控制方法。该方法首先根据直流伺服系统的摩擦特性建立摩擦模型，再将摩擦补偿引入到直流伺服系统的反馈控制结构中，获取伺服电机的位置误差。采用遗传算法对摩擦补偿模型进行参数辨识，使摩擦补偿量在数值上不断逼近实际的摩擦干扰，并利用摩擦补偿量来抵消摩擦给伺服系统带来的影响。为了验证参数辨识的效果，将普通PD控制与基于摩擦补偿的PD控制进行了仿真比较，实验结果表明，后者能够消除由于静摩擦的存在而造成的位置跟踪中出现的平顶现象，能够达到理想的跟踪效果。因此，本文所提出的方法具有较强的摩擦干扰补偿能力，能够实现对直流伺服系统的精确控制。

基于GPS的自助式高效公交换乘查询系统的研究

黄〓冰，王〓鹏，陈〓婷

2011, 33(12): 179-183. doi:

摘要 ( 241 )   PDF (465KB) ( 248 )   　　

本文针对城市公交快速发展的现状，提出了一种基于GPS的自助式高效的公交线路查询系统。分析了公交系统的基本形态、特点，对查询系统的工作流程做出说明。针对传统公交线路查询算法以站点为主的分析方式，提出一种新的公交查询算法，着重说明了站点与线路，线路与线路之间的关系，将公交查询算法的切入点从站点转向各条线路之间的联系，大大减少了系统查询时所分析的目标数量，节省了硬件资源，加快了响应速度。该算法特别适用于手机、PDA等硬件资源并不充裕的便携设备，并具有升级灵活、通用性强等优点。

虚拟样机工程中的项目资源均衡优化研究

田丰春，杨种学，杨〓宁

2011, 33(12): 184-188. doi:

摘要 ( 273 )   PDF (486KB) ( 204 )   　　

虚拟样机工程的复杂性不断增加，需有科学的项目管理技术来实现高效组织与管理。在工程项目资源均衡优化的调整中，通常以资源方差来衡量资源的均衡性，方差越小资源均衡性就越好，但其调整过程通常要经过一系列繁琐的推断过程。本文引入遗传算法，针对其中的“工期固定—资源均衡”问题，同时考虑作业之间的相关性限制约束，建立模型并求解；在多种资源优化中，根据每种资源对其资源均衡程度的重要性，给定权系数，用多目标优化中的线性加权系数法，将多种资源优化问题转化为按单种资源优化方法来求解，有效地解决了虚拟样机工程中的项目资源均衡优化问题。

便携式红外电路故障检测仪视频采集驱动设计

刘〓宁,周孟特,王智芳,龚〓伟,张〓聪

2011, 33(12): 189-193. doi:

摘要 ( 312 )   PDF (509KB) ( 305 )   　　

红外电路故障检测仪作为一种高效的非接触式电路板故障检测手段得到广泛应用，但庞大的系统成为继续推广的一道屏障。针对这一问题，本文以S3C6410为核心处理器、Tvp5150为视频解码器以及红外热像头模块，构建了高度集成的嵌入式实时视频采集平台，在此基础上完成了便携式红外电路故障检测仪的设计。该设计具有体积小、功耗低、成本低、安全性高、稳定性高、应用灵活等特点，极好地满足了便携式视频采集设备的需求。提出了一种适用于该检测系统的视频采集驱动设计方案，在Linux2.6.28版本内核下，以Linux下处理视频设备的最新标准——V4L2为基准完成驱动程序编写。实验证明该方案成功实现了视频数据的采集。