学科分类
/ 2
27 个结果
  • 简介:基于动态规划,利用反向搜索的方法,通过计算词语的最大"花费"给出了中文文本的切分算法,从而建立了个能够消除中文分词中切分歧义的中文分词模型。通过对模型中算法求解的运行效率及空间耗费进行分析得出,在统计意义上,该算法具有接近与文本规模成线性关系的复杂度,空间的耗费是常数规模的。

  • 标签: 自然语言 分词 算法 动态规划
  • 简介:通过对几道关于函数在满足类特定的积分等式条件下的零点存在性典型证明题进行观察和深入地分析,提出了类具有普适性的命题,并给予证明和推广.

  • 标签: 函数零点 函数线性无关 定积分 等式 推广
  • 简介:通过权函数方法和算子理论,定义了个Hilbert型积分算子,并给出了它的范数.作为应用,建立了个Hilbert型积分算子不等式和它的等价形式,并考虑了些特殊结果.

  • 标签: Hilbert型算子 BETA函数 权重
  • 简介:蝙蝠算法是种新型的智能优化算法,本文针对基本蝙蝠算法易陷入局部最优、过早处于停滞阶段等不足之处,在蝙蝠速度更新公式中引入了惯性权重,并采用权值动态递减的方式变换权重,更好地平衡了算法的全局搜索能力和局部搜索能力.通过求解系列经典整数规划问题,并与已有算法进行比较,结果表明:改进的蝙蝠算法在般整数规划问题的求解中具有较高的计算效率和精度,以及较强的全局搜索能力.

  • 标签: 蝙蝠算法 一般整数规划 惯性权重
  • 简介:鉴于分块矩阵的群逆在许多领域都有重要的应用,根据矩阵投影性质和初等分解的方法给出了分块矩阵M=(AX+YBABD)在些新的条件下群逆的存在性理论,然后根据群逆存在性的理论给出群逆的具体表达式.最后通过数值例子验证了结果的正确性.

  • 标签: 分块矩阵 群逆 初等分解
  • 简介:从两层流体浅水波方程出发,运用尺度分析与扰动方法,建立了类新的模型(mKdV-BO模型)来描述大气中的重力孤立波。现有文献中建立的KdV模型和BO模型适合描述经向和纬向扰动较弱时重力孤立波的生成和演化,而本文模型的非线性更强,适合描述经向、纬向扰动较强时重力孤立波的生成与演化。通过运用试探函数法获得了模型的代数孤波解,并分析了孤立波的生成条件与传播速度。新模型的建立对于进步解释大气中列队雷雨阵的形成机制,探讨大气中强对流天气如飑线的形成等具有重要意义。

  • 标签: 重力孤立波 试探函数法 列队雷雨阵
  • 简介:给出了Banach空间中线性离散时间系统致与非致多项式膨胀性的概念,使其在相应空间中范数的增长速度不快于指数型增长,并用实例阐释了二者的关系.借助于指数型膨胀性的研究方法,讨论了其非致多项式膨胀性的离散特征.作为应用,利用Lyapunov函数给出了相应概念的充要条件.得到了指数膨胀性理论中些经典结论在非致多项式膨胀情形下的变形.

  • 标签: 线性离散时间系统 非一致多项式膨胀性 LYAPUNOV函数
  • 简介:基于右上角元素值域的闭性和某空间族的维数扰动,得到了缺项四分块算子矩阵(AC?B)存在可逆补的个新的充分必要条件,结果表明该类补问题可以转化为缺项上三角算子矩阵的可逆补加以解决.

  • 标签: 块算子矩阵 可逆性 补问题
  • 简介:本文结合残量Bregman迭代方法以及不动点迭代方法提出种新迭代方法,将其应用于信号恢复问题.数值试验表明,新方法避免了Bregman迭代方法产生的停滞现象且较线性Bregman迭代方法更稳定、快速、有效.

  • 标签: Bregman迭代 不动点迭代 信号恢复
  • 简介:本文提出了类Logistic时滞模型的随机离散形式,并对其进行了研究.首先,讨论了相对应的确定性离散模型的稳定解.其次,在些简单的条件下,证明了随机离散Logistic方程的渐近稳定性.最后,利用数值仿真说明了主要结果.

  • 标签: 随机稳定 Logistic差分方程 时滞Lyapunov理论鞅收敛定理
  • 简介:本文研究类非凸连续全局最优化问题的最优性条件.通过构造含有参数的辅助函数,且对辅助函数作极限运算,得到种基于积分运算的积分型全局最优性条件,并利用该辅助函数得到非凸规划问题全局最优解的些充分必要条件.

  • 标签: 全局最优化 最优性条件 积分 充要条件
  • 简介:本文讨论矩阵方程ATX+xTA=C的般解及其最佳逼近解的正交投影迭代解法.首先,利用矩阵的结构特点及相关性质,并借助矩阵空间的相关理论,给出求该矩阵方程般解正交投影迭代算法;其次,根据奇异值分解、F-范数正交变换不变性证明算法的收敛性并推导出算法的收敛速率估计式,当方程相容时,该算法收敛于问题的极小范数解,且对该算法稍加修改,就可得到相应最佳逼近解;最后,用数值实例验证算法的有效性.

  • 标签: Lyapunov矩阵方程正交投影迭代法 最佳逼近解收敛速率极小范数解
  • 简介:本文证明第二种服务可选的M/M/1排队模型的主算子的点谱包含个区间(-α,0),α〉0.此结果表明该主算子生成的C_0-半群不是紧算子,甚至不是最终紧算子.本文的结果与我们以前的结果合并后得到:(i)该C_0-半群的本质增长界为0.从而,该C_0-半群不是拟紧算子.(ii)该模型的时间依赖解不可能指数收敛于其稳态解.(iii)该C_0-半群的本质谱半径等于1.

  • 标签: 第二种服务可选的M/M/1排队模型 特征值 几何重数 C_0-半群 本质增长界
  • 简介:利用般凹算子的不动点定理研究了类含隅角和弯矩的弹性梁方程,得到了单调正解的存在唯性结果.最后给出个典型例子说明所给结果的应用.

  • 标签: 弹性梁方程 不动点定理 单调正解
  • 简介:三角函数问题和解三角形问题是江苏高考的必考内容,也是学生的拿分点,但学生在做此类问题的时候往往会由于错误的分析思路而导致失分.通过角度之间的变换,探求角度之间的关系从而求角的三角函数问题是高考的重点考察范围,那么掌握这块的运算技巧和解题方法是学生的首要任务,笔者在上节普通的习题讲评课时,学生对个问题的思维方式和思维模式给笔者留下了深刻地印象.

  • 标签: 习题课 学生 翅膀 函数问题 三角形 解题方法
  • 简介:建立了类具隔离和时滞的肺结核系统,运用脉冲时滞微分方程理论.运用脉冲时滞微分方程理论,得到了两个临界值R_1和R_2,当R_1〈1时,无病周期解全局吸引;当R_2〉1时,疾病将持续.

  • 标签: 隔离 时滞 潜伏期 全局吸引 持久性