1) hierarchical automata
层次自动机
1.
After describing the UML model using formal method,we first used hierarchical automata to express statecharts d.
首先对UML模型进行形式化描述,使用层次自动机来描述状态图,然后根据层次自动机的操作语义将状态图和类图的部分信息转化为SPIN的输入语言PROMELA,使用SPIN来验证模型是否满足给定的线性时序逻辑所描述的系统约束,通过LTL公式描述顺序图的方式来验证与状态图之间的一致性问题。
2) hierarchical timed automata
层次时间自动机
3) Two Dimensional Hierarchical Automata
二维层次自动机
1.
Initially, the Two Dimensional Hierarchical Automata (2DHA) responsib
首先建立控制分枝结构生长的二维层次自动机模型。
4) hierarchyofmotivation
动机层次
1.
The forming of these characters needs us to strengthen the humanistic cultivation,and toimprove the ideological level and hierarchyofmotivation.
热爱勘探、充满激情,勇敢、坚定、顽强,独立思考、谦虚谨慎、作风严谨和善于合作,是形成创造力的重要品格,这需要通过加强人文修养,提升思想境界,提高动机层次来实现。
5) a hierarchical structure of learning automata
学习自动机层次结构
1.
Furthermore, the optimization algorithm based on a hierarchical structure of learning automata is used to identify the membership functions in the antecedent part and the.
基于模糊推理系统在紧支集中能够逼近任意非线性连续函数的特性 ,提出了一种基于Takagi sugeno模糊规则基的非线性组合建模与预测新方法 ,以克服线性组合预测方法在解决非平衡时间序列组合建模问题所遇到的困难和存在的不足 ,并给出了相应的基于学习自动机层次结构的优化算法确定模糊系统的参数和模糊子集的划分 ,理论分析和大量的经济预测实例表明 :该方法具有很强的学习与泛化能力 ,在处理诸如经济时间序列这种具有一定程度不确定性的非线性系统组合建模与预测方法有很好的应用 。
补充资料：ω-有限自动机
ω-有限自动机
ω-finite state automata
1094·。一youx一anz}dongJ-。.有限自动机(。一rinite state automata)一种在无限串上运行的有限状态自动机，是一种。一语言的识别模型。主要研究。一的各种识别方式以及在通常的五种识别条件下，识别的。一语言族之间的关系。特别，通过其中一种条件(即所谓CS)下识别的。一语言定义了QJ一正则语言，这是一种使。一自动机识别能力最强的识别方式。。一自动机理论的核心课题之一，是对。一正则语言的研究，包括对。一正则语言的描述及其性质的研究。 。一自动机最早在文献中出现的是J.R.Buchi(1960)利用工作在无限序列上的有限自动机获得关于受限二阶逻辑理论的一个判定过程。自此以后一些研究。一自动机的各种形式体系的论文陆续出现，其中J.R.Buchi，(1965，1969)，C.C.Elgot和M.0.Rabin(1966，1%9)等人的论文均受到这些模型与二阶逻辑理论之间的密切关心的启发，因此重点放在判定问题。D.E.Muller(1963)利用确定的。一有限自动机研究异步开关理论中的某些问题。R.MeNatlgllton(1966)首先发展了被。一有限自动机识别的。一语言的理论，即所谓的。一正则语言的理论。 。一有限自动机研究的内容包括。一有限自动机的定义，五种识别条件，。一正则语言的概念，对断正则语言的描述以及与五种识别模型相应的五个。-语言族之间的关系。 。.申与。一语言设乏是有限字母表，由乞中的字母组成的无限序列，称为艺上的沙串。用2表示艺上的所有。一串的集合。2的任意子集称为乏上的。一语言。 沙有限自动机一个五元组M=(K，乞，占，q0，F)，其中K为状态有限集，艺为输人字母表，占:Kx艺~ZK，q。(任K)为初始状态，F(里ZK)为指定状态集族。如果占:Kx艺~K，则M是确定的。一有限自动机。 设。=ala2’’·a，…，a，任乏，i=1，2，一。状态序列二={Q‘}，称为M在。上的一个运行，当且仅当q，任创q、一，，a*)，i=1，2，…。一个运行确定一个映射fr:N~K，井(i)=g，一l，i=1，2，…。令I(r)={，〔兀Icard(f厂1(。)))。}，o(二)=}、〔K If厂‘(g)半必}。 。一有限自动机的识别条件包括Cl，CZ，C3，C4与CS五个条件。。一有限自动机M在C，条件下识别。一串。，当且仅当存在M在。上的一个运行r，使满足C，i=1，2，3，4，5。其中 Cl:存在H任F，使I(二)nH共曰 CZ:存在H任F，使I(:)二H c3:存在H任F，使O(r)nH护曰 C4:存在H任F，使O(:)里H CS:存在H任F，使I(:)=H 设M=(K，乞，a，qo，F)是一。一有限自动机，称集合 界(M)=}。任2}存在M在。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条