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.     

塑料瓶盖的压缩性能研究

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

非欧姆氧化锌陶瓷的界面态和晶界势垒模型的探讨

本文对非欧姆氧化锌(ZnO)陶瓷的界面态进行了探讨,提出了控制非线性电导特性的界面态是由于晶界的深能级电子陷阱,且深能级电子陷阱的形成是由于存在氧缺位缺陷和金属离子正电中心的观点.本文在实验分析的基础上提出了一种新的晶界势垒模型,认为晶界势垒分为主晶界势垒和次晶界势垒,两种势垒的物理性质相同,但形成和蜕变的温度不同。     

球面二次包络弧面蜗杆传动的理论研究

在避免蜗杆“根切”和“变尖”的条件下,减小蜗杆的喉径,提高蜗轮付的啮合效率及蜗轮轮齿强度,改善其结构的不合理性,已成为当前对“多头小速比”包络弧面蜗杆传动啮合原理研究的重要课题。本文对一种新型包络弧面蜗杆传动——“球面二次包络弧面蜗杆传动”进行了系统的理论研究,所得的结论表明,采用该传动对解决上述问题可以获得十分令人满意的结果。     

“灰箱”的辩识与控制——一种简便实用的自适应控制方法

以在蒸汽机车锅炉减温群控系统中成功地实现自适应控制为例,介绍一种用单板机对“灰箱”进行在线辩识和自校正调节的方法,并提出了简化的自适应控制算式.     

A novel mechanism for jumping in the indian ant<Emphasis Type="Italic">Harpegnathos saltator</Emphasis> (Jerdon) (Formicidae,Ponerinae)

The Indian antHarpegnathos saltator may be unique among insects in using its jumping capacity not only as an escape mechanism but also as a normal means of locomotion, and for catching its prey in flight. High-speed cinematography used to analyse the various phases of the jump suggests thatHarpegnathos employs a novel jumping mechanism to mediate these behaviours: namely the synchronous activation of its middle and hindlegs. Electrophysiological recordings from muscles or nerves in pairs of middle and hindlegs show remarkably synchronous activity during fictive jumping, supporting the synchronous activation hypothesis.Harpegnathos is not the only ant to jump, and a cladistic analysis suggests that jumping behaviour evolved independently three times during ant evolutionary history.     

关于高斯函数[x]的几个恒等式的探讨

本文先给出关于［ｘ］的几个恒等式,然后对张宁生、周春荔《关于含［ｘ］的不等式与恒等式的探讨》文中的一个问题作了进一步探讨．     

紫苏微量元素的测定

利用火焰原子吸收涨研究了紫苏根、茎、叶中８种微量元素的含量,并通过实验拟定了各待测元素的最佳分析条件,呼元素的回收率在９６－１０５％之间,相对偏差小于６％,方法快速、准确、实用性强、同时,对紫苏的药理作用进行了探讨,为办的开发提供实验依据。     

小波变换及其在图像编码中的应用

小波分析是目前许多学科共同关心的一个前沿领域。本文首先付里叶变换和窗口付里叶变换的局限性,从时域、频局部化的角度对小波理论作了简介,其次综述了小波在图像编码中的应用。