水合镁离子的分子动力学模拟研究

基于水合离子[M(H2O)m]n+的概念,利用Moldy分子动力学模拟并结合分子内相互作用势MCY来研究水中的镁离子.该模拟系统包括一个二价的镁离子和216个水分子,在温度为330K下,计算了系统内不同原子对之间的径向分布函数(RDF),模拟结果和实验值基本一致.而且从其径向分布函数可看出,镁离子的出现并没有使得镁离子周围的第一水化层水分子和第二水化层水分子之间的距离有明显的减少.     

金汤桥开启系统的复原与改进

介绍了天津金汤桥活动跨开启系统的原貌、原状以及原缺陷，阐述了复原手动和电动开启系统的原则，并介绍了平转式开启桥的原理及构成．通过反复探索与研究，成功地复原了金汤桥活动跨手动和电动开启系统．提出了平转式活动跨机械传动系统的回转中心、活动跨的回转中心，以及桥墩中心的设计基准与安装基准必须服从三者同一性原理，并解决了这一平转式开启桥的难题．实践证明，复原后的活动跨开启系统安全、可靠、平稳、灵活．     

一类优美有向图的充要条件

研究了由恰有一个公共顶点的有向回路→／Ｃｍ和→／Ｃｎ（ｍ，ｎ≥３）组成的有向图→／Ｗｍ，ｎ的优美性，给出了→／Ｗｍ，ｎ是优美有向图的充要条件。     

GOSCA－CFAR检测器在干扰边缘中的性能分析

本文研究ＧＯＳＣＡ—ＣＦＡＲ检测器￣［１，２］干扰边缘中的性能。文中推导出了它的干扰边缘环境中虚警概率的解析表达式，分析了它抗边缘干扰的性能，并且与ＯＳ、ＣＡ、ＧＯ和ＳＯ等检测器进行了比较。结果表明，ＧＯＳＣＡ的抗干扰边缘性能比ＣＡ和Ｋ＿（ｏｓ）＝（ｋ＋ｌ）＿（ＧＯＳＣＡ）和ＯＳ相近，比抗边缘干扰性能较好的ＧＯ要差。     

急性冷暴露与持续冷驯化对中缅树鼩膈肌和心肌线粒体呼吸的影响

在急性冷驯化阶段(1h,4h,8h),中缅树膈肌线粒体状态IV呼吸与对照比较8小时组有显著的增强,心肌线粒体状态IV呼吸与对照比较在4小时和8小时有显著增强;在持续冷驯化阶段(1d,7d,14d,28d),中缅树膈肌和心肌线粒体状态IV呼吸与对照比较均有所增强,其中28天组增强十分显著。这一系列变化对于探讨中缅树膈肌与心肌在冷驯化中质子漏产热特征具有一定的意义。     

时代的缩影人格的升华——从《阿甘正传》看美国个人价值观

随着政治经济文化的发展，美国个人价值观也产生了一些变化，而《阿甘正传》正是通过塑造一个“平民偶像”——阿甘来见证美国当代社会具有历史意义的大事件，并提出它所倡导的个人性格及奋斗精神。     

降水量自动采集中的干扰分析和处理

介绍了降水量测量的几种方式和翻斗式雨量计的计量原理，并针对翻斗式雨量计使用过程中的出现的问题作了分析，给出了几种解决的方法。     

鲁北地区商周时期的海盐业

采用XRD和XRF分析测试方法，研究了山东省渤海湾地区滨州市阳信县李屋遗址和寿光市大荒北央遗址出土的商代晚期的陶器——盔形器及附着土壤．样品的Na元素和Cl元素XRF分析结果表明：李屋遗址和大荒北央遗址出土的盔形器的含盐量明显高于其他样品，显示这二地的盔形器与早期海盐生产有关．李屋遗址出土的盔形器表面附着土样用去离子水过滤后，滤液结晶体的XRD分析结果，进一步表明该盔形器是商周时期渤海湾地区海盐生产的器物．大荒北央遗址出土的盔形器的内壁沉淀物与长江三峡中坝遗址出土的花边陶釜的内壁沉淀物具有基本相同的物相，这进一步表明其与海盐生产有关．     

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.