有限自动机在自动控制软件分析中的应用

来源 :中国科技信息 | 被引量 : 0次 | 上传用户:guosheng_741
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文简述了有限自动机的基本概念,提出了应用有限自动机进行软件分析的处理思想,并且给出了实现方法。有限自动机在软件分析以及应用过程中充分考虑了软件设计的规律性,提高了软件分析的工作效率。
其他文献
目前,地方高校岗位津贴制度的实行虽然取得了一定的成效,但是仍然存在许多问题。本文在简要介绍地方高校岗位津贴制度存在的问题的基础上,对如何进一步完善地方高校岗位津贴制度
1引言三相异步电动机的速度调节问题取决于能否产生频率可调的三相交流电源。一般采用AC^-DC^-AC技术来完成变频。而该变换的关键在于逆变时管的触发脉冲的产生。PWM控制技术
经过多年的防水施工,我公司的技术人员总结了一些经验,根据不同条件、不同时期采用不同的材质和施工方法,能够更有效地控制防水工程质量。
建筑的语言所表达的是三维空间,采用抽象的表现手段和形态,用“力”的物态构成建筑语言进行造型,是内部机能理想化,视觉化的表现,是与机能有机结合在一起的结果,是表现的艺术。本文
本文简单介绍了电动机磁场的几种分析方法及其优缺点,重点介绍了有限元法及其改进,并用有限元法计算了磁场参数感应电动势和电磁转矩。
文章在介绍产业国际竞争力概念和国家钻石模型的基础上,用国家钻石模型分析了影响我国电解铝工业国际竞争力的因素,并提出了提升我国电解铝工业国际竞争力的几点措施。
随着社会经济的发展,社会情况发生了复杂而深刻的变化,贫困大学生的心理更是复杂多变,目前贫困大学生心理障碍发生率呈上升的趋势。作为学校心理健康教育者必须针对形势的变化,做
《美术鉴赏》是普通高等学校公共艺术课程、属限定性选修课程。本文从高校美术鉴赏课程开设的意义;人文精神的内涵谈起,进而从联系学生生活实际,体验生活的乐趣;注重学生情感体验
本文运用调查问卷法、文献资料法、数理统计法、专家访谈法,对现今体育院校大学生在面临就业时的期塑值和现实存在差距进行了调查研究,进而根据调查的结果来分析大学生就业期望
由于中职学生英语基础普遍较差,对学习英语没有信心。本人在计算机专业英语教学中尝试实施研究性学习,激发学生的探究精神和语言实践的热情,为学生运用计算机技术提供了施展空间