当期目录

• 2008年, 第10期　刊出日期：2008-10-01 上一期    下一期
  本期栏目： 论文

论文

一种基于原子功能的网络攻击效果评估指标体系

胡影[1,2] 郑康锋[1] 杨义先[1]

2008, 30(10): 1-4. doi:

摘要 ( 431 )   PDF (377KB) ( 740 )   　　

针对现有评估攻击效果的指标比较抽象、不够全面的缺点，本文研究了怎样构建网络攻击效果评估指标体系，定义了原子功能代表网络攻击效果的基本元素；通过分析攻击库挖掘原子功能，提出基于面向对象的目标实体建模方法，分析了原子功能和目标对象的关系；最后提出了以原子功能为基础的“属性-原子功能-评估指标-采集指标”四层指标体系。该体系具有属性分类互斥、代表大部分典型网络攻击效果、更易于效果评估操作等特点。

一种基于本体的垂直搜索引擎系统模型

吴柏林[1] 宋泽锋[2] 杨炳儒[2]

2008, 30(10): 5-7. doi:

摘要 ( 502 )   PDF (368KB) ( 586 )   　　

由于互联网上异构数据的爆炸性增长，目前依靠关键词技术的垂直搜索引擎遇到发展的瓶颈。本文引入本体论及相关技术，构建基于本体的垂直搜索引擎系统模型。模型中对抓取的异构信息进行本体化描述，在此基础上进行概念相似度计算，实现语义相关的本体查询，大大改善了目前垂直搜索引擎的查全率与查准率。

基于粗糙集理论的双向垃圾邮件分类模型的研究

云炜 段禅伦

2008, 30(10): 8-10. doi:

摘要 ( 489 )   PDF (399KB) ( 467 )   　　

电子邮件是互联网的重要应用之一，邮件分类问题已成为当今研究的热点。本文基于粗糙集理论，利用0-1贝努利数据提出双向邮件分类模型，在保证当前分类正确率的前提  下，约简了邮件分类所需的文本词频信息，较好地提高了分类效率，推进了粗糙集理论在邮件分类中的应用。

无线传感器网络协作事件检测研究

康雅斌[1] 田锐[2] 程冬梅[1]

2008, 30(10): 11-14. doi:

摘要 ( 464 )   PDF (356KB) ( 566 )   　　

事件检测是无线传感器网络的重要应用之一。由于传感器节点廉价、易损，无线通信链路不稳定、易受干扰等特点，检测精度受到很大的限制。所以，利用传感器节点密集分 布独立感知的特性进行协作事件检测很有必要。本文针对应用场景相关和网络维护相关两类事件的协作检测机制现状进行研究，并对各类协作模式下不同检测算法的优缺点进进行了比较。

基于贝叶斯网络的一种牛奶产量预测研究

徐计 张桂芸

2008, 30(10): 15-18. doi:

摘要 ( 469 )   PDF (366KB) ( 644 )   　　

本文运用贝叶斯网络对某农场的牛奶产量进行学习与预测，运用Chi2离散化方法的一种变形进行数据预处理，采用有启发规则指导的、带随机重启的贪心算法搜索网络结构； 最后，将贝叶斯网络方法的结果与多元线性回归方法得到的结果进行了比较。

基于灰色Verhulst模型的因特网访问人数预测分析

白燕[1] 朱苗苗[2] 马光思[2]

2008, 30(10): 19-20. doi:

摘要 ( 451 )   PDF (228KB) ( 463 )   　　

本文预测因特网访问人数，为开展网络建设、应用及管理提供决策依据；分析了实测数据反映的特征，给出了基于灰色Verhulst模型的建模理据和预测分析的详细过程；对模 型预测结果进行了分析验证，模型的拟合精度检验指标（C=0．09，P=1．00）达优。检验结果表明，所建立的Verhulst模型对同等实测数据的预测效果优于GMC（1，n）模型  。

无线自组织网络中构造2-连通k-支配虚拟主干网的近似算法

凤旺森[1,2] 屈婉玲[1,2] 王捍贫[1,2] 张立昂[1,2]

2008, 30(10): 21-23. doi:

摘要 ( 562 )   PDF (351KB) ( 532 )   　　

在无线自组织网络中，经常选取一些节点形成虚拟主干网，用以支持路由和区域监视等任务。由于无线网络自身存在误码率高、易受干扰等弱点，虚拟主干网需要具有一定的 容错性。已经有研究者提出使用k-连通k-支配集合在无线自组织网络中构造容错虚拟主干网，并通过模拟实验评估了算法的性能。近年来，Wang Feng等人设计了常数近似算 法用来构造2-连通虚拟主干网。本文将设计一个常数近似算法用以在无线自组织网络中构造一个2-连通k-支配虚拟主干网。

一个实用的图同构判定算法

徐子珊

2008, 30(10): 24-26. doi:

摘要 ( 398 )   PDF (230KB) ( 936 )   　　

本文就理论上尚未发现多项式时间的图（无向图）的同构判定算法，提出并分析了一个实用的改进算法，还为此算法提出了一个更有效的随机版本。

P—tile与直方图模糊C-均值聚类相结合的路面图像阈值分割

张永杰[1] 殷园[1] 侯向丹[1] 李红真[2]

2008, 30(10): 27-29. doi:

摘要 ( 530 )   PDF (356KB) ( 568 )   　　

路面图像裂缝自动检测技术是公路养护技术的重要方向，路面图像的分割是路面图像处理的关键步骤。由于噪声等干扰因素的影响，使得利用传统的模糊C_均值聚类（F（M）  算法进行路面图像分割得不到满意的结果。本文采用Ptile算法和直方图模糊C-均值聚类算法对路面图像进行分割，一方面克服了传统FCM运算量大、计算速度慢的缺点，另一  一方面减少分割算法分析的范围，增强了分割的效果。实验证明，本文算法能较好地分割出路面图像的裂缝。

基于模糊逻辑的GPS／DR地图匹配算法

宋洁 李国燕 李娜娜 张永杰

2008, 30(10): 30-32. doi:

摘要 ( 544 )   PDF (283KB) ( 809 )   　　

一个好的地图匹配算法对改善智能运输系统的导航性能起着至关重要的作用，能够在很大程度上提高导航系统的定位精度。本文提出一种基于模糊逻辑的综合地测匹配算法。 该方法把GPS／DR传感器得到的定位信息和电子地图库的数据作为算法的输入，通过逻辑评判输出最佳匹配路段，并在道路拐弯处通过拓扑荧系选择候选道路。仿真实验证明，引用该算法后地图匹配效率和准确性都有很大的提高。

一种基于颜色特征的视频镜头边界检测方法

王丽红[1] 张桂芸[1] 贾花萍[1,2]

2008, 30(10): 33-34. doi:

摘要 ( 367 )   PDF (235KB) ( 457 )   　　

视频镜头的边界检测是视频分析与检索的最基本环节之一。通常进行镜头边界检测时，需要设定阚值来判断特征差异是否足够引起镜头边界出现，但阅值的选取往往因视频内 容不同而需重新设定。针对这一问题，本文提出了基于颜色特征进行的镜头边界检测方法。实验结果验证了该方法的有效性。

基于物化视图的查询系统研究与实现

胡雅颖[1] 齐鸿志[1] 朱方[2] 张健楠[2]

2008, 30(10): 35-36. doi:

摘要 ( 360 )   PDF (248KB) ( 447 )   　　

在数据库领域，如何加快查询的执行速度非常重要。查询重写技术能透明地利用物化视图回答查询，避免了直接访问大量的原始记录以及耗时的连接和聚集计算，提高了查询  的执行速度。本文讨论了基于数据库中的外键连接关系进行扩展的查询重写方法，以此为核心研究了针对小型数据库的物化视图查询系统，并通过实验证明了物化视图策略的 有效性。

ICA算法在fMRI中的应用

公昱文 张桂芸 马洪芝

2008, 30(10): 37-39. doi:

摘要 ( 621 )   PDF (275KB) ( 1936 )   　　

独立分量分析（ICA）是信号处理领域新近发展起来的一种很有应用前景的方法，而脑功能磁共振（fMRI）信号的有效分离与识别是一个正在研究和实验之中的技术领域。近年来，ICA已被成功地应用于fMRI数据的处理，成为分析IMRI数据的一种很有效的方法。本文介绍了ICA在分析fMRI数据方面的应用，以及多种ICA算法在fMRI信号盲源分离中  的应用，分析了三种算法的问题，给出了本人对此研究的展望。

基于离散事件辨识的交叉路口自适应信号调度

胡扬 桂卫华

2008, 30(10): 40-42. doi:

摘要 ( 486 )   PDF (220KB) ( 416 )   　　

交叉路口的车辆调度是长期被关注的热点问题。由于交通流量分布的不确定性，道路拥塞现象不能完全避免。交通输送能力也难以在短期内有质的改善。本文提出了一种自适  应信号调度算法，并通过分析不同车道的通行优先级，将车辆的到达、排队等待和离开均分别看成离散事件的不同状态。运用排队论对车辆的每一个状态进行辨识，预测出下下一周期内各车道的车辆数目。本文提出了道路交通流量的目标优化函数。在相关约束条件的基础上，信号周期能根据实时交通流量和对应道路的饱和交通流量来进行调整。通过文中实例分析表明：该算法增强了整个路网的吞吐能力，提高了道路的利用率

用蚂蚁算法和模拟退火算法解大规模TSP问题的研究

许智宏 宋勃 董建波

2008, 30(10): 43-44. doi:

摘要 ( 537 )   PDF (254KB) ( 718 )   　　

TSP问题是一个NP完全问题。随着问题规模的增大，其解空间呈指数增长，无法在多项式时间内完成问题的求解。近几十年来，人们提出了许多基于生物理论的解决该问题的  新方法。本文应用蚂蚁算法、模拟退火算法对TSP问题进行求解。在求解过程中对各算法中参数的作用和设置方法作了一些分析，使用不同参数进行多次实验，验证参数设置 原则；对不同规模的TSP问题进行实验，比较两个算法的性能，分析造成其性能差异的原因，并提出了改进建议。

利用控制依赖关系算法分析BPEL4WS

王敬亚 朱怀宏 胡琰华 徐洁磐

2008, 30(10): 45-47. doi:

摘要 ( 561 )   PDF (356KB) ( 432 )   　　

IBM、Microsoft和BEA联合提出的服务组合描述语言BPEL4WS是现有的主要工业标准。本文在分析BPEL4WS控制流程的基础上提出了控制依赖关系概念，并设计了一个复杂度为0 （N^2）的控制依赖关系图生成算法。最后，基于控制依赖关系图，讨论了如何进行BPEL4WS的控制冲突检查和执行优化。

改进的遗传算法在作业调度中的应用

李佳[1] 彭玉青[1] 胡希文[2]

2008, 30(10): 48-50. doi:

摘要 ( 542 )   PDF (222KB) ( 567 )   　　

作业调度问题（JSP）是一类典型的NP-hard问题，遗传算法作为一种通用的优化算法在求解JSP中得到了广泛的应用。本文主要针对作业车间调度问题，基于改进的遗传算法   ，根据种群的进化状况，从而确定种群的适应度值，使之能够保持种群的多样化。

基于人工代谢系统的物流管理

胡扬 桂卫华

2008, 30(10): 51-54. doi:

摘要 ( 391 )   PDF (237KB) ( 399 )   　　

本文提出了一种人工代谢算法。通过对算法的模型和相关参数进行定义，阐述了基于人工代谢系统在物流调度中的应用实例。文中给出了一个供应链的拓扑结构图，运用人工 代谢算法的原理对物流配送和逆向物流的过程进行了讨论，并对该配送网络进行了相关性能的分析。通过调节相关参数，给出了相应的物流优化配送路径。通过对物流网络的分析表明：在人工代谢算法下，物流网络的配送效率得到了较大提高。网络负荷的均衡性得到了很大改善。

模拟退火算法中关键参数的研究

刘洪普 侯向丹

2008, 30(10): 55-57. doi:

摘要 ( 378 )   PDF (233KB) ( 557 )   　　

模拟退火算法是求解组合优化问题的一个有效方法，但算法中各个参数值的选择和设置对运行的结果和效果有较大影响。因此，本文主要是利用几个具体的TSP问题对算法中  的几个重要参数做比较研究，得出了一组比较有效的参数取值，为求解与TSP问题类似的其他问题奠定了有效的参数基础。

基于GPRS／蓝牙混合模式的车辆定位监控算法研究

冯丽平[1] 董振超[2] 董永峰[2] 顾军华[2]

2008, 30(10): 58-60. doi:

摘要 ( 540 )   PDF (265KB) ( 514 )   　　

为了更好地对道路中行驶的车辆进行监控，节约成本，本文提出一种基于GPRS和蓝牙相结合的车辆监控系统。车辆监控系统是一种集GPS、GIS、通讯技术和计算机技术为一体 的移动车辆综合服务系统。文中介绍了GPRS和蓝牙相结合的车辆监控系统的整体结构和功能模块划分，以及监控中心模块的主要功能实现方法。另外，讨论了在监控中心模 块设计中的关键技术，详细分析了蓝牙和GPRS相结合的实现方法。同时，本文提出了一种基于缓冲原理的GPS数据道路配匹算法，该算法在实际工程运用中取得了良好的效果
          。

基于电子商务应用的协同过滤技术改进综述

田伟 彭玉青

2008, 30(10): 61-63. doi:

摘要 ( 464 )   PDF (351KB) ( 644 )   　　

电子商务个性化推荐具有重要的意义。协同过滤是电子商务个性化的重要实现技术之一。本文针对UBCF和IBCF方法在应用实践上的问题，总结了目前文献对于协同过滤技术的 改进思路，归纳了对于CF推荐技术的各种新型算法技术文献，总结了目前对于CF技术不同的改进思路。

离散粒子群优化算法求解旅行商问题

刘伯颖[1] 吴敬松[1] 镡铁春[2] 李世杰[1]

2008, 30(10): 64-66. doi:

摘要 ( 660 )   PDF (212KB) ( 745 )   　　

在优化领域，粒子群算法适用于求解连续优化问题，而在离散优化上的应用还相对较少。本文在介绍基本粒子群优化算法的基础上，分析了粒子群优化算法在经典旅行商问题  中的应用性能及粒子群算法求解旅行商问题的相关操作。使用Ulysses等标准TSP测试数据进行了相关实验，并通过不同的参数设置对实验结果进行了性能分析和比较。

命题演算形式系统在Isabelle／HOL中的形式化

王俐莉 王元元 张兴元

2008, 30(10): 67-68. doi:

摘要 ( 465 )   PDF (236KB) ( 741 )   　　

本文针对命题演算形式系统，在机器辅助定理证明系统Isabelle／HOL中为其建立逻辑模型，并分别形式化验证了PC和ND的主要性质，以及完备性定理的证明。通过对PC和ND 的分析和验证表明，采用机器辅助定理证明系统，对以数理逻辑为平台的各种形式系统进行严格的分析和证明是可行的。

动态判断与非单调推理的属性重心坐标表示模型

冯嘉礼

2008, 30(10): 69-71. doi:

摘要 ( 434 )   PDF (321KB) ( 502 )   　　

本文研究动态判断与非单调推理的属性重心坐标表示模型。研究表明：命题真值随基准而变的动态判断及其诱导的非单调推理可用属性重心坐标加以表示，而基于基准变换的  解释及其属性坐标表示模型更符合实际情况，也更合乎逻辑。

计算机实践向理论的回归

刘惊雷[1] 张伟[1] 王立宏[1] 刘红霞[2]

2008, 30(10): 72-74. doi:

摘要 ( 371 )   PDF (315KB) ( 422 )   　　

软件工程研究软件开发过程所需的模型、方法和工具。UML是软件工程实践中的重要工具，它可以对软件进行规约、可视化、构造和建档。本文以UML的状态图为例，讨论了其 在十字路口的信号灯的控制中的应用，指出了其在软件需求分析中的建模作用，并揭示了软件工程与计算机科学之间的关系。最后，指出了当今软件工程的发展与实践是在向  向计算机科学理论回归，从而作为计算机科学的理论基础的离散数学对实践的指导作用就显而易见了。

二元关系的运算

蒋强荣

2008, 30(10): 75-77. doi:

摘要 ( 393 )   PDF (160KB) ( 414 )   　　

本文给出了二元关系运算的矩阵表示，包括二元关系R和S的并运算、交运算、对称差运算、复合运算、减运算；二元关系R的补运算、逆运算、闭包运算。

命题逻辑推理的代数化证明

王礼萍[1] 张树功[2]

2008, 30(10): 78-81. doi:

摘要 ( 339 )   PDF (332KB) ( 769 )   　　

本文尝试利用纯代数的方式，通过解多项式方程组对命题逻辑进行演算、推理。

一种求解前束析（合）取范式的简单方法

潘美芹 丁志军

2008, 30(10): 82-84. doi:

摘要 ( 558 )   PDF (217KB) ( 1316 )   　　

本文提出了一种由前束析（合）取范式求前束合（析）取范式的简单方法。该方法根据谓词逻辑自身的特点，结合命题逻辑中命题公式的主析取范式和主合取范式的互补关系 ，将前束析（合）取范式转化为主析（合）取范式，再得出相应的主合（析）取范式，最后准确地得出前束合（析）取范式。

数值求导的离散正则化方法

宛艳萍 孙曙光 肖庭延

2008, 30(10): 85-86. doi:

摘要 ( 457 )   PDF (128KB) ( 730 )   　　

数值微分作为一个典型的反问题，在Hadamard意义下是不适定的，即在求导中函数的微小扰动就可能导致计算上很大的误差。本文首次利用目前处理不适定问题的、广为采用且相当有效的Tikhonov 正则化方法，讨论了用离散正则化方法处理数值求导的有关理论和技术问题，包括离散正则解的收敛性、稳定性以及在原始数据误差水平已知和未知 情况下的正则参数选取问题，给出了稳定和有效的算法，并在Matlab环境下加以实现，而且进行了成功的数值试验和对比试验研究。理论分析和数值试验表明：利用本文所给 给的离散正则化算法求导，具有精度高和数值稳定性好、抗干扰性能强等优点。

基于Hibernate的异构数据共享的研究

刘恩海[1] 刘斌[1] 郭志涛[2] 张健楠[1]

2008, 30(10): 87-89. doi:

摘要 ( 433 )   PDF (241KB) ( 523 )   　　

本文阐明基于网络的异构数据集成和共享方案的基本思想，并介绍了Hibernate、Castor、XML等相关技术，在此基础上给出了基于Hibernate的异构数据集成的模型和应用实例。该数据共享方法简便可行、可操作性强，在一定程度上减少了代码的编写，提高了数据集成与共享的效率，为进一步的数据分析提供了一定的技术支持。

基于SVM的中国北方水闸工程垂直位移观测的数据分析与预测

王晓晶[1] 张桂芸[1] 张松涛[2] 修永富[1]

2008, 30(10): 90-92. doi:

摘要 ( 546 )   PDF (331KB) ( 498 )   　　

垂直位移观测是水闸工程管理中十分重要的工作之一，而对观测数据的整编分析是评价水闸工程能否安全运用、发挥设计效益的重要依据。本文结合中国北方软土地基上建设的水闸工程实际情况，主要研究了利用SVM对垂直位移观测数据进行提取、分类以实现预测的分法。

数据挖掘在远程教育系统中个性化教育的应用研究

王岚[1] 王萍[2]

2008, 30(10): 93-95. doi:

摘要 ( 519 )   PDF (375KB) ( 670 )   　　

本文在分析了当前远程教育网站的不足之后，主要介绍了数据挖掘技术在远程教育中的广泛应用。该文介绍了一种基于Agent技术的系统模型，并介绍了如何建立学生学习评 价的多维数据以及利用SQL Server通过OLAP分析服务技术实际实现的方法。

离散数学网上学习系统的设计与实现

姜楠 王立明 林砷 艾荟

2008, 30(10): 96-97. doi:

摘要 ( 491 )   PDF (259KB) ( 500 )   　　

本文提出了离散数学网上学习系统的总体设计目标是利用计算机网络实现辅助课堂教学，创设基于网络的学习环境，为师生共同建立一个突破时间、地点限制，由以教为主变为以学为主的教学平台。讨论了系统的安全设计和数据库设计的设计思想和设计方法，研究了注册登录、网络信息发布、作业修改、师生交流、试卷生成、题库管理、中英文课件等模块的功能与实现方法。

基于S-Procedure的分段线性Delta算子系统的稳定性分析

徐勇[1,2] 石陆魁[3] 李杰[4] 唐万生[1] 张建雄[1]

2008, 30(10): 98-99. doi:

摘要 ( 448 )   PDF (230KB) ( 556 )   　　

本文研究了一类由Delta算子描述的分段线性系统的二次稳定性问题。基于Delta域的Lyapunov稳定性理论，利用S-procedure构造了分段Lyapunov函数，而且将分段线性Delta 算子系统的二次稳定性判问题转化为一组线性矩阵不等式的求解问题。

基于粒子系统的可调参数的瀑布模拟

聂俊岚 陈莉

2008, 30(10): 100-102. doi:

摘要 ( 481 )   PDF (340KB) ( 584 )   　　

本文根据粒子系统的基本框架实现了多种效果的瀑布模拟。模型利用粒子系统API提供的函数，使用点、线元、多边形等方式渲染粒子，通过调节参数即可模拟多种瀑布效果，并结合动力学原理，使瀑布流动效果更加真实。实验证明，该方法模拟瀑布速度快，使用少量代码就能在普通PC机上获得令人满意的效果。该瀑布模型灵活性强，易于移植和扩展。

高维空间球体的k-中心聚类问题

栾峻峰 范克磊 鲍海峰

2008, 30(10): 103-104. doi:

摘要 ( 450 )   PDF (234KB) ( 473 )   　　

本文提出了高维空间球体的k-中心聚类问题。该问题是指对高维空间中多个球构成的集合B，构造是个球来共同覆盖B中所有已知的球，并使k个球中的最大半径最小。本文从B中有选择地取出一部分球构成集合s，称其为B的核心集，并利用该核心集，对给定ε给出了高维空间球体k-中心聚类问题关于球数n和维数d的多项式时间1-ε近似算法。而且，S中球的个数为O（1／ε^2），与B中球的个数和空间维数无关。

Kempe链的研究与民航空域频率覆盖重构

王锦彪 王伟 秦姝

2008, 30(10): 105-107. doi:

摘要 ( 441 )   PDF (300KB) ( 454 )   　　

本文给出了构建Kempe链的算法，用Kempe链方法证明了Heawood反例是四色的，探讨了基于Kempe链模型的民航空域频率覆盖重构的可能性。

离散时间单重休假冷储备系统的可靠性分析

余妙妙[1] 唐应辉[2] 陈胜兰[3]

2008, 30(10): 108-112. doi:

摘要 ( 484 )   PDF (360KB) ( 493 )   　　

利用离散向量Markov过程方法研究了离散时间单重休假两同型部件冷储备可修系统。在部件寿命服从几何分布，修理时间和修理工休假时间服从一般离散型概率分布的假定下，引入修理时间和休假时间尾概率，求得了系统的稳态可用度、稳态故障频度、待修概率、修理工空闲概率和休假概率，以及首次故障前平均时间等可靠性指标。

基于自组织特征映射神经网络的土壤分类

张彦成 段禅伦

2008, 30(10): 113-115. doi:

摘要 ( 449 )   PDF (237KB) ( 496 )   　　

人工神经网络中的自组织特征映射网络具有较强的聚类功能，将自组织特征映射神经网络模型应用于土壤分类，提取影响土壤分类的七个理化因子，根据19个土壤样本建立神经网络，最后验证10个土壤样本的分类结果是否正确。分析结果表明，这种方法是十分有效和方便的。同时，本文对分类结果进行分析和讨论，指出利用该模型强大的学习功 功能及很好的自适应性、自组织性和鲁棒性可以为土壤分类提供一种快速、准确的信息处理手段。

波动系数对星型网络拓扑结构的影响

逯燕玲[1] 解文彬[2] 吴晶晶[3,4]

2008, 30(10): 116-117. doi:

摘要 ( 361 )   PDF (250KB) ( 447 )   　　

本文阐述了星型网络拓扑结构的特点，并结合图论与关系矩阵的相关知识提出了链路上界和波动系数的概念，对解决智能大厦综合布线系统设计施工中存在的网络拓扑结构问 题提出了建议。

基于语义计算的公交移动问答系统

陈小宾 葛新伟 林鸿飞

2008, 30(10): 118-121. doi:

摘要 ( 360 )   PDF (378KB) ( 714 )   　　

为解决外来旅客公交问询困难的问题，本文利用模式匹配、编辑距离计算、语义计算、自动问答等技术，实现了基于自然语言问答的公交移动问答系统。本文在抽象公交节点 的基础上引入站点概念词，对站点关键词进行扩展、消除问询歧义，把公交线路抽象成线路节点网络模型，引入查询日志记录快表辅助问答，借助手机短消息业务实现了双向向传输。实验结果表明，该系统达到了预期效果。

基于灰色径向基神经网络模型的流量预测与分析

白燕[1] 马光思[2]

2008, 30(10): 122-124. doi:

摘要 ( 438 )   PDF (236KB) ( 497 )   　　

根据神经网络能有效修正灰色预测模型的思路，本文提出了基于灰色系统及径向基神经网络的组合预测模型。通过采集园区节点交换机的流量数据，在分析网络流量时间序列特性的基础上建立灰色GM（1，1）模型，并采用径向基神经网络对预测模型残差进行修正。实验结果和仿真实验表明，组合模型效果及预测精度远优于单一灰色预测模型。

基于SVM与距离加权计算的观点和持有者识别机制

郭巍 宋锐 林鸿飞

2008, 30(10): 125-128. doi:

摘要 ( 454 )   PDF (467KB) ( 791 )   　　

本文介绍了一种基于SVM与距离加权计算的自动观点分析方法，主要包括观点自动检测与观点持有者自动抽取两方面内容。本文首先建立了与观点分析相关的一系列资源，如观点指示动词集等。利用这些相关的资源，采用SVM进行机器学习，从而完成观点的自动检测。在观点自动检测的基础上，以观点指示动词为指示器，采用距离加权计算的方 法抽取给定句子中的观点持有者，并采用模式匹配的方法来对观点持有者进行短语扩展，从而使观点持有者的抽取结果得到进一步提高。

无线通信网络的拓扑和协议研究

吉振宇[1] 杨嵘[2]

2008, 30(10): 129-130. doi:

摘要 ( 444 )   PDF (259KB) ( 721 )   　　

本文对一种短距离无线通信网络的拓扑结构和通信协议进行了研究，并提出了一种嵌入式系统无线通信网络的实现方案；对协议进行了分析，并对实现的关键进行了说明。

基于产品线N-生命周期模型的集成化软件工程环境研究

董剑利 陈艳艳

2008, 30(10): 131-134. doi:

摘要 ( 457 )   PDF (412KB) ( 459 )   　　

为实现软件的工业化生产，我们对日渐成熟的软件产品线体系结构、构件技术和产品线开发方法进行了分析和研究，并借鉴现代工业生产体系和自动化生产方式，提出了基于产品线体系结构的软件工程过程模型——N-生命周期模型。以此模型为基础，提出了基于产品线开发过程模型的集成化软件工程环境模型和构架，并对此环境模型和构架的实 实现进行了系统的理论、技术和配置研究。文中的研究思想和成果对于基于产品线的集成化软件工程环境研究具有一定的参考和借鉴作用。

基于资源的需求描述方法

文必龙[1] 张全[1] 马世滨[2]

2008, 30(10): 135-138. doi:

摘要 ( 425 )   PDF (319KB) ( 453 )   　　

针对需求分析中的系统需求描述问题，本文提出了一种以资源描述需求的方法，分析了这种方法与传统需求描述方法的异同；实现了对资源及需求的形式化描述，并详细讲述了获取需求的过程；最后给出了需求的存储形式和需求同资源的映射算法。

基于CPN的分层工作流过程模型建模研究

王斌[1] 章云[1] 王晓红[2]

2008, 30(10): 139-142. doi:

摘要 ( 418 )   PDF (323KB) ( 474 )   　　

本文针对分层工作流过程模型的语义建模存在的问题，基于扩展同步器和CPN，将工作流过程模型的逻辑结构和语义与CPN中的网结构和网表达式进行映射，进而定义了基于同步结构和CPN的工作流过程模型WFC_Net，并给出了采用约束表达式对该模型进行语义层验证的方法。

纯面向对象数据库分布式计算技术的性能测评

贺秉庚 李凯里

2008, 30(10): 143-146. doi:

摘要 ( 442 )   PDF (351KB) ( 416 )   　　

由于数据库技术的制约，分布式系统对象持久化技术的顺利发展受到影响。纯面向对象数据库的出现有望使这一局面根本改观。通过分布计算实例，不仅验证了这项新技术的可行性，而且经与其它典型分布对象技术比较，许多方面都表现出良好的特性。由此可以推断，基于纯面向对象数据库的持久化方案对于分布对象技术的发展将起到关键作用   。

基于Windows CE平台的GPS串口驱动设计与实现

郑宇 王波

2008, 30(10): 147-149. doi:

摘要 ( 462 )   PDF (303KB) ( 521 )   　　

GPS技术由于其所具有的全天候、高精度和自动测量的特点，已经作为先进的测量手段和新的生产力融入了国民经济建设、国防建设和社会发展的各个应用领域。本文重点研 究了GPS串口驱动体系架构的设计和实现。该设计方案遵循WindowsCE标准的接口规范，适用于各类GPS处理芯片，具有一定的通用性。文中给出了GPS串口驱动开发的软硬件实  现方案，并在实际的项目中得到采用，取得了良好的应用效果。

基于粗糙集的动态称重系统知识维护

张瑜 熊红云

2008, 30(10): 150-152. doi:

摘要 ( 445 )   PDF (281KB) ( 450 )   　　

粗糙集是一种新型的处理模糊和不确定知识的软计算方法。粗糙集理论处理数据不需要先验知识，可最大限度地减少主观因素的影响。目前，粗糙集已在人工智能、知识与数 据发现、模式识别与分类、故障检测等方面得到了广泛应用。研究粗糙集基本理论以及将其应用于知识发现有着非常重要的意义。动态称重是近年来装载机称重技术的主 发展方向。本文将粗糙集运用到知识利用中，给出了装载机动态称重系统的知识维护中基于粗糙集的处理方法和具体步骤。

基于图灵机的递归技术的实现陈晓亮[1] 卢朝辉[2] 宋文[1]

陈晓亮[1] 卢朝辉[2] 宋文[1]

2008, 30(10): 153-155. doi:

摘要 ( 433 )   PDF (339KB) ( 600 )   　　

图灵机是通用的计算机模型，一般程序设计和以图灵机为机器模型的计算也是支持递归的。本文首先分析了递归的特征，利用多带图灵机作为计算模型，定义了递归技术转移  函数形式，提出了图灵机递归过程信息传递与保存的方法，给出了图灵机调用的实现，继而给出了图灵机递归技术的实现，同时证明了图灵机的调用与图灵机的递归调用是 图灵可识别的。

基于CPCI的ARINC429总线通信卡的WDM驱动程序开发

魏超 苗克坚 杨成果

2008, 30(10): 156-158. doi:

摘要 ( 400 )   PDF (350KB) ( 410 )   　　

本文介绍了Windows 2000下WDM的基本原理及ARINCA29总线通信卡的硬件组成。以该通信卡的驱动程序设计为例，本文详细阐述了利用DDK、Driver Studio和VC＋＋工具开发W indows平台下具有内存和I／O方式读写及中断处理的WDM驱动程序的方法和注意事项，同时介绍了应用程序如何及时响应硬件事件。