实时状态树结构模型的最优非阻塞模块化监督控制研究

针对传统的实时离散事件系统监督控制方法中存在监控器的设计复杂度高、结构不灵活且不易维护的问题,在实时状态树结构模型的基础上,提出了一种实时离散事件系统的最优非阻塞模块化监督控制方法。该方法根据不同的控制任务,将被控系统的性能指标划分为若干个子性能指标的合取形式,并且对每一个子性能指标分别设计子最优非阻塞监督控制器。由这些子最优非阻塞监督控制器构造被控系统的模块化监督控制器,给出了最优非阻塞模块化监督控制器的存在条件;通过设计协调器来解决整个闭环系统可能阻塞的问题。实验结果表明,模块化监督控制方法不但可以有效地降低实时离散事件系统监督控制器的设计复杂度,而且保证所得到的模块化监督控制器是最优且非阻塞的。     

基于C/E系统监控器的CPLD实现

文章给出了用复杂可编程逻辑器件 (CPLD)实现离散事件动态系统 (DEDS)监控器的方法 首先用Petri网中的条件 /事件系统 (C/E系统 )对DEDS建模 ,然后使用Petri网工具对模型进行分析 ,并根据控制要求设计出Petri监控器 ,最后用CPLD实现之 这不仅使Petri网有了硬件支持 ,而且也为逻辑控制器的设计提供了一种新的方法 文中给出了猫和老鼠迷宫问题基于C/E系统监控器实现的例子     

基于C／E系统监控器的CPLD实现

文章给出了用复杂可编程逻辑器件（CPLD）实现离散事件动态系统（DEDS）监控器的方法。首先用Petri网中的条件／事件系统（C／E系统）对DEDS建模,然后用Petri网工具对模型进行分析,并根据控制要求设计出Petri监控器,最后用CPLD实现之。这不仅使Petri网有了硬件支持,而且也为逻辑控制器的设计提供了一种新的方法。文中给出了猫和老鼠迷宫问题基于C／E系统监控器实现的例子。     

基于multiSIM环境下的混杂系统仿真

混杂系统的仿真通常是在MATLAB环境下进行的，如果要用电路来实现混杂系统的监控器，还需要做数学模型到电路模型的映射并对电路模型再进行仿真．笔者提出了基于multiSIM环境下的混杂系统仿真方法，可直接得到系统监控器的电路模型．用模拟电路来模拟混杂系统的连续时间子系统，其离散事件子系统用Petri网建模，并对模型用VHDL编程，经编译、仿真后封装成器件，将两部分电路相互连接，通过multiSIM仿真，获得混杂系统的性能．文中通过一个液位控制系统实例具体介绍了这一方法，其仿真结果证明了该方法的正确性．这对于混杂系统的研究，以及片上嵌入式系统的设计都具有重要的意义．     

具有并发事件的离散事件系统的动态监控

本文用受控Ｐｅｔｒｉ网为具有并发事件的离散事件系统建模，研究了该模型了的离散事件系统的禁止并发事件串的控制问题，利用合法语言及合法语言的最大可控子语言来规范监控器，并提出了一种动态监控的方法。．     

离散事件系统的无死锁分散监控

该文分别从全局控制目标和局部控制目标讨论了离散事件系统分散监控器的无死锁特性。首先,对于全局控制目标,基于离散事件系统中的分散监控的存在性条件,通过验证全局控制目标是否满足无死锁语言的定义,进而获得无死锁分散监控器存在的判别条件。之后,为了将该判别条件推广到局部控制目标的判别,提出了局部可控性条件与全局控制目标的可控、可观性条件的蕴涵关系,进而可以利用局部控制目标获得分散监控器,再通过在局部控制目标之间定义映射不变关系,建立局部控制目标的无死锁性与全局控制目标的无死锁性的联系,进而获得利用局部控制目标获得无死锁分散监控器的存在性条件。     

模糊离散事件系统的分散控制

针对控制系统结构复杂,规模庞大的问题,以自动机作为系统的模型,研究了扩展全局监控器存在条件下的分散监控综合问题。由经典离散事件系统的局部监控器存在条件,延伸得到模糊离散事件系统的局部监控器存在条件,得到了全局监控器的存在条件。在系统存在全局监控器的基础上,讨论其与全局控制目标之间的关系,避免常规方法研究复杂系统时的分析困难和综合复杂性,从而为模糊离散事件系统监控理论的应用探寻新的途径。     

基于Linux的小型网络入侵检测系统的设计与实现

采用C语言为程序设计语言,GTK为开发工具,MySQL为数据库平台,设计一个基于Linux的小型入侵检测系统.该系统的网络数据包捕获模块、网络协议分析模块、存储模块、响应模块、入侵事件检测模块、规则解析模块和界面管理模块等7个模块均获得实现.系统采用的技术路线和设计方法是有效和可行的.     

分析离散事件系统的新方法

本文用图论的方法构造出适宜用自动机建模的离散事件系统的布尔矩阵，通过对布尔矩阵的运算，既可得出系统可达状态集与转移的最短路径，为藉此设计最优监控器打下基础。     

基于防火墙的网络入侵检测系统

提出了一个基于防火墙的网络入侵检测系统模型,克服了传统入侵检测系统不能实现主动控制的缺陷,并对设计与实现中的关键技术做了详细的描述·该系统在数据链路层截取实时的数据包,对其进行基于安全策略的访问控制分析;同时利用事件发生器从截获的IP包中提取出概述性事件信息并传送给入侵检测模块进行安全分析·入侵检测模块采用基于统计的入侵检测技术,并采用了NaiveBayes算法·基于该模型设计实现的系统在实际测试中表明对于具有统计特性的网络入侵具有较好的检测与控制能力·     

工程质量政府监督行为的进化博弈协同机理与激励策略

基于工程质量政府监督多层次委托代理链分析,探讨工程质量政府监督者群体学习行为的稳定性特征.构建工程质量政府监督者行为的进化博弈模型,剖析政府质量监督者选择执法监督行为的影响因素,并提出培育工程质量价值观、构建信息传输共享平台、提升质量监督者的能力和强化监督市场治理等提高工程质量政府监督有效性的策略.研究结果可为工程质量政府监督管理决策提供理论支撑和实践借鉴.     

浅谈如何当好总监理工程师

介绍了项目监理部的组建及总监理工程师的职权,阐述了项目总监理工程师应具备的整体素质,指出只有认真履行总监理工程师的职责,熟悉设计文件和有关的规范、标准,才能发挥全体监理人员的作用,提高监理服务水平.     

基于流量分割的IP over WDM业务疏导机制研究

在IP over WDM网络的业务疏导中,针对大容量的高优先级业务接入阻塞率很高的问题,提出了一种基于流量分割的业务疏导机制。该机制将一个业务请求的总流量分割为多个部分,然后根据光路径的传输时延来选择一组恰当的子路径作为业务路由。仿真结果表明,该机制能有效地降低目标业务的阻塞概率,并提高业务接入的公平性。     

基于流量分割的IP over WDM业务疏导机制研究

在IP over WDM网络的业务疏导中，针对大容量的高优先级业务接入阻塞率很高的问题，提出了一种基于 流量分割的业务疏导机制。该机制将一个业务请求的总流量分割为多个部分，然后根据光路径的传输时延来选择 一组恰当的子路径作为业务路由。仿真结果表明，该机制能有效地降低目标业务的阻塞概率，并提高业务接入的 公平性     

上级检察机关统一选任人民监督员的利弊分析

加强对职务犯罪查办工作的监督制约尤其是外部监督制约,是理论界与实务部门一直关注并致力解决的重要问题。我国人民监督员制度是具有中国特色的可行性很强的一项重要制度,需要在实践中继续坚持和完善。为了让检察机关确实受到人民监督员真正而有效的监督,人民监督员的选任程序问题应该是这项检察制度改革的一个重要环节,只有选准、选好人民监督员。切实发挥人民监督员的监督制约作用,才能达到预期的效果。     

如何避免知识分享的“内群体”现象：主管与下属双层面因素探究

研究直接主管赋权使能对下属员工知识分享的影响,并探讨程序公正与个体创造性角色认知对上述影响过程的中介作用与调节效应。以广东、湖北16家知识创新型组织中对偶的127名主管与346名下属为研究对象。结果表明：主管赋权使能会提升下属程序公正知觉,进而提升知识分享水平;高角色认知会强化上述影响关系,低角色认知会弱化上述影响关系。     

公平的多优先级WDM网络波长分配算法

为了支持不同的业务要求出现了支持多优先级的WDM网络波长分配算法 ,但是在支持多优先级的波长分配算法中仍然存在公平性问题。为此 ,该文在支持多优先级的分配限额波长分配算法的基础上令波长限额随连接距离而变化 ,提出了一种公平分配限额波长分配算法。仿真结果说明这种算法有效地改善了多优先级 WDM网络波长分配算法中不同距离连接间的阻塞率差别     

面向Web服务总线集成的分阶段优先级事件驱动架构

针对Web服务集成过程中分阶段事件驱动架构(SEDA)仅考虑服务集成架构的资源消耗,而对被集成的服务及由其构成的任务资源耗费考虑不足的问题,提出了分阶段优先级事件驱动架构(SPEDA).选取评价指标,通过熵权法对事件进行优先级评估,而在阶段内对优先级高的事件给予优先处理;使用非抢占式规则的排队系统构建集成任务资源消耗的数学模型,通过合理安排事件的优先等级来降低集成任务资源消耗.实验表明,SPEDA采用3个优先级别,其任务资源消耗比SEDA降低了18%,在考虑了优先级划分粒度的情况下,5个级别的集成任务资源消耗比3个级别的降低了21%.