×
阿曼，博格丹;加布里埃尔·乔巴努

加权峰值神经系统的建模和验证。 （英语） Zbl 1336.68064号

西奥。计算。科学。 623, 92-102 (2016).
摘要：本文提出了一类分布式并行类神经计算模型，即带有加权突触的尖峰神经P系统，该模型是从复杂的神经元系统处理信息和通信的方式中抽象出来的，以确保大脑的正常功能。神经元通过具有整数权重的突触相互通信，整数权重表示每对相连神经元的突触数量。我们将带有加权突触的峰值神经P系统转换为一类时间安全自动机，证明了这种转换在形式上是正确的。这种关系允许使用为时间自动机开发的工具和技术验证几种性质，包括定性和定量。

引用于5文件

MSC公司：

2005年第68季度 计算模型（图灵机等）（MSC2010）
2010年第68季度 计算模式（非确定性、并行、交互式、概率性等）
65年第68季度 形式语言和自动机
60年第68季度 规范和验证（程序逻辑、模型检查等）

关键词：

脉冲神经P系统;加权突触;时间自动机网络;模型检查软件工具

软件：

Uppaal公司;P-语言;WebPS（网络PS）
PDF格式BibTeX公司 XML格式引用
\textit{B.Aman}和\textit{G.Ciobanu}，Theor。计算。科学。623、92——102（2016年；Zbl 1336.68064）
全文： 内政部

参考文献：

[1] 阿曼，B。；Ciobanu，G.，《将移动环境转换为P系统》，电子。注释Theor。计算。科学。，171, 11-23 (2007) ·Zbl 1277.68162号
[2] 阿曼，B。；Ciobanu，G.，《利用增强型移动膜描述免疫系统》，Electron。注释Theor。计算。科学。，194, 5-18 (2008) ·Zbl 1279.92026号
[3] 阿曼，B。；Ciobanu，G.，简单、增强和相互移动膜，（计算系统生物学学报第十一期（2009年）），26-44·Zbl 1260.68143号
[4] 阿曼，B。；Ciobanu，G.，《通过有色Petri网增强的移动膜的特性》，Inform。过程。莱特。，112, 243-248 (2012) ·Zbl 1242.68173号
[5] 阿曼，B。；Ciobanu，G.，通过带延迟的Petri网验证带延迟的膜系统，Theoret。计算。科学。，598, 87-101 (2015) ·Zbl 1329.68104号
[6] 贝尔曼，G。；大卫·A。；Larsen，K.G.，关于Uppaal公司《计算机科学讲义》，第3185卷，200-236（2004）·Zbl 1105.68350号
[7] Bengtsson，J。；Yi，W.，《时间自动机：语义、算法和工具》，《计算机科学讲义》，第3098卷，第87-124页（2004年）·Zbl 1088.68119号
[8] 邦奇什，C。；乔巴努，G。；伊兹巴什，C。；Petcu，D.，基于Web的P系统模拟器及其并行化，《计算机科学讲义》，第3699卷，第58-69页（2005）·Zbl 1161.68453号
[9] Cabarle，F.G.C。；阿多尔纳，H。；Martínez-del-Amor，M.A.，一种改进的用于峰值神经P系统的GPU模拟器，（IEEE Proc.6th BIC-TA（2011）），262-267
[10] Cabarle，F.G.C.公司。；阿多尔纳，H。；Martínez-del-Amor，M.A.，基于CUDA的Spiking Neural P System Simulator，《计算机科学讲义》，第7184卷，第87-103页（2012年）
[11] Cardelli，L.，《生物环境：生物隔间的抽象》，Theoret。计算。科学。，325, 141-167 (2004) ·Zbl 1069.68569号
[12] Cardelli，L.，Brane Calculi。生物膜的相互作用，生物信息学课堂讲稿，第3082卷，257-278（2004）·Zbl 1088.68657号
[13] Cerans，K.，并行定时器过程的互模拟等价性的判定，计算机科学讲义，第663卷，302-315（1992）
[14] 乔巴努，G。；Aman，B.，《关于膜和环境之间的关系》，生物系统，91，515-530（2008）
[15] 乔巴努，G。；Krishna，S.N.，《增强移动膜：可计算性结果》，理论计算。系统。，48, 715-729 (2011) ·Zbl 1217.68093号
[16] 乔巴努，G。；普恩，Gh。；tefnescu，Gh.，P传感器，新一代。计算。，24, 1-28 (2006) ·Zbl 1103.68050号
[17] Danos，V。；Laneve，C.，《形式分子生物学》，Theoret。计算。科学。，32569-110（2004年）·Zbl 1071.68041号
[18] Ionescu，M。；普恩，Gh。；Yokomori，T.，Spiking neural P systems，基金会。通知。，71, 279-308 (2006) ·Zbl 1110.68043号
[19] Ionescu，M。；Sburlan，D.，尖峰神经P系统的一些应用，计算。通知。，27, 515-528 (2008) ·Zbl 1389.68032号
[20] Jensen，K.，彩色Petri网；基本概念、分析方法和实际应用，第卷。1、2和3，《理论计算机科学专著》（1997），斯普林格出版社·Zbl 0883.68098号
[21] Leporati，A。；赞德隆，C。；费雷蒂，C。；Mauri，G.，《关于尖峰神经P系统的计算能力》，Int.J.Uncv。计算。，5, 5, 459-473 (2009)
[22] 马西亚斯·拉莫斯，L.F。；佩雷兹·赫塔多，I。；García-Quismondo，M。；瓦伦西亚-卡布雷拉。；Pérez-Jiménez，M.J。；Riscos-Núñez，A.，《基于P语言的Spiking神经P系统模拟器》，《计算机科学讲义》，第7184卷，第257-281页（2012）
[23] 马丁·维德，C。；普恩，Gh。；Pazos，J。；Rodríguez-Patón，A.，《组织P系统》，Theoret。计算。科学。，296, 295-326 (2003) ·Zbl 1045.68063号
[24] Milner，R.，《通信和移动系统：（π）-微积分》（1999），剑桥大学出版社·Zbl 0942.68002号
[25] 潘·L。；普恩，Gh。，具有反突击的尖峰神经P系统，国际计算杂志。Commun公司。控制，4273-282（2009）
[26] 潘·L。；曾，X。；张，X。；姜瑜，带加权突触的尖峰神经P系统，神经过程。莱特。，35, 13-27 (2012)
[27] 普恩，Gh。，《膜计算》，J.Compute。系统科学。，61, 108-143 (2000) ·Zbl 0956.68055号
[28] Péun，Gh.，具有类星形胶质细胞控制的Spiking神经P系统，J.UCS，13，1707-1721（2007）
[29] （Péun，Gh.；Rozenberg，G.；Salomaa，A.，《膜计算手册》（2010），牛津大学出版社）·Zbl 1237.68001号
[30] （Rozenberg，G.；Salomaa，A.，《形式语言手册》，第3卷（1997年），Springer-Verlag）·兹伯利0866.68057
[31] 苏·L。；戈麦斯，R。；Bowman，H.，《使用通信自动机分析神经生物学模型》，Form.Asp。计算。，26, 1169-1204 (2014) ·兹比尔1342.92024
[32] Wang，T。；张，G。；Pérez-Jiménez，M.J。；Cheng，J.，加权模糊推理脉冲神经P系统：在高速铁路牵引供电系统故障诊断中的应用，J.Compute。西奥。纳米科学。，12, 1103-1114 (2015)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。