扩展有限递归进程模型

主要讨论离散事件动态系统的建模问题。由ＫＩｎａｎ和ＰＶａｒａｉｙａ提出的有限递归进程（ＦＲＰ）是描述并发离散事件动态系统的有力工具，但在其ＦＲＰ中，没有定义对数据变量的操作和条件转移算子。本文扩展ＦＲＰ包括这两方面内容。最后举例说明扩展ＦＲＰ的描述能力。     

RAID系统的双控制器研究及实现

本文介绍了RAID子系统中双控制器的结构,比较和分析了能够实现双控制器的两个方案,并针对通常的双控制器实现方案中存在的故障检测、故障处理和cache镜象等问题提出了相应的解决方案。     

RAID系统的结构化模型、

分析RAID系统组成,按功能分成target,内存管理,RAID管理和initiator四个部分,对各个部分的功能简单说明。     

模糊时间Petri网的时间推理及其在过程监测中的应用

针对传统分析方法的不足,提出用线性逻辑给出模糊时间Petri网描述和时间推理的方法。该方法能清楚地分析模糊时间Petri网的运行行为,具体例子说明了其在系统过程监测和诊断中的应用。     

具有重置时间切换服务系统的动态稳定性

由一个Server和多个Buffers组成的考虑重置时间的切换服务系统可建模为连续 流切换系统.当采用优先权调度策略时,证明了切换服务系统的连续状态轨迹能一致收敛于 惟一的周期轨道,指出周期轨道与初始状态无关,并给出收敛速度估计.     

数控系统定位误差的测量与补偿

以一维、二维的误差测量及补偿为研究主线，详细阐述了一维及二维误差补偿的原理和方法，在试验中使用该补偿方法，使得数控系统定位精度大大提高，说明计算机误差补偿技术是提高加工精度的经济可行的方法。     

一种快速压缩遗传算法及其仿真研究

给出了压缩遗传算法的模式定理以及收敛性和运算参数的分析，并提出一种快速压缩遗传算法(fcGA)．该算法用压缩遗传算法(cGA)运行少量代数得到的概率值及其运行代数组成一个观测样本，借助于统计学中的最小二乘法估算几万代以后的概率值，组成新的概率矩阵并根据该矩阵产生新的个体，用这些新的个体更新概率矩阵．旅行商问题(TSP)的仿真证明，该算法是一种十分高效的遗传算法．     

基于RADIUS协议的AAA服务器设计及其在移动IP中的应用研究

本文首先简要介绍了AAA的基本概念与体系结构，并重点分析了当前主流的RADIUS协议．主要包含RADIUS协议的框架和原理，然后给出了基于RADIUS协议的AAA服务器的设计，并对该服务器在移动IP中的应用做了探讨．最后分析了AAA技术的发展趋势。     

多服务器排队网络的规则行为

考虑由多服务器和任务队列网络组成的切换流网络,任务流从外部流入网络节点缓存 的速率是随机的,每个网络节点处任务流由指定的共享服务器按不同速率移向唯一的下游节点 缓存内.当随机任务到达流符合有界性或周期性统计规律时,本文给出了网络动态具有稳定的 规则行为的判别条件.