论固体推进剂配方的计算方法

本文讨论了固体推进剂配方中的粘合剂,固化剂,增塑剂,以及带有活性基团的其他组分的用量计算方法和存在问题,并提出一个简便而通用的当量比计算方法。此法已在实际中应用。     

Σ-演算的范畴模型

Σ-演算是并发演算CC的子理论,集中体现CC中的并行运算部分的特征。本文将并发通信系统看作是由状态加变换构成的动态系统,建立了Σ-演算的范畴模型(Categorical ModeI),其基本思想是:把Σ-演算中的公式对应于范畴构造中的对象(Objects),Σ-演算中的推演对应于范畴中的态射(Morphisms),从而通过Σ-演算的结构操作语义自然地得到一种范畴结构。这种方法可以推广到其它并发理论之中,例如网论和逻辑方法(如线性逻辑Linear Logic),从而范畴论可以作为描述并发、通信和非确定性行为的统一的形式化框架。     

圆柱尾流与游鱼间相互作用的数值计算研究

为了预测鱼类游泳问题的流动演变,开发了一种基于浸入边界格子玻尔兹曼方法的流动求解器.采用基于隐式边界力校正框架的灵活迭代算法降低计算成本和内存.在确定边界节点的速度修正后动量力由简单的直接力公式描述,无需复杂的积分计算.使用所提出的流动求解器,分析了鱼引起的动态失速涡与非定常流动中的传入涡之间的流体动力学相互作用.数值...     

基于ANCF的薄膜太阳帆自旋展开动力学模拟

执行深空探测任务的薄膜太阳帆在入轨展开过程中,其薄膜结构在宏观力学响应上表现出显著的拉压不对称特性.系统的动力学行为呈现出强烈的非线性特征,使其动力学建模与仿真计算面对巨大挑战.基于绝对节点坐标方法(Absolute Nodal Coordinate Formulation,ANCF),整合张力场和不同模量弹性理论,推...     

自由面碎冰浮冰环境高速入水动力学特性

为了研究碎冰环境下航行体高速入水过程中的空泡流场演化、航行体动力学响应以及碎冰载荷特性等规律,基于任意拉格朗日-欧拉方法建立了碎冰环境下的航行体高速入水流固耦合计算模型,并与高速入水试验、冰材料三点弯矩试验对比验证了方法的有效性和冰材料模型的可靠性。利用构建完成的高速入水流固耦合计算模型重点研究了碎冰以及碎冰间隙对航行体入水过程流场、动力学参数以及载荷的影响。研究结果表明：碎冰的存在对航行体入水后的水面抬升以及产生的飞溅演化存在抑制作用;碎冰环境下航行体的入水冲击载荷显著增加,其过程相较于无冰环境具有更大的动能损耗,但其砰击载荷持续时间与无冰环境入水过程一致;入水形成的飞溅冠连续性随着碎冰间隙的增加而增加,一定碎冰间隙范围内,航行体瞬时砰击载荷与间隙大小呈负相关关系,间隙足够大时,砰击载荷变化相对较小。     

民用飞机冲压空气涡轮系统适航工程技术研究

冲压空气涡轮系统是一种飞机应急能源,其在紧急情况下为飞机提供应急液压源和/或应急电源,对飞机应对紧急情况至关重要。参照 AP-21-AA-2011-03-R4 中关于航空器生命周期审定过程划分及合格审定活动,结合某型民用飞机冲压空气涡轮系统研制过程,从识别审定基础开始,将适航条款转化成需求,落实到产品设计中,明确条款的...     

风雷软件LES开发设计与验证

基于国家数值风洞风雷软件开源框架，设计开发了LES(Large Eddy Simulation)湍流模型，主要包括Fourier谱/有限差分方法 LES求解器和有限体积/有限差分方法 LES求解器。简要介绍了采用的不可压缩流动求解的投影法、Fourier谱/有限差分混合方法、亚格子模型等理论方法，给出设计的软件框架和计算流程，尤其说明采用的松/紧2种耦合模式。通过数值模拟不可压缩槽道湍流、亚临界雷诺数圆柱绕流、NACA0012临界攻角的低频振荡算例，验证求解器的计算精度和复杂湍流模拟能力。基于风雷开源框架设计的开源LES模型，具备高精度数值格式、亚格子模型、湍流统计等通用模块，可为国内学者提供一个LES湍流模拟研究的开放平台。     

系留无人机平台搭载的蜂窝通信基站吞吐量优化

考虑多架系留无人机（UAV）空中基站为多小区提供空地双向通信服务时，针对地面用户数目分布不均匀和多机协同服务同频干扰严重的问题，提出了一种联合优化空中基站高度和链路传输方向的吞吐量优化算法。该方法通过使用最大同频链路准则和就近服务准则确定了同频链路配对和无人机/用户配对，通过优化空中基站高度和链路传输方向提升了系统平均吞吐量，并减少了用户间的同频干扰。多种场景下验证结果均显示，所提方法显著优于其他非联合优化的对比方法，当拥塞小区用户数目是非拥塞小区用户数目的1~36倍时，相比于不联合优化链路传输方向和空中基站高度的对比方法，所提方法可提升系统平均吞吐量8倍左右。