论文部分内容阅读
安全协议的形式化分析是网络安全领域的研究热点。本文以运行模式法为基础，Petri网为工具，给出一种分析安全协议的具体方法，并以TMN协议为例说明了该方法的有效性。
基于运行模式法的安全协议分析
【摘 要】
：
安全协议的形式化分析是网络安全领域的研究热点。本文以运行模式法为基础，Petri网为工具，给出一种分析安全协议的具体方法，并以TMN协议为例说明了该方法的有效性。
【机 构】
：
山东农业大学信息学院,山东泰安 271018
【出 处】
：
2008年中国信息技术与应用学术论坛
【发表日期】
：
2008年8期
其他文献
有源电力滤波器(APF)已成为治理谐波污染的最有效手段之一。近年来，其非线性特性日益受到重视，能有效改善其动态性能的先进非线性控制策略成为研究热点之一。本文首先基于微分几何理论提出一种控制对电流状态变量解耦的非线性控制策略，直流侧电容电压状态的运动为零动态过程；其次基于该控制策略分析系统的零动态稳定性，其零动态能够达到由系统结构参数决定的自然平衡点，但不能稳定于指定工作点；再次，为保持直流侧电容平
270V高压直流（HVDC）电源系统是先进飞机电源系统的优选方案，同时，随着飞机供电容量的增加，要求航空二次电源能够提供不同等级的电压输出以满足各种机载电子设备的需求。在这种高压输入低压多路输出的应用场合中，传统的变换器常遇到占空比失控，绕组耦合不佳及交叉调整率较差等情况。为此，本文提出了一种隔离式拓扑和非隔离式拓扑相结合的两级式多路输出结构。该结构可以解决传统变换器在此类电源模块设计中存在的问题
人体植入式非接触变压器的原边和副边完全分开，分别位于病人的体外和体内。变压器气隙很大，漏感大，激磁电感小，必须利用谐振效应，补偿漏感及激磁电感，提高电压传输比并减小环流损耗。与其它非接触变换器不同，由于病患的个体差异、呼吸及运动等原因，变压器原副边间的气隙并不固定，耦合系数、漏感及激磁电感等参数不断变化，必须针对变参数场合引入有效的控制策略。本文研究了原副边串联补偿的谐振变换器的工作原理，分析了其
为了解决红外与可见光图像配准难的问题，将人工免疫方法引入配准过程。利用小波变换分辨率分析与Canny算法相结合的边缘检测算法提取大边缘作为配准特征，采用仿射变换模型，以Partial Hausdorff距离作为相似测度准则，基于人工免疫的配准搜索策略求解图像配准最优解。实验结果表明，该方法具有配准精度高、配准时间短、可靠性好、自动化程度高的特点。该方法为多模态的红外图像配准提供了一种新的有效手段。
网格由大量异构资源组成，网格的优越性需要好的调度策略的支持。结合减小系统损失和优先分配复杂任务的思想，本文提出了系统损失与任务复杂度平衡(BSL TC，Balance System Loss and Task Complexity)调度算法。在每次任务分配中，权衡任务的复杂度和任务的分配损失，选出对系统性能影响较大的任务优先分配。实验验证表明使用BSL TC算法进行调度，调度次数与任务数相同并且任
为了解决遗传算法(GA)中存在的早熟收敛、收敛速度慢等问题，提出了一种基于杰出选择策略的伪并行遗传算法(ESPP_GA)。该算法从遗传算子以及并行计算等几个方面对其作了改进，使用了杰出选择模型和邻居群体模型。杰出选择模型能将当代最优个体保留下来，邻居群体模型用来增加种群的多样性。基于典型复杂函数的优化仿真结果表明，ESPP_GA算法比标准遗传算法(SGA)有更好的收敛性和更高的精度，显著地提高了收
换档冲击度和滑摩功之间存在着此消彼长的矛盾，任何一方在量上的增长都会降低自动变速器的换档品质。我们提出了依据最优控制理论建立离合器油压的二次最优函数的方法来解决这个矛盾，并在使用SimulationX软件建立换档过程控制模型的基础上，优化了换档过程的油压曲线，从而验证了方法的有效性。
本文首先简单介绍了数据仓库的概念特征、数据仓库的构建过程，描述了稳定的齐次马尔可夫过程，并在此基础上阐述了气象学中怎样进行数据仓库的构建，处理数据仓库中的数据，以及用马尔可夫过程处理数据的一种常见方法。
在对上海地铁交通卡自动充值机(CVM)的使用和维护过程中，根据实际维护的反馈，分析现有的软硬件系统在交易维护过程中所产生的不足和缺陷，以此讨论如何从软件设计的角度，提高地铁交通卡自动充值机的健壮性和安全性。