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

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

  • 全选
    |
    论文
  • 李天庆,张毅,刘志,胡东成
    . 2005, 31(12): 6.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    从3方面入手,对Snakes的外部力引入时空图光流特征,内部力引入傅立叶变换滤波平滑曲线,能量函数极小化方法改为法线方向寻优,从而使FFTSnake模型具有很好的实用价值。实验对比验证,在复杂背景下FFTSnake模型依然可以有效跟踪运动物体,此时普通Snakes模型必须做大量手动调整。而它同时也解决了帧差等视频分割方法难于识别、提取目标轮廓的问题。FFTSnake模型抓住了运动目标的图像特征,在简单的优化算法下依然可以得到较好的分割效果,并可以用于实时系统。
  • 安杨,赵波
    . 2005, 31(12): 9.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    随着地理服务技术的发展,相应的地理服务的查询成为了一个重要的问题,其中一种解决方法是设计一种模块化的共享的Ontology来描述Web服务,并利用该Ontology进行服务查询。针对这个问题,该文提出了一种Ontology,它结合了已存在的各种不同的Ontology标准和元数据标准来描述地理服务。
  • 刘炜,刘宗田
    . 2005, 31(12): 12.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对网格体系结构的异构性、开放性、自适应性等特点,利用组织学观点和Agent抽象机制,提出了一种面向Agent的分析和设计建模方法(Agent-orientedModelingbasedonGrid,AOMG),用于基于网格环境的分布式应用的分析和设计。该方法定义了开放式组织、角色、Grid_Agent、服务、网格节点等概念,提出了适合于网格分布式应用的分析和设计模型,并通过一个电子商务系统对整个分析和设计建模过程进行阐述。
  • 韩冰,冯博琴,傅向华,马兆丰
    . 2005, 31(12): 15.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    支持向量机是一种非常优秀的机器学习技术,求解大规模二次规划问题是训练SVM的关键。该文提出了一种改进方法,保持计算代价与优化步长之间的平衡,从而加速收敛,缩短训练时间。实验结果表明,在大数据集的情况下,该方法是十分有效的。
  • 孙钦东,张德运,高鹏,刘刚
    . 2005, 31(12): 18.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    设计了一种新颖的适用于高速网络的分层式动态负载均衡入侵检测系统模型及相应的动态流量均衡算法。该模型采用两级分流结构,由均衡代理与探测器根据均衡算法配合完成流量的动态均衡分配;动态均衡算法通过对数据包的特征域做散列运算,将其映射到某个探测器的接收区间内,并根据探测器的负载情况调节接收区间的宽度,合理分配各个探测器上的流量。性能分析和实验结果表明,该模型能够充分利用系统的计算资源,具有良好的动态流量均衡性能及高度的可扩展性,在高带宽环境中有较高的效率。
  • 何成万,何克清
    . 2005, 31(12): 20.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在已有的角色约束描述方法的基础上,对角色约束进行了分类,提出了一个结构化的角色约束模型SRCM及形式化方法,分析了模型中角色约束间的关联,并介绍了角色约束在建模中的应用实例。使用该结构化的角色约束模型不仅可以更完整地描述角色约束,而且可以使角色约束的描述更加清晰,有助于设计者实现角色的分配及组合,有利于角色模型的实现。
  • 何丽,韩文秀
    . 2005, 31(12): 23.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在机器学习中,分类器融合已经成为一个新的研究领域。该本文介绍了用元决策树(MDT)融合多个分类器的新方法,阐释了MDT、元属性以及用MDT组合多个分类器的stacking框架。
  • 王荣,贺磊,邬江兴
    . 2005, 31(12): 25-27.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    基于CICQ结构提出了在输入排队结构下实现基于流的PGPS分组公平调度算法的方案,该结构在可管理的输入流下可提供接近100%的吞吐率。
  • 贾银山,贾传荧
    . 2005, 31(12): 28-30.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    提出了一种加权C-SVM分类算法,并从理论上分析了算法的性能。该算法通过引入类权重因子和样本权重因子实现了类加权和样本加权两种功能。实验结果表明,该算法可以有效地解决由类大小不均衡引发的分类错误问题以及重要样本的错分问题。
  • 王荣,李云涛,邬江兴
    . 2005, 31(12): 31.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在传统调度算法的基础上,提出了一种新输入排队调度算法——CMRR,混合式输入排队调度算法,仿真实验和理论分析表明,该算法的性能优于现有的iSLIP等调度算法。
  • 熊承义,田金文,柳健,郑胜,侯建华
    . 2005, 31(12): 34.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    基于提升的小波变换算法,提出了一种新的功率面积有效的5-3和9-7小波变换的VLSI实现结构。采用时分复用和嵌入式并行流水线技术优化设计结构,有效地减少了所用乘法器、加法器运算单元和寄存器单元数量,以及对存储器的访问次数,从而有效地减少系统占用面积和功耗。系统实现了每一个时钟产生一个输出,输入信号的细节分量和近似分量交替输出。该结构具有简单、规则,以及扩展性好的特点,非常适合于VLSI设计实现。
  • 高磊,张德运,赵东平,郑卫斌
    . 2005, 31(12): 36.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    提出了自适应哈希映射的弱跳完整性校验(AHMWHI)以解决大小为[MTU?X+1,MTU]的大数据包无法封装上X字节校验信息的问题,并进一步改进了弱完整性校验中对数据包重放和丢失的检测功能。
  • 孙瑞志,史美林
    . 2005, 31(12): 38-40.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    讨论了工作流引擎处理过程中的相关活动实例的上下文控制机制后,揭示了工作流内在的事务特性,以保证这种内在事务为基准,提出了工作流运行过程中异常处理的控制方法和不同处理策略下的异常恢复规则,保证了异常发生时,异常处理程序和工作流引擎的顺利交接,从而保证了流程发生变化时执行的持续性。
  • 尚明磊,黄皓
    . 2005, 31(12): 41.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    分析了缓冲区溢出的原理和溢出字符串,然后对几种典型的缓冲区溢出实时检测技术进行了阐述,最后提出了一种基于系统调用的缓冲区溢出检测方法。该方法通过劫持系统调用的方式为原有的系统调用函数增加了强制访问控制功能,通过监测非法系统调用的方法来检测和阻止各种获取特权的缓冲区溢出攻击。
  • 高丽萍,刘弘
    . 2005, 31(12): 44-46.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    通过分析建筑布局的特点提出了建筑布局的两种表示方式:特征树表示和矩阵表示。提出使用遗传算法来对布局设计过程中的方案进行约束和控制。对原有的遗传算法做了改进,在适应度函数构建方面,增加了对称度和黄金分割度的度量。实验结果表明,该算法非常适合于求解布局问题。
  • 张逊,杨鑫
    . 2005, 31(12): 47-50.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对目前社会养老保险系统存在的漏洞,设计并实现了基于指纹识别技术的社会养老保险管理系统。从系统设计入手,分析系统实现过程中的难点,并给出解决方法:重点讨论了系统高效的指纹识别算法,自动处理卡片图像的过程以及“信用度”的概念和意义。
  • 李慧,刘强,韦卫
    . 2005, 31(12): 51-53.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    入侵检测已经成为保障网络安全的一个非常关键的领域。该文从入侵检测的系统构架着手,介绍了通用的集中式和分布式结构,提出了一种层次式的架构。同时设计开发了一套基于层次式结构的入侵检测系统,并详细阐述了层次式结构以及相关的信息交换技术。
  • 刘嘉,訾小超,潘理,李建华
    . 2005, 31(12): 54-56.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    论述了基于Linux基础平台开发高可靠性安全操作系统中审计系统的设计思想与实现。在此审计系统中,通过审计系统调用实现了细粒度的系统级审计数据的收集,并且基于B/S架构,实现了具有自动分析功能的图形化安全远程审计管理平台。
  • 杨洋,陈小平
    . 2005, 31(12): 57.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    对多主体团队行为的计划识别是多主体系统研究领域的一个重要课题。传统的计划识别技术通常都建立在待识别计划存在于一个预先给定的计划库的假设之上。文章提出一种不需要类似前提库的计划识别算法。该算法通过分析观测的事件帧序列之间的统计相关性来有效地发现待建模团队的合作模式。
  • 施建强,徐立中,林志贵
    . 2005, 31(12): 60-62.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    以太湖流域的多源水环境监测信息为对象,以GIS和VisualBasic为工具,开发了太湖水环境监测信息管理系统,并阐述了该系统的组成及相应的功能,分析了其在水环境信息处理及表达等方面所具有的特点,通过对实际监测数据的处理和表达,证明了基于GIS的水环境监测信息管理系统快速、高效、实时等方面的优势。
  • 鲍力成,陈德人,郑小林,赵俊
    . 2005, 31(12): 63-65.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在商业贸易过程中,制定合同或者订单之前,贸易双方的协商是个很重要的环节。如果要在电子商务中实现这个过程,那么如何描述贸易双方的需求以及如何解决贸易双方需求之间的矛盾是关键所在。该文提出了一种基于XML的贸易协商协议和对应的系统框架以解决这个问题,从而在电子商务中实现了贸易协商过程的自动化和标准化。
  • 陈丽波,吴庆波
    . 2005, 31(12): 66-68.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    LTT(LinuxTraceToolkit)是Linux内核性能分析工具,由探测内核、数据收集模块、数据提交守护进程、数据表示和分析软件4部分组成,它主要对内核事件进行跟踪,提供精确详细的跟踪信息重构特定时间段内系统行为,使得用户正确了解系统动态,并为后期数据处理提供特色图形化显示和分析工具。经过测试,运行LTT开销低廉,能够有效帮助用户识别性能瓶颈。
  • 余靖,张颖,刘啸岭,刘国华
    . 2005, 31(12): 69-71.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    对如何寻找一个新插入点覆盖的所有分点问题进行了研究,提出了适用于搜索移动对象的一个最近邻居的直接比较方法,其计算量要少于原来CNN搜索算法所采用的方法。对于搜索移动对象的多个最近邻居的情况,提出了一种避免计算新插入点到所有分点距离的动态比较方法。
  • 石学林,张兆庆,武成岗
    . 2005, 31(12): 72-74.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    随着下一代网格环境的来临,如何将遗产代码迁移到新的平台成为一个亟待解决的问题,该文提出了一种将Cobol源代码自动地,功能等价地迁移到Java平台的方法。
  • 陈飞翔,杨崇俊
    . 2005, 31(12): 75-77.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    根据嵌入式硬件环境和无线网络环境提出了面向无线网络应用的嵌入式GIS基础平台的系统结构,分析了基础平台中的空间数据管理、空间数据可视化和无线网络通信等软件模块的设计方法,最后在此基础上讨论了此基础平台的实现细节。
  • 潘无名,汤永川
    . 2005, 31(12): 78.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    提出一种数据仓库过程混合模型,该模型采用线型模式和迭代模式结合的开发模式,将工程流程分为技术体系构建和分析应用开发两个平行的部分。它能够涵盖大部分数据仓库项目的开发流程和活动,并且由于其与软件过程框架的相似性,易于开发团队在项目管理中采用。
  • 温敬和
    . 2005, 31(12): 80-82.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    提出了语法制导翻译用于自动构造汇编程序的方法。该方法简洁实用,自动化程度高,可用于计算机系统汇编程序的自动构造。
  • 于满泉 ,许洪波 ,赵章界 ,余智华
    . 2005, 31(12): 83-85.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    以典型的向量空间模型为例,剖析了个性化信息服务中内容过滤面临的主要问题及基本对策,并结合用户的实际需求,设计实现了“天罗”个性化信息过滤系统,实验结果表明,系统达到了很高的准确率、召回率和处理速度。
  • 张新有,李成忠
    . 2005, 31(12): 86-88.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    分析了Linux操作系统内核提供的软实时调度机制及其存在的问题,阐述了基于Linux内核构建实时Linux操作系统的技术方案。着重介绍了RTLinux实时内核的结构框架,并对RTLinux的中断处理机制与调度机制进行了设计与实现。
  • 桂现才,林嘉宜,彭宏
    . 2005, 31(12): 89-91.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    关于时态数据库中有效时间不确定性的时态关系,Snodgrass采用概率的方法给出了不确定时刻的Before时态关系。该文定义了一种新的不确定时刻、不确定时间区间的同时关系,并给出了它们的交,运用同时关系对病历数据库进行挖掘。
  • 肖进杰,朱大铭,马绍汉,潘锐
    . 2005, 31(12): 92-94.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    讨论了多服务中心设置问题的局部搜索近似算法及其在实际计算中表现出的新性质。首先对局部搜索算法求解多服务中心设置问题的实际近似性能比给出了一个针对性分析结果,然后编程实验对局部搜索求解算法的求解时间和求解质量进行了探讨。
  • 吴代辉,唐朔飞,季振洲,王凯峰,康海涛
    . 2005, 31(12): 95.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    提出的踪迹预构机制根据程序的执行流,动态标志出经常发生失效的踪迹,并提前从指令缓存中取指对其进行构造。基于路径预测的踪迹预构机制跟踪踪迹的提交历史,并在每次预测下一个踪迹的同时,预测其接下来的第N个踪迹是否需要被预构。通过提前预构出这些踪迹,可以大大地减少踪迹缓存的失效率。
  • 赵银春,付关友,朱征宇
    . 2005, 31(12): 98.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    通过对用户浏览的Web页面进行聚类分析,并与采用线性回归分析用户浏览行为相结合,得到了采用加权关键字矢量表示的用户兴趣模型,实验证明该模型能较好地描述用户的兴趣类型及兴趣浓度,提高个性化信息服务的效率。
  • 武志峰,陈冬霞,吉根林
    . 2005, 31(12): 100.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对入侵检测系统中安全规则提取的困难,该文提出了利用粗集方法从系统日志审计信息中挖掘安全规则,并给出了规则挖掘算法。通过KDDCUP1999入侵数据测试集中的数据验证了该方法的有效性和可行性,为入侵检测中安全规则的提取提供了一种新方法。
  • 王继曾,张键
    . 2005, 31(12): 102-104.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    LOTOS形式规范的目标实现是协议设计中必不可少的阶段之一。该文对基于LOTOS的形式描述规范的实现方法进行了研究,包括目标实现环境的特点、实现中的空白因素、抽象模型到实现模型的转换、规范的最终目标实现,并对如何将LOTOS规范转换为C、C++语言实现进行了探讨。
  • 吴超,林家骏,俞岭,唐斯亮
    . 2005, 31(12): 105-107.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    提出了软件的“可视性、可测性和可维性”是军用软件产品基本的质量特性和设计属性的概念及软件“可视性、可测性和可维性”应作为评定军用软件产品的质量和技术状态的前提条件和基础的观点。基于以上概念和观点,给出了“可视性、可测性和可维性”的定义、工程意义和成熟度模型,以解决军用软件定型过程中的“评审难、测试难和定型的软件产品难以服务部队”等问题。
  • 李金库,张德运,刘刚,高磊
    . 2005, 31(12): 108.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    随着网络带宽成指数倍增长和新服务、新协议的不断涌现,基于GPP和ASIC的传统网络解决方案由于不能兼顾速度和灵活性两方面要求,已经不能满足需求。为此,一种并行可编程的网络处理器被应用到路由器的设计中来。分析了网络处理器本身体系结构及关键处理技术,提出了一种基于网络处理器的高效、可扩展、分层路由器通用模型,并阐述了它的数据处理机制。
  • 谢丰,谢丽霞
    . 2005, 31(12): 110-112.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    介绍了一种基于网络动态自适应的集群式监控系统的体系结构模型与实现的关键技术。系统建立在Client/Server模式基础上,采用H.263视频编码技术,利用实时传输协议RTP,实现了系统对多种网络状况的动态自适应和拥塞控制,保证了系统客户端的QoS。同时,服务端采用集群式的拓扑结构,客户端登录时采用严格的安全认证和透明接入,使得系统具有较好的安全性和可扩展性。
  • 周集良,彭小宁,王正华
    . 2005, 31(12): 113-115.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在集群系统的负载调度研究中,针对请求的服务时间变化大的特点,该文提出了一个动态反馈负载平衡算法,它结合内核中的加权连接调度算法,根据动态反馈回来的负载信息来调整服务器的权值,从而有效地解决服务器间的负载不平衡问题,提高了系统的吞吐率。
  • 郭强,朱杰,张海滨
    . 2005, 31(12): 116.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    分析了移动Internet传输的特点和SCTP协议的相关特性,在此基础上提出了基于SCTP的移动Internet传输模型。依据此模型,讨论了SCTP多宿、多流等特性在无线条件下对移动Internet接入性能的影响,并与TCP协议下的传输性能进行了对比仿真。仿真结果表明:在无线链路和特定的应用层协议下,相对于TCP,基于SCTP的传输能够明显减小时延并充分保障传输的可靠性,可为移动Internet接入业务提供更有力的支持。
  • 王洪亚,宁国勤,李国徽
    . 2005, 31(12): 118-120.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    研究了移动实时计算环境下更新分发的问题,提出了混合前向多版本数据广播方案,该方案在保证事务一致性的同时满足了数据和事务本身的定时约束,模拟实验表明该方案能够有效地降低事务错过率和提高数据流行性。
  • 李景山,侯紫峰,罗予晋,黄景楠
    . 2005, 31(12): 121-123.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    提出了一种普及计算环境中统一传输网络UTN(UniformTransportNetwork),该统一传输网络实现了以DeviceID作为设备的唯一标识的通信地址,DeviceID的地址到具体的传输地址的映射、多传输协议之间的路由和转换问题、实现进程之间可靠的单播、组播通信。该统一传输网络为普及计算环境中多种设备之间互联互通提供了必要的技术支持。
  • 张俊,黄林鹏
    . 2005, 31(12): 124.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在互联网IP地址日益紧张的情况下,尽可能占用最少的IP地址对集群系统进行管理,将大大节约互联网IP地址资源。该文通过对比RFC1631和RFC2663中提出的NAT、NAPT技术实现原理,提出了SNMPPROXY技术,可以在不改造路由器的情况下,实现集群系统的单IP地址SNMP管理。
  • 陈越,林予松,张建辉,兰巨龙
    . 2005, 31(12): 127-129.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    提出了在T比特路由器中PIM-SM组播路由协议高效实现方法。将PIM-SM协议规范中涉及数据转发的操作加以分解,并将它们分布于转发引擎和主控,转发硬件转发数据包仅需一次查表,与控制平面尽量隔离,实现了组播包的线速转发。
  • 梁荣,孙强
    . 2005, 31(12): 130.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    提出了一种新的基于遗传算法的QoS组播路由算法。该算法具有预处理机制、树型结构编码、启发式初始种群生成和交叉策略、指导性变异过程。仿真结果表明,该算法的性能和效率都优于文中提到的其它现存算法。
  • 陈志刚,金亮,张松,刘安丰
    . 2005, 31(12): 132-135.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    为了给一种新型WebCluster系统提出一个优化的实现方案,该文描述了该集群系统的数据流处理过程,分析出其处理实质,即M条TCP连接与N条TCP连接之间动态的交叉衔接问题。为此该文提出了一种基于请求包粒度的M:N型TCPswitching协议。详细描述了该协议的设计原理和实现过程。实验证明运行该协议的集群系统具有良好的可扩展性和服务性能。
  • 张新跃,沈树群
    . 2005, 31(12): 136.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    分析了网络中大规模安全告警事件处理面临的问题,提出了一种分布式安全事件检测系统模型,在对事件分类的基础上,提出了基于策略的分层事件处理机制,阐述了一种基于二叉树遍历和滑动时间窗口的事件检测算法,进一步提高了事件检测的及时性和准确性,为网络系统的安全提供了可靠的保障。
  • 李凯,周建国,晏蒲柳
    . 2005, 31(12): 138-140.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    分析了当前几种广泛应用的安全电子邮件标准在安全机制方面的某些不足,提出了一种基于移动Agent技术的安全电子邮件系统应用方案。该方案利用功能Agent在邮件客户端和认证中心CA端之间进行双向认证、公钥管理和邮件管理,实现了邮件的保密性、认证性、完整性以及收发双方的不可否认性。
  • 眭新光,罗慧
    . 2005, 31(12): 141.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    通过分析超文本的文件结构,提出了一种更为安全可行的方法。通过修改这些标记字母的大小写状态来实现秘密信息的隐藏。实验和分析结果表明,这是一种有效性较好、安全性较高的方法。
  • 葛丽娜,钟诚
    . 2005, 31(12): 143-145.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    基于人工免疫的入侵检测技术是网络安全的一个新兴研究领。运用人体免疫系统的出色功能,对负选择算法进行并行化设计,根据程序并行性的条件将串行的负选择算法中的任务进行划分,由多个处理机并行求解子任务,并将子解合并获得问题的解。分析表明,基于人工免疫的入侵检测系统负选择并行算法获得线性加速。
  • 颜兆林,龚时雨
    . 2005, 31(12): 146.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    阐述了集成系统中软件安全的重要性,分析了软件在事故机理的作用,提出了综合安全分析框架,以改进的瀑布模型为基础,具体论述了软件开发各阶段的安全分析工作。
  • 唐晓东,何连跃,罗军
    . 2005, 31(12): 148-150.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    提出了一种恶意代码防护方法,该方法能够限制来自不可信源(如网络、可移动磁盘等)的数据和执行代码的使用方式和行为,从而达到系统防护的目的。实验结果表明,这种方法不但能够防护各种已知的恶意代码,对新出现的恶意代码也能有效防护。它同时也是一种实时的恶意代码防护方法。
  • 袁磊
    . 2005, 31(12): 151-153.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    讨论了使用控制框架的动机,并定义了一个使用控制的访问控制模型,包括传统访问控制。诸如必须遵循的、自由选定的和基于角色的访问控制,以及最近要求如责任管理,数字正确性管理等。最后,讨论了基于使用控制的引用监视器及其应用系统中的层次结构。
  • 田秀霞,曹珍富
    . 2005, 31(12): 154-155.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    提出了一个基于身份的具有代理保护的强代理签名方案,方案实现主要用到双射对(BilinearPairings)性质。该方案比ZhangandKim[4]的方案更有效。
  • 张健,陈拓,韩益亮,朱艳丽,张威
    . 2005, 31(12): 156-158.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    基于求解线性方程组的理论,构造了一种基于未知元迭代的资源安全性等级存取控制方案。该方案减小了由动态用户而引起的密钥动态变化量。从理论上进行了证明,估计了所需的时间复杂度和存储空间,验证了其安全性,评价了其效率。结果表明,该方案是有效且实用的。
  • 龙宇,曹珍富
    . 2005, 31(12): 159-160.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    基于有限域上离散对数问题的难解性,给出了一种动态(k,n)门限密钥托管方案。该方案具有以下特点:(1)在更新系统密钥时,每个成员的子密钥可以不变。(2)可以任意增加、删除成员而不需要改变其它成员的子密钥。(3)是一种强壮的门限密钥托管方案。最后讨论了该方案的安全性、动态性和强壮性。
  • 龙宇,曹珍富
    . 2005, 31(12): 161.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    分析了目前各种门限密钥托管体制中的法律实施访问域(LawEnforcementAccessField,LEAF)的结构,对它们进行了攻击。结果证明这些LEAF结构都不能避免LEAF反馈攻击或阈下信道攻击。最后提出了一种可以防止阈下信道攻击的LEAF结构。
  • 赵启斌,梁京章
    . 2005, 31(12): 163-165.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    对防火墙过滤规则之间的联系和可能存在的异常作了深入的研究,给出了一种能自动发现防火墙规则异常的技术和标准,便于规则的管理和维护,也消除了因管理员错误配置规则而造成的安全隐患。
  • 刘辉,蔡利栋
    . 2005, 31(12): 166.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    用马尔科夫链对序列数据进行分析时,其预报准确率对于序列演变的异常与否相当敏感,而Linux进程可由一系列的系统调用序列来表征。据此,该文用马尔科夫链对Linux进程的系统调用序列进行行为模式提取并作异常检测。同时,还考虑了序列的顺序关系,使得模式有了合理的解释。
  • 许国光,李涛,王益丰,黄旭波
    . 2005, 31(12): 168-170.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    提出了一种针对大规模网络活动进行风险检测的方法。对网络安全环境下的自体非自体给出了定义,根据克隆选择,自体耐受等基本免疫原理,通过计算抗体浓度来检测网络活动中是否存在异常问题。实验表明,该方法具有实时性和定量计算性,是网络安全风险检测的一种有效解决方案。
  • 耿焕同,肖明军,邹翔,蔡庆生
    . 2005, 31(12): 171-173.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    详细介绍了将传统的聚类算法应用于基于范例推理系统中,并为范例库维护提供了一条有效的途径。实验表明,在范例库的维护中,聚类方法是一种行之有效的方法。
  • 谢川,倪世宏,张宗麟
    . 2005, 31(12): 174-176.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对专家系统知识难以获取的问题,提出了利用粗糙集理论对飞行数据模式特征进行提取的方法,分别采用自组织映射方法对属性进行离散化、利用遗传算法进行属性约简,最后在处理结果中引入专家的领域先验知识。实验结果表明,这种方法是可行的。
  • 秦俊奇,曹立军,王兴贵,黄景德
    . 2005, 31(12): 177-179.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    根据故障预测的特点和要求,指出传统模糊综合评判方法的不足,提出了动态模糊综合评判方法,给出了动态权重矩阵和动态模糊关系矩阵的确定方法。并与规则推理相结合,以反后座装置为例对评判过程予以说明,证明了该方法的有效性和实用性。
  • 杨帆,浦昭邦,王忠礼
    . 2005, 31(12): 180-182.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在阐述多指纹信息融合理论的基础上,提出了带反馈并行的多指纹信息融合算法,实验结果表明,此方法能解决脱皮、有伤痕等低质量指纹识别困难、识别率低问题,该技术可使系统的识别率达到90%以上,比单指纹特征识别的识别率提高20%~30%,不仅具有很强的有效性及纠错性,而且具有广泛的应用领域及推广价值。
  • 王京辉,乔卫民,袁红辉
    . 2005, 31(12): 183-185.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    通过分析单计算机的BP神经网络学习和执行算法,提出了使用PVM构造多计算机的并行神经网络。该并行神经网络的实现灵活应用于高可靠性和大规模数据的分析和处理中。同时,该BP神经网络的并行设计与实现,可广泛应用于其他神经网络模型的并行计算机实现。
  • 李一波,张森悦
    . 2005, 31(12): 186-187.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    根据大数定律中的贝努利定理(Bernoullitheorem)和机器自学习思想,提出试题库难度系数动态自适应学习整定。在沈阳航空工业学院非计算机专业大学生计算机水平测试系统使用、验证并达到了预期效果。
  • 孙军梅
    . 2005, 31(12): 188-189.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    基于XML的数据查询问题可转化为无序树匹配问题,无序树匹配问题已经被证明是NP难问题,该文提出应用遗传算法对XML文档进行查询优化,并通过实验验证了遗传算法在提高查询效率中的可行性和有效性。
  • 赵春燕,郑永果,王向葵
    . 2005, 31(12): 190.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    对经典的模糊增强算法进行了分析,在此基础上,结合直方图数据,提出改进的模糊增强算法,使得在不影响图像处理质量的前提下,提高了算法处理的速度。
  • 范艳峰,甄彤
    . 2005, 31(12): 192.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    阐述了在仓储物害虫检测与分类识别的方法,提出了检测系统的硬件组成,对检测到的谷物害虫图像的一阶灰度值直方图和图像的目标区域,自动提取静态仓储物害虫图像的数理统计特征、纹理特征和几何形状特征的主要技术和方法。试验结果表明,该方法可为谷物害虫的计算机自动模式识别(快速分类)提供稳定的特征参数值,有效提高了识别率,为仓储物害虫的快速鉴定和分类研究开辟了新途径。
  • 王庆元,滕浩,王瑞,李波
    . 2005, 31(12): 195-197.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    设计并实现了基于PC/104Plus总线的红外视频播放卡,该卡是研制的红外视频数字录像机的重要组成部分。采用了直接数字合成DDS的思想,构造了高分辨率的红外视频输出。
  • 喻祥,杨寿保,洪宇,陈东锋
    . 2005, 31(12): 198-200.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    提出了Gmusic概念,Gmusic是利用数据网格的概念设计,在GlobusToolkit基础上开发的分布式音乐服务器系统,该系统主要利用了GlobusToolkit提供的对网格环境下文件的注册、发布、删除、拷贝、查询、远程访问、数据传输、安全性保护等功能。阐述了Gmusic系统的特点、结构分析和系统的实现。
  • 赵建军,王启付,王小刚
    . 2005, 31(12): 201-203.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    研究了一种用数字地面模型和公路设计数据实现实时三维动画的方法。首先利用Delauany三角化方法构造数字地面模型,然后将公路设计数据与数字地面模型进行叠加。为解决叠加过程中的相容性问题,提出了先将地界约束边界线插入Delauany三角形网格,然后重新三角化的方法。为加快渲染速度,提出了多分辨率显示和网格数据结构相结合的加速措施。文中的方法在实践中得到了验证。
  • 邹泽明,李从心,阮雪榆
    . 2005, 31(12): 204-206.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    企业主要通过实施ERP、PDM、CAPP等系统实现企业信息化,但是这些系统缺少甚至没有与底层生产设备的信息交互,与底层生产设备之间存在相互脱离的现象,车间级完全是“黑箱操作”,为此,提出了一种适用于企业信息化的数控系统集成平台IP_CNC(integrationplatformforCNC),对平台体系结构以及平台与企业信息系统的集成进行了研究,最后通过具体实例进行了说明。
  • 蔡长韬,许明恒,陈守强,李海庆
    . 2005, 31(12): 207-209.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    提出了基于B/S三层模式的中间件解决方案,利用ASP技术,在网页中调用自制组建,实现对数控磨床的参数化设计,在网上在线生成数控磨床的三维模型,充分利用异地分布的设计资源,在有效的协同工作机制和支撑平台工具下统一信息管理,共同完成机械零件的设计开发。
  • 刘文,周俊
    . 2005, 31(12): 210-212.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对某港务企业船舶调度管理进行分析,建立了以装卸利润,停靠等待成本为目标函数的船舶优化调度模型。并结合该企业信息系统的开发,实现了人工调度与智能调度的结合,为该企业船舶调度管理提供了计算机辅助决策功能。
  • 谭志标,戴青云,邸磊,何玉明,曹江中
    . 2005, 31(12): 213-215.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    主要针对车辆牌照自动识别系统中的一个重要功能块——车牌分割,提出了一种基于车牌字符串纹理特性的车牌快速定位方法。试验结果表明,此方法快速地搜索车牌并准确定位,便于下一步的字符分割和识别。
  • 张雷,曲道奎
    . 2005, 31(12): 216-218.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    RH6-B机器人控制器是基于CAN总线的控制器,具有CAN总线的接口。实现了多机器人监控系统,并开发了相应的协议和通信系统。该文主要介绍了它的系统结构、总线协议和相应的软件,并对性能进行了分析。
  • 董芳华,陈晓,周宏
    . 2005, 31(12): 219.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    为了探索现代人体头面型不同地理区域、不同民族间的群体差异,并对现代军人头面部装备的合理设计与配置提供科学的参考和量化的标准,开发了“中国人民解放军男军人三维头面型数据管理系统(DMS)”。以该系统为平台,通过对单个样本的头部CT切片进行检边拟合处理,完成头面型的参数化三维重建,并利用数据库管理的方式对7大军区1082个样本进行科学的计算,生成所需的各个型号的参数化三维标准头型,可用于我军头面部装备分档管理,作为头盔合理优化设计的参考依据,其数据结果也可用作人类学领域研究头面型群体差异的素材。
  • 张玲,陈元春,孙勇
    . 2005, 31(12): 223-225.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    基于Windows平台下.NetFramework中GDI+二维图形类库,采用面向对象的分层模块化设计方法,给出一套简洁、实用的图形平台实现方案。统一抽象了基本图元及复合图元的定义,解决了图元的可视化编辑,连续刚性不失真复合变换,以及图形画面局部刷新等几大难题。
  • 尹虎,张向军,陈克非
    . 2005, 31(12): 226.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    基于R.Rivest和A.Shamir提出的微支付协议PayWord的一个改进方案NMP,为无线网络环境中的小额交易设计了一种新的无线微支付协议WMP(WirelessMicropaymentProtocol)。WMP协议在充分考虑安全性、公平性、不可否认性以及匿名性的基础上,针对目前无线微支付环境中带宽和客户端计算能力较低的问题,尽可能地优化了协议执行过程中的通信代价和客户端的计算量,具有较好的性能和较高的运行效率。
  • 张睿,张锡恩
    . 2005, 31(12): 228-230.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    为了提高操作训练仿真系统的真实性、沉浸感,提高交互的质量和效率,将数据手套引入该系统。针对该输入设备,对其使用方法、数据读取以及交互方法进行了研究。利用Creator软件建立虚拟场景和虚拟手模型,在VC++和Vega集成开发环境中编程实现虚拟场景中基于数据手套的交互。
  • 张立秋,常会友,衣杨
    . 2005, 31(12): 231-233.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    结合制造业和金融业两个不同行业的ERP系统的业务逻辑,对比过去一些企业信息系统的设计模式和系统框架,提出了一种新型的、通用的,可重构ERP系统模板GR_ERPM(General,ReconstructedERPModel),它规范和加速了ERP系统的开发和实施过程。通过在实际项目中的应用,证明它可以科学有效地指导企业ERP系统的开发,提升系统的可靠性、可重用性和可移植性,并且大大提高企业的经济效益。
  • 马琳,罗铁坚,宋进亮,叶世伟
    . 2005, 31(12): 234-236.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    讨论了Web系统的性能测试方法和测试工具。并在一个Web系统的实例中指明了如何运用这些工具和方法进行测试以及对测试结果的分析。最后提出了对Web系统性能进行优化的方法。
  • 徐欣欣,艾飞,王艳宣
    . 2005, 31(12): 237-238.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    基于Web的多文件上传是网络应用中存在的一个普遍问题。该文介绍了目前常见的通过浏览器上传多文件的方案,并提出了一个利用Java技术和J2EE规范实现基于Web的无组件多文件上传的实现方案。