基于线性算子的广义逆矩阵的几何表示北大核心

广义逆矩阵是矩阵理论的重要内容.由于广义逆矩阵的定义众多,计算较为繁杂,使得初学者很难理解和掌握其本质.基于线性方程组求解问题的等价表示,从线性算子的角度展示多种广义逆矩阵定义的背景及其几何直观意义.通过对一个特殊算例的分析与求解,实现了对多种广义逆矩阵的几何解释及其在线性方程组求解中的作用,淡化了广义逆矩阵计算的繁杂,加深初学者对广义逆矩阵的理解与掌握.     

基于(火积)理论的“+”形高导热构形通道实验研究

基于构形理论和■理论,对"+"形高导热通道的方形构造体开展导热实验研究,并对不同优化目标和不同高导热通道布置形式下的构造体导热性能进行比较.结果表明:对于"+"形高导热通道的方形构造体,实验和数值计算所得到的构造体最高温度点均位于"+"形高导热通道两分支之间,实验和数值计算所得到的构造体平均温差和■耗散率的误差均在可接受范围内,这从定性和定量的角度证明了导热构形优化结果的正确性.与"H"形高导热通道的方形构造体相比,构造体内高导热通道采用一级"+"形布置使得其导热■耗散率得到降低.■耗散率最小的一级"+"形高导热通道构造体最优构形与最大温差最小的构造体最优构形相比,前者的导热■耗散率降低了5.98%,但最大温差提高了3.57%.最大温差最小目标有助于提高构造体的热安全性,■耗散率最小目标有助于提高构造体的整体导热性能.在保证热安全性能的前提下,实际微电子器件设计中可采用■耗散率最小的构造体最优构形以提高其整体导热性能.     

区间集非交换剩余格〈∈,∈凵Q〉-广义Fuzzy蕴涵滤子的构造性刻画

借鉴反映不确定性推理本质特征的滤子理论和用模糊粗糙集上、下近似集表述的区间集思想,引入了区间集非交换剩余格的概念,讨论构成区间集非交换剩余格的代数结构特征,构造性地给出了广义Fuzzy蕴涵滤子与其相应的〈∈,∈凵Q〉-广义Fuzzy蕴涵滤子间的等价性表示定理,体现了性质迥异的区间集非交换剩余格代数表示形式的内在相容性。     

2.45GHz ECR 强流等离子体源核心部件设计与实验研究

电子回旋共振(Electron Cyclotron Resonance,ECR)等离子体源能产生高电荷态离子、高流强的单电荷态离子,提供稳定的束流和良好的重复性.核心部件的设计对ECR等离子体源是至关重要的,磁场对等离子体的生成和分布有直接影响,良好的磁场可以提高等离子体的性能和效率.采用有限元分析方法对ECR等离子体源磁场进行分析与设计,得到了满足设计需求与目标的磁场位形,通过高斯计对设计的永磁环轴向磁场精确测量,发现磁场仿真结果与实验结果吻合比较好,只是轴向磁场最大值及对应位置上有点偏差.通过集成实验,研究核心部件对离子源引出束流强度的影响,引出束流稳定且强度达到7 m A.     

广义次指数密度的两个新的等价条件

得到了广义次指数密度的两个新的等价条件,刻划了它们的卷积封闭性和卷积根封闭性.     

多项式环的单位和稳定度的注记

称环R为广义2-素环,如果R的幂零元集与上诣零根一致.证明了R上的多项式为单位当且仅当它的常数项是R中的单位而其它系数是幂零的.因此,广义2-素环上的多项式环的稳定度大于一.     

s-Carleson测度与广义面积积分

本文利用分数次积分算子的有界性研究了广义面积积分算子在广义Morrey空间上的有界性,并给出了s-Carleson测度若干新的等价刻画.     

基于量子逻辑的模糊线性时序逻辑的模型检测

模型检测的主要问题是处理具有量化信息的系统的验证问题,该文在量子逻辑和时序逻辑的相关理论基础上引入了可能性理论以及模糊线性时间的可能性测度,研究了线性时序逻辑在模糊时态下的模型检测方法.通过引入可能性理论以及广义可能性Kripke结构定义,对广义可能性Kripke结构中的模糊线性时间性质进行了讨论,有利于研究不确定现象...     

代数函数域上的局部恢复码

假设C是有限域Fq上的[n,k]线性码,如果码字的每个坐标是其它至多r个坐标的函数,称C是(n,k,r)线性码,这里r是较小的数.本文在代数函数域上构造出了局部恢复码,它的码长不受字符集大小的限制,实际上,它的码长可以远远大于字符集的大小;并将此方法应用于广义Hermite函数域,得到了一类广义Hermite函数域上的...