【摘要】：摘要：膜計(jì)算是自然計(jì)算的新分支,是計(jì)算機(jī)科學(xué)、數(shù)學(xué)、生物學(xué)等眾多學(xué)科交叉的研究領(lǐng)域,旨在從細(xì)胞的結(jié)構(gòu)和功能,以及從組織和器官等細(xì)胞群相互協(xié)作處理信息的方式中,抽象出新的計(jì)算模型,也稱為膜系統(tǒng)或P系統(tǒng)。 脈沖神經(jīng)膜系統(tǒng)是膜計(jì)算中的一種神經(jīng)型P系統(tǒng),是源于大腦神經(jīng)元之間通過電脈沖進(jìn)行信息傳遞的生物現(xiàn)象,并吸收脈沖神經(jīng)網(wǎng)絡(luò)的特點(diǎn)而提出的一種新型的分布式、并行計(jì)算模型。 本文從計(jì)算理論、應(yīng)用和軟件仿真研究三個方面分別對幾類脈沖神經(jīng)膜系統(tǒng)的計(jì)算能力、小通用性、邏輯與算術(shù)運(yùn)算實(shí)現(xiàn)方法以及模型的形式化驗(yàn)證等內(nèi)容進(jìn)行了研究,主要工作如下： 研究了同質(zhì)脈沖神經(jīng)膜系統(tǒng)的小通用性：在使用標(biāo)準(zhǔn)規(guī)則和權(quán)值情況下,作為計(jì)算函數(shù)的裝置,需要53個神經(jīng)元可以構(gòu)造一個通用同質(zhì)脈沖神經(jīng)膜系統(tǒng)；作為產(chǎn)生數(shù)的裝置,則需要52個神經(jīng)元。研究脈沖神經(jīng)膜系統(tǒng)的小通用性問題既具有計(jì)算機(jī)科學(xué)上的意義,也具有生物學(xué)上的用義：尋找小通用“腦”。 研究了突觸上帶權(quán)值和突觸上不帶權(quán)值的兩種同質(zhì)脈沖神經(jīng)膜系統(tǒng)在不使用具有延遲的激發(fā)規(guī)則情況下的計(jì)算通用性問題,并證明了這兩種不帶延遲的同質(zhì)脈沖神經(jīng)膜系統(tǒng)無論是工作在產(chǎn)生模式下,還是工作在接收模式下都是計(jì)算通用的。解決了曾湘祥等人提出的關(guān)于不帶延遲的同質(zhì)脈沖神經(jīng)膜系統(tǒng)是否具有計(jì)算通用性的公開問題。同時(shí),也構(gòu)造了不使用延遲激發(fā)規(guī)則的突觸上帶權(quán)值和不帶權(quán)值的兩類同質(zhì)延展脈沖神經(jīng)膜系統(tǒng),并證明了它們的計(jì)算通用性。 研究了無延遲規(guī)則和突觸權(quán)值情況下的帶反脈沖同質(zhì)脈沖神經(jīng)膜系統(tǒng)的計(jì)算通用性問題,證明了這種膜系統(tǒng)無論是工作在產(chǎn)生模式,還是接收模式下都是計(jì)算通用的。研究結(jié)果能同時(shí)解決了曾湘祥等人提出的關(guān)于是否存在無延遲規(guī)則的同質(zhì)脈沖神經(jīng)膜系統(tǒng)和如何有效移除突觸權(quán)值的兩個公開問題。 考慮在脈沖神經(jīng)膜系統(tǒng)這種裝置上處理一些簡單的邏輯與算術(shù)運(yùn)算問題,構(gòu)建了包括實(shí)現(xiàn)二進(jìn)制補(bǔ)碼轉(zhuǎn)換、實(shí)現(xiàn)有符號整數(shù)的加、減法運(yùn)算和實(shí)現(xiàn)任意兩個自然數(shù)的乘法運(yùn)算的多族脈沖神經(jīng)膜系統(tǒng),這些系統(tǒng)的輸入、輸出數(shù)均采用二進(jìn)制方式,編碼采用合適的脈沖序列。較好地解決了Gutierrez-Naranjo MA.和Leporati A.提出的關(guān)于如何實(shí)現(xiàn)兩個任意自然數(shù)乘法運(yùn)算的公開問題。當(dāng)前工作可以作為解決更加復(fù)雜問題的基礎(chǔ),也有助于設(shè)計(jì)基于脈沖神經(jīng)膜系統(tǒng)的生物型“CPU”。 使用帶反脈沖的脈沖神經(jīng)膜系統(tǒng)分別構(gòu)建了能實(shí)現(xiàn)對稱三值的通用與、或、非邏輯門功能和實(shí)現(xiàn)對稱三值的整數(shù)加、減算術(shù)運(yùn)算功能的多族脈沖神經(jīng)膜系統(tǒng)。目前的工作是基于帶反脈沖的脈沖神經(jīng)膜系統(tǒng)的三值型“CPU”設(shè)計(jì)在理論上的首次嘗試,也為潘林強(qiáng)和Paun G提出的一個公開問題提供了首個實(shí)用案例。 基于SnpsGUI仿真軟件,例證了兩個脈沖神經(jīng)膜系統(tǒng)的形式化驗(yàn)證過程,重點(diǎn)分析并揭示了格局轉(zhuǎn)移圖和脈沖神經(jīng)膜系統(tǒng)之間的內(nèi)在聯(lián)系,并總結(jié)出了三個一般性結(jié)論,達(dá)到了通過計(jì)算機(jī)輔助驗(yàn)證脈沖神經(jīng)膜系統(tǒng)正確性與完整性的目的。同時(shí),對基于脈沖神經(jīng)膜系統(tǒng)更有效的形式化驗(yàn)證方法提出了展望,對SnpsGUI軟件進(jìn)行了評述,提出了改進(jìn)方向。
[Abstract]:Abstract: Membrane calculation is a new branch of natural calculation. It is the research field of computer science, mathematics, biology and so on. It aims to abstract a new computing model from the structure and function of cells and the way of processing information from cell groups such as tissues and organs. also known as membrane systems or p systems. The pulse nerve membrane system is a kind of nerve type P system in the calculation of membrane, which is a new kind of distributed and parallel computing based on the biological phenomenon of information transmission between nerve cells and the characteristics of pulse neural network. In this paper, three aspects, such as computing power, small universality, logic and arithmetic operation, and formal verification of models, are studied from three aspects: computing theory, application and software simulation. To work as follows: To study the small versatility of a homogeneous pulsed neural membrane system: in the case of using standard rules and weight values, 53 neurons may be required to construct a universal homogeneous pulse neural membrane system; as a means of generating numbers, then 52 neurons are required. The study of the small versatility of the pulsed neural membrane system has both the meaning of computer science and biology. a sense of righteousness: In this paper, we study the general problem of the two homogeneous pulse neural membrane systems with the right value on the synapse and the non-band right in the synapse without using the delayed excitation rule, and prove the two non-delayed homogeneous pulse neural membrane systems. Whether it's working in the production mode, it's still working. The invention solves the problem of whether or not the homogeneous pulse nerve membrane system with delay, which has been proposed by Xiang Xiang, et al. At the same time, there are two kinds of homogeneous extended pulse neural membrane systems which do not use delayed excitation rules, and the two kinds of homogeneous extended pulse neural membrane systems with no right value are also constructed. In this paper, the computational versatility of an anti-pulse homogeneous pulse neural membrane system with non-delay rule and synapse weight is studied. It is proved that this kind of membrane system works in the generating mode. It is also common in the receiving mode. The results of this study can solve the problem of whether there is a homogeneous pulse nerve membrane system with no delay rule and how to have the same In order to solve the problem of simple logic and arithmetic operation on the device of pulse neural membrane system, we construct a method which includes realizing twos complement conversion, realizing adding and subtracting operation with sign integer and realizing any two self-functions. The multi-family pulse neural membrane system based on the multiplication of numbers, the input and output of these systems are all adopted. Binary mode, coding adopts a suitable pulse sequence. Better solve Gu tierrez-Naranjo MA. and Leephii A. How to real The present invention can be used as a basis for solving more complex problems, Type 鈥淐PU鈥，

本文編號：2270482