基于有限元网格变形的飞机外形曲面修改

根据变形后的有限元模型修改原始的飞机外形,从而自动得到变形以后的产品模型。考虑到有限元网格与原始曲面之间的误差及细小特征上的差别,本文采用两种方法来重新生成产品的曲面:(1)通过有限元网格节点的变形直接修改原始曲面,(2)考虑原始曲面与初始有限元模型的误差直接对变形后的有限元网格进行曲面的重构。实例表明重构以后的模型具有良好的外形,能有效地恢复有限元网格中忽略掉的特征,同时曲面之间的拓扑结构能够与原始模型保持一致。

一种面向瞬时故障的容错技术的形式化方法

软件发生瞬时故障时,可能会导致处理器状态改变,致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案,主要的方法是重复计算和检查副本的一致性。但是,生成正确的容错代码十分困难,而且几乎没有关于证明这些技术的正确性的研究。类型化汇编语言(TAL)是一种标准的程序安全性证明的方式。本文概述了一种面向瞬时故障的软硬结合的容错方法,以及对该方法的形式化方法,包括容错类型化汇编语言、类型系统和容错定理。形式化的目的是为了验证,只有通过验证的程序代码才是类型安全的。本文只简单介绍了程序的形式化方法。

多孔扁管冷凝器设计

介绍了管片式、管带式、平流式冷凝器形式的结构特点。对换热量为25kW的液冷式小水力直径多孔扁管冷凝器的结构尺寸进行设计计算。设计出的尺寸结构较传统换热器要小,并满足设计的换热和压降要求。

基于课程思政背景下高校教师党支部创新机制分析

课程思政背景下,高校教师党支部应借助自身育人优势,切实发挥立德树人教育理念,在教育工作中不断探索课程思政与党支部工作机制结合路径,积极贯彻社会主义核心价值观,实现课程思政常态化、持续化。本文针对基于课程思政背景下高校教师党支部创新机制必要性进行概述分析,并从中提出基于课程思政背景下高校教师党支部创新机制路径。