串行程序的并行划分算法及其正确性证明

针对多机系统结构，本文提出了在大粒度级并行划分串行程序的算示。该算法通过识别并行循环任务以及通过确定调用上下文关系识别过程任务，来划分串行程序中的并行成份。该算法是对串行程序实施并行分解的基础。本文还给出了该算法的正确性证明。     

三维Euler方程组隐式LU分解的高性能并行计算

许多非定常无粘流体力学问题的数值模拟都需要利用Euler方程组来进行计算,而由于在隐格式下,所选取的时间步长可以比在显格式下时大得多,所以隐格式越来越受到重视,其中隐式LU分解是最常用的方法之一。对三维Euler方程组,采用隐式LU分解进行计算时,网格点所在的各个对角阵面之间存在数据依赖关系,本文分析了采用区域分解且边界上用显格式代替隐格式进行计算的高效性,在长方体建筑物内的爆炸模拟表明,在有112个CPU的某MPP巨型机上,并行计算效率超过60%。本文还分析了计算结果与串行计算时的差异,以及利用区域重叠减小这种差异的方法,同时考虑了对处理器进行合理的逻辑组织,将计算网格映射到处理器网格,以最大限度减少通信开销的方法。文中最后以一个爆炸毁伤的例子实际说明了所述方法的可行性与高效性。     

飞机装配型架骨架CAD技术研究与实现

对型架骨架CAD技术进行了研究.以CATIA为平台运用CAA工具开发了包括设计线框库和型材库、型材扫掠和相交处理工具等功能的飞机装配型架骨架CAD系统.使型架骨架设计规范性、经验知识及其设计重用性方面得到改善.     

基于域分解的双模式PE

高频近似算法的误差比抛物方程(PE)大,叠加PE计算不能反映同频干扰,对流层电波传播计算域内存在不同的电波传播机制。文章提出了域分解双模式PE,将计算域分解为海洋或地形上的阻抗边界域和空间传播域,分别采用DMFT和SSFT求解。交叠区域实现了电波在两域间的互相传播,并避免了边界截断产生反射。与功率叠加PE相比,反映了多源电波间的矢量叠加,并降低了一半的计算量。在标准大气单源、蒸发波导双源条件下的数值试验验证了方法的正确性和有效性。     

酚醛树脂炭的合成及力学性能研究

为了表征多孔炭泡沫材料基体的结构与力学性能,采用碱催化法制备热固性酚醛树脂,经固化、高温炭化处理合成多孔炭泡沫材料的基体——酚醛树脂炭。研究酚醛树脂炭的微观结构、压缩强度及压缩断裂韧性。结果表明:酚醛树脂炭结构以树脂炭基体、微孔和微裂纹为主,其碳元素以sp3杂化的非晶炭形式存在;压缩强度为8.58 MPa,压缩断裂特征为脆性断裂模式;酚醛树脂炭的压缩断裂韧性较差,断裂过程中吸收的总能量为0.135 MJ/m3。     

抗H2S毒化的载体催化元件

载体催化元件是最为常用的矿下瓦斯浓度检测器件，它灵敏度较高，线性度好，可精确地检测瓦斯浓度。为了克服其容易H2S中毒的缺点，采用并改进了现有的防中毒方法，明显地提高了元件的抗中毒能力。     

矩阵方程A×B=C的中心对称解

文章研究了矩阵方程的中心对称解.利用矩阵对的广义奇异值分解给出了该方程有中心对称解的充分必要条件,以及解的通式,证明了最佳逼近问题存在唯一解,并给出了求最佳逼近解的算法和数值箅例.     

一类基于分解协调机制的多学科优化算法

对于复杂系统的设计问题,分解协调是一种比较有效的优化策略.对耦合信息处理方式的不同,产生了不同格式的多学科优化算法.从子系统间信息交换的角度,描述了系统的耦合机制、耦合系统变量的分解和合成.介绍了系统优化中的系统分析,以及分解分析和分解设计的算法构架.归纳总结了一类基于分解协调机制的多学科优化算法,并对分解算法的特点和特殊处理机制进行了探讨.     

耐无水肼胶囊的试验研究

本文对耐无水肼胶囊的使用性能进行了试验研究.提出了使用温度和用肼清洗、用氦气防护等有效措施,可为使用单位提供使用经验.     

AP低温热分解性能对嵌金属丝推进剂燃速的影响

本文用差示扫描量热法(DSC)、热重-差示热分析法(TG-DTA)研究了AP粒度及其分布对其低温热分解性能的影响,并进一步研究了其低温热分解性能与嵌金属统推进剂燃速的关系.