李晶晶
- 作品数:5 被引量:5H指数:1
- 供职机构:云南民族大学更多>>
- 发文基金:云南省自然科学基金国家自然科学基金更多>>
- 相关领域:自动化与计算机技术理学语言文字经济管理更多>>
- 国外民族村寨旅游研究对我国的启示
- 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年
- 文章回顾机器翻译研究的历史,介绍典型的机器翻译方法,包括:基于规则、基于统计以及基于实例的机器翻译方法;针对机器翻译的研究现状,详细介绍和分析了专利机器翻译发展现状,最后对专利机器翻译进行总结和展望。
- 王米利庄丽丁冬冬和晓萍李晶晶
- 关键词:机器翻译基于统计