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.     

硬盘的几种常见故障及解决方法

阐述了硬盘的几种常见故障和解决方法，包括简单的数据恢复方法。     

水泥混凝土桥面铺装层间黏结性能研究

研究了水泥混凝土桥面铺装层间黏结性能随温度的变化规律,同时探究了黏结层的温度性能以及直剪与斜剪剪切强度之间的关系. 对比分析了4种涂膜黏结层（SBS改性沥青、WTR改性沥青、WTR/APAO改性沥青、AMP-100二阶反应型黏结涂料）和3种改性沥青碎石黏结层（SBS改性沥青碎石、WTR改性沥青碎石、WTR/APAO改性沥青碎石）的拉拔及剪切强度差异. 采用回归分析法获得层间强度随温度的变化规律;计算不同温度下层间强度与常温（20 ℃）下层间强度的比值,用于黏结层剪切强度和拉拔强度的温度敏感性对比分析;分析不同温度下斜剪强度与直剪强度的比值关系. 结果表明：层间拉拔强度、层间剪切强度与温度均满足单指数函数关系,拟合优度R2达0.970以上. WTR/APAO改性沥青黏结层及WTR/APAO改性沥青碎石黏结层力学性能优良,在不同温度下的拉拔和剪切强度值均高于同类型黏结层. AMP-100黏结层拉拔和剪切强度对温度的敏感性最低. 建立了20~45 ℃的层间强度比值表,用于层间强度预估. 斜剪强度显著高于直剪强度,同时斜剪强度对温度的敏感性低于直剪强度,当温度处于20~45 ℃时,斜剪强度与直剪强度比值范围为1.165~2.990.     

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.     

Fresnel圆孔衍射研究

Frosnel圆孔衍射是光学中的重要内容之一，目前大多讨论的是单色发散点光源经小孔后衍射会聚波在轴线上的光强分布规律，较多使用半波法和矢量图解法．本文从惠更斯-菲涅尔原理出发，并对单色发散球面波和单色会聚球面波入射经小孔后会聚衍射光波和发散衍射光波的衍射规律作了研究，得出了一些有意义的结论.     

涤纶的酶法改性研究进展

从涤纶纤维自身的特性和其改性研究的现状、理想的涤纶表面改性应满足的要求以及酶在纺织工业中的应用现状等方面出发,综述了涤纶纤维及其织物酶法改性的背景和国内外研究现状,介绍了涤纶酶法改性研究中所用的酶以及酶的筛选方法,探讨了涤纶酶法改性研究中存在的若干问题,并对涤纶酶法改性的前景做了展望.     

两种免疫组化染色试剂盒在福尔马林诱导的大鼠脊髓背角c-Fos的表达中的比较

采用免疫组化方法,对ABC试剂盒与SP试剂盒在检测c Fos阳性神经元中的效果进行了比较.一侧大鼠后足掌部皮下注射2 5%福尔马林,引起同侧L4-5段脊髓背角表达c Fos、SP法和ABC法都检测到c Fos阳性神经元主要分布于Ⅰ-Ⅱ层,少量分布于Ⅲ-Ⅳ和Ⅴ-Ⅵ层,在SP法中,使用1∶15000比例的一抗c Fos即可检测到在同侧脊髓背角各层c Fos阳性神经元的表达,在ABC法中,使用1∶15000比例的一抗c Fos则检测不到c Fos阳性神经元,而当c Fos采用1∶7500比例时,其检测结果和SP法一致,上述结果表明两种免疫组化反应试剂盒都可用于检测在由福尔马林诱导的脊髓c Fos原癌基因表达,但SP法操作更简便,灵敏度也更高.     

开放式电子技术实验教学--激光图案控制电路的焊接安装和调试

通过"激光图案控制电路的焊接安装和调试"这一开放式电子技术实验的教学,使理科学生在经过"电子线路"等课程及其相应电子技术基础实验学习后,进一步培养综合分析和设计电路的能力,锻炼动手能力,并切实提高实验技能,为以后深造或相关工作打下基础.     

一个新的Hilbert重积分不等式

利用Г-函数给出了一个新的Hilbert重积分不等式，并讨论了一些特殊情况下的最佳常数问题。