中心城市在旱生境下绿洲经济发展的作用

城市化是解决“三农”问题的关键,“三农”问题的解决是新疆实现“全面建设小康社会、加快实现现代化”目标的关键。加强绿洲中心城市的发展,加快城乡一体化进展,建设社会主义新农村,是新疆绿洲经济发展的强大推动力。     

现代颚式破碎机设计与展望

根据现有的文献记载,作者对颚式破碎机的设计理论及应用、机型及其系列、结构和创新等进行了较全面的回顾与展望。     

宁波混合经济与市场化程度的实证研究

简要介绍了混合经济与市场化理论,从理论上分析了两者的正相关关系,建立了宁波混合经济发展程度的综合指标.并借鉴了一个地区经济市场化进程的综合评价模型;通过数学分析,验证了混合经济与市场化程度的正相关关系,建立了宁波混合经济发展趋势与市场化程度的预测模型.最后提出,发展混合经济的基本点应着手提高市场化程度.     

谈高职院校外籍教师的聘请与管理

高等职业院校聘请外籍教师工作有其特殊性.广开聘请渠道、把好聘请关,是高职院校聘外工作的关键;依法管理、科学管理、人本管理是提高聘用效益的核心.     

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

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

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

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

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

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

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.     

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

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

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.