基于免疫安全存储设备IBSSD的研究与实现

基于智能磁盘的安全存储设备是当前安全存储系统研究的热点问题.为解决现有安全存储设备I/O性能低的问题,引入人工免疫算法,实现高效的访问控制模块.首先给出基于免疫安全存储设备的结构,以及基于免疫访问控制模块中主要元素的定义,针对存储设备的特点,设计了差异选择算法和混合检测算法.实现了基于免疫访问控制的原型系统,验证了系统能高效地识别非法数据访问请求.修改开源存储区域网系统-Lustre中智能磁盘模块的代码,构建基于免疫安全存储设备的原型系统,测试了I/O性能.结果验证了基于免疫安全存储设备的I/O损失较小,能构成较高性能的安全存储系统.     

基于预测状态表示的多变量概率系统预测

针对由于多变量概率系统预测高复杂度而导致的建模困难问题,提出了一种基于预测状态表示（PSR）的系统建模新方法,首先介绍一种通用多变量过程概念,并进一步用此概念描述多变量系统。在此基础上,引入了针对多变量系统的预测模型MV PSR,模型基于可观测信息,可在有限维实现对多变量的预测。实验结果表明,该近似模型有效降低了系统预测的复杂度。     

广义不可推断属性符号化算术验证的研究

多级安全系统中机密数据的泄漏本质上是信息的非法流动.广义不可推断属性刻画了不同安全级主体之间合法的信息流动.在系统应用之前,验证其满足广义不可推断属性,可以排除各种隐蔽数据泄漏,保护数据的机密性.传统的广义不可推断属性验证方法——"展开方法"——验证的仅仅是属性成立的一个充分非必要条件,因此是不完备的.基于证伪技术提出一种完备的广义不可推断属性验证方法,该方法通过逐步搜索长度递增的使广义不可推断属性失效的反例来完成验证过程.为确保搜索过程能正确终止,即方法的完备性,提出状态转换系统的双构造运算,并在此基础上基于图结构理论给出最短反例的上近似计算.进一步为提高验证方法的时间效率和降低对内存空间的需求,将反例搜索和上近似计算归约为量化布尔公式满足性求解问题,借助于高效的满足性求解程序完成属性的验证,实现了验证过程的符号化计算.最后通过一个磁臂隐通道的实例说明验证方法在实际的隐通道分析中的应用.     

一种新型HLA仿真结果处理方法

针对HLA仿真结果数据日益增多、难以组织管理的状况,利用数据仓库与数据挖掘技术对数据进行处理。采用基于HLA的作战系统仿真为例,设计对应的联邦与联邦成员。针对仿真产生的海量结果数据创建O rac le数据仓库,采用商业智能软件COGNOS抽取数据仓库中的数据,设计制作对应的数据立方体。对立方体中的数据进行分析和挖掘,发现并纠正仿真过程中出现的问题,有效地完成了对HLA仿真结果的评估。论文提出的方法和思路可供广大同行设计参考。     

基于抽象和搜索空间划分的安全性判定方法

为满足访问控制策略安全性快速判定的要求,提出一种基于谓词抽象和验证空间划分的访问控制策略状态空间约减方法,将在访问控制策略原始状态机模型上的安全性分析工作转移到包含较少状态的抽象模型上,并进一步划分抽象模型的验证空间,以提高效率.理论分析和实验数据均表明,其安全性分析所需的时间和空间都得到有效约减.与传统方法相比,它具有速度更快、自动化程度更高等优点.     

图符语言CQL解释器的实现

为了有效地实现数据库图符查询语言解释器,引入了图卡解析树;开发出二维文法规则;定义出一套适宜于模式分析、语法分析及语义解析的图符程序内部存储机制;并使用临时图卡的方法来解决带有嵌套结构的复杂语句的编译问题。     

基于末端轨迹修正的导弹跟踪稳定性控制方法

舰载导弹在制导飞行的末端容易受到空气小扰动的影响产生轨迹偏离,需要进行轨迹偏离修正控制,提高弹道对目标跟踪的姿态稳定性,提出一种基于改进的扩展Kalman滤波(EKR)和误差反馈修正的导弹跟踪端轨迹修正控制方法.以陀螺仪采集的导弹的横滚角、俯仰角以及航向偏离的参量为控制约束指标集,采用扩展Kalman滤波算法进行姿态参量融合,结合Smith结构建立导弹跟踪控制的被控对象模型,计算末端轨迹中姿态角与真值的偏差,根据偏差进行导弹的惯性姿态反馈调节,采用自适应的量化融合跟踪识别方法进行导弹定姿处理,通过对末端轨迹的误差反馈修正提高姿态角的输出精度,根据姿态的不断变化实现自适应的位姿修正,实现导弹对敌目标跟踪的稳定性控制.仿真结果表明,采用该方法进行导弹控制的姿态角解算的误差较小,定姿精度较高,提高导弹跟踪控制的稳定性和鲁棒性.     

浅谈沙钢5m宽厚板实施管线钢实重交货提高成材率的实践

管线钢由于多为正公差轧制,且工艺区间窄,往往通过增加钢板头尾额外切除量的方法保证性能稳定性,导致管线钢成材率不高。沙钢5m宽厚板通过与客户协商,通过生产线改造及修改理论重量计算公式,实现部分管线钢板的实重交货,提高了部分管线钢的成材率,取得了一定效益。     

浅谈汽轮机调速系统摆动的处理

介绍汽轮机的工作原理,通过介绍三台12MW的机组在空负荷时转速摆动、油系统污染引起的甩负荷,调速系统运行中摆动及调速汽门重叠度,指出调速系统常见的故障实例,针对故障进行分析,并提出了相应的处理措施。     

气相色谱法分析胶粘剂中苯测量不确定度的评定

本文利用气相色谱法对胶粘剂中苯进行了测定,当苯含量为0.32%时,扩展不确定度U=0.01%,(K=2)。同时从标准溶液配制、稀释过程、标准工作曲线拟合、样品称量、样品定容、峰面积测量以及方法重复性等几个方面对测量不确定度来源进行了分析和量化评定,指出主要的不确定度来源是方法的重复性、标准工作曲线拟合以及峰面积的测量。