数据库事务恢复日志和入侵响应模型研究

数据库日志记录数据元素的变迁历史,是维护数据库系统正确性和一致性的重要依据.现有的日志模式无法体现事务间依赖关系,系统在遭到恶意攻击时只得让所有数据元素恢复到出错点的状态,容忍入侵的能力差.提出一种新型的事务恢复日志模型,采用抽象状态机描述了日志生成规则和入侵响应模型,对事务之间的依赖关系进行了形式化的定义,并对入侵响应模型的完整性和正确性进行了分析.配置事务恢复日志和入侵响应机制的数据库系统在遭受攻击时,可以仅恢复受恶意事务影响的后继而无需回滚所有事务,从而提高了数据库系统的生存性.     

多级多版本数据库管理系统全局串行化

多级调度应该保证事务历史可串行化,满足多级安全特性,不会引入隐通道,并保证高级别事务不会因为无限等待而"饿死".与其他多级数据管理系统调度机制相比,多级多版本时戳调度机制满足上述要求,但该机制存在两个问题,一是事务可能读旧版本,二是要求调度器是可信进程.提出一种多级多版本全局时戳调度机制(MLS_MVGTO),以及依据事务快照生成其全局时戳的基本步骤.给出了预知只读事务信息时的两种改进方法.MLS_MVGTO机制生成的事务历史可串行化,不引入隐通道等,并且该方法避免引入一个全局可信的调度器,并通过对只读事务的深入分析,允许事务读新版本.     

基于动态上下文栈的DBMS访问控制模型

存储过程是DBMS中动态实体,确定其执行权限集合是有效进行DBMS访问控制的关键问题.常用方法违反了最小特权原则,从而导致了一系列DBMS安全漏洞.此外,存储过程的嵌套执行为确定权限集合并限制其应用范围带来了困难.针对这些问题提出一个基于动态上下文栈的DBMS访问模型.模型以操作序列为输入,在存储过程执行过程中使用上下文栈动态确定存储过程的执行权限集合.模型不仅可以有效地支持最小特权原则,而且还具有良好的管理性和可扩展性.     

浅析窗洞口渗漏原因及预防措施

根据窗台的常规做法对形成渗漏的原因进行分析,明确雨水渗漏的路径,对采用在外窗台增设披水板的防渗措施进行论述与说明,以期指导实践,将窗洞口渗漏的可能性降到最小。     

微型HAT循环过渡过程动态模拟

在建立压气机、燃烧室、透平、回热器、湿化器、气水换热器、转轴转动惯性模型、气道热惯性模型和燃料供给系统模型等单元部件动态模型的基础上,建立了恒转速微型HAT循环的系统动态模型及其控制系统模型。对其阶跃降负荷过渡过程进行了动态模拟,并与微燃机简单、回热循环进行了对比。结果表明,该动态模型能够有效地对系统的过渡过程进行模拟与分析,计算稳定可靠,可为微型HAT循环控制系统设计与分析提供模型基础;控制系统设计合理,能够满足调节负荷和转速的要求,保证循环系统安全运行;水路的热惯性对系统响应影响较小,而回热器的热惯性是影响微型HAT循环和回热循环过渡过程响应的主要因素。     

单相接地选线的现场问题探讨

针对单相接地自动选线装置选线准确率不高的原因,探讨了一些被人忽视的现场问题。结合安装、调试及运行的实践,分析运行中录制的接地故障波形图,指出常见的现场问题对选线装置的不利影响,并提出相应的对策。     

一种基于计划识别的安全事件关联分析方法

针对现有的事件关联分析方法在处理少量、零碎审计事件信息时,无法进行有效、准确关联分析的问题,利用计划识别理论对不完整信息处理方面的优势,提出基于计划识别的事件关联分析框架并设计了相应的算法。该算法以系统审计日志和安全状态信息为审计事件源,利用事件分析模块对元事件进行标准化处理,基于计划识别进行事件关联推理,提高了安全事件关联分析的效率和准确度。     

低速电动车用锂离子电池热失控风险监测研究

针对低速电动车用锂离子电池存在热失控风险的问题,采用正交试验,对不同温度、充电电流、放电电流、电池荷电状态等易引发电池热失控的几个因素进行研究,得出充放电过程中引发电池热失控的主次因素,为锂离子低速电动车用户和电池生产企业降低电池热失控风险提出合理化建议和技术支撑.     

应急管理体系的建设与实施

为在突发事件发生时,减少和降低企业人员和财产的损失,避免其带来的负面影响,企业应建立健全应急管理机制.企业建立统一的应急决策和指挥机构,研究和制定应急预案,建立健全预警机制和快速反应机制.在突发事件发生前尽量消灭其隐患,企业发生后,企业能够短时间内做出决策,快速反应,使应急预案得到执行,使应急机制发挥应有的作用.     

全膜法水处理工艺在电厂节能减排中的应用

基于全膜法水处理工艺的技术特点,介绍全膜法系统在循环排污水回用中的应用,切实起到节能减排的作用。实践证明,全膜法水处理工艺原水适用性强,对于电厂高盐度的循环排污水可直接作为其进水,不需要酸、碱再生,很好的适应环保要求。