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.     

科技兴区谱新章

2004年年底，太原市尖草坪区总投资达600万元的电子政务第一期工程正式完工．这在太原市各城区尚属首家。届时．该区118个行政部门、学校即可纳入电子政务网，实现无纸化办公。此举不仅可以大大提高办事效率，而且对政府职能的转变．优化投资环境具有重要的现实意义。     

数据包络模型的随机性研究

利用最小绝对误差估计和机会约束规划，本文研究了数据包络模型中的随机性问题，建立了一系列线性与非线性规划的数据包络模型。并对模型解的存在和鲁棒性作了讨论。     

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.     

DGPVT软件包的开发及应用

介绍了针对油藏流体及其注气体系的相态及物性的预测而开发的DGPVT软件包功能、模型及特点。基于实验数据对DGPVT软件包的预测准确性进行了检验,并与石油界知名的商用油气相态及物性计算软件包STATPACK进行了比较。     

R.C.曲线交叉粱系双目标优化设计的研究

本文对R.C正交直线-曲线粱系进行双目标优化设计,取结构造价和钢筋用量两类指标构造目标函数,建立了此类结构的基于Pareto最优性准则的数学模型,并对“线性加权和算法”进行改进,由此求得的综合最优解与一般算法的解答基本重合,而迭代计算的工作量却显著减少。对数值计算结果进行分析、讨论,得出一些比单目标优化设计更有理论和实际意义的结论。     

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.     

面向对象的二叉树装配模型研究

文章研究可装配性设计中的产品装配建模,提出一种以装配体为对象并能充分反映装配过程特点的二叉树装配模型。应用面向对象技术,建立了相应的数据结构及应用框架,为可装配性评价奠定了基础,也可做为通用的产品装配模型应用于ＣＡＰＰ等领域。     

白芨微球的研制及其肝动脉栓塞实验研究

研究白及微球的制作工艺及其猪肝动脉栓塞和临床患者栓塞的效果。方法：采用乳化－冷凝技术制备白及微球,并通过正交实验,确定制备特定粒径微球的最佳工艺条件。通过股动脉经导管把白及微球注入肝动脉。结果：正交试验结果表明所考察的因素如搅拌速度、油／水比例和白及胶浓度对微球粒径及分布均有显著影响。白及微球呈圆形,粒径分布窄,圆整,分散性好,平均粒径为５４３６μｍ。实验小猪微球栓塞后的肝动脉造影表明白及微球可致肝右支动脉一级、二级分支完全栓塞;病理检查表明梗死区可见肝组织呈肝硬变改变,大量的假小叶形成。微球临床初步应用效果良好。结论：白及微球作为新型肝动脉栓塞制剂在介入栓塞治疗中有较好的作用     

换热器试验台用制冷剂循环供应系统的研究

介绍了换热器试验台用制冷剂循环供应系统的研究背景,工作过程和技术特点．它攻克了普通制冷压缩机用于有高技术要求的综合性能试验台所无法解决的难题,为空调器用换热器综合性能试验台的研制,奠定了基础．