基于有限状态自动机原理的孔中心定位程序
缺陷检测方法以及缺陷检测系统与流程
缺陷检测方法以及缺陷检测系统与流程随着技术的不断发展，各种复杂的软硬件系统越来越多地应用于各个领域。
然而，由于软硬件系统存在着各种缺陷，这些缺陷可能导致系统的不稳定、性能低下、资源浪费甚至安全问题。
因此，针对软硬件系统进行缺陷检测和修复显得尤为重要。
缺陷检测方法缺陷检测方法是指通过一系列技术手段对软、硬件系统进行检测，发现并定位其中存在的缺陷或漏洞，从而提高系统的质量和可靠性。
典型的缺陷检测方法包括以下几种。
静态分析静态分析是指在不执行程序的情况下对代码进行分析，从而发现其中的缺陷。
静态分析通常利用一些工具，如PMD、FindBugs、Checkstyle等，来进行实现。
静态分析的技术可分为控制流分析和数据流分析两大类。
控制流分析主要考察代码的执行流程，在此基础上检测出一些不符合逻辑的程序路径和潜在问题。
数据流分析则是检查代码中涉及到的数据流，尤其是数据流的定义和使用，以此发现存在的缺陷。
动态测试动态测试是指在运行程序的情况下对其进行测试，用于发现系统中潜在的缺陷。
动态测试的典型实现方法包括黑盒测试、白盒测试、灰盒测试等。
其中，黑盒测试主要强调系统是否能够正确地支持各种用户输入和请求，白盒测试则主要强调程序内部的执行流程以及数据状态等，灰盒测试是两者的结合体，综合考虑了两者各自的优势。
模型检验模型检验是指使用数学模型和形式化方法来检验软硬件系统的正确性和健壮性。
常见的模型检验方法包括模型检测、形式化验证和语义分析等。
模型检测是一种基于有限状态自动机（FiniteState Automaton, FSA）或有向图（Directed Acyclic Graph, DAG）的技术，其主要思想是对系统的状态空间进行穷举，以判断系统是否满足某些性质。
形式化验证则是通过构建系统的形式化规范，根据这些规范对系统行为进行检查，从而发现其中的问题。
语义分析则是通过对程序代码进行解析，构建抽象语法树（Abstract Syntax Tree, AST）来发现代码中存在的语义错误。
状态机编程思路及方法
状态机编程思路及方法以状态机编程思路及方法为标题，写一篇文章。
一、引言状态机是一种常用的编程思路，它可以将程序的状态和状态之间的转换清晰地表达出来，使代码更加易于理解和维护。
本文将介绍状态机的基本概念、原理和实际应用，帮助读者更好地掌握状态机编程思路及方法。
二、状态机的基本概念1. 状态状态指的是程序运行过程中的一个特定阶段或情况，可以是系统状态、对象状态或任务状态等。
状态机将程序的运行过程抽象成一系列离散的状态，这些状态之间通过事件进行转换。
2. 事件事件是触发状态转换的信号或条件，可以是用户的输入、系统的通知或其他外部因素。
当一个事件发生时，状态机会根据当前的状态和事件，决定应该转换到哪个新的状态。
3. 转换转换表示状态之间的切换，它是从一个状态到另一个状态的过程。
转换可以是确定性的，也可以是非确定性的。
确定性转换是指根据当前状态和事件，只能转换到一个确定的新状态；非确定性转换是指根据当前状态和事件，可能转换到多个新状态中的任意一个。
三、状态机的原理状态机的原理是基于有限状态自动机（Finite State Automaton，简称FSA）。
FSA由一组状态、一组输入符号、一组输出符号和一组转移函数组成。
状态机在某个状态下，根据输入符号，通过转移函数确定下一个状态，并输出相应的输出符号。
通过这种方式，状态机能够根据不同的输入，自动地在不同的状态之间切换。
四、状态机的实际应用1. 编译器编译器是一个典型的实际应用场景，其中的词法分析和语法分析阶段使用状态机来处理输入的字符序列。
状态机可以根据不同的字符，切换到不同的状态，从而实现对输入的有效解析。
2. 游戏开发游戏中的角色状态管理、敌人行为控制等都可以使用状态机来实现。
例如，角色可以有站立、行走、奔跑等不同的状态；敌人可以有巡逻、追击、攻击等不同的状态。
通过状态机，游戏开发者可以方便地管理角色和敌人的行为逻辑。
3. 设备控制在嵌入式系统中，状态机常用于对设备的控制和调度。
有限自动机算法
有限自动机算法
有限自动机算法是一种常见的计算机科学算法，也称为状态机算法或有限状态自动机算法。
它是一种用来识别字符串的算法，通常被用于文本处理、编译器设计、自然语言处理等领域。
有限自动机算法基于有限状态自动机的理论，将一个字符串视为一个字符序列，通过状态转移来确定字符串是否符合特定的语法规则。
有限自动机算法通常分为两种类型：确定有限自动机（DFA）和非确
定有限自动机（NFA）。
DFA是一种状态转移图，其中每个状态都有一个唯一的出边，对于一个输入字符，只有一种可能的转移路径。
NFA则允许一个状态拥有多个出边，每一条出边代表一个可能的转移路径，同时，NFA还可以在不确定的情况下选择一条转移路径。
有限自动机算法的核心思想是将一个字符串逐个字符地输入到
状态机中，根据状态转移的规则，判断当前字符是否满足预定的语法规则。
如果符合规则，状态机将进入下一个状态，直到整个字符串被处理完毕。
如果最终状态符合预定要求，那么这个字符串将被认为是合法的。
总的来说，有限自动机算法是一种高效的字符串处理算法，它可以用来判断字符串是否符合特定的语法规则。
在文本处理、编译器设计、自然语言处理等领域中有广泛的应用。
- 1 -。
有限状态自动机
43
无处不在的自动机
• 世界上最庞大的、无数人每天都会用到的 自动机是什么？那就是我们使用的万维网
• 每个网页就好比一座岛屿，页面上的链接 就是行驶在岛屿之间的船只
• 截止2009年，中国的网页数量已经超过了 300亿，但网络仍然是个有限状态自动机
• 摩尔机的输出只与自动机当前所处的状态 有关
• 米利机的输出与自动机当前所处的状态以 及面临的输入有关
37
摩尔机的形式定义
38
米利机的形式定义
39
自动机与正则表达式
• 正则表达式是在计算机当中很常见的一种 表示方法，常常用于描述和匹配符合特定 规则的字符串
• 正则表达式的定义十分简单，通过字符表 中的元字符，只使用连接、并集和闭包三 种运算
PageRank算法迭代结果
Wikipedia
Q&A
41
参考资料
• 更多关于自动机的内容，例如怎样确定化 NFA，正则表达式与自动机如何转化，可 以参考以下的文献
– 《自动机理论、语言和计算导论》 – 《形式语言与自动机理论》 – 《编译原理》
42
无处不在的自动机
• 自动机对我们生活的影响力之大可能会超 出你的想象，它的应用场景可以说是无处 不在的
• 现实生活中还有一种有限状态自动机，对 于不同的输入序列，除内部状态不断改变 外，还不断向系统外部输出各种信号
• 就像我们前面提到过的银行ATM系统，会 在你不同的操作过程中返回相应的提示信 息
35
具有输出的有限自动机
• 具有输出的有限状态自动机，一般没有终 结状态集，不存在“接受”或者“拒绝”输入序 列的问题
有限自动机的原理及示例
计算机组成原理与结构期末论文有限自动机的原理及示例学院：专业：姓名：学号：有限自动机的原理及示例本文将介绍几种重要有限自动机的基本原理，并通过例子说明它们的运行过程。
一． 语言的基本概念一张字母表是一个非空有限集合∑，字母表∑中的每个元素x 称为∑中的一个字母，也称符号、终止符或者字符。
∑中有限个字符1,,n a a 有序地排列起来12n x a a a =就称为∑上的一个字符串，n 称为它的长度。
其中有一个特殊的串ε，它的长度为零。
若1∑和2∑都是字母表，则它们的乘积12∑∑定义为{}12121122,a a a ∑∑=∈∑∈∑：a ，特别地， 0121{}n n ε-∑=∑=∑∑=∑∑∑=∑∑令*01kk k k ∞=∞+=∑=∑∑=∑若*,,x y z ∈∑，且z xy =则称,x y 是z 的子串。
字母表∑上的一种语言是*∑的一个子集L 。
二． 有限状态自动机的原理和运算实例1.基本原理一个有限状态自动机的物理模型通常包括两部分：（1）一个输入存储带，带被分解为多个单元，每个单元存放一个输入符号（字母表上的符号），整个输入串从带的左端点开始存放，而带的右端可以无限扩充。
（2）一个有限状态控制器（FSC ）,该控制器的状态只能是有限个；FSC 通过一个读头和带上单元发生耦合，可以读出当前带上单元的字符。
初始时，读头对应带的最左单元，每读出一个字符，读头向右移动一个单元。
有限状态自动机的一个动作为：读头读出带上当前单元的字符；FSC 根据当前FSC 的状态和读出的字符，改变FSC 的状态；并将读头右移一个单元。
接着给出有限状态自动机的数学模型。
字母表∑上的一个有限状态自动机(FSAM)是一个五元组()0,,,,,FSAM Q q F δ=∑ 其中，i)Q 是一个有限状态的集合；ii)∑是字母表，它是输入带上的字符的集合；iii)0q Q ∈是开始状态；iv)F Q ⊂是接收状态（终止状态）集合；v):Q Q δ⨯∑→是状态转换函数，(,)q x q δ'=表示自动机在状态q 时，扫描字符x 后到达状态q '。
基于有限状态自动机的人眼开度PERCLOS实现算法_巩晓倩
定的每个特征点的横纵坐标来表示其形状向量 xi：
xi = （ xi0 ，yi0 ，xi1 ，yi1 ，…，xik ，yik ，…，xin － 1 ，yin － 1 ）
（ 1）
对标定图像进行对齐操作，再利用主成分分析法进行数据
降维，这样任意一个形状向量可近似地表示为
X = X + Pb
（ 2）
其中： X 为平均形状； P 表示前 k 个最大特征值向量； b 是一个
作者简介： 巩晓倩（ 1989-） ，女，河南驻马店人，硕士研究生，主要研究方向为分数阶微积分和数字图像处理； 蒲亦非（ 1975-） ，男，四川成都人，副教授， 主要研究方向为分数阶微积分在信号处理中的应用、模式识别、图像处理（ puyifei_007@ 163． com） ； 杨智勇（ 1988-） ，男，河南驻马店人，硕士研究生，主 要研究方向为分数阶微积分和数字图像处理； 周激流（ 1963-） ，男，四川成都人，教授，博导，主要研究方向为图像处理、人脸识别、无线网络、计算智能．
摘 要： 针对驾驶员驾驶过程中因疲劳引起的眼睛开度变化问题，在原有 PEＲCLOS（ percentage of eyelid closure
over the pupil over time） 标准的基础上，提出了一种基于有限状态自动机的人眼开度 PEＲCLOS 计算方法，并将其
应用到疲劳驾驶预警系统中。该系统首先采用红外摄像头实时获取驾驶员的脸部视频图像，使用 ASM（ active
PEＲCLOS implementation computing method of eye open degree based on finite state machine
GONG Xiao-qian，PU Yi-fei，YANG Zhi-yong，ZHOU Ji-liu
状态机原理在控制程序设计中的应用
中图分类号：Ｔ ７ Ｐ２ ３ 文献标识码： Ａ 文章编号：１ ０ －０ ３ （ ０ ７ １ － ０ ７ ０ ９ １ ４ ２ ０ ） ０ ５ — ４ ０ ０
Ｔ ｅ ａ ｌ ａ ｉ ｈ ｉ ｉ ｕ ｏｍ ａ ｉ ｒｎｃ ｐ ｅ ｉ ｏ ｔ ｏ ｏｇｒ ｍ ｈ ｐｐ ｉ ｔｏｎ ｏｆ ｅ ｆｎ ｔ ａ ｔ ｃ ｔ ｅ ｔｏｎ ｐ ｉ ｉ ｌ ｎ ｃ ｎ ｒ ｌ ｐｒ ａ
成 ，程序 的执 行实 际上就 是 依据 不 同的 条件 ，在这 些程 序分 支和模 块 问的转 移 。控 制程 序具 有 有限状
ＣＨＥＮ Ｘｉｏ ｑｎ ＪＡＮＧ ｎ ｂ ＪＮ Ｈｏ ｇ ａ — ｉ， Ｉ Ｃｕ — ｏ． Ｉ ｎ
（ ｅ ａｔ ｎ ｏ ｌｃｒｎ ｓ＆ｃ ｍｐ ｔｒＧｕｌ ｎｖ ｒｉ ｆ ｅ ｈ ｏｏ ｙ Ｇｕｌ ４ ０ ， ｈｎ ） Ｄ ｐｒ ｍｅ ｔ ｆ ｅ ｔ ｉ Ｅ ｏ ｃ ｏ ｕｅ， ｉ Ｕ ｉｅｓｔ ｏ ｃ ｎ ｌｇ ， ｉ ５ １ ４ Ｃ ｉａ ｉ ｎ ｙ Ｔ ｉ ｎ ０
有 限状 态 自动 机（ｉｉ ｕｏ ｔｎ 简称 Ｆ ） Ｆｎｔ Ａ ｔｍａ ， ｅ ｏ Ａ 是
一
任 何时 刻总 是处 于某 一确 定 的状态上 ，且其 行 为是 确 定 的。有限状 态 自动机 Ｍ 可 以用一 个五 元组 来描
述 Ｉ４ 。ｌ ｌ 『
Ｍ ：［ Ｓ Ｙ６， ］ Ｘ， ， ， 九
有限状态自动机的C#实现
， ， 当前状态
ｐ ｉ ａｅ ｓｒ ｇ ｃ ｒｅ ｔ ｒ ｔ ｔ ｎ ｕ ｒ ｎ ； ｖ ｉ
， ／ 状态集
ｐｉ ａｅｓａｕ ｌｅ 玎 ｓ ｔｓ ｂｅ ｒ ｔ ｔｔｓｔｍ ｖ ｔ ｕＴａ ｌ ａ
（） ∑是一 个有穷 字母表 ，它 的每个 元素称 为一 个输 人 １ 字符 。
｛
Ｄ Ａ类主要实现逻辑控制器的功能 ，具体实 现代码如 下 ： Ｆ
ｐ ｂ ｉ ｌｓ Ａ ｕ ｌ ｃａ ｓＤＦ ｃ
控制 、表单处理等应用程序 中有着十分广泛 的应用 。
｛
１ 有 限状态 自动 机
定义 ：一个 确定 的有 限 自动机 Ｍ是 一个 ５元 式 Ｍ＝ （ ， Ｓ
∑ ，ｆ ｏ ） ： ，Ｓ，Ｚ 翻
电脑编程技 巧与维护
有 限状 态 自动机 的 Ｃ ＃实现
孙 琳 ，王瑁 吉 ，苏 华
（． ８ ７ 部 队 ，四川 都江堰 ６ ３ ；２ ９ ６ ６部队 ，成都 ６０ ４ ） １７１９ １ ８ ０ ． ５６ １ １０ １ 摘 要 ： 基 于 Ｖｓａ ｃ ｉ ｌ ＃语 言实现 了有限状 态 自动机 。该 自动机具有 小巧轻便 、简单易用的优点 ，可应 用于程 序复 ｕ
代码如下 ：
ｐ Ｈｃ ｃ ａ ｓｓａ ｕ ｌｅ ｕｂ ｌ ｓ ｔｔ ｓ ｔｍ
） ｐ ｂ ｃｓ ｉ ｇｇ ｔ ｕｒｎＳａｕ ｕ ｆ ｔ ｎ ｅＣ ｒ ｔｔ ｓ０ ｉ ｒ ｅ ｔ
｛
ｒ ｔ ｒ ｃ ｒ ｅ ｔ ｅ ｕ ｎ ｕｒ ｎ ；
｛
｝
ｐ ｂ ｃｓｉｇｃｒ ｎＳａ ｓ ｕ ｈ ｒ ｕｒ ｔｔｔ ； ｔｎ ｅ ｕ ｐ ｂ ｃｓｉｇｔｋｎ ｕ ｈ ｔｎ ｅ ； ｒ ｏ ｐ ｂ ｃｓｉｇｎｗＳａ ｓ ｕ ｆ ｔｎ ｅ ｔｕ ； ｉ ｒ ｔ
有限自动机的原理及示例
计算机组成原理与结构期末论文有限自动机的原理及示例学院：专业：姓名：学号：有限自动机的原理及示例本文将介绍几种重要有限自动机的基本原理，并通过例子说明它们的运行过程。
一． 语言的基本概念一张字母表是一个非空有限集合∑，字母表∑中的每个元素x 称为∑中的一个字母，也称符号、终止符或者字符。
∑中有限个字符1,,n a a 有序地排列起来12n x a a a =就称为∑上的一个字符串，n 称为它的长度。
其中有一个特殊的串ε，它的长度为零。
若1∑和2∑都是字母表，则它们的乘积12∑∑定义为{}12121122,a a a ∑∑=∈∑∈∑：a ，特别地， 0121{}n n ε-∑=∑=∑∑=∑∑∑=∑∑令*01kk k k ∞=∞+=∑=∑∑=∑若*,,x y z ∈∑，且z xy =则称,x y 是z 的子串。
字母表∑上的一种语言是*∑的一个子集L 。
二． 有限状态自动机的原理和运算实例1.基本原理一个有限状态自动机的物理模型通常包括两部分：（1）一个输入存储带，带被分解为多个单元，每个单元存放一个输入符号（字母表上的符号），整个输入串从带的左端点开始存放，而带的右端可以无限扩充。
（2）一个有限状态控制器（FSC ）,该控制器的状态只能是有限个；FSC 通过一个读头和带上单元发生耦合，可以读出当前带上单元的字符。
初始时，读头对应带的最左单元，每读出一个字符，读头向右移动一个单元。
有限状态自动机的一个动作为：读头读出带上当前单元的字符；FSC 根据当前FSC 的状态和读出的字符，改变FSC 的状态；并将读头右移一个单元。
接着给出有限状态自动机的数学模型。
字母表∑上的一个有限状态自动机(FSAM)是一个五元组()0,,,,,FSAM Q q F δ=∑ 其中，i)Q 是一个有限状态的集合；ii)∑是字母表，它是输入带上的字符的集合；iii)0q Q ∈是开始状态；iv)F Q ⊂是接收状态（终止状态）集合；v):Q Q δ⨯∑→是状态转换函数，(,)q x q δ'=表示自动机在状态q 时，扫描字符x 后到达状态q '。
《有限状态自动机》课件
目录
引言有限状态自动机的定义与分类有限状态自动机的工作原理有限状态自动机的实现与应用总结与展望
01
CHAPTER
引言
有限状态自动机定义
有限状态自动机是一种抽象计算模型，用于描述对象的行为和状态变化。它由一组状态、一组输入符号和一个转换函数组成，根据输入符号的刺激，状态会进行转移。
游戏开发
有限状态自动机是人工智能领域中一种重要的工具，可用于构建专家系统、知识表示等。
人工智能
02
CHAPTER
有限状态自动机的定义与分类
03
FSM通常用于描述和分析具有有限数量状态和有限数量输入的系统行为。
01
有限状态自动机（Finite State Machine, FSM）是一种抽象的计算模型，用于描述系统状态和状态之间的转换。
04
CHAPTER
有限状态自动机的实现与应用
文本处理
用于识别和提取文本中的模式，如词性标注、语法分析等。
模式识别
用于识别输入数据的模式，如字符识别、语音识别等。
游戏开发
用于实现游戏中的状态机逻辑，如角色状态管理、游戏流程控制等。
网络安全
用于检测和防御恶意软件、病毒等攻击，通过分析网络流量和行为模式实现。
有限状态过硬件、软件或硬件软件结合的方式实现。在实际应用中，我们通常使用编程语言或专用软件工具来设计和实现有限状态自动机。
有限状态自动机的优化
目前，有限状态自动机的实现方式还存在一些性能和效率方面的问题。未来的研究可以针对这些问题，探索更有效的算法和实现方式，以提高有限状态自动机的性能和效率。
与实际生活的联系
在现实生活中，许多事物都可以被视为有限状态自动机，如电梯、红绿灯、电子游戏等。它们的行为都可以通过有限状态自动机来描述和模拟。
基于有限状态自动机原理的孔中心定位程序
基于有限状态自动机原理的孔中心定位程序
金红;蒋存波;陈小琴
【期刊名称】《计算机工程与应用》
【年(卷),期】2007(043)004
【摘要】孔中心定位是数控电火花成型、电火花线切割等机床的基本功能,操作过程比较复杂,具有有限状态自动机的特征.有限状态自动机是一个描述离散系统的数学模型,通过状态转移图可清楚描述输入与状态的关系,利用有限状态机理论描述其程序结构,比传统的程序结构更直观、更清晰地描述孔中心定位的程序.利用有限状态机原理设计控制程序结构,方便用汇编语言的JMP @A+DPTR指令或C程序语言的switch语句实现,可以使程序简单、清晰,便于调试、维护、扩充.介绍了在电火花加工机床用"多维数控系统"运用有限状态自动机原理进行孔中心定位程序设计的实例.
【总页数】3页(P113-114,189)
【作者】金红;蒋存波;陈小琴
【作者单位】桂林工学院,电子与计算机系,广西,桂林,541004;桂林工学院,电子与计算机系,广西,桂林,541004;桂林工学院,电子与计算机系,广西,桂林,541004
【正文语种】中文
【中图分类】TP311.11
【相关文献】
1.S1105气缸盖定位孔钻扩铰立式组合机床的系统设计与程序控制 [J], 汪建中
2.一种基于感应原理的城市地下管道检查孔定位系统 [J], 穆向阳;汤楠;江秀汉;Richard Ce Liu
3.基于有限状态自动机的复合事件检测的程序实现 [J], 周涛
4.深孔定位打中心孔、切余料夹具 [J], 王磊
5.基于机械悬浮定位的有色金属线材内孔成型原理 [J], 蒋建根
因版权原因，仅展示原文概要，查看原文内容请购买。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
状 态 自动 机 是 一 个描 述 离散 系 统 的数 学模 型 ， 过 状 态转 移 图 可清 楚 描 述 输 入 与 状 态 的 关 系 ， 用有 限状 态机 理 论描 述 其程 序 结 通 利 构 ．比 传 统 的程 序 结 构 更 直观 、更 清晰 地描 速孔 中心 定位 的程 序 。 利 用 有 限状 态机 原 理 设 计控 制 程 序 结 构 。 方 便 用 汇 编语 言 的 Ｊ ＠Ａ Ｄ ， 指令 或 Ｃ程 序 语 言 的 ｓ ｉｈ语 句 实现 ， 以使 程序 简 单 、 晰 。 于调 试 、 ＭＰ ＋ ＰＲ ｒ ｗｔ ｃ 可 清 便 维护 、 充 。 绍 了在 电 火花 加 工 机床 用 扩 介 “ 多维数 控 系统 ” 用 有 限 状 态 自动机 原理 进 行 孔 中心 定位 程 序 设 计 的 实例 。 运 关 键 词 ： 序 设 计 ； 态机 ； 控 程 状 数 文章 编 号 ：０ ２ ８ ３ （０ ７ ０ — １３ ０ 文献 标 识 码 ： 中 圈分 类 号 ：Ｐ １ ．１ １０ — ３ １２ ０ ）４ ０ ０ — ２ Ａ Ｔ ３ １１
Ｃ ｍｐ ｔｒ Ｅ ￣ｕ ｅｍｇ ａ ｄ Ａ ｐｉａ ｏ ｓ２０ ，３ ４ ：１－ １． ｏ ｕ ｎ ｅｒ ｎ ｐ ｌ ｔ ｎ ，０ ７ ４ （ ）１３ １ ４ ｅ ｃｉ
Ａｂ ｔａ ｔ Ｌ ｃ ｔ ｇ ｈ ｃ ｎｅ ｏ ｈ ｌ ｉ ｖ ｒ ｉ ｏｔｎ ｉ ｔｅ ｏ ｕｅ ｎ ｍｅｉａ ｃ ｎｒｌ ｙ ｔｍ ｏ Ｅ ｓｒ ｃ ： ｏ ａｉ ｔｅ ｅ ｔｒ ｆ ｏｅ ｓ ｅｙ ｍｐ ｒａ ｔ ｎ ｈ ｃ ｍｐ ｔｒ ｕ ｒｃ ｌ ｏ ｔ ｓｓｅ ｎ ｏ ｆ ＤＭ．ｈ ｐ ｃｓ ｉ Ｔ ｅ ｒ ｅｓ ｓ ｏ
孔 中心 定 位 是 数 控 电 火花 成 型机 床 、 电火 花 线 切 割 机 床 等 设 备的基本功能 ， 其操 作 过 程 比较 复 杂 ， 因此 利 用 通 常 的 方 法
Ｅ ｍａ ： ＠ｇｉ ． ｕｃ － ｌ ｊ ｌｅｅ ． ｌｈ ｔ ｄ ｎ
Ｊ Ｎ Ｈｏ ｇ Ｊ Ａ － ｎ ，Ｉ ＮＧ Ｉ － ｏ Ｃ Ｎ Ｘ ａ － ｉ Ｐ ｏ ｒ ｍ ｏ ｏ ａｉ ｇ ｃ ｎ ｅ ｆ ｈ ｌ ｂ ｓ ｄ ｏ ｎ ｔ ｕ ｏ ｔ ｎ ｐ ｉｃｐｅ Ｉ Ｃ ｍ ｂ ， ＨＥ ｌｏ ｑｎ．ｒ ｇ ａ ｆ ｒ ｌｃ ｔ ｅ ｔｒ ｏ ｏ ａ ｅ ｎ ｆ ｉ ａ ｔｍａ ｏ ｒ ｉｌ． ｎ ｅ ｉ ｅ ｎ
Ｋｅ ｒ ｓ ｐ ｇ ａ ； ｎｔ ｕ ｏ ｔ ｎ ｎ ｍｅｉ ａ ｏ ｔ ｌ ｙ ｗｏ ｄ ： ｒ ｒ ｍ ｆ ｉ ａ ｔｍａｉ ； ｕ ｒｃ ｌ ｃ ｎ ｒ ｏ ｉ ｅ ｏ ｏ
搞
要 ： 中 心定 位 是 数 控 电 火 花 成 型 、 火花 线切 割 等机 床 的 基 本 功 能 。 作 过程 比 较 复 杂 ， 孔 电 操 具有 有 限状 态 自动 机 的 特征 。 有 限
维普资讯
Ｃ ｍ ｕ ｒＥ ｇｎｅｉ ｎ ｐ ｌ ａｉ ｓ计算机工程与应用 ｏ ｐ ｔ ｎ ｉ ｒ ｇ ａｄＡ ｐｉ ｔ ｎ ｅ ｅ ｎ ｃ ｏ
基于有 限状态 自动机原理的孔 中心定位程序
金 红， 蒋存波， 陈小琴
ＪＮ Ｈｏ ｇ，Ｉ Ｉ ｎ ＪＡＮＧ Ｃ ｎ ｂ ＣＨＥＮ Ｘｉｏ ｑｎ ｕ － ｏ， ａ － ｉ
ｃｄ ｏ Ａ Ｃ ｒ ｄｒｃｌ ａ ｄ ｌａｌ ｅｃ ｂ ｔｅ ｐ ｏ ｅｓ ｆ ｌｃ ｔ ｇ ｈ ｃ ｎｅ ｆ ｈ ｌ ｔａ ｔｅ ｕ ｔｍ，０ ｔｅ ｃ ｎｒｌ ｏｅ ｆＦ ｎ ａ ｍｏ ｅ ｉ ｔ ｎ ｃｅ ｒ ｄ ｓｒ ｅ ｈ ｒｃ ｓ ｏ ｏ ａｉ ｔｅ ｅ ｔｒ ｏ ｏｅ ｈ ｎ ｈ ｃ ｓｏ ８ ｈ ｏ ｔ ｅ ｙ ｙ ｉ ｎ ｏ ｐｏ ａ ｉ ｅ ｉｎ ｄ ｖ ｒ ｓ ｌ ｃｅ ｌ ａｅ ｎ ｉｈ ｉ ｅ ｆ ｄ ｂ ｔｓｉｇ ａ ｄ ａ ｐｙｎ ｔｅ ｐ ｇａ ｒｇ ｍ ｓ ｄ ｓｇ ｅ ｅｙ ｉ ｙ，ｌａ ｙ ｂ ｓ ｄ ｏ ｔ ｓ ｒｉ ｙ ｅｔ ｒ ｍｐ ｒ ． ｖｉ ｅ ｎ ｎ ｐ ｌｉｇ， ｒ ｒｍ ｄ ｓｇ ｅ ｙ ａ ｓｍｂｅ ｒ ｈ ｏ ｅ ｉ ｄ ｂ ｓｅ ｌｒ ｏ ｎ Ｃ ｐ ｇａ ｌｎ ｕ ｇ ｓｖ ｒ ａｙ ｔ ｅ ｕ ｄ ｕ ｄ ｔ． ｒｒ ｍ ａ ｇ ａ ｅ ｉ ｅｙ ｅ ｓ ｏ ｄ ｂ ｇ ａ ｐ ａｅ ｏ ｎ
桂林工学 院 电子与计算机系 ， 广西 桂林 ５ １０ ４０４
Ｄ ｐ ｒｍｅ ｔｏ ｌｃｒｎｃ ＆ Ｃｏ ｕｅ ， ｕｌ ｉｅｓｔ ｆＴ ｃ ｎ ｌｇ Ｇｕｌ ， ｕ ｎ ｘ ４１０ Ｃ ｉａ ｅ ａｔ ｎ ｆＥ ｅｔｏ ｉｓ ｍｐ ｔｒ Ｇ ｉｎ Ｕｎｖ ｒｉ ｏ ｅ ｈ ｏｏ ｙ， ｉ ｎ Ｇ ａ ｇ ｉ５ ０ ４， ｈｎ ｉ ｙ ｉ
ｃｍｐ ｘｔ ａ ｄ ｈ ｓ ｔｅ ｃ ａａ ｔ ｆｔｅ Ｆｎｔ Ａ ｔｍａ ｏ （ Ａ） Ａ ｉ ａ ｍａ ｅ ｔ ｏ ｅ ｆ ｅｃ ｂｎ ｈ ｙ ｔ ｆｄｓ ｅｓ ｏ ｌ ｉ ｎ ａ ｈ ｈ ｒｃ ｒ ｏ ｈ ｉｉ ｕｏ ｔ ｎ Ｆ ． ｓ ｔ ｍａ ｃ ｍ ｄ ｌ ｏ ｄ ｓｒ ｉｇ ｔｅ ｓｓ ｍ ｏ ｉ ｒ ｅ ｙ ｅ ｅ ｉ Ｆ ｈ ｉ ｒ ｉ ｅ ｐ ｅ
ａ ｄ ｔ ａ ｄｒｃｌ ｅｃ ｂ ｈ ｒｌｔ ｎ ｆ ｓａｅ ａ ｄ ｉｐ ｔ ｙ ｔｔ ｄａ ａ Ｔ ｅ ｐ ｌ ａｉｎ ｏ ｔｔ ｄａ ｒｍ ａ ｄ ｏ ｄｔ ｎ ｎ ｉ ｎ ｉ ｔ ｄ ｓｒ ｅ ｔｅ ｅ ａｉ ｏ ｔｔｓｎ ｎ ｕｓ ｓａｅ ｉｇ ｍ＋ｈ ａ ｐ ｉ ｔ ｆ ｓａｅ ｉｇａ ｃ ｅ ｙ ｉ ｏ ｂ ｒ ｃ ｏ ｎ ｃ ｎ ｉｏ ｉ