计算机工程杂志

基于访问、感知和知道的多Agent系统形式化模型

关键词：多agent系统    访问    感知    知道    

提出了基于VSK-AF逻辑的多Agent系统形式化模型.VSK-AF逻辑是模态认知模型的扩展,它表示并且区分外部环境与Agents环境中客观真实的和可访问的信息、环境中可访问的和Agents感知到的信息以及Agents感知到的和知道的信息.在给出了该逻辑的语义模型和公理体系后,研究了模态算子之间的关系并将其对应到VSK-AF系统所具备的特性上.最后总结并讨论了进...

智能数据分析在医学领域的应用综述

关键词：智能数据分析    数据抽象    数据挖掘    

回顾了智能数据分析方法在医学领域中的应用情况,目的是缩小医学领域数据采集和数据理解之间的鸿沟.介绍了智能数据分析技术的发展情况,提出了智能数据分析的分类方法,选择介绍了一些重要的智能数据分析方法及其在医学领域中的应用.

CORBA异步Polling模型的研究与实现

关键词：分布对象中间件    异步机制    polling模型    

基于CORBA异步消息中的抽象Polling模型提出了一种Polling模型实现方案,讨论了其中的核心算法,该算法能分解耦合请求和应答并确保at-most-once语义.在分布对象中间件平台StarBus上实现了该模型和算法,实现结果表明该模型和算法为在CORBA中实现异步Polling机制提供了一种有效的参考方案.

项目管理系统的动态安全控制模型

关键词：项目管理    访问控制模型    petri网    

在分析项目管理系统过程模型、组织模型和资源模型的基础上,提出了项目管理系统中全局资源静态访问控制模型和局部资源动态访问模型相结合的新的安全模型,该模型考虑了系统执行的上下文环境,将安全问题方面的注意力从独立系统中静态的主体和客体保护,转移到随着任务的执行而进行动态授权的保护上来.

基于小波变换的SAR图像分割

关键词：sar图像    小波滤波    小波纹理特征    图像分割    

SAR(合成孔径雷达)图像包含有相干斑噪声,传统方法不能很好地对SAR图像进行分割,该文结合SAR图像和小波变换多分辨分析的特点,提出了一种新的SAR图像分割方法.首先利用小波变换提取SAR图像的纹理特征信息,然后根据SAR图像噪声在小波域中的分布特点对SAR图像进行滤波,最后以SAR图像小波能量纹理特征和滤波后的灰度组成特征向量对SAR图像进行分割....

无线传感器网络节点的定位算法

关键词：无线传感器网络    定位    平均每跳距离    

针对无线传感器网络节点定位问题进行了研究,提出了一种新的节点定位算法,介绍了算法的基本原理和实现方法.该算法不需要任何额外的硬件支持,节点间通信开销少.仿真实验显示,在网络连接度为8、参考节点数量为20的情况下,平均定位误差小于节点射频通信距离的21%.

一个指导网络安全防护的辅助决策系统

关键词：网络安全    决策支持    系统设计    实时防御    

分析了网络安全中的决策问题,设计了一个基于辅助决策的网络安全系统,阐述了其工作原理,讨论了基于辅助决策的系统设计、安全实时防御、灾难恢复与应急响应以及安全增强的问题.

两种基于部分加密的图像和视频加密方案

关键词：图像加密    视频加密    混沌加密    密码    

某些多媒体加密并不要求加密后的信息完全不可理解,例如,在图像传输中可能只要求对其中某个人、物或区域部分加密;在视频点播中可能只要求将原始画面变得模糊,而其中的轮廓可见.正是基于以上两点,文章提出两种部分加密方案:基于分层编码的部分加密方案和基于目标的部分加密方案.并分别以小波变换的分层编码方法SPIHT和DCT变换的分块编码方法JPEG...

集群环境下的并行聚类算法的通信策略

关键词：数据挖掘    聚类    并行计算    同步通信    异步通信    集群    

文章通过理论分析,认为可以根据并行聚类算法的时间特性来决定采用何种通信策略.对具有线性时间特性的聚类算法,可以选择同步通信方式.对具有收敛性时间特性的聚类算法,应该选择异步通信.并且通过试验,表明采用异步通信可以获得较好的性能.

一个数据挖掘工具的设计与实现

关键词：数据挖掘    关联规则    兴趣度    

数据挖掘是一个利用各种分析工具在海量数据中发现模型和数据间关系的过程,这些模型和关系可以用来做出预测.该文介绍了一个数据挖掘工具的设计,以Apriori算法为核心,实现了数据挖掘中基于数据库的几种常用挖掘方法,包括基于关系数据库的数据挖掘,不完整数据库中的数据挖掘和根据兴趣度测量来挖掘感兴趣知识的异常关联规则挖掘.

软件过程度量自动化的研究与实现

关键词：软件过程度量    软件过程度量自动化    软件过程    cmm    

度量自动化的程度如何是衡量度量项目能否成功的一个关键因素.该文讨论了度量自动化的范围,并进一步提出了一个好的度量工具应满足的7条需求.同时,设计、实现了一个软件过程度量工具SPMT,并分别描述了其体系结构、角色、职责和各个子系统.

基于服务多的集成供应链系统

关键词：供应链    web服务    

供应链管理在快速多变的全球环境下竞争,对集成供应链信息系统提出了新的要求.该文分析了多系统在集成供应链中的应用及Web服务技术,提出了基于服务多技术实现集成供应链系统的模型,解决了基于多的供应链成员信息系统在跨Internet集成技术实现上的困难.

安全事件应急处理系统分析

关键词：安全事件应急处理系统    计算机紧急响应小组    信息保障    

从国内外现状出发,详细分析了安全事件应急处理系统在入侵监测、审计分析、事件响应、安全服务等方面的功能及特性需求,在此基础上提出了基于三层架构的应急处理系统结构模型,为系统的具体设计和实施提供了可行的操作框架.

OPC服务器在DMCplus数据采集中的应用

关键词：dmcplus    opc    

介绍了多变量约束控制软件DMCplus通过OPC服务器实现对现场设备的数据采集工作,论述了DMCplus与OPC服务器的连接步骤及结构.

与地址解释相结合的手写体汉字切分识别算法

关键词：汉字切分    手写体    信函地址    识别    ocr    

针对信函地址行中存在着大量的笔画交叉与粘连,采用了一种基于笔画提取合并的手写体汉字切分方法,并应用与地址解释相结合的动态规划得到最终切分结果,获得投递区域.用从邮政分拣机上获得的443个信函地址行二值图像样本进行测试,省市一级和市县一级投递地址的正确识别率已经达到了66%.

基于语义Web的组件描述方法

关键词：可扩展标记语言    资源描述框架    组件    语义web    

分析了分别基于XML,RDF(S),DAML+OIL三者描述组件之间区别,提出采用DAML+OIL的方法来描述组件以及组件之间的关系,使组件具有精确的语义,并且为以后基于语义和具有推理能力的搜索奠定了基础.最后简要介绍了分别基于这3种方法组件的搜索原理.

分布式端口反弹攻击及检测

关键词：网络安全    ddos    网络入侵检测    

分析了现有的DDoS攻击在通信时存在的一些缺点,并对当前流行的端口反弹技术进行了深入的研究,发现如果将两者结合起来形成一类新的攻击形式,其危害性相当严重.故提出了两者结合的模型--分布式端口反弹攻击模型,而且针对这类新的攻击方式的一些特点提出了基于连接(会话)记录的误用检测方法和基于用户行为的异常检测方法.

一种基于实现仓库的负载均衡模型

关键词：corba    ior    实现仓库    负载均衡    

分析了已有的CORBA负载均衡模型,提出了一种基于实现仓库的新的模型,该模型不仅可以通过请求重定向实现负载均衡,而且还通过对象和服务程序迁移降低结点的负载.

局域网下网络窃听的实现与防范

关键词：网络窃听    嗅探器    混杂模式    arp    中间人    

网络窃听是指非法截获并提取他人正常通信数据流中的重要信息.该文从软件方面详细讨论了局域网下网络窃听的各利实现方法,给出了针对其实现的具体防范措施,同时探讨了如何主动去发现并反击这些非法的窃听.

一种用于大规模规则库的快速包分类算法

关键词：包分类    位串聚合    规则重排列    

网络应用的发展,要求路由器必须有能力支持防火墙、入侵检测、提供QoS、流量计费等一系列功能,这些功能都要求路由器对IP包进行分类来完成对数据包的不同处理.目前的包分类算法不适用于大规模的规则数据库.该文在现有的一种基于位串的包分类算法上做了两个改进,位串的聚合和过滤规则的重排列.从而生成了一种新的包分类机制-ABV(Aggregated Bit V...

软件测试不确定性研究及解决途径

关键词：软件测试    软件测试复用    软件测试成熟度模型    软件测试工程    

从分析软件测试的不确定性产生的原因,分析软件测试中存在的问题,提出加强软件测试工程化管理、测试方法模板的复用、采用测试用例的知识共享作为解决问题的途径,介绍了一种软件测试管理平台的实现.

基于Linux的ATM网卡驱动程序研究与实现

关键词：linux操作系统    atm驱动程序    网络接口卡    cipoa    中断    

简要介绍了基于IDT77211芯片的ATM网卡的基本硬件结构,分析了Linux下网络驱动程序的体系结构.着重论述了Linux下ATM网卡驱动程序的基本软件模块以及驱动程序的加载模式.最后给出了驱动软件的测试结果.

结合哈希过滤的一种改进多连接查询优化算法

关键词：多连接查询    查询优化    图论    哈希过滤    

多连接查询优化是提高数据库性能的关键问题之一.Chiang Lee提出了一种启发式多连接查询优化算法MVP,分析发现该算法并没有考虑减小执行计划的计算代价.该文结合哈希过滤的特点提出了一种改进的多连接查询优化算法,与MVP算法相比该算法降低了执行计划的计算代价,从而使查询响应时间更短.

基于CORBA的消息中间件的设计与实现

关键词：corba    中间件    分布式计算    

在日益复杂的分布式计算环境中，中间件减少了复杂应用系统的开发和集成的难度，成为分布式计算应用的关键性部件。该文设计并实现了一个基于CORBA的消息中间件系统，提供了在异构平台中分布对象之问进行消息驱动的、透明的、异步的、基于消息内容的消息传输方法。

软件企业CMMI评估系统的UML建模、设计与实现

关键词：统一建模语言    cmm    能力成熟度模型集成    评估    建模方法    

描述了在软件企业CMMI评估系统开发中,使用UML这种面向系统并且支持系统开发全部过程的建模工具,完成了系统的分析与设计.并且给出了KP(Key Process)的量化标准,帮助企业有针对性地改进软件的开发过程.

利用ActiveX技术的VB与Matlab间的无缝集成

关键词：vb    matlab    activex    无缝集成    

着重探讨了利用ActiveX技术实现VB与Matlab间无缝集成的方法,并阐述了集成的基本步骤、集成过程中遇到的关键问题及其解决方案.

2004年第8期部分内容预告

基于Web和WAP的警务动态管理系统

关键词：电子政务    wap    工作流管理系统    

介绍了一个完整的电子政务解决方案-警务动态管理系统的构建,该系统是一个Web网站和WAP网站的有机结合,Web网站主要供室内用户使用,WAP网站部分主要供室外用户使用,尤其是该系统的WAP网站部分实现了"推"功能,极大地满足了用户的需求,并对构建过程中所用的核心技术进行了简介,通过系统的构建,说明了ASP.NET与传统ASP相比的优点所在.

大数据量、高中断频率数据接收的软件设计

关键词：驱动程序    vxd    中断    多线程    缓冲池    同步    

设计了一套满足机载测深激光雷达要求的高速、实时数据接收软件,能够实现中断频率为1 000Hz的多路数据,能以约16MB/s的速率实时接收并存储到计算机硬盘中.详细讨论程序设计方法,重点分析了高中断频率数据的实时、同步接收和存储的实现细节.

基于ARM内核的ARM与Thumb混合代码的生成

关键词：arm体系结构    arm指令集    thumb指令集    

介绍了嵌入式系统领域中的常用RISC微处理器--ARM处理器的ARM指令集与Thumb指令集,分析了应用程序的ARM代码与Thumb代码的各自的优势与不足,研究了生成高密度、执行效率高的混合代码的方法.

冲突关系与相容关系之间的关系及其相关算法

关键词：数据结构    离散数学    等价关系    相容关系    冲突关系    

研究了冲突关系与相容关系的数学基础,对二者之间的关系以及按冲突关系进行的集合划分与相容关系的完全覆盖之间的关系进行了探讨.通过对按冲突关系进行集合划分方法的分析,设计了相应的3个算法.

基于操作系统的实时数据库移植

关键词：实时数据库    starbase    实时事务    操作系统    移植    

介绍了实时数据库的基本概念和主要技术,讨论了实时数据库移植到不同操作系统的方法,结合由美国维吉尼亚大学开发的Starbase实时数据库,实现了实时数据库从操作系统RT-Mach到Unix的移植.

组播QoS路由的遗传算法研究

关键词：组播    服务质量    遗传算法    steiner树    

为提高遗传算法的效率以适于计算组播QoS路由,对算法的几个关键点作了深入研究.介绍了算法评价的两个指标:计算量和收敛率;提出了一种新的适应度函数;采用了比例选择与最优个体保存策略相结合的选择操作.经过大量的仿真实验,得出这种算法的最佳变异概率值应在0.4左右;当群体规模略小于每位基因座可选基因数的最大值时,算法的效率较高.

COPS协议的分析及其Petri网建模

关键词：cops    petri网    策略执行点    策略决策点    消息完整性    

在对COPS协议作详细非形式化分析的基础上,用扩展的库所/变迁网对其主要部分进行了形式化的描述,从而为COPS协议的分析与改进奠定了基础.

使用传统应用构建Web Service的方法

关键词：web    service    可编程网络    service化    

提出'通过对传统应用,包括桌面应用和Web应用的Web Service化,使传统应用成为可编程网络(下一代Internet)的组成部分'这一思路,并给出了一些实例.从而为充分利用现有资源以及创造新的商业应用提供了一种有效方法.

基于不同发送速率下移动自组网AODV路由协议的性能比较分析

关键词：移动自组网    aodv    报文投递率    时延    路由负荷    mac负荷    

人们一般只基于2kbps发送速率下研究移动自组网中路由协议的性能,基于对多媒体业务的支持,该文在144kbps发送速率下研究了移动自组网中路由协议AODV(Ad Hoc按需距离矢量路由)的性能,并与2kbps发送速率下的性能进行了比较分析.研究结果表明,与2kbps发送速率下相比,144kbps发送速率的报文投递率要高,同时平均端到端的时延、路由负荷、MAC负荷也高.

面向大型网络的单元网管系统的实现

关键词：网络管理    xml    单元系统    

有效的管理大型计算机网络成为目前网络管理中研究的热点和难点.XML技术可以实现采用不同管理模型的异构管理应用之间管理信息的交换,针对CERNET(China Education and Research Network)的管理,提出采用基于精简功能模型的独立于互连节点的单元管理技术来实现特定目的的网络管理功能,将整个管理系统划分为多个异构且功能相对完整的功能模块负责...

数据链高负载状况下STDMA自组织特性的研究

关键词：自动识别系统    自组织时分多址    甚高频    吞吐量    

该文介绍了STDMA系统的数据链特征,通过计算机仿真,研究了在数据链路高负载状况下,STDMA系统所提供的自组织特性的工作情况.分析了站台间距离、网络负载程度和系统链路吞吐量3者之间的关系,并根据仿真结果给出了不同区域链路吞吐量的计算公式.

一种宽带网中基于端口侦听的上网监控系统

关键词：端口镜像    libpcap    libnet    包注入    原始套接字    

讨论了一种宽带网的上网监控系统(WebEye),它可以监控用户上网行为,屏蔽Internet色情、暴力等不良网站,对用户访问的目标地址(URL)进行分类,根据网站类别或关键词进行过滤;它具有很广泛的应用.从技术角度对该系统的可行性作了分析,具体分析了它的系统结构、网络结构与逻辑结构,并对各模块进行了划分并且阐述了它的实现手段.

HFC网络管理系统的设计与实现

关键词：光电混合网    依赖链    地理信息系统    

依照国家广电局关于HFC网络管理的规范,针对HFC网上传播的信息,特别是关键信息的监控问题,设计并实现了HFC网络管理系统,该系统基于J2EE不是平台,采用CORBA技术,除了提供基本的网络管理功能以外,在故障定位及处理、GIS地理信息管理和用户管理上面有深入的研究.