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.     

水白菜在万峰湖水域生活习性的研究

2005年入春以来水白菜在万峰湖大规模生长，堵塞了万峰湖风景区上段水域，已严重影响了当地的水产养殖和观光旅游。研究水白菜的生活习性，防止它在万峰湖水域大规模生长和泛滥成灾，以变废为宝，促进物种的科学引进。     

正交双向网格图及方向优先算法

目前建筑工程的工程量计算基本上采取的是“统筹法”和“公式法”,这两种方法对工程的概算、预算的精确度及工作效率都产生了那样或这样的问题。本文从建筑图的正向分析开始,进而讨论了工程量计算模型的定义,在定义基础上给出了轴线的方向函数以及方向优先算法和具体实现过程。     

立体视觉对篮球足球技术的影响

本文利用《立体视觉检查图》,探讨了立体视觉对球类运动技术的影响.发现立体视觉功能与球类运动成绩有着密切的关系.立体视功能好,其运动技术和成绩也好,反之则差.因此建议在球类运动员选材中,除生理、心理选材外,应将立体视功能的检查运用到球类运动员选材中去.     

真空开关介质强度恢复的研究

电力系统的瞬态恢复电压对真空开关的介质强度恢复影响极大,根据是否考虑这一影响可把真空开关的介质恢复过程分为实际恢复过程和固有恢复过程。本文在相同的实验模型和电路参数下对这两种恢复过程作了比较性的实验研究。提出了“鞘层”与“金属蒸气”相结合的理论模型,并对相关的问题进行了讨论。     

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.     

抗人绒毛膜促性腺激素（HCG）单克隆抗体的研制和特性分析

以HCG为抗原,免疫BALB/c小鼠,取其脾细胞与小鼠Sp2/0—Ag14骨髓瘤细胞融合,经反复筛选和再克隆化,获得8株能稳定分泌抗HCG特异单克隆抗体的杂交瘤细胞株。对其中6个高效价单抗进行了特异性和抗原决定簇检测,选出两个抗相距较远不同决定簇的单抗(2D_4,4F_4)作进一步特性分析。结果显示:免疫球蛋白亚类鉴定,2D_4为IgGl亚类,4F_4为IgG2a亚类;亲和力常数(K_(affi)),2D_4为5.41±0.94×10~(-10)mol/L,4F_4为1.37±0.33×10~(-9)mol/L。证实该两种单克隆抗体可用于研制有关临床诊断试剂盒。     

悬挂系统阻尼非对称性对车身振动的影响

采用瞬态信号等效替换随机激励的方法,通过计算讨论车辆在路面随机激励下双作用减振器阻尼的非对称性对车身振动的影响,并讨论了车辆在路面冲击激励下阻尼非对称对车身振动加速度响应的峰值以及总能量的影响。     

白腐菌降解氯代农药的机理

确定了白腐菌在水中的静置培养条件,探讨了在该条件下白腐菌对水中微量氯代农药的生物降解情况及其降解机理．实验结果表明,白腐菌在含有ρ为０．０２％的葡萄糖、０．０３％的酒石酸铵和适量无机盐的培养液中,于３５℃,经５～７ｄ的静置培养可获得良好的菌丝,并对氯代农药有最大的降解效率（９０％以上）．对降解的部分中间产物的ＧＣ－ＭＳ分析表明,不同类氯代农药有不同的降解过程和机理     

江汉平原洪涝灾害遥感监测方法

用遥感数据及常规气水文数据获取涝灾信息,用ＤＥＭ（数字高程模型）或微等高距地形图及其导出的高程－面积－容积模型作涝灾淹没损失估算的基本技术手段,用植被指数作主要方法对江汉平原“１９９１．０７”暴雨涝灾作了灾情评价及减产估算。