Hermite矩阵迹的一个不等式

对于n阶半正定Hermiter矩阵A和B及自然数m,本文证明了不等式:tr(A~(1/2)BA~(1/2))~(m/2)(B~(1/2)AB~(1/2))~(m/2)≤tr(AB)~m≤tr(AB~2A)~(m/2)特别当m=2~K时,Bellman猜想成立,即有tr(AB)~(2k)≤trA~(2k)B~(2k)     

南极拉斯曼丘陵变质岩中氟磷镁石新多型(wagnerite-Ma5bc)的岩石学意义

通过详细的镜下矿物组合观察、单晶结构和电子探针成分测定,确定了南极拉斯曼丘陵与条带状堇青石-柱晶石片麻岩互层的片麻岩中产出的氟磷镁石Ma5bc新多型,氟磷镁石与磷灰石共生并以造岩矿物出现.贫钙不是氟磷镁石形成的必要条件,关键在于F,P和Mg供应充分,而钙对镁的活动相对不足,否则,将只能形成磷灰石.本区强烈发育的深熔作用可以造成浅、暗组分的分异和分别集中,F,P易集中于暗色富镁铁组分中,达一定浓度时即形成氟磷镁石.成分因素可能决定了氟磷镁石的出现与否,温压条件则导致氟磷镁石多型的变化:较高温环境下为无序多型,之后经历较缓慢的降温冷却过程后转变为有序多型,本区即Ma5bc多型.     

无穷维空间上伪重线性映射的微分性质

在具有Schauder基的无穷维Banach空间引入偏导数及两类伪重线性映射 ,讨论伪重线性映射与重线性映射的关系 ,进而得到伪重线性映射的微分性质 .     

南极拉斯曼丘陵变质岩中氟磷镁石新多型（wagnerite-Mα5bc）的岩石学意义

通过详细的镜下矿物组合观察、单晶结构和电子探针成分测定，确定了南极拉斯曼丘陵与条带状堇青石—柱晶石片麻岩互层的片麻岩中产出的氟磷镁石Mα5bc新多型，氟磷镁石与磷灰石共生并以造岩矿物出现．贫钙不是氟磷镁石形成的必要条件，关键在于F，P和Mg供应充分，而钙对镁的活动相对不足，否则，将只能形成磷灰石．本区强烈发育的深熔作用可以造成浅、暗组分的分异和分别集中，F，P易集中于暗色富镁铁组分中，达一定浓度时即形成氟磷镁石．成分因素可能决定了氟磷镁石的出现与否，温压条件则导致氟磷镁石多型的变化：较高温环境下为无序多型，之后经历较缓慢的降温冷却过程后转变为有序多型，本区即Mα5bc多型。     

命题逻辑系统的型

本文试图澄清逻辑系统之为“演绎”或“归纳”的涵义，提出逻辑系统的“i-i型”概念(在一个具有真值集{Ti|i∈I}的逻辑语义下)。对任意I，j∈I及任何逻辑语义，我们定义了此语义的山[i，j]-镜像。并证明了对任意c，d∈I，一个命题逻辑系统如果在具有真值集{Ti|i∈I}的逻辑语义下是c-c型的，那么此系统在此逻辑语义的[c，d]-镜像下就是d-d型的。     

拓扑空间中的KKM定理及其应用

给出了无线性结构的W-空间中的新型条件下的KKM定理.作为应用,同时给出了极大极小定理和截口定理,其结果改进和推广了有关文献中相应的结果.     

Mn（R）上保正交矩阵的线性变换

Ｍｎ（Ｒ）是实数域上所有ｎ阶矩阵组成的集合,Ｈ（Ｆ）是Ｍｎ（Ｒ）上将正交矩阵映成正交矩阵的可逆线性变换组成的集合。在变换的合成运算下,Ｈ（Ｆ）构成群,并得出了线性变换Ｈ（Ｆ）的一种刻画。     

关于一类二阶系统的周期解的存在性

研究一类二阶系统的周期解的存在性。给出了一些新的存在性条件,在这些新的条件下,通过使用最小作用原理获得了两个新的存在性定理。     

新矿物——安康矿

1983年作者在陕西省安康石梯重晶石矿区工作时,发现了一种含Ba、Ti、V的氧化物矿物。通过系统的矿物分析,确认该矿物为一新矿物,并根据其发现产地命名为安康矿(ankangite)。该矿物已获得国际新矿物及矿物命名委员会批准。     

伊朗高速公路项目设备物资清关实务及实践

本文系统总结了伊朗德黑兰北部高速公路项目一期工程进口设备物资的清关流程、特点和规律,重点就伊朗当地委托清关、代理清关的必要性和几个操作性问题做了阐述,提出了清关实践中值得重视的经验和教训。