基于类型系统的完整性信息流控制

构造了一种实现完整性信息流控制的安全类型系统.首先,为π-演算建立具有完整性安全等级的安全类型.然后,建立该安全类型的子类规则和类型规则,这些规则实现了系统的完整性策略及对系统行为的限制.最后,证明该类型系统的类型合理性,表明满足初始安全策略的系统经过不断的演进、交互,系统的安全属性依然可被满足.所建立的完整性信息流控制机制可通过静态类型检验高效实现.     

基于出动效率最大的离场优化排序

飞机离场优化排序对于缓解跑道拥挤现象、提升作战体系出动效率具有重要意义。针对军航双跑道离场优化排序问题,首先建立了基于飞机在预定空域形成“任务包”时间最小为目标函数的优化排序模型,然后设计了一种基于精英反向学习策略和黏菌觅食行为的改进海洋捕食者算法进行求解,最后通过一个仿真实验,与其他算法的优化结果进行对比,改进的海洋捕食者算法使得“任务包”形成时间明显缩短,有效提升了作战飞机的出动效率,可以应用于解决飞机离场优化排序问题。     

地区电网调度管理与安全风险预控

电网调度的主要任务为保障电网的安全、优质、经济运行, 对电网运行进行的组织、指挥、指导和协调.本文就电网调度安全运行方面讲述了加强继电保护的运行管理, 加强运行方式的管理及做好预想, 杜绝误调度、误操作事故方面的问题.     

建筑工程安全施工及质量控制管理

建筑行业的快速发展,给建筑施工企业带来更多的机遇。但是近年来工程质量、施工安全差而导致工程事故的常有发生。因此工程施工质量及施工安全直接关系到施工企业的生存。本文首先分析了建筑施工企业工程管理普遍存在的问题,指出其严重性由于传统的管理模式相对滞后,不能适应新的要求,因此提出了新的工程管理模式,对于提高施工单位的经济效益,有着重要的意义。     

煤矿调度指挥信息系统的建立及管理

本文论述了建立煤矿调度指挥信息系统的重要性、必要性。提出了系统建立应采取的措施,以加强对煤矿的信息系统管理,指导煤矿的正常、安全生产。     

公路线性设计中提高行车安全的措施探讨

随着人们生活质量和机动化水平的不断提高,人们越来越关注于道路交通的安全性。我们在大力发展交通事业的同时,必须将＂交通安全意识＂引入道路的设计中,通过完善道路设计,以有效地控制交通安全,减少交通事故。     

浅谈如何提高矿区电网调度工作的安全性

郑州矿区电力调度的管理任务是：组织、指挥、指导和协调矿区电网的运行,充分发挥本电网内发、输、变、配电设备能力,有计划地满足本网的用电需要。调度员正确安全地指挥电网倒闸操作和事故处理,对保证电网安全稳定运行,具有非常重要的作用。     

西川煤矿1103综采工作面矿压监测与应厍

通过综采工作面矿压显现的监测及规律性的研究,对工作面和端头支护形式进行了评价,利用矿压规律特性,服务安全生产,高产高效。     

图书馆管理系统安全与维护探讨

图书馆管理系统是一个开放性极强的应用系统,局域网内外用户都可能访问到应用系统和数据库,这给图书馆管理系统的信息安全带来了极大的挑战。由于各种馆藏信息、电子图书资料和借阅信息等需要每天24小时不间断开放,对图书馆管理系统的维护也提出了极高的要求。本文重点从系统运行环境、硬件系统、软件系统、管理和培训等方面对图书馆管理系统的安全和维护工作进行探讨。     

煤炭企业工会在煤炭生产管理中的职能定位分析

煤矿维护职工的合法权益首先要维护职工的生命安全权,搞好企业安全生产,维护职工的生命安全,通过维护职工合法权益,促进企业安全生产;通过促进企业的安全生产,更好地维护职工的合法权益。这样才能凝聚职工队伍,充分调动广大职工的安全生产积极性,为企业安全生产筑牢了坚实防线,构建适应安全新形势的有效控制系统,有效推进了企业的全面发展。