模糊离散事件系统基于验证器的模式故障诊断

针对模糊系统在运行过程中可能出现由多个事件触发的故障,研究模糊离散事件系统模式故障的诊断问题,提出一种基于验证器的模式故障诊断方法.先对模糊离散事件系统中最常见的模式故障,引入S类型模式故障和T类型模式故障两个概念,再分别对模糊离散事件系统的S类型和T类型模式故障的可诊断性进行形式化.为验证模糊系统模式故障的可诊断性,构造一个验证器自动机,并得到一个关于模糊离散事件系统模式故障可诊断性的充分必要条件,实现对模糊系统模式故障的诊断.     

在公共网络上构建专用网的VPN技术研究

虚拟专用网（VPN)是利用公众网资源为客户构成专用网的一种业务．校园网是一个宽带、具有交互功能和专业性很强的局域网络．本文以广东工业大学校园网为例,说明如何采用VPN技术实现在多个物理空间上互相分离的校区之间建设一个廉价安全的专用网络．     

提高电网规划可靠性的对策分析

随着经济的发展与社会的进步,电力行业面临着突飞猛进的发展。在电网规划的过程中由于变电站、继电保护、线路管理等方面存在的问题,对电网规划的可靠性造成了严重的影响。本文主要针对电网规划可靠性的提高提出了相应的措施。     

分布式离散事件系统的模式故障预测研究

针对分布式离散事件系统, 提出了一种模式故障预测方法。首先对分布式离散事件系统的模式故障可预测性进行形式化。通过构造一个模式故障识别器, 从系统所有行为中识别出所发生的模式故障, 并针对分布式系统的不同观测点构造不可观测闭包。在此基础上, 联合各站点观测到的事件序列构造出模式故障预测验证器, 解决了分布式离散事件系统的模式故障预测问题。得出了一个判定分布式离散事件系统模式故障可预测性的充分必要条件, 并提出了相应的模式故障预测算法, 实现了对分布式离散事件系统的模式故障预测。最后, 对分布式模式故障预测验证器的构建和模式故障预测算法进行了复杂度分析。     

大数据时代下的信息安全问题研究

目前,随着信息时代的快速发展,大数据时代的到来,对社会经济、科技的发展,产生了极大的影响。大数据、云计算等新兴技术的出现和应用,驱动着整个大数据时代高速的发展着。大数据时代下的信息安全问题,也逐渐成为信息技术发展中的重要问题之一。本文将简要分析,大数据时代下的信息安全问题方面的相关内容,旨在进一步促进大数据时代下的信息安全保护措施的顺利实施。     

离散事件系统基于模式的安全故障诊断

基于模式的故障诊断方法能将触发系统故障的事件串诊断出来,但在诊断期间系统仍然可能执行被禁止的不安全操作.为此,提出了一种离散事件系统基于S型和T型模式的安全诊断方法.先对离散事件系统基于模式的安全可诊断性进行形式化,再通过构造非法语言识别器和安全诊断器对系统发生的故障模式实施安全诊断,最后分别得到了一个关于S型和T型模式的系统安全可诊断性的充分必要条件,实现了离散事件系统基于模式的安全故障诊断.     

分布式模糊离散事件系统的故障预测

本文研究分布式模糊离散事件系统的故障预测问题.先根据系统的模糊特性,提出一种分布式模糊离散事件系统的协同可预测性的形式化方法,使分布式模糊离散事件系统的协同可预测度不小于各分站点的局部可预测度.通过构造协同预测验证器,提出一种基于协同预测验证器的协同预测算法,并得到一个关于分布式模糊离散事件系统协同可预测性的充分必要条件.     

基于SOA的城管事件采集系统

城市管理业务繁重,案件来源广泛,为了提高管理水平,需要整合社会一些相关资源。本文提出一个基于SOA的城管事件采集系统,采用开放式的体系结构,开发相关的数据和业务协同接口,整合社会资源和联动单位,共同完成城管事件收集和管理。     

在公共网络上构造专用网的VPN技术

VPN利用公共网络基础设施为企业各部门提供安全的网络互联服务,它能够使运行在VPN之上的商业应用享有几乎和专用网络同样的安全性,可靠性,优先级别和可管理性。VPN网络可以利用IP网络,帧中继网络和ATM网络建设,本文主要探讨在IP网络上建立VPN的途径和相关协议。     

基于状态估计的分布式离散事件系统可诊断性研究

针对分布式离散事件系统,提出了一种验证基于状态估计的分布式离散事件系统可诊断性的方法。首先对离散事件系统的可诊断性进行形式化定义,然后提出一种基于状态估计的分布式离散事件系统的可诊断性验证算法,进而推导出分布式离散事件系统可诊断的充分必要条件,最后结合实际算例对该算法的可行性进行验证分析。相比现有算法,本文提出的算法无需各站点进行实时同步,仅要求在有限时延内各站点间能进行通信即可,且算法的时间复杂度也明显降低。