民航空管系统的安全评估方法探究.doc

民航空管系统的安全评估方法研究 1、相关定义 1.1、空管设备的概念模型 设备是指进行某项工作或满足某种需要的成套的建筑、器物等[37]。空管设备按技术分类属 于高精度、大型专业设备,由为实现规定功能以达到某一目标而构成的相互关联的多个集合体 或装置组成。由于空管设备的构成系统具有层次性、复杂性、多样性,因此为了课题研究的顺 利进行,需要对空管通信、导航、监视设备的各个子系统进行整合,将其简化为一单路串联系 统。 1、通信设备 对通信设备而言,该设备由四个子系统组成:VHF 台、传输设备系统、通信链路系统、内 话系统,如图 3.1 所示。VHF 遥控台发射高频信号,信号传输设备可以通过四种传输途径:多 雷达联网主用传输系统、华为 HONET FA16 传输系统、SDH 光传输网系统、卫星传输系统, 以保证内话系统为空中交通管制部门提供地空通信及平面通信服务。 图3.1 单路空管VHF通信系统 23 2、导航设备 对导航设备而言,该设备由两个子系统组成:供电系统、导航台,如图 3.2 所示。其中, 供电系统是并联系统,由市供电、柴油发电机系统供电、UPS 三路供电单元独立或联合工作。 供电系统可保证导航台发射导航信号为飞机提供方位信息,引导飞行。 图3.2 单路空管VOR导航系统 3、监视设备 对某监视设备而言,该设备由四个子系统组成:供电系统、雷达站、传输系统、空管自动 化系统,如图 3.3 所示。其中,供电系统是并联系统,由市供电、柴油发电机系统供电、UPS 三路供电单元独立或联合工作。供电系统可保证雷达站内的雷达系统接收、发射信号产生雷达 目标报告。雷达目标报告通过并联多线路传输系统被雷达数据处理器接收。经雷达数据处理器 所产生的综合航迹,会在雷达终端显示器上进行显示,使管制员应用空管自动化系统在雷达环 境下有效地实施空中交通管制工作。 图3.3 单路空管雷达监视系统 1.2、效率的定义 效率在《辞海》中的定义为:”消耗的劳动量与所获得的劳动效果的比率”,这说明效率是 衡量劳动投入量与产出的效果之间的比例关系;《新帕尔格雷夫经济学大辞典》中对效率的理解 为资源配置效率,”资源配置效率就是在有限的资源和技术条件下尽最大可能满足人们相应需要 的运行状态”;萨缪尔森在《经济学》中将效率界定为”效率意味着不存在浪费,即经济在不减 少一种物品生产的情况下,就不增加另一种物品的生产,它的运行便是有效率的,有效率的经 济位于其生产可能性边界上”;我国经济学家樊刚在《公有制宏观经济理论大纲》中定义经济效 率为:”经济效率是指社会利用现有资源进行生产所提供的效用满足的程度,因此也可一般地称 为资源的利用效率”[34]。帕累托在 1906 年提出了著名的帕累托效率标准,拓展和丰富了效率 的内涵,指出:”资源处于效率配置时,再没有任何方法能使部分人福利增加而又不减少其它人 之福利”。例如,一个企业如果采用的是新的管理体制,在对其它人的福利做到不减少的前提下, 能够增加某个或其他更多的股东权益,便认为该体制实现了帕累托优化,从而达到提高了效率。 根据帕累托有效能够得出,因为现实状况和最优状况间存在差距,所以人们为了实现帕累 托改进而借助各种办法对配置状况进行改善,而且这种最优状况只能在理论上达到可能,而在 8 现实中难以真正达到,只是对最优越来越接近,却无法最终实现,但是却可以不断改进,进而 不断提高效率。本文对效率的定义更注重衡量”差距”,描述了通过有效利用有限的经济资源, 使经济状况达到更好而且不断向最优状态接近的程度,综合反映了运行单位的经济状况。 1.3、任务结构的定义 在UNIX 中,系统本身维护着一个进程控制块(PCB),保存着进程的各种信息, 用户可以利用系统提供的函数,监控并维护PCB 块中的进程信息。也可以自己定义 一个任务列表,根据自己的需要,对进程的相关信息进行维护,而又不打乱系统对 PCB 块的自动维护。 根据3.1 节实时调度的基本概念中所述,可以定义任务的结构如下: 四川大学硕士学位论文 42 其中,nPr ocId 是对应进程的ID,即表示相应的任务,根据它可以获取系统维 护的进程信息;nTimeArriv e 表示到达时间;nDeadLine是任务的截止期或者周期 ; nAvrExecTime 表示估计执行时间;nExecutedT ime 表示已经执行的时间; nLeastLaxity 表示进程任务中的最小裕度的线程任务的裕度;nExecValue 表示任务 的执行价值;nPr iority 是任务的动态优先级;nMaxPr iority 是优先级天花板; nRap Priority 是任务的优先级抢占阈值; fSuccRate表示完成率。 关于各种名词的说明在 3.1 节实时调度的基本概念中有描述,尽