计算-表征认知理论的认知语境分析

科学是一种认知现象，是在其认知语境中产生的。本文以认知科学的中心假说－－心智的计算－表征理解（CRUM）作为“文本”，对其进行语境分析，提出“认知语境”的概念，揭示了CRUM的认知语境结构及其工作机制，并对CRUM的认知语境作了进一步扩展与补充。     

统计学在保险业中的应用--关于平均保额损失率的计算

本主要说明统计法在保险业中的应用，并且给出了利用统计法计算平均保额损失率的方法和公式。     

矩形型钢弯曲回弹曲率半径r值的确定

文章在分析矩形型钢弯曲变形过程及应力与应变等方面的关系的基础上，推导出工件曲率半径与工件回弹后曲率半径之间的关系，从而确定了凸模半径。     

4-(二甲胺基)苯甲醛缩-2,4-二硝基苯腙分子特性的预测研究

利用Gaussian98程序,采用密度泛涵方法(B3LYP/6-31G)对4-(二甲胺基)苯甲醛缩-2,4-二硝基苯腙化合物的晶体结构进行了量化计算,利用相关参数推测了它的分子特性,结果表明,该化合物的分子结构为一大平面结构,难与金属形成配合物.     

内燃机燃烧过程仿真后处理输入文件Ipost的研究

以系统论为理论依据，在计算机上进行试验和分析，研究了输入件的设计要求和方法。研究表明：后处理输入件要设计后处理硬件类型、图形件(*．ps)的输出模式和镜像输出条件等总则，要确定输出内容包括网格划分和性能计算结果两个大的方面，网格划分的输出可以按平面图和三维图两种类型输出。性能等高线图和矢量图可以按正平面图和斜平面图的类型输出，网格图和性能图均按仿真计算的曲轴转角(时间)输出。     

高端计算软件平台的研发

高端计算软件平台是整机系统实现友善性、可用性和高效性的基本保障。随着计算处理规模愈来愈大，以及Peertopeer和Grid这类新型计算模式的出现，平台软件的设计面临新的挑战。首先，对高端计算软件平台发展状况以及面临的设计难题进行论述和分析；然后，介绍一个高端计算平台软件系统设计情况，并进行讨论。     

SW规约下的一些性质

本文进一步分析了SW规约下的SW度结构的一些性质,得到了强可计算实数的两个性质.并且证明了给定可计算可枚举实数,可构造出sw归约下不小于该数的低的可计算可枚举实数.