小红花·文摘
  • 首页
  • 广场
  • 排行榜🏆
  • 直播
  • FAQ
Dify.AI

机器之心数据服务现已上线,提供高效稳定的数据获取,简化数据爬取流程。

神经细胞自动机实现目标导向的形态生成,AI在「生命游戏」里玩出反向规则

机器之心
机器之心 · 2025-09-14T02:14:00Z

正则表达式是计算机科学的重要理论,自70年代末成为Unix的关键特性,广泛应用于程序设计。本文介绍了其理论、实现及使用方法。

正则表达式理论:从形式语言到自动机实现

土法炼钢兴趣小组的博客
土法炼钢兴趣小组的博客 · 2025-07-15T00:00:00Z

本文探讨了将分级模态μ演算的μ片段转化为分布式消息传递自动机的方法,填补了研究空白。研究表明,递归图神经网络在逻辑单依赖第二阶逻辑MSO下具有相同的表达能力,为图神经网络与逻辑表达能力的关系提供了新视角。

包含模态μ片段的一类分布式自动机

BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 · 2025-05-12T00:00:00Z
从《生命游戏》细胞自动机的五十年中,我们能学到关于工程与创新的什么?

《生命游戏》细胞自动机的五十年揭示了工程与创新的规律,强调创新是跨领域知识整合的结果。通过研究生命游戏,我们观察到创新模式、目标设定和逐步进展,展示了人类努力与自动化探索的互动,体现了计算系统的丰富性及在复杂性中寻找可控工程路径的能力。

从《生命游戏》细胞自动机的五十年中,我们能学到关于工程与创新的什么?

Stephen Wolfram Writings
Stephen Wolfram Writings · 2025-03-18T18:25:33Z

本研究解决了自动机条件强化学习中的理论保证缺失问题,提出了一个理论框架,证明该方法可近似学习。通过提出一种学习可证明正确的自动机嵌入的技术,实现了最优多任务政策的学习,并通过实验验证了理论结果。

可证明正确的自动机嵌入用于最优自动机条件强化学习

BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 · 2025-03-06T00:00:00Z
DFA - 确定性有限自动机

确定性有限自动机(DFA)用于检查语言和模式,以判断输入是否符合预定义规则。DFA由状态集、输入字母表、转移函数、初始状态和接受状态组成。一个示例DFA接受以'a'开头的字符串,其状态转移依据首字母决定接受或拒绝。

DFA - 确定性有限自动机

DEV Community
DEV Community · 2025-02-17T18:15:59Z
TOC中的语法是什么?

语法在语言中用于确定句子的合法性,通过自动机检查字符串是否符合语法规则。语法由变量、终结符、产生规则和起始符组成,能够生成特定的语言结构,如a^nb^n。

TOC中的语法是什么?

DEV Community
DEV Community · 2025-02-10T13:58:02Z

该研究提出了SemML工具,通过语义标记和机器学习策略,解决基于线性时序逻辑的反应系统合成问题,显著提升了合成效率,尤其在大规模实例中表现优异。

SemML:用机器学习增强自动机理论LTL合成

BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 · 2025-01-29T00:00:00Z
自动机理论的四个阶段

自动机理论研究输入序列的计算系统,分为四类:有限自动机(FA)识别正则语言;下推自动机(PDA)通过栈识别上下文无关语言;线性有界自动机(LBA)识别上下文相关语言;图灵机(TM)是最强大的,能识别递归可枚举语言,构成现代计算的理论基础。

自动机理论的四个阶段

DEV Community
DEV Community · 2024-11-05T06:05:35Z

印度理工学院马德拉斯分校的课程“自动机、形式语言与计算理论”介绍计算系统的基本概念,如有限状态机和图灵机,强调实践应用。完成后可获得证书,助力计算机科学职业发展。GetVM的Playground扩展提供在线编程环境,帮助学员实践。

揭开计算奥秘:探索引人入胜的课程!🤖

DEV Community
DEV Community · 2024-10-17T22:35:37Z

本研究提出了一种新算法,利用元胞自动机模型优化时间序列中的计算。通过预选有前景的规则,解决了规则选择问题。实验显示,该算法误差低,计算复杂度小,显著减少训练和优化时间。

基于JAX的细胞自动机加速库CAX

BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 · 2024-10-03T00:00:00Z
AI 使用拓扑无关的 Transformer 模型生成新颖的细胞自动机

LifeGPT是一种AI模型,可以生成和操作细胞自动机。它是拓扑无关的,适用于不同的细胞自动机结构。通过训练数据集,LifeGPT能够生成新颖和复杂的模式,成为研究复杂系统的工具。需要进一步研究来评估性能、了解潜在偏差和解释生成模式的可解释性。

AI 使用拓扑无关的 Transformer 模型生成新颖的细胞自动机

DEV Community
DEV Community · 2024-09-22T06:43:04Z

神经元元胞自动机(NCA)结合了机器学习和机械建模的能力,学习复杂动态和局部规则。NCA还能捕捉非线性偏微分方程中的图灵模式形成规则,适用于生物模式形成建模。

卷积神经网络用于自动细胞自动机分类

BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 · 2024-09-04T00:00:00Z

本研究探讨了U-Net和Attention U-Net架构中感受野大小对模型性能的影响,提出了新的度量指标和理论感受野(TRF),结果表明存在最佳TRF大小,优化模型性能。注意力机制的U-Net模型始终优于基本U-Net模型。为开发更高效的U-Net架构提供了宝贵资源,并为未来研究铺平了道路。

神经元细胞自动机在医学图像分割中的泛化能力:一种稳健且轻量级的方法

BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 · 2024-08-28T00:00:00Z

本文介绍了Aho-Corasick(AC)自动机算法,一种多模式匹配算法,能高效处理大规模文本数据,保证搜索过程实时准确。AC自动机通过构建前缀树提升搜索效率,利用失配指针快速回溯。AC自动机实时搜索并报告关键词出现位置,时间复杂度为O(n)。AC自动机在多种场景下有重要作用,如查找关键词、添加语义、检查语法错误。文章给出了使用Aho-Corasick算法识别和高亮HTML文本中关键词的示例代码。

探索AC自动机:多关键词搜索的原理与应用案例

京东科技开发者
京东科技开发者 · 2024-08-26T07:40:09Z

DeepDFA是一种新的方法,通过跟踪识别确定性有限自动机(DFA),采用可微但离散的模型。该方法结合了DFA的概率松弛和递归神经网络(RNN)的启发,提供了训练后的可解释性,并在复杂度和训练效率上优于传统RNN。实验验证表明,该方法在各种规模和复杂度的目标正规语言上表现准确、快速且对噪声具有强韧性,充分结合了逻辑语法诱导和深度学习的优势。

GraphFSA:用于图形算法学习的有限状态自动机框架

BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 · 2024-08-20T00:00:00Z

本文提出了DeepDFA,一种通过跟踪识别确定性有限自动机(DFA)的新方法,采用可微但离散的模型。该方法结合了DFA的概率松弛和递归神经网络(RNN)的启发,提供了训练后的可解释性,并在复杂度和训练效率上优于传统RNN。实验验证表明,该方法在各种规模和复杂度的目标正规语言上表现准确、快速且对噪声具有强韧性,充分结合了逻辑语法诱导和深度学习的优势。

深度DFA:通过神经概率松弛进行自动机学习

BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 · 2024-08-16T00:00:00Z

本研究提出了一种新颖的算法,通过使用元胞自动机模型来优化沉积计算在时间序列应用中的设计。该算法特别解决了线性元胞自动机规则选择的问题。与其他先进的时间序列模型相比,该算法具有较低的计算复杂度和较低的误差。

使用可逆二进制元胞自动机的高维数据的分层聚类

BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 · 2024-08-05T00:00:00Z

神经元元胞自动机是传统元胞自动机模型的演化,通过深度学习转换函数进行增强。潜在神经元元胞自动机(LNCA)模型解决了资源限制问题,应用于图像恢复领域,能从降质版本中重建高质量图像。该模型在保持高重建保真度的同时,实现了显著的计算资源要求降低,能处理比当前最先进的模型大16倍的输入。

边缘设备上的神经元元胞自动机无监督训练

BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 · 2024-07-25T00:00:00Z

神经元元胞自动机(NCA)结合了机器学习和机械建模的能力,学习复杂动态和局部规则。NCA能够捕捉瞬态和稳定结构,学习非线性偏微分方程中的图灵模式形成规则。NCA具有广泛推广能力,适用于生物模式形成建模。

元胞自动机与异质拓扑网络的敏感性分析:部分本地元胞自动机与同质同质随机布尔网络

BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 · 2024-07-25T00:00:00Z
  • <<
  • <
  • 1 (current)
  • 2
  • 3
  • >
  • >>
👤 个人中心
在公众号发送验证码完成验证
登录验证
在本设备完成一次验证即可继续使用

完成下面两步后,将自动完成登录并继续当前操作。

1 关注公众号
小红花技术领袖公众号二维码
小红花技术领袖
如果当前 App 无法识别二维码,请在微信搜索并关注该公众号
2 发送验证码
在公众号对话中发送下面 4 位验证码
友情链接: MOGE.AI 九胧科技 模力方舟 Gitee AI 菜鸟教程 Remio.AI DeekSeek连连 53AI 神龙海外代理IP IPIPGO全球代理IP 东波哥的博客 匡优考试在线考试系统 开源服务指南 蓝莺IM Solo 独立开发者社区 AI酷站导航 极客Fun 我爱水煮鱼 周报生成器 He3.app 简单简历 白鲸出海 T沙龙 职友集 TechParty 蟒周刊 Best AI Music Generator

小红花技术领袖俱乐部
小红花·文摘:汇聚分发优质内容
小红花技术领袖俱乐部
Copyright © 2021-
粤ICP备2022094092号-1
公众号 小红花技术领袖俱乐部公众号二维码
视频号 小红花技术领袖俱乐部视频号二维码