学科分类
/ 25
500 个结果
  • 简介:结合Banach空间的Drop性,利用K维体积给出了K-强凸空间的个新的定义,同时也给出了K-强光滑空间定义的K维体积表示,然后利用单位圆的切片证明了K-强凸空间是自反空间,进而证明了K-强凸空间与K-强光滑空间是对对偶空间.最后利用Drop性的切片描述证明了K-强凸空间具有Drop性.

  • 标签: K-强凸空间 BANACH空间 Drop性 K维体积表示 自反空间 对偶空间
  • 简介:类数列积进行求解并推广,使结果适用于数列积的计算.

  • 标签: 数列 部分和 极限
  • 简介:分布式联邦滤波器在多传感器信息融合领域得到广泛的重视,联邦滤波中的信息分配原则直接影响滤波器的精度和容错性,而常规的标量形式联邦滤波信息分配方法无法满足高动态环境下状态的动态变化特性。信息分配是设计和实现联邦滤波器的关键环节,基于系统误差协方差阵和可观测阵。文中考虑系统状态估计精度和系统的可观测性,提出了种新的联邦滤波信息分配方案和算法。新的联邦滤波算法允许每个系统状态变量具有不同的动态信息分配因子,从而改进了联邦滤波信息融合的精度。仿真结果表明,与传统联邦滤波算法比较,改进的信息融合算法精度能提高30%以上。

  • 标签: 组合导航 联邦滤波 信息分配 信息融合
  • 简介:类Leslie模型进行定性分析,研究了其极限环的存在性,不存在性和唯性,证明了该系统在细焦点外围至多有个极限环,以及如果系统有奇数个极限环,则它恰有个极限环。

  • 标签: 极限环 细焦点 不存在性 唯一性 奇数 证明
  • 简介:基于动态规划,利用反向搜索的方法,通过计算词语的最大"花费"给出了中文文本的切分算法,从而建立了个能够消除中文分词中切分歧义的中文分词模型。通过对模型中算法求解的运行效率及空间耗费进行分析得出,在统计意义上,该算法具有接近与文本规模成线性关系的复杂度,空间的耗费是常数规模的。

  • 标签: 自然语言 分词 算法 动态规划
  • 简介:微波布拉格衍射实验中点阵模拟晶体是种常用模型,对此的研究已趋于成熟,也形成了比较完善的理论体系。本文在研究了用点阵模拟晶体发生微波布拉格衍射的基础上,结合布拉格衍射实验原理,设计种线阵模拟晶体来替代点阵模拟晶体。利用微波分光仪进行了不同线阵面间距和不同微波频率入射的布拉格衍射实验,并将实验结果与微波布拉格衍射理论计算结果进行了分析比较和符合性的验证。

  • 标签: 模拟晶体 布拉格衍射 微波 衍射仪
  • 简介:本文提出个复合函数的极限的定理。为使定理的叙述和证明简化,特作如下规定:若limf(x)=A,A为有限或∞,则称limf(x)广义存在。

  • 标签: 去心邻域 二时 日己 日占 理中 三重
  • 简介:摘要在国家相关政策的支持下,近些年我国的配电网的建设与发展得到了巨大的推动,同时分布式光伏并网容量也得到了大幅提升。在提高配网可靠性和清洁能源并网容量两大契机下,本文针对配电网多馈线组的特点及大规模储能设备及光伏发电并网的情况,在现有的固态开关和模块化多电平变换器的基础上改进,提出种能适用交直流混合配电网的固态多端口联络开关拓扑。

  • 标签:
  • 简介:1问题的呈现2009年连云港市中考第次模拟考试试卷上有这样道试题:例1如图,E,F分别是等边△ABC的边AB,AC上的点,把△AEF沿EF折叠,点A恰好落在BC边上的D点处,已知BE=4,CF=2.设BD=x,则DC=____(用含x的代数式表示).

  • 标签: 模拟试题 中考 连云港市 ABC 代数式
  • 简介:为了研究具有完美匹配图的Tuttc集和极端集,文献[1,2]提出了种新的图运算,并且得到了许多有趣的性质。本文中,我们刻画了level(G)=0的具有唯完美匹配的饱和图G,并且确定了具有唯完美匹配图的D-图的边数的紧上界。

  • 标签: D-图 唯一完美匹配
  • 简介:给出了在些Shiskin型网格[21,23,19,18]上,利用个任意次的混合有限元方法在L2-模下得到奇异摄动问题解的最优致收敛阶的个统方法.通过研究个四阶问题,定常和不定常问题,我们显示了这个方法的性.结果显示非传统Shiskin型网格上的误差估计比传统Shiskin型网格上的误差估计更容易得到.但两种网格给出的误差估计是相容的,它们证明了Roos的猜想[21]是合理的.

  • 标签: 有限元法 奇异摄动 最优一致收敛 Shiskin型网格 误差估计 Roos猜想
  • 简介:1引言线性代数是代数学最初等的部分,却也是代数学中应用最广泛的部分。实际上。它广泛应用于数学的其它分支以及物理、化学、工程技术、社会科学等领域。最近若干年来,随着各个学科量化研究的深入及电子计算机的普遍应用,它们对于线性代数的应用需求日益增长,

  • 标签: 线性代数 初等变换 线性相关性 矩阵表示 对角化 二次型