https://zbmath.org/atom/cc/68Q10 2024-04-15T15:10:58.286558Z 未知作者 Werkzeug公司 https://zbmath.org/1530.68041 2024-04-15T15:10:58.286558Z 摘自正文：本期特刊包含第17届非常规计算与自然计算（UCNC 2018）会议的精选论文。会议于2018年6月25日至29日在法国枫丹白露巴黎埃斯特克雷泰尔大学枫丹白劳国际大学校园举行。 https://zbmath.org/1530.68079 2024-04-15T15:10:58.286558Z “罗伯特·布里德” https://zbmath.org/authors/？q=ai:brijder.robert 概述：化学反应网络（CRN）对混合溶液中的化学反应行为进行建模，并可用于进行计算。在本教程中，我们概述了CRN的各种计算模型。此外，我们还讨论了一种使用DNA在试管中实现任意（抽象）CRN的方法。最后，我们讨论了CRN和其他计算模型之间的关系。 https://zbmath.org/1530.68090 2024-04-15T15:10:58.286558Z “藤冈，高鲁” https://zbmath.org/authors/？q=ai:fujioka.kaoru 摘要：基于群体运动和使用多集的计算模型，引入了一种群体自动机，利用计算过程中的群体行为构建了一个新的计算系统。在群自动机中，每个代理都会根据输入和代理之间的交互而变化，这会导致由多代理集表示的群发生变化。根据群中代理的条件，群自动机接受输入字符串。也就是说，可以接受将群引入指定条件的输入字符串。当我们在群自动机中引入代理的位置信息时，代理不仅会发生变化，而且会根据附近的代理进行移动。本文介绍了一种基于群中代理位置的群自动机所接受的语言。也就是说，当字符串导致由指定位置上的代理组成的群时，它被接受。我们关注群体中代理的数量，并考虑该群体自动机的计算能力。我们证明了只有五个代理使用并行转换的群自动机可以接受任何递归可枚举语言。 https://zbmath.org/1530.68097 2024-04-15T15:10:58.286558Z “黄，香” https://zbmath.org/authors/？q=ai:huang.xiang “克林格，提图斯·H。” https://zbmath.org/authors/？q=ai:klinge.titus-小时 詹姆斯·拉思罗普 https://zbmath.org/authors/？q=ai:lathrop.james-我 “李小圆” https://zbmath.org/authors/？q=ai:li.xiaoyuan “杰克·H·卢茨” https://zbmath.org/authors/？q=ai:lutz.jack-小时 小结：我们探索了由确定性化学反应网络实时计算的实数类，这些网络是在所有反应速率常数都是正整数的意义上的{积分}。我们说这样一个反应网络计算一个实数，如果它有一个指定的物种（X），当所有物种在时间（t=0）处的浓度都设置为零时，（X）的浓度（X（t）在任何时候都在（alpha）的（2^{-t}）范围内，所有其他物种的浓度都是有界的。在这个意义上，我们证明了每个代数数和一些超越数都可以由化学反应网络实时计算。我们讨论了这对1965年Hartmanis-Starns猜想的可能影响，该猜想认为没有无理代数数是图灵机可以实时计算的。 https://zbmath.org/1530.68144 2024-04-15T15:10:58.286558Z “恶魔，雅克” https://zbmath.org/authors/？q=ai:demongeot.jacques “塞纳，西尔文” https://zbmath.org/authors/？q=ai:sene.sylvain 摘要：在自动机网络中，众所周知，实体随时间更新其状态的方式对其动态有重大影响。特别是，根据所选的更新时间表，基础动力系统可能会或多或少地表现出渐近动力行为，例如不动点或极限环。由于此类数学模型已用于生物网络建模框架，因此很快就出现了选择适当更新时间表的问题。在本说明中，重点关注布尔网络，我们的目的是强调，随着时间的推移，思考规则和基因表达的适当方式当然不是考虑将同步性与异步性隔离开来的墙，因为它们实际上是很好的补充。特别是，我们强调，具体的更新时间表，即区块并行更新时间表，其内在特征从理论角度来看仍然未知，承认生物建模背景下的现实和相关属性，当然值得社区更多关注。 https://zbmath.org/1530.68156 2024-04-15T15:10:58.286558Z “托比亚斯·尼普科” https://zbmath.org/authors/？q=ai:nipkow.tobias “斯林德，康拉德” https://zbmath.org/authors/？q=ai:slind.konrad 摘要：我们在Isabelle版本的高阶逻辑中嵌入了I/O自动机的元理论，这是一种描述和推理分布式系统的模型。除此之外，我们已经指定并验证了一种最新的网络传输协议，该协议通过可以任意重新排序数据包的介质使用单比特报头数据包来实现可靠的通信。关于整个系列，请参见[Zbl 0866.00037]。 https://zbmath.org/1530.68190 2024-04-15T15:10:58.286558Z “查坦，托马斯” https://zbmath.org/authors/？q=ai:chatain.thomas “哈尔，斯特凡” https://zbmath.org/authors/？q=ai:haar.stefan “朱拉吉·科尔查克” https://zbmath.org/authors/？q=ai:kolcak.juraj “波列夫，洛伊奇” https://zbmath.org/authors/？q=ai:pauleve.loic “Aalok Thakkar” https://zbmath.org/authors/？q=ai:thakkar.aalok 摘要：布尔网络（BNs）被广泛用于建模生物系统的定性动力学。除了确定每个组件相对于其调节器状态的演变的逻辑规则外，组件更新的调度也会对预测的行为产生重大影响。在本文中，我们探索了从并发理论角度使用读取（上下文）Petri网（RPN）来研究BN的动态。在显示了RPN和BN之间的双向转换以及同步敏感性结果之间的类比之后，我们说明了BN的常见更新模式可能会错过看似合理的行为，即错误地得出没有/不可能达到特定配置的结论。我们提出了一种基于RPN语义的BN编码，与通用异步更新模式相比，它可以实现更多的行为。所提议的编码确保了对任何多值精化的正确抽象，正如人们在对生物系统建模时不假设其时间特征时所期望的那样。 https://zbmath.org/1530.94014 2024-04-15T15:10:58.286558Z “亚伯，尤塔” https://zbmath.org/authors/？q=ai:abe.yuta “高崎水木” https://zbmath.org/authors/？q=ai:mizuki.takaaki “Sone，Hideaki” https://zbmath.org/authors/？q=ai:sone.hideaki （无摘要） https://zbmath.org/1530.94045 2024-04-15T15:10:58.286558Z “肯·高岛” https://zbmath.org/authors/？q=ai:takashima.ken “宫崎骏” https://zbmath.org/authors/？q=ai:miyahara.daiki “高崎水木” https://zbmath.org/authors/？q=ai:mizuki.takaaki “Sone，Hideaki” https://zbmath.org/authors/？q=ai:sone.hideaki （无摘要）