浙江大学计算理论复习总结
计算理论复习总结,但是考试快要结束了，估计大家也没有什么需要了。28.文法是CFG的推广,任何CFG都是文法。G=(V,∑,R,S)29.语言被文法生成ⅲ它是re的。30.所有数值函数都是原始递归的31.原始递归函数集是递归可枚举的。32.特殊语言/问题H={"M"w":M在w上停机}lH={"M"w":M是一台在"w"上不停机的TM}H1={"M":M在“M”上停机}H1={w:要么w不是一台TM的编码,要么w是M的编码,M是一台在"M"上不停机的TM}H:re.;H1:re.;-H,-H1:非r.e.;2-SAT∈P;SAT∈NPThe world as We Dont Know itreAsumming P≠APCo『eHrecursiveSATSATCO-A伊II Asumming P=Npr, eCo-r.erecursiveNP= cO-Np= p33没有算法的问题称作不可判定的or不可解的,如TM的停机问题34.证明不可判定通用图灵机U通过递归函数归约到L如果L是递归的则U是递归的ic若L1非递归,并存在L1到L2的归约,则L2也非递归。递归函数是 Turing Computable的35.语言是图灵可枚举的,证存在枚举它的图灵机。(M通过空格代开始,周期性的经过特殊状态q来枚举L,任意顺序且可重复)6.不可判定语言与递归语言互为补集,与rc语言有交集。37语言是re.,if它是图灵可枚举的;语言是递归的,i它是以字典序 turing可枚举的。8.P在并交连接和补运算下封闭NP在并、连接运算下封闭。若NP在补下封闭则NP=P39.H={M"wM在最多2w步后停机}唾P40.所有正则语言和所有CFL都属于P41.NPA.机器角度去定义:被多项式界限非确定型图灵机判定的所有语言的类。B.基于 verifier的定义:NP问题上建立的非确定机包含两步1)非确定地猜一个解2〕用一个确定的算法判定该解是否为可行解判定一个给定猜测值是否满足该问题(可满足性)的算法称作 verifier,一个问题称作NP问题当且仅当存在一个多项式时间的 verifier这两个定义是不矛盾的,因为如果一台非确定TM在多项式时间内可以判定一个非确定选择的翰入是否满足,就是基于 verifier的定义。P和NP的区别a problem is in P if we can decide them in polynomial time. It is in NP if we candecide them in polynomial time, if we are given the right certificate42.若存在计算函数f的多项式界限的图灵机M,则f称为多项式时间可计算的43.若τ1是L1->l2的多项式归约,τ2是L2->I3的多项式归约,则τ1τ2是L1->l3的多项式归约44.证明NP完全法一、按定义:LΣ*,若(a)L∈NP,且(b)对每个语言L∈NP,存在从L到L的多项式归约则L称为NP完全的。法二、归约,对于语言L,(a)若L∈NP(b)一个NP完全问题可以在多项式时间规约到L,ie. SAT 0 is context-free but not regular49.L=L1L2,L是CFL,则L1一定是CFL(x50. Regular-CFL不一定是CFL,如a*b*c*-anbn包含 anben51. 2-way PDalie PDa whose input heads can move both left and right] are more powerfulthan 1-way pda52. Given a PDa M1 and an fa M2, the problem l(M1)cl(M2)is decidable53.DFA/NFA识别的是 exactly正则语言54.Re.只在补和差下不封闭,CFL在交下也不封闭55.非正则语言的可能是正则语言。比如A:[W=w}及所有回文,A=*,为正则语言56.典型非正则:w=wR57.正则语言的子集可能非正则,如 anben是a*b*c*的子集;又如Σ*是正则语言,H≌Σ*58.归约:X到Y的归约可以理解为X到Y问题的映射, reduction可以解释为 at least asdifficult as….比如ⅹ可以被Y的算法解决,则 X is no more difficult than yⅩ可以约到Y,记X≤Y。e.gx2可以归约到任意两数的乘积。若有A≤B,A是不可判定问题>B不可判定A不递归->B不递归B可判定>A可判定B是递归的->A是递归的59.若X多项式时间归约到Y,Y多项式时间可解,则X多项式时间可解若X多项式时间归约到Y,Ⅹ多项式时间不可解,则Y多项式时间不可解60.X多项式时间归约到Y,Y多项式时间归约到Z,则X多项式时间归约到Z61.PRME( COMPOSITE)多项式时间归约到 Factor,但是 Factor多项式时间不能归约到PRIME COMPOSITE )o62.若A≤PB,B∈NP,则A∈NP。证明A≤PB→存在确定图灵机X,可将A归约到B。B∈NP→存在一个非确定图灵机N可判定B。我们希望构造一个新的TM(ⅹN)是的ⅹ*N非确定多项式时间求解A,则A∈NPRunning time of X*N≤1+p(mB>+qp(m)(B多项式时间非确定判定是多项式时间所以A∈NP63若AsPB,B∈P,则A∈P64.若X是NPC的,则X在多项式时间内可解ifP=NP65.SAT多项式时间归约到3SA(3AT是NPC的)66.证明语言L是R/Re, Non rea) Intuitively想想有没有半判定(判定)的TM,有则Rc、(R)。若非R执行下一步。b)用能否由Re.( Non re.)语言归约到该语言,能则Re而非R( Non re)严格用归约函数定义f:A≤B,r1∈A当且仅当r1∈Beg1∈H,M∈L证明Recg2∈非H,iM∈L证明 Non rc注意方向:是从A的实例经过递归函数推向B的实例。详细介绍http://www.cs.rice.edu/nakhleh/comp481/finalreviewsp06sol.pdf67.递归与μ递归等价68.PDA中,若每一个格局至多有一个格局接在它后面,则为确定型的。确定型CF在补下封闭69.M半判定L:w∈L,ifM在w上停机,注意半判定图灵机中不存在“拒绝”状态。只要不接受w,就不停机。70. Chomsky hierarchyElements of the Chomsky HierarchyRecursively enumerable languagesRecursive languageContext sensitive languagesContext ee languageseterministccontext free languagesRegularanguages71.俩证明7.6证明P在并、交、 Kleene*连接和补运算下封闭(1)并:对任意L,LEP,遴n时间图灵机M1和nb时间图灵机M2判定它们且c=max{ab}对L1L2构造判定器MM=“对于输入字符串w1)在W上运行M1,在w上运行M22)若有一个接受则接受,否则拒绝。时间复杂度:设M1为0(n)M2为0(m)。令c=max{ab}第一步用时0(n+n),因此总时间为Oma+n)=0(n9所以L1L2属于P类,即P在并的运算下封闭。(2)连接对任意L1,L2属于P类,设有n时间图灵机M1和m时间图灵机M2判定它们,且c=max{ab}。对L1l2构造判定器MM=“对于输入字符串w=w2灬,Wn对k=0,1,21…,n重复下列步骤。在wW2…wk上运行M1,在wk1wk+2…n上运行M若都接受,则接受。否则继续。若对所有分法都不接受则拒绝。时间复杂度:(n+1x0(n+0m-0(m+4)+0(nb+4=0(nc+),F以L1oL2属于P类,即P在连接的运算下封闭。对任意L属于P类,设有时间0(n)判定器M判定它,对构造判定器MM=“对于输入字符串〔1)在w上运行M12)若M1接受则拒绝,若M1拒绝则接受。时间复杂度为:0(m)。所以属于P类,即P在补的运算下封闭。77证明NP在并和连接运算下封闭。1)并对任意L1,L2∈NP,设分别有n时间非确定图灵机M1和n时间非确定图灵机M2判定它们,且c=max{a,b}。构造判定LL2的非确定图灵机M:M=“对于输入字符串w1)在W上运行M1,在w上运行M2。2)若有一个接受则接受,否则拒绝。对于每一个非确定计算分支,第一步用时为O(n-)+O(n),因此总时间为On+n)=0(n。所以LLz∈NP,即NP在并的运算下封闭2)连接对任意L,L2∈NP设分别有na时间非确定图灵机M1和m时间非确定图灵机M2判定它们,且c=max{ab}。构造判定L1oL2的非确定图灵机M:M=“对于输入字符串w:1〕非确定地将分成两段xy,使得w=xy。2)在x上运行M1,在y上运行M23)若都接受则接受,否则拒绝。对于每一个非确定计算分支,第一步用时O(n,第二步用时为0(n)+0(m),因此总时间为o(n+m)=0(n。所以L1oL2∈NP,即NP在连接运算下封闭。专题一一图灵机可判定性问题判定以下问题是否可判定:声明:思路—想证明B问题不可解,1.从一个不可解问题A入手(如停机问题)2.创建B的—个实例,从中推出如果能解决B,A也就可以解决了3.所以B是不可解的1.一个图灵机有至少481个状态。我们可以给出这样一个TMN进行cnc(M)a)数M中状态数,直到481b)如果达到了481,N就接受,否则拒绝2.给定图灵机在空串上走了481步还没停机。构造2带图灵机N,a)2a带:写481个0b)1s带在空串上模拟M,每走一步,第2带就删掉一个0c)如果M在所有0都删掉之后停机,则N接受,否则不接受给定图灵机,判定它是否在一些输入上经过481步还没停机?a)按字典序找出所有 length
- 2020-12-01下载
- 积分：1
digsilent 培训教材
digsilent是个很好用的电力系统的仿真软件，所以学习好这个软件对自己的学习和工作有很大的帮助。此文档就是大概的介绍digsilent这个软件，适合初学者SILENTDIgSILEnT软件PowerFactory软件发展历程1985年:第一套商业版分析软件开发成功1995年: DIySILENT10.31版软件正式发布1998F: DIgSILENT Power Factory 11.02000-f: DigSILENT PowcrFactory 12.02003-f: DIgSILENT Power Factory 13.02005年:推出 Station ware软件2008F: DIgSILENT Power Factory 14.0目前已经在一百多个囯家得到使用,已售出的软件超过4500套色三一电力科学研究院5www.digsilent.dehttp://www.diasilent.de/support/中国电力科学研究院CHINA ELECTRIC POWER RESEARCH INSTITUTE3SILENTPowerFactory软件的特点丰富的元件库( Equipment Type library);包括详细的系统元件模型如架空线、电缆、变压器、SVC、电流源和电压源等等,以及控制器模型如发电机调压器、调遠器和PSS等等面向程序化过裎的编程语言DPL,能够实现多种静态仿真分析功能,如乜压稳定性、PV/QV敏感性分析等。面向连续运行过程的仿真语言DSL,用于实现暂态稳定性分析过程中系统元件的控制。含多种电力电子元件,如SVC、TCSC等,这些元件都可以利用DSL定义相应的控制模型。中国电力科学研究院PowerFactory软件的特点数据管理方式数据库和数据管理器:分级的面向对象的数据,该教据库以Project为单位对数据进行存储,包含计算分析所需要的电网元件信息、图形信息以及计算设置提供电力系统运行、规划方案信急管理功能:允许用户在电网基础信息的基础上进行某些数据的修改并分别进行保存,如设计不同的护建方案,分析系统不同的运行方式等等完全图形化的操作模式软件由 Data manager和( raphic图形窗口两个工作页面组成,用户可以直接在图形窗口绘制电网、录入和修改电网数据,也可以在 Data manager页面中进行数据的录入和修改中国电力科学研究院CHINA ELECTRIC POWER RESEARCH INSTITUTESILENTPowerFactory软件的特点虚拟表计技术的应用窗口的概念,用于显示通过DP或暂态分析过程中的各变量的归线和波形,用户可以根据自己的需要来定义变量。数据兼容性提供用于与SC∧D八/(S进行数据交换的数据交换语言DOIF可以通过Excl进行数据的输入和输出〉与PSSE/E和PSS/U等电力系统仿真软件的数据进行转换。中国电力科学研究院CHINA ELECTRIC POWER RESEARCH INSTITUTEPowerFactory软件的主要功能潮流计算描述复杂的单相和三相AC系统及各种交直流渑合系统。潮流求解过程提供了3种方法以供选择:经典的牛顿拉夫逊算法、牛顿一拉夫逊电流迭代法和线性方程法(直接将所有模型作线性化处聖)。提供变电站控制、网络控訇、变压器分接头调整控以及多和远程控制模式故障分析支持几乎所有的故障类型(包括复故障分析)。谐波分析可以模拟各种谐波电流源和电压源,并提供计及集肤效应和内在自感的与颇牽相关的元件模型。中国电力科学研究院CHINA ELECTRIC POWER RESEARCH INSTITUTE5SILENTPowerFactory软件的主要功能稳定性分析能够实现机电暂态和电磁暂态的仿真汁算,能够仿真电力系统几乎所有类型的故障,仿真分析的结果能够通过虚拟表计来绘制成曲线图可靠性分析将系统充裕性和安全性进行了综合考虑,主要包括三个方面预想事故分祈、发电可靠性佔计和网络可靠性估计。保护它包含了许多额外的原件如CT、ⅥT、继它器等。所有这些保护元件在静态、晢态情况下都能够使用。在所有可能的仿真模式如潮流分析、故障分析、机电暂态和电磁暂态等情况下这些保护元件都能够响应。中国电力科学研究院CHINA ELECTRIC POWER RESEARCH INSTITUTEPowerFactory软件的主要功能最优潮流最优湖流计算是对基本潮流计算的有效补充。最优潮流计算主要采用内点法,并提供了多种约束条件和控制手段,其考虑的目标函数主要有最小网损、最小燃料赀用、最大利润及最小区域交涣潮流配网优化能够实现电容器选址优化、解环点优化以及电缆补强优化三种优化功能。低压网络分析根据连接到某一线路上的用户数量来定义负荷、考虑负荷的多样性、在进行潮流计算时考虑负荷多样性并计算电压最大跌落值和最大支路流、自动进行电缆补强、电压跌落和电缆负载卒分祈等。中国电力科学研究院CHINA ELECTRIC POWER RESEARCH INSTITUTE6SILENTPowerFactory软件划分配网包二业用户包输电网包风电应标准版专业版标准版专业版标准版专业版标准包用包剛流计算女障分析最优潮流保护「诸波机电暂态电磁暂态低压网终分析配网优化靠性分析中国电力科学研究院CHINA ELECTRIC POWER RESEARCH INSTITUTEPowerFactory在风电领域的独特性风电机组模型基于双馈感应发电机的变速风机基于变频器控制同步发电机(CDSG)的变速风机基于普通感应发电机的恒速风机·风电机组控制风电机组叶片机械特性模拟桨距角控制发电机保护和转子短路保护器(Crow-bar)建模变频器控制建模中国电力科学研究院CHINA ELECTRIC POWER RESEARCH INSTITUTE7Power Factor y软件界面介绍中国电力科学研究院CHINA ELECTRIC POWER RESEARCH INSTITUTE基本概念·用户在 PowerFactory中所进行的所有数据录入、设置和修改信息都自动存储在 Database中(即安装目录下的DB文件),用户无需自定义存储路径。所搭建网络能够以图形的形式显示录入数据的方法在图形用户界面录在 data manager中录入中国电力科学研究院CHINA ELECTRIC POWER RESEARCH INSTITUTE8SILENTDAtabase的主要结构Global Library:软件内置的元件Library库,含电力系统相关的所有标准元件类型,如发电机、线路、变压器以及相关控制器的元件类型等等。只有管理员能够进行修改。ProjectLocal Library:User3在当前Library的 Project中自定义的元件库,User3能够进行修改。中国电力科学研究院CHINA ELECTRIC POWER RESEARCH INSTITUTEa1x的m③6“s“a“AaMPowerFactory Database连de1F他mao0612106k计ate FolderET Induct006-12!o82Am时世EOr Driven Mac黑 tor Draventro st adand Iode10-30 10: LAbatnintrateranrfonmeEs. rm EtatienFare软件内置元件库Castable r分 tea ttrslielm卿bxe;模型及算例a I2E Exuele Std 192-19312553 metre basebar自定义用户名9SILENTroject的概念Project一项目包含项目分析计算所需的所有数据◆电网数据和网络拓扑结构负荷数据、发电厂相关数据系统运行方式◆仿真事件和语句仿真分析结果中国电力科学研究院CHINA ELECTRIC POWER RESEARCH INSTITUTE功能图标区室是画=x图山×g团w出回的A国日工已激活的 Project区哇白60Data Manager由团鱼8绘图区数据管理窗①①围厂多t()=A+·Mue4M凸结果输出窗10
- 2020-12-01下载
- 积分：1
|
联系客服（QQ：3324461878）
