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.     

论农业遗产及其保护

世界遗产系统项目原生境保存了传统农作技术和农业生物多样性,国际稻米年强调传统稻作系统是世界遗产的一部分,提高公众对粮食生产可持续性认识.我国几千年丰富的农业遗产值得大力保护和开发.     

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

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

健康与患黑胫病烟株根内AMF多样性和群落结构差异分析

丛枝菌根真菌（arbuscular mycorrhizal fungi,AMF）在烟草生长生理、抗病抗逆等方面具有积极作用.为探明烟株患黑胫病后对根内AMF多样性和群落结构的影响,分别以烟草K326和云烟87健康、感染黑胫病烟株的根部及根际土壤作为研究对象,应用Illumina Miseq高通量测序技术探明烟草根部AMF多样性,采用显微形态观察烟草根内AMF侵染水平和根际土壤孢子密度,并分析土壤理化性质和AMF侵染特征的相关性.高通量测序结果表明在烟草根部共检测出1 655个AMF-OTUs,隶属于1纲4目5科6属,其中,Glomus为云烟87健康烟株根内AMF的优势属,其余样品优势属均为Paraglomus.聚类分析表明两个品种健康烟株根内AMF群落相似性较高,患病植株间根内AMF群落比较类似.侵染结果显示,患病烟株AMF侵染状况与土壤孢子密度均低于健康烟株根际土壤. RDA分析结果表明,全钾是影响AMF孢子密度和侵染状况的主要驱动因子,其次为速效磷和全磷;土壤p H值为烟株根内AMF多样性的主要影响因素,且两者呈负相关;此外,土壤中钾含量对烟草根内AMF群落组成的影响最为明显.研究...     

边界层对粗糙单裂隙溶质运移影响试验

为探究非费克(non-Fickian)运移表现出的峰值提前到达和拖尾等现象,开展了粗糙单裂隙溶质运移试验,总结了粗糙单裂隙中溶质运移特征及运移机理,结合边界层理论对峰值提前到达和拖尾现象进行了分析和解释。结果表明：峰值时间和拖尾时间与边界层厚度之间存在较好的线性相关关系;边界层对裂隙介质溶质运移有较为显著影响,即水流速度越小,边界层厚度越大,滞留在边界层内部的溶质越多,溶质获取率越低;粗糙单裂隙中溶质穿透曲线的峰值提前和拖尾现象是由裂隙中心处以惯性力主导的主流区和裂隙壁面以黏性力主导的边界层区共同作用造成的,其中峰值时间主要由主流区的对流因素控制,而边界层区域的存在对拖尾时间影响较大。     

太湖流域超标特大洪水风险预警系统建设及应用

为做好超标洪水调度、保障流域防洪安全,开发建设了由基于水文水动力学耦合的超警超保风险区域预警模型与基于水文学法的洪水淹涝风险快速评估模型共同组成的超标特大洪水风险预警系统,该系统在太湖流域预报调度一体化系统中通过智能交互方式进行模型与系统的紧密集成,实现了预报调度成果的可视化。基于水利一张图的超警超保与淹涝动态展示,实现了预报产品从点到面、从常规预报到影响预测的突破,以及洪水风险由静态评估向实时快速动态分析的转变。应用结果表明：系统在2020年太湖流域性大洪水中累计发布超警超保风险提示39期、洪水淹涝风险评估4期,预测结果与实际基本一致,为科学调度防御超标洪水提供了技术支撑,避免了江苏省苏州市3万多的人员转移,有力保障了太湖流域防洪安全。     

IRS辅助WPCN用户公平性与系统吞吐量优化方案

为了解决无线供电网（wireless powered communication network,WPCN）中用户公平性不足与系统灵活性差的问题,提出一种基于智能反射面（intelligent reflecting surface,IRS）的优化方案。该方案直接将公平指数（fairness index,FI）和系统吞吐量加权相加作为优化目标,建立了用户公平性与系统吞吐量的联合优化问题。由于所建立的优化问题是非凸问题,因此,将优化问题拆分为时隙长度和IRS反射系数优化子问题,然后交替求解。针对时隙长度优化子问题,使用逐次凸逼近（successive convex approximation,SCA）算法求解;针对IRS反射系数优化子问题,使用闭式解、SCA和半定松弛（semi definite relaxation,SDR）算法求解。仿真结果表明,所提方案在用户公平性和系统灵活性方面优于其他方案。     

坐标测量机的空间误差检测及误差修正

如何简单、迅速地获取坐标测量机的机构误差,并对其进行软件修正,是近年来国内外学者研究的一个重要课题。本文研究了三坐标测量机的误差修正理论及用三维检具检测测量机误差的方法,提出了空间球检具晶格移位法误差检测原理和多项式拟合的误差函数获得方法,并将其应用于一台中型的坐标测量机的误差修正中,收到了满意的效果。     

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.