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.     

“926”植物生长调节剂的经济效益与生态环境

简要评估了“９２６”植物生长调节剂的经济效益和生态环境。分析了开发应用的前景。     

对煤矿岩体中固流耦合效应问题研究的探讨

本文对固流耦合效应的基本概念、基本原理进行了简单介绍。并对采动影响下邻近煤层、岩层的瓦斯向本层采空区的流动规律,以及煤和瓦斯突出的机理和发生的理论,分别作为固流耦合效应的两类不同问题进行了研究.同时提出了今后进行进一步研究的看法。     

水滴在撞击不同厚度水膜条件下产生的二次液滴特性

采用高速相机对水滴撞击水膜的飞溅过程进行了详细测量,分析了水滴撞击水膜的飞溅临界值、二次液滴的直径分布和二次液滴的速率等飞溅特性。结果表明,在实验参数范围内,当韦伯数增大时发生飞溅现象。此外,可以使用量纲为一参数K 来描述飞溅临界值,K=We·Oh^-0.4。当K值大于2 100时发生飞溅现象,二次液滴的量纲为一直径和二次液滴的量纲为一速率随着K值的增大而增大。水膜量纲为一厚度对二次液滴直径分布的影响不明显,但由冠状水花产生的二次液滴的平均量纲为一速率随水膜量纲为一厚度的增加而减小。     

基于不确定性测度的犹豫模糊决策模型

针对已有犹豫模糊熵测度计算复杂、区分能力弱等问题,在综合衡量犹豫模糊元自身不确定性及其所表达信息不确定性的基础上,以凸组合的形式设计了混合型犹豫模糊熵和交叉熵测度。混合型犹豫模糊交叉熵测度用于度量两个犹豫模糊元之间的区分程度,它和混合型犹豫模糊熵测度一起统一于犹豫模糊元的不确定性测度。与已有的犹豫模糊不确定性测度相比,混合型熵测度具有结构简单、物理意义明确、区分能力强等优势;而混合型交叉熵测度则具有自然的对称性。然后,基于混合型犹豫模糊熵和交叉熵测度构建了属性权重未知条件下的多属性决策模型,并将其应用于无人机作战效能评估。     

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.     

双点源干扰诱偏被动雷达导引头性能分析

以经典的双点源干扰模型为基础,简要说明了在双点源干扰下导引头的静态跟踪误差。在此基础上,研究了动态下的攻防对抗,建立了数学模型并仿真,得出了攻击误差。仿真分析了双干扰源功率变化时导弹的攻击轨迹和误差,以及功率不相等时干扰源间距和天线波束宽度对诱骗效果的影响。仿真结果表明:只要参数合适,非相干双点源干扰可以很好的诱骗导引头,达到保护目标的目的。     

Sea water intrusion and salt water intrusion in the coastal area of Laizhou Bay

The characteristics, pattern, hydrodynamic and hydrochemical features, and the movement pattern of the salt waterfresh water interface of the sea water intrusion and the salt water intrusion, which occur in the coastal area of Laizhou Bay in Shandong Province, are analysed. The characteristics of the two kinds of intrusion are compared as well. A three-dimensional sea water intrusion model to describe the sea water intrusion with a transitional zone 1.5–6.0 km wide in the phreatic aquifer and a solute transport model describing the behavior of cations exchange in the process of sea water intrusion are established.     

藏药抱茎獐牙菜的胚胎学研究

抱茎獐牙菜（ＳｗｅｒｔｉａｆｒａｎｃｈｉｔｉａｎａＭａｘｉｍ．）花药４室,药壁发育为双子叶型;绒毡层异型起源,为非典型腺质型绒毡层;中层２层;花药壁表皮宿存,与药室内壁一起纤维状加厚．胞质分裂为同时型,四分体的排列方式为四面体型;成熟花粉为２细胞．子房２心皮,１室,８列胚珠,为侧膜胎座．薄珠心,单珠被,倒生胚珠．胚囊发育为蓼型．珠孔受精,受精作用属于有丝分裂前配子体融合类型．胚乳发育为核型．胚胎发育为茄型酸浆Ⅰ变型．反足细胞分裂为５～８个,宿存,每个细胞均多核和异常膨大,反足细胞形成的吸器明显,并在胚乳层之外形成染色深的类似“外胚乳”的结构．果实成熟时,种子只发育至球型胚早期阶段．反足细胞在龙胆科一些高山短命植物中的宿存与分裂具有重要的生殖适应与进化意义,这对于龙胆科一年生植物在青藏高原严酷的环境下,甚至在只有几周的生长季节内完成其生活史是十分重要的     

油库发油控制及管理系统的研究

阐述了油库发油体积及重量的测量过程,讨论了控制及管理的功能要求,提出了设定关阀提前量ΔＸ,并控制调整其大小以提高发油精度的思想。系统采用主从式上下两级微机网络。文中给出了该系统的实现方法,同时论述了保证系统安全运行的措施。