间断Galerkin有限元隐式算法GPU并行化研究

为了提高间断伽辽金（discontinuous Galerkin, DG）有限元方法的计算效率,围绕求解Euler方程,构建了基于图形处理器（graphics processing unit, GPU）并行加速的隐式DG算法。算法结合Roe格式进行空间离散,采用人工黏性法处理激波等间断问题,时间推进选用下上对称高斯-赛德尔（lower-upper symmetric Gauss-Seidel, LU-SGS）隐式格式。为了克服传统隐式格式固有的数据关联依赖问题,借助于本文提出的面向任意网格的单元着色分组技术,先给出了LUSGS隐式格式的并行化改造,使得隐式时间推进能按颜色组别依次并行,由于同一颜色组内算法已不存在数据关联,可以据此实现并行化。在此基础上,再结合DG算法局部紧致等特点,基于统一计算设备架构（compute unified device architecture, CUDA）编程模型,设计了依据单元的核函数,并构建了对应的线程与数据结构,给出了DG有限元隐式GPU并行算法。最后,发展的算法通过了多个二维和三维典型流动算例考核与性能测试,展示出隐式算法GPU加速的效果,且获得...     

航空公司飞行机组排班问题研究

飞行机组排班是整个航空公司制定航班生产计划中的一个重要环节,是提高航空公司运营效率的关键。通过对飞行机组排班问题中飞行机组任务分配的分析,把飞行机组人员任务的分配转化为图着色,建立飞行机组排班问题的图着色模型,设计顶点着色算法来求解模型,最后将此图论算法模型应用到具体航空公司飞行机组排班的实例中。     

国内渗透检测材料分析

通过对国内知名厂家的渗透检测用材料按照现行标准进行性能测试并与国外同类产品的试验结果对比,得出国产渗透检测用材料与国外同类材料相比水平相当的结论.     

基于共轭齿面修正的航空弧齿锥齿轮高阶传动误差齿面拓扑结构设计

根据高阶传动误差和齿面印痕的设计需求,提出基于共轭齿面修正的齿面设计方法.采用与大轮齿面完全共轭的小轮齿面为基准面,根据预设的高阶传动误差对齿面进行一次修正;在此基础上根据接触印痕的需求对齿面进行两次修正,通过对全齿面几何形状的精确控制实现高阶传动误差和齿面印痕的精确控制.算例结果表明,传动误差为6阶曲线,幅值为3.1″,接触迹线与根锥的夹角接近25°.通过数字化滚检方法分析,结果显示:传动误差的形状、幅值、接触迹线与接触椭圆可以得到精确控制.这种基于共轭齿面修正的齿面设计方法可推广应用于其他齿轮副的设计.     

导航卫星的随机着色Petri网可靠性模型

导航卫星是全球卫星导航系统的重要组成部分,是实现导航任务的关键。国内外目前关于Petri网的研究大都集中在广域随机Petri网(GSPN)方面,鲜有利用着色Petri网分析评估系统可靠性的研究。本文利用随机着色Petri网(SCPN)建立导航卫星可靠性模型,既能够描述导航卫星信息流变化的处理过程,又能够体现组成部件的可靠性影响,克服了传统可靠性模型不能反映卫星运行的动态行为特性的不足。模型用于导航卫星的可用性分析评估。文中使用GPS可靠性数据对模型算例进行分析评估,仿真结果与GPS性能分析报告可用性数据相符,证明了模型的正确性。     

2边连通3正则平面图的边着色

对具有正常３边着色的２边连通３正则平面图的顶点定义了方向，并且在这样的图上建立了路径上的积分，进一步给出了２边连通３正则平面图是３边可着色的等价条件。     

基于UML的任务空间概念模型动态行为验证研究

动态行为的验证已经成为任务空间概念模型校验的重点和难点,而统一建模语言(Unified Modeling Language,UML)是半形式化的语言,难以进行动态行为的分析和验证,采用Petri网进行概念模型形式化验证是理论和方法研究的重要方向.论文提出了基于CPN的动态行为验证过程,论述了动态行为验证的主要内容,并应用CPN Tools对反导作战概念模型进行了动态行为验证,仿真结果表明概念模型是正确的.该方法可以提高模型校验的自动化水平,从而提高校验的效率和校验结果的可信性.     

玻璃表面扩散着色的研究

本文阐述了在玻璃产品上打印永久性标记的离子着色剂的研究,并对这种着色剂的配制方法及打印显示工艺过程作了介绍。