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

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

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

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

工作流模型检测研究

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

二维不规则图形和印制板电路区域运算的算法研究

区域运算是轮廓求解算法集中的核心算法，本介绍适用于复杂ＰＣＢ电路和二维不规则图案的一种区域运算算法，阐述了它的数字模型，算法描述，正确性证明和复杂性分析，与典型的算法比较，它有明显的优越性。     

二维不规则图形和即制板电路区域运算的算法研究

区域运算是轮廓求解算法集中的核心算法．本文介绍适用于复杂ＰＣＢ电路和二维不规则图案的一种区域运算算法，阐述了它的数学模型、算法描述、正确性证明和复杂性分析．与典型的算法比较，它有明显的优越性．     

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

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

基于数学形态学的骨架抽取算法

骨架是图象几何形态的重要拓扑描述，在图象分析领域有广泛应用。本文给出了利用数学形态学方法抽取图象骨架的算法及对该算法的详细证明。利用骨架算法得到的骨架子集可部分或完全重建原始图象，因而可用于对原始图象编码或描述原始图象的特征。该算法适用于模拟空间，同时也适用于数字空间。本文还给出了数字空间中的快速骨架抽取算法，以及利用骨架子集完全或部分重建原始图象的实例     

二维不规则复杂图形轮廓求解的算法研究*

本文介绍了适用于复杂PCB电路和二维不规则图案的一种轮廓求解算法．阐述了它的数学模型、算法描述与实现、正确性证明和复杂性分析，并给出了在一台基于PC386多功能CAD/CAM系统(CACAO)上的加工实例．     

二维不规则复杂图形轮廓求解的算法研究

本文介绍了适用于复杂ＰＣＢ电路和二维不规则图案的一种轮廓求解算法，阐述了它的数学模型、算法描述与实现、正确性证明和复杂性分析，并给出了在一台基于ＰＣ３８６多功能ＣＡＤ／ＣＡＭ系统（ＣＡＣＡＯ）上的加工实例。     

小尺寸工件在线检测系统中的图像边缘检测

本文描述了用于小尺寸工件线检测系统的图像预处理技术及边缘检测技术，重点介绍了几种平滑算法和边缘检测算法及它们之间的比较，进而总结归纳了一种适用于小尺寸工件检测系统的、具有实用价值的边缘检测算法，该方法不仅执行速度快，而且精度高，填补了国内该领域的空白。     

最小耗费生成树剔除算法及其正确性证明

文章提出了一种新的最小耗费生成树的算法，并对其正确性进行了证明。该算法通过从原图中逐步别除边来形成生成树，特别适用于当原图中边数较少(相对于顶点数)，或原图规模不大的情形。     

一个有效的重复快照算法

快照算法是很多分布式应用的基础。本文提出了一个适用于非ＦＩＦＯ异步分布式系统的重复快照算法。算法给消息附上快照编号，使用了ｔｏｋｅｎ传递，控制消息复杂度为Ｏ（ｎ），各进程上使用较少的空间。使用该算法，任一进程任何时候都可得到一个一致的全局状态。文中证明了算法的正确性，并讨论了算法的适用性。     

基于CPN的接纳控制系统建模与仿真

利用着色Petri网(CPN),在CPN Tools平台上建立自顶向下的分层自适应OFDMA系统接纳控制模型。该模型能直观描述系统过程,具有开放性,适用于不同算法或到达间隔与处理时间不服从指数分布的业务。采用Monitor监控器分析模型性能,并与M|M|m|n排队模型进行仿真比较,结果验证了该模型的正确性和优越性。     

基于网点的自学习模糊逻辑系统

提出网点的概念与构造模糊逻辑系统的方法，给出了易于实现的学习算法。该方法适用于模糊规则难以获得而输入输出数据可得的情况，可用于设计基于样本的模糊控制器和系统模糊建模。理论分析和数字仿真说明了该系统的正确性与实用性。     

用于管理信息系统检索的自然语言接口模型

本文提出了一种适用于管理信息系统中关系数据库查询的自然语言接口模型。该模型具有简单实用的特点，它既能理解用户以中，英文自然语言描述的检索要求，也能直接接受数据库操作命令，从而可以满足不同水平用户的要求。文章介绍了该模型的基本原理，算法及特点。     

基于拜占庭容错的前摄恢复算法

针对现有拜占庭容错中的恢复算法不适用于主动复制品的这一问题,提出支持有状态复制品的前摄恢复算法。每个复制品维护一个恢复队列。当到达一个检查点后,使用该前摄恢复算法复制品检查恢复队列,在服务复制品发生错误前,提前将复制品恢复成正确的状态。如果复制品已经出错,该算法也适用。实验分析结果显示算法的有效性。     

一种适用于分布式最佳双环局部网络的路由算法

本文提出了一种适用于分布式最佳双环局部网络的路由算法,文中称之为局部地址信息(LAI)算法.该算法具有分布适应式特点;它以局部地址信息为基本依据,开销小;在正常状态下,本路由算法能使信包经由最短路径抵达信宿,在故障状态下,它能使信包绕过故障节点或链路,准确寻径.文中着重描述了LAI路由算法规则,给出了实现本算法的过程,并对其有效性和正确性进行了模拟验证.     

基于遗传算法的QoS路由选择与仿真

该文提出了一种实现QoS路由选择的遗传算法，并以端到端的单点投递路由选择为例，详细地描述了该算法的实现过程。在该算法中采用一种新的编码方法，提出了一种新的适用于路由选择的交叉和变异算法，有别于已有的路由选择遗传算法。仿真结果表明此算法是可行的、有效的。     

基于虚拟执行的动态工作流演进算法

为实现工作流管理系统中工作流演进的控制,解决流程实例动态调整的问题,给出工作流模型相关定义的形式化表示及正确性标准,提出基于数据流相关信息历史记录的虚拟执行算法,适用于模型结构变化及模型存在循环结构等情况.该算法能判断流程实例能否迁移,通过回退和撤销的策略保证工作流实例快速迁移.具体应用实例证明了迁移算法的正确性与可行...     

一种基于脉冲耦合神经网络的最短路径算法

提出了一种基于脉冲耦合神经网(Pulse—Coupled Neural Network，PCNN)的最短路径算法。通过对PCNN做很小的改变，该算法不但具有和Hopfield神经网络相同的并行处理特性，适用于求解大规模实时问题，而且还能一次求出源点到其它所有目的点的最短路径．根据PCNN的模型和运算规则，本文证明了该方法的正确性并分析了其复杂度．文中还将该算法运用于通信网络的路由选择．