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