并行程序设计语言在串行机上的编译实现

目前,诸如Fortran 8x 程序设计语言中已经引入了并行运算成份。这给普通串行(标量)机上实现编译器带来了困难。本文提出了数组(矩阵)运算串行化的概念,并给出了串行化的判别准则及算法。     

用坐标空间重正化群(PSRG)方法求解二维正方格子铁磁系统的临界指数

本文采用坐标空间重正化群方法(PSRG),对二维正方形点阵最近邻伊辛模型铁磁系统,求解了五个自旋组成块体的临界指数,在块体哈密顿量中保留到的量级。将本文结果与伊辛模型严格计算的理论值、各种临界指数的实验值、以及二维三角点阵三个自旋组成块体的临界指数计算值相比较,可以看到,本文的计算结果均比三角点阵三自旋组成块体的计算值有所改进。     

使用直接模拟法研究选择快中子屏蔽参数

使用蒙特卡罗直接模拟法模拟了300keV氘束流T（d,n）4He中子源发出的中子在球壳屏蔽体介质铁中的输运规律。分析了不同介质厚度的铁对中子的反射性质和吸收性质,这些解释和分析对快中子球壳屏蔽参数的选取具有重要价值。     

反应性事故中的瞬发加热效应

本文考虑了反应性事故中的瞬发加热效应和各种反应性反馈效应,导出了用于分析各类反应性事故的热工水力方程,其结果适用于运行监督现场的快速计算。     

静磁场Dirichlet问题

本文以单调算子理论为基础,应用文献［１］中得到的静磁场Ｂ－Ｈ的几个不等式证明了静磁场Ｄｉｒｉｃｈｌｅｔ问题广义解的存在与唯一性,并证明了静磁场Ｄｉｒｉｃｈｌｅｔ问题相应泛函的极小值的存在性,得出主要结论如定理３．１和定理３．２。     

大气中二氧化碳分离技术的研究与现状

本文概要介绍了潜艇和载人航天器舱内二氧化碳分离去除的４种主要方法：碱吸收法、吸附法、电化学法和膜法,并就该技术领域的历史与现状、各种方法的优缺点和具体的应用情况,以及今后国内外的发展趋势进行了分析与评述。     

一个多层的 context 逻辑

本文介绍了ｃｏｎｔｅｘｔ研究的现状,定义了一个新的ｃｏｎｔｅｘｔ逻辑ＣＬ,定义并证明了与之相关的一些概念和定理。     

聚对苯撑及其衍生物的合成、表征和电性能

从溴苯合成出了聚对苯撑,从对苯二酚合成出了几种聚对苯撑的衍生物：聚（２,５－Ｍ甲氧基）对苯撑,聚（２,５－二乙氧基）对苯撑和聚（２,５－二丁氧基）对苯撑。用ＩＲ表征了中间体和聚合物的结构,测定了聚合物的电导率和伏安特性曲线,并讨论了实验条件对产率的影响。     

有源噪声控制的新近进展（Ⅱ）

从一般封闭空间、混响声场的有源控制及控制器结构与算法三个方面对有源噪声控制进行了评述,并对今后的研究趋势提出了展望。     

次连续(S)型映射的广义拓扑度

基于Galerkin逼近技巧,本文构造了次连续(S)型映射的广义度,讨论了该广义度的初等性质,并给出了局部有界广义伪单调映射满值性的拓扑证明。