F推理格式及其应用

Ｆ命题推算是Ｆ逻辑的基本内容，本文引进了Ｆ推理格式的概念，并证明了它的一些基本性质，从而，Ｆ命题的演算可以按照一定的Ｆ推理格式进行推理论证，这样才能导出正确的结论，另外，它又为推断Ｆ逻辑公式的相容性提供了理论方法基础。     

关于F-分布的注记

本文证明了两个正态子样未必独立，但满足其它较弱条件时，两子样方差仍相互独立，说明了F－检验中要求两子样独立的条件是不必要的。     

赝三元系KBe2F5—KA1F4—K3A1F6的相图

采用溶液反应法制样，用目测变温和DTA方法测定了AlF2-BeF2—KF三元系中的KBe2F5—KA1F4—K3A1F6赝三元系的相图．体系中有一个三元低共晶点E，组成为4mol％KF、15mo1％KAlF4和81mol％KBe2F5，温度为310℃．在KBe2F5的含量低于70mo1％时，沿着e1→E共晶线组成的熔盐是可以利用的中温铝钎剂．(e1是KF—A1F3体系中K3AlF6与KAlF4之间的共晶点)．     

麦饭石提取物对Friedel—Crafts反应的催化影响

首次报导了麦饭石提取物对Ｆｒｉｅｄｅｌ－Ｃｒａｆｔｓ反应的催化结果，实验表明，该提取物的催化剂能力与ＡｌＣｌ３相当，操作条件宽松，有代替ＡｌＣｌ３等现行催化剂的可能。     

葡萄酒评价的数学模型

2012年全国大学生数学建模竞赛A题附件1给出了某一年份一些葡萄酒的评价结果.应用概率论与数理统计中的假设检验分析2组评酒员的评价结果有无显著性差异和哪一组结果更可靠,最终得出第2组评酒员的结果更为可信.     

（HgCd）Te探测器的光吸收系数对其有效Franz—Keldysh偏移的影响

在讨论（ＨｇＣｄ）Ｔｅ探测器耗尽层宽ｄ和光吸收系α的基础上，导出了探测器截止波长的有效Ｆｒａｎｚ－Ｋｅｌｄｙｓｈ偏低Δλｃｅ与α、ｄ的关系式，说明了实验测定的Δλｃｅ偏低的原因。     

卡方分布与F分布判别的假设检验

χ2(m)分布与F(m1,m2)分布的密度函数的图像都是只取非负值的偏态分布,而且二者密度函数图像类似,因此二者的分布函数以及经验分布函数的图像也同样类似.对于一组来自χ2(m)分布或F(m1,m 2)分布的数据,用通常的作经验分布函数图像的方法,难以区分这组数据到底来自哪一个总体.提出了用假设检验的方法判断一组来自χ2(m)分布或F(m1,m2)分布数据是服从χ2(m)分布还是服从F(m1,m 2)分布.     

两指标σ—域流的几个等价条件

研究两指标鞅论中σ- 域流的条件,给出（F5）,J（F4′）条件的几个等价条件及其证明。     

半（F，K）-凸映射的几点性质

给出实向量空间中半（F，K）-凸映射的概念，并对这类映射的若干基本性质进行了讨论．     

李代数的幂零性与可解性

本文得到李代数为幂零的一个充分必要条件,给出李代数具有非奇异微分的一个刻划,最后讨论存在三个或三个以上余维为一的幂零子代数的李代数的特征。     

群F4^2的主系列表示的组合因子的注记（Ⅰ）

设F_4~2为实一阶李群——F_4的一个实形式,用F_4的Wegl群来参数化F_4~2的广义主系列表示,因此,可以利用由[2]提出的方便和直接的方法对正则无穷小特征来计F_4~2算的广义主系列表示的组合因子。     

CPC分类体系在B01F领域专利检索中的应用

本文对B01F领域CPC分类体系与IPC分类体系进行了对比,通过具体案例探讨了CPC分类体系在B01F领域检索中的应用,并阐明了CPC分类体系在该领域检索的优势,旨在为相关研究提供借鉴。     

F~＊空间上压缩型映射的不动点定理

在F＊空间中建立几个非线性压缩型映射的不动点定理.并利用它们,得到通常赋范空间和Menger概率赋范空间上相应的不动点定理.     

NA随变量序列的Fuc—Nagaev型不等式

本文给出ＮＡ随机变量序列的一些概率不等式,进一步推广了文「１」「２」中的一些结果。     

碱卤晶体的光塑性效应

对于光塑性效应的研究,可以得到在金属晶体上不容易得到的有关位错运动的一些重要实验资料.本文简单归纳总结出国际上关于碱卤晶体PPE的一些主要研究成果以及存在的问题.目前基本公认,产生其正的PPE原因是由于F中心被激发而导至运动位错与F~-或F~+的作用结果.