混合系统的近似形式化验证

发布时间：2017-09-16 13:09

  本文关键词：混合系统的近似形式化验证

  更多相关文章： 特殊标记 等价的标记转换系统 近似标记转换系统 齐次线性多项式微分混合系统 误差分析

【摘要】：混合系统是由连续子系统和离散子系统构成,且这两个子系统相互作用相互影响,从而使得混合系统表现出更加复杂的动态行为。而混合系统中研究的一个重点内容是系统的形式化验证。但是由于系统的形式化验证条件非常苛刻,从而很难对系统进行形式化验证。为了验证混合系统,了解混合系统的一些特性,我们对混合系统采取近似形式化验证。因此,我们主要研究了特殊混合系统的语义模型及其近似语义模型,并进行了误差分析。我们是通过不完全矩阵分解法和特殊标记来研究混合系统,即把系统的标记特殊化为齐次线性多项式微分方程组,利用不完全矩阵分解法得到此方程组矩阵的预处理矩阵,并根据预处理矩阵建立了标记的等价标记和等价标记集。根据标记的等价语义模型以及不完全矩阵分解法,我们构造了状态的近似状态,并且建立了标记转换系统的等价标记转换系统语义模型和近似标记转换系统语义模型。根据标记特殊化为齐次线性多项式微分方程组,提出了齐次线性多项式微分混合系统语义模型。齐次线性多项式微分混合系统不仅刻画了状态之间的转换行为,而且还描述了状态转换的细节。本论文还构造了齐次线性多项式微分混合系统的近似状态轨迹和近似动作序列以及近似语义模型。而且也构建了系统的离散转换关系的近似转换关系。随后,本论文对系统进行了误差分析。从而我们得出了状态及其近似状态、状态轨迹到达状态及其近似状态轨迹到达状态、标记及其近似标记、动作序列及其近似动作序列、状态轨迹及其近似状态轨迹之间的绝对误差。
【关键词】：特殊标记 等价的标记转换系统 近似标记转换系统 齐次线性多项式微分混合系统 误差分析
【学位授予单位】：广西民族大学
【学位级别】：硕士
【学位授予年份】：2016
【分类号】：O175
【目录】：

• 摘要3-4
• Abstract4-7
• 1 绪论7-12
• 1.1 本文的研究背景及意义7-9
• 1.2 存在的问题9-10
• 1.3 本文的主要工作及框架结构10-12
• 2 混合系统简介12-17
• 2.1 混合系统的语义模型12-13
• 2.2 转换系统的语义模型13-15
• 2.3 近似模拟关系15-16
• 2.4 本章小结16-17
• 3 不完全矩阵分解17-22
• 3.1 不完全上下三角矩阵分解（ILU）17-19
• 3.2 修改的ILU分解（MILU）19-21
• 3.3 本章小结21-22
• 4 标记转换系统的近似语义模型22-31
• 4.1 等价标记22-24
• 4.2 标记转换系统的等价语义模型24
• 4.3 近似标记转换系统24-25
• 4.4 状态的近似模拟关系25-28
• 4.5 近似模拟转换系统28-30
• 4.6 本章小结30-31
• 5 齐次线性多项式微分混合系统31-39
• 5.1 齐次线性多项式微分混合系统的语义模型31-32
• 5.2 基于ILU分解法近似模拟状态32-34
• 5.3 离散转换关系的近似转换关系34-36
• 5.4 误差分析36-38
• 5.5 本章小结38-39
• 6 总结与展望39-41
• 6.1 研究工作总结39-40
• 6.2 未来工作展望40-41
• 参考文献41-45
• 致谢45-46
• 发表与完成文章目录46

【相似文献】

中国期刊全文数据库 前10条

1 侯建民,李宣东,樊晓聪,郑国梁;线性混合系统的一种验证方法[J];南京大学学报(自然科学版);1999年01期

2 刘羽;许可;戢维东;;交支流混合系统的仿真[J];科技风;2011年07期

3 张超龙;杨逢建;杨建富;;脉冲混合系统研究进展[J];仲恺农业工程学院学报;2009年01期

4 李兆花;喻珊;;制造—再制造混合系统的随机库存控制模型研究[J];中国市场;2012年28期

5 郑能干;陈卫东;胡福良;鲍莉;赵慧霞;王s，

本文编号：863225