K(o)the-Bochner空间的凸性

本文利用K(o)the函数空间的性质以及K(o)the函数空间与K(o)the-Bochner空间的关系,讨论了K(o)the-Bochner空间E(X)的凸性,主要结果如下:(a)给出E(X)的端点的充分条件,得到了E(X)严格凸的判据,相应地推广了Lp(μ,X)以及LΦ(X)的结果;(b)讨论了E(X)的弱局部一致凸和局部完全k-凸;(c)刻画了E(X)的强凸,给出了E(X)强凸的充要条件.     

研究K4-同胚图K4(α,1,1,δ,ε,η)色性的一个引理

主要介绍了一个引理，这个引理奠定了K4－同胚图K4（α，1，1，δ，ε，η）色性研究的基础。     

有界变量线性规划的基线算法

本文对有界变量线性规划的算法进行了研究，得到了一种解此问题的新算法。文中根据基线算法的算法原理，通过对BL表的旋转，在各变量满足界约束的条件下，使目标函数值不断增大，直至得到有界硬上界，从而得到问题的最优解。文中给出了有界变量线性规划基线算法的计算步骤，并给出了一个例子。与单纯形法相比，采用基线算法解有界变量线性规划操作更简单。迭代次数少，解题速度更快。     

弱(L_1,L_2)-BLD映射的正则性

本文首先将文［１］中的ＢＬＤ映射推广为弱（Ｌ１，Ｌ２）－ＢＬＤ映射，并证明了如下正则性结果：存在两个可积指数 Ｐ１＝Ｐ１（ｎ，Ｌ１，Ｌ２）＜ｎ＜ｑ１＝ｑ１（ｎ，Ｌ１，Ｌ２），使得对任意弱（Ｌ１，Ｌ２）－ＢＬＤ映射ｆ∈（Ω，Ｒｎ），都有ｆ∈（Ω，Ｒｎ），即ｆ为（Ｌ１，Ｌ２）－ＢＬＤ映射．     

一阶形式系统K~*及其完备性

模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.     

改进型磁绝缘线振荡器的设计和数值模拟

 综合两种现有磁绝缘线振荡器的优点，对器件进行改进，将双渐变结构、轭流片和阻抗渐变三种增大功率的机制综合考虑，利用二维半全电磁PIC程序进行数值模拟，设计了一种新的改进型磁绝缘线振荡器，当外加电压为550kV，电流为35kA左右时，在L波段获得了6GW的峰值输出功率。     

平行机半在线排序问题研究(Ⅰ)

对半在线平行机排序问题的研究进展作了详细综述和进一步探讨。文章给出半在线排序问题的背景、定义、分类和求解。介绍它们定义和在不同机器环境和目标函数下半在线排序问题分类，以及第一类半在线模型的近似算法的设计及其竞争比分析。     

U：CaF2晶体的分凝特性与光谱性质

应用TGT法生长了直径为75mm的U：CaF2晶体，宏观上透明完整.应用公式K0=Cs/Cl计算了U在CaF2晶体中的分凝系数等于0.53.应用溶质分布一般公式Cs=K0C0(1-g)K0-1，计算U的浓度分布与测量值，数值符合说明晶体生长过程接近平衡状态.分析不同条件下生长的U: CaF2晶体的晶胞参数和吸收光谱，结果表明生长气氛决定U的价态及电荷补偿机理：无PbF2存在的条件下，U为+4价，晶体呈绿色；PbF2的加入起到氟化去氧作用，U倾向于以离子半径最接近于Ca2+的U3+存在，晶体呈红色.从晶体生长开始到结束的部位，U3+:CaF2晶体吸收光谱的峰位不变，峰强呈现与U浓度相同的增加趋势.U3+:CaF2晶体外层厚约5mm处呈黄色，含有U3+和U2+的混合价态离子，其原理是石墨坩埚的还原作用通过单质铅，使部分的U3+进一步还原成了U2+. 关键词： 铀 氟化钙晶体 分凝系数 晶胞参数     

一个线性约束优化问题的广义梯度投影法

本文对线性约束优化问题提出了一个新的广义梯度投影法，该算法采用了非精确线性搜索，并在每次迭代运算中结合了广义投影矩阵和变尺度方法的思想确定其搜索方向．在通常的假设条件下，证明了该算法的整体收敛性和超线性收敛速度．     

A rigid subspace of the real line whose square is a homogeneous subspace of the plane

Working in ZFC, we give an example as indicated in the title.