16通道同步采样芯片AD7616的FPGA+Verilog源码

该源码为MATLAB图像处理GUI的源代码，包含图像灰度转化，二值化、边缘检测、以及图像增强、直方图均衡化等功能。

OPC Core Components Redistributable (x64) (version: 3.00.105.1)

mablab实现MIMO,SIMO,MISO,SISO的容量仿真

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

基于STM32F4平台，采用C实现了小波变换和提升小波变换，并附有详细移植说明和例程，可直接使用。

LabView 大作业程序 简单的计算器。使用labview模拟的一个简单的计算器程序。可以直接运行

国外大牛 Andrew Fitzgibbon写的ICP算法实现代码，含2D和3D，工具包，可以打开主目录下的Untitled3看一下效果。

基于遗传算法求解0,1背包问题，以遗传算法对求解0.1背包问题进行优化，优化计算时间等。。

（师汉民）机械振动系统_上,优秀研究生教程内容简介本书讲述现代振动工程中有关振动系统的分析测试建模与对策方面的基础理论、基本知识以及常用的方法和技巧。全书分上下两册,上册(基础篇)包括单自由度与多自由度系统振动的基础知识随机激励下的振动振动系统的测试辨识与建模振动的抑制与利用;下册(深化篇)包括分析动力学基础,多自由度系统振动分析的常用方法连续系统与非线性系统的振动,工程中的自激振动以及振动问题分析求解的计算方法本书注意联系工程实际,可作为机械类专业硕士研究生教材;其中上册也可作为本科生教材使用。此外,本书还可供工程技术人员参考AbstractThe fundamental theory, basic knowledge and the methodsand techniques most in use for analysing, measuring, testingmodeling and controlling vibration systems in modern vibrationengineering are discussed in this book. The book is devided intotwo volumes. the first volume(fundamental one) consists of ba-sic knowledge about the vibration of single-or multidegree-offreedom systems, vibration induced by random excitation, vibration measuring, testing, identifying and modeling, vibration suppression and vibration application, the second volume (deepen-ing one) is devoted to elements of analytical dynamics, the methods in common use for analysing vibration in multi-degree-of-freedom systems, vibration of continuous and non-linear systems, self-excited vibration in engineering and computation techniques for vibration problem solvingPaying attention to integrating theory with engineeringpractice the book may be used by the Master degree students inhe disciplines related to mechanical engineering as well as thefirst volume of the book can be used by the undergraduates as atextbook. Besides, the book can be used also by engineers or researchers as a reference book.“研究生用书”总序研究生教材建设是提高研究生教学质量的重要环节,是具有战略性的基本建设。各门课程必须有高质量的教材,才能使学生通过学习掌握各门学科的坚实的基础理论和系统的专门知识,为从事科学研究工作或独立担负专门技术工作打下良好的基础我校各专业自1978年招收研究生以来,组织了一批学术水平较高,教学经验丰富的教师,先后编写了公共课、学位课所需的多种教材和教学用书。有的教材和教学用书已正式出版发行,更多则采用讲义的形式还年印发。这些讲义经过任课教师多年教学实践,不断修改、补充、完善,已达到出书的要求。因此,我校决定出版“研究生用书”,以满足本校各专业研究生教学需要,并与校外单位交流,征求有关专家学者和读者的意见,以促进我校研究生教材建设工作,提高教学质量。“研究生用书”以公共课和若干门学位课教材为主还有教学参考书和学术专著,涉及的面较广,数量较多,准备在今后数年内分批出版。编写“研究生用书”总的要求是从研究生的教学需要出发,根据各门课程在教学过程中的地位和作用,在内容上求新、求深、求精,每本教材均应包括本门课程的基本内容,使学生能掌握必需的基础理论和专门知识;学位课教材还应接触该学科的发展前沿,反映国内外的最新研究成果,以适应目前科学技术知识更新很快的形势;学术专著则应充分反映作者的科研硕果和学术水平,阐述自己的学术见解。在结构和阐述方法上,应条理清楚,论证严谨,文字简炼,符合人们的认识规律。总之,要力求使“研究生用书”具有科学性、系统性和先进性。我们的主观愿望虽然希望“研究生用书”的质量尽可能高一些,但由于研究生的培养工作为时尚短,水平和经验都不够,其中缺点、错误在所难免,尚望校内外专家学者及读者不吝指教,我们将非常感谢。华中理工大学研究生院院长黄树槐1989.11本书是为华中狸工大学顾士研究生的学位课程“机械扳动所编写的教材。此课裎旨在鄣助研究生掌握机械振动的基础理论、基本测试、建模技能与分析计算方法,培养他们对机械系统和工程结构进行振动分析与控制、有效地处理机械工程中各种振动问题的能力为实現上述目的,本书力图在“少而精”的前提下覆盖机械工程类的碩士研究生在他们未来的工作中为处狸种种动态分析与振动控制问题,可能需要的基础理论、基本知识以及常用的方法和技巧。我们试图突破现有机械振动方面的书藉或教材的一般体系,而将现代振动工程中有关振动系统的分析、测试、建樸与对策方面的知识组织成为一个有机的整体,供研究生学位课程教学之用。本书以机械类工科专业本科的课程(理论力学、材杵力学、高等数学和工程数学)作为起点,在取材与编排上有以下特点:突出联系工程实际的观点,在遵循振动学科的基本体系、讲清振动科学的基础理论的同时,注意阐述有类理论、知识和方法的工程背景与实际意义;注意反映由于电子计算机在振动分析中的广泛深入的应用而发展起来的一些新的方法与技巧在适应于教材的容蚤与深度的范围内,本书还介绍了作者近年来在金属切削机床自激振动的非线性理论及其在缀监控技术方面的主要研究成果,作为工程实际中的动问题的分析与处理之例全书分上下两册,上册(基础篇)包抬单自由度与多自由度系统振动的基础知识,随机激励下的扳动,振动系统的测试、铧识与建模,振动的抑制与振动的利用;下册〔深化篇)包括分析力学基础,多自由度系统振动分祈的常用方法,连续系統与非线性系统的振动,工程中的自激振动以及振动问题分析求解的计算方法在叙述方法上我们尽力注意突出重点,讲清难点,分清层次,以利教学!特别是注意以启发诱导的方式,激发研究生的学习兴趣,引导他们去钻砑与理解。在每幸之末灼附有若干思考题》,这些思考題“貌似简单”,其实并不容易,它们有助于都助学习者澄清模糊概念,并激发学习兴趣。在书末附有各章思考题的答案,但我们希望读者在经过认真思考以后,再去查阅答案。各幸之后还附有若干习题,供读者选作。按照我们的教学经验,如果讲授得法,而且研究生们能努力学习,积极配合,那么80学时已足够讲授本书的基本内容,课内外学时之比约为1:2。如果研究生们在本科期间已修有关振动方面的课程,则可略去第一篇,而由第二篇开始讲授,大约40~60学时已能讲完。本书第一篇(笫一至笫七章)还可作为机械类专业大学本科生的必修戌选修课教材,约需40~60个课堂学时。本书除作为教材之外,还可供从亨机搋产品与机械设备的振动测试、分析、押制或利用等方面工作的广大工程技术人员作为技术参考书。谌刚与吴雅参与了这门课程的教学实践与大纲制订,并分别捉供了第三、四、六、七、九幸与第一、二章的初搞,全书由师汉民编写与修改、定稿。谌刚与吴雅负贡盤理、校核全书的文字、公式与插图。伍良生校阅了部分章节,并提出了宝贵建议。周辉、张保国与刘国祥为塔写书稿付出了辛的劳动。杨叔子教授对于这门课程的开设与教材编写给与了热情的支2·持和关怀。枉润生为本课程的实验开设作出了贡献。邓星钟、卢文祥等同志郗为此課程教学活动的正常进行付出了劳动。限于编者的水平,书中定有许多不恰当甚至错误之处,切望读者批评指正。编者1990年11月28日3目录绪论(1)第一篇基础篇●·鲁鲁命◆·鲁●第一章单自由度线性系统的自由振动…(9)§1.1振动系统的简化及其模型……………………(91.2单自由度线性系统的运动微分方程…(22)§1.3无阻尼系统的自由振动……………………(27)§1.4有阻尼系统的自由振动………………6(42)第二章单白由度线性系统的强迫振动………………(56)s2.1谐波激励下的强迫振动………………………(56)S22周期激励下的强迫振动, Fourier级数法……(74)S2.3非周期激励下的强迫振动, Fourier变换法(85)s24非周期激励下的强迫振动脉冲响应函数法…(92)§25冲击与系统的冲击响应…(104)第三章两自由度系统的振动…(113)§31两自由度振动系统的运动微分方程…………(113S3.2无阻尼系统的自由振动,自然模态………………(116§3.3坐标变换与坐标耦合………………(123)§34自然坐标……………………………………(126)§3.5拍击现象…(129)§36两自由度系统在谐波激励下的强追振动…自备口▲▲自自鲁晶自目●(133)第四章多自由度系统振动的基本知识…………………(142)§4.1广义坐标(143)§4.2线性系统的运动方程及其矩阵表达式………………(144§43线性变换与坐标棵合(152)§4.4无阻尼自由振动特征值向题…(154)§45模态向量的正交性与展开定理160)4.6系统对初始激励的响应…(165)s47影响系数,系统机械能与互易定理……………………·(169§4.8系统矩阵、动力矩阵(176)§4.9有阻尼多自由度系统的自由振动…(179)s4.10多自由度系统的一般响应……………………(183)§4.11多自由度振动系统的几种特殊情况………………………(188)第五章随机激励下的振动…(205)§5.1引言●●鲁●幽L自。◆·申费●鼻……………·(205)§5.2随机过程的基本概念……………………………(207)§5.3线性系统对于平稳随机过程的响应(228)§5.4随机过程的联合性质………………………(236)§5.5多自由度系统对于随机激励的响应…………………(243)§5.6窄带随机过程分析………………………………(256)第六章振动系统的测试辨识与建模(271)S6.1振动测试传感器■血■●·自命鲁■■自着鲁自▲吾鲁DD命甲舀省聊即晕●聊鲁看看■■·■■(272)§6.2激振器……………………(283)§6.3振动测试系统命昏●看◆血鲁··。。●■●Da(286)§6.4模态参数识别…………………"(293)§6.5物理参数识别与修改…………………………………(305)第七章振动的抑制与利用(317)§7.1抑制振源…………………………………………(317)§7.2隔振………………………(331)§7.3减振…·(338)S7、4振动的主动控制…………………………(353)s7.5振动的利用…………………(358)思考题参考答案………………(368)2

TCP/IP参考模型是首先由ARPANET所使用的网络体系结构。这个体系结构在它的两个主要协议出现以后被称为TCP/IP参考模型(TCP/IP Reference Model)。这一网络协议共分为四层：网络访问层、互联网层、传输层和应用层。网络访问层(Network Access Layer)在TCP/IP参考模型中并没有详细描述，只是指出主机必须使用某种协议与网络相连。互联网层(Internet Layer)是整个体系结构的关键部分，其功能是使主机可以把分组发往任何网络，并使分组独立地传向目标。这些分组可能经由不同的网络，到达的顺序和发送的顺序也可能不同。高层如果需要顺序收发，那么就