RSL在协议形式化描述中的应用研究

将RSL引入协议工程，探讨了对协议进行形式化描述的一条新途径。为RSL扩充了时间描述机制，讨论了基于两类基本模型（状态模型和进程模型）的协议描述方法及一般描述步骤。以示例方式给出了RIP路由简化算法的RSL形式化描述。与其他方法相比，扩充后的RSL描述能力强，描述手段灵活，能更有效地支持验证、测试等后续阶段的工作。     

串空间方法分析协议公平性的研究

探讨了将串空间模型应用于描述安全协议公平性的方法,并提出串空间模型描述公平协议的一些问题。分析了在描述公平协议时,串空间模型需要进行的几个扩展,包括:描述协议步骤在什么情况可以执行的扩展;描述协议执行过程中角色动态分配的扩展;描述协议步骤同步执行的扩展。应用扩展后的串空间模型对KM协议进行了形式化描述。     

一种基于CSP的协议模型技术

讨论了为建立协议模型而进行的CSP扩充问题．主要向CSP中引入了可终止进程的概念，给出了可终止进程的判定方法；提出了用CSP来描述异步通信的手段；介绍了如何实现从FSM模型向CSP模型的转换；最后给出了AB协议的CSP描述．     

CSP和RSL应用于协议形式化描述的研究

文中用一种新的形式化描述语言RSL来描述网络协议，采用通信顺序进程CSP为模型。该模型基于进程代数，能用严密的代数演算方法验证协议性质，文中对CSP模型和RSL语言作了时间的扩充，并且给出了从CSP模型到RSL语言的转换步骤及规则，最后给出了一个TFTP的实例来说明RSL语言在协议描述上的适应性。     

基于Spin的Rdt2.2及其改进的形式化分析

用Promda语言对滑动窗口协议中的Rdt2.2模型进行了描述,通过Spin对该描述进行了形式化分析验证,并发现存在一个死锁.进而对该协议进行改进,采用添加定时器的方法解决了死锁问题,通过这种形式化验证增加了协议的正确性和可靠性.     

SPVT:一个有效的安全协议验证工具

描述了基于Objective Caml开发的一个安全协议验证工具SPVT(security protocol verifying tool).在SPVT中,以扩展附加项的类(演算作为安全协议描述语言,以扩展附加项的Horn逻辑规则描述协议攻击者的Dolev-Yao模型,通过一组抽象规则将安全协议的类(演算模型转换为逻辑程序模型,基于安全协议逻辑程序的不动点计算验证安全性质,从安全协议逻辑程序的不动点计算和安全性质的验证过程中构造不满足安全性质的安全协议反例.以简化的Needham-Schroeder公钥认证协议为例,描述了使用SPVT自动验证安全协议的过程,表明了SPVT用于安全协议验证的有效性.     

安全协议的关联性研究

关联性是安全协议的基本特征，该文提出了协议相关性的分析方法，从主体认证关联、消息间关联、消息内部关联 3个角度分析了协议的相关特征，阐述了相关性的概念和关联规则构建方法，构建了基于关联性的协议描述模型，为安全协议的形式化分析提供了新的思路。     

一种改进的Woo-Lam密码协议模型

提出了一种改进的Woo-Lam密码协议模型，即eWoo-Lam模型。与Woo-Lam模型相比，新模型具有以下特点：增强了模型中关于密码学原语操作的描述语法，使得对密码协议主体行为的描述更加精确，提高了模型在检测协议攻击方面的能力； 引入了匹配运算机制，保障了模型安全性证明的有效性； 提出了七条形式化准则，规范了模型的抽象过程； 扩充了模型基于状态迁移的形式语义，使其更加精确合理； 重新给出了模型安全性的形式定义，使其更具一般性。     

RSL应用于协议形式化描述的研究

在RSL形式语言的基础上扩充了时间描述机制，使其能够描述协议的实时性；并且根据该语言的特点．提出了一种面向对象的FSM模型(OOFSM)，该模型将面向对象技术与FSM相结合．既可以有效地解决当构造复杂协议时FSM所面临的状态爆炸问题，又可以使所描述的协议具有可重用性、可组装性且易于维护；最后给出了一个实例说明OOFSM的建模过程．并用扩充的RSL进行了形式化描述。     

软件开发方法的几种过程模型研究

良好的软件开发过程模型,对高效率、高质量和低成本地开发软件,具有重要的指导意义。本文介绍了软件过程模型的构造和特点,并从最传统的线性顺序过程开始,对瀑布模型、原型模型、演化模型、螺旋模型、RAD模型等模型的结构、特点作了具体的分析。     

测控系统指显数据处理方法

航天测控系统数据传送采用独特的协议格式,对数据处理解算的方法有着较高的要求.为了高效、通用、全适应的完成对航天系统测控数据的处理解算显示,针对其数据格式特点建立模块化字节流处理模型和遥测数据处理模型,可根据不同类型数据格式灵活选取合适的数据处理模型完成处理,保证数据处理的正确性和可靠性前提下,提高了测控系统指显数据处理的适应性和通用性.     

CPU/GPU 异构环境下图像协同并行处理模型

随着GPU通用计算能力的不断发展,一些新的更高效的处理技术应用到图像处理领域.目前已有一些图像处理算法移植到GPU中且取得了不错的加速效果,但这些算法没有充分利用CPU/GPU组成的异构系统中各处理单元的计算能力.文章在研究GPU编程模型和并行算法设计的基础上,提出了CPU/GPU异构环境下图像协同并行处理模型.该模型充分考虑异构系统中各处理单元的计算能力,通过图像中值滤波算法,验证了CPU/GPU环境下协同并行处理模型在高分辨率灰度图像处理中的有效性.实验结果表明,该模型在CPU/GPU异构环境下通用性较好,容易扩展到其他图像处理算法.     

软件开发方法的几种过程模型研究

良好的软件开发过程模型，对高效率、高质量和低成本地开发软件，具有重要的指导意义。本文介绍了软件过程模型的构造和特点．并从最传统的线性顺序过程开始，对瀑布模型、原型模型、演化模型、螺旋模型、RAD模型等模型的结构、特点作了具体的分析。     

杂波环境下雷达信号处理的SystemVue建模与仿真方法研究

对雷达信号处理的仿真建模方法进行研究,利用SystemVue仿真平台中专用的雷达模型库构建雷达系统仿真模型,并对杂波环境下的雷达信号处理过程进行雷达系统的建模与仿真实现。首先,分析雷达回波生成过程及雷达信号处理的基本原理;其次,研究雷达仿真模型库中目标模型、杂波/噪声模型、脉冲压缩模型、MTD模型、CFAR模型的功能作用及参数设置;最后,利用SystemVue仿真平台搭建杂波环境下雷达系统仿真模型,并基于矩阵类型的数据对雷达信号处理过程进行仿真。经过仿真,雷达系统模型的信号处理结果与理论相符,验证了该仿真模型的正确性。     

脉冲多普勒雷达信号处理仿真系统研究

为了提高雷达信号处理系统性能,研究信号处理系统模型算法,构建了一个雷达信号处理系统仿真模型.在对雷达信号处理模型算法详细分析的基础上,利用Matlab工具实现对该算法模型的仿真验证.通过对仿真结果的分析,可以看出该算法能够准确提取目标的距离、速度信息,对杂波和噪声的抑制能力较强,验证了信号处理仿真系统模型的可行性和算法的可靠性.     

A two-stage stochastic model of limitations in human visualinformation processing

A stochastic model of perceptual encoding is formulated and derived for the purpose of extending an existing queuing model of the central decision-making stage of visual information processing. The new combined model can account for processing capacity limitations that arise from both perceptual and central processing limitations. The new model provided an acceptable parameter fit to extant data     

基于.NET的企业级并行模型设计与实现

为了合理有效地利用企业的计算资源,快速高效地进行企业业务处理,建立了一个企业级并行处理模型.提出了业务处理与业务请求相互分离,介绍了.NET框架下的远程处理机制,解决了服务的注册、动态加载、请求和实现等相关问题.实例表明该模型能有效地利用企业计算资源来完成并行业务处理.     

面向制造业的RFID复杂事件处理

在自动数据采集中,如何维持无线射频识别(RFID)技术对海量数据的处理效率极为重要。针对RFID数据的特点以及目前RFID数据处理方法的不足,提出一种基于复杂事件处理的RFID数据处理模型,并提供相关的定义,阐述其功能模块及解决方案。该模型实现了从大量的RFID原始数据中提取出对应用程序有意义的事件。最后以面向制造业的RFID应用为例对基于复杂事件处理技术的RFID数据处理模型进行了研究并说明了其应用优势。     

分布式RFID复杂事件处理技术的研究

目前RFID复杂事件处理技术的研究主要针对集中式的处理。集中式RFID复杂事件处理技术对于海量RFID数据的处理具有很多局限性,主要表现为网络通讯代价高和处理效率低。针对集中式RFID复杂事件处理存在的问题,本文研究了分布式环境下RFID复杂事件处理的关键算法,采用一种Pull(抽取)类型的数据通讯模型来降低通讯代价,在此基础上提出了两种分布式的RFID复杂事件处理算法。实验结果表明,本文提出的分布式RFID复杂事件处理算法比集中式复杂事件处理算法更有效。