当期目录

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

论文

复杂系统涌现与基于整体论的多智能体分析

金士尧, 任传俊, 黄红兵

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

摘要 ( 555 )   PDF (1608KB) ( 719 )   　　

研究复杂系统整体性,尤其整体性的涌现是现代科学技术研究的重要课题和难题。企图用多智能体的办法,甚至用自适应多智能体的办法来剖析系统的整体性,从系统方法学上来讲，显然是偏面的，不恰当的。本文从复杂系统整体性和涌现的基本概念出发,指出必须采用微观到宏观，再从宏观到微观相结合的整体论分析方法；提出了基于整体论的多智能体分析总体框架；通过系统整体性和涌现的区别与联系的探讨，又明确提出了在整体性分析中可采用数学、逻辑和实验(仿真)等三种不同的方法；最后，给出了适用于分析复杂系统整体性及其涌现的基于整体论的多智能体参考体系结构 ［1］。

落信道下认知传感器网络频谱检测方法研究

胡富平, 王殊, 刘威, 李安

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

摘要 ( 717 )   PDF (739KB) ( 466 )   　　

随着无线电授权频段的日益紧缺和ISM公用频段的日益拥挤，无线传感器网络的研究和应用不可避免地要解决获取频谱资源的难题。而且，无线传感器网络的低成本特性使得花费大量资金注册申请频谱使用权的做法并不合理。因此，本文探讨了基于认知无线电技术为传感器网络寻找新的可用频谱资源，提出了衰落信道下两种基于能量检测的协作频谱检测方法。仿真结果表明，所提出的检测方法具有可靠的频谱检测概率，为寻找可用频谱资源奠定了基础。

大规模网络拓扑生成技术研究

李津, 黄敏桓, 况晓辉, 许飞, 唐洪

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

摘要 ( 693 )   PDF (686KB) ( 2773 )   　　

网络实验环境对于协议和应用的开发具有十分重要的意义，大规模网络拓扑生成技术是构建网络实验环境的关键技术。本文提出了一种新的大规模网络拓扑生成框架VLTGF，该框架将网络拓扑结构分为三层，每一层分别采用不同的拓扑生成方法，并提供了可选的带宽分配机制，使得生成的网络拓扑结构更为完整和准确。

IPv6环境下的网关负载均衡策略的研究与实现

孙文胜, 李小磊

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

摘要 ( 548 )   PDF (1210KB) ( 375 )   　　

在一个IPv6局域网中，VRRP可以在网中配置静态默认路由的环境下消除单点失效，保证了IPv6网络的稳定性。VRRP并不支持动态负载均衡，对带宽的利用和资源的优化都有待提高。本文介绍了VRRP负载均衡的组网配置。在原VRRP标准协议报文的基础上，进行报文字段扩展，提出虚拟转发器状态机的概念。通过科学的软件开发和测试流程实现，得到正确的数据，实现负载均衡策略。

一种网络计算I/O加速方法：iSCSI透明可靠多播

孔东阳, 谭怀亮

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

摘要 ( 503 )   PDF (1246KB) ( 344 )   　　

本文提出了一种网络计算环境下的I/O加速方法：iSCSI透明可靠多播（iTRM）。通过在iSCSI网络计算系统中设计双路径：共享数据的多播传送路径和iSCSI协议数据包传递路径，来加速网络计算数据加载性能。并且在iSCSI启动器端对多播数据进行丢包检测和请求重传，由iSCSI会话重传丢失的数据包来保证I/O数据的可靠性。扩展了iSCSI 协议以支持多播会话通告，设计了一种基于数据感知实现I/O路由选择的透明多播监控代理。测试结果表明，基于iTRM的iSCSI网络计算系统显著提升了多个客户主机的并发I/O性能，并对客户主机数量的增加具有良好的系统扩容性。

区分业务多链路分级流量调度应用研究

郭小雪

2010, 32(3): 21-24. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 533 )   PDF (868KB) ( 356 )   　　

传统的IP网络是针对数据业务设计的，只能提供数据传输的服务，并不具备调节网络资源使用的能力。为了将业务流合理分配到现有的网络拓扑结构，优化网络资源的使用，解决网络资源使用的不平衡，本文首先给出了一种区分业务流量工程的模型和目标，分析了单级链路流量调度，设计了多链路分级调度共享结构和流量调度策略。仿真结果表明，该方法能有效地改进区分服务网络上的多级流量拥塞控制性能，具有较快的响应速度、较好的稳定性和公平性，并且能适应网络的异构性。

基于混合式拓扑结构的P2P信息查找系统的研究和设计

李毅

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

摘要 ( 521 )   PDF (619KB) ( 334 )   　　

对等网络所面临的两个最基本的问题是如何进行信息有效查找、定位以及如何进行网络的自我管理。本文介绍了一种基于混合式拓扑结构的分布式信息查找(DHH)体制。该体制可以实现信息的高效查找和节点的自我管理，同时达到可扩展性、有效性、可靠性、负载均衡和用户匿名性等指标。

Overlay多播网络中带度约束的最小带宽多播树的求解

赵娟, 潘耘

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

摘要 ( 569 )   PDF (571KB) ( 925 )   　　

本文研究了Overlay网络中带有度约束的最小带宽多播路由问题，建立了相应的数学优化模型，设计了求解模型的启发式算法，对算法的复杂性进行了分析，并进行了数值模拟。

主动Web漏洞扫描中的场景技术研究

余杰, 李舟军, 张翀斌, 李强

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

摘要 ( 794 )   PDF (434KB) ( 443 )   　　

当前，主要的开源Web漏洞扫描工具如Nikto、Nessus等都存在误报率与漏报率较高、评估不准确、扫描效率较低等问题。本文对漏洞扫描过程进行建模，在传统的基于配置的扫描策略上，提出了一种基于场景的扫描策略。使用场景树描述漏洞场景，并给出了场景树的构建及维护策略。最后，以Nikto的漏洞数据库为例，示范了如何将多条漏洞用例转化为场景树描述。使用漏洞场景扫描策略可以提高扫描效率，减小误报率，提高评估的准确度。

基于鉴权矢量相似度分析的GSM鉴权改进算法

周军龙,张新访,吴俊军

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

摘要 ( 415 )   PDF (461KB) ( 330 )   　　

现有GSM无线通信系统中应用最为广泛的是COMP1281算法，其安全漏洞最早是由伯克利大学的一个研究小组公布的。本文主要分析了现有的针对COMP1281算法漏洞的一些攻击及防护手段，提出了基于相邻鉴权矢量的相似度分析的新的安全防护手段，以有效识别对COMP1281漏洞的攻击鉴权行为，从而有效抵抗这些攻击手段，保护KI不被破解。

基于网络聚合行为的异常检测方法研究

苏彦君, 沈刚, 刘昕

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

摘要 ( 587 )   PDF (972KB) ( 1088 )   　　

异常检测是目前入侵检测领域中非常活跃的一个方向，其作为一种网络测量手段，对于分组报头的信息统计在很多网络管理任务中扮演着重要的角色。将网络分组中报头的信息按不同方式汇聚起来，可以有效地构成网络流量属性的度量。从中提取的特定的子集在理论上可用于刻画网络流量中的攻击行为特征。如果这些度量在无攻击情况下能够表现出相对的稳定性，而在发生攻击时相对敏感，则可用于判断攻击的发生。并利用主成份分析和信息增益对冗余特征进行删减，能够使得判断攻击时需要的开销降低，增加实时性。基于机器学习的分类器是判断攻击导致的异常的有效手段。根据所选取的度量指标设计了三种分类器。

基于WDF过滤驱动的USB存储设备监控系统

邹敬轩, 蔡皖东

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

摘要 ( 631 )   PDF (756KB) ( 425 )   　　

WDF是微软推出的下一代驱动程序开发模型，它所提供的KMDF框架为内核模式驱动开发提供了一个面向对象、事件驱动的开发框架。本文深入研究了WDF驱动模型和过滤器驱动技术，设计和实现了一个USB存储设备监控系统。测试表明，系统可以在多操作系统的内网环境下，有效地监控USB存储设备的使用。

非线性人脸老化模拟

邹北骥, 郭伟, 梁毅雄

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

摘要 ( 604 )   PDF (848KB) ( 763 )   　　

用计算机模拟人脸老化过程已成为计算机视觉领域的热点研究问题。本文研究了人脸老化过程模拟中形状和纹理特征的渐变规律，提出了基于人脸层次结构的非线性老化模型，对人脸的整体层和细节层分别进行老化过程模拟，结合局部五官与相应皱纹的密切联系，应用于人脸局部皱纹老化过程模拟，最后根据人脸的层次结构逆向合成具有目标年龄特征的人像。以MORPH人像库为测试样本的实验结果表明，采用非线性老化过程模拟和基于局部五官相似性的皱纹老化模拟是有效的。

基于边缘方向性的小波边缘检测算法

袁修贵, 龚正, 孟正中

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

摘要 ( 691 )   PDF (760KB) ( 1097 )   　　

现有的基于小波变换的图像边缘提取方法会导致边缘细节的损失且边缘位置会发生偏移，因此本文给出了一种改进的边缘检测方法。该算法先对图像进行平滑处理，然后用小波变换提取边缘。传统的平滑方法避开了边缘的方向性，且对图像的边缘保持效果不佳。本文提出了基于边缘方向性的平滑算法，该算法在处理边缘像素时可自动搜索边缘方向进行平滑，用该算法和小波方法结合进行边缘检测。仿真实验给出的实验结果有力地证明了该方法的有效性。

三维跑步场景与多角色虚拟人的融合设计

胡维华, 钱克宠

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

摘要 ( 486 )   PDF (733KB) ( 482 )   　　

本文综合利用虚拟现实技术、传感器技术、电机控制技术和虚拟人技术，建立和实现了以传统跑步机为基础的多媒体健身平台。首先介绍了大规模三维场景模型生成的方法，以及以OSG开源场景图形程序为接口实现三维场景渲染的技术，然后设计并实现了多角色虚拟人的运动算法，最终达到用户、虚拟场景及虚拟人之间的动态交融，使得用户可以沉浸于场景之中。

基于三角形和正方形的NAM灰度图像表示方法研究

易文明, 肖人彬, 郑运平

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

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

非对称逆布局模型(NAM)适用于图像模式、语音模式、文本模式、视频模式的表示，是一个通用的模式表示模型。图像表示是计算机图形学、计算机视觉、机器人、图像处理和模式识别等领域里的一个重要问题。借助于三角形和正方形Packing问题的思想，本文提出了一种基于三角形和正方形的NAM灰度图像表示方法，简称NAMTS表示方法。给出了灰度图像的NAMTS表示算法，并对其存储结构和总数据量进行了详细分析。理论分析和实验结果表明：与经典的基于线性四元树的表示方法相比，基于三角形和正方形的NAM灰度图像表示方法能更有效地减少子模式数和数据存储空间,是灰度图像的一种良好的表示方法。

基于自由形状变形的三维人脸表情控制

李健, 李鹏坤, 师永刚

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

摘要 ( 572 )   PDF (694KB) ( 516 )   　　

人脸表情控制是生物特征识别研究的重要内容，本文提出了一种基于MPEG4中FAP、FAT标准进行三维人脸表情合成的方法。首先对人脸进行关键点定义和区域分割，然后使用面向表面的自由形状变形方法(SOFFD)生成人脸表情。在特定人脸表情生成过程中，使用了基表情的比例合成方法。实验表明，该方法可以有效地合成各种真实的人脸表情。

一种基于LPM和小波提升的零水印算法

毕秀丽，何春香，程诚

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

摘要 ( 536 )   PDF (975KB) ( 348 )   　　

大多数数字水印方法在水印嵌入的时候都是对原始图像信息作了一定的修改，这样使鲁棒性和安全性受到限制。零水印不需要修改原始图像的任何信息，有更好的透明性。本文提出了一种基于整数小波提升方案和对数极坐标映射(LPM)的零水印算法。首先将水印图像进行置乱，对载体图像进行缩放归一化，然后进行对数极坐标映射(LPM)，再进行一级整数小波提升，利用分解后的低频子图和置乱后水印图像构造密图，提取时利用密图来提取水印，增强了水印的透明性和安全性。

基于三点形状可调的二次三角Bézier曲线

唐运梅, 吴晓勤, 韩旭里

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

摘要 ( 627 )   PDF (555KB) ( 353 )   　　

给出了二次三角多项式形式的Bézier曲线，基函数由一组带形状参数的二次三角多项式组成。由三个控制顶点生成的曲线具有与二次Bézier曲线类似的性质，但具有比二次Bézier曲线更好的逼近性。形状参数有明确几何意义：参数越大，曲线越逼近控制多边形。曲线可精确表示椭圆弧，还给出了两段三角多项式曲线的G2和C3连续的拼接条件。

可调的类三次Bézier三角曲线

李军成, 陈国华, 杨笃庆

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

摘要 ( 624 )   PDF (478KB) ( 322 )   　　

本文给出了一种基于函数1、sinu、cosu和sin2u的可调类三次参数曲线，由四个顶点控制的曲线不仅具有类似于三次Bézier曲线的诸多性质，而且其形状可由一个参数进行调节，使得该曲线具有更强的表现能力。为便于自由曲线的设计，还讨论了两段曲线的拼接条件。结果表明，该曲线在拼接方面比三次Bézier曲线具有优越性，在适当选取形状参数时，两条曲线可在连接点处达到C3拼接，其拼接条件也比三次Bézier曲线简单得多，因此该曲线更适用于曲线造型。另外，该曲线无需有理形式即可精确地表示圆、椭圆、抛物线等二次曲线，方便实际应用。

一种基于整数变换DC分量的自适应视频水印算法

何英亮, 杨高波, 许拔, 李俊杰

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

摘要 ( 717 )   PDF (1059KB) ( 373 )   　　

提出了一种基于直流分量的自适应视频水印算法。在对原始视频帧进行随机选择的基础上，对亮度分量作二维4×4整数变换，并提取直流分量分组进行一维整数变换；为了兼顾水印的不可见性与鲁棒性的要求，根据水印长度和变换之后系数的大小自适应地选择嵌入水印的组及系数的改变强度。水印嵌入之前进行随机置换与LDPC编码增强了水印抗攻击能力。实验结果表明,该算法能够保证很好的视频质量,视频帧的PSNR值高于50dB，并实现了水印的盲提取。对于常见的视频攻击有较强的鲁棒性，特别是在多种格式压缩的条件下能有效提取水印。

连续区域改进蚁群算法的研究

王慧玲, 黄挚雄, 李志勇

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

摘要 ( 783 )   PDF (321KB) ( 405 )   　　

为了解决蚁群算法难处理连续区域的问题，本文结合微粒群操作改进蚁群算法。采用平均分割定义域的方法，融入随机操作和微粒群操作的交叉应用，并加入了信息素的变异操作跳出停滞状态。该混合群算法同时具有全局寻优特性和较强的局部搜索能力，在确保全局收敛性的基础上，能够快速搜索到高质量的优化解。通过仿真算例分析了其可行性、优越性。

改进的差别矩阵及其快速求核算法

杨传健, 姚光顺, 马丽生

2010, 32(3): 78-81. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 654 )   PDF (382KB) ( 405 )   　　

求核是粗糙集中一个重要的研究内容之一。本文对杨明的基于差别矩阵求核方法进行研究，实例表明其方法还存在一些不完善。为了能够进一步提高求核效率，对差别矩阵进行改进，提出一种简化差别矩阵的定义，并给出求核方法，同时证明了由该方法获得的核与正区域的核是等价的，由此设计求核算法，其时间复杂度为max{O(|C||U|),O(|C||U/C||U′1|)}，空间复杂度为O(|C||U/C||U′1|)。实验表明,该算法是有效的、高效的，且能适合大数据集的处理。

一种改进的贝叶斯网弧定向算法研究

喻晓锋, 秦春影

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

摘要 ( 563 )   PDF (489KB) ( 549 )   　　

贝叶斯网络是用来表示变量集合概率分布的图形模式，它提供了一种方便地表示概率信息的方法，它可以表示因果关系，但并不局限于因果关系。贝叶斯网对不确定性问题有很强的推理能力，近几年来受到众多研究者的重视。贝叶斯网络中弧的定向是指在已经有了变量之间的依赖关系图的条件下确定变量之间的边的方向的过程。介绍了一种改进了贝叶斯网弧定向的方法，该方法结合了目前多种定向方法的优点，实验证明该算法优于已存在的弧定向方法。

一种B语言描述的需求模型到PIM的转换方法

曾一, 王艳丽, 洪媛, 王健, 刘引

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

摘要 ( 594 )   PDF (880KB) ( 330 )   　　

MDA为软件的自动化构造提供了一种良好的途径，但是MDA更多地关注PIM到PSM的转换，却忽视了需求阶段对PIM精确性的影响。本文针对这种问题，首先对MDA的基本过程进行改进，提出对需求进行必要的形式化描述的思路，使得需求模型到PIM的转换变得更为容易，从而达到增强PIM精确性的目的；其次，通过对三种形式化语言的对比研究，发现B语言在需求模型的表示及转换方面具有优势，并结合例子展示了如何使用B语言对软件需求进行形式化描述；最后，本文结合模型转换框图，给出了B方法和类图的ecore元模型的图形化描述，进一步给出了用B语言描述的需求模型到PIM的基本转换规则，并借助JavaCC、JJTree和ATL插件等工具实现了需求模型到PIM的转换。

补偿通信顺序进程的扩展及失败发散语义

陈振邦, 王戟, 齐治昌

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

摘要 ( 546 )   PDF (737KB) ( 289 )   　　

补偿通信顺序进程(cCSP)是通信顺序进程用于长事务建模的扩展，可用来描述服务计算中的编制程序，比如WSBPEL程序。目前，cCSP只有操作语义和基于迹的指称语义，对死锁和发散行为的推理支持不够。本文扩展了cCSP，引入新的组合操作子，给出扩展cCSP的失败发散语义；并根据该语义，给出新引入组合操作子的重要代数规则，用于语义的理解和佐证。最后，给出一个案例描述用于展示扩展cCSP。

UML的形式化描述语义

单黎君, 朱鸿

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

摘要 ( 609 )   PDF (1589KB) ( 331 )   　　

本文提出了一种新的定义UML形式化语义的方法。我们将建模语言的语义区分为描述语义和功能语义两个方面。描述语义定义哪些系统满足模型，功能语义定义模型中的基本概念。本文用一阶逻辑定义了UML的类图、交互图和状态图的描述语义，并介绍我们实现的将UML模型转换成逻辑系统的软件工具LAMBDES，该工具集成了定理证明器SPASS，可以对模型进行自动推理。我们成功地将此方法和工具应用于模型的一致性检查。

图文法EGG在设计模式中的应用

韩秀清, 曾晓勤, 邹阳

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

摘要 ( 623 )   PDF (2588KB) ( 433 )   　　

对图变换和可视化语言的研究激发并促进了图文法的研究和发展。作为一维字符文法的扩展，图文法可以形式化描述二维空间中的对象，如图像、图形和表格等，为它们的定义、生成、变换及分析提供理论和技术上的支持。设计模式是可复用面向对象软件的基础，通常以二维图的形式来表示。为了与用户多样化的需求相适应，设计模式经常需要在不改变系统基本结构的情况下进行演化。本文讨论了图文法EGG及其形式化方法在设计模式的演化中的应用，聚焦在图变换和图解析两方面。前者用EGG格式的产生式作为图重写式来指导图的每一次变换，以确保相应设计模式演化每一步的正确性；后者用EGG文法机制来对图进行归约，以检查随意演化后的设计模式是否合法。

基于Java内存模型的并发程序模型检测

周志远, 张大方, 缪力

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

摘要 ( 658 )   PDF (376KB) ( 363 )   　　

为了提高性能，Java内存模型允许编译器在优化过程中改变代码的执行顺序，同时该技术也会造成共享数据的更新顺序与本来的执行顺序不同。在多线程Java并发程序中，这些代码乱序执行会引起很多难以发现的错误。现有的Java程序模型检测技术并没有考虑这些顺序改变的问题。因此，本文提出了一种建立包含多线程交互及线程内代码乱序执行的完整模型，并利用模型检测工具进行穷举检测的算法。该算法可以发现原有技术无法发现的新问题，更好地检测高可靠性要求的Java并发程序。

一种辐射环境下瞬时故障的软件检测方法

李建立, 谭庆平, 徐建军

2010, 32(3): 115-118. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 506 )   PDF (595KB) ( 371 )   　　

空间辐射环境中，大量的宇宙射线经常导致星载计算机出现瞬时故障，这些瞬时故障致使程序执行出现数据错误或者控制流错误。针对瞬时故障导致的程序错误，本文提出了一种软件实现的故障检测算法SITFT，它结合软件复算和标签分析的方法，既可以检测程序运行中的数据错误，又可以有效检测控制流错误。故障注入实验的结果表明，SITFT算法在性能开销比源程序增加58%~111%，存储开销增加153%~225%的前提下，使程序执行出现错误结果的情形比源程序减少了49.0%~73.2%。

后序遍历二叉树非递归算法的推导及形式化证明

左正康, 游珍, 薛锦云

2010, 32(3): 119-123. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 840 )   PDF (507KB) ( 546 )   　　

开发涉及非线性数据结构算法程序的循环不变式一直是形式化方法的难点。本文使用PAR方法开发循环不变式的新策略，对后序遍历二叉树问题循环不变式的开发使用递归定义技术，得到了该问题循环不变式的简单精确的表达形式，简化了算法程序的推导和证明过程；利用PAR平台提供的抽象程序设计语言Ap1a中的数据抽象机制，使所得的算法程序结构简洁清晰且易于证明；最后，使用DijkstraGries标准程序证明法形式证明了该问题的核心算法程序(只有4行代码)，并使用PAR平台将Apla程序转换成正确的C++代码。实例的成功进一步说明PAR方法提供的循环不变式的开发技术对推导和证明非线性数据结构算法程序的有效性。

射频信号的S变换检测

谭阳红, 何怡刚, 雷可君

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

摘要 ( 478 )   PDF (934KB) ( 289 )   　　

本文针对射频(RF)信号的频率高、瞬变等特点，提出了一种基于S变换的射频信号检测方法。仿真结果表明，S变换具有很好的时频分析能力，能很好地分辩出射频信号的时频性能。

基于HTCP-net的造船流程仿真与优化

李振飞, 徐克林, 郭延涛

2010, 32(3): 127-129. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 601 )   PDF (828KB) ( 430 )   　　

船舶建造流程中，各环节的产能既受内部资源的限制，又受流程间共享资源的限制。本文根据赋时层次有色Petri网HTCPnet的相关理论，利用ML语言对造船流程进行建模，并采用CPN Tools工具对模型进行仿真分析。仿真结果预测了S船厂的产能水平，表明了各主要资源的利用率。通过对各资源利用率的分析，识别了流程中的瓶颈资源，并提出了相应的解除瓶颈的方案，最后通过再次仿真证实了方案的可行性。文中的研究方法对复杂的造船流程的建模、仿真和分析具有一定参考价值。

VoD集群副本结合代理策略的设计与分析

李 旸, 吴新亚

2010, 32(3): 130-132. doi: 0.3969/j.issn.1007130X.2010.0

摘要 ( 559 )   PDF (571KB) ( 268 )   　　

副本和代理策略是目前在VoD服务中应用最广泛的两种主流技术方案，都是保证终端用户VoD服务实时流畅的有效手段，但以往的研究都局限于研究单一策略对系统性能的提升。本文提出了一种VoD集群文件副本加代理的复合策略，集群中的服务器作为文件副本服务器存在，而同时又具有内容代理服务器的功能，并建立了相应的数学模型。仿真实验表明，相比单一的策略，副本结合代理的复合策略可以减少30％以上的点播延时，满足系统的负载均衡需求，较大程度地减少重定向引起的延时，提高系统的准入概率。

一体化模式下数字房产设计与应用

邢汉发, 许礼林

2010, 32(3): 133-136. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 410 )   PDF (1654KB) ( 347 )   　　

数字房产建设是城市和村镇数字化建设的重要内容。本文首先从房地产管理信息化建设的现状出发，提出建立房屋基础时空数据库和基本楼盘表数据库，并以此为基础建立空间数据与业务数据统一管理的“地楼房”一体化数据库，实现房产数据的一体化共享；继而利用GIS、MIS、OA、WFS等技术，提出一体化的数字房产工程架构体系，集成房产业务系统及相关系统为一个整体，建立统一的房产行业平台，并将其应用于实际数字房产建设工程，为城市和城镇的数字化建设和行业集成提供了一定借鉴作用。

基于动态模糊神经网络的生物工程算法研究

马莉, 张德丰, 许勇

2010, 32(3): 137-140. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 692 )   PDF (755KB) ( 324 )   　　

目前，模糊神经网络控制在控制领域已成为一个研究热点。把神经网络应用于模糊系统，可以解决模糊系统中的知识抽取问题；把模糊系统应用于神经网络，神经网络就不再是黑箱了，人类的知识就很容易融合到神经网络中。本文提出了一种新型的动态模糊神经网络的结构及其学习算法，该动态模糊神经网络的结构基于扩展的径向基网络。其学习算法的最大特点是参数的调整和结构的辨识同时进行，且学习速度快，可用于实时建模与控制。开发了相关的算法程序，最后针对实际案例进行了仿真分析。仿真结果表明，动态模糊神经网络具有学习速度快、系统结构紧凑、泛化能力强等优点。

基于缓存的JCVM性能优化方法研究

吴俊军, 郭建平

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

摘要 ( 561 )   PDF (936KB) ( 656 )   　　

传统的JCVM在实例创建技术和事务处理技术存在的一些缺点限制了JCVM的性能，并且在设计上没有充分考虑硬件技术的发展。针对此问题，本文提出了一种基于缓存机制的实例创建技术和一种新的保证事务处理原子性的机制，通过减少不必要的EEPROM写操作来提升JCVM的执行性能。

面向3G的运营支撑系统研究

赵永耀, 秦志光

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

摘要 ( 533 )   PDF (1195KB) ( 372 )   　　

本文面向3G、NGN等网络技术的发展，运用信息技术系统规划的方法，对面向3G的运营支撑系统（BOSS）进行了研究，建立了新系统的功能架构和总体技术架构模型，提出了新的子系统划分方法，并对综合采集子系统进行了需求功能描述及业务流程分析设计，为移动业务运营支撑系统向3G平滑过渡进行了探索和研究。

一种鲁棒性较强的神经元在模糊规则发生摄动时的有效控制

徐蔚鸿, 李璐伟

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

摘要 ( 688 )   PDF (505KB) ( 365 )   　　

一种基于弱T范数和弱S范数的神经元，可以实现与、或和混合并模糊逻辑运算，并且拥有较强的鲁棒性。将它所组成的神经网络运用到模糊推理系统中，不仅可以简化网络，实现模糊推理最基本的一致性要求，还可以控制在模糊推理过程中当规则发生摄动时对推理结果的影响程度。

基于感知学习的成人弱视在线训练系统的设计

王丽萍, 陈友, 邱飞岳

2010, 32(3): 151-154. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 436 )   PDF (928KB) ( 546 )   　　

本文根据感知学习在成人弱视治疗中的最新研究成果，采用Gabor作为训练刺激视标，选择视标在有噪环境下的识别（Discrimination）任务作为训练方法，分析并设计了基于感知学习的成人弱视训练系统。系统给出了两种不同条件下的刺激任务对成人弱视患者进行感知学习训练，根据训练的结果调节下一个模块训练的难度系数，降低患者对比度阈值（Contrast Threshold），提高视觉对比敏感度(Contrast Sensitivity)。考虑到患者长期在医院治疗带来的不便，系统提出了基于网络支持的体系结构，将训练数据同步到中心数据库，为计算下一个模块的训练参数提供保证，并使患者可以随时在家中进行训练治疗。

台式计算机液态金属冷却系统设计及评估

谢开旺, 刘明, 饶伟, 刘静, 周一欣

2010, 32(3): 155-158. doi: 10.3969/j.issn.1007130X.2010.

摘要 ( 414 )   PDF (959KB) ( 600 )   　　

针对高集成度计算机芯片产生的高热流问题，常规的散热方法如空气冷却、水冷等已达到其冷却极限，近期液态金属芯片散热方法的提出为解决上述难题提供了新的可能。本文研制出一套可用于台式电脑的液态金属冷却系统，并对其联机后的实际应用性能进行了初步评估，测试结果表明液态金属冷却系统能有效地将台式计算机产生的热量带走。本文的工作系液态金属散热方法运行于实际计算机热管理的首次报道，可望为液态金属芯片散热技术的进一步实用化打下基础。