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.     

全球化势态下的党的执政能力建设

全球化的发展是不以人的意志为转移的客观实际,我们必须要在政治、经济、文化方面融入全球化.全球化的进程对党的执政能力建设既是挑战又是机遇.抓住机遇、快速发展是我们党执政能力建设的重中之重.     

WindoWs操作系统主引导扇区程序剖析

通过对操作系统启动过程的深入研究，在WINDOWS98 DOS状态下，对当前大容量硬盘主引导扇区的引导过程进行了全面的剖析，导出扩展INT 13H读取大容量硬盘逻辑扇区的方法，这将对大容量硬盘的管理与维护十分有利。     

塑料瓶盖的压缩性能研究

本文通过对塑料瓶盖压缩性能检测证明,每一种塑料瓶盖的压缩性能和压缩曲线都具有特征性,塑料瓶盖的压缩性能和压缩曲线可以作为检测塑料瓶盖真伪的重要依据之一.     

浅析词义认知中的石化现象

外语学习者在词义认知过程中，当词义水平达到一定程度后，对词义的认知不如像最初阶段那样稳步的提高，而是呈现一种停滞不前的徘徊状态，这就是词义认知过程中的石化现象。石化现象对学习者认知词义形成了极强的负面效应。     

信息技术网络课程的设计与实现

本文在对国内外信息技术网络学习现状分析的基础上，以山西省《信息技术》教程为蓝本，以建构主义为指导，综合运用IIS、Dreamweaver、Flash、SQL Server、ASP等技术开发出一个网络环境下的信息技术学习系统．     

Poisson方程的一种Mortar型广义差分法

给出了Poisson方程的一种Mortar型广义差分法,试探函数空间取为一次有限元空间,检验函数空间取为与对偶单元相对应的分片常数空间,并给出了一个相应的误差分析结果.     

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

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

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.