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.     

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.     

影响铅同富里酸络合容量测定的因素

对内蒙古地区天然水中有机配体与铅的表观络合容量（Ｃ．Ｃ）进行了阳极溶出伏安法（ＡＳＶ）测定,并计算总条件稳定常数（Ｋ）和络合容量指数（Ｉ）;对电极的互性关系和重现性,络合平衡时间、ｐＨ等因素做了半定量讨论。     

迷彩伪装涂料配方的计算机自动设计

寻找极伪装涂料宽光谱计算机自动求解配方的算法。方法采用三刺激值匹配法,光谱匹配法、综合计算法,并分析了上述三种匹配法的异同点以及适用范围。结果和结论三刺激值匹配法适用于可见光范围,光主普匹配法适用于宽光谱匹配,综合计算法能使配方满足伪装涂料在可见波段和近红外波段的各项性能要求,得到较好的伪装效果。     

稀土果糖—高氯酸及稀土—果糖—硼酸配合物的研究

首次合成了镧（Ｌａ）、镨（Ｐｒ）、钕（Ｎｄ）、钐（Ｓｍ）、钆（Ｇｄ）的果糖－高氯酸固体配合物以及Ｌａ,Ｐｒ,Ｎｄ,Ｓｍ,Ｇｄ和Ｅｕ（铕）的硼酸－果糖配合物．利用化学分析,ＩＲ,１ＨＮＭＲ,ＵＶ和热谱等物理化学手段对这两系列共１１个配合物的组成和成键情况进行了表征,并对它们的某些物理化学性质进行了研究．结果表明：稀土－果糖－高氯酸配合物的组成为：ＲＥ３（Ｃ６Ｈ１１Ｏ６）５（ＯＨ）２（ＣｌＯ４）２３Ｈ２Ｏ（ＲＥ＝Ｌａ,Ｐｒ,Ｎｄ,Ｓｍ,Ｇｄ）;稀土－果糖－硼酸配合物的组成为：ＲＥ（Ｃ６Ｈ１２Ｏ８Ｂ）２Ｃｌ２ＣＨ３ＯＨ,（ＲＥ＝Ｌａ,Ｐｒ,Ｎｄ,Ｓｍ,Ｅｕ,Ｇｄ）．     

复合式有源消声耳罩控制器的优化设计

探讨了复合式有源消声耳罩的控制器的优化设计方法。以闭环二阶控制器为例,推导了优化设计的目标函数,探讨了约束条件的确定和优化方法的选择。对于优化设计中出现的尖峰现象、中间频率点的稳定性等问题进行了分析,并给出了解决方法。还给出了理论计算效果与实验结果的比较,验证了优化设计方法的有效性。     

辽宁省泥炭资源及其利用

辽宁省泥炭储量为３５３６．２７万ｔ,分有裸露泥炭和埋藏泥炭。其中辽东山地为泥炭丰富区,以裸露泥炭为主,辽南丘陵沿海为泥炭多量区,以埋藏泥炭为主,其它地区泥炭较少,早期泥炭形成于早全新世辽南沿海,中全新世渐次向北扩展,为泥炭旺盛形成时期,晚全新世南部沼泽被埋藏,北部继续发育,全省泥炭以草木富营养型为主,其中尤以新宾泥炭质量为佳,辽宁泥炭在工业,农业等方面有着广泛的应用。     

福建万木林自然保护区植被研究

福建万木林是我国中亚热带一处以常绿阔叶林为保护主体的自然保护区,植物种类丰富,计有维管束植物160科580属1199种．区系成分中以泛热带分布、北温带分布、热带亚洲分布和东亚分布为主,分别占424个野生种子植物属的29．0％,15．1％,13．0％和11．3％．植被类型多样,包括了常绿阔叶林、常绿落叶阔叶混交林、暖性针叶林和暖性灌草丛等4种类型．万木林另有10种国家重点保护的珍稀濒危植物亟需加以妥善保护．     

蒜苔保鲜研究

本文通过对经ＧＡ处理及经ＧＡ和２,４－Ｄ共同处理的离体蒜苔在贮藏过程中水分、可溶性糖、纤维素含量的测定,得出经ＧＡ和２,４—Ｄ共同处理蒜苔保鲜效果较好,因为ＧＡ为可明显防止蒜苔衰老和抑制细胞内含物向珠蒜的转移及再利用;２,４－Ｄ可抑制珠蒜的形成．若同时密封袋装保鲜效果更好．     

对MXA-300型采煤机调高系统的技术改造

MXA—300型采煤机在工作一定年限后，其液压系统的完好性、密封性、灵敏性、可靠性降低。由于以上原因造成采煤机调高系统内双锁阀关闭不严，使微量油液泄漏，导致机组在运行过程中摇臂出现下滑、自落现象，严重制约工作面正常生产。针对这种情况，王庄煤矿曾在6105工作面使用DSF型单项锁对MXA—300型采煤机的调高系统进行了改造，收到了良好效果，为工作面正常生产创造了有利条件。