A theoretical model for mid-and low-latitude ionospheric electric fields in realistic geomagnetic fields

The geomagnetic fields, which play important roles in the ionospheric dynamo, can greatly affect the global distribution of ionospheric electric fields, currents and other ionospheric electrodynamics phenomena. In the study of ionospheric electrodynamics phenomena, such as the longitudinal variations of ionospheric electric fields, the non-dipolar component of the geomagnetic fields must be taken into account. In this paper, we deduce a theoretical electric field model for ionospheric dynamo at mid- and low-latitude which adopt a modified magnetic apex coordinates system. In the new electric field model, the geomagnetic fields can be calculated from either the IGRF model or the dipole field model, and the neutral winds and conductivities are calculated based on empirical models. Then the dynamo equation for the electric potential is finally solved in terms of the line-by-line iteration method, and the ionospheric electric fields and currents are derived from the calculated potential. Our model can reproduce the main features of the ionospheric electrodynamics processes, so it will be a useful tool for the investigation of the upper atmosphere and ionosphere.     

湿陷性黄土地区公路边坡变形及滑坡的防治

文章通过分析湿陷性黄土地区公路边坡变形及滑坡的基本类型、形成条件及原因,提出了在该地区防治变形及滑坡的具体措施.     

佛山市城市公共交通发展策略

通过对佛山市公共交通客流和公共交通设施现状的调查，掌握了居民出行规律和客运交通特征指标．采用定性和定量相结合的方法，综合评价了公共交通现状的水平．在分析佛山市未来社会经济、城市发展基本特征的基础上，根据客流分布特点、发展态势及客流交通的生成变化特征，采用经验加模型系统方法，科学地预测发展需求．结合佛山市的实际，分析了公共交通的优劣势，确定了优先发展公共交通的方针与目标．对公共交通政策进行了研究，并提出确保实施公共交通目标的对策和措施     

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.     

钢丝绳断丝定量检测中径向随机晃动误差的补尝

本文论述了钢丝绳断丝定量检测中径向随机晃动误差存在的必然性及该误差对定量检测的影响,基于模拟实验结果,给出了适用于多种类型钢丝绳的V_H-S数学关系式;提出了波形因素的概念与形式,并用软件实现了钢丝绳断丝定量检测中径向随机晃动误差的补偿。     

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.     

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.     

信阳师院图书馆自动化管理系统实施方案分析

自动化管理是图书馆发展的必然趋势。本文借鉴有关高校图书馆自动化管理的经验教训,分析了以计算机管理为基础的自动化管理的三个阶段,从图书馆自动化系统应具备的功能出发,对系统模式、机型和软件进行了优化分析,最终确定了信阳师院图书馆自动化管理系统的实施方案。     

力学量算符本征函数的正交归一性

文中讨论了力学量算符本征函数的正交归一化性质,给出了得到正交归一化函数的方法。     

反胶束溶液和血红蛋白水溶液相平衡的研究

研究了十六烷基三甲基溴化铵－正庚烷反胶束溶液和牛血红蛋白水溶液的相平衡,探讨了有机相助表面活性剂种类和浓度、水相ｐＨ值、水相离子种类和强度、表面活性剂浓度的影响,适宜条件下,牛血红蛋白的萃取率可达９５％以上。对实验结果从表面活性剂极性头与蛋白质分子间的相互作用和反胶团包溶蛋白质时的空间阻碍作用上进行了解释。