计算机仿真技术课件2

,*,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,第,2,讲,系统建模的基本方法与模型处理技术,相似原理 、建模方法学,建立数学模型的方法：,连续系统的数学模型,，离散系统的数学模型,实用建模举例,:,控制系统,建模、,几何,建模,、,磁场,建模,、,流体力学,建模,、建模等,连续系统模型的离散化处理,1,Simulation Study,仿真是指利用模型对实际系统进行实验研究的过程，或者说，仿真是一种通过模型实验揭示系统原型的运动规律的方法。,数据相似原理,为了研究实际系统的动态性能，常常要采用数据相似的原理。,数据相似原理的主要表现在：,描述原型和模型的数学表达式在形式上完全相同。,变量之间存在着一一对应的关系且成比例。,一个表达式的变量被另一个表达式中相应变量置换后，表达式对应各项的系数保持相等。,2,数据相似原理,环境相似,就是人工在实验室里产生与所研究对象在自然界中所处环境类似的条件，比如飞机设计中的风洞，鱼雷设计中的水洞、水池等等。,性能相似,则是用数学方程来表征系统的性能，或者利用数据处理系统，来模仿该数学方程所表征的系统。性能相似原理也是仿真技术遵循的基本原理,。,几何相似,就是把真实系统按比例放大或缩小，其模型的状态向量与原物理系统的状态完全相同。土木建筑、水利工程、船舶、飞机制造多采用几何相似原理进行各种仿真实验。,3,连续系统仿真中的数学模型,连续系统仿真中的数学模型有很多种，但基本上可分为三类：,连续时间模型,、,离散时间模型,及,连续离散混合模型,。,系统的连续时间模型通常可以有以下几种表示方式：,常微分方程,，,传递函数,，权函数，,状态空间描述,，框图。,数学模型的相互转换,4,如控制,系统仿真的过程,控制系统的计算机仿真就是以控制系统的模型为基础，采用数学模型代替实际的系统，以计算机为主要工具，对控制系统进行实验和研究的一种方法。,通常，采用计算机来实现控制系统仿真的过程有以下几个方面：,建立控制系统的数学模型,建立控制系统的仿真模型,编制控制系统的仿真程序,在计算机上进行仿真实验并输出仿真结果,5,基本控制方式,1.,开环控制,:,指系统的输出量对系统不产生控制作用的控制方式,.,开环控制有两种情形 ：,1,）按给定值控制,;,输出,输入,控制器,被控对象,2,）按扰动补偿控制,(/,顺馈控制,),输入,控制器,被控对象,补偿环节,扰动,控制系统,建模,6,2.,闭环控制,(/,反馈控制,):,指系统的输出信号对系统的控制作用有直接影响的控制方式,.,输出,检测元件,输入,控制器,被控对象,3.,复合控制,:,指闭环控制与开环控制相结合的控制方式,.,或者说,是偏差控制和顺馈控制相结合的控制方式,.,7,实例系统分析,（,1,）、请在图,1,中标示出,a,、,b,、,c,、,d,应怎样连接才能成为负反馈系统？,（,2,）、试画出系统的方框图，并简要分析系统的工作原理。,例题,1,：,下图是一电动机转速控制系统工作原理图：,K,M,+E,给定,u,r,放大器,触发器,整流器,电抗器,电动机,负载,测速发电机,a b,c +,u,f,d,u,a,n,8,解,：,、,a,与,d,，,b,与,c,分别相连， 即可使系统成为负反馈系统；,、 系统方框图为：,u,f,u,n,给定,u,r,放大器,触发器,整流器,电动机,负载,测速发电机,9,例题,2,：下图是一电炉温度控制系统原理示意图。试分析系统保持电炉温度恒定的工作过程，并指出系统的被控对象、被控量以及各部件的作用，最后画出系统方块图。,电炉,给定电压,电压放大 功放,调压装置,220V,电阻丝,热电偶,解,： 、系统工作过程及各部件的作用（略）；,、 系统方框图为：,、被控对象：电炉； 被控量：电炉炉温；,10,u,f,u,T,给定,u,r,放大器,调压器,电阻丝,电 炉,热 电 偶,11,控制系统的数学模型,1,关于,控制系统,数学模型,定义：用以描述控制系统动态特性及各变量之间关系的数学表达式,2.,形式,：,时域模型,（,t,）：微分,/,差分,/,状态方程等；,复域模型,（,s=+j,）：传递函数，结构图，信号流图；,频域模型,（,）：频率特性。,12,3, 建模方法及步骤,方法,：分析法（主）和实验法；,步骤,：,确定系统的输入、输出变量；,从输入端开始，依次列写各元件,/,环节的运动方程式（如微分方程）；,消去中间变量，并将其化为标准,注,形式。,注,：,标准形式,：,与输入量有关的各项放在方程右边，与输出量有关的各项放在方程左边，各阶导数项按降幂排列，并将方程中的系数通过系统的参数化具有一定物理意义系数的一种表达形式。,控制系统的数学模型,13,动态元件：电容、电感,关于电容元件的说明,(1),线性电容元件的定义式为 ，该式对应于,u,q,取,“,一致的参考方向,”,，即电压极性为正的极板上带正电荷，如图所示。,(2),当电压，电流取关联正向时，电容元件的伏安关系式为 ，或,(3),电容元件的电流比例于电压的变化率，这是电容元件与电阻元件的一个重要不同之处。称电容元件为动态元件。,14,，其中 ，该式说明，当前时刻,t,的电容电压不仅与现实的电流相关，而且与以前电流的作用情况有关，即它具有记忆电流作用的本领，故称电容元件为,“,记忆元件,”,。,(6),当电容电流为有界函数时，电容电压不可能发生,“,突变,”,（或跳变），只能连续变化，称之为电容电压的连续性，这是电容元件一个很重要的性质。,(7),电容元件中储藏的电场能量计算式为,(8),由于在任意时刻,t,，均有,=0,，这表明电容元件是无源元件。同时它能存储电场能量，但不消耗能量，故电容元件是非耗能元件，且称它为,“,储能元件,”,。,在直流电路中，通过电容的电流恒为零，称之为电容元件的“隔直作,用”；而在电路工作频率极高时，电容元件两端电压近似为零，即相,当于“短路”。,15,关于电感元件的说明,(1),当电流和磁链的参考方向符合右手螺旋法则时，线性电感元件的定义式为,(2),当电感元件的电压，电流为关联正向时，其伏安关系式为,或,(3),由电容，电感元件的伏安关系式可知， 具有类比性，称电感，电容元件为对偶元件。,(4),电感元件也是动态元件。在直流电路中，电感元件两端的电压为零，相当于短路；而当电路的工作频率极高时，电感元件近似为,“,开路,”,。,(5),当电感元件两端的电压为有界函数时，电感电流不能跳变，称之为电感电流的连续性。,(6),电感元件是储能元件，其储能的磁场能量的计算式为,(7),与电容元件相似，电感元件是无源元件，亦是非耗能元件。,动态元件：电容、电感,16,4, 实例分析,例题,1,：,RC,无源网络电路如下图所示，试以,u,1,为输入量，,u,2,为输出量列写该网络的微分方程式。,i,2,C,1,C,2,R,2,R,1,u,1,u,2,i,1,解：,u,1,为输入量，,u,2,为输出量；,设回路电流分别为,i,1,，,i,2,，,如图所示；,则有：,i,1,R,1,+(i,1,i,2,)dt/C,1,= u,1,i,2,R,2,+ (i,2,dt)/C,2,=(i,1,i,2,)dt /C,1,(i,2,dt) /C,2,= u,2,控制系统的数学模型,17,消去中间变量,i,1,，,i,2,后，化为标准形式：,R,1,R,2,C,1,C,2,u,2,+( R,1,C,1,+ R,1,C,2+,R,2,C,2,) u,2,+ u,2,= u,1,控制系统的数学模型,例题,2,： 在下图中，已知,L=1H,，,C=1F,，,R=1,，,u,c,（,0,）,=0.1V, i(0)=0.1A, u,r,(t)=1V,。试求电路在通电瞬间,u,c,（,t,）的变化规律。,u,c,（,t,）,u,r,（,t,）,C,L,R,18,解,：求得该电路的微分模型：,对上式两边求,拉氏变换,：,LCs,2,Uc(s)-su,c,(0)-u,c,(0) +RCsUc(s)-u,c,(0)+ Uc(s) = Ur(s),控制系统的数学模型,由于,u,c,（,0,）,= u,c,（,t,）,t=0,=i,（,0,）,/C,19,将已知各条件代入后有：,（,s,2,+s+1,）,Uc,（,s,）,= Ur,（,s,）,+0.1(s+2),即,通电瞬间, u,r,（,t,）,=1,或,Ur,（,s,）,=Lu,r,（,t,）,=1/S,故,再对上式两边求,反拉氏变换,：,=1+1.15e,-0.5t,Sin(0.866t-120)+ 0.2e,-0.5t,Sin(0.866t+30),控制系统的数学模型,20,例题,3,：已知某系统的数学模型为,其中,x,（,t,）, y,（,t,）分别为输入、输出量,且知,x,（,t,）,=(t), y(0,-,)= y (0,-,)=0,， 求,y,（,t,）的表达式,.,解,:,对微分方程两边求拉氏变换：,s,2,Y,（,s,）,-s y (0,-,)- y(0,-,)+2sy,（,s,）,- y (0,-,)+2Y,（,s,）,= X,（,s,）,代入已知条件，注意,X,（,s,）,=Lx,（,t,）,=L(t)=1,整理后得：,Y,（,s,）,=1/,（,s,2,+2s+2,）,故,y,（,t,）,= L,-1,Y,（,s,）,= L,-1,1/,（,s,2,+2s+2,）,控制系统的数学模型,=1/2j L,-1,1/,（,s+1-j,）,-1/,（,s+1+j,）,=1/2j e,-,（,1-j,）,- e,-,（,1+j,）, = e,-t,Sint,21,几何,建模,22,几何建模,划分网格,23,磁场,建模：例如，,波动解存在的判据及方程分类,以平面电磁波为例，基本方程及求解过程如下：,判据：可化为波动方程的物理系统存在波动解；,问题：只适合具有单一波动模式的线性系统。,24,求形如,exp(,ikx-i,t,),的波动解：,直接从原一阶偏微分方程组出发：,存在非零解（非平凡解）的充分必要条件是,其中,为实数。注意，,即为系数矩阵,A,的本征值。,判据：系数矩阵存在实本征值的系统存在波动解，本征值,即波的相速度。,一阶偏微分方程组分类：双曲型；椭圆型；广义双曲型,25,流体力学,建模,流体的物理量,：,任意空间点上流体质点的物理量在任意时刻都有确定的数值，即流体的物理量是空间位置和时间的函数，如：,=(x,y,z,),；,u=u(x,y,z,),；,t=t(x,y,z, ),密度场 速度场 温度场,描述流体性质及其运动规律的物理量很多，如密度、压力、组成、速度、温度等。据连续介质假定，任何空间点上流体的物理量都是指位于该点上的流体质点的物理量。如密度：,26,流体力学,建模,质量守恒方程：,该方程是质量守恒的总的形式，可以适合可压和不可压流动。源项,S,m,是稀疏相增加到连续相中的质量，（如液体蒸发变成气体）或者质量源项（用户定义）。,对于二维轴对称几何条件，连续方程可以写成：,式中，,x,是轴向坐标；,r,是径向坐标，,u,和,v,分别是轴向和径向速度分量。,27,流体力学,建模,动量守恒方程：,惯性坐标系下，,i,方向的动量守恒方程为：,式中，,p,是静压；,t,ij,是应力张量，定义为：,pg,i,，,F,i,是重力体积力和其它体积力（如源于两相之间的作用），,F,i,还可以包括其它模型源项或者用户自定义源项。,28,微分方程,最基本、最重要的数学模型是微分方程，它反映了元部件或系统动态运行的规律。,建立数学模型常见的方法是,解析法,和,实验法,等。,解析法,是根据系统及元部件中各变量之间所遵循的物理、化学定律，列出系统各变量之间数学表达式，然后建立起系统的数学模型；,实验法,是采用某些检测仪器，在现场对控制系统加入特定信号，对输出响应进行测量和分析，得到实验数据，从而建立系统的数学模型。,29,微分方程模型,控制系统微分方程建立的一般步骤,采用解析法来建立微分方程所遵循的一般步骤是：,（,1,）确定系统或元部件的输入、输出变量。,（,2,）根据物理和化学定律（比如：牛顿运动定律、能量守恒定律、克希霍夫定律等）列出系统或元部件的原始方程式，按照工作条件忽略一些次要因素。,（,3,）找出原始方程式中间变量与其它因素的关系式。,（,4,）消去原始方程式的中间变量，得到一个关于输入、输出的微分方程式。,（,5,）进行标准化处理，将输出各项放在等号左端，输入各项放在等号右端，并且按照微分方程的阶次降幂排列，同时将各系数化为具有一定物理意义的形式。,30,解：在,RLC,串联电路中，输入电压,Ur,为系统的输入量，输出电压,c,为系统的输出量。,根据克希霍夫定律，可以得到回路的电压方程如下：,【,例,】,RLC,串联电路，建立该系统的微分方程。,31,回路的电压方程：,电容两端的电压为：,中间变量为：,32,建立该系统的微分方程,带入原始方程中，消去中间变量，并移项整理得：,该式即为,RLC,串联电路的微分方程。,33,线性微分方程的求解,采用拉普拉斯变换求解微分方程的步骤,（,1,）将系统的微分方程进行拉普拉斯变换，得到以,S,为变量的代数方程，也称为变换方程。,（,2,）求解变换方程，得到系统输出变量的象函数表达式。,（,3,）将输出的象函数表达式展开成部分分式。,（,4,）对部分分式进行拉普拉斯反变换，即可得到系统微分方程的解。,34,已知某系统的数学模型为其中,x(t), y(t),分别为输入、输出量,且知,x(t)=(t), y(0,-,)= y (0,-,)=0,， 求,y(t),的表达式,.,解,:,对微分方程两边求拉氏变换：,s,2,Y(s)-s y(0,-,)- y(0,-,)+2s Y(s)- y (0,-,)+2Y(s)= X(s),代入已知条件，注意,X(s)=Lx(t)=L(t)=1,整理后得：,Y(s)=1/(s,2,+2s+2),故,y(t) = L,-1,Y(s)= L,-1,1/(s,2,+2s+2),=1/2j L,-1,1/(s+1-j)-1/(s+1+j),=1/2j e,-,（,1-j,）,- e,-,（,1+j,）,= e,-t,Sin(t),35,传递函数的概念,1.,传递函数的定义,对于一个线性定常系统，在初始条件为零时，系统输出信号的拉氏变换与输入信号的拉氏变换之比称为该系统的传递函数。,表示为：,2.,传递函数的求取,按照传递函数的定义，利用系统的微分方程进行相应的拉氏变换，即可得到系统的传递函数。,36,3.,传递函数的性质,根据线性定常系统的传递函数表达式的分析，传递函数具备下列性质：,（,1,）传递函数是描述线性系统或元部件动态特性的一种数学模型，在形式上与系统的微分方程一一对应。,（,2,）传递函数只表明输入变量与输出变量之间的动态关系，不能够反映出系统内部的信息。,（,3,）传递函数只能直接反映系统在零初始状态下的动态特性，即在零时刻之前，系统在给定工作点处是相对静止的；若系统处于非零初始状态下，则传递函数无法反映系统的特性和运动规律，需要作其它方面的处理。,37,传递函数的性质,（,4,）传递函数完全由系统的结构、参数确定，而与输入信号的形式无关，它反映了系统本身的动态特点。对于同一系统，当选取不同的输入量和输出量时其传递函数是不同的。,（,5,）同一个系统，对于不同作用点的输入信号和不同观测点的输出信号之间，传递函数具有相同的分母多项式，所不同的是分子多项式。在分析系统性能时，常将传递函数的分母多项式称为特征多项式，它决定着系统响应的基本特点和动态本质。,（,6,）实际系统中，传递函数的分母多项式阶次,n,总是大于分子多项式阶次,m,，这是因为控制系统总是存在“惯性”，且外部提供的能量是有限的。,（,7,）传递函数是一种数学抽象，无法直接由它看出实际系统的物理构造，物理性质不同的系统，完全可以有相同的传递函数表示。,38,典型环节及其传递函数,通常，控制系统是由若干元部件有机组合而成的，从结构和作用原理来看，可以有各种各样的不同元部件，但是从动态性能和数学模型来看，可以分为几个基本的典型环节。不管元部件是机械式、电气式、液压式等，只要其数学模型一样，它们就可以归纳为同一个环节，这样给分析、研究系统性能带来很多方便。,常用的典型环节主要有比例环节、惯性环节、一阶微分环节、积分环节、振荡环节、延迟环节等,6,种形式。,1.,比例环节,比例环节也称为放大环节，其特点是环节的输出量与输入量成正比。,传递函数为：,其中,k,为放大系数。,39,典型环节及其传递函数,2.,惯性环节,传递函数为：,k,为传递系数；,T,为惯性时间常数,3.,一阶微分环节,传递函数为：,为微分时间常数,理想的微分环节传递函数为：,40,典型环节及其传递函数,4.,积分环节,传递函数为：,式中， 称为积分时间常数。,5.,振荡环节,传递函数为：,其中,T,为时间常数， 为阻尼系数，也称为阻尼比，,称为无阻尼自然振荡频率。,41,典型环节及其传递函数,6.,延迟环节,延迟环节的特点是具有时间上的延迟效应，当输入量作用后，在给定一段时间之前，延迟环节的输出量一直未变化，只有到达延迟时间以后，环节的输出量才无偏差的复现原信号。,延迟环节的传递函数为：,42,例题,:,在右图中，已知,L=1H,，,C=1F,，,R=1,。试求该网络的传递函数,G(S),。,u,c,（,t,）,u,r,（,t,）,C,L,R,解,：求得该电路的微分模型：,对上式两边求,拉氏变换,：,LCs,2,Uc(s)-s u,c,(0)-u,c,(0) +RCs U c(s)- u,c,(,0)+ U c(s) = Ur(s),即,LCs,2,Uc(s) + RCs U c(s)+ U c(s) = Ur(s),故,G(S) = U c(s)/ Ur(s),=1/ LCs,2,+ R Cs+ 1,= 1/(s,2,+s+1),43,例题,:,求右图所示电网络的传递函数,G(S),。,C,2,R,2,R,1,C,1,u,1,u,2,Z,2,Z,1,U,1,U,2,C,2,R,2,R,1,C,1,u,1,u,2,解,： 将电源等效为复阻抗电路, Z,1,=Z,R1,Z,C1,/,（,Z,R1,+Z,C1,）,=R,1,/,（,R,1,C,1,S+1,）；,Z,2,= Z,R2,+Z,C2,=,（,R,2,C,2,S+1,）,/C,2,S,；,G(S)=U,2,/U,1,= Z,2,/,（,Z,1,+Z,2,）,=,(R,1,C,1,S+1)(R,2,C,2,S+1)/(R,1,C,1,S+1)(R,2,C,2,S+1)+ R,1,C,2,S,44,状态空间描述,状态方程：,根据分析，对于某一特定系统（可以是线性或非线性的、定常或时变的），当引入,n,个状态变量，将其化为,n,个一阶微分方程组的形式，再对其采用矩阵描述，可以得到如下表达式：,.,X=AX+BU,Y=CX,其中：,A,状态变量系数矩阵,B,输入变量系数矩阵,C,输出变量系数矩阵,45,数学模型的相互转换,在实际工程中，由于要解决系统如自动控制问题所需要的数学模型与该问题所给定的已知数学模型往往是不一致的，也可能是要解决问题最简单而又最方便的方法所用到的数学模型与该问题所给定的已知数学模型不同，此时，就需要对控制系统的数学模型进行转换。,另外，在不同的应用场合，由于实际系统所给定的数学模型形式各异，在仿真时要进行模型的转换，即将给定模型转换为仿真程序能够处理的模型形式。,通常，系统的微分方程作为描述动态性能的基本形式，当作为共性的内容进行分析时，又常常将其转换为传递函数形式，而在计算机中，利用系统的状态空间描述最方便。所以，讨论系统数学模型之间的转换具有实际的指导意义。,46,经典的连续系统仿真建模方法学,在数字计算机上进行连续系统仿真，首先要将连续模型离散化，因此，首先讨论离散化原理及要求，这是连续系统仿真的基础。,47,离散化原理及要求,从根本意义上讲，数字计算机所进行的数值计算仅仅是,“,数字,”,计算，它表示数值的精度受限于字长，这将引入,舍入误差,；另一方面，这种计算是按指令一步一步进行的，因而，还必须将,时间离散化,，这样就只能得到离散时间点上系统性能。,用数字仿真的方法对微分方程的数值积分是通过某种,数值计算方法,来实现的。任何一种计算方法都只能是原积分的一种近似。,因此，连续系统仿真，从本质上是对原连续系统从,时间、数值,两个方面对原系统进行离散化，并选择合适的,数值计算方法,来近似积分运算，由此得到的离散模型来近似原连续模型。,48,离散化原理,设系统模型为： ，其中,u,(,t,),为输入变量，,y,(,t,),为系统变量；令仿真时间间隔为,h,，离散化后的输入变量为 ，系统变量为 ，其中 表示,t=kh,。如果 ，,， 即 ， （对所有,k=0,1,2,），则可认为两模型等价，这称为相似原理,。,49,离散化原理,实际上，要完全保证 是很困难的。进一步分析离散化引入的误差，随着计算机技术的发展，由计算机字长引入的舍入误差可以忽略，关键是,数值积分算法,，也称为仿真建模方法。相似原理用于仿真时，对仿真建模方法有三个基本要求：,（,1,）稳定性：若原连续系统是稳定的，则离散化后得到的仿真模型也应是稳定的。,（,2,）准确性：有不同的准确性评价准则，最基本的准则是：,绝对误差准则：,相对误差准则：,其中,规定精度的误差量。,50,离散化原理,（,3,）快速性：如前所述，数字仿真是一步一步推进的，即由某一初始值出发，逐步计算，得到，每一步计算所需时间决定了仿真速度。若第,k,步计算对应的系统时间间隔为计算机由计算需要的时间为,Tk,，则，若,Tk,=,hk,称为实时仿真，,Tk,hk,称为超实时仿真，而大多数情况是,Tk,hk,，对应于离线仿真。,51,数值积分法原理,连续系统数字仿真中离散化最基本的算法是数值积分算法。对于形如 的系统，已知系统变量,y,的初始条件,y(t,0,)=y,0,，现在要求,y,随时间变化的过程,y(t),。,计算过程可以这样考虑：,首先求出初始点的,y(t,0,)= y,0,的,f(t,0, y,0,),，微分方程可以写作：,52,数值积分法原理,_,欧拉法,欧拉法用矩形面积近似表示积分结果，也就是当,t,=,t,1,时，,y(,t,1,),的近似值为,y,1,：,重复上述作法，当对任意时刻,t,=,t,k+1,时有：,令 称为第 步的计算步距。若积分过程中步距不变 ，可以证明，欧拉法的截断误差正比于 。,53,数值积分法,(,微分方程初值问题数值计算法,):,微分方程在已知初值情况下进行求解,数值积分方法采用递推方式进行运算，而采用不同的积分方法会引进不同的计算误差，为了提高计算精度，往往会增加运算量。就同一种积分算法而言，为提高计算精度，减小积分步距,计算量增大，影响系统运算速度。因此，计算精度和速度是连续系统仿真中常迂到的一对矛盾，也是数字仿真中要求解决的问题之一。也就是说，选择合适的算法、合适的软、硬件环境，在保证计算精度的前提下，考虑怎样提高仿真的速度。,经典的数值积分法可分为两类：单步法,(,最常用的算法,-,龙格库塔法,),与多步法（,线性多步法,阿达姆氏法,）。,二阶龙格,-,库塔法,四阶龙格,-,库塔法,四阶龙格,-,库塔,-,默森法,二阶龙格,-,库塔,-,费尔别格法,四阶龙格,-,库塔,-,夏普法,(,略,),54,非参数模型,非参数模型不是用表达式来表示一个系统，而是以相应的变量的函数来表示系统。,离散时间模型,(1),转移网络：,结点表示状态，有向弧表示可能,的转移，弧上的标示转移的条件。,有限状态机：,(FA:Finite Automaton),(2),转 移 表：,行表示状态，列表示输入。,项表示状态转移与输出。,55,离散时间模型,转移表,表 转移表的例子,(end,停止、受理；,-,停止、拒绝,),u,x,0,1,A,B,b,q0,q1/R,-,-,-,-,q1,q1/R,q2/B,-,-,-,q2,q3/A,-,q2/L,q2/L,-,q3,-,q2/B,q3/R,q3/R,q4/L,q4,-,-,q4/L,q4/L,q5/b,q5,end,end,end,end,end,56,离散时间模型,有限状态机的例子,输出操作 、分别表示磁头右移和左移；,、分别表示改写,(0-A; 1-B; b-b),。,输入字符,0, 1, A, B, b,（空格）,受理字符串,0,n,1,n,bb000111bb0011bb01bb,q,1,0/R,q,5,q,0,q,4,q,3,q,2,1/B,b/L,b/b,0/A,1/B,0/R,A,B/L,A,B/R,A,B/L,57,一种定性表示法,因果环图,(,系统动力学方法,),因果环图：以带符号的箭头来表示系统中各因素之间的影响关系。,+,表示正的影响，,-,表示负的影响。,因果链因素间的影响关系的表达：,(1),(,如增加也增加，则因果链为正。,),(2),(,如增加减少，则因果链为负。,),因果环由若干因果链构成的环的反馈极性的判断：,(1),反馈环上如果有偶数个负因果链，则为正；,(2),反馈环上如果有奇数个负因果链，则为负。,因果环图的例子,58,军备竞赛的因果环图,军费预算,安全顾虑,安全顾虑,军费预算,军事实力,军事实力,+,+,+,+,+,+,(,甲,),(,乙,),59,