一种改进的以基于角色的访问控制实施BLP模型及其变种的方法

该文指出了Sandhu等人提出的以基于角色的访问控制(Role-Based Accesas Control,RBAC)实施强制访问控制(Mandatory Access Control．MAC)策略的方法存在拒绝服务(Denial of Service,DoS)和给主体赋予过多权限等错误，且缺乏对经典BLP模型的充分的支持．为此作者提出了一种改进的方法——ISandhu方法，引入了辅助角色层次，加强了角色间关系并提供了对可信主体概念的支持．此方法修正了原有方法的错误，在RBAC中实施了经典的BLP模型及其变种模型以满足实际需求．保证了强制访问控制策略的正确实施，为在大量商业系统中以较小的代价引入强制访问控制提供了理论依据．  

模糊控制技术在恒压供水系统中的应用研究

针对采用水塔、高位水箱及气压罐供水效果差的问题，采用模糊控制技术实现楼群恒压供水，通过压力控制，减少超调和振荡，取得稳定的控制效果。本系统尤其适合要求恒压供水的场合，可以满足高层建筑，生活小区，军事设施的用水等。  

电子数据取证研究概述

随着计算机技术的飞速发展，人类社会对数字信息的依赖已达到前所未有的程度。与此同时，计算机犯罪率也以惊人的速度增长(2003 CSI／FBI计算机犯罪调查报告)。由于计算机犯罪是刑事犯罪中一种新兴的高科技犯罪，政法机关在如何利用高技术手段对付这种高技术犯罪方面缺乏必要的技术保障和支持，为了保障和促进计算机信息网络健康有序发展，提高政法机关打击计算机犯罪的能力，需要对电子数据取证(数字取证、计算机取证)领域进行深入的研究，这不但需要开发切实有效的取证工具，更需要对电子数据取证领域的取证定义、取证标准、取证程序等理论基础的研究。本文正是在这种需求下，对电子数据取证领域的研究工作进行了分析，首先对电子数据取证的相关概念进行总结，然后对国内外电子数据取证的基础研完工作进行了概要性的描述，并对目前较为典型的取证工具作以介绍。本文对取证领域，尤其是对电子数据取证领域的基本理论和基本方法进行深入分析的基础上，结合其上层典型应用的行为方式为前提，力求为开发出适合我国国情的电子数据取证系统建立良好的基础。  

一种基于安全状态跟踪检查的漏洞静态检测方法

现有的采用基于源代码分析的漏洞静态检测方法中存在的主要问题是误报率和漏报率较高.主要原因之一是缺乏对数据合法性检查与非可信数据源等程序安全相关元素的精确有效的识别分析.文中提出了一种基于数据安全状态跟踪和检查的安全漏洞静态检测方法.该方法对漏洞状态机模型的状态空间进行了扩展,使用对应多个安全相关属性的向量标识变量安全状态,细化了状态转换的粒度以提供更为精确的程序安全行为识别;在漏洞状态机中引入了对合法性检查的识别,有效降低了误报的发生;建立了系统化的非可信数据鉴别方法,可防止由于 遗漏非可信数据源而产生的漏报.基于此方法的原型系统的检测实验表明:文中方法能够有效检测出软件系统中存在的缓冲区溢出等安全漏洞,误报率明显降低,并能避免现有主流静态检测方法中存在的一些严重漏报.  

基于安全操作系统的安全保障分析

有关安全操作系统在安全领域中应用的介绍很少，本文以我们开发的一种安全操作系统的实际应用为例，较全面的对安全操作系统的应用加以分析．其阃给出了各类安全软件在整个信息系统内部的层次关系．文中所提到的应用及框架结构在一个基于Linux的安全操作系统(RFSOS)上均得以实现．  

红外光纤式辐射测温技术在发电设备中的应用

针对在内部强电磁场干扰下的大型发电机转子表面温度的非接触测量难题，本文介绍了应用红外光纤式辐射测温计对大型发电机转子表面温度在线监测的方法。实际应用表明此项技术具有测量准确、运行可靠、使用方便等特点。  

细粒度信任链研究方法

分析信任链相关研究的当前发展水平,提出细粒度信任链和细粒度系统软件信任链的思想,阐明只有细粒度信任链才能描述现实应用的真实情况.根据问题空间的复杂性,提出细粒度信任链建模的问题分解方法.该方法通过逐步拓展的策略,首先建立细粒度系统软件信任链模型,然后在此基础上建立完全的细粒度信任链模型.  

考虑石脑油两种用途的原油混输调度模型

针对炼厂石脑油用于催化重整和乙烯生产两种用途的原油混输调度问题建立数学模型，把重整过程和乙烯生产对石脑油芳烃潜含量的不同要求用线性规划的方法实现，以原油混输调度中对不同类的原油根据需要分别输送和储存，为常减压装置准备好“重整石脑油方案”和“乙烯石脑油方案”的原料，真正符合“宜芳则芳”、“宜烯则烯”的调度原则。建模中应用了MILP(混合整数线性规划)技术和多周期技术，并给出一个应用在6种不同的国外原油及6个生产调度周期的应用实例，考虑了原油从装置罐到厂区罐的一次混输调度，尽量保证管道和厂区罐调度周期末原油质量合格。  

工业变电站监控软件及其管理组态模块设计

针对工业变电站监控系统做了较详细的分析,针对其特点设计规划了工业变电站监控组态软件系统的总体结构方案,采用VC++作为主要开发手段,对该监控软件系统进行了整体的研究.对监控软件管理组态模块分别进行了分析和介绍.管理组态模块是将对各个模块进行组织和管理,通过一个公共类进行联接,利用主画面作为程序入口,将各个功能衔接.主程序初始化时,调入动态链接文件.管理组态模块由工程管理、安全管理、系统参数组态管理、人员档案管理等的子模块组成,作为重要的管理人机接口,具有高效、直观的特点.  

基于PLC的发电厂小汽轮机保护控制系统设计

设计了保护控制系统,对小汽机润滑油系统,主轴的位移及振动,汽机的真空度等信号进行实时监控并对超限信号采取保护措施,控制系统保护逻辑采用PLC实现。系统采用欧姆龙CS1D系列PLC,并根据欧姆龙公司的HOST-LINK通讯方式实现数据交换。系统配有多种I/O单元,可实现各种控制方案。现场运行实践表明,设计的基于PLC的小汽轮机保护控制系统运行稳定可靠,结构简明高效,很好地解决了发电厂小汽轮机的监控保护问题。