Modelling and verification of weighted spiking neural systems
Theoretical Computer Science(2016)
摘要
This paper presents spiking neural P systems with weighted synapses, a class of distributed parallel neural-like computing models, abstracted from the way in which the complex system of neurons processes information and communicates to ensure a proper functioning of the brain. Neurons communicate with each other through synapses endowed with an integer weight denoting the number of synapses for each pair of connected neurons. We translate the spiking neural P systems with weighted synapses into a class of timed safety automata, proving that such a translation is formally correct. This relationship allows the verification of several kinds of properties, both qualitative and quantitative, using tools and techniques developed for timed automata.
更多查看译文
关键词
Spiking neural P systems,Weighted synapses,Networks of timed automata,Model checking software tools
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络