格值命题逻辑系统L（X）（I）

本文通过泛代数的概念与方法建立了以格蕴涵代数为真值域的格值命题逻辑系统Ｌ（Ｘ），并讨论了它的语义问题。     

钽酸锂、蓝宝石在高压下的光学性质从头算研究

采用量子力学从头算和赝势平面波基组以及非局域广义梯度近似(PP-GGA)方法对两种光学窗口材料(单晶LiTaO3和蓝宝石α-Al2O3)在0~250 GPa静水压力范围内的光学透明性进行了研究.结果表明,随着压力的增加蓝宝石和钽酸锂的最大吸收峰位置均向低波长区移动(蓝移).蓝宝石在0~250 GPa压力下,可见光范围内一直保持其透明性,而LiTaO3则在高压下时就变得不透明了,其原因是钽酸锂的前沿能带闭合而导致其吸收带宽随外界压力的增大变宽所致.     

同轴虚阴极振荡器实验研究

 介绍了中国工程物理研究院应用电子学研究所关于同轴虚阴极振荡器实验的最新进展。实验结果表明，带阳极反射板结构的同轴虚阴极振荡器比不带阳极反射板结构的同轴虚阴极振荡器输出微波功率更高，频谱更纯。在二极管电压350 kV，电流23 kA条件下，输出微波峰值功率500 MW，能量转换效率约6.2%，工作频率为3.3 GHz。对实验结果进行了理论分析。     

YBaCuO超导块的厚度和形状对其悬浮力的影响

研究了尺寸分别为Φ30mm× 13.7mm和Φ2 9.5mm× 10 .8mm两块熔融织构单畴YBaCuO高温超导体块材的厚度和形状对它所受到的悬浮力的影响 .利用“高温超导磁悬浮测试系统”逐次测试了YBaCuO在不同厚度和不同形状时所受到的悬浮力 ,然后测量了样品在悬浮力测试过程中的俘获磁通 ,并对实验结果进行了分析 .     

基于对数双曲余弦比差异图构造与多区域特征卷积极限学习机的合成孔径雷达图像变化检测

针对合成孔径雷达（SAR）图像变化检测中差异图质量不佳、检测精度偏低以及检测时间长等问题,提出了一种基于对数双曲余弦比（LHCR）差异图构造与多区域特征卷积极限学习机的无监督变化检测新方法。该方法主要由差异图生成和差异图分析两个阶段组成。在差异图生成阶段,利用各向异性扩散滤波器对同一地区不同时间的两幅SAR图像分别滤波,使用对数双曲余弦变换对滤波后的图像进行增强,通过对数比处理得到LHCR差异图,在抑制相干斑噪声的同时,增强差异图的对比度。在差异图分析阶段,应用分层模糊C均值聚类得到变化类、不变类和中间不确定类的预分类结果;进而从差异图、双时相SAR图像中获取多区域样本块,构成三通道数据输入卷积层进行特征提取。特征具有强调中心区域、抑制边缘噪声的特点;最后,使用变化类和不变类的特征向量进行极限学习机分类训练,再用训练好的模型对中间不确定类像素自动分类实现变化检测。Radarsat-2和高分三号数据集的实验结果表明了所提方法的有效性。     

CFQS装置准环对称测试用磁体电源系统设计

CFQS装置是中国西南交通大学(SWJTU)和日本国家核融合科学研究所(NIFS)联合设计制造的中国首台准环对称仿星器,为满足装置0.1 T稳态运行的实验要求,需要为其磁体线圈设计相应的电源系统。本设计方案考虑工程实际估算线路阻抗,考虑工程裕度、电源以负载参数的1.2倍进行计算,并建立电源系统的Simulink仿真模型,分析负载电流纹波大小及网侧谐波含量。根据仿真结果优化设计方案,通过在直流侧增加无源滤波器,减小输出电流纹波,分析直流侧电压代数形式,计算滤波器参数,并仿真调节得到更加符合实际需求的滤波器参数,满足装置准环对称位形的分布磁场精度对磁体线圈电流纹波的要求。     

四游标分光计的设计与实验教学应用

为丰富基于分光计的大学物理实验课程教学内容,设计并制作了四游标分光计.该分光计以位置可固定的刻度盘的刻度线为基准,其中1对游标用于实现准直管旋转角度的精确测量,另1对游标用于实现望远镜旋转角度的精确测量.以三棱镜折射率的精确测量为例,详细给出了四游标分光计的使用方法及操作步骤,测量得出低压汞灯绿色谱线在ZF1重火石玻璃材质中的折射率n=1.654 4±0.000 7,实验结果与理论值相符.     

弹性结构拓扑变化的一般定理及拓扑变化法

本文提出弹性结构拓扑变化的一般定理,给出了显式表达式.以它为基础建立了一套彻底摆脱求解方程组的新的分析方法,适用于有结构变化的分析,如结构优化设计中的分析等.     

对压力容器部件构形优化方法的探讨

本文探讨了压力容器部件的构形优化方法.文中采用有限元进行结构分析,以解析方式计算应力梯度,应用 RQP 方法求解非线性规划.针对结构中存在多个应力水平相近的区域的情形,提出了应力梯度迭加方案以求改善收敛性.     

弹塑性岩土介质中渗透固结问题的参数二次规划法

岩土类介质在承受荷载时,不仅产生弹塑性变形,还伴随着渗流和固结,是一个关于时间的动态过程。本文建立起处理该问题的参变量变分原理以及相应的有限元方法,这样将原问题化为求解带约束条件(本构状态方程)的二次规划问题.文中讨论了单元的选取形式及具体的实施过程,还给出了一个实例.