Poisson方程生成数值网格方法中的源项计算法

网格生成是数值研究方法得以实现的基础。本文采用了Ｐｏｉｓｓｏｎ方程生成数值网格，并针对方程源项的选择问题，对两种形式的源项作了比较研究。     

MPP虚拟多机系统

ＭＰＰ虚拟多机系统是一个特殊的ＰＶＭ系统，本文阐述了ＭＰＰ虚拟多机系统的系统结构和实现技术，并对ＭＰＰ虚拟机的性能进行了初步测试和分析。     

Alpha 工作站仿真一体化环境交互系统设计

交互系统是一体化建模仿真环境中的一个重要环节,主要解决人机关系,使用户可以方便地与仿真机作高速通讯,对仿真运行进行实时监控。本文在简要介绍整个系统概况的基础上,对交互系统的总体设计、命令分析与处理、功能实现等几个方面展开了讨论。此外,还简单介绍了交互界面的设计和实现情况     

亚共析钢碳化物相的快速直接球化

依据作者关于钢中奥氏体晶粒尺寸影响相变产物中碳化物形态的观点， 本文分析研究了精轧过程中与碳化物球化有关的金属学问题； 指出在临界温度以下对过冷奥氏体实施精轧， 因铁素体“超量”析出而使奥氏体晶粒细化， 并随精轧形变量的增加， 在晶内诱发共析相变； 精轧后的钢继续在精轧温度短时停留， 可实现碳化物相的优良球化。     

微小型固体火箭发动机点火特性试验

设计了一种适用于某微小型固体火箭发动机的点火器 ,对某微小型固体火箭发动机的点火特性进行了大量试验研究 ,引入了初始点火压强的概念 ,找出了影响点火延迟时间散布的主要规律 ,确定了能满足微小型固体火箭发动机点火性能的点火方案     

基于程序切片的电路提取技术

从HDL设计描述中提取电路在VLSI设计验证、低功耗分析、测试生成等方面有广泛的应用需求。提出了一种采用程序切片技术实现的新的电路提取方法,并深入论述了基于程序切片技术从Verilog描述中进行电路提取的理论基础。该方法可以为每一个感兴趣的信号获取其"链接切片"。与以前的方法相比,该方法的优点是细粒度的、不受书写格式的限制,并且能处理更多Verilog的语法元素。该方法已经被集成到现有设计流程中,实验结果表明其方便、高效,有良好的通用性。     

“三个代表”重要思想是马克思主义政党学说的新发展

“三个代表”重要思想是马克思主义论述的提炼和概括。以江泽民同志为核心的第三代领导集体不断研究新情况,不断总结我党的宝贵经验,提出了新时期党的建设的总目标,制定了一系列加强党的建设的重大举措,开辟了继毛泽东思想、邓小平理论之后马克思主义基本原理与中国实际相结合的又一新境界。     

焊接工艺对熔敷金属韧性的影响

探讨了改变焊接工艺对焊条熔敷金属冲击韧性的影响．研究表明：改变焊接工艺,将通过改变熔敷金属的化学成分,影响熔敷金属的强度和韧性;降低焊接线能量时,将降低熔敷金属中的氧含量及其氧化夹杂物的数量和大小,从而提高熔敷金属的韧性     

一类拟线性周期抛物边值问题

研究了一类带有小扩散系数的拟线性周期抛物混合边值问题。给出当扩散系数趋于零时其非平凡解的渐近性。     

面向GPU的非结构网格有限体积计算流体力学的图染色方法优化

采用图染色方法解决通量累加和局部最大压力计算引起的两种典型资源竞争问题,并通过共享内存的使用、体编号和面编号的重排、面数据的重排三种策略优化图染色方法。针对应用在空气动力学多种规模的三维网格,分别采用双精度和单精度操作数,在Nvidia Tesla V100和K80 GPU上,展开性能测试。结果表明:共享内存的优化效果不明显;体编号和面编号重排降低了图染色方法的计算性能;面数据重排可以有效地优化图染色方法;计算性能在V100上提高20%左右,在K80上提高15%左右。