Nucleation of β/α Phases in Undercooled Ti-48( at％ )Al Peritectic Alloy

采用电磁悬浮熔炼的深过冷凝固技术实现了Ti-48( at％) Al合金的深过冷,获得的最大过冷度为295K.采用红外测温仪记录实验过程的温度变化数据,OM技术观察不同过冷度下凝固合金的显微组织,结合深过冷凝固过程中的再辉行为分析了该合金的非平衡凝固路径.运用负熵模型、经典形核理论及瞬态形核理论,研究了Ti-48( at％)Al包晶合金中初生相与次生相的形核与过冷度之间的关系.通过对该合金熔体的β(bcc)相和α(hcp)相的临界形核功、稳态形核率、形核孕育时间和瞬态形核率的计算,并结合实验结果对β,α两相的形核进行了综合分析.结果表明,在～10K/s的较低冷速情况下,在整个过冷度(≤295K)范围内B(bcc)相总能作为初生相首先形核.     

辅助式GPS接收机信号发射时间恢复算法研究

当GPS接收机无法进行位同步、帧同步以及导航电文解调时, GPS接收机无法恢复卫星信号发射时间. 为解决该问题, 对基于迭代最小二乘的发射时间恢复算法进行了研究, 利用辅助GPS接收机中无线通信网络提供的卫星星历、卫星修正参数等辅助信息, 结合信号发射时间模糊度的遍历搜索, 完成了信号发射时间的恢复. 详细讨论了算法及其成立条件, 给出算法流程, 并推导出搜索因子的不同选取方案, 使该算法对接收机初始位置误差(150km)和初始时间误差(180s)没有限制. 通过仿真验证了算法的有效性.      

中尺度预报模式不同方案实验研究

以大雾天气为例,利用WRF中尺度数值预报模式对各物理参数进行调整,从而验证各物理方案对大雾形成和发展的作用,并将其与控制性实验进行比较。对水汽通量散度、雾区范围分析,结果表明：这三个敏感性实验都不能很好地反映实况,因此原控制性实验更适合做定量定性研究。     

一种提高距离分辨率的FMCW SAR RD成像算法

调频连续波合成孔径雷达（FMCW SAR）是一种新近提出来的成像雷达体制,它结合调频连续波与合成孔径成像技术,具有体积小、重量轻、成本低、分辨率高等一系列优点。从频谱的角度进行分析,FMCW SAR的距离分辨率取决于频率测量分辨率。文章研究了一种FMCW SAR高距离分辨率成像算法——利用FFT得到差频信号谱峰的粗略范围,再对这一范围进行ChirpZ变换,从而实现距离高精度估计,并且避免了大的计算量。仿真结果表明该方法的有效性。     

辅助型GPS接收机中伪码相位延时及其不确定度估计算法研究

快速捕获卫星信号是研制辅助型GPS (A-GPS)接收机所必须解决的一项关键技术. 针对A-GPS接收机能从辅助数据中获取有效星历的特点, 本文提出了一种伪码相位延时及其不确定度估计算法. 该算法在对建立的信号发射时刻方程泰勒展开的基础上, 利用辅助信息建立了伪码相位延时及其不确定度估计方程. 分析和仿真表明, 提出的算法能有效压缩剩余卫星伪码相位延时不确定度, 加快A-GPS接收机的捕获速度.      

基于柔性平面靶标的摄像机现场标定方法

提出一种摄像机现场柔性平面靶标标定方法.该方法仅需在平面靶标上设置少量空间三维坐标已知特征点.在这些特征点中,任意共线的特征点可以确定一条直线,因此可以确定若干条直线.根据在透视投影变换下,直线和直线的交点均为不变量的性质,可获得除已知特征点之外的大量标定特征点用于摄像机标定.基于误差传播理论,对标定点的不确定度进行了详细分析.采用研制的尺寸为100mm×100mm,加工精度为0.01mm的柔性平面靶标,对摄像机进行了现场标定实验,获得了0.032mm的标定精度.     

现代战斗机空战能力评估及敏感性分析

考虑四代机的特征并结合现代空战特点,建立适用于评估四代机空战能力的层次体系结构模型,结合层次分析法与模糊隶属度函数法进行空战效能的静态评估, 并提出了空战能力对结构模型中最底层各单项指标及同层各指标的敏感性概念和算法.以典型四代机和三代机为例,对构建的模型体系和评估方法进行了验证和细致分析,表明效能的静态评估具有合理性,并且通过效能值对指标的敏感性分析,能为战斗机升级和作战使用提供理论指导.     

组合服务控制流测试

结合Web服务本体语言(OWL-S,Web Ontology Language for Services)和线性时态逻辑理论(LTL, Linear Temporal Logic),研究用于测试的组合服务流程形式化描述方法和动态测试信息分析方法.将OWL-S作为组合服务的需求参考模型,采用组合服务标准和形式化描述方法相结合的方式,用线性时态逻辑刻画OWL-S控制结构的动态语义,明确地表示出控制结构中各成分的执行顺序.进一步用线性时态逻辑公式集合描述组合服务的控制流需求,从而使原子服务的交互模式有了明确的表示.基于这种交互模式表示,采用LTL在有限状态序列上的语义,对组合服务实现执行过程中获取的动态信息进行分析,测试组合服务实现的执行过程与组合服务控制流需求的一致性.     

以冲压发动机为动力的飞行/推进综合控制

对以冲压发动机为动力的超声速飞行器进行了巡航状态下的纵向飞行/推进综合控制研究。建立了考虑系统干扰和传感器噪声的系统模型。为消除静差,使用积分型LQG方法进行了飞行/推进综合控制。仿真结果表明,所设计的飞行/推进综合控制器抑制了高度和速度通道之间的耦合,具有一定的抗噪声干扰能力。     

基于LMI的鲁棒滤波在无人机飞控系统中的应用

针对无人机在实际飞行过程中存在外界干扰以及传感器量测噪声的问题,应用线性矩阵不等式理论对无人机飞控系统进行了降阶鲁棒滤波器设计.讨论了适用于连续系统的降阶鲁棒滤波算法以及滤波器存在的条件.最后,进行了无人机纵向高度保持阶段的数字仿真,给出迎角与俯仰角速度的仿真曲线,仿真结果验证了该算法的合理性和有效性.