Visual C++ 开发GIS系统 陈建春 配书源代码

包含了多数的IEEE潮流算例，从3节点~300节点，有图有真相。

BPSK，QPSK调制与解调matlab代码，过高斯信道的仿真结果与理论值对比，西电研究生估值大作业。

计算理论复习总结,但是考试快要结束了，估计大家也没有什么需要了。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

SSD检测网络抽取权重，用于生成更好的预训练模型，加快收敛速度。

新尚硅谷大数据技术之Hadoop（入门），尚硅谷大数据技术之Hadoop（HDFS文件系统）.doc尚硅谷大数据技术之Hadoop（MapReduce）.doc尚硅谷大数据技术之Hadoop.xmind等多个文件

HFSS的915MHz微带天线设计仿真微波DA|专注于微射抓硬件工程师的培www.mweda.com提供最专业的ADS、HSS培训课程指标要求。若进一步考虑引入阻抗匹配馈线对天线谐振频率的影响,根据之前已仿真的结果,将贴片辐射元长度调整为74.2mm时,天线在915MHz频段表现出最佳的性能,如图3、图4所示。图1侧边馈电矩形微带贴片天线模型Armo CaponeXY Plot 1LP LIPE-田2天线模型仿真结果1(S1)Am秀 OpinionRadiation Paten 1P unnc s以nommretrtaa图3天线模型仿真结果( Directivity)Armo CorporaonXY Plot 1LP_LhoFood Sre台 urpim upet500图4天线模型仿真结果2(S1)微波DA|专注于微射抓硬件工程师的培www.mweda.com提供最专业的ADS、HSS培训课程3结论从上述仿真结果可知,选择介电常数44厚度5mm的介质基板材料,贴片辐射元尺寸为998mm74.2mm,四分之一波长阻抗匹配变换器尺寸为47.3mm×3.7m时,天线中心谐振频率在915MHz附近,工作频率点辐射主瓣E面波瓣宽度63:=84°,H面波瓣宽度θ3s=97°,天线增益Gain=325(dB)(辐射效率η=0.5),回波损耗S1=-31.77(dB)(WSWR=1.05),阻抗匹配良好,系统带宽B4=1.5%(以S11≤-14dB标准为参考),天线主平面尺寸18.2cmx13.2cm,天线各项设计指标达到预定的工程设计要求。本文所讨论的采用软件仿真验证与优化的方式相比传统实物制作并测试的方式,极大地缩减了现代天线从设计到调整实现所需的时间和成本,在工程设计上将有着广泛的应用。[参考文献][1] Stutzman Warren L, Thiele Gary A. Antenna Theory and Design( Second Edition)[M]. Beijing POST TELECOM PRESS2006,[2] Bahl I J, Bhartia P.微带天线[M].北京:电子出版社,1984[3]谢拥军,刘莹,李磊HFSS原理与工程应用[M].北京:科学出版社,2009[4]张均,刘克诚张贤铎.微带天线理论与工程M].北京国防工业出版社,198[5]钟顺时微带天线理论与应用[M].西安:西安电子科技大学出版社,1991[6]宋旭亮矩形微带天线设计与阻抗匹配网络[D].大连:大连海事大学,2008【贵任编辑:刘长青】Simulation and Verification of 915 MHz Microstrip Antenna Design Based on HFSSWU Zhi-xiong WANG HongFujian Polytechnic of Information Technology, Fuzhou, Fujian, 350003, China)Abstract: This paper introduces the processes of engineering design and simulation verification of the rectangle microstrip patch antenna working in 915 MHz Frequency by using the computer electromagnetic simula-tion software HFSS. The authors first estimate the designing parameters through the classical transmission linetheory, and then follow the steps of modeling and simulation on the software. Finally, get best results for the de-signing by optimal adjustment, while the antenna achieves its best performance indexes in the condition givenout beforeKey words: HFSS; microstrip antenna; antenna design; electromagnetic simulation8袋R足①A皆揉本队、八年轻积累m寺注于做被。射频。研件工程师的培养微波网视频培训教程推荐微波网成立于年底,并于翌年与易迪拓培训合并,专注于微波、射频和硬件⊥程师的培养,现已发展成为国内最大的微波射频和无线通信人才培养基地先后与人民邮电出版社、电子工业出版社合作出版了多本专业图书,成功推出了多套微波射频经典培训课程和等软件的使用培训课程,广受工程技术学员的好评,帮助数万名工程师提升了专业技术能力。客户遍布中兴通讯、研通高频、埃威航电、国人通信等多家国内知名公司,以及台湾工业技术研究院、永业科技、全一电子等多家台湾地区企业。示皿中文视频培训课程套装ANSYS LIFSS国内最全面和专业的培训教程套装,包含套视频教程和本教材,李明洋老师讲解;结合最新工程案例,视频操作FSs培訓程罄裴演示,让学习不再难。购买套装更可超值赠送个月免费学习答疑,让您花最少的成本,以最快的速度自学掌握【点击浏览详情】两周学会中文视频教程李明洋主讲,视频同步操作演示,直观易学。课程从零训起,通过两周的课程学习,可以帮助您快速入门、自学掌握真正做到让学习不再难…【点击浏览详情】微波器件仿真分析实例中文视频教程进阶培训课程,中文视频,通过十个仿真设计工程应用实例,带您更深入学的实际应用,掌握高级设置和应用技巧…【点山浏览详情】天线设计入门中文视频教程是天线设计的王者,该教程全面解析了天线的基础知识天线设计流程和详细操作设置,让天线设计不再难…【点击浏览详情】雷达散射截面分析中文视频教程全面剖析了如何使用仿貞计算各种目标物体的雷达散射截面),包括:单站双站和宽频【点击浏览详情】了解详情,请查看微波网(微REDA黄沫气形队、年好验积m可m专于做被,射频,录件工程斯养微波射频测量仪器培训课程套装合集测试仪器培训课程套装搞射频微波,不会仪器操作怎么行!矢量网终分析仪、频谱仪、取+书最+提专手E示波器、信号源是微波射频工程师最常用的测量仪器。该培训套装集合了直观的视频培训教程和详尽的图书教材,旨在帮助您快速熟悉和精通矢网、频谱仪、示波器等仪器的操作…【点微波EDA员wwww.nwra.com击浏览详情】学习培训课程套装AD学习调课程套装心吧口国内最全面和权威的培训教程,详细讲解了在微波射频电路、通信系统和电磁仿真设计方面的应用。课程是山具有多年使用经验的资深专家讲解,结合工稈实例,直观易学;能计您在最短的时间内学会,并把真正应用到研发工作中去…【点击浏览详情】我们的课程优势※成立于2004年,一直专注于射频工程师的培养,行业经验丰富,更了解您的需求※视频课稈、既能达到现场培训的效果,又能免除您舟车劳顿的辛苦,学习工作两不误※经验丰富的一线资深专家主讲,结合实际工程案例,直观、实用、易学※更多实用课程,欢迎登陆我们的官方网站或者登陆我们的官方淘宝店0A|-专注于微波、射频、硬件工程师的培养,址

一种基于MATLAB的WCDMA信号仿真方法

simulink仿真文件，一个DC/AC的电路逆变器控制，使用虚拟同步发电机技术（VSG）控制方法，运行顺利，仿真结果波形良好。

使用stm32f334单片机HRTIMER产生BUCK电源电路的PWM和用于全桥逆变的SPWM波。

用matlab编写的粗糙集约简算法，能进行属性约简和规则约简等。