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.     

基于神经网络的无刷直流电机预测控制的仿真研究

在无刷直流电动机高性能速度跟踪系统中，由于PI控制的滞后性，无法根据未来动态行为产生较为理想的PWM波形。针对PWM发生器一无刷直流电动机系统，提出基于神经网络的PWM预测控制方法。采用离线训练和在线修正的方法，通过对PWM发生器-无刷直流电动机系统动态行为的在线估计，建立了系统的神经网络模型。最优控制器根据神经网络模型的输入、输出响应产生合适的PWM波形。在Matlab／Simulink环境建立了模型并进行了仿真，结果表明，较之PI控制器，神经网络预测控制具有更好的动态响应性能。     

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.     

钼对低合金钢硝酸盐体系应力腐蚀的影响

以高风温热风炉用钢的沿晶应力腐蚀开裂问题为背景,研究了Ｍｏ对低合金钢在硝酸盐溶液中的应力腐蚀行为。结果表明,低合金钢中加入合金元素将使钢中贝氏体和／或珠光体含量增大,从而提高了材料的稳定性和抗ＳＣＣ耐蚀性。提出了低合金钢／硝酸盐溶液体系的“温度－钼含量－ＳＣＣ图”。     

P_2O_5对煤矸石水泥性能的影响

借助ＸＲＤ、ＳＥＭ、ＤＴＡ、化学分析、物理检验等测试手段．研究Ｐ２Ｏ５对煤矸石水泥熟料的煅烧性能、物理性能和水化性能的影响,结果表明：Ｐ２Ｏ５对上述性能均有一定的影响;Ｐ２Ｏ５是一种适用于该类水泥熟料煅烧的有效矿化剂,其效果优于氟、硫及其复合的矿化剂．但Ｐ２Ｏ５与其它元素复合时。效果并不理想。     

The discovery of early Permian reef belt in east Kunlun and its significance

The early permian reef belt is distributed in the southern side of eastern Kunlun, north area of Qinghai-Tibet Plateau. The core-reef facies of thc reel extends from Tuosuo Lake to Huashixia. Lots of reef breccia was found at the southern slope of the mre-reef belt, and to the north of the reef belt there is back-reef limestone. Cacisponges, hydrozoa, bryozoa,Tabulozoa, Tubiphytes and red algae are the main frame-building organisms.Archaeolithoporella, laminated blue-green algaes,Tabulozoa andTubiphytes played a role of binding or encrustating. There are many kinds of epibiont in the mf, including brachiopod, gasterid, foraminifera, echinoderm and simple coral. The type and the characteristics of the reef-building organisms in eastern Kunlun and Animaqing are basically thr same as those in the south of Chi     

Osmium isotope determination on mantle-derived peridotite xenoliths from Panshishan with N-TIMS

The¹⁸⁷Os/¹⁸⁸Os ratios of spinel lherzolite xenoliths from Panshishan determined with N-TIMS are lower than that of the primitive mantle, which shows depleted mantle characteristics. Their positive correlation with Al₂O₃/MgO suggests that the geochemical behavior of trace elements Re and Os is similar to that of Al₂O₃ and MgO respectively during the magmatic evolution and Re-Os isotopic system is largely immune to mantle metasomatism. A model age of 2.8–3.4 Ga obtained by¹⁸⁷Os/¹⁸⁸Os-Al₂O₃/ MgO correlation might represent the homogeneous age of the mantle lithosphere beneath the area.     

改进的个性化推荐算法

协同过滤技术是个性化推荐系统中最早也是最为成功的技术之一。但是随着电子商务系统用户数目和商品数目的日益增加，整个项目空间上用户评分数据极端稀疏，传统的CF（协同过滤）方法均存在各自的不足。本文分析了传统cF算法中存在的问题，对其相似性计算方法进行了改进，提出了一种优化的cF算法。实验结果表明，该算法同传统CF算法相比能显著提高推荐精度。     

用双核微核实验检测多环芳烃的致突变性

探讨了大气中常见的5种多环芳烃的致突变性。采用人外周血淋巴细胞胞质分裂阻滞微核实验检测不同浓度5种多环芳烃对人血淋巴细胞的微核诱导作用。指出5种多环芳烃各染毒剂量组微核率与阴性对照组相比有显著性差异,并且有明显的剂量反应关系,说明他们均可引起人外周血双核淋巴的微核率增加。除苯并(a)芘(BaP)外其余的几种多环芳烃也具有一定的潜在危害,应引起高度重视。     

谈谈科技论文的写作

科技论文是科技工作者在科学研究领域的工作总结、经验积累以及科技成果发布的一个形式；是人们传递信息、描述说明各种事物的一个途径。重点从科技论文写作时的读者意识、科技论文的引言及结语3个方面叙述了如何写出具有领先水平、高质量、有价值的论文。