自动机论文_王婷,苏琪,陈铁明

导读:本文包含了自动机论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:自动机,神经网络,混沌,网络,迫击炮,图谱,广义。

自动机论文文献综述

王婷,苏琪,陈铁明^[1]（2019）在《结合关注事件的时间自动机语言包含模型检测》一文中研究指出时间自动机是实时系统形式化建模和验证的主要手段,能够对系统各个组件能否正确交互及通信进行验证.系统模型和待验证属性都用时间自动机表示,时间自动机语言包含模型检测方法能够验证系统模型是否满足带有时间要求的属性.目前相关工作中没有完善的能够应用于实际的语言包含检测方法,因为该方法要求系统模型和验证属性具有相同的事件集合,但在实际问题中,系统模型往往包含大量事件,而属性模型一般只关注少数的事件.因此,本文改进了已有的时间自动机语言包含算法,使其在运行时只需考虑关注事件,并总结了时间自动机描述的常用属性模式,以帮助用户更好地建模.此外,本文将该方法用于一个水位控制系统的建模和验证,得出了有效结论.(本文来源于《小型微型计算机系统》期刊2019年12期）

王超^[2]（2019）在《一种基于有限自动机的程序分析技术研究》一文中研究指出程序分析在软件测试和软件维护方面均有着重要作用。为实现软件程序的自动分析,基于有限自动机理论,提出一种实现软件静态信息识别的程序分析技术,根据程序设计语言的语法规则对程序语句进行了分类,针对每类语句设计了对应的识别自动机,在此基础上设计并实现了一个程序分析原型系统。系统应用结果表明,利用这一技术可以有效的提取出程序的控制流和数据流信息,能够为软件质量的定量分析和软件维护工作奠定良好基础。(本文来源于《计算机时代》期刊2019年12期）

费荣高,赵刚,叶传龙,韩汝洋,易航^[3]（2019）在《基于元胞自动机的30CrMo钢动态再结晶组织演变规律研究》一文中研究指出根据30CrMo钢的热模拟实验数据,建立了基于动态再结晶物理机制的位错密度、形核率及晶粒长大模型,并采用元胞自动机(CA)方法模拟了30CrMo钢在不同温度及应变速率下的微观组织演变规律。结果显示,通过CA方法模拟得到30CrMo钢的流变应力曲线及平均晶粒尺寸均与实验值吻合较好,所建模型的有效性和准确性得到验证。当应变速率一定时,变形温度越高越利于动态再结晶的充分进行,稳态下晶粒尺寸相对较大;而当变形温度一定时,高应变速率条件下材料的形核率较大,再结晶晶粒较细小。(本文来源于《武汉科技大学学报》期刊2019年06期）

周济民^[4]（2019）在《基于神经网络改进的元胞自动机分析——美国阿片类药物滥用情况》一文中研究指出美国正在经历关于使用合成和非合成阿片类药物医疗争议。根据这一情况,论文重点介绍了俄亥俄州(OH)、弗吉尼亚州(VA)、肯塔基州(KY)、宾夕法尼亚州(PA)、西佛吉尼亚州(WV)五个州的阿片类药物的使用分布情况,并预测其分布的发展情况。论文首先根据2010年至2017年美国五个州及其县的药物使用演变数据,对数据绘制的图形和数据本身的特征进行筛选和整理,构建基于LVQ神经网络得到CA模型。药物鉴定的阈值水平为3590(误差范围为3557-3622)。根据预测,药物滥用将发生在2020年的COYAHOGA和俄亥俄州的HAMILTON。其次利用BP神经网络改进了LVQ神经网络的元胞自动机模型。改进模型与实际数据之间的拟合度为86%,利用SPSS分析美国人口普查局提供的2010-2017年人口普查数据。(本文来源于《信息系统工程》期刊2019年11期）

王力,王方雄,陈晨^[5]（2019）在《基于CiteSpace的地理元胞自动机研究可视化分析》一文中研究指出以中国知网(CNKI)1999—2016年851篇学术论文为数据源,采用定量与定性相结合的可视化文献计量分析法进行分析;利用CiteSpace软件定量分析并绘制了科学知识图谱,系统地分析梳理和挖掘总结了国内地理元胞自动机(GeoCA)的研究现状与发展动态。(本文来源于《地理空间信息》期刊2019年11期）

梁晏慧,李国东^[6]（2019）在《基于分数阶超混沌的混沌细胞自动机图像加密算法》一文中研究指出为了保证信息传输过程中图像的安全性和可靠性,普通的置乱-扩散加密算法已不能够满足现有的安全与效率问题。文中将明文转化为哈希值作为混沌的初始值,使用分数阶Chen超混沌产生4个混沌序列。首先运用了叁维Arnold映射进行双向变参置乱,再设计了超混沌S盒进行代换,最后用混沌细胞自动机循环扩散,从而达到了置乱、代换、扩散(DSD)相结合的一整套加密流程。该算法的密钥空间大、密钥敏感性高、安全性高、抗差分攻击能力强、密文统计直方图均匀、密文相邻像素相关性低,信息熵接近理想值。该算法不需要多轮迭代就可达到很高的安全级别,加密安全性与加密效率得到了显着提高。(本文来源于《计算机科学》期刊2019年S2期）

陈雪萍,何勇,肖芬芳^[7]（2019）在《一类同步自动机及损耗函数分析》一文中研究指出文中给定整数n>1,对任意整数定义了自动机C_(n,i),确定了自动机的簇{C_(n,i)|0≤i<n}中的同步自动机及它们的最短同步字。此外,根据自动机的转移损耗函数和字的权重平均损耗函数,分析了该类同步自动机在一些经典应用中的优势。(本文来源于《计算机科学》期刊2019年S2期）

周剑敏,胡海刚,钱云霞^[8]（2019）在《WSN中利用广义学习自动机和休眠机制的部分覆盖方法》一文中研究指出为了解决无线传感器网络(WSN)部分覆盖中的能耗问题,提出一种基于广义学习自动机(GLA)和休眠机制的部分覆盖方法。首先,将WSN网络构建成一个连通图模型。然后,通过GLA算法从中选择一定数量的节点构成主干网络。最后,检查主干网络是否满足部分覆盖要求,并根据各节点的覆盖性能来选择合适的休眠节点进行激活,从而以最少数量的节点来满足覆盖要求,并保持节点之间的连通性。仿真结果表明:该方法能选择传感器节点来满足覆盖条件,减少了工作节点数量,提升了WSN的寿命。(本文来源于《重庆理工大学学报(自然科学)》期刊2019年11期）

苗余超^[9]（2019）在《基于元胞自动机的网络话题传播研究》一文中研究指出如今人们获取信息数据越来越依赖于互联网,针对网络话题传播热度问题,建立基于用户情感的网络话题热度预测模型。首先将经典的传染病模型改进为网络话题传播模型,考虑到此类模型会存在求解微分方程困难等方面的缺点,采用了基于Von Neumann型邻居规则的元胞自动机进行仿真预测,然后选取典型网络话题传播事件来对其话题热度进行仿真预测,得到的话题热度走势图与实际走势图相近,仿真预测结果较好。(本文来源于《科学技术创新》期刊2019年32期）

胡涛,王瑞林,张军挪,卢海鹏,宋明^[10]（2019）在《某型车载速射迫击炮自动机典型故障仿真》一文中研究指出为分析某型车载速射迫击炮自动机的典型故障,利用SOLIDWORKS建立该自动机的叁维模型,利用ANSYS生成弹壳的柔性模态中性文件,导入ADAMS中建立其刚柔耦合动力学模型,通过动力学分析获得连发射击条件下的仿真结果,与试验结果进行比较,证明了所建虚拟样机的可信性,利用ABAQUS分析了炮闩在不同温度下的热应变,进而联合ADAMS进行了该自动机的典型故障仿真研究。仿真结果表明,炮闩温度低于160℃时,该自动机动作受温度变化影响较小,尚可击发,当炮闩温度高于160℃时,自动机动作受到较大影响,温度达到200℃时甚至无法正常击发,仿真结果为后续自动机的结构优化提供了有力支撑。(本文来源于《火力与指挥控制》期刊2019年11期）

自动机论文开题报告

（1）论文研究背景及目的

此处内容要求：

首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。

写法范例：

程序分析在软件测试和软件维护方面均有着重要作用。为实现软件程序的自动分析,基于有限自动机理论,提出一种实现软件静态信息识别的程序分析技术,根据程序设计语言的语法规则对程序语句进行了分类,针对每类语句设计了对应的识别自动机,在此基础上设计并实现了一个程序分析原型系统。系统应用结果表明,利用这一技术可以有效的提取出程序的控制流和数据流信息,能够为软件质量的定量分析和软件维护工作奠定良好基础。

（2）本文研究方法

调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。

观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。

实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。

文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。

实证研究法：依据现有的科学理论和实践的需要提出设计。

定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。

定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。

跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。

功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。

模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。

自动机论文参考文献

[1].王婷,苏琪,陈铁明.结合关注事件的时间自动机语言包含模型检测[J].小型微型计算机系统.2019

[2].王超.一种基于有限自动机的程序分析技术研究[J].计算机时代.2019

[3].费荣高,赵刚,叶传龙,韩汝洋,易航.基于元胞自动机的30CrMo钢动态再结晶组织演变规律研究[J].武汉科技大学学报.2019

[4].周济民.基于神经网络改进的元胞自动机分析——美国阿片类药物滥用情况[J].信息系统工程.2019

[5].王力,王方雄,陈晨.基于CiteSpace的地理元胞自动机研究可视化分析[J].地理空间信息.2019

[6].梁晏慧,李国东.基于分数阶超混沌的混沌细胞自动机图像加密算法[J].计算机科学.2019

[7].陈雪萍,何勇,肖芬芳.一类同步自动机及损耗函数分析[J].计算机科学.2019

[8].周剑敏,胡海刚,钱云霞.WSN中利用广义学习自动机和休眠机制的部分覆盖方法[J].重庆理工大学学报(自然科学).2019

[9].苗余超.基于元胞自动机的网络话题传播研究[J].科学技术创新.2019

[10].胡涛,王瑞林,张军挪,卢海鹏,宋明.某型车载速射迫击炮自动机典型故障仿真[J].火力与指挥控制.2019

论文知识图

标签：自动机论文;  神经网络论文;  混沌论文;  网络论文;  迫击炮论文;  图谱论文;  广义论文;