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.     

塑料瓶盖的压缩性能研究

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

断裂力学理论及其研究方法在材料学中的应用

综述了断裂力学理论的产生和发展的历史过程及断裂力学理论的主要内容.论述了断裂力学的两大理论线弹性断裂力学理论和弹塑性断裂力学理论的主要内容及其研究方法在材料磨损研究以及估算材料使用条件和安全寿命研究方面取得的成果以及发展水平.     

西酞普兰与舒乐安定治疗广泛性焦虑临床研究对照

目的比较西酞普兰与舒乐安定的抗焦虑效果和副作用.方法符合CCMD-3广泛性焦虑诊断标准60例,随机分为研究组(西酞普兰组)与对照组(舒乐安定组);用汉米尔顿焦虑量表(HAMA)评定症状变化,用TESS评定副反应,疗程6周.结果研究组显效率76.67%,有效率93.33%;对照组显效率73.33%,有效率90.00%,两组疗效无显著差异.研究组副作用有恶心、口干、嗜睡、头痛、便秘,以头痛、呕心、口干为最常见的不良事件.结论西酞普兰治疗广泛性焦虑效果较好,副反应轻.     

锻炼对老年人肺通气功能影响的研究

本文采用电子肺活量计对218名老人进行了肺通气功能的测试。测试结果表明:体育锻炼对老年人肺通气功能有良好影响。本文为老年人肺通气功能的研究、评价及老年人体育运动的研究提供了实验性依据。     

英语构词活前缀anti-的剖析

英语活前缀anti-是现代英语中构词力最强的词缀之一。随着其构词力的不断增强，这个前缀的构调特点有了新的变化，语义范围也得以进一步的扩展。本文对前缀anti-的构词特点与变化进行探讨，对其语义特点和范围进行研究，以阐明这个前缀的应用规律，便于人们在阅读、翻译和撰写英语文章时，能正确理解和运用这个前缀及其派生词。     

安装误差对正交弧齿锥齿轮副接触区影响的分析

本文从理论上分析了正交弧齿锥齿轮副的各种安装误差对啮合接触区的单独影响和综合影响,建立了安装误差作用下齿面接触区的数学模型,并通过具体实例讨论了各项安装误差对啮合接触区单独影响和综合影响的程度以及综合影响的“叠加效应”和“互补效应”,提出了满足接触要求前提下降低安装要求的措施.     

双轴等拉低周疲劳实验装置

本文给出能在一般单向加载液压疲劳试验机上做双轴等拉低周疲劳实验研究的双向拉伸装置,并对有关影响因素进行了讨论。 本试验是在百吨液压低周疲劳试验机上进行的。双向拉体装置已经受近百万次疲劳载荷,其中交变载荷幅围5.5,t亦经受近20万次。在使用过程,各构件完好合手使用要求,将十字试样进行低周疲劳断裂试验,成功地开出合格裂纹,用它进行超速条件下叶轮材料性能研究亦取得初步结果。可以认为它适用于平而应力集中问题低周疲劳性能的研究。若使用液压高、中周疲劳试验机,它还可用于双轴载荷下裂纹试样裂纹扩展的研究。 本文指出了双向拉伸装置有待改进的方面。     

稀土高碳当量灰口铸铁组织与性能的研究

本文研究了利用稀土合金改善高碳当量灰口铸铁质量的可能性,稀土合金对高碳当 量灰口铸铁组织和性能影响的规律,以及稀土夹杂物在铸铁各相中分布的规律．发现了 稀土合金加入量与铸铁的机械性能之间明显的对应关系——“双峰值效应”。对稀土高 碳当量灰口铸铁的某些高温机械、物理、化学性能进行了研究。结果表明稀土合金加入 到高碳当量灰口铸铁中以后能净化铁水,改善组织,并提高其性能．     

用几何形体法求解并联机械手位置正解

本文提出以虚拟杆为主要特点的几何形体法用于求解并联机械手的位置正解。与“六维搜索算法”相比,具有初值选取简单,适用性强的特点。为并联机械手的工作空间分析与综合、误差分析与综合等提供了一个有力的工具。