运行分析法在DEDS建模中的运用

离散事件动态系统(DEDS)是自控领域中研究较多的课题之一。目前的研究方法有:排队理论、仿真分析、扰动分析法和运行分析法等。论文是在有关研究文献的基础上,探讨运行分析法对DEDS进行建模的方法,并通过实例给出详细的计算步骤。

运行分析法下的区域管制风险因素探讨

当前,交通运输行业中,尤其是航空运输业得到快速发展,空中的流通数量逐渐增多,随之而来的空中环境也日益复杂。空中交通管制服务是航空业发展的重要组成部分,对于飞行的安全起着至关重要的作用,面对日益复杂的空中环境,空管系统所需应对的风险也逐渐增多,成为航空管理的关键内容。该文就运行分析法下的区域管理风险因素进行分析和探究。

基于运行分析法的区域管制风险研究

在近几年,中国航空工业得到了很大的发展,航空业已成为中国交通运输系统的重要构成部分,给航空业带来了新的挑战。文章通过3个方面分析了区域管理和风险识别的运行操作:微调、预测和冲突解决,它还包括提高员工意识的具体建议,可以控制危险,能够为相关的工作人员带来帮助。基于辅助因果分析的运行分析方法,区域运行的运行风险根据运营分析方法的要求确定。通过分析区域控制操作并结合根本原因分析方法、工作流程图确定每个小工作单元的风险。

基于运行分析法的区域管制风险

近年来,我国的航空事业近年来得到了长足发展,空中交通已经成为我国交通体系的重要组成部分,这就给空中管制工作带来了全新的挑战。本文从细微监控、冲突预测、冲突解决三个方面对运行分析法下的区域管理风险辨识进行分析,并从加强工作人员的风险控制意识、加强管理体系建设、加强内部管理工作等方面给出具体措施建议,希望能给相关工作人员带来帮助。

三方密码协议运行模式分析法

在两方密码协议运行模式分析法的基础上 ,利用模型检测的理论结果 ,提出了三方密码协议运行模式分析法 .用这种方法对DavisSwick协议进行了分析 ,成功地验证了此协议的安全性 。

SSL3.0基本握手协议的运行模式分析

主要使用运行模式法对简化的SSL3 0基本握手协议进行了形式化分析.通过分析,找到了3种不同的攻击形式,并且对这3种攻击形式进行了深入研究,发现这3种攻击虽然从表面上看都是由于允许不同版本共存的漏洞引起的,但是经过仔细分析攻击的形式,发现这3种攻击是存在差异的.主要是角色欺骗不相同,而这又可能会造成潜在攻击.最后对这个协议进行了改进,从而有效避免了以上3种攻击。

SET支付协议简化版本的运行模式分析

主要使用运行模式法对简化的SET支付协议即Lu-Smolka协议进行了形式化分析,通过分析找到了六种不同的攻击形式,其中四种是新发现的攻击,并且对这六种攻击形式进行了深入的分析,发现了其中的差异和可能造成的潜在攻击,最后根据攻击的特征对这六种攻击进行了分类。

TMN密码协议的SMV分析

SMV是分析有限状态系统的一种工具,三方密码协议运行模式分析法是分析密码协议的有效方法之一。为了说明这种方法的可行性,使用三方密码协议运行模式分析法,并借助状态探测工具SMV分析了TMN密码协议,并成功地找到了对TMN协议的19种攻击。

SET支付协议的形式化分析与改进

使用运行模式法对SET支付协议的简化版本即Lu-Smolka协议进行了形式化分析,找到了6种不同的攻击形式,其中4种是新发现的攻击,通过对这6种攻击形式的深入分析和分类,发现了原协议中存在的漏洞,最后对该协议进行了改进,从而有效避免了以上6种攻击,提高了协议的安全性。

城轨交通多种列车交路模式下的通过能力和车底运用研究

城轨交通超长线路上列车开行交路种类多,运营组织相对复杂。多种交路的行车组织方式在满足客运需求和方便乘客出行的同时,也对城轨交通系统的通过能力和车底运用产生不利的影响。本文分析了多种交路对城轨交通线路通过能力和车底运用的影响,研究了运行图周期的概念及其特点,提出“运行图周期分析法”,建立多种交路条件下城轨交通通过能力和车底数量的数学模型,并给出了实例计算。

城市轨道交通列车大小交路开行方案优化

为解决断面客流空间分布不均衡程度较高的城市轨道交通线路上不同交路区段中列车相互制约、不能以最小列车运行图周期周转的问题,基于"运行图周期分析法"理论来确定不同交路区段中列车运行图周期,将其作为计算运用车数和固定运营成本的依据。以列车开行数量、行车间隔以及编组数为决策变量,以乘客在站候车时间成本、车辆固定运营成本以及虚糜运能成本最小化为目标函数,建立多目标非线性混合整数优化模型。通过将各项成本换算为总成本,原模型简化为单目标优化模型并进行实例分析。结果表明,列车大小交路开行方案相较常规交路开行方案,总成本有明显下降,从而验证了模型的可行性与有效性。