在轨加注过程中组合体航天器动力学建模与分析

针对在轨加注过程中质量分布随时间变化的组合体航天器,研究动力学建模问题并对其动态特性进行分析。将航天器系统分为刚性组合体平台和贮箱内燃料两部分,贮箱内的燃料视为质量、外形和位置连续变化的质量块,将航天器系统抽象为一组有固定边界的变质量质点系;在推导出变质量质点系一般力学方程的基础上,通过对航天器结构进行一定限制消除方程中的反冲力和失调力矩,以组合体平台主轴作为参考坐标系,建立在轨加注过程中组合体动力学模型;该模型除了参数时变的特点外,与普通刚体动力学相比还含有阻尼项;基于李雅普诺夫稳定判据,对该时变动力学系统的动态特性进行分析。仿真计算展现了不同结构参数对姿态运动轨迹的影响,也证明了理论分析的正确性。     

模糊变权法在通信保障能力评估中的应用

分析了通信保障应注重提高的六种能力,给出了运用模糊变权法求变化权重的方法,并通过示例计算进行分析,得出结论,为通信保障能力评估提供了一定的理论依据。     

通用扩张状态观测器鲁棒飞行控制方法

针对存在参数不确定、外界干扰与测量噪声情况下飞行控制问题，提出一种基于通用扩张状态观测器的鲁棒飞行控制方法。首先基于状态相关的Riccati方程（SDRE）控制方法，对飞行器俯仰通道非线性模型进行扩展线性化；而后引入基于通用扩张状态观测器的控制方法，设计干扰补偿增益，实现对外界干扰的估计与补偿；最后通过在线解算状态相关矩阵及代数黎卡提方程，得出状态反馈增益与干扰补偿增益，实现对飞行器期望攻角的跟踪控制。通过与已有方法进行对比，验证了本文所提方法不仅对系统模型不确定性与外界干扰具有较强鲁棒性，而且在较大测量噪声情况下，其依然能够保证良好的跟踪控制效果，具有较强的工程应用价值。     

一种高效的显式模型检验方法

随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性.     

“迷狂式”构思状态及成因管窥

具有强烈的思想感情和丰富的想象，是中西方诗歌的共同特点。但由于中西方历史和文化背景等方面的不同，中西方诗歌在许多方面存在差异，中西方诗人构思时的情绪状态也有差异。中国有“虚静说”，西方有“迷狂说”。西方诗人的“迷狂式”构思状态亦有其产生的原因。     

用8097单片机访问16位RAM中的奇地址字

MCS96系列单片机的外部总线宽度是可以编程控制的.为了达到访问16位RAM奇地址空间中的字,需要特殊的硬件结构支持.笔者讨论了两种方案,并进行了比较分析.     

基于敏感性分析和准稳态假设简化详细反应机理

发展了一套基于敏感性分析和准稳态假设来简化复杂化学动力学机理系统的方法。采用等压均相反应器燃烧模型和详细化学动力学机理计算特定工况下的自燃过程。通过对详细机理计算结果的敏感性分析后删除其中的冗余组分和冗余反应,简化得到基干反应模型。再找出基干机理中反应速率较快,浓度较低的组分假定为稳态组分,使用准稳态假设方法简化得到总包反应模型。最后以甲烷燃烧的GriMech1.2详细机理为例分析得到了简化机理并计算了着火延迟时间,与详细机理所得的结果进行比较验证,得到了较好的结果。     

声乐表演艺术中的心理作用

在声乐表演艺术的训练和表演过程中,始终贯穿复杂的心理活动。因此,声乐艺术表演质量的高低,取决于歌唱者生理、心理等方面所获得科学训练的好坏,以及他们之间协调配合的程度。我们只有从理论上对其进行认识,才能准确的把握住心理状态,培养、训练出有利于歌唱的良好心理状态,才能有效地提高声乐教学的科学性和声乐演唱的艺术水平。     

VXI总线消息基器件数据低寄存器定位监视电路设计

结合工程需要设计了消息基器件数据低寄存器定位监视电路,满足了总线和本地CPU对数据低寄存器读写时的时序关系,给出了部分实现电路和状态转移流程图。     

状态机嵌入DEVS的组合建模方法研究

DEVS提供了模块化、层次化的系统建模和仿真执行框架,但是缺乏对于系统行为的抽象建模能力。状态图扩展了原有的FSM,通过可视化的、灵活的状态迁移图描述系统的复杂行为。提出将状态图嵌入DEVS的组合建模方法,互为补充,以建立复杂的离散控制系统。DEVS作为系统的建模框架并提供执行逻辑支持,状态图扩展DEVS的事件交互机制和时间推进机制,描述系统的行为逻辑。详细介绍了状态图和DEVS的语法语义,重点阐述状态图嵌入DEVS的实现机制。结合一个应用实例,说明嵌入状态图的DEVS用于建立离散控制系统模型的优势。