多Agent VSK-AF逻辑

关键词：多agent系统形式化模型交互完全性推理一致性证明信息特征逻辑体系

提出了对多Agent系统的信息特征进行推理的形式化体系VSK-AF逻辑,建立了它与多Agent系统的形式化模型间的关系,给出了该逻辑的公理体系和交互公理,证明了该逻辑公理体系的一致性、无矛盾性以及完全性.讨论了进一步的研究工作.
基于服务质量的多领域服务配置

关键词：路由选择算法配置最短路径算法表示约束带宽领域综合网管系统上海电信电路

提出了QoS的矢量表示,通过分析QoS的类型和Dijsktra的最短路径算法,提出一种最佳概率的路由选择算法,并通过综合网管系统实现跨领域的路由,使得多领域QoS电路(如带宽约束等)的配置工作可以在几分钟内完成.该方法已经在上海电信的SFS中使用.
弹性界面的设计与实现

关键词：浏览界面大规模交互技术显示导航信息可视化技术信息空间焦点用户

在参阅现有的信息可视化技术的基础上,设计并实现了一种新型的可浏览和导航大规模信息空间的可视化交互技术--弹性界面,通过该界面用户可以灵活地设置和控制多个焦点的显示.
基于语义层软件理解的形式化格局识别技术

关键词：语义层软件程序切片反编译依赖性分析形式化识别技术理解方法格局水平

目前国内外学者在软件理解的研究上多注重于程序的词法层和语法层技术的探索,相应的有程序切片、程序类跟踪、程序依赖性分析、反汇编与反编译等方法.但对程序的语义层理解方法进行研究的甚少.该文正是基于上述分析研究了一种软件理解新方法--形式化格局识别技术,以行为层状结构的变换来表述程序的语义,进而采用近人类的思维方式来理解并抽取软...
基于GT-ERP的面向大规模定制的客户订单管理

关键词：客户订单 erp 大规模定制订单管理供应链 mc 环境 tg gt 处理

从供应链的角度,对大规模定制(MC)环境下的客户订单管理方法进行了研究.分析了MC、GT及ERP的关系,给出了MC环境下客户订单处理的典型流程,提出了GT和ERP相结合的订单管理方案.
消息联盟系统中保持消息因果序协议的研究

关键词：消息中间件时钟协议系统扩展性联盟保证大规模应用保持

由多个服务器组成的消息中间件联盟系统提供了更好的扩展性,但没有保证消息之间的因果序关系.该文提出并设计了一个新的保证消息因果序的通信协议MOMCO,该协议基于向量时钟,不但保证在消息联盟系统中消息的因果序,而且携带的排序控制信息量小,避免了采用二维矩阵时钟导致的较高代价,适用于大规模应用的场合.
分形理论在网络流量分析中的应用综述

关键词：网络流量分析自相似多重分形长相关分形理论尺度对流整体

从自相似(单分形)和多重分形两个方面讨论了网络流量的相关分析内容,并对长相关、尺度行为等重要概念进行了说明,目的在于对流量分析中的分形理论作整体介绍.
图像纹理分析的灰度-基元共生矩阵法

关键词：共生矩阵图像纹理灰度分布基元纹理特征特征表达计算量正规化结构方法准确

将描述纹理特征的统计方法和结构方法结合起来,提出灰度-基元共生矩阵,既能描述图像的灰度分布信息,又能表达局部细节.采用正规化处理,减少共生矩阵的计算量;将传统共生矩阵的一些特征如熵等引入基元一共生矩阵特征的计算,定义相应的特征向量.采用这种方法解决了单独使用某一方法的缺点,如计算量大、表达复杂、特征表达不够准确等.
基于框架的词语搭配自动抽取方法

关键词：自动抽取结构信息大规模统计学模型互信息抽取方法框架词语搭配同类获取

提出了一种基于框架的词语搭配抽取方法,可以同时获取词语搭配以及搭配结构信息.引入相对词序比(RRWR)的方法对候选搭配词语进行筛选,应用语言学中词语搭配组合规律对候选搭配的词性进行限定,利用互信息等统计学模型在大规模语料中进行词语搭配的自动抽取,抽取的搭配平均准确率为84.73%,较Xtract系统高4.7%,较国内同类工作结果高50.79%.并且在获...
基于规则的IPv4源程序到IPv6源程序的移植方法

关键词：源程序基于规则编程接口 ipv4 流媒体播放器 api ipv6 live 替换

在分析IPv4 Sockets API编程接口与IPv6 Sockets API编程接口异同的基础上,提出了一组替换规则,在不必阅读理解IPv4源程序的前提下,能将支持IPv4的源程序移植成支持IPv6的源程序.利用该移植方法,已成功地将Linux下的流媒体库LIVE和流媒体播放器Mplayer从支持IPv4移植成支持IPv6.
企业信息化水平评价模型及方法的研究

关键词：企业信息化水平评价信息化水平模糊评价方法现代集成制造内涵全生命周期评价过程模糊评价矩阵演示

在分析基于现代集成制造理念的企业信息化内涵的基础上,提出了贯穿企业信息化全生命周期的信息化水平评价模型,并采用多级模糊评价方法通过划分评价层次、设定权重系数,建立模糊评价矩阵从底层向高层依次评价得到信息化水平的综合评价结果,最后通过实例演示了评价过程.
RAPWBN的矩阵乘法并行算法

关键词：并行算法阵列处理器总线带宽矩阵乘法可重构计算字节整数运算二进制

在介绍带有宽总线网络的可重构计算阵列(RAPWBN)的基本结构及其二进制值的前缀和操作的基础上,提出了RAPWBN阵列上的整数求和算法,并由此得到了RAPWBN阵列上的两种快速高效的矩阵乘法运算并行算法.在具有N3个处理器和N2条行总线的RAPWBN阵列上,若总线带宽( )＞logN字节,矩阵乘法可以在O(1)时间完成;在具有N2个处理器和N条行总线的RAPWBN阵列上,...
基于GML的多源异构空间数据协同集成

关键词：异构协作控制空间数据集成 gml 协同体系结构协作模式

首先分析了空间数据集成的协作模式、协作控制机制,提出了基于GML的多源异构空间数据协同集成(GML-Based Cooperanve Integration of Multi-source Heterogenous Spatial Data,GCIMHSD)的体系结构,并对其中的关键流程进行了详细的剖析.
曙光超级机上面向连接的机群通信协议

关键词：机群通信应用程序通信协议接口高可用收发曙光超级服务器面向连接多协议底层

面向连接的简单机群通信协议BCL-SCOP为底层通信协议提供面向连接的协议接口,在目前的机群底层通信协议上实现高速可靠的数据传输,为应用程序提供简单高效的数据收发协议,并对底层协议透明,用户程序与底层协议无关能够方便地移植.应用程序对底层协议的透明使面向连接的协议接口能支持不同机制的协议,以及多协议的并行或高可用的通信.在曙光超级...
基于可分性判据排序的RBF神经网络属性选择方法

关键词：属性选择可分性判据 rbf神经网络降维排序属性重要性数据方法训练克服

提出一种基于数据属性重要性排序的神经网络属性选择方法.该方法只需对部分属性进行训练,即可进行降维.它克服了现有的神经网络降维方法必须对全部属性进行训练的弊端,大大提高了属性选择的效率.该方法先用本文提出的一种简单的可分性判据方法对数据属性进行重要性排序,然后按重要次序用RBF神经网络进行属性选择.仿真实例表明,该方法具有良好的...
人工智能在入侵检测分析引擎中的应用研究

关键词：人工智能引擎可适应性健壮性安全漏洞实时性方案参数优化基础

针对目前入侵检测系统(IDS)的缺陷与不足,将人工智能应用于入侵检测分析引擎的研究与开发.利用遗传算法的优良机理设计了一类测度参数优化算法,并在此基础上提出了一类混合入侵检测分析引擎,方案较好地避免了现有入侵检测引擎的缺陷与安全漏洞,增强了IDS的实时性、健壮性、高效性、并行性和可适应性.
多负载均衡器集群系统中负载均衡器故障恢复机制

关键词：负载均衡器集群系统备份 lvs 故障恢复实时可扩展性同步可用性网络连接

在LVS的基础上,设计了多负载均衡器的集群系统.在负载均衡器间采用了一种新的环形备份方法;负载均衡器均处于工作状态,互相提供备份;不需要专门的备份负载均衡器,具有很好的可扩展性.采用实时同步连接表的方法,在负载均衡器出现故障时可以不间断已有的网络连接,从而提高了集群系统的可用性.
GIS空间数据格式并行转换的调度算法

关键词：并行转换任务调度算法任务分配次序 gis tin

分析了GIS两种常见的空间数据格式(GRID、TIN)并行转换的可行性,并给出了两种基于Cluster结构的并行转换的任务调度算法.其中确定模式的调度算法实现比较简单,但在任务的执行有严格的次序;非确定模式的调度算法可以根据任务具体的执行时间确定任务执行的次序.实验表明:在任务分配不均衡时,非确定模式的调度算法效率更高.
城市地理编码系统应用与研究

关键词：自动机理论地理编码数据库系统体系结构动态规划算法编码系统描述应用情况城市地理组成部分剖析

给出了地理编码系统体系结构,剖析了该系统的各组成部分,其中对地理编码数据库和地址匹配两部分进行了重点描述,将自动机理论和动态规划算法应用到地理编码系统中,最后介绍了在实际中的应用情况.
空间关联规则挖掘算法研究

关键词：空间关联规则挖掘算法元模式大项集数据层对象用户多层次兴趣空间概念

提出了多层次空间关联规则的定义后,利用多层次的空间概念关系,给出了一种基于元模式的多层次空间关联规则挖掘算法APMLSAM;在此算法中,预先确定用户感兴趣的规则模式与对象,然后分别在该对象的各数据层上进行大项集的计数,最后得到与用户给定的元模式形式一致的空间关联规则.实验表明,算法是有效的.
非精确任务集的容错EDF调度

关键词：容错 edf调度算法调度性能软件错误系统任务单处理器吞吐量

该文将容错EDF调度算法和非精确计算技术结合起来,提高了算法的调度性能,使单处理器系统正常运行时具有高吞吐量,同时,在出现一个或多个偶发性软件错误时,仍能满足系统中关键任务的时限要求.
应用服务器中数据库管理服务模型的构造

关键词：数据库连接池应用服务器服务模型访问机制数据缓冲数据库管理数据库访问网络性能多用户关键技术

本文针对应用服务器中的数据库连接问题,提出了一个通用的数据库管理服务模型.该模型通过对数据库连接和访问机制的管理,改善了多用户数据库访问的网络性能,并可透明访问多种数据库,具有良好的可重用性.最后针对该模型的多线程、数据库连接池、数据缓冲与操作评价等关键技术进行了讨论.
基于语义与句法的Java类库检索方法与系统

关键词：类库 java类查询大规模软件数据类型模块软件开发检索方法检索系统自然语言

提出了一个支持系统化、大规模软件复用的基于语义与句法的可复用模块的检索方法,并介绍了基于此方法支持Java类库的实用检索系统.软件开发者既可以使用自然语言直接描述待开发软件的功能语义并用此查询类库中的相关模块,也可以通过对输入输出数据类型的描述对Java类库进行快速地查询,还可以同时使用两者的组合来提高可复用库模块查询的精度.
异构数据转化与信息系统的实现

关键词：异构数据 dbms 框架实例转化方法同一基础

提出了一种异构数据转化为同一DBMS管理下的数据的方法,并在此基础上阐述了Web异构数据信息的框架和方法,并给出了一个实例.
分布式关联规则挖掘中的聚类分区算法

关键词：关联规则挖掘聚类分区分布式环境算法工作原理实验证明

在分布式关联规则挖掘中首先需要解决分布式环境下的聚类分区问题,该文基于CURE的工作原理,提出了D-CURE算法.实验证明,D-CURE算法可以很好地解决分布式环境下聚类分区问题.
基于中间件的网络认证技术的研究与实现

关键词：中间件网络认证事务处理消息队列认证技术认证速度快速整体解决方案大用户机制

在大用户量的情况下,为加快认证速度,介绍了一种基于中间件的Internet认证技术,利用消息队列的可靠机制,为认证有关的复杂事务处理,提出了一个快速认证的整体解决方案,为类似问题提出了解决问题的思路.
局部k-子立方连通的超立方网络中的广播容错算法

关键词：超立方体容错性连通路由算法在线最优网络局部线性信息

基于局部k-子立方体连通性的概念,提出了在局部k-子立方连通的超立方体中的广播路由算法.该算法是分布的、基于局部信息的,在容错性上有了很大的提高,能在线性时间内构造超立方体Hn中接近最优的路径.
一种基于Linux的MPLSE-LSP的简单实现

关键词：lsp mpls 标记交换转发测试平台验证集成引擎模型

介绍了一种集成mpls-linux标记交换引擎和Linux Traffic Control实现E-LSP转发模型的简单方法.在此基础上建立简单的MPLS Diffserv测试平台,验证了MPLS与Diff-serv结合的可行性,为MPLS Diff-serv的实现提供了一种思路.
基于终端探测的IP性能测试系统

关键词：健壮性 ip 终端工作组丢包性能测试系统 ietf 探测记录生成

给出了基于终端探测的IP性能测试系统EDC的设计,通过该系统可以测量IETF的IPPM工作组所制定的一些标准的IP性能度量.在设计说明之后,讨论了丢包对生成测试记录的影响等健壮性问题,并阐明了设计的理论价值.
服务图在合成Web服务建模中的应用

关键词：web服务合成 uml建模会话建模方法驱动过程背景局限性概念

概括了合成Web服务的相关背景及传统UML建模方法的局限性,提出了服务图建模方法并将其用于有效的合成Web服务,举例说明了服务图的概念,给出了一个会话驱动的Web服务合成过程.
基于Linux带宽管理技术的研究与实现

关键词：带宽管理包过滤防火墙带宽控制模块互联网络用户功能

介绍了基于Linux带宽管理技术的工作原理,使用Linux在已有的网络上构建带宽管理模块,并配合防火墙包过滤功能,实现了在互联网络中针对不同用户和应用的带宽控制.
基于仿真的TCP拥塞控制研究

关键词：tcp拥塞控制 rtt 时延拥塞避免鲁棒性数据流算法原理协议估计方法仿真

研究了几种不同的TCP拥塞控制算法原理.通过对于TCP Reno和TCP Vegas协议的实验仿真,研究在不同的数据流和不同的网络条件下算法的性能差异.提出了一种改进的RTT估计方法,在拥塞避免阶段,采用时延的指数滑动平均值取代瞬时的RTT.实验表明,这种改进增强了TCP Vegas对于时延扰动的鲁棒性.
一种基于预测的动态负载均衡模型及算法研究

关键词：动态负载均衡负载迁移负载信息负载预测实现模型算法研究平衡系统抖动性能分析有效解

提出了一种基于负载预测的动态负载均衡方法,它改变了一般动态负载均衡方法中负载信息采集过时的情况,有效解决了负载迁移的抖动问题,提高了平衡系统的性能.给出了该方法的实现模型、算法,并进行了性能分析,最后给出了实验结果.
分布式网管F口调用的通用设计方法

关键词：调用分布式网管数据交互网管系统客户端通用设计信息交换电信管理网集中控制高效

在电信管理网中,F口作为客户端应用和网管系统的中介,负责处理两者之间的信息交换,其设计的好坏对于电信管理网来说至关重要.文章提出一种崭新的F口设计,它有效地简化了数据交互方式,很好地实现了集中控制,同时处理效率很高.由于F口是网管系统中相当重要的一部分,该设计对于确保整个网管系统的健壮和高效都有明显的现实意义.
超线程及其实现技术分析

关键词：超线程技术进程多线程实现技术细分应用实例工作原理条件优缺点基本概念

介绍了进程、线程和多线程的基本概念,详细分析了超线程的工作原理以及实现超线程所需的条件,分析了超线程技术的优缺点,给出了一个超线程技术的应用实例.
Chen-Zhu群签名方案的密码学分析

关键词：群签名密码学管理员消息方案成员生成名方分析学分

2000年,Chen-Zhu提出了一种优于已有方案的群签名方案.该文认为该方案是全局可伪造的,群管理员可以对任何消息假冒任何成员生成有效的群签名.
基于软件安全混合加密技术的研究

关键词：软件加密数据加密技术软件安全混合加密钥匙盘加密软件软件保护商品软件盗版廉价

以几种著名的数据加密算法及软件加密技术作为研究内容,利用数据加密技术DES和RSA算法、机器硬件指纹、钥匙盘等技术对软件进行混合加密技术的实现,数据加密技术混合应用在软件保护加密技术上,更加加强了软件安全性及保密强度,解决了目前软件加密安全性不高的难题,对于重要数据加密技术研究与防软件盗版既有理论研究价值又有实际应用意义.为各种...
同步链路密码机中的流量控制技术

关键词：流量控制技术密码机链路数据流量同步性能分析对流流量控制机制

分析了链路密码机数据流量产生变化的原因及其造成的危害.针对流量变化的不同原因,给出了丢弃、重发以及续接3种流量控制机制并进行了性能分析.
基于PGP加密算法的AKA认证改进机制

关键词：pgp aka 加密算法认证加密原理过程融合机制流行分析

简要地分析了3G移动通信中AKA认证的基本过程,介绍了目前流行的加密算法PGP的加密原理,通过分析AKA认证现存的问题和PGP算法的优越性,提出了一种旨在提高AKA认证安全性能的改进机制,即将PGP算法有效地融合到AKA的认证过程中.
Linux防火墙中FTP透明的设计和实现

关键词：防火墙 ftp 服务器技术实现 ip 设计思想传统

提出了一种在Linux防火墙中利用传统应用结合IPtables技术实现FTP透明的设计思想,并利用提出的思想开发了Linux防火墙中FTP明服务器.

计算机工程杂志

计算机工程学术信息

期刊导航：

多Agent VSK-AF逻辑

基于服务质量的多领域服务配置

弹性界面的设计与实现

基于语义层软件理解的形式化格局识别技术

基于GT-ERP的面向大规模定制的客户订单管理

消息联盟系统中保持消息因果序协议的研究

分形理论在网络流量分析中的应用综述

图像纹理分析的灰度-基元共生矩阵法

基于框架的词语搭配自动抽取方法

基于规则的IPv4源程序到IPv6源程序的移植方法

企业信息化水平评价模型及方法的研究

RAPWBN的矩阵乘法并行算法

基于GML的多源异构空间数据协同集成

曙光超级机上面向连接的机群通信协议

基于可分性判据排序的RBF神经网络属性选择方法

人工智能在入侵检测分析引擎中的应用研究

多负载均衡器集群系统中负载均衡器故障恢复机制

GIS空间数据格式并行转换的调度算法

城市地理编码系统应用与研究

空间关联规则挖掘算法研究

非精确任务集的容错EDF调度

应用服务器中数据库管理服务模型的构造

基于语义与句法的Java类库检索方法与系统

异构数据转化与信息系统的实现

分布式关联规则挖掘中的聚类分区算法

基于中间件的网络认证技术的研究与实现

局部k-子立方连通的超立方网络中的广播容错算法

一种基于Linux的MPLSE-LSP的简单实现

基于终端探测的IP性能测试系统

服务图在合成Web服务建模中的应用

基于Linux带宽管理技术的研究与实现

基于仿真的TCP拥塞控制研究

一种基于预测的动态负载均衡模型及算法研究

分布式网管F口调用的通用设计方法

超线程及其实现技术分析

Chen-Zhu群签名方案的密码学分析

基于软件安全混合加密技术的研究

同步链路密码机中的流量控制技术

基于PGP加密算法的AKA认证改进机制

Linux防火墙中FTP透明的设计和实现

相关论文