学科分类
/ 4
69 个结果
  • 简介:继[1~3]分别给出σ-根及其半类的两个特征性质,研究了对于已知环类M,含于M的最大σ-根及σ-半类和包含M的最小σ-半类的构造,同时得到σ-半闭包σ-遗传的一个充分条件。

  • 标签: Σ-根 σ-半单类 结合环 余可归纳性
  • 简介:本文用则模的术语给出了半Artin环的刻划。得到如下三个条件的等价性:(1)R是一个半Artin环;(2)每一个R-模都是正则模;(3)每一个单纯R-模都是正则模。

  • 标签: 正则模 半单 ARTIN
  • 简介:对于单位圆盘内的解析函数f(z)=z+^∞∑(k=2)akz^k,本文根据D^nf(z)/z给出了判别函数f(z)为叶函数的几条判别法则,其中D^0f(z)=f(z),D^1f(z)=Df(z)=zf′(z),D^nf(z)=D(D^(n-1)f(z)),n∈N.

  • 标签: 单叶函数 判别法 单位圆盘 解析函数 判别函数 法则
  • 简介:设Sλ*(α,β)表示函数类在单位圆u{z;|z|<1}内解析映象,且对0<λ≤1;0≤α≤(1+λ)/2;0<β≤1;满足设Cλ*(α,β)表示函数类在U内解析,且zf′(z)属于Sλ*(α,β)。当λ=1时,为函数类S1*(α,β)和C1*(α,β).文中给出了这两类函数的一些结果,本文就

  • 标签: 单叶函数 函数类 单位圆 类函数 文中 工科数学
  • 简介:设D为有限线性空间,且TGAut(T),其中T是非交换群,并且同构于^2B2(g),Cn(g)(n≥3),^3D4(g),E7(q),E8(q),F4(q),^2F4(q),G2(q),^2G2(q)。假设D不是射影平面,G线传递作用在D上,则T点传递。

  • 标签: 几乎单群 传递 射影平面 数学理论
  • 简介:令u(n)表示具有n个顶点的圈图.在一个圈C3的一个顶点上悬挂n-3个悬挂边的n个顶点的圈图记为U~*(n-3,0,0).本文证明了在u(n)中具有最小hyper-Wiener指数的圈图是U~*(n-3,0,0).

  • 标签: 单圈图 Hyper-Wiener指标 WIENER指标
  • 简介:设H是特征为零的代数闭域k上的半Hopf代数.本文证明了如果dimkH是小于351的奇数,则H是Frobenius型Hopf代数.

  • 标签: 半单HOPF代数 特征标 Frobenius型.
  • 简介:介绍了辐射效应,重点讲述了粒子软错误效应。说明了粒子软错误产生的物理机理,包含直接电离、间接电离和电荷收集。明确了临界电荷标准和软错误截面等粒子软错误的基本计算公式。着重阐述了GEANT4(核物理层级)、TCAD(半导体器件层级)、SPICE(简单的电路层级)和复杂电路级/系统级的多层级结构化的粒子软错误数值仿真技术。最后,结合后摩尔时代微电子技术的发展趋势,展望了粒子软错误研究的未来发展。

  • 标签: 辐射效应 单粒子效应 软错误 直接电离 间接电离 电荷收集
  • 简介:介绍了时序逻辑单元和组合逻辑单元发生粒子效应的机理,以反熔丝型FPGA芯片ActelA54SX32A为实验对象,设计了3种典型的链电路系统。在中国原子能科学院HI-13串列静电加速器上采用Br离子对电路进行辐照实验,在频率为20MHz的条件下,3个链电路的翻转截面分别约为3.268×10-3cm2,7.449×10-4cm2和3.988×10-4cm2。实验结果验证了在0.22μm工艺条件下,时序逻辑单元比组合逻辑单元更加敏感,并且在包含两者的电路中,组合逻辑单元会屏蔽部分粒子效应。最后,针对电路中不同逻辑单元,给出了两种加固方法。

  • 标签: 时序逻辑单元 组合逻辑单元单元 单粒子效应 翻转截面 重离子实验 加固设计
  • 简介:提出一种目视觉里程计/捷联惯性组合导航定位算法。与视觉里程计估计相机姿态不同,惯导系统连续提供相机拍摄时刻对应的三维姿态,克服了单纯由视觉估计相机姿态精度低造成的长距离导航误差大的问题。通过配准和时间同步,用惯导系统解算的速度和视觉里程计计算的速度之差作为组合导航的观测量,采用Kalman滤波修正组合导航系统的误差,同时估计视觉里程计标度因数误差。分别在室内外不同环境下进行了22m的推车实验和1412m的跑车实验,定位误差分别为3.2%和4.0%。与Clark采用姿态传感器定期更新相机姿态估计结果的方法相比,目视觉里程计/惯性组合导航定位精度更高,定位误差随距离增长率低,适合步行机器人或轮式移动机器人在复杂地形环境下车轮严重打滑时的自主定位导航。

  • 标签: 单目视觉里程计 捷联惯性组合导航系统 组合导航 标度因数
  • 简介:态射的Moore-Penrose逆是矩阵的Moore-Penrose逆在有对合*的范畴中的推广.本文着重给出具有满泛分解态射f的(1,3.4)-逆和Moore-Penrose存在的充要条件,同时也推广了具有泛分解广义逆的相应结果.

  • 标签: 态射 MOORE-PENROSE逆 对合 泛分解态射 广义逆 充要条件
  • 简介:建立一类不育控制下的害鼠种群的离散模型.首先利用三个Jury条件,得到平衡点的局部渐近稳定性的充分条件.其次利用李雅普诺夫函数和细致分析法分别给出了零平衡点全局稳定及持续生存的充分条件.最后给出了平衡点全局稳定的数值模拟.

  • 标签: 不育控制 全局渐近稳定性 持续生存
  • 简介:美国LLNL用激光性能运行模型(LPOM)系统来运行NIF的首四路激光:(1)用LPOM提供NIF的实时预测功能;(2)用LPOM确定NIF所有激光发射的系统参数设置:(3)用LPOM使拟议中的激光发射对系统发射对系统产生破坏的可能性减到最小。LPOM已成为NIF首四路激光模块调试的关键工具。目前我国原型装置的运行也需要一套模拟运行演示系统。

  • 标签: 演示系统 模拟运行 原型装置 开发 设计 单路
  • 简介:建立了涉及n维形内点的两个几何不等式,作为其特例得到n维Euler不等式的推广.

  • 标签: 单形 内点 距离 不等式
  • 简介:研究了一种Gnedenko系统,即由3个串联部件,一个温储备部件及一个修理工组成的系统,其中修理工可以重休假.运用C0半群的理论,证明了系统算子是稠定的预解正算子,得出了系统算子的共轭算子及其定义域,并证明了系统算子的增长界为0.最后运用了预解正算子中共尾的概念及相关理论,证明了系统算子的谱上界也是0.

  • 标签: Gnedenko系统 预解正算子 共轭算子 增长界 共尾 谱上界