东露天铁路专线采空区治理对策研究

针对东露天铁路专线所经过的采空区特点,分析了典型采空区上覆岩层的稳定性和上覆岩层移动形式,提出该地区采空区的治理措施。     

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.     

ARP欺骗攻击的整网解决方案研究

随着各种病毒与木马程序的泛滥,ARP欺骗攻击在校园网中已经成为危害网络正常稳定运行的主要问题.本文在对ARP协议进行深入分析的基础上,提出一种全网设备联动实现整体防御ARP欺骗的可行方案.     

ADC的结构及其应用

介绍了目前流行的ADC的4种结构及其性能特点。并从其电路实现的复杂程度、采样速度和应用领域等方面进行了对比研究．     

动力总成悬置支架拓扑优化研究

采用结构拓扑优化方法,对动力总成悬置支架进行了优化.在最优拓扑结构的基础上进行结构修改后,一阶固有频率明显提高,而重量有所减小.从加强筋的优化结果来看,在平行于一阶弯曲振型方向上布置加强筋,可获得较好的效果.研究表明,在产品的概念设计阶段采用拓扑优化方法,能给产品的详细设计提供一个很好的基础.     

Cesp(E1,E2)的k一致凸性

文章讨论了Banach空间的k一致凸性在cesp(E1，E2)中的提升问题。     

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.     

干式切削技术及其冷却方式

干式切削技术是指在切削加工过程中不使用任何切削液的新的工艺方法,具有清洁环保、降低生产成本、机床结构紧凑、提高产品质量等特点。对干式切削加工的关键技术之一———风冷却方式进行了介绍和论述。     

斜拉桥钢索的振动与张力问题

本文用弦振动理论分析了斜拉桥钢索的简谐振动和强迫振动，结合对钢索在常温下振动频率的测量，计算了常温某一温度的张力．采用线性插值由该张力值推算出其它气温下钢索的张力，并与实际的测量结果作了比较．     

犬复合营养素的研制及饲喂效果试验

试验以研制的由矿物质、微量元素、复合维生素和特殊香料组成的大用复合营养素饲喂２３头小型大和５０头大型犬，收到了明显效果。复合营养素对于预防营养和代谢疾病、佝偻病等有明显作用，亦有益于幼大生长发育及成年犬的繁殖，使用安全、可靠。