挠性卫星姿态运动的鲁棒控制技术

具有挠性振动和液体晃动的新一代挠性卫星姿态运动是一个不确定系统,运用H∞优化与μ综合技术研究具有抑制振动和晃动能力以及强鲁棒性的卫星姿态控制系统设计问题,并对所提出的几种鲁棒控制系统设计方案进行计算机仿真和全物理仿真实验研究。     

RL^n—2C（n≥3）型单峰周期轨道的存在性

设I=[0,1],f∈C°(I,I).研究了f中PL~(n-2)C(n≥3)型单峰周期轨道的存在性。此外,运用单峰动力学的方法较为简单地证明了定理:设fλ(x)=min{2x,1-λ(2x-1)}(■x∈I,λI).则有,(ⅰ)当0≤λ<1/2时,fλ中只有不动点而没有其他周期点;(ⅱ)当λ=1/2时,fλ中只有不动点和2-周期点,而没有其他周期点;(ⅲ)当1/2<λ≤1时,fλ中有6-周期点。     

矿井提升机构微机控制系统

本文为矿井提升机构设计的交流变颇调速系统,模拟双闭环直流调速系统的动、静过程,采用单板机分段控制,在实验室已进行了模拟实验。     

三阶锁相环跟踪卫星多普勒频偏的仿真研究

为实现卫星移动环境下的伪码精密测距,分析高阶数字锁相环跟踪卫星多普勒频偏的能力。首先推导出了极地圆轨道卫星多普勒频偏变化公式,对其进行了仿真。利用理想二阶锁相环构造了三阶环,对其捕获带宽、时间响应特性、稳定性和误差响应特性进行了仿真研究,分析了三阶环的参数选择原则和跟踪卫星多普勒频偏的能力,并给出了环路滤波器的数字实现框图。结果表明,利用构造的三阶锁相环跟踪卫星多普勒频偏实现的伪码测距其误差在一个码片的千分之一内,能够满足精密测距要求。     

LFMCW延迟锁相线性化环路分析

与以往研究不同,针对延迟锁相线性化环路的延迟差分环节,着重分析了其非线性特性对环路性能的影响。通过非线性分析,给出了延迟线非线性相位与非线性剩余频差的关系,并指出延迟线非线性相位是决定极限调频线性度的主要因素。利用非线性环路模型对环路的噪声性能和捕捉过程进行了定量分析,仿真结果与实测数据吻合得较好。     

凹凸单面提花织物的结构与组织设计

本文提出用“提花线圈分布图”来表示提花组织,并通过实验和织物组织结构的分析来讨论织物产生凹凸效应的原因。对于不同结构的凹凸效应进行分类。介绍判断凹凸效应和设计凹凸单面提花组织的方法。     

一种有效的图像目标识别算法

通过提取图像7个不变矩,结合神经网络(BP)对图像目标进行识别计算.结果表明,该算法具有很好的识别效果,可以应用于图像小目标的识别.     

宽带Σ-Δ锁相环路的相位噪声抵消技术

根据传统的小数分频锁相环中的采样保持方案,提出了宽带Σ-Δ锁相环中采样保持技术的实现方案.方案的采样时刻由首先出现的参考时钟信号或分频器信号的上升沿决定,可以在采样前为补偿电流和电荷泵电流提供足够的时间以保证它们在积分器上的完全积分,从而解决了使用相位内插的Σ-Δ锁相环中电荷泵电流脉冲与补偿电流脉冲间的匹配问题.仿真结果表明,使用采样保持单元后可以显著降低环路中的相位噪声和杂散噪声.     

Parametric Influence on Thermal Performance of Flat Plate Closed Loop Pulsating Heat Pipes

IntroductionMeandering tube pulsating heat pipes(PHPs) , whichare very attractive entrants in the family of heat pipes ,have already found successful applications in cooling powerand microelectronics[1]due to their si mple structures ,costeffectiveness and excellent ther mal perfor mance .They alsohave a potential for ther mal control application for spaceand avionics . Since its introduction in1990 s researchactivity in this area has steady increased,including variousexperi mental studies an…     

Repeat-until语句的操作语义与指称语义的等价性证明

在计算机科学中，形式语义学以数学为工具，精确地定义和解释计算机程序设计语言的含义或语义．其中操作语义学和指称语义学是形式语义学的两大类别．本文使用简单的命令式语言IMP的语法，首先给出了repeat—until循环语句的操作语义，然后详细推导出了其指称语义，并在此基础上详细证明了它们二者之间的语义等价性．