伊丽莎白·德·玛丽亚；亚历山大·穆齐；丹尼尔·加菲；安妮·雷苏切；弗兰克·格拉蒙特 验证建模为同步反应系统的神经元原型的时间特性。 （英语） Zbl 1428.92008年 Cinquemani，Eugenio（编辑）等人，《混合系统生物学》。2016年10月20日至21日在法国格勒诺布尔举行的2016年HSB第五届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9957, 97-112 (2016). 摘要：有很多方法可以将两个、三个或更多神经元连接在一起，形成不同的图形。我们只将其属性与特定类别的生物相关结构和行为相关联的图称为原型。这些原型被认为是神经元信息处理典型实例的基础。为了建模不同的代表性原型并表达其时间属性，我们使用了一种专用于反应系统的同步编程语言（Lustre）。然后，由于几个支持数据类型的模型检查器，这些属性将被自动验证。对各自的结果进行比较，并取决于其底层的抽象方法。有关整个系列，请参见[兹比尔1425.92005]. 引用于2文件 MSC公司： 92秒20 生物研究、人工生命和相关主题中的神经网络 92-08 生物问题的计算方法 92-04 生物相关问题的软件、源代码等 关键词：神经元网络原型；时间特性；同步程序设计语言 软件：酯类；卢斯特；努Xmv PDF格式BibTeX公司 XML格式引用 \textit{E.De Maria}等人，Lect。注释计算。科学。9957，97-112（2016；Zbl 1428.92008） 全文： 内政部 链接 哈尔