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.     

流体力学综合性设计性实验教学改革实践

将传统实验“管路沿程水头损失“改造为综合性、设计性、实践性的实验.通过硬、软件的开发,使学生得到全面的训练,提高了实验教学质量.     

论大学思想政治教育网站建设

网络的出现已影响到青年大学生的世界观、人生观、价值观的形成，这是一种不以人的意志为转移的新的社会现象。为了应对网络给青年学生带来的负面影响，应该以网络手段解决网络带来的学生思想政治教育问题的观点，并结合工作实际讨论在思想政治教育网站建设中需要注意的问题。     

计算机免受病毒侵扰防范技术

计算机病毒严重干扰了计算机的工作,已引起社会各界与用户的普遍关注.本文依据计算机病毒的有关知识,结合工作实践,就如何预防和消除病毒,谈一点看法.     

管流与环缝入流的管内合流特性──等温浓度场与紊流特性实验研究

在对管流与环缝入流的管内合流特性完成等温速度场实验研究的基础上，以对应一致的实验条件，实测了时均浓度分布，紊流正应力和紊流切应力分布．结果证明：浓度分布有与速度分布相一致的变化趋势和规律，但合流后截面上浓度均匀化比速度均匀化慢；合流动量相交产生附加雷诺应力，并决定合流后速度分布和浓度分布的均匀化进程．为建立系统的化学反应流动规律提供基础．     

NCO-新型干洗剂的研究

本文论述了以近代物理方法和化学分析手段剖析美国“三羊牌”去污精结构组成,结合干洗剂基础理论研究,立足国情进行合成、配方、筛选,研制出新型干洗剂NCO—O1、NCO—06,其性能相当于进口样品,应用面广。     

Earthshaker: A mobile rescue robot for emergencies and disasters through teleoperation and autonomous navigation

To deal with emergencies and disasters without rescue workers being exposed to dangerous environments, this paper presents a mobile rescue robot, Earthshaker. As a combination of a tracked chassis and a six-degree-of-freedom robotic arm, as well as miscellaneous sensors and controllers, Earthshaker is capable of traversing diverse terrains and fulfilling dexterous manipulation. Specifically, Earthshaker has a unique swing arm—dozer blade structure that can help clear up cumbersome obstacles and stabilize the robot on stairs, a multimodal teleoperation system that can adapt to different transmission conditions, a depth camera-aided robotic arm and gripper that can realize semiautonomous manipulation and a LiDAR aided base that can achieve autonomous navigation in unknown areas. It was these special systems that supported Earthshaker to win the first Advanced Technology & Engineering Challenge (A-TEC) championships, standing out of 40 robots from the world and showing the efficacy of system integration and the advanced control philosophy behind it.     

鄂尔多斯盆地长7储层致密油水平井CO2补充能量与吞吐参数优化

长7储层是鄂尔多斯盆地主要的致密区块,近一半的致密油分布其中。针对长7储层开采渗透率低、开采难度大、依靠弹性开采产能较低、能量衰竭较快等问题,通过数值模拟的方法,构建水平井分段压裂数值模拟模型,首先对比不同吞吐方式对油田产能的影响,优选出CO₂吞吐为首选的补充能量方式。其次对井网形式、井网参数及吞吐参数进行优化研究。最终优选出合适的吞吐方案,达到提高生产效率的目的。结果表明,该储层的最优注采吞吐参数为：周期注入量为2 673 t、注入压力为21 MPa、注入速度为90 t/d、焖井时间为10 d。研究对鄂尔多斯盆地长7储层提高采收率具有一定的参考意义。     

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.     

消除电磁搅拌连铸坯中“白亮带”的试验研究

针对电磁搅拌连铸坯中的“白亮带”问题进行试验研究和理论分析．结果表明：铸坯凝固过程中电磁搅拌引起的钢液运动特点是能否产生“白亮带”的关键．特殊的电磁搅拌方式有效地抑制“白亮带”的产生．