基于本体的软件安全性需求建模和验证

由软件引起的灾难性事故原因往往源于安全性需求,目前主观的人工评审方法并不能满足软件安全性需求严格的验证要求.因此,讨论了软件安全性需求的定义,遴选了国内外公认的相关标准和手册作为需求验证的知识基础,根据"七步法"建立了本体模型,利用本体模型中的概念和关联来形式化地描述规则以支持验证;同时基于以上研究内容设计和实现了软件安全性需求形式化建模和验证的工具原型,并对使用工具实施验证和使用人工评审实施验证进行了对比分析实验.实验结果表明形式化工具原型在验证时间和验证次数上都大大优于人工验证方法,同时工具原型具有良好的易用性.     

一种适用于空间应用的高速调制系统的设计和实现

为了适应空间科学技术的发展, 满足空间科学应用系统的数据传输速率、多进制数字调制方式以及实现调制体制灵活性的要求, 提出了一种适用于空间应用的高速调制系统的设计与实现方案. 该方案采用了基于FPGA和DAC的通信调制技术, 可在硬件设计不变的情况下, 实现QPSK, 8 PSK和16 QAM等多种调制方式下的高速数据传输. 分析了高速调制在硬件实现上的技术难点, 解决了高频率高精度同步时钟生成、高速数据转换、宽带调制等技术问题. 实测表明, 在载频为2 GHz时, 该调制系统在8PSK调制下速率可达750 Mbit/s, 且调制信号的矢量幅度误差(EVM)仅为3.3 %.      

直升机两步法抗饱和控制

在执行机构饱和约束下,研究了直升机的全姿态控制和速度跟踪问题.提出了一种能适用直升机这样的开环不稳定系统的两步法抗饱和控制方法,即第1步在不考虑饱和约束下设计了直升机H_∞回路成形内外回路控制器,内回路实现直升机全姿态控制和通道解耦,外回路实现速度跟踪;第2步考虑饱和约束,设计抗饱和补偿器弱化饱和引起的闭环性能退化.证明了该抗饱和控制系统的L₂稳定性,并通过回路变换和乘数理论减少其保守性.对UH-60黑鹰直升机的仿真试验表明了该方法的有效性.      

临近空间飞艇外形优化设计与仿真

以临近空间飞艇为对象,针对传统外形设计方法中存在的问题,提出了新的优化设计方法,搭建了流程框架,编制了优化程序。首先研究了遗传算法及多学科设计理论,进而在此基础上建立了飞艇阻力、体面比、应力模型,利用多学科设计理念对飞艇气动、结构、强度进行了一体化设计。其次将遗传算法引入到优化设计当中,并利用Matlab和Fluent开展了联合仿真研究。最后结合实际应用需求进行了算例分析,验证了该方法的可行性和效果。     

微秒脉冲等离子体流动控制延迟效应研究

等离子体流动控制(PFC)能有效抑制翼型附面层分离,增加升力,推迟失速,应用前景广阔。流场的延迟效应是指采用PFC进行流动控制时,激励关闭后,流动控制效果仍存在的现象。本文对新型微秒脉冲介质阻挡放电(μs-DBD)的体积力和冲击波特性进行测试,并在此基础上开展风洞实验,进行流场的延迟效应研究,测试μs-DBD的延迟时间和参数影响规律。结果表明,μs-DBD能同时产生体积力和冲击波作用,同时也能在流场中产生明显的延迟效应,延迟时间不小于1200s,远大于毫秒脉冲介质阻挡放电(AC-DBD)产生的延迟时间(150s);激励电压和来流速度越大,翼型迎角越小,延迟效应越强;等离子体激励能使流场失稳分岔,并转变为更优的分岔解;延迟效应研究在节约能耗、延长激励器寿命、PFC控制律设计和风洞实验方法优化等方面有重要意义。     

静止轨道光学成像卫星研究现状及建议

本文分别对美国及欧洲的静止轨道高分成像卫星发展路径进行详细分析,其中美国主要发展由NASA提出的基于衍射成像原理的薄膜光学成像卫星;欧洲主要发展由ESA提出的地球静止高分辨率任务(Geostationary High Resolution Mission, GEO-HR),GEO-HR包含三个项目:GEO-Oculus(孔径1.5 m,分辨率10m); Astrium GO3S(孔径4m,分辨率3m);光学合成孔径系统(合成孔径7m,分辨率2m)。最后,根据美国及欧洲的静止轨道成像卫星发展的路线,结合我国静止轨道卫星发展现状,分析地球静止轨道高分辨率成像卫星的发展趋势及启示。     

磁性高分子微球的制备及表征技术

在总结近年来国内外有关磁性高分子微球研究成果的基础上，对磁性高分子微球的四种制备方法，即共混包埋法、界面沉积法、活化溶胀法和单体聚合法的工艺过程及优缺点进行了概述。对磁性高分子微球的各项特征(如平均粒径、粒径分布、磁含量、磁响应性及耐酸碱性等)的表征方法进行了介绍。     

烧／侵蚀耦合效应及其对再入体落点的影响

研究了再入体零迎角再入飞行过程中的烧／侵蚀耦合效应，讨论了烧／侵蚀耦合效应对导弹落点的影响，在研究过程中提出了烧／侵蚀外形法向处理方法，并对不同的再入条件进行了烧／侵蚀外形及再入弹道计算，计算结果表明，烧／侵蚀外形法向处理方法简单可靠；零迎角再入飞行时烧／侵蚀耦合效应能够引起一定的落点偏差，且落点偏差的值与再入条件有关。     

区域分裂法在湍流流场数值解中的研究

应用区域分裂算法(简称DDM)对湍流流场进行数值研究。对湍流流动控制方程建立一种通用的DDM-1计算格式S_{I,ω,给出重叠区域内变量处理方法。DDM-1的SI,ω计算格式的适用性由突扩圆管分离流流场数值计算所验证,数值计算结果与实验数据比较表明:采用SI,ω计算格式所预测的再附点位置及平均轴向速度、湍动能强度比在整个计算区域内采用单一模型的方法能够更好地与实验值吻合。}      

激光陀螺吸气剂的测试方法研究

激光陀螺谐振腔内部的工作气体纯度直接影响陀螺的光功率输出,吸气剂作为激光陀螺内部维持气体纯度的关键部件,是决定激光陀螺光功率长期稳定性的关键因素。针对激光陀螺对吸气剂的使用需求,提出了一种含振动冲击筛选与质谱检测等手段相结合的综合检测方法,并通过实验对吸气剂的结构强度、吸气性能与激活条件进行了分析。实验结果表明,该方法能够有效地判断某种吸气剂选型是否满足激光陀螺的使用要求,为激光陀螺吸气剂的选择提供指导。