一种CBRP的改进协议,刘凯歌,李腊元,论文首先简单介绍了AdHoc分级网络中几种常见的分簇算法和CBRP分簇路由协议,然后针对CBRP协议分簇算法的不足,把最小ID分簇算法改进��
Web服务的相容性分析是为了保证多个Web服务之间的正确交互。基于Pi-演算对Web服务的相容性进行了形式化的分析,给出了二个Web服务之间相容性的两个形式化定义。同时定义了二个Web服务进程之间的投
一种新的混沌序列对CDMA系统的影响的研究,李凤雷,李艳萍,文中提出了一种基于logistic映射的多级并联混沌系统,经过仿真分析,此系统产生的混沌序列的归一化自相关在时间间隔等于零时为1;互
Inordertoimprovethepredictionaccuracyofnetworktraffic,anovelpredictiontrafficmethodisproposed.Inthis
一种新的客户流失预测模型评估指标,徐志远,靳浩,随着通信业务不断发展,体制改革不断深入,使得国内外运营商竞争日益激烈,各大运营商普遍存在客户流失的现象。如何解决客户流失
提出了一种基于SIFT和Krawtchouk矩不变量的图像配准方法。通过SIFT关键点检测方法检测关键点;对每个关键点计算其邻域的Krawtchouk矩不变量,并将其构成描述关键点的特征向量;计算关键
针对现有身份认证技术存在的缺点,将PKI技术与挑战/应答认证机制相结合,提出了一种新的基于PKI的动态身份认证系统,并具体论述了该系统的结构和认证协议,同时对此身份认证系统的安全性进行了分析,指出了优
如何对电子商务协议进行分析与验证一直是研究的热点,基于ATL(交替时态逻辑)对电子商务协议中的公平交换协议(FairExchangeProtocols)进行形式化分析与验证,并选取了其中的一个电子合同
数学形态学是一种非线性滤波方法,应用数学形态学进行非线性图像处理已经发展成为图像处理的一个主要研究领域。基于CB(Contour-Based)形态学的方法,提出了一种改进的形态学边缘检测算子,能够有效
使用控制模型UCON是高度分布式、网络化的异构开放式计算环境下实现数字资源保护的新型访问控制模型。首先,利用态式时间进程代数 TCSP#建立了每个 UCON 核模型的形式化规约,以及针对一般化UCON