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．应用表明，该方法是一种在压印机热误差建模中选择温度测量关键点的有效方法，可避免热误差建模过程中的变量耦合问题，从而提高了模型的精确性．     

会计信息失真的原因及防范措施

从企业经营者和会计从业人员的角度阐述分析了我国企业会计信息失真的原因和防范措施。     

塑料瓶盖的压缩性能研究

本文通过对塑料瓶盖压缩性能检测证明,每一种塑料瓶盖的压缩性能和压缩曲线都具有特征性,塑料瓶盖的压缩性能和压缩曲线可以作为检测塑料瓶盖真伪的重要依据之一.     

Atomic Electronic Contract Protocol Based on Convertible Signature

A new class of atomicity, namely contract atomicity is presented. A new technical strategy based on convertible signature and two-phase commitment is proposed for implementing atomicity of electronic contract protocol. A new atomic contract signing protocol is given out by using EIGamal like convertible undeniable signature and commitment ofconversion key, and another new atomic contract signing protocol is brought forward by using RSA based convertible undeniable signature scheme and commitment of conversion key. These two new protocols are proved to be of atomicity, fairness, privacy, non repudiation.     

“926”植物生长调节剂的经济效益与生态环境

简要评估了“９２６”植物生长调节剂的经济效益和生态环境。分析了开发应用的前景。     

金属工件内部残余应力的振动消除研究

本文针对传统的消除金属工作内部残余应力的热时效处理法的不足，从激振角度，运用材料力学、动力学中的振动理论等知识，并通过大量试验验证，研究了振动消除应力的方法－－振动时效法的原理及其有关问题。说明这种新的方法具有节能、高效等一系列优点。     

省道002线（分水岭—仲宫段）地层划分与岩土工程分类

详细阐述了省道002线分水岭到仲宫段跨越地带地层的时代、岩性,划分了岩、土的工程类别,为道路和桥梁设计、支挡物设置及工程概算提供了依据。     

带有约束的缺省逻辑

提出了一种改进缺省逻辑的方法，讨论了这种缺省理论的性质，证明了每个缺省理论都有扩充，具有半单调性和累积性，并讨论了处理多扩充问题的一种方法．