混合系统的形式化验证

结合混合系统的研究对余度管理系统进行了形式化的分析和验证.采用的手段是时段演算技术及其扩展.首先进行形式化的需求分析,需求及其假设用时段演算表示,其次严格化地描述算法和参数的选取.在验证过程中,首先应用程序逻辑验证算法,算法的不变量以时段演算表示,最后在时段演算中验证整个系统的行为满足给定的需求.      

竖直圆管内浮升力对超临界碳氢燃料裂解传热传质特性的影响

为了探究再生冷却过程中,浮升力对竖直圆管内超临界碳氢燃料裂解传热传质特性的影响,基于详细裂解反应动力学模型,建立了同时考虑碳氢燃料流动传热和裂解吸热的耦合算法,在此基础上对竖直管道内,浮升力对超临界RP-3的流动、传热和裂解反应的影响展开了数值研究。计算结果表明：与不考虑浮升力的情况相比,在浮升力影响显著的条件下,浮升力增强了向下流动的碳氢燃料壁面处与中心流区域的传热传质过程,燃料温度和裂解率的径向分布更加均匀,燃料吸热能力增强,换热系数上升,同时可以有效地抑制管道壁面上结焦的生成;而对于向上流动的流体,浮升力不利于壁面处与中心流区域的传热传质,导致冷却通道内碳氢燃料温度和裂解率径向分布的不均匀性增强,燃料吸热能力降低,换热系数下降,同时增加了管道壁面上的结焦量;同时,为了更好地理解浮升力的影响,本文还对不同壁面热流密度下向上和向下冷却通道内超临界碳氢燃料的裂解传热特性进行了分析;判别式Bo^*<6.0×10^-7不能准确地预测竖直管道内浮升力对超临界碳氢燃料裂解换热的影响。     

对8mm微波衰减参数计量的探讨

随着现代武器装备的更新换代和新型导弹的不断发展以及电子战中电子对抗的应用,对导弹制导雷达的要求越来越高.由于毫米波具有制导精确度高,抗干扰能力强、穿透性能好以及携带的信息量大等独特性能,因此被广泛应用于雷达、射频天线、通讯卫星、导弹等许多尖端领域.为了确保雷达的各项参数满足武器试验的要求,保障试验任务的顺利进行,对雷达的各项参数的计量检定是十分必要的.目前,"全自动8mm微波功率标准”已经建立,但8mm微波衰减参数的计量在军内还是一项空白,而衰减量值的准确与否直接影响到武器和装备性能的好坏,影响试验任务的成败.因此,我们提出了一种对8mm微波衰减参数的计量方法,以供广大从事微波计量工作的同行参考.     

一种星载GPS接收天线

根据星载 GPS接收天线的主要技术要求 ,给出了谐振式四臂螺旋天线用于星载 GPS天线的设计思路与设计过程 ,并给出了最后的测试结果。结果表明 :该天线具有十分优良的圆对称半球波束特性、良好的广角圆极化特性和优良的阻抗匹配 ,结构紧凑 ,集成度高 ,并通过了环境鉴定试验 ,为星载 GPS应用提供了一种性能优良的天线     

一种改善飞行员抗荷服性能的新方法

在管式抗荷服的腹囊和两侧管囊间分别装上分压装置和泄压活门,将腹囊内的压力降至管囊内压力的40%左右.在管式抗荷服研制中采用这种新型的分压技术,克服了飞行员穿着时的腹部压痛问题,改善了其舒适性,提高了飞行员的正向过载防护能力.具有分压装置的新型抗荷服进行了10人次的离心机生理试验,在过载增长率3 G/s、最大试验过载9 G条件下,分压装置工作正常,装备抗荷效果达到了3.5 G.对60名歼击机飞行员调查表明,分压装置和泄压活门的大小、安装部位及其舒适性均可接受.该技术已用于其它新型管式抗荷服的设计中.      

基于GPS遥感的延迟映射接收机关键技术

全球卫星定位系统GPS(Global Positioning System)广泛应用于定位和导航,还可利用海面对GPS信号产生的散射效应进行微波遥感,是一种新型微波遥感手段.首先介绍了GPS海洋遥感测风技术产生背景及特点,给出了GPS散射信号测量技术理论基础,重点分析了延迟映射接收机设计中提高采样信号信噪比、双射频前端电路设计、计算反射点延迟、接收机工作模式、内嵌软件处理等5项关键技术.设计的延迟映射接收机样机在天津近海完成了首次搭载飞行试验,试验结果表明,延迟映射接收机可同时接收直射和海面散射卫星信号并输出导航定位解,正确计算镜面散射点码延迟,准确接收海面散射的GPS卫星信号,且散射信号信噪比达到了14.9 dB以上,接收机输出为反演海面风场提供了准确的基础数据,这种方式可推广到遥感探测陆地土壤湿度、海冰厚度、海浪高度等领域.      

基于Fabry-Perot干涉仪的闭环微光机电加速度计

设计了一种闭环反馈差动式双FP腔的微光机电(MOEMS)加速度计,介绍了其工作原理及系统构成.利用惯性敏感单元将对载体加速度的测量转变为对载体位移的测量,利用光纤自聚焦透镜的端面与质量块组成的FP腔测量载体位移.为了提高系统的测量灵敏度和抑制温度等环境因素的影响,设计了一种差动式双FP腔测量机构.为提高微加速度计的输出线性度和动态测量范围,提出了采用静电力平衡技术构成闭环加速度计.建立了其数学模型,对所设计的加速度计重要参数指标——灵敏度、敏感头受载、固有频率等一一进行了详细计算和分析.在此基础上完成了设计背景要求下加速度计参数的优化设计,结果表明:该系统精度可以达到5×10-6g以上.      

保形油箱的隐身与气动设计

在预测保形油箱对飞机隐身性能和气动性能影响的基础上,通过一个典型设计范例研究了保形油箱的隐身与气动设计方法,并与传统副油箱的效果进行了对比.比较结果表明,同样条件下,保形油箱对飞机性能造成的不利影响要比普通副油箱小得多;如果设计适当,保形油箱甚至完全可以改善飞机的隐身和气动性能.在设计过程中,对飞机上可能安装保形油箱的位置及优劣进行了分析,这些经验可以推广到一般保形外挂和其它型号飞机上.总结了保形油箱隐身与气动设计的规律,并在保形油箱设计的基础上,结合其它外挂物的特点,给出了一般保形外挂的隐身与气动设计的特点和设计原则.      

基于LCMV算法的星载SAR距离模糊抑制方法

距离模糊抑制是星载合成孔径雷达(SAR)系统顶层设计中的关键问题之一.增加天线高度可以抑制距离模糊,但卫星平台往往对天线尺寸有所限制.指出了距离模糊抑制对于提高可视观测带宽度、产生高质量雷达图像的重要性,介绍了距离模糊的数学模型,提出了分布距离模糊度的概念,分析了平均距离模糊度与分布距离模糊度的区别,给出了应用线性约束最小方差(LCMV)算法抑制星载SAR距离模糊的方法.仿真结果证明,该方法在天线高度不变的情况下,不仅能够提高平均距离模糊度,也可以改善分布距离模糊度.      

低强度超声波改善微生物燃料电池产电效能

微生物燃料电池(MFCs,Microbial Fuel Cells)可在处理有机废水的同时获得电能,但生物体系缓慢的电子传递速率是其发展的瓶颈.为了寻求提高MFCs工作效率的途径,建立了2个有效容积为1.5L,电极面积160cm2的单室MFCs,设置为超声波强化反应器和对照反应器,进行对比试验.结果表明,采用强度为0.2W/cm2、频率33kHz、超声间隔为83h的超声波对反应器辐照10min,在反应后期(运行2880h后)MFCs与对照反应器相比最大功率密度提高了6%,一个运行周期产生的总电量增加了46.5%;设置超声的反应器库仑效率(CE,Coulombic Efficiency)比对照反应器提高了25.7%.超声波强化反应器中水的pH值最小值比对照pH值最小值低0.2,超声波辐照的反应器氧化还原电位(ORP,Oxidation Reduction Potential) 最小值低于对照反应器ORP最小值34.8mV. 2个反应器3000min对化学需氧量(COD,Chemical Oxygen Demand)的净化效率都达到72.9%,超声波对COD去除贡献不明显,并从低强度超声波对微生物作用的过程方面分析了上述现象.