浅析计算机网络在电力系统中的安全运行

在经济飞速的今天,高科技产业不断提升的基础上,计算机网络也随之普刊。我国的电力行业系统的生产、施工、运行、设计、经营等几个方面大部分也都离不开计算机网络,那么计算机网络的安全运行目前已经成为电力系统行业的必要手段。同时,行业的飞速发展,也给电力行业带来很大的安全隐患,如何做好电力系统的安全运行,首先要保障电力信息系统计算机网络的安全的运行。本文主要以保障电力系统计算机网络安全运行为目的,针对如何去保障电力计算机网络安全运行进行了深入的探讨,得出了一些行之有效的保障措施。     

铁路电力系统的安全运行分析

电力系统作为铁路运行的重要支撑及保障,其安全运行对于整个铁路的运输和生产都有着重要的意义,要做好铁路电力系统安全运行工作,首先要对铁路电力系统的原理及技术具有一定的认识,本文从电力电子技术的角度出发,对铁路电力系统的原理及维护的措施进行了探究,为全面提高铁路电力系统的安全运行提供参考资料。     

基于调控一体化的电网运行管理

调控一体化能很好地应用于电网运行管理,保障电网安全运行,因此研究调控一体化技术具有重要意义。本文首先分析了电网运行管理现状以及调控一体化对电网运行的影响,其次,介绍了调控一体化的具体模式,进而针对电网调控一体化存在的问题,提出保障电网运行管理安全性的调控措施。     

一种多业务政务信息系统的SOC安全运行管理到SOA安全服务的实现方法

回顾了信息安全技术的发展过程,面对复杂网络的重要信息系统的多种业务的应用,提出了一种切实可行的以信息安全运行中心为核心的安全管理网构架,实现了面向用户的SOA持续安全保障服务。     

浅析县域电网调控安全运行

电力调控中心作为电力系统运行的核心部门,是电网运行管理、倒闸操作和事故处理的指挥机构,是保障电网安全运行的基础。为此,针对县域电网的特点,阐述了电网安全运行的影响因素,分析了电网调控存在的风险因素,提出了确保电网安全运行的措施。     

3C融合与列车运行控制技术发展

1 铁路信号及列车运行控制的核心任务 任何交通都需要有信号的控制,那么信号的任务是什么呢？首先,就是提供信号——能够为司机提供准确、充足的行车命令和信息;第二就是防护控制——确保列车安全、高效地运行到目的地。基于这样的基础,我们今天要讲的运行控制系统的技术核心构架起来就是既能够提供安全可靠的信号,同时又能对运行过程蛮现拿方他安全的保障、防护。     

广播音频制播网络系统的安全性设计

安全播出是广播电视的生命线,该制播网络系统利用先进的网络安全技术,建设功能完善、技术领先的软、硬件支撑平台,保障电台各项业务的安全运行,网络系统的安全性设计大大保障了广播音频制播网络系统的安全。     

广播音频制播网络系统的安全性设计

安全播出是广播电视的生命线,该制播网络系统利用先进的网络安全技术,建设功能完善、技术领先的软、硬件支撑平台,保障电台各项业务的安全运行,网络系统的安全性设计大大保障了广播音频制播网络系统的安全。     

网御神州推出全台网安全运行管理解决方案，为电视台数字化网络化建设提供安全保障

网御神州全台网安全运行管理平台解决方案是网御神州提出的针对广电行业全台网建设过程中安全保障体系建设的重要解决方案。该方案紧扣国家广电总局的《电视台数字化网络化建设白皮书（2007）》中安全保障的要求,提出了一套将电视台网中各个层次的安全防护要素进行整合,实现一体化安全运行监控、审计与管理的思想和方法,并推出了一个安全运行管理平台软件系统．将电视台网的安全保障体系真正落地。     

安全仪表系统的不同运行阶段实时可靠性分析

安全仪表系统(SIS)的可靠性是保障安全生产的重要指标,由平均要求时失效概率(PFD(avg))衡量。然而,PFD(avg)计算结果并不能保障SIS在运行阶段的任意时刻均满足目标安全完整性水平(SIL),实时可靠性计算模型PFD(t)可提供更好的分析结果。本文在A.C.Torres-Echeverria等人的研究基础上,对SIS的4个运行阶段建立了实时可靠性计算模型PFD(MooN)(t),并运用MATLAB对该模型进行仿真和分析。最后,通过高完整性压力保护系统(HIPPS)应用实例,得到以下结论:即使PFD(avg SYS)计算结果满足目标SIL,PFD(SYS)(t)也可能在运行阶段的某个时间段内达不到目标SIL;只有当t=TP+RT+n×TI时刻的PFD(SYS)(t)值满足目标SIL时,才能保障SIS在整个运行阶段均能满足目标SIL。该可靠性计算模型的建立,能更好的对SIS进行实时可靠性分析,并为保障SIS在整个运行阶段满足目标SIL提供了有力依据。     

机动车辆安全监控系统设计与分析

机动车辆安全监控系统在实现对机动车辆安全状态本地监控的基础上,应用GPRS无线通信技术实现对其安全状态的远程监控,能够有效的预防车辆安全事故的发生。文章从结构与功能设计入手,全面介绍了整个系统的设计构思,并对部分实现进行了描述。     

水利及桥梁工程智能光纤监测系统的应用研究

采用光纤传感技术、通信网络技术、计算机智能控制技术等集于一体构建智能光纤监测系统,实现对水利及桥梁工程中的钢筋砼结构的内在质量和物理特性异变进行结构完整性无损伤动态实时监测和远程控制,从而达到及时发现和排除重大工程隐患及安全预警预报的目的。     

软件安全核的可信性问题

软件的大量应用,使控制系统面,临严峻的安全考验,陷入了安全危机中,迫切需要新的安全保障技术。安全核就是应运而生的一种安全保障新概念,其可信性直接关系到安全核的有效性和系统的安危。面对安全核可信性问题,测试和限制安全核尺寸是当前采用的方法,它们极大地制约了安全核技术在复杂系统中的应用。本文分析了安全核可信性的本质;结合安全关键系统的基本构架,提出了从安全需求分析开始到安全核生成过程中,如何通过形式化的方法采提高安全核可信性的方法,为安全核技术在复杂系统中的应用提供了一种新思路;以交通灯控制为例全过程地实现和验证了所提出思想的正确性和可行性。     

计算机局域网的安全性研究

由于计算机局域网在各级企事业单位中的普及应用,其安全性问题对于社会经济生活的稳定非常关键。该文首先从技术问题和管理漏洞对计算机局域网络的安全问题进行分析,然后从应用VLAN技术、IP地址管理、安全防范系统、安全访问控制、数据备份以及安全管理制度6个方面,讨论了计算机局域网络的安全解决方案与策略。     

面向安全需求的测试用例自动生成技术研究

传统的测试用例生成技术通常都是面向系统功能性需求,并不适用于安全苛求软件系统的安全性测试。面向安全需求,通过定义安全因子,建立带有安全因子的UML顺序图,采用最小安全因子路径,提出了基于最小安全因子路径完全覆盖准则的测试用例自动生成算法,并将其成功应用到高速铁路列车运行控制系统的仿真测试中。     

井下胶带机地面远程集中控制系统

针对煤矿井下胶带机运输系统线路长、岗位多、联络环节多等特点 ,应用DCS系统与冗余技术 ,在兴隆庄煤矿实现以“地面控制为主 ,井下监控为辅”的控制模式。该系统运行安全、可靠。     

基于单片机的天然气管道注醇控制系统设计

提出了一种基于单片机的天然气管道注醇控制系统的设计方案.该系统采用上、下位机结构形式,下位机以AD16M4-PLUS控制板为基础,实现了天然气管道注醇工艺的测控与管理功能.该系统不仅具备故障检测、工艺自动报警与安全保护功能,而且还具有高度的容错能力.     

基于PROFINET和VXI总线的1.2m风洞测控系统设计与实现

针对1.2m风洞测控系统存在的不足,对其测控系统进行了重新设计。本文阐述了该测控系统设计方案,主要是基于PLC及总线技术设计新的系统,采用PROFINET通讯和VXI系统搭建整个风洞测控系统。形成基于现场总线、功能分散、指挥集中的开放式集散系统。详细介绍了项目的实施情况和关键技术,说明了调试及应用情况,最后给出了主要结论。结果表明：新的测控系统,不仅提高了1.2m风洞试验自动化水平,而且提高了风洞安全性和运行效率,风洞试验能力得到整体提升。     

温州动车追尾事故与CTCS-2技术规范中的安全隐患

2011年7月23日在温州附近不幸发生动车追尾，本文指出列控技术规范的变化可能同事故有关系。CTCS-2列控技术规范2007年版中引入了“三点检查”技术，理论上它能够在轨道电路故障情况下保障列车安全运行。如果在7月23日的故障状态下采用这一技术，调度可以在故障路段放入多辆列车，某些故障路段可能亮绿灯让列车正常通过，该技术将通过防护点保障安全。可能由于技术不够成熟的原因，CTCS-2技术规范2010年版中删除了这一措施，在新增的故障处理条款中没有明确说明设备故障需要亮红灯。如果此后调度按照过去的方式处理，很可能发生事故。     

Security analysis of GTRBAC and its variants using model checking

Security analysis is a formal verification technique to ascertain certain desirable guarantees on the access control policy specification. Given a set of access control policies, a general safety requirement in such a system is to determine whether a desirable property is satisfied in all the reachable states. Such an analysis calls for the use of formal verification techniques. While formal analysis on traditional Role Based Access Control (RBAC) has been done to some extent, recent extensions to RBAC lack such an analysis. In this paper, we consider the temporal RBAC extensions and propose a formal technique using timed automata to perform security analysis by analyzing both safety and liveness properties. Using safety properties one ensures that something bad never happens while liveness properties show that some good state is also achieved. GTRBAC is a well accepted generalized temporal RBAC model which can handle a wide range of temporal constraints while specifying different access control policies. Analysis of such a model involves a process of mapping a GTRBAC based system into a state transition system. Different reduction rules are proposed to simplify the modeling process depending upon the constraints supported by the system. The effect of different constraints on the modeling process is also studied.