首页> 外文会议>International conference on membrane computing >A Semantic Investigation of Spiking Neural P Systems
【24h】

A Semantic Investigation of Spiking Neural P Systems

机译:尖刺神经P系统的语义研究

获取原文
获取外文期刊封面目录资料

摘要

We present a metric denotational semantics for an experimental concurrent language inspired by the spiking neural P systems. At syntactic level, the language provides constructions for specifying the neurons, synapses and rules with time delays defining a spiking neural P system. The denotational semantics presented in this paper is designed by using continuations. We employ metric spaces, including a metric powerdomain to describe the nondeterministic behaviour. Our denotational semantics describes accurately the time delays between firings and spikings, the nondeterministic behaviour and the synchronized functioning that are specific of a spiking neural P system. An implementation in the functional language Haskell is also provided; it can be tested and evaluated, being available for software experiments.
机译:我们针对尖峰神经P系统激发的实验性并发语言提供了一种度量式指称语义。在语法级别,该语言提供了用于指定神经元,突触和规则的结构,这些时间带有延迟,从而定义了尖峰神经P系统。本文提出的指称语义是通过使用延续来设计的。我们采用度量空间,包括度量幂域来描述非确定性行为。我们的指称语义准确地描述了触发和尖峰之间的时间延迟,尖峰神经P系统特有的不确定行为和同步功能。还提供了功能语言Haskell的实现。它可以进行测试和评估,可用于软件实验。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号