孟垂茁
- 作品数：4 被引量：17H指数：2
- 供职机构：大连海事大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：理学自动化与计算机技术更多>>
- 两类bc树的bc子树的计数被引量：3
- 2007年
- 用生成函数的方法研究了bc树的bc子树的计数问题.得出n顶点星形(路径)bc树的bc子树比任一个n顶点bc树所含的bc子树都多(少),以及路径bc树和星形bc树所含的bc子树数的精确值;对于路径bc树,分析了经过任给顶点的bc子树的计数问题,也给出相应的bc子树数的精确值;对于一般bc树给出了其所含bc子树个数的一个上界.
- 杨雨王德强张少芳孟垂茁
- 关键词：生成函数计数
- 三类三角剖分的对角线翻转距离
- 2007年
- 在对凸n(n>7)边形的三类特殊形态三角剖分研究基础上,证明三类三角剖分的对角线翻转距离,从而求得三类三角剖分对角线翻转距离的上下界,并且通过三角剖分与二叉树之间的对应关系,给出与这三类三角剖分相对应的二叉树之间的旋转距离.
- 张少芳王德强杨雨孟垂茁
- 关键词：三角剖分二叉树
- 艺术画廊4-染色及联合看守问题研究
- 艺术画廊问题来源于实际生活，与简单多边形三角剖分是密不可分的，多年来，已经引起越来越多的研究者的关注.现如今，它在现实生活许多领域中都有着重要的应用.因为艺术画廊4-染色方法可以减少大部分简单多边形需要的看守数目，因此，...
- 孟垂茁
- 关键词：简单多边形三角剖分
- 文献传递
- 不确定变时滞中立型系统的指数稳定H_∞控制被引量：14
- 2008年
- 针对一类不确定变时滞中立型系统,基于Lyapunov稳定性理论,采用线性矩阵不等式(LMI)处理方法,研究了其指数稳定H∞控制问题。对所有参数不确定性和时变时滞性,设计线性无记忆状态反馈控制器,使得闭环系统是指数稳定的且满足给定的H∞性能指标。首先讨论无扰动闭环系统的指数稳定性,在此基础上,得到了系统具有H∞性能指标的充分条件。并将其转化为线性矩阵不等式的形式,从而可以很方便地利用Matlab工具箱进行求解。最后给出算例验证结论的有效性。
- 杨晓光于丽丽孟垂茁
- 关键词：中立型时滞系统线性矩阵不等式LYAPUNOV稳定性H∞控制
