谭娟
- 作品数:5 被引量:1H指数:1
- 供职机构:浙江理工大学更多>>
- 发文基金:浙江省自然科学基金更多>>
- 相关领域:自动化与计算机技术理学更多>>
- 时间自动机的状态约减改进方法
- 时间自动机是用来描述实时系统的有力工具,而时间自动机的可达性可以用来验证实时系统的安全性。为了分析可达性,我们将传统的符号状态扩充,得到新的时钟域分类方法,再构造出域自动机。再对域自动机的前趋后继进行遍历,判断与给定的状...
- 谭娟周永华韩维
- 关键词:时间自动机可达性
- 文献传递
- 基于模糊微分Petri网的混合系统表示
- 2011年
- 为了描述连续部分为模糊的混合系统,提出了基于模糊微分Petri网的混合系统表示方法。该方法的切换规则由时间来控制并由离散变迁来监督管理,而连续部分则由模糊微分方程描述,通过模糊微分库所和模糊微分变迁来建模。最后通过实例来展示我们的Petri网对混合系统的表示能力。
- 谭娟李阳刘凤丽
- 关键词:PETRI网
- 基于模糊Petri网的混合系统表示及稳定性研究
- 混合系统是由连续变量部分跟离散部分相互作用组成的系统,该类系统有广泛的应用空间,包括计算机领域和控制领域。因此,对混合系统的研究也成为了很多学者苦心钻研的热门课题,而对混合系统的研究又主要集中在建模分析和稳定性研究等方面...
- 谭娟
- 关键词:模糊微分方程PETRI网稳定性
- 文献传递
- 时间自动机的状态约减改进方法
- 时间自动机是用来描述实时系统的有力工具,而时间自动机的可达性可以用来验证实时系统的安全性。为了分析可达性,我们将传统的符号状态扩充,得到新的时钟域分类方法,再构造出域自动机。再对域自动机的前趋后继进行遍历,判断与给定的状...
- 谭娟周永华韩维
- 关键词:时间自动机可达性
- 文献传递
- 基于模糊控制的自适应系统研究被引量:1
- 2012年
- 当系统完成以后,我们希望该系统能够根据环境和需求的改变而自我调节来适应这些变化。2009年Agus提出了一种生成动态模糊规则的自适应算法,实现了系统的自适应功能。改进了该算法,改进的算法保证了模糊规则库的纯度,提高了系统响应的准确率,并降低了构造系统的复杂性。
- 李阳刘凤丽刘忠山谭娟
- 关键词:动态自适应模糊规则