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.     

UNIX系统源语言调试器的分析

源语言调试器是程序员不可缺少的软件开发工具。本文从介绍UNIX系统程序调试的基本思想入手,较详细地分析了UNIX系统源语言调试器的实现,阐述了源语言调试器实现中的几个主要问题。     

论信托法的理论及实践

信托制度最根本的特点是“所有权和利益相分离”。信托财产的独立性使商事信托成为其他法律制度如代理或合同所不能替代的法律制度。从效率的角度出发,证明信托制度的科学性和实用性及其法理价值,并对构建独持养老金制度和集合投资信托制度的商事设计进行探讨。     

城市规划辅助审批系统中的相似度研究

城市规划的审批是一件难于量化的工作，它受政治经济等多方面因素影响，是城市规划领域关注的一大焦点．本文尝试将CBR技术用于城市规划辅助审批，让政府的审批依据达到历史与现实的统一．实现CBR的一个关键是相似度的设计，本文结合城市规划辅助审批领域的特点，设计了可行的方案，并应用于实际的办公系统中．     

激发数学学习兴趣的策略

针对多数学生对学习数学有枯燥、乏味的感觉，阐述了必须在教学中采用生动的富有感染力的教学方法，以激发学生对数学学习的浓厚兴趣，使学生在提出问题和解决问题中养成善于思考，勇于探索的良好品质。     

生物液晶对CaCO3结构影响的超声效应

应用Ｄ／ｍａｘ－ⅢＣ型全自动Ｘ射线衍射仪对常温下几种化学合成的ＣａＣＯ３结构进行了研究．结果表明，一般化学法合成的ＣａＣＯ３以方解石结构存在；在液晶相中合成的ＣａＣＯ３以霰石结构存在；而在用超声处理过的液晶相中合成的ＣａＣＯ３既有方解石结构存在，又有霰石结构存在     

新疆北塔山天然草地营养类型的初步研究

通过对新疆北塔山天然草地实地考察，采集混合草群样品，经化学分析，按照全国统一标准和方法，对北塔山天然草地进行了营养类型划分，阐述了各营养类型草地自然、经济特征，并对各营养类型草地的营养特点、饲用价值和适宜放牧家畜配置等进行了分析评价。     

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.     

旅游与“档案”

对旅游与旅行的渊源作了区别介绍,从创新的角度提出文化旅游是旅行的较高境界,在此基础上,提出文物古迹,作为一种历史文化档案对人们吸取知识、陶冶情操的作用。     

自然伽玛曲线上的“海侵针”及其地质意义

自然伽玛曲线上的尖锥状～针状特高异常—“海侵针”,常可指示海侵作用与海相层的存在:“阵发式”海退与“振荡式”海退则是含煤岩系形成过程中两类常见的利于聚煤的海退类型.