(191)基于GIS的道路查询系统的研究与实现_原创论文 关键词: 地理信息系统，道路查询，公交换乘，有穷状态自动机 [gap=1177]Key words： GIS , Road Search, Bus Route, DFA
基于8个网页-相关网页
Part_2_正则语言及有穷状态自动机 - docin.com豆丁网 确定 的有穷状态自动机 1、NFA的形式定义 2、NFA与DFA等价 43 NFA 定义3-7 不确定的有穷状态自动机(Non-deterministic Finite Automaton, NFA)M是一个五元组 ...
基于2个网页-相关网页
...状态自动机 1、NFA的形式定义 2、NFA与DFA等价 43 NFA 定义3-7 不确定的有穷状态自动机(Non-deterministic Finite Automaton, NFA)M是一个五元组 M=(Q，，，q 0 ，F) Q、 、q 0 、F的意义同DFA。
基于2个网页-相关网页
确定的有穷状态自动机 Deterministic Finite Automaton
This dissertation does a lot of research on the ray in the shallow water and uses the finite automaton (FA) to establish the acoustic model. The ray tracing is following the Snell’s law.
本文在研究浅海声线传播的基础上应用有穷状态自动机理论对浅海声场进行建模,声线传播严格遵循Snell定律。
参考来源 - 浅海水声定位技术及应用研究·2,447,543篇论文数据，部分数据来源于NoteExpress
模型检测是基于对有穷状态自动机进行穷尽搜索的一种形式化验证方法。
Model checking is a formal verification by exhaustive search to finite state automata.
用有穷状态自动机对浅海的声线追踪建模，给出了浅海声线追踪内在的状态及状态转移分析。
A finite automaton (FA) was used to build up the shallow water ray tracing model, and the model state, transition, event and action were analyzed.
用时间自动机验证一个有穷状态实时系统的正确性，可归结为判定两个时间正则语言的包含问题，亦可归结为判定两个时间正则语言的交是否为空的问题。
To verify the correctness of the finite state real time system by timed automaton can come down to the inclusion of two timed regular languages.
应用推荐