共查询到14条相似文献，搜索用时 125 毫秒
1.
广义模糊自动机及其在求最小树中的应用 总被引：3，自引：2，他引：1
提出了取值于非负实数集R^＋的广义模糊自动机的概念,研究了它的一些简单性质,并将此类自动机运用到网络模型的求解最小树问题中,得到了一个求最小树的算法．最后通过一个实例验证了算法的应用． 相似文献
2.
提出了一种基于整数加群的模糊自动机的数学模型,研究了它的一些基本性质,并将对策论中多人博弈模型转化为模糊自动机模型,给出了一种求最优解的算法,最后用田忌和齐王赛马的例子验证了此算法． 相似文献
3.
彭家寅 《内江师范学院学报》2003,18(2):12-15
本首先讨论了确定的最大乘积型Fuzzy自动机与非确定的最大乘积型Fuzzy自动机之关系；其次，对它所生成的语言的一些常用而重要的性质进行了研究，证明了其语言对并、链接、闭包、逆及置换具有封闭性。 相似文献
4.
提出了格值有限自动的概念,详细地研究了它的性质和它的同态性,揭示了此类自动机和取值格为格半群的代数性质的紧密联系,得到了许多重要结果. 相似文献
5.
引入了最子自动机QA=(H，s^0,∑,U)的Successor算子和Source算子的概念，讨论了它们的基本性质及关系．此外，引入并发展了复Hilbert空间H的强连通子空间、连通子空间、分离子空间及准素子空间的概念，并利用Successor算子研究这些空间的结构性质． 相似文献
6.
提出了用XML知识文档描述知识点和个人学习计划,证明了XML知识文档的性质。提出了学习情节生成自动机,它能结合每个学习者的自主选择,能生成不同的学习情节,实现学习的个别化。指出了学习情节生成自动机是依赖学习者个性的自动机;最后列举了研制的外科神经手术模拟导航系统中的XML知识文档的Schema和一个简单的文档实例,并展示了部分学习场景和学习情节。 相似文献
7.
提出了取值于非负实数R~ 的模糊自动机的概念,研究了它的一些简单性质,并将此类自动机应用到动态规划的求解最短路线问题中,得到了一个求最短路线的算法.最后通过一个例子验证了给出的算法. 相似文献
8.
郑兆岳 《淮南师范学院学报》2012,14(3):8-11
给出经典双向有穷自动机的即时描述,接受（识别）的语言及双向有穷自动机和有穷自动机是等价的,证明它接受的语言是正则语言。由此,把它推广到模糊上去,相应地给出了双向模糊有穷自动机的定义,即时描述及其接受的语言,进一步证明非确定性双向模糊有穷自动机与确定双向模糊有穷自动机接受的语言是等价的。 相似文献
9.
自动机是在由UML状态图的概念上发展起来的，它的作用是提供和管理一个已知的业务流程中满足某些条件的复杂的逻辑结构，自动机的模型采用商业系统中的取款操作实例进行分析说明。对于自动机的实现体现了XML和JAVA技术的完善结合，两的结合使WSBCC系统的自动机具有对提高系统的易维护性和提高代码的重用性等功能的特点。 相似文献
10.
利用模式匹配自动机匹配文本串,可简化模式串匹配算法,以实现模式串匹配算法的标准化。文章描述了LRPA、RLPA和RLSA等三种模式匹配的自动机．给出了RLPA自动机的设计过程和实现算法,并讨论了RLPA自动机匹配算法的空间复杂性和时间复杂性。 相似文献
11.
彭家寅 《内江师范学院学报》2011,26(12):1-5
引入了模糊袋自动机和模糊袋语言的概念,给出了模糊袋自动机的状态转换图,讨论了模糊袋语言重复序列在状态转换图的结构特征,给出了Chomsky文法模糊语言与模糊袋语言的关系．指出了模糊正规语言类、模糊袋语言类、模糊上下文有关语言类之间的包含关系,及模糊袋语言类与模糊上下文无关语言类交叉关系． 相似文献
12.
为了提高组合web服务的设计和实现质量,使用形式化方法对其进行建模并对其关键性质进行验证.使用web服务接口控制流自动机（WCFA）对web服务进行建模,主要描述其控制流及与其他web服务的交互关系.组合web服务由一组交互的WCFA组成.使用嵌套字自动机（NWA）对组合web服务的整体行为进行建模.将一组WCFA转换为嵌套字自动机（NWA）的算法是深度优先搜索算法的变种,算法中使用路径相关的可达性分析计算NWA的每个节点的状态公式和调用栈.安全性相关性质、调用栈相关性质及服务调用的前置和后置条件都可以用断言来描述,然后使用一个自动的可满足性（SAT）求解工具对这些断言进行验证. 相似文献
13.
本文主要利用矩阵模型对两个有限自动机的限制直积进行讨论,在此基础上对限制直积的状态映射矩阵和输出映射矩阵进行了研究,并给出了它们的一些性质. 相似文献
14.
张诗静 《内江师范学院学报》2009,24(4):32-34
首先介绍了一种基于词计算的一类新的Fuzzy有限自动机,这种自动机的特点是输入和输出分别由输入和输出字母表中的Fuzzy子集串替代;其次给出了该种自动机的不同状态下的等价关系,并通过数学归纳法进行了证明,使得词计算在Fuzzy自动机中的应用能够得到了进一步的推广． 相似文献