最近在msc68q上发表的zbMATH文章 https://zbmath.org/atom/cc/68Q 2021-10-13T23:05:33.257084Z 韦克泽格 强离散线性序上的区间时间逻辑:全貌 https://zbmath.org/1469.03045 2021-10-13T23:05:33.257084Z “布雷索林,戴维德” https://zbmath.org/authors/?q=ai:bresolin.davide “黛拉莫妮卡,达里奥” https://zbmath.org/authors/?q=ai:della-莫妮卡。达里奥 “安琪儿,蒙塔纳里奥” https://zbmath.org/authors/?q=ai:montanari.angelo “萨拉,皮埃特罗” https://zbmath.org/authors/?q=ai:sala.pietro “西亚维科,吉多” https://zbmath.org/authors/?q=ai:sciavicco.guido 摘要:区间时态逻辑为线性序域上区间结构的时序推理提供了一个通用的框架,其中区间被视为原始本体论实体。本文利用强离散线性序类上的可判定可满足性问题,辨识了\texdit{J.Y.Halpern}和\texdit{Y.Shoham}[J.Assoc.Comput.Mach.38,No.4935--962(1991;zbl0799.68175)]区间时态逻辑的所有片断。我们根据它们的相对表达能力和复杂性对它们进行分类。我们证明了有44个表达不同的可判定片段,其复杂度从NP到EXPSPACE不等。此外,我们还发现了一些新的不可判定的片段(所有剩余的HS片段都已经知道在强离散线性阶上是不可判定的)。通过对自然数的具体情况的分析,我们得出结论,自然数的行为与整类强离散线性阶的行为略有不同。在\(\mathbb{N}\)上可判定的片段的数目增加到47个:三个不可判定的片段以非原始递归复杂度变为可判定的。整个系列见[Zbl 1392.68016]。 命题依赖逻辑有效性的复杂性 https://zbmath.org/1469.03086 2021-10-13T23:05:33.257084Z “维特玛,乔尼” https://zbmath.org/authors/?q=ai:virtema.jonni 摘要:研究了命题依赖逻辑、模态依赖逻辑和扩展模态依赖逻辑的有效性问题。我们证明了命题依赖逻辑的有效性问题是下一次完全的。另外,我们建立了模态依赖逻辑和扩展模态依赖逻辑的对应问题是nextime hard和In \(\text{NEXPTIME}^{\text{NP}}\)。整个系列见[Zbl 1435.68038]。 能量随机性 https://zbmath.org/1469.03118 2021-10-13T23:05:33.257084Z “米勒,约瑟夫S。” https://zbmath.org/authors/?q=ai:miller.joseph-s “鲁特,杰森” https://zbmath.org/authors/?q=ai:rute.jason 摘要:能量随机性是由\texdit{B.Kjos Hanssen}[Math.Res.Lett.16,No.1,103--110(2009;Zbl 1179.03061)]引入的部分随机性的概念,以刻画可以作为Martin-Löf随机闭集元素的序列(在\texdit{G.Barmpalias}等的意义上)[J.Log.Comput.17,No.6,1041--1062]引入的(2007;Zbl 1155.03031)]。它集合了势理论和算法随机性的思想。在本文中,我们证明了\(2^\omega\)是\(s\)-能量随机的当且仅当\(\sum\{n\In\omega}2^{sn-KM(X\upharpoonright)}<\infty\,通过先验复杂度(KM)来描述能量随机性。这与\texdit{L.Bienvenu}等人的问题有关[J.Log.Anal.6,1--34(2014;Zbl 1346.03044)]。 关于图的in-out真定向 https://zbmath.org/1469.05054 2021-10-13T23:05:33.257084Z “德汉,阿里” https://zbmath.org/authors/?q=ai:dehhan.ali-a 摘要:如果任意两个相邻顶点的in-out度不同,则图的一个方向是in-out-proper,其中每个顶点的in-out度等于该顶点的in-out度减去out度。以\((\overset{\leftrightarrow}{\chi}(chi}(G)G)为标志的图\(G\)的出入正方向数,是\(\min\min{D\in\LeftRigArrow}{max{v\ in v(G)}| D UD ^\pm(v v)| \),其中\((\伽玛\)是\(G\)的一组出入正确方向的集合,而\(D UD ^\pm(v)\)是在朝向\(D D D D ^\pm(v)\)的方向上,顶点\(v \)的顶点\(v \)的进出的程度,在方向\(D)方向上,D(D)中,\)\textti{M.Borowiecki}等人[Inf.Process.Lett.112,No.1--2,1--4(2012;Zbl 1232.05074)]证明了任何图的输入输出正确方向数都是定义良好的。所以我们有\(\overset{\leftrightarrow}{\chi}(G)\leq\Delta(G),其中\(\Delta(G)\)是\(G\)中顶点的最大阶数。我们猜想存在一个常数数\(c\),对于每个平面图\(G\),我们有\(\overset{\leftrightarrow}{\chi}(G)\leqc\。对于这种推测,我们证明了对于每一棵树,我们都有\(\overset{\leftrightarrow}{\chi}(T)\leq3\,这个界限是尖锐的。其次,我们研究了亚立方体图的in-out真定向数。利用全幺模矩阵的性质,我们证明了一个多项式时间算法来确定给定的最大次数为3的图是否\(\overset{\leftrightarrow}{\chi}(G)\leq2\。另一方面,我们证明了最大次数为3的给定二部图是否\(\overset{\leftrightarrow}{\chi}(G)\leq1\)是NP完全的。最后,我们研究了正则图的in-out真定向数。 闭图中小诱导子图的检测与计数 https://zbmath.org/1469.05077 2021-10-13T23:05:33.257084Z Koana,Tomohiro https://zbmath.org/authors/?q=ai:koana.tomohiro “尼克特莱因,安德烈” https://zbmath.org/authors/?q=ai:nichterlein.andre 摘要:\texdit{J.Fox}等人[SIAM J.Comput.49,No.2448--464(2020;Zbl 1443.68128)]引入了一个新参数,称为\(c\)-closure,用于团枚举问题的参数化研究。一个图\(G\)是\(c\)闭的,如果每一对至少有\(c\)公共邻居的顶点是相邻的。(G)的\(c\)-闭包是最小的,因此\(G\)是\(c\)闭的。我们系统地研究了\(c\)-闭包对检测和枚举小诱导子图计算复杂度的影响。更精确地说,对于三个或四个顶点上的每一个图,我们研究了参数化多项式时间算法来检测\(H\)和枚举给定\(c\)-闭图中所有出现的\(H\)。 计算完全匹配数,并推广决策树 https://zbmath.org/1469.05081 2021-10-13T23:05:33.257084Z “维亚利,M.N.” https://zbmath.org/authors/?q=ai:vyalyi.mikhail-n 摘要:在计算图的有向邻接矩阵的符号pfaffan的基础上,我们考虑了Pólya-Kasteleyn方法的推广,以计算图中完美匹配的个数。基于该方法的算法复杂度与广义决策树模型中完全匹配符号函数的复杂度有关。根据匹配的异或符号函数的确定通信复杂度,我们得到了完全匹配符号复杂度的下界。这些边界说明了符号pfaffacian方法在一般情况和稀疏图情况下的局限性。 关于张整体图的整体刚度 https://zbmath.org/1469.05149 至2025年5月23日23时33分 “加拉姆夫尔吉,达尼尔” https://zbmath.org/authors/?q=ai:garamvolgyi.daniel 摘要:张力整体图是一个边缘标记为杆、索和支柱的图。张力整体图(T)的实现是一对(T,p),其中\(p)将某些\(d\geq 1\)的顶点映射到\(\mathbb{R}^d\)。如果在(mathbb{R}^d\)中任何一个实现(T,q)是一个等距图像,其中杆具有相同的长度,而电缆和支柱分别不长也不短,则该实现是全局刚性的。如果张力整体图在\(\mathbb{R}^d\)中具有一般的全局刚性实现,则它在\(\mathbb{R}^d\)中是弱全局刚性的;如果在\(\mathbb{R}^d\)中每个泛型实现都是全局刚性的,(\mathbb{R}^d\)中是强全局刚性的。本文给出了在(mathbb{R}^d)中弱整体刚度的一个必要条件,并证明了在(d=1)情况下,同样的条件也是充分的。特别地,我们的结果暗示了一个张拉整体图在\(\mathbb{R}^1\)中具有一般的全局刚性实现当且仅当它在\(\mathbb{R}^1\)中具有一般的普遍刚性实现。我们还证明了在\(\mathbb{R}^d\)中识别强全局刚性张合整体图对所有(d\geq 1)都是co-NP困难的。 最小重新装载成本图因子 https://zbmath.org/1469.05155 2021-10-13T23:05:33.257084Z “巴斯特,朱利安” https://zbmath.org/authors/?q=ai:baste.julien “戈兹别克,迪登” https://zbmath.org/authors/?q=ai:gozupek.didem “沙洛姆,莫德凯” https://zbmath.org/authors/?q=ai:shalom.mordechai “蒂利科斯,迪米特里奥斯·M。” https://zbmath.org/authors/?q=ai:thilikos.dimitrios-米 摘要:图中重新加载成本的概念是指在通过顶点的两条关联边遍历顶点时发生的成本。这一成本由两条边的颜色决定。这一概念在交通网络、通信网络和能源分配网络中有着广泛的应用。文献中对使用该模型的各种问题进行了定义和研究。寻找直径与重新加载代价有关的最小的生成树的问题,在两个给定顶点之间寻找总重新加载代价最小的路径、轨迹或行走的问题,关于找到一个图的适当边着色以使总重新加载成本最小化的问题,寻找一个生成树使所有顶点对之间的所有路径的重新加载代价之和最小化的问题,以及寻找覆盖图的所有顶点的最小重新加载代价的循环集的问题就是此类问题的例子。在这项工作中,我们关注最后一个问题。注意到图的一个圈覆盖是它的2个因子,我们将这个问题推广到求边着色图的最小重新加载代价的一个\(r\)-因子的问题。在特殊情况下,我们证明了几个NP-硬度结果。即有界度图、平面图、有界总成本、有界离散成本数。对于\(r=2\)的特殊情况,我们的结果表明NP硬度结果有所改善。在正的方面,我们给出了一个多项式时间可解的特例,它在多项式和硬情况之间提供了一个严格的边界,即图的最大次数。然后我们研究了问题的参数化复杂性,证明了W[1]-hardness结果,并提出了一个FPT算法。 顶端假森林的小障碍物 https://zbmath.org/1469.05158 2021-10-13T23:05:33.257084Z “莱瓦迪蒂斯,亚历山德罗斯” https://zbmath.org/authors/?q=ai:leivaditis.alexandros “辛格,亚历山德罗斯” https://zbmath.org/authors/?q=ai:singh.alexandros “斯塔穆利斯,吉安诺斯” https://zbmath.org/authors/?q=ai:stamoulis.giannos “蒂利科斯,迪米特里奥斯·M。” https://zbmath.org/authors/?q=ai:thilikos.dimitrios-米 “Tsatsanis,Konstantinos” https://zbmath.org/authors/?q=ai:tsatsanis.konstantinos 摘要:如果一个图的连接组件中没有一个包含多个循环,则称为伪林。图是顶点伪森林,如果它可以通过移除其中一个顶点而成为伪森林。我们确定了33个图构成顶点伪森林类的小障碍集,即所有不是顶点伪森林的小极小图的集合。 寻找大型诱导稀疏子图的次指数时间算法 https://zbmath.org/1469.05159 2021-10-13T23:05:33.257084Z “新塔纳,雅娜” https://zbmath.org/authors/?q=ai:novotna.jana “俄克拉萨,卡罗琳娜” https://zbmath.org/authors/?q=ai:okrasa.karolina “皮利普楚克,米迦” https://zbmath.org/authors/?q=ai:pilipczuk.michal “Rzążewski,Paweł” https://zbmath.org/authors/?q=ai:rzazewski.pawel “范丽文,埃里克·扬” https://zbmath.org/authors/?q=ai:van-列文.埃里克-简 “沃尔查克,巴托斯” https://zbmath.org/authors/?q=ai:walczak.bartosz 摘要:让\({\mathcal{C}}\)和\({\mathcal{D}}})是遗传图类。考虑以下问题:给定一个图\(G\ in{\mathcal{D}}\),找到属于\({\mathcal{C}}\)的最大的归纳子图。我们证明了它可以在\(2^{o(n)})时间内求解,其中\(n\)是\(G\)的顶点个数,如果满足以下条件:\{par}图的稀疏项是线性的;\par ii)在\({\mathcal{D}})中的图允许大小由其密度控制的平衡分隔符,例如\({\mathcal{O}(\varDelta)\)或\({\mathcal{O}(\sqrt{m})\),其中\(\varDelta\)和\(m\)分别表示最大阶数和边数\当输入图的树长参数化时,所考虑的问题允许使用单指数固定参数算法。例如,对于特定的类\({\mathcal{C}}\)和\({\mathcal{D}}\),这将导致以下推论:\对于每一个固定的\(t \)时间,可以在\(2^{\tilde{\mathcal{O}}(n^{2/3})})时间内找到一个最大的诱导林;\par b)字符串图中最大的诱导平面图可以在\(2^{\tilde{\mathcal{O}}}(n^{2/3})}时间内找到。 广义Hecke群的完全重写系统和增长序列 https://zbmath.org/1469.20029 2021-10-13T23:05:33.257084Z “切西蒂亚尔普,埃斯拉·基尔米齐” https://zbmath.org/authors/?q=ai:cetinalp.esra-基尔米齐 “卡尔帕兹,艾勒姆·居泽尔” https://zbmath.org/authors/?q=ai:karpuz.eylem-咕噜咕噜 “阿欣,雷杰普” https://zbmath.org/authors/?q=ai:sahin.recp “吃了,老鼠” https://zbmath.org/authors/?q=ai:ates.firat 摘要:本文得到了广义扩展Hecke群(overline{H}{p,q}\)幺半群表示的一个完整重写系统,该系统在[\texdit{B.Demir}等人,Rev.Unión Mat.Argent.57,No.1,49--56(2016;Zbl 1345.20067)]中首次定义。它给出了一个求元素正规形的算法,从而解决了这个组中的单词问题。利用\(\overline{H}{p,q}元素的正规形结构,我们还计算了生长序列。 拓扑和非确定性多项式时间计算:避免无集线器图的错误行为及其后果 https://zbmath.org/1469.20031 2021-10-13T23:05:33.257084Z “加斯佩林,安东尼” https://zbmath.org/authors/?q=ai:gasperin.anthony 摘要:为了研究具有小Dehn函数的群,texdit{A.Yu.Ol'shanskii}和\texdit{M.V.Sapir}[Geom.fuct.Anal.16,No.6,1324--1376(2006;Zbl 1168.20016)]提出了一种新的二部弦图不变量,并将其应用于s-机的无中心实现。在这篇文章中,我们考虑这个新的不变量,以及由包含中心关系的S机器构造的群。其思想是研究渐近锥的拓扑结构与多项式时间计算之间的联系。事实上,众所周知,这种度量空间的拓扑依赖于没有集线器的图,这些图与所考虑的S机器的计算不符。这项工作提供了避免这种错误行为的充分条件,但正如我们将看到的那样,这种方法有一个明显的缺点。整个系列见[Zbl 1415.68042]。 预序完备模糊拟度量空间的一个不动点定理及其应用 https://zbmath.org/1469.54069 2021-10-13T23:05:33.257084Z “卡斯特罗公司,弗朗西斯科” https://zbmath.org/authors/?q=ai:castro-公司。弗朗西斯科 “罗马盖拉,萨尔瓦多” https://zbmath.org/authors/?q=ai:romaguera.salvaro “提拉多,佩德罗” https://zbmath.org/authors/?q=ai:tirado.pedro 摘要:我们得到了预序完备模糊拟度量空间上一类广义压缩的不动点定理,并将其应用于推导出,用一种直接而简单的方式显示递归方程解的存在性的过程,这些方程分别与快速排序和分而治之算法有关。 关于拓扑偏序集、扩展拟度量空间中的不动点理论及其在算法渐近复杂性中的应用 https://zbmath.org/1469.54187 2021-10-13T23:05:33.257084Z “沙赫扎德,纳赛尔” https://zbmath.org/authors/?q=ai:shahzad.naseer “瓦莱罗,奥斯卡” https://zbmath.org/authors/?q=ai:valero.oscar “阿尔格姆迪,穆罕默德A” https://zbmath.org/authors/?q=ai:alghamdi.mohammed-阿里 “阿尔格姆迪,玛里亚姆A” https://zbmath.org/authors/?q=ai:alghamdi.maryam-a 摘要:本文在拓扑偏序集的框架下给出了几个不动点的结果。为此,我们引入了完备性和序连续性的概念。特别注意了拓扑偏序集的拓扑由一个扩展的拟度量诱导的情形。最后,说明了所揭示结果的适用性,并提供了一种方法来确定运行时间为一类特殊递归方程解的算法复杂度的渐近上界。 除法覆盖 https://zbmath.org/1469.55004 2021-10-13T23:05:33.257084Z “亵渎者,尼洛” https://zbmath.org/authors/?q=ai:blaser.nello “布伦,莫顿” https://zbmath.org/authors/?q=ai:brun.morten 本文的主要贡献是提出了一种在大过滤值下计算持久同调的方法。为此,作者引入了过滤覆盖的过滤神经的概念,并构造了一个新的近似方法来计算可任意选择的预定义阈值的持久同调。所提出的自顶向下方法与现有的基本上是自下而上的算法有着根本的不同。 重要的量子密码算法。IBMQ体验 https://zbmath.org/1469.68002 2021-10-13T23:05:33.257084Z “萨普,塔尔马沙斯塔” https://zbmath.org/authors/?q=ai:sapv.tharrmashastha “贝拉,德巴乔蒂” https://zbmath.org/authors/?q=ai:bera.debajyoti “弥陀,阿皮塔” https://zbmath.org/authors/?q=ai:maitra.arpita “美特拉,子厦门” https://zbmath.org/authors/?q=ai:maitra.subhamoy 出版商描述:这本书是一个及时的报告,在与布尔函数相关的量子算法领域的最新分析技术。它弥补了这一领域的最新发展与从密码学的角度对布尔函数的谱特性进行实际分析之间的差距。书中所涉及的主题包括量子比特、德意志Jozsa和Walsh谱、Grover算法、Simon算法和自相关谱。这本书旨在鼓励读者设计和实现与布尔函数相关的实用算法。除了组合技术,这本书考虑在量子计算机中实现相关程序。研究人员、从业者和教育工作者会发现这本书很有价值。 格奥尔赫·普恩70周年特刊前言 https://zbmath.org/1469.68007 2021-10-13T23:05:33.257084Z “乔治,玛丽安” https://zbmath.org/authors/?q=ai:gheorghe.marian “Pérez Jiménez,马里奥·J。” https://zbmath.org/authors/?q=ai:perez-希门尼斯。马里奥-j “罗森伯格,格尔茨戈尔茨” https://zbmath.org/authors/?q=ai:rozenberg.grzegorz “萨洛马,阿托” https://zbmath.org/authors/?q=ai:salomaa.arto-k (无摘要) 前言 https://zbmath.org/1469.68008 2021-10-13T23:05:33.257084Z “米库尔斯基,乌卡斯” https://zbmath.org/authors/?q=ai:mikulski.lukasz “皮特,伊恩” https://zbmath.org/authors/?q=ai:petre.ion 正文:本期特刊是基于2019年6月在波兰托伦举行的反应系统研讨会和学校,以及计划于2020年6月在芬兰图尔库举行的研讨会和学校,但由于COVID-19流感大流行而不得不取消。 求解线性方程组的非线性梯度神经网络 https://zbmath.org/1469.68012 2021-10-13T23:05:33.257084Z “小林” https://zbmath.org/authors/?q=ai:xiao.lin “李,肯利” https://zbmath.org/authors/?q=ai:li.kenli 谭志国 https://zbmath.org/authors/?q=ai:tan.zhiguo “张志军” https://zbmath.org/authors/?q=ai:zhang.zhijun “廖伯林” https://zbmath.org/authors/?q=ai:liao.bolin “陈,可” https://zbmath.org/authors/?q=ai:chen.ke “金,龙” https://zbmath.org/authors/?q=ai:jin.long “李,帅” https://zbmath.org/authors/?q=ai:li.shuai 摘要:为了更有效地求解线性方程组(SoLE),本文设计并讨论了一种快速收敛的梯度神经网络(FCGNN)模型。与传统的梯度神经网络(CGNN)的设计不同,FCGNN模型的设计是基于一个非线性的激活函数,从而可以达到更好的收敛速度。此外,还对FCGNN模型的收敛上界进行了估计并给出了详细的结果。仿真结果验证了FCGNN模型与CGNN模型在寻找鞋底方面的优越性。 I/O模式下snp系统的计算 https://zbmath.org/1469.68013 2021-10-13T23:05:33.257084Z “阿多娜,亨利N。” https://zbmath.org/authors/?q=ai:adorna.henry-纳提维达 概要:P系统是20多年前由Ghorghe Păun引入的。它们被称为非确定性最大并行计算模型。证明了它们的大多数变体都能在多项式时间内求解NP问题。类似于用统一的神经网络模型来模拟P。特别地,我们考虑了一种计算有限状态函数的尖峰神经P模块(snp模块)。我们用snp模定义并刻画了一个所谓的(SN)P自动序列。 对象数量有限的P系统 https://zbmath.org/1469.68014 2021-10-13T23:05:33.257084Z “阿尔哈佐夫,阿蒂姆” https://zbmath.org/authors/?q=ai:alhazov.artiom “弗伦德,鲁道夫” https://zbmath.org/authors/?q=ai:freund.rudolf “伊万诺夫,塞尔吉乌” https://zbmath.org/authors/?q=ai:ivanov.sergiu 摘要:P系统是一个由活细胞的结构和它们的功能方式所启发的分区化多集重写模型。在本文中,我们研究了P系统中的一个变量,其中膜的容量是有限的,即它们所能容纳的物体的数量受到一个固定的界的限制。这个特性对应于细胞室的一个重要物理特性。我们提出了几种可能的有限容量语义,并证明其中一种语义允许对部分盲寄存器机进行实时模拟,而另一种允许获得计算完整性。 具有活性膜的P系统的替代空间定义 https://zbmath.org/1469.68015 2021-10-13T23:05:33.257084Z “阿尔哈佐夫,阿蒂姆” https://zbmath.org/authors/?q=ai:alhazov.artiom “莱波拉蒂,阿尔伯托” https://zbmath.org/authors/?q=ai:leporati.alberto “曼佐尼,卢卡” https://zbmath.org/authors/?q=ai:manzoni.luca-e “毛里,詹卡洛” https://zbmath.org/authors/?q=ai:mauri.giancarlo “赞德隆,克劳迪奥” https://zbmath.org/authors/?q=ai:zandron.claudio 摘要:P系统空间复杂性的第一个定义是基于一个假设的通过生化材料实现的实际实现,因此它假设每个物体或膜都需要一些恒定的物理空间。这相当于使用一元编码来表示每个物体和薄膜的多重性。考虑到P系统在silico中的实现,也可以考虑一种不同的方法;在这种情况下,每个薄膜中每个物体的多重性可以用二进制数存储,从而减少所需的空间量。本文给出了一种新的空间复杂度度量的形式化定义,定义了相应的复杂度类,并将其与标准空间复杂度类和考虑空间原始定义的P系统框架下的复杂度类进行了比较。 反应体系的互斥性和可逆性 https://zbmath.org/1469.68016 2021-10-13T23:05:33.257084Z “阿曼,博格丹” https://zbmath.org/authors/?q=ai:aman.bogdan “乔巴努,加布里埃尔” https://zbmath.org/authors/?q=ai:ciobanu.gabriel 摘要:反应系统的演化通常是由一组固定的无约束规则驱动的。在本文中,我们提出了一种不同的方法,通过对规则施加一些约束。因此,我们定义了使用互斥规则工作的受限反应系统,即不允许在同一计算步骤中一起应用的规则。我们研究了反应体系与新的限制反应体系之间的关系。此外,我们还分析了反应体系和限制反应体系中可逆性的概念。 基于自然启发的规则系统中的可逆计算 https://zbmath.org/1469.68017 2021-10-13T23:05:33.257084Z “阿曼,博格丹” https://zbmath.org/authors/?q=ai:aman.bogdan “乔巴努,加布里埃尔” https://zbmath.org/authors/?q=ai:ciobanu.gabriel 摘要:由于可逆性是许多自然现象的固有属性,研究自然计算中的可逆性是有意义的。更确切地说,研究受活细胞启发的基于规则的系统中的可逆计算。因此,我们考虑在多个对象集上使用规则的系统,这些对象集以最大的并行方式演化。在定义了可逆性在这些基于规则的系统中的含义之后,我们探讨了它们完全可逆的性质。给出了可逆计算的一些特殊性质。 带成本的卫生纸P系统中的旅行商问题 https://zbmath.org/1469.68018 2021-10-13T23:05:33.257084Z “阿曼,博格丹” https://zbmath.org/authors/?q=ai:aman.bogdan “乔巴努,加布里埃尔” https://zbmath.org/authors/?q=ai:ciobanu.gabriel 小结:我们定义了组织P系统,并将执行成本分配给用于在细胞间传输对象的突触。我们使用定价的定时Maude重写引擎来提供组织P系统的实现成本。该实现允许我们分析和验证组织P系统的一些行为方面的成本。我们通过提供旅行商问题的一个解决方案来说明这些带成本的组织P系统的应用。 膜计算中规则的同步 https://zbmath.org/1469.68019 至2025年5月23日23时33分 “阿曼,博格丹” https://zbmath.org/authors/?q=ai:aman.bogdan “乔巴努,加布里埃尔” https://zbmath.org/authors/?q=ai:ciobanu.gabriel 摘要:我们通过在规则之间施加同步来修改膜系统中最常用的进化策略(即最大并行策略)。只有当一组规则的每个规则至少可以应用一次时,才能应用该组规则的同步。对于工作在接受模式下的膜系统,这种同步足够强大,不需要任何其他成分(没有催化剂、促进剂、抑制剂等)就可以提供计算的完整性。通过模拟基本的算术运算(加、减、乘、除)来描述同步的建模能力。 学习系统中的超参数优化 https://zbmath.org/1469.68020 2021-10-13T23:05:33.257084Z “安多妮,Răzvan” https://zbmath.org/authors/?q=ai:andonie.razvan 小结:当机器学习模型的训练参数在训练阶段被调整时,超参数(或元参数)的值必须在学习阶段之前指定。目标是找到一组超参数值,在合理的时间内为数据提供最佳模型。我们提出了一个学习系统超参数优化方法的综合观点,重点是计算复杂性方面。我们的论文是要解决一个超参数优化问题,并结合优化技术、搜索空间技术和训练时间缩减技术。来自实际应用的案例研究说明了实际的方面。我们为未来自适应P系统中参数和超参数的分离建立了框架。 基于动态算子OLMS膜算法的GCP新算法 https://zbmath.org/1469.68021 2021-10-13T23:05:33.257084Z “安德烈·古兹曼,何塞·安东尼奥” https://zbmath.org/authors/?q=ai:andreu-古兹曼·何塞·安东尼奥 “瓦伦西亚卡布雷拉,路易斯” https://zbmath.org/authors/?q=ai:瓦伦西亚-卡布雷拉·路易斯 摘要:图着色问题是一个NP完全的组合优化问题。它的计算复杂性促使许多人努力通过不同的元启发式算法来获得近似解,例如进化算法的几种变体。另一方面,膜算法作为一种替代的混合技术出现了,它融合了膜系统的结构和操作程序,以及每个膜内部的优化算法的能力。本文探讨了一种新的单级膜系统变体的能力,它使用了一种最新的进化算法,根据找到的最佳适应度动态使用不同的遗传算子。实验结果表明,该算法比动态进化算法具有更好的性能,而且膜系统提供了额外的价值。此外,还分析了算法中涉及到的一些参数的作用,包括膜的数目、每个膜的迭代次数或突变率。 用反应系统模拟可逆计算 https://zbmath.org/1469.68022 2021-10-13T23:05:33.257084Z “巴戈西,阿提拉” https://zbmath.org/authors/?q=ai:bagossy.attila “瓦齐尔,戈尔吉” https://zbmath.org/authors/?q=ai:vaszil.gyorgy 摘要:反应系统是一个正式的计算模型,为研究活细胞内的生化反应提供了一个框架。我们把这些系统的功能看作是一个过程,产生一系列不同的可能的实体集合,这些实体可以通过反应的应用而改变,我们在这个框架中研究可逆性及其模拟。我们的目标是建立一个Undo-Redo-Do-like的可逆语义,环境控制计算的方向,遵循所谓的无记忆方法,即不引入对反应系统模型本身的修改。我们首先确定系统必须满足的条件,才能产生由具有独特前驱体的状态组成的过程,然后根据可逆相互作用过程定义可逆反应系统。对于这种可逆系统,我们还构造了一个模拟器系统,它可以在可逆交互过程的状态之间来回移动,这是基于环境中一个特殊的“回滚”符号的输入。 序列动态阈值神经P系统 https://zbmath.org/1469.68023 2021-10-13T23:05:33.257084Z “宝,婷婷” https://zbmath.org/authors/?q=ai:bao.tingting “周,南” https://zbmath.org/authors/?q=ai:zhou.nan “吕泽琼” https://zbmath.org/authors/?q=ai:lv.zeqiong “彭,红” https://zbmath.org/authors/?q=ai:peng.hong “王,君” https://zbmath.org/authors/?q=ai:wang.jun.6 动态阈值神经P系统(dynamicthreshold neural P systems,简称DTNP系统)是从神经元的峰值机制和动态阈值机制中抽象出来的一种分布式并行计算系统。DTNP系统由多个动态阈值神经元组成,每个神经元都有一个数据单元和一个阈值单元。研究了DTNP系统的计算完备性。DTNP系统是同步系统,假设一个全局时钟来同步所有阈值神经元。然而,这个假设在生物学上是不现实的。本文讨论了工作在顺序模式下的DTNP系统,即顺序DTNP系统(简称SDTNP系统)。根据活动神经元的峰值数目和规则应用策略,考虑了四种顺序策略。证明了在四种顺序策略下工作的SDTP系统是图灵通用数生成/接受装置。 用时间Petri网描述膜系统:促进剂/抑制剂,膜溶解和优先级 https://zbmath.org/1469.68024 2021-10-13T23:05:33.257084Z “巴蒂,尼提” https://zbmath.org/authors/?q=ai:battyanyi.peter “瓦齐尔,戈尔吉” https://zbmath.org/authors/?q=ai:vaszil.gyorgy 小结:我们继续研究膜系统与时间Petri网之间的联系,将所研究的系统类别从简单的符号对象膜系统扩展到更复杂的情况:具有启动子/抑制剂的规则、膜溶解和规则的优先关系。通过构造模拟时间Petri网,保留了Petri网模型的主要特征之一;也就是说,转换的触发可以以任何顺序发生,并且不需要在Petri网语义中引入最大并行性。相反,我们充分利用了Petri网的时序特性所获得的计算强度增益。 膜计算模型和机器人控制器设计,当前结果和挑战 https://zbmath.org/1469.68025 2021-10-13T23:05:33.257084Z “布尤,Cătălin” https://zbmath.org/authors/?q=ai:buiu.catalin “弗洛里亚,安德烈·乔治” https://zbmath.org/authors/?q=ai:florea.andrei-乔治 摘要:为单机器人和多机器人系统设计薄膜控制器是布加勒斯特理工大学自然计算与机器人实验室(natuRO)于2011年启动的一个应用领域。本文综述了natuRO在基于各种膜系统模型的机器人控制器设计方面的研究进展。在介绍了机器人学和自然计算之后,本文遵循了多个方向。首先,介绍了三种膜系统模拟器,并考虑了它们的发展、比较能力和各自的应用领域。其次,本文主要介绍了膜系统在机器人控制中的应用,重点介绍了natuRO、酶数值P系统和XP菌落的新型膜计算模型及其在单机器人和多机器人应用中的具体应用。第三,论文继续对薄膜控制器与传统的单机器人和多机器人系统控制方法的性能、当前面临的挑战以及克服这些问题的可能方法进行了综述。结论部分给出了今后相关工作的实例。 用子句补全法计算含活性膜的a(k)P体系的SAT https://zbmath.org/1469.68026 2021-10-13T23:05:33.257084Z “布诺,开尔文” https://zbmath.org/authors/?q=ai:buno.kelvin-c “阿多娜,亨利” https://zbmath.org/authors/?q=ai:adorna.henry-纳提维达 摘要:在\texdit{Z.Gazdag}和\texdit{G.Kolonits}[Lect.Notes Comput.Sci.7762,195--207(2013;Zbl 1388.68115)]提出的一项工作表明,在具有活性膜的非分布P系统上,可以使用子句完成法在线性时间内求解变量个数。本文提出了一个具有活性膜的分布P系统,用子句完成法求解SAT(表示为\(k)-(\ varDelta(n))\)\(k\)—\(\varDelta(n)\)是SAT的弱一致解,它只与布尔公式(\varphi\)的变量数\(n\)有关。对于2组分的解,\(2\)-\(\varDelta(n)\),我们证明了通信代价是恒定的。但是,增加\(k\)-\(\varDelta(n)\,\(k\ge3\)中的组件数量会使通信成本不仅取决于组件的数量和变量的数量,而且还取决于满足分配给\(\varphi\)的数量。我们报告说,为了获得这些合理的通信成本,需要指数数量的资源(以字母表大小和规则为单位)来构造求解SAT的\(k \)(\varDelta(n)\)。 基于空间填充曲线的组织P系统划分规则 https://zbmath.org/1469.68027 2021-10-13T23:05:33.257084Z “塞特奇,罗迪卡” https://zbmath.org/authors/?q=ai:ceterchi.rodica “奥雷利亚娜·马丁恩,大卫” https://zbmath.org/authors/?q=ai:orellana-马丁。大卫 “张,葛香” https://zbmath.org/authors/?q=ai:zhang.gexiang 小结:我们提出了一种新的组织P系统变体,具有定向的分割规则和外部输入。定向除法规则基于Hilbert空间填充曲线,更精确地说是基于一种新的并行数组重写规则的变体,它在数组表示中生成不同分辨率的Hilbert字。这里介绍的P系统还可以接收来自外部源的输入。用一个简单的问题来说明这一点,即近似二维图像的轮廓。 用P系统生成字符串表示的图像:空间填充曲线的情况 https://zbmath.org/1469.68028 2021-10-13T23:05:33.257084Z “塞特奇,罗迪卡” https://zbmath.org/authors/?q=ai:ceterchi.rodica “苏布拉曼尼亚,K.G.” https://zbmath.org/authors/?q=ai:subramanian.kumbakonam-戈文达拉扬 摘要:P系统的计算模型及其若干变体是处理各种问题的一个非常方便的框架。构造了P系统来生成空间填充曲线的近似几何图形,如Peano曲线、Hilbert曲线等。本文介绍了用并行重写P系统生成空间填充曲线及相关曲线的最新进展。 P菌落与反应体系 https://zbmath.org/1469.68029 2021-10-13T23:05:33.257084Z “西西亚洛娃,露西” https://zbmath.org/authors/?q=ai:ciencialova.lucie “西西亚拉,路德ěk” https://zbmath.org/authors/?q=ai:cienciala.ludek “卡苏哈伊·瓦尔杰,埃尔兹贝特” https://zbmath.org/authors/?q=ai:csuhaj-瓦兹贝特 摘要:P群体是一种抽象的计算设备,它模拟了生活在一个由多个对象集构成的联合共享环境中的非常简单的反应剂群体。反应系统被认为是一种计算设备,它的组成部分代表在给定的集合共享环境中发生的基本化学反应。虽然P菌落与多个对象集一起工作,反应系统与多个集合一起工作,但这两个模型是可以联系在一起的。本文介绍了一种新的P菌落模型,它将环境表示为一个集合,并说明如何在给定的反应系统中构造一个模拟交互过程的P菌落。 与膜系统相关的记忆 https://zbmath.org/1469.68030 2021-10-13T23:05:33.257084Z “乔巴努,加布里埃尔” https://zbmath.org/authors/?q=ai:ciobanu.gabriel “皮娜,G.米歇尔” https://zbmath.org/authors/?q=ai:pinna.g-米歇尔 摘要:我们研究与膜系统相关的记忆概念。这种记忆可以用多种方式使用;在本文中,我们重点讨论其中的两个问题。一种方法是将内存视为跟踪对象如何演化的设备。从这个角度看,记忆被编码成对象,这些对象被适当的信息丰富,以跟踪它们是如何产生的。这种记忆可以用来研究膜进化的可逆性。另一种方法是将存储器视为先前在同一进化步骤中消耗的对象的存储设备。这种内存允许描述对象的动态分配;提出了动态语义和静态语义,并证明了它们的等价性。 具有结构塑性的齐次尖峰神经P系统 https://zbmath.org/1469.68031 2021-10-13T23:05:33.257084Z “德拉克鲁兹,伦特里斯坦A” https://zbmath.org/authors/?q=ai:de-拉克鲁斯,伦-特里斯坦-a “卡巴尔,弗朗西斯·乔治C。” https://zbmath.org/authors/?q=ai:cabarle.francis-乔治-c “Macababayao,Ivan Cedric H.” https://zbmath.org/authors/?q=ai:macababayao.ivan-塞德里克-h “阿多娜,亨利N。” https://zbmath.org/authors/?q=ai:adorna.henry-纳提维达 “曾湘湘” https://zbmath.org/authors/?q=ai:zeng.xiangxiang 小结:SNP系统(Spiking neural P system,SNP系统)是一种受神经元放电机制启发的计算模型。SNP系统是一个神经元的有向图,可以使用一个称为尖峰的对象(对象spike代表动作电位或神经冲动)相互通信。结构塑性尖峰神经P系统(SNPSP系统)是SNP系统模型的一个变种。它将结构塑性的概念引入SNP系统模型。SNPSP系统能够增加和删除神经元之间的连接。在SNPSP系统中,神经元的行为可以通过给它一组规则来“编程”。不同的规则集将导致不同的行为。在这项工作中,我们证明了构建一个通用的SNPSP系统是可能的,其中系统中的所有神经元都使用相同的规则集。这种系统被称为同质SNPSP系统。 微分模式和停止条件对P系统计算能力的影响 https://zbmath.org/1469.68032 2021-10-13T23:05:33.257084Z “弗伦德,鲁道夫” https://zbmath.org/authors/?q=ai:freund.rudolf-雅各布·弗伦德·鲁道夫 小结:在P系统领域,除了标准的最大并行求导模式外,还研究了许多其它的微分模式。本文综合考虑了采用不同导频方式的分层P系统的多种变体,说明了采用不同导频方式,特别是最大并行导频方式和最大平行集导频方式对系统产生和接受功率的影响。此外,本文还对P系统的一些控制机制进行了综述。此外,除了标准的完全停止外,我们还考虑了不同的停止条件,如无条件停止和部分停止,并解释了使用不同的停止条件可以显著改变P系统的计算能力。 一种模拟具有活性膜的无极化P系统限制变量的新方法 https://zbmath.org/1469.68033 2021-10-13T23:05:33.257084Z “加兹达格,兹索尔特” https://zbmath.org/authors/?q=ai:gazdag.zsolt “哥伦蒂斯,哥巴尔” https://zbmath.org/authors/?q=ai:kolonits.gabor 小结:根据Gh的P猜想。Păun,具有活性膜的无极化P系统不能在多项式时间内解决完全问题。这个猜想只有在特殊情况下才能被证明。在本文中,我们考虑只使用基本膜的分裂和溶解规则,并且初始膜结构除了皮肤膜外还有一个基本膜的情况。基于本文引入的对象划分多项式的概念,我们提出了一种新的方法来模拟这些P系统的某些计算。此外,我们展示了如何使用这些多项式有效地计算这些计算的结果。 从反应函数中提取行为系统 https://zbmath.org/1469.68034 2021-10-13T23:05:33.257084Z “热那瓦,丹妮拉” https://zbmath.org/authors/?q=ai:genova.daniela “万岁,亨德里克·扬” https://zbmath.org/authors/?q=ai:hoogeboom.hendrik-一月 “普罗达诺夫,佐尼察” https://zbmath.org/authors/?q=ai:prodanoff.zornitza 摘要:反应系统是由Ehrenfeucht和Rozenberg提出的一种理论计算模型,它基于生物化学反应的两个主要特征:促进和抑制,这两个特征被系统的单个反应捕捉。所有反应共同作用,决定了系统的整体行为或结果函数res。本文研究了一个给定结果函数的分解,以寻找一个功能等价的反应集。我们提出了几种基于布尔函数、布尔公式和逻辑电路识别反应系统的方法。我们展示了如何在只考虑状态子集的情况下,将单个输出作为一个组来最小化每个输出的反应数及其资源。当给定res函数的反应已知或未知时,这些方法都有效。我们通过反应系统的布尔公式表示的最小逻辑项来刻画最小反应数。最后,我们对我们的发现提出应用建议。 尖峰神经P系统:矩阵表示与形式验证 https://zbmath.org/1469.68035 2021-10-13T23:05:33.257084Z “乔治,玛丽安” https://zbmath.org/authors/?q=ai:gheorghe.marian “左卡鲁,拉鲁卡” https://zbmath.org/authors/?q=ai:lefticaru.raluca “科努尔,萨瓦” https://zbmath.org/authors/?q=ai:konur.savas “尼古列斯库,爱奥尼米海” https://zbmath.org/authors/?q=ai:niculescu.ionut-米海 “阿多娜,亨利N。” https://zbmath.org/authors/?q=ai:adorna.henry-纳提维达 摘要:模型的结构和行为特性在复杂系统的开发和应用中非常重要。本文研究了一类snp系统的性质。首先,研究了一类与一组路由问题相关的snp系统的矩阵表示。这就使得这些问题之间有一定的联系。其次,通过将这些模型自然地直接映射到配备了适当形式化验证方法和工具的kP系统中,对这些snp系统的行为特性进行了形式化验证。通过实例验证了该方法的有效性。 用cP系统求解PSPACE完全问题 https://zbmath.org/1469.68036 2021-10-13T23:05:33.257084Z “亨德森,亚历克” https://zbmath.org/authors/?q=ai:henderson.alec “尼古拉斯库,拉杜” https://zbmath.org/authors/?q=ai:nicolescu.radu “迪宁,迈克尔J。” https://zbmath.org/authors/?q=ai:dineen.michael-j 摘要:目前已有一些NP难问题用cP系统解决,其中包括旅行商问题。然而,这些问题是典型的NP问题,而不是更高的多项式时间层次。本文求解了著名的PSPACE完全问题QSAT(又称TQBF)。与其他现有的汇合P系统解决方案相比,我们的确定性cP解决方案只使用少量的自定义字母符号(19)、少量的常量规则(10)和较小的固定膜嵌套深度上限(6),而与问题大小无关。 用确定性P模处理动态反应系统拓扑:光合作用的一个实例研究 https://zbmath.org/1469.68037 2021-10-13T23:05:33.257084Z “欣兹,托马斯” https://zbmath.org/authors/?q=ai:hinze.thomas 摘要:化学反应网络的拓扑结构通常被视为静态结构。如果底物浓度和动力学参数值专门决定所有考虑的反应的行为,这可能就足够了。相比之下,生命科学中观察到的许多现象暗示着反应方案的动态组成具有不同的性质。当系统运行时,单个反应或反应官能团(模块)被外部信号(如光强度)激活或停用。在其他情况下,反应出现或消失,而模块可以相互连接或断开,因为有或没有相应的触发信号。我们通过一个扩展版的确定性P模块捕捉动态反应网络结构,并对触发信号进行评估,这有助于进行详细的电子模拟研究,从而更容易理解和预测复杂的生物系统。一个致力于植物光合作用的案例研究表明,除了单纯使用常微分方程外,还考虑了事件、不可微的外部触发信号和相应地修改基本反应模式的阈值,它的作用更大。 水膜计算 https://zbmath.org/1469.68038 2021-10-13T23:05:33.257084Z “欣兹,托马斯” https://zbmath.org/authors/?q=ai:hinze.thomas “快乐,亨德里克” 作者:https://math.happorg “亨德森,亚历克” https://zbmath.org/authors/?q=ai:henderson.alec “尼古拉斯库,拉杜” https://zbmath.org/authors/?q=ai:nicolescu.radu 小结:我们介绍水箱系统作为一种新型的膜系统,其灵感来自于水或其他液体的分散控制循环,整个细胞称为水箱,毛细血管称为管道。据我们所知,这是第一个解决浮水和蓄水行为原理的提案,用于膜计算信息处理的建模。在模拟计算中,水箱内的水量代表非负有理数,也可以通过“几乎)满”或“几乎空”的区分以二进制方式解释。水箱可以通过管道相互连接,以便直接输送水。每根管道可配备阀门,根据永久性测量结果,无论专用水箱中的填充水平是否超过某个阈值,这些阀门依次完全打开或完全关闭主管道。我们展示了专用水箱系统以及模拟案例研究:一个用于产生时钟信号和迭代地以循环方式提供可用水量的环形振荡器、通过实现加法、非负减法、除法的模拟算法,以及由二进制模式的系统补充的乘法,以实现所选的逻辑门。 反应系统的可控性 https://zbmath.org/1469.68039 2021-10-13T23:05:33.257084Z “伊万诺夫,塞尔吉乌” https://zbmath.org/authors/?q=ai:ivanov.sergiu “皮特,伊恩” https://zbmath.org/authors/?q=ai:petre.ion 控制一个动态系统是指通过适当的输入选择来任意改变其结构的能力。它是控制理论中一个研究得很好的概念,在医学、生物学、社会科学和工程中有着广泛的应用。本文引入反应系统可控性的概念,即通过适当选择上下文序列,在任意两个状态之间转换的能力。我们证明了问题是PSPACE难的。我们还介绍了一个基于反应系统的致癌信号传递模型,并用它来说明反应系统可控性的复杂性。这项研究为反应系统动力学特性的研究开辟了一条新的途径,并引入了一种基于反应系统的复杂生物医学模型。 一种改进的通用尖峰神经P系统 https://zbmath.org/1469.68040 2021-10-13T23:05:33.257084Z “江,云” https://zbmath.org/authors/?q=ai:jiang.yun “苏,延森” https://zbmath.org/authors/?q=ai:su.yansen “罗,芬” https://zbmath.org/authors/?q=ai:luo.fen 小结:spiking neural P systems(snp systems,简称snp系统)是一类分布式并行计算设备,它是神经元通过尖峰进行通信的生物学现象。到目前为止,大多数snp系统中的触发规则通常以顺序或穷举的方式工作。最近,在SN-P系统中考虑了上述两种方法的结合。这种新的规则使用策略称为广义规则使用方法,它既适用于触发规则,也适用于遗忘规则。在具有广义规则使用的snp系统(简称sngrp系统)中,如果一条规则在某个步骤中被使用,它可以被应用任何可能的次数,不确定性地选择。本文研究了sngrp系统的计算完备性。具体地说,构造了一个通用的sngrp系统,每个神经元最多包含5个规则,每一个触发规则最多消耗6个峰值,每个遗忘规则最多移除4个峰值。这一结果对这些相关参数进行了改进,从而为原著中提到的开放性问题提供了答案。此外,通过这种改进,我们可以使用更少的资源(神经元和系统进化过程中涉及的尖峰)来构建通用的sngrp系统。 带能量演化通信P系统的结果综述 https://zbmath.org/1469.68041 2021-10-13T23:05:33.257084Z “胡勇,里谢尔·安·B。” https://zbmath.org/authors/?q=ai:juayong.richelle-安-b “阿多娜,亨利N。” https://zbmath.org/authors/?q=ai:adorna.henry-纳提维达 小结:我们调查了与试图定义P系统的通信复杂性有关的结果。我们的P系统模型将是2010年引入能量的进化通信P系统。最后提出了一些见解和研究方向。 尖峰神经P系统中随机性和概率的回归 https://zbmath.org/1469.68042 2021-10-13T23:05:33.257084Z “拉佐,普罗米修斯·彼得L。” https://zbmath.org/authors/?q=ai:lazo.prometheus-彼得-l “卡巴尔,弗朗西斯·乔治C。” https://zbmath.org/authors/?q=ai:cabarle.francis-乔治-c “阿多娜,亨利N。” https://zbmath.org/authors/?q=ai:adorna.henry-纳提维达 “是啊,简·迈克尔·C。” https://zbmath.org/authors/?q=ai:yap.jan-迈克尔-c 小结:这项工作继续研究将概率引入到尖峰神经P系统,简称SNP系统——从生物尖峰神经元得到的膜计算模型。这是一个特殊的非定常P射击系统的选择准则。规则表示神经元对电脉冲或尖峰数量的可能反应。直觉上,具有不确定性的选择可以解释为所有选项的概率相等的随机选择。在某些生物学意义上,这似乎是不自然的,因为一些反应通常比其他反应更活跃,如[\texdit{A.Obtułowicz}和\texit{G.Păun},`(在寻找)概率P系统',Biosyst.70,No.2,107--121(2003;\url{doi:10.1016/s0303-2647(03)00034-0})]。结果发现,引入到触发规则不确定性选择中的随机过程一般也适用于规则的应用,无论规则是用于触发还是用于遗忘,以及单个规则是适用于多个规则。本文提出了一种snp系统,简称snp系统\(\star\)snp系统是在snp系统中引入规则应用的先验随机过程的变体。 无电荷P系统的图灵机仿真 https://zbmath.org/1469.68043 2021-10-13T23:05:33.257084Z “莱波拉蒂,阿尔伯托” https://zbmath.org/authors/?q=ai:leporati.alberto “曼佐尼,卢卡” https://zbmath.org/authors/?q=ai:manzoni.luca-e “毛里,詹卡洛” https://zbmath.org/authors/?q=ai:mauri.giancarlo “波雷卡,安东尼奥E” https://zbmath.org/authors/?q=ai:porreca.antonio-e “赞德隆,克劳迪奥” https://zbmath.org/authors/?q=ai:zandron.claudio 摘要:众所周知,在P猜想定义中所涉及的无极化P系统可以利用其一致性条件来解决复杂类中的问题。在这里,我们证明了他们确实能够模拟一个确定性图灵机工作在多项式时间和较弱的均匀性条件下,只使用一个层次的膜嵌套。这使得我们可以将这种结构嵌入到更复杂的膜结构中,这可能表明类似于带电荷的P系统的结构可以继续进行。 合作模拟计数神谕 https://zbmath.org/1469.68044 2021-10-13T23:05:33.257084Z “莱波拉蒂,阿尔伯托” https://zbmath.org/authors/?q=ai:leporati.alberto “曼佐尼,卢卡” https://zbmath.org/authors/?q=ai:manzoni.luca-e “毛里,詹卡洛” https://zbmath.org/authors/?q=ai:mauri.giancarlo “波雷卡,安东尼奥E” https://zbmath.org/authors/?q=ai:porreca.antonio-e “赞德隆,克劳迪奥” https://zbmath.org/authors/?q=ai:zandron.claudio 摘要:许多具有活性膜的P系统的变体能够解决传统上难以解决的问题。有时,它们还根据它们所使用的计算特性来刻画众所周知的复杂性类。本文继续研究(最小)合作规则对提高P系统计算能力的重要性。特别地,我们证明了在多项式时间内工作的具有活性膜和最小合作的单向浅层无电荷P系统精确地描述了\(\mathbf{P}^{\\{\mathbf{P}}}}}{{\平行}\),由确定性图灵机在多项式时间内解决的一类复杂问题,具有多项式数目的并行查询到甲骨文中的一个计数问题。 浅层简洁的P系统可以计数 https://zbmath.org/1469.68045 2021-10-13T23:05:33.257084Z “莱波拉蒂,阿尔伯托” https://zbmath.org/authors/?q=ai:leporati.alberto “曼佐尼,卢卡” https://zbmath.org/authors/?q=ai:manzoni.luca-e “毛里,詹卡洛” https://zbmath.org/authors/?q=ai:mauri.giancarlo “波雷卡,安东尼奥E” https://zbmath.org/authors/?q=ai:porreca.antonio-e “赞德隆,克劳迪奥” https://zbmath.org/authors/?q=ai:zandron.claudio 摘要:具有活性膜和电荷的浅P系统的均匀族被称为复杂性类(\mathsf{P}^{\\\.\mathsf{P}}),因为这类P系统能够“计数”分裂膜发出的物体数量。这种能力在不允许发送规则的单向系统中是不存在的:在这种情况下,只能识别\(\mathsf{P}^{\mathsf{NP}}}\\parallel\)中的语言。在这里,我们展示了即使是很小的通信量(也就是说,在计算过程中每个膜只允许一个发送)也足以实现计算和解决类\(\mathsf{P}}{\\\\mathsf{P}}}}\parallel\)中的所有问题,其中所有查询都是独立执行的。 用PAT3和ProB对cP系统进行形式化验证 https://zbmath.org/1469.68046 2021-10-13T23:05:33.257084Z “刘,叶州” https://zbmath.org/authors/?q=ai:liu.yezhou “尼古拉斯库,拉杜” https://zbmath.org/authors/?q=ai:nicolescu.radu “孙静” https://zbmath.org/authors/?q=ai:sun.jing 概要:作为最近提出的一种膜计算模型,cP系统能够解决计算困难和分布问题。虽然在以前的研究中已经正式验证了几种膜系统变体,但它们的方法都不适用于cP系统。为了形式化地验证cP系统的安全性和活性,我们解决了cP系统中一个著名的NP完全问题——子集和问题,并使用PAT3和ProB模型检验器对cP解决方案进行了验证。我们的cP解决方案在时间复杂度上优于以前的工作,并且使用更少的规则。为了在cP系统中进行模型检验,我们定义了从cP符号到形式化验证语言CSP{\\}和B的映射规则,证明了使用模型检验器可以有效地检测cP系统中的设计错误。首先证明了该模型能够有效地转化为系统的形式化验证。 cP系统的一个次线性数独解及其形式化验证 https://zbmath.org/1469.68047 2021-10-13T23:05:33.257084Z “刘,叶州” https://zbmath.org/authors/?q=ai:liu.yezhou “尼古拉斯库,拉杜” https://zbmath.org/authors/?q=ai:nicolescu.radu “孙静” https://zbmath.org/authors/?q=ai:sun.jing “亨德森,亚历克” https://zbmath.org/authors/?q=ai:henderson.alec 摘要:数独被称为一个NP完全的组合数字布局难题。在这项研究中,我们提出了第一个cP系统解决一般数独问题的方法,这些解题单元分为m个区块。通过使用固定的规则数目,我们的cP系统可以用次线性的步骤来解决所有的数独难题。我们评估了cP系统,并讨论了它的形式验证。 反应系统中的促进作用 https://zbmath.org/1469.68048 2021-10-13T23:05:33.257084Z “曼佐尼,卢卡” https://zbmath.org/authors/?q=ai:manzoni.luca-e “波雷卡,安东尼奥E” https://zbmath.org/authors/?q=ai:porreca.antonio-e “罗森伯格,格尔茨戈尔茨” https://zbmath.org/authors/?q=ai:rozenberg.grzegorz 摘要:反应系统是一种形式化的计算模型,起源于活细胞内生化反应之间的相互作用。这些相互作用基于两种机制,即促进和抑制,这在反应体系的形成中得到了很好的反映。在这篇论文中,我们研究了反应系统的促进作用,其中一个反应的产物可以通过提供它们的一些反应物来促进其他反应。这个方面是通过正依赖图形式化的,它明确地描述了这种促进交互作用。本文的重点是论证由正相关图的性质定义的反应系统的结构性质如何影响反应系统(适当的子类)的行为特性,而这些反应系统通常是通过它们的转移图来定义的。 基于HP/LP基本神经元的spiking神经P系统容错串行二进制全加器 https://zbmath.org/1469.68049 2021-10-13T23:05:33.257084Z “奥奇巴特,奥特戈纳兰” https://zbmath.org/authors/?q=ai:ochirbat.otgonnaran “伊什多吉,泽伦·奥诺特” https://zbmath.org/authors/?q=ai:ishdorj.tseren-奥诺特 “西雄,戈登” https://zbmath.org/authors/?q=ai:cichon.gordon 摘要:我们提出了一种改进型加法器的实现方法。我们的加法器处理任意长度的二进制数,因此,适合于密码应用。由于采用双轨逻辑,加法器也具有容错性。给出了系统实现的概念,并在systemc中建立了仿真模型。 寻找计算效率边界:Păun猜想 https://zbmath.org/1469.68050 2021-10-13T23:05:33.257084Z “奥雷利亚娜·马丁恩,大卫” https://zbmath.org/authors/?q=ai:orellana-马丁。大卫 “里斯科-努涅斯,阿古斯丁” https://zbmath.org/authors/?q=ai:riscos-阿古斯丁 小结:2005年,Gh。Păun从复杂性的角度提出了一个有趣的问题,即电荷在具有活性膜的P系统中的作用。具体来说,他提出了一个关于无极化P系统的计算效率的问题,该系统的溶解规则和分割规则仅适用于基本膜。已经采取了几种方法,并给出了部分答案。这可能是膜计算框架下计算复杂性理论中最重要的开放性问题。膜系统效率的研究是一个非常富有成果的领域,不仅提供了上述部分答案,而且提供了解决\textbf{P}vs\textbf{NP}问题的几个效率前沿。在这项工作中,给出了一个关于复杂性方面的经典和当前的结果的综述,着重于效率的前沿和每一个方面所考虑的因素。 膜上只有一个蛋白质的类细胞P系统的计算能力 https://zbmath.org/1469.68051 2021-10-13T23:05:33.257084Z “宋,伯生” https://zbmath.org/authors/?q=ai:song.bosheng “罗,小燕” https://zbmath.org/authors/?q=ai:luo.xiaoyan “瓦伦西亚卡布雷拉,路易斯” https://zbmath.org/authors/?q=ai:瓦伦西亚-卡布雷拉·路易斯 “曾湘湘” zheng.zbai/作者:zheng zbai 摘要:膜上有蛋白质的P系统是受生物学启发的分布式并行计算模型,其中多组蛋白质与一个膜相关联。在这篇论文中,我们提出了这样一个系统的变体,在这种情况下,一个膜上只有一个蛋白质,当使用相应的进化规则时,这种蛋白质可以改变,也可以不改变。这种新型的膜系统称为膜上有一个蛋白质的P系统。研究了这类系统的计算能力。我们证明,如果以适当的方式组合不同类型的规则,那么使用两个膜且每个膜只有一个蛋白质的P系统是通用的。这些结果表明,在膜骨架上只有一个蛋白的类细胞P系统中,膜蛋白对实现图灵完全性起着至关重要的作用。 从P系统到形态发生系统:综述与开放问题 https://zbmath.org/1469.68052 2021-10-13T23:05:33.257084Z “索斯克,彼得” https://zbmath.org/authors/?q=ai:sosik.petr “德拉斯蒂克,简” https://zbmath.org/authors/?q=ai:drastik.jan “斯莫尔卡,弗拉迪米尔” https://zbmath.org/authors/?q=ai:smolka.vladimir “加松,麦克斯” https://zbmath.org/authors/?q=ai:garzon.max-h 摘要:形态发生(M)系统是一种抽象的计算模型,其灵感来源于活细胞和生物体的形态发生过程。它们是作为膜上有蛋白质的P系统的泛化而产生的。抽象单元不被用作原子元素,但它们可以由更简单的原语(称为tiles)组装而成,这些元素具有预定义的形状、大小和在2D或3D欧几里德空间中可变的位置。这种额外的现实主义水平提供了与合成或系统生物学领域更密切的联系。我们总结了关于M系统的已知结果,包括计算普适性、求解复杂问题的计算效率的研究,并讨论了它们与P系统其他模型的关系。M系统的一个重要性能是其在损伤下的鲁棒性和自愈性,这一点已经在理论上得到了证实,并在实验上得到了验证。最后,我们给出了受细胞有丝分裂过程启发的计算实验结果。所有的话题都伴随着相关的开放性问题。 反应系统的严格极小模拟 https://zbmath.org/1469.68053 2021-10-13T23:05:33.257084Z “德,文臣” https://zbmath.org/authors/?q=ai:teh.wen-钱 “阿塔纳修,阿德里安” https://zbmath.org/authors/?q=ai:atanasiu.adrian 摘要:反应系统,由Ehrenfeucht和Rozenberg介绍,是基于活细胞内发生的生化反应的基本计算模型。由于最小反应系统的简单性和丰富的生成能力,许多研究集中在数学方面\texttit{L.Manzoni}等人[Int.J.Found.Comput.Sci.25,No.441--457(2014;Zbl 1360.68466)]表明,每个反应系统都可以在一个扩展的背景集上由某个最小反应系统来模拟。基于他们的工作,我们介绍了严格极小和混合反应系统的概念。利用我们的新概念,对Manzoni等人的结果进行了重新审视和加强。我们还指出,由多项式有界的元素数扩展背景集不足以保证上述模拟。最后给出了强模拟的类似结果。 膜计算中基于搜索的测试 https://zbmath.org/1469.68054 2021-10-13T23:05:33.257084Z “乌利亚,安娜” https://zbmath.org/authors/?q=ai:turlea.ana “乔治,玛丽安” https://zbmath.org/authors/?q=ai:gheorghe.marian “Ipate,佛罗伦萨” https://zbmath.org/authors/?q=ai:ipate.florentin “科努尔,萨瓦” https://zbmath.org/authors/?q=ai:konur.savas 摘要:基于搜索的测试广泛用于生成测试集。它也适用于基于模型的测试,特别是(扩展的)有限状态机。在本文中,我们为核P系统模型定义了这样一种方法。我们考虑了一个特定的核P系统模型,并定义了一种基于搜索的测试方法。生成的测试集由输入序列组成,产生由模型定义的给定计算。一个例子说明了所介绍方法的使用。 膜计算中的模拟挑战 https://zbmath.org/1469.68055 2021-10-13T23:05:33.257084Z “瓦伦西亚卡布雷拉,路易斯” https://zbmath.org/authors/?q=ai:瓦伦西亚-卡布雷拉·路易斯 “Pérez Hurtado,伊格纳西奥” https://zbmath.org/authors/?q=ai:perez-赫塔多·伊格纳西奥 “玛蒂内斯德尔阿莫尔,米格尔” https://zbmath.org/authors/?q=ai:martinez-米格尔天使 正式的生命模拟工具使它们成为现实系统的关键建模工具。这种模拟器根据用户的需求和具体应用的需求,以各种方式抽象P系统的概念。我们确定了三个主要的抽象层次:图形用户界面、模拟引擎和并行实现。在这篇论文中,我们调查了这些层次的技术现状,并讨论了未来发展中考虑的主要挑战。 基于MeCoSim和P-Lingua框架的启动子模拟组织P系统 https://zbmath.org/1469.68056 2021-10-13T23:05:33.257084Z “瓦伦西亚卡布雷拉,路易斯” https://zbmath.org/authors/?q=ai:瓦伦西亚-卡布雷拉·路易斯 “宋,伯生” https://zbmath.org/authors/?q=ai:song.bosheng 摘要:组织P系统是膜计算中一类著名的计算模型。受细胞间以及与环境的信息交换的启发,多年来出现了许多有趣的变体,引起了人们的极大关注。其中的一个变体,带有启动子的组织P系统,被证明是图灵通用的(即使是在有限的元素数量下),能够解决NP完全问题。另一方面,P-Lingua框架提供了有用的工具来建模、调试和仿真不同类型的P系统,并与P-Lingua语言、pLinguaCore库和MeCoSim环境有着特殊的相关性。这项工作介绍了框架中引入的新功能,以涵盖与带有启动子的组织P系统相关的功能,包括语言的扩展、组织模型的变体及其在P语言版本MeCoSim中的模拟器。详细描述了新的元素,并通过基本示例描述了这些工具的使用。此外,利用所开发的软件对一个解决方案进行了实验验证。 尖峰神经P系统的形式化框架 https://zbmath.org/1469.68057 2021-10-13T23:05:33.257084Z “维兰,谢尔盖” https://zbmath.org/authors/?q=ai:verlan.sergey “弗伦德,鲁道夫” https://zbmath.org/authors/?q=ai:freund.rudolf “阿尔哈佐夫,阿蒂姆” https://zbmath.org/authors/?q=ai:alhazov.artiom “伊万诺夫,塞尔吉乌” https://zbmath.org/authors/?q=ai:ivanov.sergiu “潘,林强” https://zbmath.org/authors/?q=ai:pan.linqiang 摘要:尖峰神经P系统是一类分布式并行计算模型,其灵感来源于神经元通过尖峰进行信息处理和相互通信的方式。2007年,texdit{R.Freund}和\texdit{S.Verlan}[Lect.Notes Comput.Sci.4860,271--284(2007;Zbl 1137.68387)]为P系统开发了一个形式化框架,以捕获P系统的大多数基本特征并以正式的方式定义其功能。在这项工作中,我们提出了一个扩展的形式框架有关的峰值神经P系统通过考虑每个规则的适用性由具体条件控制的细胞的当前内容。此扩展的主要目标是在形式框架中捕获尖峰神经P系统。我们的扩展的另一个目标是合并输入和输出的概念。最后,我们还证明了在尖峰神经P系统的情况下,规则有一个相当简单的形式,即尖峰神经P系统对应于向量加法系统,其中规则的应用是由半线性集控制的。 反应自动机理论综述 https://zbmath.org/1469.68058 2021-10-13T23:05:33.257084Z “横滨,高石” https://zbmath.org/authors/?q=ai:yokomori.takashi “大久保,福宫” https://zbmath.org/authors/?q=ai:okubo.fumiya 摘要:本文综述了反应自动机理论,对自然界生命反应的生化行为进行建模和分析。灵感来自于两个由\texdit{a.Ehrenfeucht}和\texdit{G.Rozenberg}[Fundam.Inform.75,No.1--4263--280(2007;Zbl 1108.68056);Theor.Comput.Sci.376,No.1--2,3--16(2007;Zbl 1119.93011)]和多集反应自动机(RAs)提出的概念被提出作为接受字符串语言的计算模型。给定一个符号的输入序列,RA的计算过程如下:在每次接收到输入符号时,它通过以规定的方式对多集应用反应规则来改变当前的配置(由多集表示),其中考虑了两种应用方式:最大并行方式和通常的顺序方式。RA是一个扩展的有限自动机,其中多集扮演(无界数)状态的角色,状态转移是通过应用反应规则来完成的。我们证明了RAs的计算能力在两种规则应用中都是图灵通用的。讨论了RA的空间有界变量与Chomsky层次的关系。此外,我们还讨论了化学反应自动机的概念,它是RAs的一个简化变体,其反应规则不受抑制剂的作用。我们用各种相关的计算模型和未来的研究课题来完成这项调查。 用活性膜包围P系统的空间 https://zbmath.org/1469.68059 2021-10-13T23:05:33.257084Z “赞德隆,克劳迪奥” https://zbmath.org/authors/?q=ai:zandron.claudio 摘要:具有活性膜的P体系已被广泛应用于解决{\mathbf{NP}}甚至是{mathbf{PSPACE}}}中的问题;一般来说,在多项式时间内,通过分割现有的膜来生成指数量的空间。在这个框架中,自然会出现一些问题,涉及到P系统在考虑空间资源使用的不同边界时的能力。在本文中,我们考虑两个自然边界:可用物理空间的数量(以物体和薄膜的数量计)和膜结构的组织(特别是与膜结构的深度有关)。我们介绍了迄今为止在这方面取得的主要成果。 最稠密(k)子图问题的量子解 https://zbmath.org/1469.68060 2021-10-13T23:05:33.257084Z “卡鲁德,克里斯蒂安S。” https://zbmath.org/authors/?q=ai:calude.cristian-s “迪宁,迈克尔J。” 作者:michael.zbeen.org-j “华,理查德” https://zbmath.org/authors/?q=ai:hua.richard 摘要:本文首次给出了在计算生物学中有许多应用的最稠密(k)子图问题的量子退火解。我们的解被表示为二次无约束二元优化(QUBO)和整数规划问题的解,证明了与最稠密的(k)子图问题等价,然后在D-Wave 2X机上进行了测试。在逻辑量子位的数量方面,QUBO公式是最优的,但是在嵌入之后需要最高数量的物理量子位。这里报告的实验工作表明,D波2X模型不能处理这种困难的问题。下一代的D-wave硬件架构——飞马座架构——比目前的架构要密集得多,因此密集的QUBOs将更容易嵌入。实验工作还表明,当前内置的后处理优化方法在某些问题上效果不佳,应避免默认设置(启用后处理优化)(或至少在打开前进行测试)。 整数环和剩余环上解低阶方程的复杂性 https://zbmath.org/1469.68061 2021-10-13T23:05:33.257084Z 加什科夫,S.B https://zbmath.org/authors/?q=ai:gashkov.sergey-b 加什科夫,I.B https://zbmath.org/authors/?q=ai:gashkov.igor-b “弗罗洛夫,A.B.” https://zbmath.org/authors/?q=ai:frolov.a-b 摘要:证明了在{\mathbb{Z}{p^n}}\left[x\right]\(d\)中任意一个多项式的根(如果存在)的布尔复杂度等于固定素数(p\)和增长的\(n\)的\(O(dM(n\lambda(p))),其中\(\lambda(p)=\lceil\log2p\rceil\,M(n)\)是两个二进制\(n\)位数相乘的布尔复杂度。已知这个数分解成素数因子\(n=m_1,\dots,m_k\),\(m_i=p_i^{n_i}\),\(i=1,dots,k\),具有固定的\(k\)和素数\(p峎i\),\(i=1,dots,k\)和增长\(n\),比较解之一(f(x)=0\bmod n\)的布尔复杂度等于\(O(dM(\lambda(n)))。特别地,对于剩余环(\mathbb{Z}um\)中任意阶的一个根的计算,得到了相同的估计。作为推论,证明了布尔函数计算多项式整数根整数根计算复杂性的复杂性\(f(x)\)等于\(O UD(M(n)(n))\,其中\(f\左(x \右))={a{d{x^d}{a{d—1}}{x{d—1}}{d—1}}+\LDDOS+{a{0}\)、\({a UI}在数学BB{Z{Z}\)方面,\(如{a UI}\在数学BB{Z{Z}\)方面,\,\[如| a | a),\(i=0,点,d\)。 游戏里有什么?博弈模型理论 https://zbmath.org/1469.68062 2021-10-13T23:05:33.257084Z “埃伯哈特,克洛维斯” https://zbmath.org/authors/?q=ai:eberhart.clovis “赫肖维茨,汤姆” https://zbmath.org/authors/?q=ai:hirshowitz.tom 基于SOC的混合系统形式化描述与验证 https://zbmath.org/1469.68063 2021-10-13T23:05:33.257084Z “玉,宁” https://zbmath.org/authors/?q=ai:yu.ning “胡思乱想,马丁” https://zbmath.org/authors/?q=ai:wirsing.martin 摘要:为了在SOC范式中描述混合系统,我们定义了混合双标过渡系统及其混合轨迹。然后我们用一组基于微分方程的表达式和混合程序对SRML符号进行了扩展,并对混合双标记跃迁系统的符号进行了解释。通过重新定义动态时序逻辑dTL,我们为混合过渡系统的行为推理提供了逻辑基础。我们通过一个关于运动列车控制的实例来说明我们的方法,其中列车的运动是由常微分方程来调节的。整个系列见[Zbl 1327.68013]。 元胞自动机的形式逻辑 https://zbmath.org/1469.68064 2021-10-13T23:05:33.257084Z “达斯,苏坎塔” https://zbmath.org/authors/?q=ai:das.sukanta “查克拉波蒂,米希尔K。” https://zbmath.org/authors/?q=ai:chakraborty.mihir-库马尔 摘要:本文提出了一种面向一维二元元元胞自动机建模的形式逻辑&(L{\text{CA}}\)。我们首先开发了\(L{\text{CA}}\)的语法,然后在所有二进制字符串的域中给\(L{\text{CA}}\)赋予语义。然后以基本元胞自动机和四邻域二元元胞自动机为逻辑模型。这些实例指出了\(L{\text{CA}}\)的其他模型。最后证明了任何一维二元元元胞自动机都是该逻辑的模型。 颜色战争:具有多数规则的元胞自动机 https://zbmath.org/1469.68065 2021-10-13T23:05:33.257084Z “格尔特纳,伯纳德” https://zbmath.org/authors/?q=ai:gartner.bernd “泽玛干,亚哈。” https://zbmath.org/authors/?q=ai:n-泽马坎·阿哈德 摘要:考虑一个图\(G=(V,E)\)和一个随机的初始顶点着色,使得每个顶点都是独立的蓝色,概率为\(p{b}\leq 1/2\),否则为红色。在每个步骤中,所有顶点都会同步地将其当前颜色更改为其邻域中最常见的颜色(在平局的情况下,顶点保持其当前颜色)。我们对元胞自动机的自然行为非常感兴趣。作为主要结果,我们证明了一个主要结果,我们证明了具有4个邻域(8个邻域)的4个邻域(8个邻域)的网格(G{n,n}\)的网格(G{n,n}\)具有4个邻域(8个邻域)的4个邻域(8个邻域)的网格(G{(G G,n})或环面(T{n,n,n})的网格(G{n,n})或环面(T{n,n,n{1}{6}{6}{6}{(8-邻域8-邻域)4-邻域(8-邻域)的4-邻域)的网格\(T{n,n(p乩b\gg n^{-\frac{1}{2} }\)(\(pаb\gg n^{-\frac{1}{6}}\)导致了一个长度为1或2的构型的双色周期,最多可能经过\(2n^2\)(\(4n^2\)步。整个系列见[Zbl 1358.68010]。 一类一维齐次元胞自动机的演化 https://zbmath.org/1469.68066 2021-10-13T23:05:33.257084Z “戈什,斯雷亚” https://zbmath.org/authors/?q=ai:ghosh.sreeya 摘要:研究了一维齐次元胞自动机(CA)在一些标准转移函数下的演化模式。讨论了一个基本CA从最多一个活动细胞或状态细胞开始的不同可能的演化模式。同时,对于一些初始构形,研究了进化意义下的等价Wolfram码。证明了这些等价码是自守的。 基于gellular自动机的自稳定分布式算法 https://zbmath.org/1469.68067 2021-10-13T23:05:33.257084Z “洪谷,泰加” https://zbmath.org/authors/?q=ai:hongu.taiga “Hagiya,Masami” https://zbmath.org/authors/?q=ai:hagiya.masami 摘要:Gellular自动机是一种具有异步性、布尔总体性和非混沌性的元胞自动机。在分布式计算中,确定问题是否能用自稳定的gellular自动机来求解是至关重要的。自稳定的gellular自动机从任何初始配置收敛到所需的配置,因为自稳定性意味着能够从过渡或状态中的临时故障中恢复。本文证明了用自稳定的gellular自动机可以解决分布式计算中的三个典型问题:迷宫求解、距离2着色和生成树构造。 用元胞自动机生成字符串 https://zbmath.org/1469.68068 2021-10-13T23:05:33.257084Z “库特里布,马丁” https://zbmath.org/authors/?q=ai:kutrib.martin “马尔彻,安德烈亚斯” https://zbmath.org/authors/?q=ai:malcher.andreas 摘要:与许多元胞自动机在一定时间限制下接受输入的能力的研究不同,本文研究的是元胞自动机实时生成字符串的能力。研究了结构特性,如加速结果和闭合特性。一方面给出了交、反和保长同态下闭包的构造,另一方面得到了并、补和任意同态下的非闭性。最后,讨论了空性、有限性、等价性、包含性、规则性和上下文无关性等可判定性问题。 可逆元胞自动机循环空间聚类 https://zbmath.org/1469.68069 2021-10-13T23:05:33.257084Z “慕克吉,苏卡尼亚” https://zbmath.org/authors/?q=ai:mukherjee.sukanya “巴塔查吉,卡马利卡” https://zbmath.org/authors/?q=ai:bhattacharjee.kamalika “达斯,苏坎塔” https://zbmath.org/authors/?q=ai:das.sukanta 摘要:介绍了一种基于循环的可逆元胞自动机(CAs)循环空间聚类技术。传统上,一个簇是由接近的对象组成的,在CAs中,这必然意味着这些对象属于同一个循环;也就是说,它们彼此之间是可以到达的。元胞自动机(CA)的每个循环空间形成一个唯一的簇。本文基于“可达性”确定了使聚类有效的CA属性。为此,我们首先找出哪些CA规则有助于保持最小的簇内距离。然后,我们的CA被设计成这样的规则,以确保配置空间中存在有限数量的循环。此外,还引入了一种迭代策略,通过使用唯一的辅助CA将前一级的可接近簇的对象合并到当前层,从而生成所需数量的簇,利用一些标准的基准验证指标对算法的性能进行了测试,并与现有的聚类技术进行了比较。结果表明,在这些标准验证指标的度量上,我们的算法至少与现有的最佳算法相当。 用泛型规则扩展交互网演算 https://zbmath.org/1469.68070 2021-10-13T23:05:33.257084Z “吉雷希,尤金” https://zbmath.org/authors/?q=ai:jiresch.eugen 小结:我们用泛型规则扩展了交互网络的文本演算,并提出了保持一致合流的约束条件。此外,我们还讨论了基于轻量级交互网演算的inets语言中泛型规则的实现。整个系列见[Zbl 1415.68011]。 定时连续扩展状态机令牌流化诱导的标记特性 https://zbmath.org/1469.68071 2021-10-13T23:05:33.257084Z “马特科夫斯基,米哈埃拉·哈纳科” https://zbmath.org/authors/?q=ai:matcovschi.mihaela-花子 “Păstrăvanu,屋大维语” https://zbmath.org/authors/?q=ai:pastravanu.octavian-c (无摘要) 小连通图的时间宽度探索 https://zbmath.org/1469.68072 2021-10-13T23:05:33.257084Z “博德兰德,汉斯L。” https://zbmath.org/authors/?q=ai:bodlaender.hans-我 “范德赞登,汤姆C。” https://zbmath.org/authors/?q=ai:van-德赞登·汤姆·c 摘要:我们证明了\textsc{Temporal Graph Exploration Problem}是NP完全的,即使底层图的路径宽度为2,并且在每个时间步,当前图是连通的。 顶点有界的加权有效控制集的二分法 https://zbmath.org/1469.68073 2021-10-13T23:05:33.257084Z “布兰斯特德,安德烈亚斯” https://zbmath.org/authors/?q=ai:brandstadt.andreas “米拉尼奇,马丁” https://zbmath.org/authors/?q=ai:milanic.martin 摘要:在有限无向图\(G\)中,一个顶点它{(v\)支配着它自己和它的邻居。一个顶点集\(D\)是一个\(G\)的有效控制集(简称e.D.s.),如果\(G\)的每个顶点都由\(D\)的一个顶点控制。对于最大次数为3的图,要求存在一个e.d.s.的问题是著名的。我们说\(G\)的一个e.d.s.\(d\)是\(k\)-有界的}(\(k\)-b.e.d.s.,简称\(k\)-b.e.d.s.,如果\(d\)中每个顶点的次数最多是\(k\)in \(G\)。有界加权有效控制问题的任务是确定一个给定的顶点加权图是否允许存在一个最小权。从最大次3图的ED的\(\mathbb{NP})完备性可以很容易地得到\(k \)BWED问题对于每一个\(k\geq 3\)是\(\mathbb{NP}\)完备的,而且很明显,对于\(k\leq 1\),这个\(k\)-BWED问题在线性时间内是可解的。在本文中,我们证明了2-BWED问题在时间上是可解的(mathcal O(| V(G)|(| V(G)|+| E(G))\,从而得到了\(k\)-BWED在所有(k\geq 0\)上的复杂性状态的二分法。 边不相交三角形填充的一个(3+\epsilon)k\)-顶点核 https://zbmath.org/1469.68075 2021-10-13T23:05:33.257084Z “林,微博” https://zbmath.org/authors/?q=ai:lin.weibo “晓,明玉” https://zbmath.org/authors/?q=ai:xiao.mingyu 摘要:在\textsc{Edge Disjoint Triangle Packing}问题(\textsc{Etp})中,我们得到了一个图\(G\)和一个整数\(k\),并要求检查\(G\)是否至少包含\(k\)个边不相交的三角形。这个问题是NP难问题,在参数化复杂度中得到了很好的研究。一个大小为\(4k\)的顶点核在很多年前就被证明了。最近,顶点核的大小提高到\(3.5k\)。在本文中,我们进一步改进了核的大小。我们证明了对于任何固定的\(\epsilon>0\),存在一个多项式时间算法,它可以将输入实例减少为至多(3+\epsilon)k\)个顶点的等价实例。 加权有限自动机组合语音识别 https://zbmath.org/1469.68080 2021-10-13T23:05:33.257084Z “科尔特斯,科琳娜” https://zbmath.org/authors/?q=ai:cortes.corinna “莫赫里,梅里亚” https://zbmath.org/authors/?q=ai:mohri.mehryar 摘要:在自然语言处理、事务日志分析或计算生物学中,许多机器学习问题都需要分析可变长度序列,或者更一般地说,是可变长度序列的分布。针对固定大小向量引入的核方法已被证明在各种机器学习任务中非常成功。我们最近引入了一个新的通用的核框架,rational核,将这些方法扩展到可变长度序列的分析或加权自动机给出的更一般的分布。这些核函数计算效率高,已成功应用于支持向量机的语音对话分类等应用中。然而,先前在这些应用中引入的有理核并不完全包含交替序列上的分布。它们仅基于在交替路径上平均的共现子序列的计数,而没有考虑这些计数分布的高阶矩的信息。在本文中,我们引入了一个新的有理核家族,矩核,它精确地利用了这些额外的信息。这些核是基于字符串计数矩的分布核。我们描述了计算矩核的有效算法,并将其应用到几个困难的口语对话分类任务中。我们的实验表明,在这些任务中,使用n-gram序列计数的二阶矩可以持续地提高分类精度。 轻量级描述逻辑本体的精确学习 https://zbmath.org/1469.68106 2021-10-13T23:05:33.257084Z “科涅夫,鲍里斯” https://zbmath.org/authors/?q=ai:konev.boris “卢茨,卡斯滕” https://zbmath.org/authors/?q=ai:lutz.carsten “奥扎基,安娜” https://zbmath.org/authors/?q=ai:ozaki.ana “沃尔特,弗兰克” https://zbmath.org/authors/?q=ai:wolter.frank 摘要:我们在\texdit{D.Angluin}等人的查询精确学习框架中研究了学习描述逻辑(DL)本体的问题[``queries and concept learning',Mach.Learn.2,No.4,319--342(1988;Zbl 07405999)]。我们承认成员资格查询(``是目标本体所包含的一个给定的包含?'')和等价查询(``给定的本体是否与目标本体等价?'')。我们给出了三个主要结果:(1)描述逻辑DL-Lite的(两个相关版本)中的本体可以用多项式形式的多个查询学习;(2) 在描述逻辑\(\mathcal{EL}\)中描述的本体不是这样,即使只允许非循环的本体;(3)与web本体语言owl2rl相关的一段\(\mathcal{EL})形式的本体可以在多项式时间内学习。我们还证明了在情况(1)和(3)中,成员资格查询和等价查询都是不够的。 基于区间二元语言评估和扩展模糊Petri网的隐性知识获取与共享 数学1468zborg/ 2021-10-13T23:05:33.257084Z “李,惠” https://zbmath.org/authors/?q=ai:li.hui.1|李辉2 |李辉.4 |李辉|李辉.5 |李辉.3 “你,建新” https://zbmath.org/authors/?q=ai:you.jianxin “刘,胡晨” https://zbmath.org/authors/?q=ai:liu.huchen “田,广东” https://zbmath.org/authors/?q=ai:tian.guangdong 信号时序逻辑规范的反向传播:将逻辑结构注入基于梯度的方法中 https://zbmath.org/1469.68127 2021-10-13T23:05:33.257084Z “梁,凯伦” https://zbmath.org/authors/?q=ai:leung.karen “阿雷奇加,尼科斯” https://zbmath.org/authors/?q=ai:arechiga.nikos “帕文,马可” https://zbmath.org/authors/?q=ai:pavone.marco|帕沃尼。马可。1 摘要:本文提出了一种利用计算图计算信号时序逻辑(STL)公式的定量语义的技术stlcg。stlcg提供了一个平台,可以将逻辑规范整合到机器人问题中,从而从基于梯度的解决方案中获益。具体地说,STL是一种功能强大、表现力强的形式化语言,它可以描述连续系统和混合系统产生的信号的时空特性。STL的定量语义提供了一个健壮性度量,即信号满足或违反STL规范的程度。在这项工作中,我们设计了一个系统的方法,将STL鲁棒性公式转换成计算图。有了这种表示,并利用现成的自动微分工具,我们能够通过STL鲁棒性公式进行反向传播,从而实现与机器人学中使用的许多基于梯度的方法的自然和易于使用的集成。通过各种机器人应用的例子,我们证明了stlcg的通用性,计算效率高,能够将人类领域的知识注入到问题的求解中。整个系列见[Zbl 1464.68013]。 瓶颈双色全Steiner树 https://zbmath.org/1469.68144 2021-10-13T23:05:33.257084Z “阿布·阿法什,A.卡里姆” https://zbmath.org/authors/?q=ai:abu-阿法什·卡里姆 “哦,苏乔伊” https://zbmath.org/authors/?q=ai:bhore.sujoy-库马尔 “卡米,帕兹” https://zbmath.org/authors/?q=ai:carmi.paz “查克拉波蒂,迪拜扬” https://zbmath.org/authors/?q=ai:chakraborty.dibyayan 摘要:给定平面上的两组点,即\(n\)(终端)点的\(Q\)和\(m\)(Steiner)点的\(S\),其中\(Q\)和\(S\)中的每一个都包含双色点(红点和蓝点),一个完整的双色Steiner树就是一个Steiner树,其中\(Q\)的所有点都是叶子,树的每一条边都是双色的,即。,连接红点和蓝点。在瓶颈双色全Steiner树(BBFST)问题中,目标是计算一个双色全Steiner树(T),使T中最长边的长度最小。在\(k\)-BBFST问题中,目标是找到一个从\(S\)最多有\(k\leq m\)个Steiner点的双色全Steiner树,从而使T\中最长边的长度最小。在本文中,我们首先提出了一个求解BBFST问题的\(O((n+m)\logm)\)时间算法。然后,我们证明了\(k\)-BBFST问题是NP难的,并且在多项式时间内不能在因子\(\sqrt 5\)内逼近,除非P=NP。最后,我们给出了求解\(k\)-BBFST问题的多项式时间9-近似算法。 有限模型的基本热力学界 https://zbmath.org/1469.80002 2021-10-13T23:05:33.257084Z “加纳,安德鲁·J·P。” https://zbmath.org/authors/?q=ai:garner.andrew-j-p公司 小结:计算的最小热耗受Landauer原理的约束。在这里,我推导了有限建模的界限——模式(时间序列数据)的产生或预期——通过以分段方式对模式进行建模并配备有限内存的设备。当产生一个模式时,我证明最小耗散与模型内存中有关模式历史的信息成比例,这些信息永远不会出现在设备的未来行为中,必须从内存中删除。我提供了一个模型的一般构造,该模型允许将这种耗散减少到零。通过考虑消耗或影响模式上任意变化的设备,我讨论了这些有限模型如何形成符合热力学第二定律的信息存储框架。{\copyright 2021美国物理研究所} 基于自突触模糊尖峰神经P系统的配电网可靠性评估 https://zbmath.org/1469.90062 2021-10-13T23:05:33.257084Z “黄,玉蕾” https://zbmath.org/authors/?q=ai:huang.yulei “王,陶” https://zbmath.org/authors/?q=ai:wang.tao.3|王.涛.6 |王.涛.2 |王.涛.1 |王.涛.4 |王.涛.7 |王.涛.9 |王.涛.8 |王.涛.5 “王,君” https://zbmath.org/authors/?q=ai:wang.jun.6 彭,洪” https://zbmath.org/authors/?q=ai:peng.hong 摘要:提出了一种应用于配电网可靠性评估的自突触模糊尖峰神经P系统(简称fsnps)。该方法将配电网元件和负荷的运行或故障状态映射到神经元的兴奋或静止状态,并将元件、负荷和目标系统之间的电关系转换为突触连接关系。然后,用尖峰传输状态发生概率,通过累积尖峰脉冲值计算可靠性指标。最后,通过实例验证了膜系统解决配电网可靠性评估的可行性和有效性。 梯度范数测度下凸优化的一阶近似最优方法:一种自适应正则化方法 https://zbmath.org/1469.90106 2021-10-13T23:05:33.257084Z “伊藤,马萨鲁” https://zbmath.org/authors/?q=ai:ito.masaru “福田,三弘” https://zbmath.org/authors/?q=ai:fukuda.mituhiro 摘要:在光滑(resp.,composite)凸优化问题的一阶方法的发展中,当具有Lipschitz连续梯度的光滑函数最小化时,梯度(resp.,gradient mapping)范数成为最优性的基本度量。在该测度下,已知光滑情况下具有最优迭代复杂度的固定迭代算法,而确定该迭代次数以获得所需的精度,需要事先知道从初始点到最优解集的距离。本文提出了一种自适应正则化方法,它在不知道到最优解集的距离的情况下达到近似最优的迭代复杂度。为了进一步提高自适应收敛速度,我们采用该方法构造了一个适用于霍尔德误差边界条件(或等效地,Łojasiewicz梯度性质)的一阶方法,该方法涵盖了相当广泛的应用类别。该方法对梯度映射范数具有近似最优的迭代复杂度。 经典拟牛顿法超线性收敛性的新结果 https://zbmath.org/1469.90160 2021-10-13T23:05:33.257084Z “安东,罗多马诺夫” https://zbmath.org/authors/?q=ai:rodomanov.anton “内斯特罗夫,尤里” https://zbmath.org/authors/?q=ai:nesterov.yurii 摘要:从凸Broyden类出发,对经典拟牛顿方法的局部超线性收敛性进行了新的理论分析。结果,我们在目前已知的这些方法的收敛速度估计上得到了显著的改进。特别地,我们证明了Broyden-Fletcher-Goldfarb-Shanno方法的对应率只依赖于问题的维数与其条件数的对数的乘积。 复杂性经济学的基础与应用 https://zbmath.org/1469.91005 2021-10-13T23:05:33.257084Z “罗瑟,J·巴克利·君” https://zbmath.org/authors/?q=ai:rosser.john-巴克利军 这本书是复杂性科学家,数学家和经济学家的主要兴趣。本文对经济学中的复杂性问题进行了系统、深入的讨论,将主要的复杂性流派和定义与经济学理论和模型联系起来,另一方面,熟悉复杂性科学但不太熟悉经济学的研究人员将对与复杂性研究交叉的经济学流派有一个有根据的详细的历史和科学观点,熟悉经济学但不太熟悉复杂科学的研究人员将对复杂科学与经济学的联系有一个坚实的基础和详细的历史和科学观点。这两种类型的研究者都可以在这里找到一条通向复杂经济学这一跨学科领域的途径。第一章致力于复杂性的逻辑和哲学基础,讨论复杂性的不同形式,其作者和经济学含义,包括动态复杂性和计算复杂性。关于计算复杂性,第一章连接了不同的研究线索,包括一些可能导致数学家思考经济理论与数学基础研究之间可能令人惊讶的联系,以及如何,例如,形式系统定义,特别是围绕集合论,会导致经济理论的后果,也会对哥德尔的不完全性和图灵作为一个科学领域的经济学工作的影响。本章共分为八节,第一节论述了复杂性的不同形式,回顾了复杂性科学领域的主要研究成果。第二和第三部分讨论计算复杂性及其对经济学的影响,在某种程度上连接了数学基础(FoM)、计算机科学和经济学的主要工作,这两个部分不仅反映了经济学家,而且也反映了在FoM领域工作的数学家。第四节和第五节讨论动态复杂性及其对经济学的影响,有一条线索将其与前两节联系起来,我们可以看到,这与我们提出模型和理论的能力以及对这种能力的各自限制有关,包括我们在动态复杂系统中了解和预测行动方案后果的能力的限制。第四部分回顾和反思了动态复杂性研究中的不同流派,包括布鲁塞尔-奥斯汀学派和哈肯协同学的斯图加特学派,以及一个重要的概念,在本书的其他章节中也被提到,那就是出现。第五部分,反过来,集中在认识论的联系和经济学的基本问题的主要影响,包括不确定性的概念,这是强烈反映在书的复杂性和遍历性。这两个部分共同为动态复杂性经济学提供了一个反思的基础。第一章的第六节扩展了对不确定性和遍历性的思考,这是经济学家、从事非线性动力学研究的数学家以及从事认识论和科学哲学研究的研究人员的基本兴趣所在。第七部分讨论自反性,回到将数学哲学、认知科学和计算机科学领域与经济学联系起来的主要著作,包括自我参照问题和霍夫斯塔特的怪圈概念,讨论其对复杂性经济学的影响。本节提供了一个建议,通过将反身性概念作为一个处理与经济学密切相关的复杂度的操作性概念放在首位,从而架起处理复杂性的不同方法,即计算复杂性和动态复杂性。第八部分继续反思计算复杂性和动态复杂性之间的桥梁。虽然标题是“进一步的观察”,这可能使它看起来像是一个附录,但是,这一节是一个关键,在它可以找到一个反映图灵机器和不可判定性问题,模型的公理基础,在不同层次运作的突发现象的建模问题,作者还将其与乔姆斯基的层次结构、市场即算法假设以及图灵在计算方面的工作联系起来,以解决这一假设、共同进化和市场作为相互作用和进化算法的组合体的可能性,导致研究人员对连接进化生物学和计算机科学的问题进行必要的反思,特别是在可计算性问题上。作者在这一章的结尾加强了计算复杂性和动态复杂性之间的桥梁,特别强调了动态复杂性中出现的现象与计算复杂性理论家所讨论的自我参照问题之间的重叠。这样,Rosser提出的自反性作为复杂性科学和复杂性经济学研究领域的一个重要的统一概念,在本章的最后得到了重申。第2章是第一章的延续,然而,在回顾第二章之前,必须强调那些熟悉复杂性和进化的著作的人,尤其是圣菲研究所(SFI)的主要方法、研究路线和方法论,会发现这第二章很重要。本章的重点是经济学,对于那些有数学背景的人来说,这是一个关键的章节,因为它回顾了经济学中的主要思想流派以及复杂性研究与经济学作者、学派和理论之间的联系。因此,第一章讨论复杂性的逻辑和哲学基础,第二章讨论复杂行为经济学的基础,将行为经济学、进化经济学和复杂性研究的主线联系起来,包括层次复杂性、涌现、混沌,来自SFI研究路线的复杂系统演化的不确定性和方法。第二章要讨论的第一件事是赫伯特·西蒙的“有限理性”概念,罗瑟认为,“如果不是人们拥有有限理性的基本依据,那么复杂性也可以被视为一个基本的基础”(第26页)。通过这种方式,第二章的第一和第二部分讨论了赫伯特·西蒙关于有限理性的工作的含义以及行为经济学和复杂性经济学之间的联系。从这一反思出发,笔者继续研究有限理性、模仿和市场不稳定性问题,特别关注金融背景下的泡沫和崩盘,这一反思在第三部分提供。第四部分继续讨论Simon的工作,介绍了对层次复杂性和涌现的反思,回顾了与影响SFI复杂性思维方式的作者之间的联系,包括Stuart Kauffman和James Crutchfield关于生物进化系统中自组织计算模型的著作。这是Rosser围绕进化经济学展开的后续思考的关键部分。第五部分阐述了处理动态复杂性和决策的有限理性,即在复杂非线性动力学的背景下,如何在行为中使用启发式经验法则的问题,作为有界理性智能体模拟潜在复杂动力学(包括混沌动力学)的解决方案。关于混沌的讨论导致对概念的一致性和一致性的讨论。第六部分继续讨论行为经济学和凯恩斯不确定性。值得强调的是,本书所讨论的行为经济学范式基础并非基于行为主义这一作者从一开始就强调的观点。事实上,对于那些熟悉SFI学派的人来说,第二章的共同基础来自于SFI复杂科学领域的思考,特别是与复杂适应系统科学的分支相联系。在本章的下一部分中,Rosser建立了一座通往经济学问题和学派的坚实桥梁,此外,在复杂性科学、行为经济学和进化经济学之间建立了联系,这一联系在第七至第十一节中有着很强的经济学基础,其中回顾了制度经济学和经济学中的进化思维问题及其与复杂系统科学的联系,从第七节行为经济学和制度演化的复杂性开始,回顾了进化经济学,然后在第八节继续探讨进化论中的连续性与不连续性的问题,讨论新达尔文主义、间断的均衡和适合性景观以及与经济学思维的一些联系。在第九节中,从经济进化的轨迹和经济系统作为进化系统的程度来讨论进化理论在经济学中的反映,而第十节则更详细地讨论了出现的问题,自组织和多层次进化及其在进化经济学中的重要性。第十一节着重于经济学,主要讨论新旧制度经济学以及交易成本如何导致复杂的经济动态。第十二节对这一章作了最后的反思。这本书的前两章共同提供了一个系统化的核心反思,这对想要研究复杂科学和经济学之间关系的经济学家以及从事经济学问题的复杂科学家和数学家都很感兴趣。这本书的其余章节涉及复杂经济学中不同的具体主题。第三章本身对经济学家和战略研究、情报和安全研究领域的工作人员都很感兴趣,因为它涉及未观察到的经济和社会互动的复杂动态,在国防和安全以及公共政策领域的战略情报中都是关键的一点。第四章和第五章则是经济物理学,这是经济学和金融学的主要研究领域。第4章详细回顾和反思了这一研究领域,第5章讨论了城市/区域系统的复杂动力学。第6章和第7章讨论了与未来研究方向相关的重大问题,第6章讨论了生态经济系统及其治理问题,包括复杂的渔业动态、森林最佳轮作所涉及的复杂性问题、气候经济系统的复杂性和稳定性,鉴于与气候变化和生态可持续性相关的问题,本章的材料可预见地越来越相关。第7章是最后一章,它借鉴了整本书的工作,提供了一个有根据的论点,有利于发展复杂经济学作为经济学的范式基础。我们在这一章的第一段中看到了这一点,它很好地总结了我们在这里引用的论点:“经济学的新古典主义时代已经结束。基于这本书中提出的观点,我认为可以提出一个论点,即它已经被复杂性时代所取代。这个新时代并不是通过革命而来的。相反,它是从许多新古典主义作品中发展而来的,还有一些不太正统的主流经济学家和异端经济学家的作品。“这是未来的浪潮。”(第117页)。最后一章不仅探讨了这一论点,为未来的研究方向提供了基础,而且还涉及方法论层面。总的来说,这本书为经济学研究和复杂性科学对经济学的影响提供了一个关键的参考,对于任何从事复杂科学和经济学研究的人来说都是有价值的,他们可以看到这些思考、概念,来自复杂性科学的方法论和方法成为经济学领域研究的一个普遍而普遍的范式基础。 博雷尔等级:通过安全游戏解决穆勒游戏 https://zbmath.org/1469.91015 2021-10-13T23:05:33.257084Z “尼尔,丹尼尔” https://zbmath.org/authors/?q=ai:neider.daniel “拉比诺维奇,罗马人” https://zbmath.org/authors/?q=ai:rabinovich.roman “齐默尔曼,马丁” https://zbmath.org/authors/?q=ai:zimmermann.martin-g 摘要:我们将一个具有“n”顶点的Muller博弈转化为一个具有“(n!)^3”顶点的安全博弈,其解可以确定Muller博弈的获胜区域,并计算一个玩家的有限状态获胜策略。这就产生了一种新的基于反链的记忆结构,以及穆勒游戏的许可策略的自然概念。此外,我们通过提出一种新的从无限对策到安全对策的博弈归约来推广我们的构造,并证明了它对其他几种获胜条件的适用性。整个系列见[Zbl 1392.68016]。 多模式选择委员会 https://zbmath.org/1469.91026 2021-10-13T23:05:33.257084Z “贾恩,帕拉维” https://zbmath.org/authors/?q=ai:jain.pallavi “塔蒙,尼姆罗德” https://zbmath.org/authors/?q=ai:talmon.nimrod 摘要:我们使用\textit{multimodal preferences}研究委员会选择:假设一组候选人\(a\)、一组投票人\(V\)和\(\ell\)\textit{layers},其中每个投票者\(V\中的V\)对每个层的备选方案有顺序的偏好,任务是选择一个大小为\(k\)的委员会\(S\ substeq a\)。我们讨论了我们模型的应用,研究了已知委员会评分规则(特别是\(k\)-Borda和Chamberlin-Courant)在我们的环境中的推广的计算复杂性,并讨论了模型的域限制。虽然我们遇到的大多数问题通常在计算上是困难的,但我们仍然为某些情况设计了有效的算法。整个系列见[Zbl 1456.68006]。 基于高级模糊Petri网的股市预测系统 https://zbmath.org/1469.91067 2021-10-13T23:05:33.257084Z “沈,荣宽” https://zbmath.org/authors/?q=ai:shen.rong-宽 “杨,程英” https://zbmath.org/authors/?q=ai:yang.cheng-英 “沈,维克托·R·L。” https://zbmath.org/authors/?q=ai:shen.victor-r-l型 “李,魏晨” https://zbmath.org/authors/?q=ai:li.wei-陈 “陈,策世勇” https://zbmath.org/authors/?q=ai:chen.tzer-施勇 从生物调控模型到生物调控模型的微分模型 https://zbmath.org/1469.92053 2021-10-13T23:05:33.257084Z “巴布提,罗伯托” https://zbmath.org/authors/?q=ai:barbuti.roberto “戈里,罗伯塔” https://zbmath.org/authors/?q=ai:gori.roberta “米拉佐,保罗” https://zbmath.org/authors/?q=ai:milazzo.paolo “纳斯蒂,露西亚” https://zbmath.org/authors/?q=ai:nasti.lucia 摘要:基因调控网络(Gene Regulatory Networks,GRNs)代表基因间的相互作用,调节特定细胞功能的激活,如对(化学)信号的接收或对环境变化的反应。研究和理解这些过程是至关重要的:它们是细胞功能基础上的基本机制,许多疾病是基于某些基因调节活动的扰动或故障。在本文中,我们提供了一个关于GRN建模和分析的计算方法的概述。我们从生物学和定量建模的背景概念开始,回顾微分方程和Gillespie算法。然后,我们描述了更深入的定性方法,如布尔网络和一些计算机科学形式,包括Petri网,P系统和反应系统。我们的目的是向读者介绍GRN建模问题,并引导她/他沿着从经典定量方法到基于布尔网络的定性方法,到一些最相关的定性计算方法的道路,了解不同方法的优点和局限性。 用膜计算模拟昼夜垂直迁移 https://zbmath.org/1469.92137 2021-10-13T23:05:33.257084Z “加西亚-奎斯蒙多,曼纽尔” https://zbmath.org/authors/?q=ai:garcia-奎斯蒙多·曼努埃尔 “辛茨,威廉D。” https://zbmath.org/authors/?q=ai:hintz.william-d “舒勒,马修S。” https://zbmath.org/authors/?q=ai:schuler.matthew-s “是的,瑞克A。” https://zbmath.org/authors/?q=ai:relyea.rick-a 摘要:Diel垂直迁移(Diel vertical migration,DVM)是一种重要的生态现象,即浮游动物在浅水区进行垂直迁移,以解决浅水区食物供应量增加和深水区因光照不足而降低捕食者风险的问题。由于这些权衡,DVM动力学对水面光强度的变化特别敏感。因此,阴天和晴天比例的变化有可能破坏DVM的动态。我们提出了一种新的膜计算模型,它能捕捉到云量对水蚤水蚤的影响,并用它来探讨随着气候变化,云量增加的影响。我们的二维空间显式模型整合了从非生物营养到水蚤捕食者的多种营养水平。我们分析了不同比例的阴天和晴天在整个夏季对我们的模型的影响。模型模拟表明,晴天的增加促进了近地表浮游植物的高浓度,但并不一定促进水蚤的丰度增加。我们的模型还表明,高比例的阴天会增加水蚤的丰度,因为水蚤种群的垂直分布向表层水域转移。我们的研究结果强调,多个地区的气候变化将影响动物迁徙,从而改变淡水生态系统中的食物网动态,并强调膜计算作为空间和时间显式生态过程建模框架的潜力。 基于HP/LP神经元的snp系统RSA密码算法的实现 https://zbmath.org/1469.94096 2021-10-13T23:05:33.257084Z “甘巴托,甘巴特” https://zbmath.org/authors/?q=ai:ganbaatar.ganbat “尼亚姆多吉,杜加尔” https://zbmath.org/authors/?q=ai:nyamdorj.dugar “西雄,戈登” https://zbmath.org/authors/?q=ai:cichon.gordon “伊什多吉,泽伦·奥诺特” https://zbmath.org/authors/?q=ai:ishdorj.tseren-奥诺特 摘要:非对称密码系统通常比对称系统更复杂,需要更多的计算能力。这就是为什么它们可以使用非传统的计算系统来实现,比如P系统、尖峰神经系统和DNA计算。在这项工作中,我们设计了一个RSA加解密算法的实现模型,该模型是在具有HP/LP基本神经元的Spiking神经P系统框架下实现的。 基于实用的\(\mathsf{MP}\text{-}\mathsf{LWE}\)的加密,在安全风险与效率之间取得平衡 https://zbmath.org/1469.94114 2021-10-13T23:05:33.257084Z “斯坦菲尔德,罗恩” https://zbmath.org/authors/?q=ai:steinfeld.ron “萨卡德,阿明” https://zbmath.org/authors/?q=ai:sakzad.amin “赵,雷蒙德K。” https://zbmath.org/authors/?q=ai:zhao.raymond-k 小结:带错误的中间产品学习\((\mathsf{MP}\text{-}\mathsf{LWE})是由\texdit{M.Roşca}等人引入的\(\mathsf{LWE})问题的一个变体。[Lect.Notes Comput.Sci.10403283--297(2017;Zbl 1406.94078)]。渐近地,Rosca等人[loc.cit.]的理论结果表明,(\mathsf{MP}\text{-}\mathsf{LWE})给出了基于格的公钥密码系统,提供了一个“安全风险与效率”的权衡:比基于非结构格的密码系统具有更高的性能\((\mathsf{LWE}问题)并且比基于结构格的密码系统(多项式/环(\mathsf{LWE})问题)低风险。然而,尽管在理论上很有希望,Rosca等人[loc.cit.]仍然不清楚\(\mathsf{MP}\text{-}\mathsf{LWE})对基于格的密码术的实际意义。本文介绍了如何在\(\mathsf{MP}\text{-}\mathsf{LWE})的基础上,建立具有强安全保障的实用公钥密码体制。在实现方面,我们提出了计算多项式环上的中间积运算的优化快速算法。在安全性方面,我们展示了如何从一大类环上最困难的多项式LWE问题中获得\(\mathsf{MP}\text{-}\mathsf{LWE})的一个几乎严密的安全证明,改进了Rosca等人[loc.cit.]的松散约化。我们还展示并分析了\(\mathsf{MP}\text{-}\mathsf{LWE}\)的优化密码分析,它缩小了已知的\(\mathsf{MP}\text{-}\mathsf{LWE}\)攻击和多项式攻击之间的复杂度差距。我们将基于mathsf}\mathsf}的实用性与mathsf}系统的实用性进行比较。结果表明,(\mathsf{MP}\text{-}\mathsf{LWE})不仅在理论上是渐近的,而且在实际应用中提供了一种新的“安全风险与效率”权衡。 关于三输入全基逻辑电路的可靠性及其输出的零型失效 https://zbmath.org/1469.94236 2021-10-13T23:05:33.257084Z “Alekhina,文学硕士” https://zbmath.org/authors/?q=ai:alekhina.marina-安 摘要:我们在包含三个变量函数的完整基础上,考虑由不可靠函数元电路实现布尔函数。我们假设电路中的元件彼此独立地进入故障状态,并且它们在输出端受到单一类型的0型恒定故障的影响。对于每个完整的基础,要么找到不可靠系数的精确值,要么计算该系数的上限估计值。 含本质线性函数的完全有限基电路的可靠性 https://zbmath.org/1469.94239 2021-10-13T23:05:33.257084Z “阿列克希纳,M。” https://zbmath.org/authors/?q=ai:alekhina.marina-安 “巴苏科娃,哦。” https://zbmath.org/authors/?q=ai:barsukova.o-于 “肖尔尼科娃,T” https://zbmath.org/authors/?q=ai:shornikova.t-a 摘要:我们考虑在完全有限的基础上,用不可靠函数元的电路实现布尔函数,它包含一个基本上依赖于至少两个变量的线性函数。我们假设一个电路的所有元件在输出端都暴露在0型故障中,其概率分别为\(\varepsilon\in(0,1/2)\)。我们证明了几乎任何布尔函数都可以由一个渐近最优的可靠性电路来实现,其不可靠性渐近等于\(\varepsilon\)和\(\varepsilon \ rightarrow 0\)。