期刊文献+
共找到92篇文章
< 1 2 5 >
每页显示 20 50 100
形式语言与自动机理论课程教学方法探讨与实践
1
作者 怀丽波 崔荣一 尹哲峰 《计算机教育》 2019年第6期106-108,116,共4页
分析形式语言与自动机理论研讨式教学中侧重个性化教育的思想,提出在课堂教学中借助于思维导图、JFLAP等教学软件的方法,介绍教学实施过程,探讨相匹配的考核方法。
关键词 形式语言与自动机理论 新工科 研讨式教学 思维导图 教学方法
在线阅读 下载PDF
改进形式语言与自动机理论课程教学刍议
2
作者 赵岭忠 王雪松 钱俊彦 《高教论坛》 2008年第3期113-115,共3页
分析了形式语言与自动机理论课程的特点以及该课程在桂林电子科技大学教学的现状,针对存在的问题,从课程内容设置、实验教学和理论教学三个方面提出了改进教学效果的几点建议。其基本思想是通过认识该课程的重要性,提高学生在课程学习... 分析了形式语言与自动机理论课程的特点以及该课程在桂林电子科技大学教学的现状,针对存在的问题,从课程内容设置、实验教学和理论教学三个方面提出了改进教学效果的几点建议。其基本思想是通过认识该课程的重要性,提高学生在课程学习中的积极性;通过把现代交互式教学方法贯彻到教学的各个环节,提高学生学习的趣味性和交互性。 展开更多
关键词 形式语言与自动机理论 动态性 交互性 教学辅助软件
在线阅读 下载PDF
结构化程序设计思想在形式语言与自动机理论中的体现
3
作者 闵帆 《计算机教育》 2008年第4期66-68,共3页
在形式语言与自动机理论课程中,文法与自动机的构造在本质上都与结构化程序设计的思想有着很强的联系。本文从具体例子出发,阐明了这种联系并将其上升到理论的高度。在教学实践中对这种联系的讲述,对学生理解和掌握文法和自动机的构... 在形式语言与自动机理论课程中,文法与自动机的构造在本质上都与结构化程序设计的思想有着很强的联系。本文从具体例子出发,阐明了这种联系并将其上升到理论的高度。在教学实践中对这种联系的讲述,对学生理解和掌握文法和自动机的构造起到了非常积极的作用。 展开更多
关键词 结构化程序设计 形式语言 自动机理论
在线阅读 下载PDF
基于自动机理论的自动循迹搜索目标算法
4
作者 何振宇 《信息技术》 2014年第12期152-154,共3页
自动机是一种抽象的计算模型,它可以根据输入的字符串来实现状态与状态之间的跳转。基于这个特点,可以把自动机理论运用搜索目标问题当中。以贪吃蛇自动寻找食物为例,利用确定型有空自动机理论,把贪吃蛇搜索到网格进行标记并设置成相应... 自动机是一种抽象的计算模型,它可以根据输入的字符串来实现状态与状态之间的跳转。基于这个特点,可以把自动机理论运用搜索目标问题当中。以贪吃蛇自动寻找食物为例,利用确定型有空自动机理论,把贪吃蛇搜索到网格进行标记并设置成相应的状态。以实现贪吃蛇绕开障碍物并且不触碰其蛇身,在游戏景中自动规划出一条最短路径到达目标食物的位置。 展开更多
关键词 贪吃蛇 自动机理论 自动搜索
在线阅读 下载PDF
基于学习自动机理论与稳定性控制的自适应移动无线Ad Hoc网络分簇策略 被引量:9
5
作者 郝圣 张沪寅 宋梦凯 《计算机学报》 EI CSCD 北大核心 2018年第9期2089-2105,共17页
移动无线Ad Hoc网络(MANET)是一种自组织、自配置的多跳无线网络.它不依赖于预先存在的基础通信设施或中心管理方式.分簇策略已被证明是一种能够模仿固定通信设施并提高网络可扩展性的有效途径.它能够将网络划分成若干子网并且被广泛地... 移动无线Ad Hoc网络(MANET)是一种自组织、自配置的多跳无线网络.它不依赖于预先存在的基础通信设施或中心管理方式.分簇策略已被证明是一种能够模仿固定通信设施并提高网络可扩展性的有效途径.它能够将网络划分成若干子网并且被广泛地用于网络管理、资源管理、层次路由设计、服务质量改善与网络安全检测.在移动无线Ad Hoc网络中,频繁的节点移动、不佳的节点分布会减少簇的生存时间、降低通信质量并增加通信开销,而这些问题势必会降低簇的稳定性.此外,如何在动态环境下有效地调整分簇结构也是我们需要重点考虑的问题.一种高效的分簇策略应该是自适应的并且能够根据当前的网络环境与节点状态预测自身的分簇行为变化.针对上述问题,该文提出了基于学习自动机理论与稳定性控制的自适应MANET分簇策略(LASCA).文中首先推导出簇的期望生存时间模型与簇的可靠性通信度量模型.在此基础上,该文设计了簇首的稳定性度量模型进行簇首选择.该模型能够保证所选择的簇首节点构成的簇具有较好的生存时间且节点分布产生较小的通信开销,同时具有较高的通信可靠性,即提高了分簇的稳定性.针对以往工作并未考虑如何在动态分簇重构过程中降低簇首选择开销的情况,该文随后利用学习自动机理论构建了分簇行为认知模型,给出了节点簇首选择行为与概率函数的映射关系,并通过感知网络环境反馈对概率函数进行更新,从而有效地调整动态环境下的分簇结构,减少了不必要的簇首选择计算开销.实验结果表明,该文提出的分簇策略在稳定性指标方面有很好的表现,有效地降低了簇首节点与成员节点的更新次数,并在一定程度上降低了通信开销与簇首选择的计算开销.其中,在最大移动速度为10m/s的Random waypoint移动模型中,WCA、FCA、TVCA的簇首节点累积更新次数与该文提出的算法相比平均增多了39.4%、18.0%、20.4%,WCA、FCA、TVCA的成员节点累积更新次数与该文提出的算法相比平均增多了44.7%、7.2%、36.5%.该文提出的算法为后续设计具有分层结构的路由协议提供了良好的拓扑稳态控制机制,同时为后续构建复杂动态网络的行为认知模型提供了一定的理论启示. 展开更多
关键词 移动无线Ad HOC网络 分簇 学习自动机理论 稳定性度量模型 分簇行为认知模型
在线阅读 下载PDF
经典自动机理论中构件在弹簧作用下运动分析
6
作者 杜中华 《机械工程师》 2015年第10期163-166,共4页
指出了经典自动机理论中构件在弹簧作用下运动方程分压缩和伸张过程分别建立,以及引入弹簧做功效率处理方程均存在很大的不便性,并提出用振动理论中线性阻尼系统来研究自动机构件在弹簧作用下运动的思路,使方程形式更为统一,处理更为简... 指出了经典自动机理论中构件在弹簧作用下运动方程分压缩和伸张过程分别建立,以及引入弹簧做功效率处理方程均存在很大的不便性,并提出用振动理论中线性阻尼系统来研究自动机构件在弹簧作用下运动的思路,使方程形式更为统一,处理更为简单,最后用一个计算实例说明了该方法的可行性。 展开更多
关键词 构件在弹簧作用下运动 线性阻尼系统 经典自动机理论
在线阅读 下载PDF
基于自动机理论的密码匹配方法 被引量:1
7
作者 姜克鑫 赵亚慧 崔荣一 《延边大学学报(自然科学版)》 CAS 2021年第2期141-145,共5页
针对用户安全登录问题,提出了一种基于自动机的密码匹配模型.首先,对于用户任意输入的密码进行同态映射加密;其次,构造出可接受加密密码的自动机———状态数目可变自动机(VNS-DFA),该自动机不仅能够匹配加密密码,同时还可以输出加密密... 针对用户安全登录问题,提出了一种基于自动机的密码匹配模型.首先,对于用户任意输入的密码进行同态映射加密;其次,构造出可接受加密密码的自动机———状态数目可变自动机(VNS-DFA),该自动机不仅能够匹配加密密码,同时还可以输出加密密码的同态原像以及匹配成功的次数;最后,在状态数目可变的自动机上对用户输入的密码进行实验验证表明,用户建立的密码经过同态映射后可全部被该自动机接受,且该自动机的时间复杂度优于传统的DFA以及改进的DFA. 展开更多
关键词 自动机理论 密码匹配 密码加密 同态映射 同态原像
在线阅读 下载PDF
自动机理论在IEC61850中的应用 被引量:8
8
作者 张结 卢德宏 《电网技术》 EI CSCD 北大核心 2004年第18期34-38,共5页
IEC 61850 对于具有严格时序要求的控制类操作采用“状态机”来定义其通讯服务。“状态机”技术的基础是计算机科学的经典理论——“自动机理论”,被广泛应用于网络通讯、语言翻译、行为识别等方面,但被引入到变电站通讯标准却是首次。... IEC 61850 对于具有严格时序要求的控制类操作采用“状态机”来定义其通讯服务。“状态机”技术的基础是计算机科学的经典理论——“自动机理论”,被广泛应用于网络通讯、语言翻译、行为识别等方面,但被引入到变电站通讯标准却是首次。这种技术应用于 IEC61850 也表明,“互操作性”目标需要更加深入的计算机科学理论和技术的支持。作者以 IEC61850“互操作性”为主题,介绍“自动机理论”的基本原理,探讨它在该标准中的应用价值,以挖掘计算机科学理论及技术在 IEC61850 中的应用深度。 展开更多
关键词 自动机理论 计算机科学 状态机 互操作性 网络通讯 时序 IEC61850 变电站
在线阅读 下载PDF
基于意图识别和自动机理论的任务型聊天机器人的设计 被引量:5
9
作者 刘锴 李腾 李赟沣 《信息技术与信息化》 2020年第9期222-226,共5页
任务型聊天机器人TaskBot,是智能客服技术的主要发展方向。但是TaskBot面临诸如多轮对话、信息记忆、复杂场景处理等问题。本文结合意图识别算法和自动机理论,提出一种任务型聊天机器人的设计方法,并就其运行原理、部件功能、技术架构... 任务型聊天机器人TaskBot,是智能客服技术的主要发展方向。但是TaskBot面临诸如多轮对话、信息记忆、复杂场景处理等问题。本文结合意图识别算法和自动机理论,提出一种任务型聊天机器人的设计方法,并就其运行原理、部件功能、技术架构和关键能力等方面进行了论述。让机器人记忆某些关键信息,并使用推理机增强其功能,基于意图识别和自动机理论设计“流程结点跳转算法”进行对话管理,可以在一定程度上满足多轮对话的需求。经过实验分析对比,这种任务型聊天机器人具有拓展性强、功能丰富的特点,具有信息记忆能力、可以多轮对话、同时规则通俗易懂,具有一定的实践和应用价值。 展开更多
关键词 意图识别 自动机理论 推理机 任务型聊天机器人
在线阅读 下载PDF
用自动机理论设计步进电机电源
10
作者 张惠民 《天津职业技术师范大学学报》 1991年第2期8-14,共7页
本文介绍了用自动机理论设计多变量、多状态的离散数字系统的矩阵法;并用其设计步进电机数控制系统。引用压控振荡器作时钟,实现无级调速。用电流检测高、低压电源驱动电路,可以提高步进电机的出力。
关键词 步进电机 自动机理论 电流检测 压控振荡器 数字系统 多变量 时钟信号 无级调速 矩阵法 有限自动机
在线阅读 下载PDF
基于完备剩余格值逻辑的自动机理论——Ⅱ.可逆性及同态 被引量:10
11
作者 邱道文 《中国科学(E辑)》 CSCD 北大核心 2003年第4期340-349,共10页
揭示了基于完备剩余格值逻辑的自动机(称l值自动机)与真值格(剩余格)之间的一些等价关系。特别是建立了l值自动机的可恢复性(retrievability)的各种等价刻画。最后澄清了l自动机之间的同态关系与连续映射和开映射之间的相互联系。因此,... 揭示了基于完备剩余格值逻辑的自动机(称l值自动机)与真值格(剩余格)之间的一些等价关系。特别是建立了l值自动机的可恢复性(retrievability)的各种等价刻画。最后澄清了l自动机之间的同态关系与连续映射和开映射之间的相互联系。因此,进一步建立了更为深刻的模糊自动机理论。 展开更多
关键词 自动机理论 完备剩余格值逻辑 可逆性 同态 可恢复性 连续映射 开映射 模糊自动机理论
原文传递
基于完备剩余格值逻辑的自动机理论——Ⅰ.拓扑刻画 被引量:18
12
作者 邱道文 《中国科学(E辑)》 CSCD 北大核心 2003年第2期137-146,共10页
建立了基于完备剩余格值逻辑的自动机理论的基本框架.首先延拓状态转移关系,特别是得到了模糊(l值)自动机对剩余格的一个刻画;然后讨论了模糊(l值)子机, successor和source算子的基本性质及它们相互的等价关系,并由此推出这两类算子是模... 建立了基于完备剩余格值逻辑的自动机理论的基本框架.首先延拓状态转移关系,特别是得到了模糊(l值)自动机对剩余格的一个刻画;然后讨论了模糊(l值)子机, successor和source算子的基本性质及它们相互的等价关系,并由此推出这两类算子是模糊(l值)闭包算子;最后给出了模糊自动机的L双模糊拓扑刻画,从而建立了较为宽泛的模糊自动机理论。 展开更多
关键词 完备剩余格值逻辑 自动机理论 非经典逻辑 模糊自动机 L双模糊拓扑 Source算子 Successor算子
原文传递
自动机理论及现代应用
13
作者 J.A.安得逊(著) 朱尧辰 《国外科技新书评介》 2007年第2期13-13,共1页
本书是自动机理论的引论。本书以研究生为主要对象,并兼顾数学、计算机科学及生物学等领域的科研人员的需要。
关键词 自动机理论 应用 计算机科学 科研人员 研究生 生物学
原文传递
基于混合自动机的Post-WIMP界面的建模(英文) 被引量:8
14
作者 栗阳 关志伟 戴国忠 《软件学报》 EI CSCD 北大核心 2001年第5期633-644,共12页
Post- WIMP界面作为继当前的主流界面范式—— WIMP界面后的下一代界面范式 ,它和 WIMP界面有着很大的不同 ,通过使用虚拟现实、语音交互、手势交互等技术 ,它能够提供更加自然高效的交互方式 .然而 ,它却难以构造 .为了有效地构造 Post... Post- WIMP界面作为继当前的主流界面范式—— WIMP界面后的下一代界面范式 ,它和 WIMP界面有着很大的不同 ,通过使用虚拟现实、语音交互、手势交互等技术 ,它能够提供更加自然高效的交互方式 .然而 ,它却难以构造 .为了有效地构造 Post- WIMP界面 ,在构造之前不考虑实现细节 ,而在一个抽象的层次上描述它是一个较好的方法 .首先 ,分析了 Post- WIMP界面的交互本质 ,交互混合性是 Post- WIMP界面一个最为重要的特点 .从形式化系统的角度分析 Post- WIMP界面 ,通过将 Post- WIMP界面抽象为混合系统能够更为准确和严格地分析Post- WIMP界面的特性 .混合自动机是用于描述混合系统的形式化工具 ,将 Post- WIMP界面建模为一组相互协作的混合自动机 .设计了一基于混合自动机理论的半形式化语言 L EAFF作为 Post- WIMP界面的描述工具 .LEAFF通过结合文本描述和图形描述描述 Post- WIMP界面中的交互行为 ,能够准确地反映交互中的控制关系、时序关系 .给出了对两个典型 Post- WIMP界面——虚拟现实交互和笔式交互的描述实例 ,同时讨论了 Post- WIMP界面中交互并行性的描述、交互实时性的验证和从描述到实际交互系统构造的转换 . 展开更多
关键词 人机交互 Post-WIMP界面 混合自动机 自动机理论
在线阅读 下载PDF
一种自治操作条件反射自动机 被引量:2
15
作者 阮晓钢 戴丽珍 +1 位作者 于乃功 于建均 《控制理论与应用》 EI CAS CSCD 北大核心 2012年第11期1452-1457,共6页
针对仿生自主学习控制问题,根据自动机的原理,以操作条件反射学习机制为基础,运用仿生的自组织学习方法,提出一种自治操作条件反射自动机(autonomous operant conditioning automata,AOCA)模型,主要包括:操作集合、状态集合、"条件... 针对仿生自主学习控制问题,根据自动机的原理,以操作条件反射学习机制为基础,运用仿生的自组织学习方法,提出一种自治操作条件反射自动机(autonomous operant conditioning automata,AOCA)模型,主要包括:操作集合、状态集合、"条件-操作"规则集合、可观测的状态转移以及操作条件反射学习律;定义了基于AOCA状态取向值的操作熵;给出了AOCA操作熵收敛性证明;分析了AOCA自组织特性;规定了AOCA的递归运行程序.同时,将其应用于斯金纳动物实验的模拟,动物分阶段学习,并且成功习得技能,实验结果表明AOCA实现了模拟操作条件反射学习机制. 展开更多
关键词 自动机理论 自治 操作条件反射 仿生学 自主学习
在线阅读 下载PDF
格值自动机与语言 被引量:39
16
作者 李永明 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2003年第4期1-6,共6页
引入了格值自动机及其语言的概念,给出了格值自动机的状态转移函数可扩充的充分必要条件,证明了确定型格值自动机与格值自动机等价的充分必要条件,研究了格值自动机的语言关于正则运算的封闭性及其条件.所得结论表明了格值自动机及其语... 引入了格值自动机及其语言的概念,给出了格值自动机的状态转移函数可扩充的充分必要条件,证明了确定型格值自动机与格值自动机等价的充分必要条件,研究了格值自动机的语言关于正则运算的封闭性及其条件.所得结论表明了格值自动机及其语言的特性与取值格代数性质的紧密联系. 展开更多
关键词 格值自动机 格半群 格值语言 正则运算 自动机理论 模糊集
在线阅读 下载PDF
蜜罐系统模型的有限自动机 被引量:2
17
作者 马新新 陈伟 秦志光 《计算机科学》 CSCD 北大核心 2005年第11期75-77,共3页
蜜罐系统作为一种主动响应的安全技术,利用诱骗技术吸引入侵,对网络数据进行捕捉和控制,及时获取攻击信息并记录入侵过程,研究攻击手段和过程。对该技术的研究已成为目前信息安全领域的研究热点。本文通过确定性有限自动机理论对蜜罐系... 蜜罐系统作为一种主动响应的安全技术,利用诱骗技术吸引入侵,对网络数据进行捕捉和控制,及时获取攻击信息并记录入侵过程,研究攻击手段和过程。对该技术的研究已成为目前信息安全领域的研究热点。本文通过确定性有限自动机理论对蜜罐系统模型进行描述,根据确定性有限自动机状态转换图模拟捕捉攻击行为的全过程,为密罐系统的设计和部署提供有力的理论依据和论证。 展开更多
关键词 蜜罐系统 蜜罐 网络攻击诱骗 自动机 有限自动机 系统模型 安全技术 攻击手段 信息安全 自动机理论
在线阅读 下载PDF
时间自动机与信号自动机的互模拟算法 被引量:1
18
作者 朱维军 刘保罗 周清雷 《华南理工大学学报(自然科学版)》 EI CAS CSCD 北大核心 2008年第5期38-42,共5页
信号自动机为一类实时系统建立了比时间自动机更适合的模型.文中针对信号自动机因无验证算法可用而不能用于实际的实时系统模型验证的问题,把信号自动机验证归约到时间自动机验证,证明了两种自动机具有相同的识别语言能力,并具有双向模... 信号自动机为一类实时系统建立了比时间自动机更适合的模型.文中针对信号自动机因无验证算法可用而不能用于实际的实时系统模型验证的问题,把信号自动机验证归约到时间自动机验证,证明了两种自动机具有相同的识别语言能力,并具有双向模拟关系.在此基础上提出了线性的互模拟算法,把互模拟算法和已有的时间自动机验证算法结合起来,得到了信号自动机的验证算法,从而解决了对信号自动机模型的验证问题. 展开更多
关键词 时间自动机 信号自动机 离散步长 互模拟 模型验证 自动机理论
在线阅读 下载PDF
平面交叉口细胞自动机交通流模型的研究 被引量:2
19
作者 张全 靳文舟 张杰 《交通与计算机》 2004年第3期7-11,共5页
文章以细胞自动机 (cellularautomata,CA)理论为基础 ,结合我国城市道路情况及交通流特性 ,把车辆在双车道直线行驶开始到通过平面十字独立信号控制交叉口的整个过程用细胞自动机语言进行了描述 ,完整地建立起一套新颖的细胞自动机交通... 文章以细胞自动机 (cellularautomata,CA)理论为基础 ,结合我国城市道路情况及交通流特性 ,把车辆在双车道直线行驶开始到通过平面十字独立信号控制交叉口的整个过程用细胞自动机语言进行了描述 ,完整地建立起一套新颖的细胞自动机交通流模型。该模型符合实际 ,可灵活转变为各类城市交叉口模型。 展开更多
关键词 平面交叉口 细胞自动机理论 交通流模型 城市道路
在线阅读 下载PDF
约束有界模理论非集式Web服务自动机检测
20
作者 郑健江 陈长清 《控制工程》 CSCD 北大核心 2016年第8期1261-1266,共6页
在Web服务检测模型实际使用过程中,普通的状态机有界状态组合形式不能确保Web服务组合的准确和有效性,对此提出非集式可满足自动机模理论(SMT),并将其应用到Web模型服务检测过程中。首先,基于SMT算法实现时序有界自动机检测模型,将时序... 在Web服务检测模型实际使用过程中,普通的状态机有界状态组合形式不能确保Web服务组合的准确和有效性,对此提出非集式可满足自动机模理论(SMT),并将其应用到Web模型服务检测过程中。首先,基于SMT算法实现时序有界自动机检测模型,将时序有界自动机转变为可识别SMT公式逻辑,并对其模型参数进行求解;其次,基于时序SMT自动机模型,对单位职工出差进行组合安排,并结合Web服务模型进行检测和算法验证;最后,通过实验对比,表明约束有界模理论非集式Web服务自动机检测算法,能够有效对路径死锁进行解耦,并且可有效实现网络指标参数优化。 展开更多
关键词 自动机理论 WEB服务 有界状态 自动检测
在线阅读 下载PDF
上一页 1 2 5 下一页 到第
使用帮助 返回顶部