导弹武器复合材料结构环境损伤分析及对策

对导弹武器复合材料结构贮存使用的主要环境条件及其对结构的影响进行了系统分析,并针对不同的环境条件提出相应的研究内容与环境控制策略。     

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

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

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

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

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

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

基于DSP和CAN的电机同步控制系统与通信

本文主要介绍了基于多DSP的CAN总线通信电机控制系统的设计,利用PC机作为监控主机,采用CAN总线接口卡实现CAN协议的物理层和数据链路层,最终实现对各节点电机的监控和管理。设计充分利用TI公司TMS320F2407A的高速运算能力和丰富的片内外资源,采用C语言进行编程。实验结果证明了其有效性和可靠性。     

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

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

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

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

改进FBM的3D复杂场景实时显示方法

分形布朗运动FBM(Fractional Brownian Motion)能真实地表现自然场景,但计算量大,运行费时,在实际的应用中对硬件的要求比较高,难以满足虚拟场景实时生成需求。三角形边界细分法能很好地满足场景实时交互的要求,但在细节描述方面不如FBM。提出一种把两者结合起来生成地形的有效算法,在FBM的基础上对各边法线进行统一方向扰动,通过比较中心点与阈值关系来控制迭代次数,最后采用滤波技术解决运动时产生的闪烁问题。实验证明该算法既能充分表现地形表面的丰富细节,又具有速度快、方便快捷的特点。     

图符语言CQL解释器的实现

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

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

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