采用双模压缩态的光子纠缠光纤陀螺仪研究CSCD

对采用双模压缩态的光子纠缠光纤陀螺仪进行了理论研究,采用角动量理论首次推导了双模压缩态输入的光子纠缠光纤陀螺仪的相位检测灵敏度,并证明了当光子数足够大时,可以达到海森堡极限。针对采用双模压缩态的光子纠缠光纤陀螺仪的二阶符合计数探测方案远未达到海森堡极限的情况,通过考察光子纠缠光纤陀螺仪各输出态的二阶符合计数对总的二阶相关光强的贡献,发现二阶符合计数探测方案存在量子增强信息的抵消,也即其中一个接收端光子数为偶数的输出态和光子数为奇数的输出态的二阶符合计数形成互补的倍频干涉条纹,进而相互抵消。因此,需要优化探测方案,提取完整的量子增强信息,才能实现海森堡极限的相位检测灵敏度。     

开环FOG中PZT调制器的在线研究

从理论上分析了PZT(压电型)光纤相位调制器在开环FOG(光纤陀螺)中的应用特点,研究了它的调制系数和调制相位延迟变化对开环FOG性能的影响;并设计了两种独立的在线测试方法对它们进行了温度特性研究,利用所得数据,用最小二乘多项式拟合的方法分别得到了它们的温度模型.研究表明,在实验温度范围内,开环FOG的相位调制系数K_GP随温度呈线性变化,而调制相位延迟α随温度呈二次的变化.      

无刷直流电动机旋转感应电压的分析与计算

系统地推导了无刷直流电动机旋转感应电压的通用计算公式,并以这些公式为基础,详细研究了气隙磁密平顶宽度、分布绕组、短距、分数槽、斜槽等因素对旋转感应电压的影响,给出了在保证旋转感应电压是平顶宽度为理想值的梯形波时,转子磁钢和定子绕组设计时应考虑的因素.本文的研究内容为高性能低转矩波动无刷直流电动机的设计提供了理论基础.      

基于MAX—⊙复合运算和模糊关系Pb的多维模糊推理算法

模糊推理是广泛应用在人工智能AI中的一种不精确推理方法 ,本文采用MAX -⊙复合运算和模糊关系Rb,依据J.F .Baldwin真值限定概念 ,给出在离散隶属函数下的多维Sugeno -Takagi模糊推理算法。     

卫星红外辐射场理论模拟

在红外辐射场理论建模通用框架研究成果的基础上,对卫星的几何构型进行建模;通过背景辐射的非均匀化考虑,根据相应的物理模型对卫星温度场和红外辐射场进行了模拟计算,得到了卫星外表温度场和红外辐射场分布。     

适于旋流杯下游流场的改进型半分析关系式

利用典型(CFM-56燃烧室)旋流杯结构下游的流场实验数据,参照经验关系式,提出了物理意义更明确、拟合更准确、且更便于对大量实验数据进行相关性研究的半经验关系式,并与旋流杯下游紧靠出口处附近的轴向速度及旋流速度测量数据进行了对比,发现各特征数据(如峰值位置、峰值衰减速度、回流区宽度及其沿下游的发展、回流速度及其衰减等)与实验数据非常相符,从而初步验证了提出的半经验关系式.同时,给出了公式中不同的经验常数取值带来的变化,分析了与几何及工况参数之间可能的联系,为进一步验证该关系式打下基础.分析表明,各经验常数的变化之间相互独立,且物理意义明确,可以方便地用于进一步验证.      

航空发动机薄壁机匣激光焊接有限元数值模拟

针对航空发动机的关键部件之一——燃烧室薄壁机匣建立了激光焊接的数值分析模型.基于SYSWELD软件的焊接分析功能,运用有限元分析方法研究了燃烧室薄壁机匣环缝焊接时引起的焊接变形,模拟了薄壁机匣激光焊接时的温度场、应力场以及变形情况,同时对焊接模拟中的热源问题从数学上进行了分析和探讨.在此基础上结合整个薄壁机匣的实际工作状况对模拟结果进行了定性分析,验证了分析方法的可行性,为实际薄壁机匣焊接提供了理论依据,有助于薄壁机匣焊接工艺方法的改进.该分析方法对焊接领域类似问题的处理也有借鉴意义.      

遗传算法在电子战干扰规划中的应用

电子对抗干扰资源任务规划问题对于充分发挥干扰机作战效能,取得最佳干扰效益有重要作用.结合现代电子战特点,利用搜索论推导出了干扰机压制概率的计算公式,建立了干扰任务分配模型,并阐述了传统匈牙利方法在这一问题处理上的局限性.结合智能优化算法,提出了基于遗传算法的干扰资源优化分配模型.解决了优化分配模型所需的符号编码方式,并给出了相关的选择、交叉、变异等遗传算子的具体设计.利用该模型,解决了2个实例.结果表明,该模型在干扰资源任务配置问题上具有很强的实用性,遗传算法可以有效地辅助指挥员解决干扰资源部署决策这一复杂而困难的问题.     

基于Petri网的UML状态图的形式化模型

提出一种可以准确描述UML状态图动态特征的形式化模型SC_Net.首先给出了UML状态图的形式化语法定义,其中用状态集合、转移集合、事件集合、条件集合、活动集合、对象集合和变量集合,定义了一系列辅助函数描述UML状态图特征,用确定目标状态和受限源状态表示层次关系,用开放事件和封闭事件表示对象之间的消息.基于C_Net定义了描述UML状态图动态语义的Petri网模型SC_Net,既能描述状态图中的控制部分,又能描述状态图中的数据处理部分,并给出了从UML状态图到SC_Net的转换步骤,便于实现自动转换过程.最后以柔性制造系统的一个实例说明SC_Net能用于分析UML状态图的性质.      

六自由度Stewart平台动力学模型的特性分析

根据六自由度Stewart平台的动力学模型,利用矩阵分析的方法详细分析和证明了动力学模型的一些物理特性:动力学模型系数矩阵的有界性,矩阵函数的斜对称性以及动力学模型的线性参数化. 这些工作为基于六自由度Stewart平台动力学模型的非线性控制器设计、系统稳定性的证明以及系统物理参数的辨识奠定了理论基础.