×

兹马思-数学第一资源

以同步反应系统为模型的神经元原型的时间特性验证。(英语) Zbl公司 1428.92008
Cinquemani,Eugenio(编辑)等,杂交系统生物学。第五届国际研讨会,HSB 2016,法国格勒诺布尔,2016年10月20-21日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。995797-112(2016年)。
摘要:有很多方法可以将两个、三个或更多的神经元连接在一起形成不同的图形。我们只称原型为其属性可以与特定的生物学相关结构和行为类相关联的图。这些原型被认为是神经元信息处理的典型实例的基础。为了建模不同的代表性原型并表达它们的时间属性,我们使用了一种专门用于反应式系统(Lustre)的同步编程语言。由于支持数据类型的多个模型检查程序,这些属性随后被自动验证。对各自的结果进行比较,并依赖于它们的底层抽象方法。
整个系列请参见[Zbl 1425.92005号].
理学硕士:
92B20型 生物研究、人工生命和相关主题的神经网络
92-08年 生物学问题的计算方法
92-04年 有关生物学问题的软件、源代码等
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接