一种分裂形式CPR格式在欠解析流动中的稳定性研究

基于重构的修正过程（correction procedure via reconstruction, CPR）方法是一种适用于非结构网格、紧致高效的高阶方法，但在离散非线性对流项时容易因为混淆误差的累积而出现数值不稳定。本文研究了基于LG (Legendre-Gauss)点分裂形式的CPR方法在欠解析流动中的稳定性，并将其与子单元限制技术结合，求解含激波的欠解析流动问题。结果表明：经过边界通量修正的LG点分裂形式CPR格式能够满足离散守恒律，且与子单元限制相结合后守恒律依然成立；在无激波的欠解析流动问题中，相比于散度形式CPR格式，分裂形式明显提高了计算的稳定性，而且比使用LGL(Legendre-Gauss-Lobatto)点的分裂形式CPR格式具有更小的数值误差；在含激波的欠解析流动求解中，相比基于LGL点的间断伽辽金谱元法子单元限制策略，基于LG点的分裂形式CPR格式子单元限制策略具有更高的分辨率和更小的振荡。     

用于金属磁微量能计信号读出的两级SQUID放大电路研究

金属磁微量能计(Metallic Magnetic Calorimeter,MMC)是一种具有极高能量分辨率的低温光子探测器。它通过顺磁材料磁化率在低温下随温度急剧变化的特性来实现对光子能量的精确测量。金属磁微量能计通常使用超导量子干涉器进行信号读出。研究介绍了一种用于金属磁微量能计信号读出的两级超导量子干涉器电路。初级放大器的设计采用了二阶梯度计构型,测试结果显示该设计方案有效的抑制了环境噪声的干扰。在液氦温度下,两级放大电路在磁通锁定环模式下实现了27400 V/A的跨阻增益,白噪声水平达到11.5 pA/Hz^(1/2)。     

基于NuSMV的AADL模型形式化验证技术

结构分析描述语言(AADL)是一种描述任务关键嵌入式系统架构和行为的建模语言，在航空航天领域广泛被应用。为验证AADL模型的任务关键属性和系统行为的正确性，提出基于NuSMV(新符号模型检查器)的AADL模型形式化验证方法。首先，覆盖AADL模型的所有软件构件和行为特征，提出了AADL模型到NuSMV模型的映射规则和转换算法；其次，采用图同构方法分析了转换算法的正确性；然后，在NuSMV模型中采用时态逻辑公式对AADL模型中待验证属性进行描述，以验证AADL模型中安全性、活性和嵌套模态配置的正确性；最后，以飞行控制系统为例，详细阐释了基于NuSMV的AADL模型形式化验证方法，并给出验证属性的统计信息。     

激光、红外隐身兼容涂料的前景分析

红外探测技术、激光探测技术、电子战等因素使得红外波段中的隐身技术变得更为重要。在同一波段范围同时达到红外与激光的隐身兼容是热平衡理论所面临的难题。要做到红外和激光的隐身兼容，就必须克服两者对材料的一对矛盾要求。在分别介绍了红外、激光隐身的原理后，提出了红外激光复合隐身的设想，并分析了两种央技术的互相制约及兼容的可能性。     

双超卫星平台柔性线缆构型设计与仿真

研究舱间线缆动力学模型及其扰动传递特性，是深入考察连接线缆刚柔耦合效应影响的重要依据。以绝对节点坐标方法(ANCF)三维缩减曲梁单元模型为背景，考虑线缆的大变形特性，构造新的大变形线缆单元弹性力模型。在此基础上，用数值方法对典型约束工况下线缆单元弹性力模型进行计算和分析，获得位移-扰动力线性关系下的两舱振幅范围。此外，结合有限元方法，获得了舱间线缆不同布线构型的等效结构刚度矩阵模型。结果表明:布线过程中合理排列不同材料性能线缆，可有效降低耦合效应的影响，为后续舱间线缆布线规划提供了理论依据。     

野生与养殖花羔红点鲑肌肉营养成分的比较分析

分别对野生与养殖花羔红点鲑Salvelinus malma肌肉中营养成分进行了比较分析.结果表明:(1)野生与养殖花羔红点鲑肌肉的一般营养成分的含量存在差异.野生群体肌肉中水分的含量显著低于养殖群体(P<0.05),而粗蛋白质的含量和粗脂肪的含量则显著高于养殖群体(P<0.05),野生群体肌肉中粗灰分的含量高于养殖群体,差异不显著(P>0.05),野生群体肌肉中无氮浸出物的含量低于养殖群体,差异显著(P<0.05).(2)野生与养殖花羔红点鲑肌肉中氨基酸总量(w)分别为(18.01±0.29)%和(16.46±0.15)%.野生群体肌肉中各种氨基酸的含量均高于或等于养殖群体,其中,谷氨酸含量最高.(3)野生与养殖花羔红点鲑肌肉中脂肪酸组成均以油酸(C_(18∶1))含量最高,硬脂酸(C_(18∶0))含量最低.亚油酸(C_(18∶2))、EPA(C_(20∶5))、二十二碳五烯酸(C_(22∶5))、DHA(C_(22∶6))的含量野生群体低于养殖群体,差异显著(P<0.05).(4)野生和养殖花羔红点鲑的化学评分分别为0.90和0.87,氨基酸评分分别为0.67和0.64,第一限制性氨基酸都为蛋氨酸.     

前缘气膜孔布局对涡轮转子叶片流动传热的影响

为了研究不同前缘气膜孔布局对叶片内部冷却系统、温度场分布的影响,针对某典型冲击-对流-气膜复合冷却高压涡轮转子叶片,保持叶片主体冷却结构不变,通过改变叶片前缘各列气膜孔的数量形成5种结构方案,完成了1维流动换热及3维有限元温度场计算。并模拟发动机工况,试验研究了叶片内腔流量特性、叶片中下部2个截面的平均冷却效果随压比、流量比的变化规律。计算及试验结果均表明:涡轮转子叶片前缘气膜孔数量及布局对叶片前腔冷气量、前缘温度分布影响明显,而对后腔冷气量、尾缘温度影响较小。