作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

2005年, 第31卷, 第22期 刊出日期:
  

  • 全选
    |
    论文
  • 曹振新,朱云龙
    . 2005, 31(22): 11.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    混流装配线实现在一条流水线上装配多种不同类型的产品。该文在总结混流装配线排序问题的基础上建立了二种排序的目标函数:最小化工作站的闲置与超载时间和保持均匀的零部件消耗速率。引入了基于Pareto理论和小生镜单元技术的适应度函数及选择算子构建了多目标遗传算法用于混流装配线的排序优化问题。通过一个混流装配线的多目标排序实验,验证了该方法的有效性。
  • 殷苌茗,王汉兴,陈焕文,谢丽娟
    . 2005, 31(22): 14.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    把POMDP作为激励学习(ReinforcementLearning)问题的模型,对于具有大状态空间问题的求解有比较好的适应性和有效性。但由于其求解的难度远远地超过了一般的Markov决策过程(MDP)的求解,因此还有许多问题有待解决。该文基于这样的背景,在给定一些特殊的约束条件下提出的一种求解POMDP的方法,即求解POMDP的动态合并激励学习算法。该方法利用区域的概念,在环境状态空间上建立一个区域系统,Agent在区域系统的每个区域上独自并行地实现其最优目标,加快了运算速度。然后把各组成部分的最优值函数按一定的方式整合,最后得出POMDP的最优解。
  • 彭文灵,王丽娜,张焕国
    . 2005, 31(22): 17.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    运用马尔可夫过程分析了容侵系统的可信性,结合SITAR容侵系统体系中的状态迁移模型,给出了一种基于随机过程的容侵系统可信性的可用度量化方法。最后在此基础上讨论了入侵容忍系统的性质。
  • 倪明,徐福缘
    . 2005, 31(22): 19-21.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    企业在实施信息化建设时,一个重要的合作伙伴是软件提供商,它直接提供企业信息化所需的制造类、管理类和通信类等各种软件系统,信息化软件系统可靠性和安全性大小是影响企业信息化成功与否的一个关键因素。基于建立软件提供商评价模型的基础上,运用改进的BP神经网络求解该模型。企业进行信息化建设时,可运用该模型选择和评价软件提供商,以提高信息化软件系统的性价比。
  • 马士超,王贞松
    . 2005, 31(22): 22-24.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    分析了常用三角函数(主要是正余弦)的各种近似计算方法,包括迭代法、级数法、查表法以及CORDIC算法,给出了常用算法的误差特性、误差范围以及时空效率。依据现代DSP的流水、并行(SIMD)和片内存储器等特点,对各种算法进行了优化调整,提高了它们的并行性。综合各种算法优点的实现比一般的库函数快3~5倍而且相对精度很高。
  • 江金龙,周献中,孙勇成
    . 2005, 31(22): 25-27.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对C4ISR系统的实时性强的特点,对UML状态图进行时间扩展,使用时间扩展的UML状态图对C4ISR系统进行建模。同时为分析C4ISR系统的实时性,采用一定的转化规则,将时间扩展状态图模型转化成时间Petri网模型,使用时间Petri网的可达树来分析C4ISR系统的时间特性。应用一个C4ISR防空实例表明了该方法的可行性和实用性。
  • 田翔,邓飞其
    . 2005, 31(22): 28-30.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    建立了基于精确在线支持向量机回归算法的股指短期预测模型,并通过和另外两种基于传统训练方式的支持向量机预测模型进行比较,验证了该方法的有效性。
  • 于繁华,刘仁云,赵宏伟,臧雪柏
    . 2005, 31(22): 31.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    运用灰色理论中的关联分析法对小波神经网络输入权值进行选取,拓展了小波神经网络的应用范围,通过理论分析和变参数振动钻削过程的预测实验表明,该方法是可行的,这为叠层材料振动钻削研究提供了新的方法。
  • 张伟,王绍棣,王汝传
    . 2005, 31(22): 33-35.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    Tcp-Peach算法针对卫星网中长时延和高误码率的特点,利用哑元设计了一种高效的TCP传输拥塞控制机制,文章对这种算法进行了改进,并且在NS上给予了实现,最后比较验证了它的性能。
  • 任常锐,柴跃廷,刘义
    . 2005, 31(22): 36-38.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    基于对供需链管理研究现状的分析,明确了供需链性能管理在供需链管理中的重要地位,并从结构、功能、接口、软件实现等方面介绍了供需链性能管理系统的设计和实现过程,对其应用前景和进一步的研究也进行了讨论。
  • 肖湘蓉,孙星明
    . 2005, 31(22): 39-41.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    基于英文字母的文字特征,提出一种用希腊字母替换以嵌入水印的新方法,并将水印编码与差错控制码绑定,实现了对英文文本水印的盲提取、检测和恢复操作,突破了现有水印方法中水印信息无法嵌入文本内容之中的难题。攻击实验数据证明水印的容量得到扩充,鲁棒性有所提高。
  • 王兴伟,李佳,黄敏
    . 2005, 31(22): 42-45.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    研究了IP/DWDM光因特网中的集成式QoS组播路由算法,在考虑负载均衡的前提下,针对用户组播请求与柔性QoS需求,寻找一棵QoS组播路由树。由于该问题的NP难属性,因此基于禁忌搜索算法来构造费用近优QoS组播路由树,同时集成一种基于分段和波长图思想的波长分配算法,一体化解决路由与波长分配问题。仿真结果表明,提出的算法是可行和有效的。
  • 涂帆,兰巨龙,陈越
    . 2005, 31(22): 46-48.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    提出的移动组播算法综合了远程加入和双向隧道两种基本方法,根据层次型结构的路由思想,采用先MAP后远程加入方法,最后分析了其算法的优缺点。
  • 赵永华,迟学斌,陈江
    . 2005, 31(22): 49.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    基于Householder转换,给出了稠密对称矩阵三对角化的MPI+OpenMP混合并行算法。内容集中在SMP集群系统环境下算法的负载平衡、通信开销和性能评价。OpenMP共享内存并行采用了粗粒度方法,解决了MPI算法中的负载平衡问题,降低了通信开销。在深腾6800上的试验结果表明,MPI+OpenMP版本比纯MPI版本具有更好的性能和可扩展性。
  • 唐大国,宋永生
    . 2005, 31(22): 52.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    提出了一种全新的全局数据分布分析框架——多节点分布分析,它以数组引用和循环为分析对象,以ADPG为基础,MDG为核心,数组关联为纽带,把全局分布分析转化为分层次的节点间分布分析,通过0-1规划求解,建立并极大地简化了全局数据分布模型。
  • 林新华,刘洪,陆鑫达,李明禄
    . 2005, 31(22): 55.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    CFD网格应用平台是ChinaGrid5大应用平台之一,它为各种不同的CFD应用提供了网格基础设施。平台采用了两层架构:上层基于WSRF服务,下层基于并行计算。为了无缝整合各种CFD应用,平台定义了一组包括CFD工作流模板和CFD分类码的重要概念,使用了一系列如CGNS数据可视化工具GVisual的关键技术。目前基于ServiceDomain的平台原型系统已经开发完成,性能测试表明CFD应用移植其到平台上后性能获得提高。
  • 郭权,王希诚,卢桂艳
    . 2005, 31(22): 58-60.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    药物分子筛选所涉及的搜索空间非常巨大,需要耗费大量的时间,并且对计算环境也有较高的要求。将网格技术应用于药物分子筛选中,能有效解决上述问题。通过引入网格结点计算性能评价参数,使性能较好的结点承担计算量较大的任务。按照结点间传输环境的不同进行区域划分,从而减少了由于传输环境变化而造成的筛选服务质量的波动;最后的实例测试表明了药物分子筛选服务与网格技术相结合的合理性及有效性。
  • 张广治,张云泉,李伟华,李玉成
    . 2005, 31(22): 61-63.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    介绍了FM-index压缩查询技术,详细阐述了FM-index的工作流程,描述了实现计算字符串在压缩文本中出现次数的算法。对FM-index的源代码在Linux平台上进行了测试,从测试结果分析了使用FM-index进行压缩查询的优点和不足。最后给出了加快FM-index压缩速度的一个并行化算法的初步设计思路。
  • 姚丽萍,王远飞
    . 2005, 31(22): 64-67.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    基于MPI消息传递实现了多点源高斯扩散模型的并行编程,以数据的分布存储作为区域划分的依据,实现了计算量的负载平衡;通过对算法的改进实现了粗粒度计算,大大减少通信量,提高了程序的执行效率,并对串行计算和并行计算的结果进行了比较。研究结果表明,将并行计算应用于多点源污染物浓度计算是可行的,并获得较高的加速比,并行效率最高达97.5%,与单机相比,不仅可以提高运行速度,大大缩短计算时间,而且可以扩大计算规模。
  • 陈江,赵永华,迟学斌
    . 2005, 31(22): 68.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    COUPL+是一种基于消息传递模型的并行库,它将并行程序中需要处理的数据划分、消息传递函数的调用等都封装在其函数中。COUPL+可以简化在分布式存储结构并行机上编写基于网格的应用程序的任务。该文简要介绍了COUPL+的基本原理,以及它与MPI、OpenMP和HPF的特性对比;并且使用COUPL+实现了共轭梯度法和结构化网格计算两种并行计算中常用的任务,也对比了使用MPI和HPF的性能差异。
  • 黄度,刘洋,曹建文,李玉成
    . 2005, 31(22): 71.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对高性能计算机实际获取性能低的突出问题,在大规模科学计算和工程应用中对占主要作用的聚合通信进行了研究。通过对聚合通信Reduce算法的理论分析与试验比较,找出LogGP模型和α+nβ模型的关系表达式,并在描述聚合通信算法的理论时间复杂度时,提出了对LogGP模型和α+nβ模型的补充和改进,这些工作对聚合通信算法的理论研究和设计具有重要的意义。
  • 刘跃虎,邹丹平,王凯,许晶,王凤娟,梅魁志
    . 2005, 31(22): 74.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    集成电路技术的发展始终存在着两个主要矛盾:集成电路工艺加工能力的快速增长与设计生产力的矛盾,集成电路复杂度增加与设计时间紧缩的矛盾。文章从网格技术的角度,把SoC设计过程中不同的设计资源,包括IP核、EDA设计工具软件、代码、设计专家信息等,通过统一的资源管理机制实现对各种设计资源的管理,解决SoC设计对资源共享和协同的需要,提高SoC设计的整体效率。同时介绍了面向SoC设计网格问题求解环境下资源管理器的原型实现。
  • 罗琛,李沁,马殿富
    . 2005, 31(22): 77.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对跨异构域的身份鉴别问题进行研究,设计并实现了一个身份映射和信任证转换系统CredFed(CredentialFederation),解决了分别使用PKI和Kerberos作为鉴别机制的异构域之间身份鉴别的问题。CredFed是目前唯一在网格环境中解决此问题的系统。CredFed被设计为具有良好的互操作性和可扩展性的系统,使其不仅适用于网格环境,也适用于面向异构域的大规模分布式系统。该文对国内外相关工作作出了比较,简要地介绍了CredFed在CROWN网格安全平台中的应用并给出了实验结果对系统性能作出评估。
  • 赵姗,周兴社,王云岚
    . 2005, 31(22): 80-82.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    调度技术是集群作业管理系统的关键技术之一。但是,目前大多数集群作业管理系统采用的调度技术,很少按照应用对系统资源的需求加以详细区分和权衡,无法同时满足不同应用在高吞吐量、高可用性和实时性等方面的要求,造成了资源的闲置和资源因为负载过重而无法正常工作。该文正是注意到了这种不足,根据不同应用的需求和实时收集到的资源信息,引入了多维QoS的概念,并给出了多维QoS的数学模型,提出了一种基于多维QoS的集群作业调度算法JSBMQ,充分提高了系统的资源利用率和平均响应时间,使集群可以提供不间断的高效的计算服务。
  • 院小雪,姜恺,闫少光,周传良,杨东升
    . 2005, 31(22): 83-85.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    分析了空间分子污染物的传输过程,采用10组不同的输入参数,在曙光4000A超级计算机上用直接模拟蒙特卡罗(DirectSimulationMonteCarlo,DSMC)方法的并行算法计算了在轨运行期间分子污染物在某型号卫星太阳电池翼表面的沉积情况,分析了太阳电池翼输出功率的衰减情况。
  • 姚继锋,卢玥,单桂华
    . 2005, 31(22): 86.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    介绍了一个基于网格环境、支持大分子显示的远程可视化系统GridMol。系统采用Browser-Server结构,客户端采用Java3D实现,服务器端使用面向对象方法实现了支持多种文件格式的数据处理,同时采用了特定的数据格式以减小网络数据传输。整个系统置于网格环境下,用户通过ChinaGrid的VisPortal进行访问。
  • 戴永涌
    . 2005, 31(22): 88-90.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在对MPI程序的检查点系统LAM/MPI以及互联技术Myrinet的通信过程等进行简单介绍的基础上,采用协调一致性的设计方法,实现了一个基于Myrinet及其通信协议GM的检查点系统。描述了设计过程,并对实现结果进行了测试,结果表明了该设计与实现的可行性,并在结论中对还存在的问题进行了分析和讨论。
  • 侯晓吻,张林波,张云泉
    . 2005, 31(22): 91-93.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    通过调用PAPI(PerformanceApplicationProgrammingInterface)接口函数[6]对2004年3月~4月之间运行在国家应用“973”计划项目LSSC-II万亿次机群系统上部分应用程序进行了跟踪,收集到了大量宝贵的性能数据。依据这些性能数据信息,对我国当前高性能软件的运行情况给出了初步分析。分析结果表明,目前大部分应用程序性能都处于较低水平,并行程序使用处理器的数目范围一般为1~64个,处理器平均效率低于10%,平均性能低于300Mflops。
  • 申排伟,陆锋
    . 2005, 31(22): 94.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    将基于Java的空间数据动态结果集构造、双缓冲技术和多线程传输与绘制技术进行集成,应用于空间数据库GUI管理工具中,减少了客户端资源占用,提高了空间数据传输与显示的效率。为了验证多线程方法在空间数据传输中的效率,围绕单线程和多线程的空间数据传输与显示进行了对比实验。实验结果表明,多线程可以有效提高数据传输与显示效率。在一般情况下,考虑到资源占用和传输效率的需求,4~6个辅助线程是比较合理的折中方案。
  • 吴丽辉,王斌,张刚
    . 2005, 31(22): 96-98.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    介绍了个性化技术和个性化Web信息的采集技术,重点分析了个性化的Web信息采集模型,包括系统总体结构、用户兴趣的获取、个性化Web信息采集流程、个性化推荐的实现。最后对个性化Web信息采集与搜索引擎作了一个比较,分析了个性化Web信息采集的应用。
  • 陈建华,王文杰,毕建元
    . 2005, 31(22): 99.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    研究了基于KernelProlog的解释器原型,扩展了KernelProlog,使之能够连接MicrosoftSQLServer数据库并进行相应的数据库操作,将KernelProlog单机版改造成为B/S结构运行的版本,并使两个版本可以同时运行和修改,使Prolog解释/编译器具备数据库访问功能,对推广Prolog应用很有意义。
  • 戴东波,印鉴,梁华金
    . 2005, 31(22): 102-104.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    提出了一种结合用户访问序列和Web页面内容的数据挖掘方法来形成预取技术。该技术充分考虑了Web页面的内容语义和内容大小,既可以在一定程度上提高命中率,又可以减少服务器的负载。
  • 崔健,吴英,张建忠,吴功宜
    . 2005, 31(22): 105-107.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    VoiceXML语言是一种基于XML的标准对话标记语言,它是实现语音浏览网络模式的关键技术之一。该文介绍了VoiceXML语言的基本内容,设计了VoiceXML语言解释器的解释算法,并完成了对象树生成模块和语音解释模块的设计。
  • 李亚红,郝克刚,葛玮,韩利凯
    . 2005, 31(22): 108-110.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对目前软件组织人员管理杂乱无序的状态,在基于组织行为学的科学理念基础之上,提出了一个非常实用的SW-KPA(SoftwareKeyProcessArea)中IT人员行为分析管理概念模型,作为组织的管理者应该从个体和整体两个方面来对考虑软件工程中的人的因素,从而提高组织中“人”的资源的利用率和软件产品的生产率。这种概念模型已经在实践中得到检验,具有很强的实用价值,并给出了其进一步的发展方向。
  • 刘智臣,徐成,李仁发
    . 2005, 31(22): 111.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    阐述了基于ARM体系结构的映像文件机理,介绍了它的组成、生成方法以及加载运行过程。其中重点分析了映像文件在不同的ARM嵌入式应用系统中的加载运行情况,并给出了部分实现代码,且在最后给以总结,以便编程设计人员在开发中能更好地应用它。
  • 高正光,李启炎
    . 2005, 31(22): 114-116.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    提出了一种“多线程并发环境下的对象缓存模型”,针对多线程并发环境下,大量请求对象造成的开销过大的问题,在对象池设计模式的基础上,设计实现了多线程并发环境下的对象缓存模型。实验测试表明,该模型能极大地提高服务器程序的性能。
  • 叶俊民,赵良,罗景,王振宇,赵恒
    . 2005, 31(22): 117-119.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    基于软件体系结构的形式化测试提高了软件产品的质量,是软件工程领域研究中的重要研究课题。SA层的测试是软件测试领域的热点和难点。在回顾相关工作的基础上,文章研究了SA测试中的被测系统的质量特征要求,定义了覆盖准则,设计了一套针对这些测试覆盖准则的计算规则,并构造了一个CASE工具。这一结论是进一步研究SA测试的基础。
  • 苏进,张佑生
    . 2005, 31(22): 120-122.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    提出一种分层聚类算法,该算法可识别任意形状、大小的类,在某电信企业的客户分析中取得了较好的结果。算法首先从不同的角度对电信客户进行聚类或分类,然后以这些类为基础,实行自底向上的层次聚类得到最终的聚类结果。算法执行效率高,适合大规模数据的聚类问题。
  • 孙忠新
    . 2005, 31(22): 123.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    对MPP中的3种基本类型的同步问题进行简单介绍;对忙等待锁的实现进行分析,指出一次这样的同步操作包括的几个阶段;对典型的忙等待锁算法进行详细的分析和比较,找到了这些算法的优点及其在使用上的限制,并对锁算法的选择进行了推荐。
  • 戴艺,张晓明,孙志刚,唐玉华
    . 2005, 31(22): 126-128.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在通信领域循环冗余码CRC检验技术得到了广泛的应用。ATMCRC-32出错率低,非常适用于重要数据的传输。但是CRC-32多项式阶数为32,项数高达15远远多于普通CRC多项式,因而难以实现高速计算。为提高高速链路上数据吞吐率采取按字节计算CRC的算法,还是不能有效地提高计算速度。文章提出了一种克服CRC-32计算固有复杂度的方法,加速了AAL5信息的传输。
  • 张琳,王庆江
    . 2005, 31(22): 129-131.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    提出一个新颖的递归算法,用于实现动态的网格负载平衡。实验仿真了松耦合无中心式调度框架,基于传统并行系统的workload模型构建了网格workload模型,保守式装填法用作各结点上的本地调度策略。结果表明,在实现网格负载平衡上,这里的递归算法比静态调度方法更有效。
  • 董慧娟
    . 2005, 31(22): 132-134.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在高速串行链路中,均衡技术可以有效地提高数据速率或增加传输距离。该文介绍了串行链路设计中采用的主要均衡方案,并进行了对比分析,最后给出了均衡技术的一些选用建议。
  • 刘英丹,董传良
    . 2005, 31(22): 135.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    提出一种可交互的Web服务——IWS服务,将面向数据的传统Web服务转变成具有界面展示能力的、可响应界面事件的新型Web服务。IWS服务能够被简单地插入到信息门户界面中,实现即插即用的特性。
  • 郭训华,邵世煌
    . 2005, 31(22): 137.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    提出了一种实现基于Web的Simulink建模与仿真的方法。运用浏览器端技术,设计出用于Simulink建模和仿真的图形用户界面,以网页形式提供给因特网用户。该文对整个系统进行了设计,通过一个在控制系统的应用实例,说明该方法能够较好地实现基于Web的Simulink建模与仿真。
  • 谢振平,蔡明
    . 2005, 31(22): 140.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    以Chord为基础,提出了一种新的P2P系统——双层环。双层环中简化了节点路由表的构造、维护,并降低了路由表维护的带宽开销,同时改变了查询算法,降低了查询的平均路径长度。双层环中还部分地实现了结合物理层拓扑的构建方式,并留下了可进一步扩展的空间。
  • 张柏铖,袁道华,胡经,吴颖
    . 2005, 31(22): 143-145.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    提出了一个cache管理和重分配框架及其基于移动agent的实现。该框架采用cache混合分配方案,并在这种分配方案上应用路径预测算法和移动agent技术进行cache重分配,以支持移动Web浏览和提高无线WWW浏览效率。
  • 陈曜,杨卫兵,刘勇,孙凝晖
    . 2005, 31(22): 146-149.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对高速重载工作环境提出了一种主机和智能外设之间的无中断通信方式,并且在一块集成CPU的智能千兆位光纤网卡上实现了该通信方式。主要从地址获取、缓冲区的访问以及公用控制信息3个方面对其进行了具体讨论。同时进行了无中断通信方式和普通通信方式下的收包性能对比测试。
  • 周浩,黄传河,李飞,余雄伟,张媛媛,罗瑛
    . 2005, 31(22): 150-152.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    讨论了在进行有QoS保证的路由选择的研究中所遇到的一些问题,并提出了一种新的带宽预留的路由选择算法MBR。MBR算法把路由选择分为两个阶段:路由发现和带宽预留。在路由发现阶段,算法首先寻找多条到达目的节点的路径,然后在带宽预留阶段,对寻找到的路径进行带宽预留,最后由目的节点决定使用哪些路径进行传输。由于MBR算法是采用同时寻找多条路径来进行带宽预留,因此它与其它带宽预留算法相比,具有更高的成功率。
  • 王丹丹,刘晓洁,李涛,浦海挺,刘莎
    . 2005, 31(22): 153-155.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    提出并实现了一种基于Linux的安全操作系统模型——NisecLinux。该系统以DOM(DiskonModule)盘为存储介质,实现了基于网络访问的强制访问控制机制。通过防火墙和入侵检测系统的联动大大增强了系统的安全防护能力;通过VPN技术使数据传输的安全性得到了保障;精简了内核和文件系统,使系统本身的性能得到改善;使用DOM盘加强其物理安全性。该系统在安全性方面达到了系统审计级的标准。
  • 田妍君,梁意文,董红斌,李征难
    . 2005, 31(22): 156-158.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    数据包是网络通信的基本单位,网络上的入侵行为都应该在数据包中以不同的形式存在、表达着,而且网络中流通的数据包之间必然存在一定的关联性。人工免疫以往的研究多集中在对单个数据包的分析,很难察觉到隐蔽的、缓慢的入侵行为(这些行为的数据包序列间大多有一定的关联性)。因此,该文对于相互联系的多个数据包,挖掘出它们之间的关联特征,并针对这些特征采用了隐马尔柯夫模型的自动机识别器来检测入侵。
  • 郭明松,茅兵,谢立
    . 2005, 31(22): 159-161.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在传统的访问控制系统中,程序执行时需要的权限和程序执行者拥有的权限并不完全一致。一般后者的权限大于前者,这一点也导致了很多安全漏洞的出现。文章针对传统访问控制系统的这一缺陷,设计了一套程序资源访问控制系统(pRM),它通过对程序执行过程中访问到的系统资源,如文件、目录等,进行建模和实时的监控,较为精确地限定了程序执行期间的权限,增强了程序的安全性能。
  • 李汉菊,蔡莎莎,张岩
    . 2005, 31(22): 162.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在LKH的基础上结合共享函数技术,提出了一个多播密钥管理的改进方案,该方案有效地减少了组控制器端的密钥存储量,密钥更新的延时和通信开销,从而提高了多播密钥管理的性能。
  • 严亚俊,邹永辉,马文平
    . 2005, 31(22): 164-165.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    盲群签名方案是具有盲签名特点的群签名方案,在电子商务和电子政务中都有重要的应用。该文以Yuh-MinTseng和Jinn-KeJan基于离散对数问题的改进的群签名方案为基础,提出了一种有效的盲群签名方案并分析了其安全性。
  • 吉星,陈小敏,顾训穰
    . 2005, 31(22): 166-168.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    提出了一种新型的基于双重认证的安全电子邮件系统模型,它采用公用PKI与用户私人CA相结合的方式,既可解决身份验证问题,又消除“最高权限”带来的信任危机,而且针对用户邮件对加密程度的不同需求采用不同的加密手段,可充分满足用户对加密强度的要求。
  • 张发存,王馨梅,张毅坤
    . 2005, 31(22): 169.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对SIMD计算机上的数字图像的几何变换问题,提出了一个新颖的基于阵列平移的数据并行实现方法。在此基础上,给出了数字图像几何变换的数据并行实现算法,并详细分析和讨论了算法的复杂性以及精度要求。
  • 王俭,陈卫东,赵鹤鸣
    . 2005, 31(22): 172.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    从全局优化的角度出发,提出一种基于子区域分割的环境建模方法,将各个子区域缩成节点、子区域重心间距离缩成节点间连线,建立起含障区域的全连通图——广义距离矩阵模型,对Hopfield神经网络求解旅行商问题的动态规划方法进行改进后,将其用于求该模型的最优有向连通图。机器人沿最短路径完成覆盖,就是按最优顺序走过连通图中所有节点并依次覆盖各节点所代表的子区域,从而完成移动机器人在含障区域内的全覆盖路径规划问题的优化解决方案。
  • 杜晓旭,钱沄涛
    . 2005, 31(22): 174-176.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在很多应用中,组合使用多个分类器可以降低分类错误率。该文就是基于这个思想提出了新的人脸识别算法,即加强概率推理模型。在该算法中,将分类任务划分成多个子分类器,每个子分类器集中于一些难分类的样本,然后组合这些子分类器形成一个强的分类器。试验结果表明算法的识别率比原来的概率推理模型的识别率提高了1.8%。
  • 陈景航,杨宜民
    . 2005, 31(22): 177.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对传统模板匹配算法的缺点,提出了一种基于Harr小波和SSDA的模板匹配算法,对图像进行由粗到细的匹配。实验结果表明:该算法流程简单,实时性好,匹配精度高。在不失匹配精度的条件下,克服了运算量大的缺点,从而满足图像匹配系统的实时性要求。
  • 王湘平,张星明
    . 2005, 31(22): 179-181.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    介绍了基于Gabor小波的眼睛和嘴巴检测问题。首先利用肤色概率模型、人脸图像的梯度信息以及运动模型提取出人脸器官的可能特征点,接着使用一系列规则筛选出最可能是眼睛对的特征点对,然后采用Gabor小波和支持向量机(SVM)来对可能的眼睛对进行有效的验证,最后通过眼睛的位置来找到嘴巴的精确位置。实验结果表明,该系统具有较好的眼睛和嘴巴检测效果,还可以通过再学习进一步提高系统的检测性能。
  • 赵英男,刘正东,杨静宇
    . 2005, 31(22): 182-184.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    提出一种快速、实用的基于Gabor滤波器的车型识别方法。该方法包括车辆分割、特征提取和模板匹配3个阶段。首先在车辆分割阶段,采用基于对数密度的背景消减法,降低光照变化带来的影响;其次提出一种新的非均匀采样策略,提取Gabor特征;最后应用模板匹配的方法对车型进行识别。和传统方法相比,该方法能够有效降低Gabor滤波器的计算量和存储空间,同时又使识别率和鲁棒性得到明显增强。实验数据亦表明了该方法的可行性和有效性。
  • 程宁,范玉妹,刘冀伟,王志良
    . 2005, 31(22): 185-187.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在心理学基本情绪理论的基础上,提出了一种新的人工心理建模方法。认为人的情绪由基本情绪及表征人意志力的内驱力共同形成,进而运用了自组织理论,模糊数学、最优化理论中的数学方法,建立起该情绪模型。通过调整模型中的情感参数,能够构建具有不同性格特征的心理模型。通过计算机仿真研究,证实了该情绪模型是符合人类情感规律的。
  • 苏祥定,孙桐,马霖
    . 2005, 31(22): 188-190.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    提出了用差额法求解最大值的不平衡指派问题,并在训练评估与决策系统中,应用该方法求解在单位数多于任务数时的任务分配方案,使得训练指数达到最大。经验证用这个方法求解最大值的不平衡指派问题,操作简单,易于编程。
  • 简国强,黄竞伟,秦前清,覃志祥
    . 2005, 31(22): 191.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对彩色图像人脸检测,提出了肤色模型和层次支持向量机相结合的人脸检测方法。检测时首先利用调节的肤色模型提取出人脸候选区域,然后对这些候选区域用线性支持向量机和主成分与非线性支持向量机相结合的层次支持向量机进行验证,获得真正的人脸区域。实验表明,该方法对图像偏色有一定的鲁棒性并可以用于灰度图像的人脸检测,而且检测正确率和速度比基于肤色和模板匹配的方法有了一定的改进。
  • 张英鑫,王宝树
    . 2005, 31(22): 193-195.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    辐射源识别是面向区域电子战的一个重要组成部分,关系到平台识别以及后续的态势分析,但传统的辐射源识别方法并不适用于日益复杂的电磁环境,本文阐述了如何将模糊匹配方法与证据理论相结合进行辐射源识别,在说明模糊匹配方法与证据理论基本概念的基础上,较系统地论述了识别算法,在最后做了仿真实验,取得了较满意的效果。
  • 王灵敏,闫守孟,周兴社,谷建华
    . 2005, 31(22): 196-198.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    如何以提高系统吞吐率为目标,高效地实现报文处理任务集在NP处理引擎组上的映射与分配,是基于NP的网络应用系统设计的关键问题之一。在NP应用初期,任务分配主要以人工方式完成,易出错且开发效率低。经过深入分析,认识到NP任务分配问题具有多极值搜索特性,进而提出一种基于改进遗传算法的自动分配方法。实验证明该方法能较快得到接近最优的分配结果,可有效提高此类系统的开发效率。
  • 邵桂芳,李祖枢,刘恒,张昌盛
    . 2005, 31(22): 199-201.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    虚拟娱乐照相领域的图像分割,目的在于实时地提取显示出背景中的感兴趣目标,但由于常用的分割方法容易丢失图像的边缘细节信息,而且运算时间长,难以实现质量与速度的平衡,为此文章提出了一种基于遗传量子进化算法的图像分割方法。该方法首先运用遗传量子方法进行阈值搜索,然后进行区域分割,再利用形态学方法对图像边缘细节进行补偿,并去除噪声。仿真结果表明,与传统方法比较,该方法能有效地提取图像中的人像,保留细节边缘。
  • 徐彤,雷英杰,谢波,李松
    . 2005, 31(22): 202-203.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    阐明了VisualProlog中确定性管理机制的目的和方法,归纳了编写确定性和非确定性谓词的基本原则,通过对代码示例中回溯和截断机制的详细分析,给出了结论。
  • 王玫,朱云龙,何小贤
    . 2005, 31(22): 204-206.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    群体智能利用群体的优势,在没有集中控制、不提供全局模型的前提下,为寻找复杂问题的解决方案提供了新的思路。首先阐述了群体智能的研究现状,包括典型的蚂蚁群优化算法、粒子群优化算法、群体机器人以及算法的应用。在此基础上,对今后的研究趋势进行了分析和展望:对群体智能系统底层机制的研究以及群体机器人的研究将是今后研究的重点,具有重大意义和广阔前景。
  • 李畅
    . 2005, 31(22): 207.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在立体视觉系统中,一般采用空间分离且同步旋转的两台摄像机拍摄同一物体,为观察者提供同一物体的两个不同角度的图像。文章从人类的视觉感知原理出发,给出了基于单幅图像的体视图像生成算法,并成功地用于大数据量体视转换的场合,如“国家大剧院”和“奥运会场景”的漫游仿真,从而实现虚拟复杂场景的仿真漫游。该算法特别适合于要求快速、一次绘制(拍摄)的场景,即再现立体的场合。
  • 邱建雄,刘征海,杨瑞元
    . 2005, 31(22): 209-211.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对人造物体场景的特点,用人机交互的方法标出物体的平行线和特征点,利用灭点计算出相机的内部参数,进一步计算出旋转矩阵。再根据物体的几何约束关系,得到平移向量和物体模型的空间信息。然后从图像中提取纹理,经过变换后,映射到模型上去,使之具有相片般的真实感,并能够进行实时漫游。
  • 王国伟,宋铁成,陈正石
    . 2005, 31(22): 212-214.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    介绍了一种基于嵌入式系统和WebServer的视频监控服务器的软、硬件设计与实现;该方案采用MPEG-4硬编码压缩方案和RTP/RTCP多媒体传输协议;能够设定帧率、分辨率和输出比特率等图像质量参数,并对通用网关接口和RTP/RTCP协议作了简要分析。
  • 刘涛,蔡茂国
    . 2005, 31(22): 215-216.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    提出了一种改进的SPIHT算法,可以把错误的影响控制在局部范围内,极大地提高了小波压缩图像传输的抗误码性能。实验证明该算法是有效并且可行的。
  • 赵祥模,许宏科,施惟颖
    . 2005, 31(22): 217.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对现有汽车安全性能计算机测控系统存在的不足,研制了一种基于局域网(LAN)控制的汽车安全性能自动测控系统。论文对该系统的结构、工作原理、控制流程及软、硬件设计关键技术进行了论述。应用情况表明,该系统与传统的系统相比,具有明显的优势。
  • 缪亚林,卞正中,缪相林,陈凯,汪芳山
    . 2005, 31(22): 220-222.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    通过对SVG标准的扩展,引入c#脚本和定制元件库的思想,实现了电网设备可视化和图形化知识库的智能建立,改变了传统的电网设备检修时完全依赖人工判断冲突设备及其手工录入数据的工作方式。还支持面向对象的二次开发,可以随意添加各行业的设备对象,同时还可以为对象添加自定义属性和事件处理函数,具有很强的定制性,支持c#脚本语言,支持动画和缩放,文件格式采用XML表示,同时也支持SVG图形文件格式。
  • 戴庆华,徐国治
    . 2005, 31(22): 223.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    介绍了利用SystemC语言设计与完整实现AMBA2.0总线协议,在自下而上RTL,CC与PVT级的过程中用到模型设计的流程、框图、最终的测试方案与结果。该文特色在于打破了传统单一层次系统建模的局限,充分利用SystemC这个仿真平台将AMBA总线系统模型建立在不同的系统描述层次上,建立了一套跨层次的系统模型,使系统具备了很强的描述性。由于该系统模型提供了不同层次的系统仿真能力,在实践中具有很强的应用价值,而且在方法学上也提供了跨层次系统仿真建模的实例。
  • 孙浩,孙瑾
    . 2005, 31(22): 225-227.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    介绍目前在高速公路收费软件系统中得到广泛应用PCL-725卡的输入信号检测、输出开关量控制,从而达到有效控制与其相连的各外场设备,辅助收费作业顺利完成。
  • 杨渊,邵贝恩
    . 2005, 31(22): 228-230.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    互联网应用提供商(ASP)作为一种新兴的网络商业模式,正在成为IT市场的一个热点。基于ASP模式的制造企业信息化是我国制造业信息化工程发展的重点,但目前国内成功应用的例子不多。该文结合作者从事的科研项目,提出了一种基于面向服务架构(SOA)和Web服务技术的ASP应用系统设计方法,介绍了典型系统的应用框架并给出了一个服务和应用设计的例子。
  • 季萍,卢结成
    . 2005, 31(22): 231.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对传统多线制系统的诸多弊病,提出了一种总线制火灾图像监控系统。开发了以CPLD为核心的终端监控板,实现总线通信与控制,并采用通信避障的手段,实现轮询方式与多主发送方式相结合的双监控模式,有效提高了串行总线的半双工通信效率,增强了系统的稳定性和可靠性。
  • 周承芳,汪志兵,唐昆,金鑫
    . 2005, 31(22): 233-235.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    设计并实现了一个基于IPMulticast技术的远程数字音视频监控系统,提出了分布式音视频接入和共享的传输方案,能够有效地节省网络带宽。该系统另一个特点是考虑到有的网络路由器不支持组播或者没有打开组播功能等因素,设计了“自适应切换单播通道和组播通道”的解决方案;并针对视频、音频语音和控制数据的不同传输特点,对其所采用的传输技术作了探讨,给出了工作模块的实现方法。
  • 张芹,赵士勇,饶侃,吴慧中
    . 2005, 31(22): 236.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    出于对大范围地形场景实时生成的需要,提出了一种地形数据简化的方法。首先基于“分而治之”思想给出规则数据分割的概念,并给出数据分割算法,然后通过将地形数据的高度值解释为二维图像元素的灰度值,把地形数据变成平面图像,再利用数字图像处理的方法获得地形特征,提出了两种地形分类简化模型,即基于熵的地形类型划分模型和基于DEM数据统计特性的地形类型划分模型,最后比较了不同地形特征的数据简化结果。
  • 闫萍,张祥德,焦明海
    . 2005, 31(22): 238-240.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    阐述了Oracle8作业队列的工作原理,并介绍了Oracle8数据库调度作业的方法。针对由于移动通信网络管理系统中数据量大且数据来源复杂而造成的数据库作业调度难于管理和Oracle中SNP进程资源有限的问题,分析了网管系统中采集数据的特点,提出了在一个SNP进程中运行多个存储过程的设计方案,使数据库中的作业调度更加系统、有序,有效地提高了系统的运行效率。
  • 唐蕾,张剡,徐洁磐
    . 2005, 31(22): 241-243.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    个人外汇买卖是银行的一种业务,在进行外汇交易过程中选择合理的获利平盘时机是非常关键的一步,它和多种不确定因素相关。目前的平盘决策完全凭交易员的经验来决定,为了避免平盘决策中的盲目性,开发了自动平盘决策支持系统,目的是科学地规避汇市中高风险的同时获得最大的利润。