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

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

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

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

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

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

一类较为完善的不可逆制冷机模型及其最优化

在考虑工质与热源间热阻损失的内可逆卡诺制冷机模型基础上,用一常数项表示热源间的热漏,用一常系数项表示循环中除热阻和热漏外的其余所有不可逆性（如摩擦、涡流、惯性效应等）,提出了一类较为完善的不可逆卡诺制冷机模型,并对此不可逆制冷机模型进行优化分析,导出了其最佳制冷率与制冷系数间的优化关系和最大制冷系数及其相应的制冷率。由定义的一常数项和一常系数项可定性、定量地分析不可逆性对循环性能的影响,所得结果包含了有关文献的一些特例。最后,给出了详细的数值算例,说明本模型的有效性。     

舰船空调系统改进性方案设计

本文针对航行在热带海区的某型舰船用空调系统存在的降温效果差、舱室风机盘管噪音大、操作管理不便等问题进行了研究,并提出了改进设计方案;经实船安装和调试,明显改善了空调舱室的舒适性,提高了设备工作的可靠性和自动化管理程度,收到了良好的效果。     

一个多层的 context 逻辑

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

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

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

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

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

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

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

动目标显示雷达改善因子的自动测试

本文对动目标显示雷达改善因子的自动测试系统进行了研究,给出一种新型的全数字式频率合成器,它能在雷达的中频上叠加频率范围为±70kHz、量化间隔为0.5Hz的多普勒频率。