基于Pi演算的人工神经网络模型

作     者：陈宁 冯博琴 CHEN Ning;FENG Bo-qin

作者机构：西安交通大学计算机教学实验中心陕西西安710049 

基　　金：国家高技术研究发展计划资助项目(2003AA1Z2610) 

出 版 物：《哈尔滨工程大学学报》 (Journal of Harbin Engineering University)

年 卷 期：2006年第27卷第B7期

页      码：71-73页

摘      要：人工神经网络是一种重要的人工智能实现方法，但是目前人工神经网络缺乏通用的数学模型，用来模拟各种结构的神经网络．然而形式化方法对于建模和验证系统是一种有效的方法，所以对人工神经网络的形式化描述和验证是一个重要的研究方向．Pi演算是一种移动进程代数，可用于对并发和动态变化的系统进行建模，因此Pi演算和人工神经网络的基础都是并发计算．在这个基础上，首先通过Pi演算建模人工神经网络，证明了它们之间的等价性，然后设计了基于Pi演算的人工神经网络分类器．最后，讨论了这个模型的优越性．

主 题 词：人工神经网络 Pi演算 模式识别 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 081104[081104] 08[工学] 0835[0835] 0811[工学-水利类] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1006-7043.2006.z1.015

馆 藏 号：203393730...