MANET路由协议的正确性分析

移动自组网(MANET)是当前网络研究的一个热点,但是由于安全问题致使其未能广泛应用.在安全问题中,路由协议的正确性尤为重要.采用形式验证方法分析了MANET非安全路由协议和安全路由协议的正确性.首先给出了协议正确性的形式描述以及攻击者的形式定义,将协议的正确性分为安全性(Safety property)和活性(Liveness property),前者指协议所发现的路由具有某些良好的性质,后者指协议能够发现路由而且能够顺利地传输数据;然后提出了两个活性证明规则--响应性证明规则和反应性证明规则,并用所提出的活性证明规则在Isabelle/HOL中证明了DSR协议和SRP协议的正确性.     

一种计算Cantor三分集盒维数的有效方法

给出了一种计算Cantor三分集盒维数的有效方法.该方法比其它方法在理论上更容易验证,在应用中更适合于数值计算,为计算其它分形集的盒维数提供了一种思路.     

再议数字图书馆概念

本文指出目前数字图书馆概念上的误区,分析了各种数字图书馆概念产生的原因,并提出了及论述了数字图书馆的定义及数字图书馆的概念体系。     

行业协会概念辨析

行业协会不同于一般的社会组织,它的出现是对传统国家管理的修正,是社会发展的必然,在政府与社会之间发挥着重要的桥梁和纽带作用。探讨了行业协会的基本性质,给出了自己对于行业协会的定义,并对几个相似概念进行了辨析。     

工业旅游效益探析

本文对工业旅游的定义、特点及国内外发展现状作了初步的探讨,对工业旅游的效益进行了较详细的分析,笔者认为工业旅游最大的效益是社会效益。     

Riemann积分和Lebesgue积分的本质区别

本从Riemann积分和Lebesgue积分的定义出发，揭示它们的本质并不是划分的不同，而是在于分别由其可积函数全体构成的空间是否具有完备性。     

一种关于分布式工作流管理系统的设计方法

基于分布式工作流技术是计算机应用领域的一个较新的研究方向,分析了当前分布式工作流技术的研发现状,提出了一种基于XPDL文件的分布式工作流管理系统DWF,实现对XPDL文件的分片执行,为分布式工作流管理系统的设计提供了一种方法.     

非紧度量空间上的膨胀性

讨论了非紧度量空间上的膨胀性，给出了具有性质L的度量空间上映射膨胀、正膨胀以及非负膨胀的生成元刻画定义，并证明了在具有性质L的度量空间上，映射f膨胀、正膨胀、非负膨胀相应地等价于f^k膨胀、正膨胀、非负膨胀。     

交流正弦电路的功率定义及功率补偿

从分析交流正弦电路的瞬时功率出发，提出新的功率成分定义，各种功率成分都有明显的物理意义，该定义可扩展到非正弦交流电路，对电力有源滤波器的设计具有指导意义。     

网络信息资源的组织与管理

本文从网络信息资源的定义与特点出发,探讨了网络信息资源组织与管理的必要性,介绍了国内外网络信息资源组织与管理的进展,并提出了网络信息资源组织与管理的模式。