MATLAB有限元结构动力学分析与工程应用（书籍+程序）.zip

QT5中使用QHttp类.rar 在QT5中使用了QT4中的QHttp类的可以下载试试

课堂作业，采用haar小波实现一维信号的分解与重构(mallat算法)：

采用Warshall算法，从邻接矩阵求可达矩阵

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

本资源利用MCGS组态软件来模拟实现四层电梯的控制，运行。PLC WORLD处理器为核心,综合了计算机控制、自动化、通讯网络等技术的一种通用的工业控制装置。PLC电梯控制系统有如下的特点:(1)、PLC是基于工业环境下设计的控制装置,环境适应性强,可靠性高;(2)、PLC最常用的编程语言是梯形图语言,编程语言形象、直观,编程筒单,便于广大现场工程技术人员掌握。(3)、門C控制系统的体积小,重量轻,便于安装,维修方便。(4)、PLC具有自诊断、故障报警、故种类显示等功能,可以方便的实时监视系统的运行状态。(5)、现代PLG具有传统控制系统无法比拟的远程数据传送、交换、控制和监枧的网络通讯功能。1.2系统结构和控制器选型电梯的PLC控制系统的结构如图1所示,主要硬件包括:可编控制器PL0、变频器、光电旋转编码器、轿厢操纵盘、厅外呼梯盘、门机及其他电气元件等。轿箱历外上位积操纵呼梯盘组态监控楼层显示申行接入部PLC部分串行接口2分门机编拽引机变频器码器图1系统结构图PLC WORLD1.3本次实习所选用的PLG机型?以及编程软件?S7-200可编程控制器是德国西门子公司研制的一种新型可编程控制器。它工作可靠,功能极其强大,存储容量大,编程方便,输出端可直接驱动2A的继电器或接触器的线圈,抗干扰能力强。因此,能够满足电梯对电气控制系统的要求。S7-200系列小型PG( MicroPL0)可应用于各种自动化系统。紧凑的结构,低廉的成本,强大的功能使得它成为各种小型控制任务的理想解决方案。在本次设计中,利用它编写控制一个四层楼电梯的控制系统分别完成轿厢内指令,厅外召唤指令,楼层位置指示,开门控制等任务STEP7WN32是S7-200系列的PLG编程软件,可以对S7-200的所有功能进行编程。该软件在 Windows平台上运行。其基本功能是协助用户完成应用软件任务。例如:创建用户程序,修改和编辑过程中编辑器具有简单的语法检查功能。还可以直接用软件设置PG的工作方式,参数和运行监控2.四层楼电梯模拟控制的设计控制要求(1)开始时,电梯处于任意一层。(2)当有外呼电梯信号到来是,轿厢响应该呼梯信号,达到该楼层时,轿厢停止运行,(轿厢门打开,延时3秒后自动关门)(3)当有内呼电梯信号到来是,轿厢响应该呼梯信号,达到该楼层时,轿厢停止运行,(轿厢门打开,延时3秒后自动关门)(4)在电梯轿厢运行过程中,即轿厢上升(或下降)途中,任何反PLC WORLD方向下降(或上升)的外呼信号均不响应,但如果反方向外呼梯信号前方再无其他内、外呼梯信号时,则电梯响应该外呼梯信号。例如,电梯轿厢在一楼,将要运行到三楼,在次过程中可以响应二层向上的外呼梯信号,但不响应二层向下的外哗梯信号。当到达三层,如果四层没有任何呼梯信号,则电梯可以响应三层向下外呼梯信号。否则,电梯将继续运行至四楼,然后向下运行响应三层向下外呼梯信号(5)电梯具有最远反向外呼梯功能。例如,电梯轿厢在一楼,而同时有二层向下呼梯,三层向下呼梯,四层向下外吇梯,则电梯轿厢先去四楼响应四层向下外呼梯信号。(6)电梯未平层或运行时,开门按钮和关门按钮均不起作用。平层且电梯轿厢停止运行后,按开门按钮轿厢开门,按关门按钮轿厢关门。3.I/0点的分配如下10.0S4四层内呼|10.7U1层上呼10.1S3层内呼11.0U2二层上呼10.2S2二层内呼11.1U3三次上呼10.3S1层内呼11.2SQ1层限位PLC WORLD10.4D4四层下呼11.3SQ2二层限位10.5D3层下呼11.4SQ3三层限位10.6D2二层下呼11.5SQ4四层限位Q0.0L4轿厢在四Q1.0SL2内呼二层层指示Q0.1L3轿厢在三Q1.1SL1内呼一层层指示Q0.2L2轿厢在二Q12外呼一层层上指示00.3L1轿厢在一Q1.3UP2外呼二层层上指示Q0.4DOWN轿厢上行Q1.4UP3外呼三层上指示Q0.5UP轿厢下行Q1.5DN2外呼二层下指示00.6sL4内呼四层Q1.6dn3呼三层指示下指示Q0.7内呼三层Q1.74外呼四层指示下指示4.PLC编程程序如下:4.1指令表:PLC WORLDsgLDsa22sq33sq1414Dsq0LD MO. 50MO. 4ALDLDSg2sq10MO. 5LDMO. 7M0. 6ALDOLDM2.0PLC WORLDsgdownLDMO. 7MO. 6ALDLD14sqdownM0. 6DMO. 5MO. 4ALDOLDM2.1MO. 2ANM3.0ownsq2sa3ANg4OLDPLC WORLDM3.3sg3sa2qAN MO. 5AMO. 7M2.0M3.3LDN MO. 2ANM2.7LDn sq 1AN213sqOLDM3.4g40sa3PLC WORLDsq200AAdownM0. 6MO. 3MO. 4LDM2.1M3.6OLDM3.4downd4sq4AL0ADd3sq3OLD20d22OLDusq

作者诙谐幽默的讲述通信的基本知识，对于入门者来说是一本很好的读物，通俗易懂。

基于matlab的车牌号识别系统，程序保证可运行，详细的注释，包含标准字符模板库。

有关相控阵雷达方面的专业资料，适合雷达相关专业人员学习使用。

matlabParzen窗法估计概率密度函数，得出贝叶斯分类器用Fisher线性判别方法求分类器留一法估计错误率

压缩包内包括sql文件、jsp代码和一份报告。类似于我校教务管理系统，有四类用户：教务员可以输入学生、教师、班级、课程信息，一个班级只属于一个专业，一个学生只属于一个班级。教务员负责输入每个专业、每个班级需要学习哪些课程，指定课程的任课教师。教师可以查看学习该课程的学生名单。课程结束后，教师可以录入课程成绩。一个教师可以教授多个班的多门课程，每门课由多位老师讲授。课程分两类，必修课和选修课。系统要记录每个学生学习各门必修课的成绩，还要记录学生选修了哪些选修课以及课程成绩。学生可以查看自己各门课程的成绩。学生还可以进行评教，给老师打分。系统管理员可以输入教室信息，并结合班级、课程、教室