您的位置: 专家智库 > >

李晶晶

作品数:5 被引量:5H指数:1
供职机构:云南民族大学更多>>
发文基金:云南省自然科学基金国家自然科学基金更多>>
相关领域:自动化与计算机技术理学语言文字经济管理更多>>

文献类型

  • 5篇中文期刊文章

领域

  • 2篇自动化与计算...
  • 1篇经济管理
  • 1篇语言文字
  • 1篇理学

主题

  • 2篇类图
  • 2篇UML类图
  • 1篇形式化
  • 1篇元模型
  • 1篇中立型
  • 1篇中立型时滞
  • 1篇中立型时滞系...
  • 1篇时滞
  • 1篇时滞系统
  • 1篇线性矩阵
  • 1篇线性矩阵不等...
  • 1篇李雅普诺夫
  • 1篇李雅普诺夫函...
  • 1篇旅游
  • 1篇旅游研究
  • 1篇描述逻辑
  • 1篇民族村
  • 1篇民族村寨
  • 1篇矩阵不等式
  • 1篇基于统计

机构

  • 5篇云南民族大学

作者

  • 5篇李晶晶
  • 2篇和晓萍
  • 2篇李迪
  • 2篇郭雨婷
  • 1篇庄丽
  • 1篇熊良林
  • 1篇丁冬冬
  • 1篇杨悦莹
  • 1篇张朋
  • 1篇刘学斌
  • 1篇江涛
  • 1篇邓海云

传媒

  • 1篇贵州师范大学...
  • 1篇云南民族大学...
  • 1篇山西大同大学...
  • 1篇青年与社会(...
  • 1篇中国科技经济...

年份

  • 1篇2016
  • 2篇2015
  • 1篇2014
  • 1篇2013
5 条 记 录,以下是 1-5
排序方式:
国外民族村寨旅游研究对我国的启示
2016年
国家支持少数民族村寨旅游的保护和开发,打造民族村寨旅游是社会主义新农村建设的重要组成部分。做好这项工作,对于促进民族地区经济发展和弘扬少数民族文化,增强民族的自豪感,巩固和发展平等、团结、互助、和谐的社会主义民族关系具有重要的意义。本文主要在借鉴国外民族村寨旅游发展的基础上,对我国民族村寨的发展提供借鉴意义。
刘学斌杨悦莹李晶晶陈包张朋
关键词:民族村寨
UML类图元模型基于描述逻辑的表示及验证
2015年
UML类图元模型采用非形式化的表示,无法对其结构语义进行严格的描述,因此提出一种UML类图元模型基于描述逻辑表示及验证的方法.在对UML类图元模型进行分析的基础上,构建了UML类图元模型基于描述逻辑SHOIN(D)的约束规则集,并验证了UML类图元模型与其构建模型间的一致性.
李晶晶江涛郭雨婷李迪王米利
关键词:UML类图元模型
一类中立型时滞系统的稳定性被引量:4
2014年
采用了等分时滞区间的方法,通过构造新的李雅普诺夫函数,结合矩阵不等式的分析技巧,得到了时滞依赖稳定性的线性矩阵不等式的系列条件。并结合系统的性质,构造新的李雅普诺夫泛函,对其导数积分项进行时滞等分处理。首先讨论了离散时滞与中立型时滞相等的系统的稳定性问题,然后讨论了混合时滞系统的稳定性问题。最后利用数值实例,通过MATLAB工具箱计算线性矩阵不等式,验证了所得的结果。
李迪熊良林邓海云李晶晶
关键词:中立型时滞系统李雅普诺夫函数线性矩阵不等式
UML类图的一种表示方法被引量:1
2015年
由于UML类图元模型的庞大性和复杂性,为此,提出UML类图元模型基于描述逻辑的一种表示方法。通过分析UML类图元模型各元素与描述逻辑SHOIN(D)的对应关系,给出UML类图元模型基于SHOIN(D)的表示方法。
李晶晶郭雨婷和晓萍
关键词:UML形式化
专利机器翻译的现状及展望
2013年
文章回顾机器翻译研究的历史,介绍典型的机器翻译方法,包括:基于规则、基于统计以及基于实例的机器翻译方法;针对机器翻译的研究现状,详细介绍和分析了专利机器翻译发展现状,最后对专利机器翻译进行总结和展望。
王米利庄丽丁冬冬和晓萍李晶晶
关键词:机器翻译基于统计
共1页<1>
聚类工具0