优化铅酸蓄电池化成工艺参数的研究

本文针对生极板为同一型号的电池，采用二次加酸化成，改变电流密度和时间．控制电解液的温度等方法．得到优化的工艺参数。采用该组工艺参数，不仅缩短铅酸蓄电池化成周期．提高生产效率，而且节约能源。     

沉管碎石桩处理软土地基的应用过程

沉管碎石桩是地基处理的方法之一,可以有效地提高地基承栽力,使沉降量减少,增加地基的稳定性,并且可以减少环境污染。对此方法的施工作了详细的介绍。     

现代图书馆人性化服务的理念与实践

提出图书馆倡导人性化服务的必要性,人性化服务的内涵及图书馆实行人性化服务的具体措施.     

On the Foundations of Constructive Mathematics – Especially in Relation to the Theory of Continuous Functions

We discuss the foundations of constructive mathematics, including recursive mathematics and intuitionism, in relation to classical mathematics. There are connections with the foundations of physics, due to the way in which the different branches of mathematics reflect reality. Many different axioms and their interrelationship are discussed. We show that there is a fundamental problem in BISH (Bishop’s school of constructive mathematics) with regard to its current definition of ‘continuous function’. This problem is closely related to the definition in BISH of ‘locally compact’. Possible approaches to this problem are discussed. Topology seems to be a key to understanding many issues. We offer several new simplifying axioms, which can form bridges between the various branches of constructive mathematics and classical mathematics (‘reuniting the antipodes’). We give a simplification of basic intuitionistic theory, especially with regard to so-called ‘bar induction’. We then plead for a limited number of axiomatic systems, which differentiate between the various branches of mathematics. Finally, in the appendix we offer BISH an elegant topological definition of ‘locally compact’, which unlike the current definition is equivalent to the usual classical and/or intuitionistic definition in classical and intuitionistic mathematics, respectively.     

高精度步进压印机热误差的建模分析

为了消除由紫外光曝光所引起的步进压印机的热误差，以提高压印机的套刻对准精度，运用逐步回归分析法选取了压印机上温度测量点的数量，将压印机上布置的温度传感器从15个减少到6个，并建立了压印机温度测量关键点处的温度与压头在x、z方向热误差关系的数学模型．实验结果与模型计算结果的对比分析表明，模型的热误差预测精度在x方向可以达到899／6，而在z方向可以达到939／6．应用表明，该方法是一种在压印机热误差建模中选择温度测量关键点的有效方法，可避免热误差建模过程中的变量耦合问题，从而提高了模型的精确性．     

加强高职高专生就业心理素质教育,提升就业能力

随着社会经济的发展,高职高专生的就业面临着巨大的挑战和压力;然而,目前部分高职高专生存在着一些不良的就业心理素质,影响着其就业能力.因此,在高职生的就业指导中应加强就业心理素质教育,以充分拓展就业空间.     

标枪最后用力影响因素的研究

运用运动生物力学理论，对标枪最后用力影响因素进行分析。结果表明，要提高标枪成绩，重点应放在右腿及时地发力，左腿有力的制动，这可直接影响动量传递效果。     

高校思想政治理论课教师创造性教学的张力结构

高校思想政治理论课教师创造性教学是有其现实背景、内蕴力量和张力结构的。本文以上述三个方面为逻辑基点进行分析，意在从理性的层面上更清晰地确认思想政治理论课教师创造性教学的合理地位。     

我国现代竞技体操训练模式的思考

借鉴工业化大生产模式的理念，来设计我国现代竞技体操大规模培养人才的模式，有利于充分利用科技手段，规范训练过程，保证人才质量，给我国体操事业的发展注入新的活力。     

Distributed and Parallel Component Library

Software component library is the essential part of reuse-based software development. It is shown that making use of a single component library to store all kinds of components and from which components are searched is very inefficient. We construct multi-libraries to support software reuse and use PVM as development environments to imitate Iargescale computer, which is expected to fulfill distributed storage and parallel search of components efficiently and improve software reuse.