一种适用于通信协议自稳定性的恢复算法

主要提出了一种适用于通信信议自稳定性的恢复算法，先论述了适用于该算法的有关概念及形式描述方法；接着描述了该恢复算法，并给出了该算法的正确性证明及复杂性分析；最后通过一个多进程通信协议的实例研究，验证了该算法的正确性和有效性。     

一种基于容错Web Services的日志恢复算法

一般基于日志的容错恢复算法会丢失请求.文章基于被动复制模式描述了一个基于日志的算法,其主要思想是将消息类型分类记载和恢复.该算法能有效克服请求丢失的情况.实验表明了该算法的正确性.     

通信协议的全局状态算法及自稳定性

本文主要研讨了一类适应于通信协议的全局状态算法及协议的自稳定性。文中先论述了一种适应于协议全局状态的基本算法，讨论了该算法对全局状态的适用性及对协议自稳定性的局限性；然后论述了一种增强算法，该算法不仅适用于协议的全局状态，而且适用于增强协议的自稳定性，文中给出了该增强算法的正确性证明及复杂性分析，并通过协议实例验证了该算法的可用性及有效性。     

时间符号迁移图上的可达性分析

提出了以时间符号迁科为建模语言、基于可达性分析的模型检测算法，并给出了算法的正确性证明。该算法可被用于硬件设计和通信协议验证等领域。     

工作流模型检测研究

研究了利用模型检测技术对WPDL描述的工作流模型的正确性的检测方法，提出了工作流模型的正确性检测指标及其CTL*公式描述，以及博弈算法实现工作流模型的正确性检测，该方法的特点是具有较强的检测指标描述能力及高效的检测算法。     

一种通信协议的瞬时逻辑验证系统

本文运用莫绍揆教授所描述的数理逻辑的公理系统再扩充二个瞬时逻辑运算而构成的通信协议证明系统(VSCP)来证明用语法规则和并发PASCAL的混合说明方法所描述的机器人多微机系统的通信协议的正确性,与此同时还说明了VSCP的有效性、广泛的适应性和灵活性.     

基于分布计数的基数排序方法的研究

排序是计算机科学中一个非常重要的问题.提出了一种基于分布计数的基数排序方法,给出该算法定义、算法描述、算法正确性证明和算法分析;讨论了基于该排序算法几个关键问题的解决方法.算法理论分析和实验结果研究均表明该算法时间复杂度为O(N),速度优于快速排序,是一种高效的排序方法.     

基于局域网的系统级概率分布式故障诊断

提出了一个系统级概率分布式故障诊断的算法 ,它能诊断局域网及其类似系统中结点机故障和链路故障 .该算法突破了现有研究成果中要求网络中故障结点数不超过 t(t相似文献   

进程调度模型的Spin验证分析与改进

Spin不仅可以用于通信协议的正确性验证,也可以对其进行有效的安全性分析.对用Promela语言描述的进程调度模型进行分析研究,并对其存在的不足加以改进.增加了LTL式描述,用spin进行模型检测验证,使用Xspin得到了反例状态迁移轨迹图.     

CRC码串并结合算法的研究与实现

CRC码以其算法简单、检错能力强、抗干扰性能优异等特点,广泛应用于各种通信协议中。这里在分析CRC串行算法和并行算法的基础上,提出串并结合的算法。CRC循环冗余串并结合算法相比CRC串行编码,大大提高了计算速率;相比CRC并行编码,克服了通信中数据位非8的整数倍的问题。以CRC-ITU生成多项式为例,通过仿真,验证了该算法的正确性和可行性。     

二维熵阈值法的修改及其快速迭代算法

提出二维熵阈值法的一种修改方法和其快速迭代算法。针对传统二维熵阈值法及其递推算法的高计算复杂性的不足,首先对二维直方图所对应的二元概率分布进行修改并得到一种新的二维熵阈值法。其次假设二维直方图所对应的二元概率分布是连续可微的条件下导出的修改后的二维熵阈值法的快速迭代算法。实验结果表明,文中提出的修改二维熵阈值法及其快速迭代算法是可行的,且快速迭代算法的时间消耗相对其递归算法有很大程度地降低。     

基于双群双域四向水平倾角最小化圈绕的凸壳并行新算法

本文针对现行凸壳算法(诸如:串行类的卷包裹凸壳算法、格雷厄姆凸壳算法等,并行类的折半分治凸壳算 法、快速凸壳算法等)效率不高的缺点,根据同构化凸壳构造基本定理,利用工作站机群优点,提出了效率更高的双群(即:其机群分为2个子机群)、双域(即:其数据分布域分为2个子分布域)、四向(即:其每个子分布域内凸壳顶点的寻找方向均各自为顺时针、逆时针2个寻找方向)水平倾角最小化圈绕的凸壳并行新算法.     

用于功率电源特性测试的负载设计与控制

对功率电源特性测试中使用的电阻负载,介绍了其阵列结构模式的设计原理。提出了直接控制和预置控制两种算法,分析了直接控制算法存在的问题,着重介绍了预置控制算法的优点和可行性。通过在自研发的大功率充电机稳压及纹波特性测试仪上的应用,证明了预置控制算法的有效性。     

路径测试用例自动生成中的搜索算法分析

软件结构测试数据生成一直是软件测试领域一个较为复杂的问题,方法和手段尚未成熟。基于程序直接执行的测试数据生成方法因其动态性,显示出一定的优越性,但作为其核心的搜索寻优算法一直不能尽如意。该文在深入了解现有典型算法缺陷的前提下,从搜索过程中的几个方面进行分析,探讨了有助于改善的若干手段,目的在于提高算法效率,提高其实用化程度,显示出不错的实验效果。     

模糊免疫算法及其在模拟电路故障诊断中的应用

对模糊免疫算法应用于模拟电路故障诊断进行了研究;首先简要介绍了免疫系统的工作机理及一些基本概念,然后在此基础上构建出一种模糊免疫算法,并将免疫算法和模糊聚类法结合起来进行故障诊断;人工免疫算法起到学习样本的作用,以寻找到各样本组的聚类中心;而模糊聚类算法则准确地完成对样本的分类任务;仿真实例表明:立足于模拟电路故障诊断字典法,该算法对模拟电路故障诊断非常有效。     

一个新的不需要候选集的挖掘关联规则算法--Relim算法的研究

Fp-growth算法是当前挖掘频繁项目集算法中速度最快,应用最广,并且不需要候选集的一种挖掘关联规则的算法。但是,Fp-growth算法也存在着算法结构复杂和空间利用率低等缺点。Relim算法是在Fp—growth算法的基础上提出的一种新的不需要候选集的挖掘关联规则算法。它具有算法结构简单,空间利用率高,易于实现等显著优点。本文在详细阐述Relim算法后．对Fp-growth算法和Relim算法的性能进行了分析和比较。结果表明,Relim算法尽管结构简单,但其运行速度与Fp-growth算法相比并不慢,而且当对最小支持度高或者频繁规则比较少的数据集进行挖掘时,Relim算法的运行速度往往比Fp—growth算法要快。     

基于状态方程的预测最优控制

本文提出了一种新的预测控制算法——基于状态方程的预测控制算法,推导了预测最优控制律;然后将该算法推广,提出一种关于高维系统的预测指标与状态预测算法以及最优预测控制算法,并给出该算法收敛的充分条件;最后介绍了该算法在导弹飞行控制系统中的应用及仿真结果。     

基于CML的JPEG格式兼容加密算法

保持MPEG-4视频格式兼容的选择加密算法有很多应用优势,但并不适用于JPEG图像。该文基于耦合映像格子系统,提出几种保持JPEG格式兼容的基本加密技术,并对其进行改进。分析改进后算法的安全性。实验结果证明,该算法对JPEG图像编码加密具有较高的实用价值。     

A work-efficient distributed algorithm for reachability analysis

This work presents a novel distributed symbolic algorithm for reachability analysis that can effectively exploit, as needed, a large number of machines working in parallel. The novelty of the algorithm is in its dynamic allocation and reallocation of processes to tasks and in its mechanism for recovery from local state explosion. As a result, the algorithm is work-efficient: it utilizes only those resources that are actually needed. In addition, its high adaptability makes it suitable for exploiting the resources of very large and heterogeneous distributed, nondedicated environments. Thus, it suitable for verifying very large systems. We implemented our algorithm in a tool called Division. Our experimental results show that the algorithm is indeed work-efficient. Although the goal of this research is to check larger models, the results also indicate that the algorithm can obtain high speedups, because communication overhead is very small.     

基于模拟退火并行遗传算法的Otsu双阈值

模拟退火和并行遗传算法是两种较好的改进进化算法性能的方法。将这两种思想有机地结合起来,利用遗传算法能全局寻优的优势和模拟退火算法的爬山性能,提出了一种基于模拟退火并行遗传算法的Otsu双阈值医学图像分割算法。在该算法中,进化在多个不同的子群中并行进行,利用模拟退火算法的爬山性能,避免单种群进化过程中出现的过早收敛现象,提高整个算法的收敛速度。实验证明,这种新的图像分割算法与并行遗传算法相比,不仅能够对图像进行准确的分割,而且具有更强的精确性和稳定性。其收敛速度明显比并行遗传算法的Otsu双阈值医学图像分割快。