-
混合高斯背景建模-运动物体检测下载
使用混合高斯背景建模方法，进行视频中运动物体的检测。视频采用matlab自带的视频。适用于背景静止的视频。会用方框框出运动物体，阈值可自行调节。含实验报告。课程实验，仅供参考。
- 2020-12-07下载
- 积分：1
-
abaqus切削仿真实例
abaqus的车削仿真实例inp文件，推荐新手参考
- 2020-06-23下载
- 积分：1
-
Concepts in Programming Languages.pdf
Concepts in Programming Languages by John Mitchell.一本国外经典教材，看了之后对编程语言更加理解。费了很多劲才找到的。Concepts in Programming LanguagesThis textbook for undergraduate and beginning graduate students explains and examines the central concepts used in modern programminglanguages, such as functions, types, memory management, and controlThe book is unique in its comprehensive presentation and comparisonof major object-oriented programming languages. Separate chapters ex-amine the history of objects, Simula and Smalltalk, and the prominentanguages c++ and JavaThe author presents foundational topics, such as lambda calculus anddenotational semantics, in an easy-to-read, informal style, focusing on themain insights provided by these theories. Advanced topics include concurrency and concurrent object-oriented programming. A chapter on logicprogramming illustrates the importance of specialized programming meth-ods for certain kinds of problemsThis book will give the reader a better understanding of the issuesand trade-offs that arise in programming language design and a betterappreciation of the advantages and pitfalls of the programming languagesthey useJohn C. mitchell is Professor of Computer Science at Stanford University,where he has been a popular teacher for more than a decade. Many of hisformer students are successful in research and private industry. He received his ph D. from mit in 1984 and was a member of technical staff atat&T Bell Laboratories before joining the faculty at Stanford. Over thepast twenty years, Mitchell has been a featured speaker at internationalconferences; has led research projects on a variety of topics, includingprogramming language design and analysis, computer security, and applications of mathematical logic to computer science; and has written morethan 100 research articles. His previous textbook, Foundations for Pro-gramming Languages(MIT Press, 1996), covers lambda calculus, typesystems, logic for program verification, and mathematical semantics ofprogramming languages. Professor Mitchell was a member of the programming language subcommittee of the ACM/ieEE Curriculum 2001standardization effort and the 2002 Program Chair of the aCm principlesof programming languages conferenceCONCEPTS NPROGRAMMINGLANGUAGESJohn c. mitchellStanford UniversityCAMBRIDGEUNIVERSITY PRESSPUBLISHED BY THE PRESS SYNDICATE OF THE UNIVERSITY OF CAMBRIDGEThe Pitt Building, Trumpington Street, Cambridge, United KingdomCAMBRIDGE UNIVERSITY PRESSThe Edinburgh Building, Cambridge CB2 2RU, UK40 West 20th Street, New York, NY 10011-4211 USA477 Williamstown Road, Port Melbourne vic 3207, AustraliaRuiz de alarcon 13, 28014 Madrid, spainDock House, The Waterfront, Cape Town 8001, South Africahttp://www.cambridge.orgo Cambridge university press 2004First published in printed format 2002isBN 0-511-03492-X eBook(adobe readerISBN 0-521-78098-5 hardbackContentsPrefacepage IxPart 1 functions and foundations1 Introduction1.1 Programming Languages1.2 Goals1.3 Programming Language History3561.4 Organization: Concepts and Languages2 Computability2. 1 Partial Functions and computability102.2 Chapter SummaryExercises163 Lisp: Functions, Recursion, and Lists3.1 Lisp History183.2 Good Language design203. 3 Brief Language overview223.4 Innovations in the Design of Lisp253.5 Chapter Summary: Contributions of LispExercises404 Fundamentals484.1 Compilers and syntax484.2 Lambda calculus4.3 Denotational semantics4.4 Functional and Imperative Languages4.5 Chapter SummaryExercisesContentsPart 2 Procedures, Types, Memory Management, and Control5 The algol Family and ML5.1 The Algol Family of Programming Languages5.2 The Development of C5.3 The LCF System and ml5.4 The Ml Programming Language1035.5 Chapter summary121Exercises1226 Type Systems and Type Inference1296.1 Types in Programming1296.2 Type Safety and Type Checking1326.3 Type Inference1356.4 Polymorphism and Overloadin1456.5 Type Declarations and Type Equality1516.6 Chapter Summary155Exercises1567 Scope, Functions, and storage Management1627.1 Block-Structured Languages1627.2 In-Line blocks1657.3 Functions and procedures1707.4 Higher-Order functions1827.5 Chapter summary190Exercises1918 Control in Sequential Languages2048.1 Structured control2048.2 Exceptions2078.3 Continuations2188.4 Functions and evaluation order2238.5 Chapter summary227Exercises8Part 3 Modularity, Abstraction, and object-Oriented Programming9 Data Abstraction and Modularity2359.1 Structured Programming2359.2 Language Support for Abstraction2429.3 Modules9.4 Generic Abstractions2599.5 Chapter Summary269Exercises27110 Concepts in Object-Oriented Languages27710.1 Object-Oriented design27710.2 Four Basic concepts in object-Oriented languages278Contents10.3 Program Structure28810.4 Design Patterns29010.5 Chapter summary29210.6 Looking Forward: Simula, SmalltalkC++Java293Exercises29411 History of objects: Simula and smalltalk30011.1 Origin of Objects in Simula30011.2 Objects in Simula30311.3 Subclasses and Subtypes in Simula30811.4 Development of smalltalk31011.5 Smalltalk Language features31211.6 Smalltalk flexibilit31811.7 Relationship between Subtyping andInheritance2211.8 Chapter SummaryExercises32712 objects and Run-Time Efficiency: C++33712.1 Design goals and Constraints33712.2 Overview of c++34012.3 Classes. Inheritance and Virtual functions34612.4 Subtyping35512.5 Multiple inheritance12.6 Chapter summary366Exercises36713 Portability and Safety: Java38413.1 Java language overview38613.2 Java Classes and Inheritance38913.3 Java Types and Subtyping39613.4 Java System architecture40413.5 Security Features41213.6 Java summary417Exercises420Part 4 Concurrency and Logic Programming14 Concurrent and Distributed Programming43114.1 Basic Concepts in Concurrency43314.2 The actor model44114.3 Concurrent ML14.4 Java concurrency45414.5 Chapter Summary466Exercises469Contents15 The Logic Programming Paradigm and Prolog47515. 1 History of logic Programming15.2 Brief Overview of the logic Programming Paradigm4715. 3 Equations solved by Unification as Atomic Actions15.4 Clauses as Parts of procedure declarations48215.5 Prologs Approach to Programming48615.6 Arithmetic in Prolog49215.7 Control, Ambivalent Syntax, and Meta-Variables49615.8 Assessment of Prolog50515.9 Bibliographic remarks50715.10 Chapter Summary507Appendix a Additional Program Examples509A 1 Procedural and Object-Oriented organization509Glossary521Index525
- 2020-12-09下载
- 积分：1
-
区域生长图像分割-MATLAB程序，注释比较完善
Matlab写的区域生长图像分割程序。%区域生长算法:regionfunction LabelImage=region(image,seed,Threshold,maxv)%image:输入图像%seed：种子点坐标堆栈%threshold：用邻域近似生长规则的阈值%maxv：所有生长的像素的范围小于maxv% LabelImage:输出的标记图像，其中每个像素所述区域标记为rn[seedNum,tem]=size(seed);%seedNum为种子个数[Width,Height]=size(image);LabelImage=zeros(Width,Height);
- 2020-12-02下载
- 积分：1
-
晶粒再结晶的元胞自动机模拟
本程序是一个简单的模拟晶粒再结晶的程序，可以用于学习元胞自动机在微观组织模拟中的应用。
- 2020-11-27下载
- 积分：1
-
APF资料-APF、SVG simulink源程使用说明
我室(南京悦能科技工作室)推出的低压有源滤波器（APF）和静止无功发生器（SVG）产品为三电平结构模块化设计，完全自主研发、性能优异、价格合理。 我是做技术的，我们的有源滤波器采用目前最先进的控制技术（自我独创），实现产品的高性能高稳定性，在多个工程中已有应用。我室刚开展业务，诚心寻找合作伙伴，合作方式多样，以深入的技术合作为主，也可代理销售本工作室授权公司生产的APF、 SVG成品。若贵公司有这方面的业务需求欢迎联系参观合作。:负载建模Three load棖据实际负载情况设置负载参数,下图分别为三相三线制和三相四线制仿真的负载连接C三相三线值负载为:三相整流负载。Three LoadI模块展开「mm「三相四线值负载为:单相整流负载。四:有源滤波器主回路建模如下图,各AP主回路模块接口图。注意图中有以下区别1,三柱三线制AFF的强电输入为A,B、C三根电源线:三四线制APF的强电输入为A、B、C、N四根电源线2,APF_2 level_3p3的调旨系数为3路,产生驱动脉冲6谘PWM信号APF2 level_3p4L的阗亐系数为4路,产生驱动脉冲8路PWM信号;APF3 level3p3L和APF3 level3p4L的凋节系数都为3路,产生驱动脉冲12路PWM信号;3,在AP回路,四种APF都需婁采集3路APF电流信号;但是APF2 leyel3p3L和APF2 elevel3p4L直流母线电压只有一路,只采集一路,APF3levl3p3L和APF3 dlevel_3puL直流母线电压有两路,采集两路yd- char geCnangevdc lpwmInVuuVdr m出gAl changhnresA onAFF2|乳Lapf leve 4LFF3Eve孔以下匹图,分别为APF2 level_3p3L、APP2leel3p4L、APF3 level3p3LAPF3lvel3p4L的拓扑结构」APF2eve3p3主拓扑逆APF2eve3p4L宇拓扑本本4本本本本本本本本TadTAPF3evel3p3主拓扑本本x本小本本本本小本CrrtiCYF本本山本本时本La 2 LeI」APF_3leve3p4L主拓扑APF2 level3p3主叫路建模如下图,APF2leve3p仅多一路线IGBT和进线电抗PMM領电流检测的直流突波容甲容滤波回路主电抗模拟杂数电感APF_2leve1_3p3L主回路建模AFF3evl建模如下图,APF3evel3p3和APF3 level3p4L网别在于装置N点是否连接电网N线。电流检测PW_an主电抗0.0013·1均压电阻宰牛C=9220uF和幸+∞苧滤波板GB逆变回路0直流电压检测APF3leve1主回路建模五:电压、电流检测回路建模电压、电流信号釆集电路实昒在数据釆集板或滮波板(50A模块)上,包括3路电源电压釆集SV、直流母线电压CV釆集(两电平1路,三电平2路)、3路AP电流AI采集3路负载电流II采集。1,电网电压SvV采样处理如下图,采用原副边电压比为300707380V系统的电压互感器。PT changESv changer07300res n2,直流母线电压〔V釆样处理如下图,额定电压375V(三电平,两路路)或750V(两电平,一路)的直流母线电压,通过R1电阻网络转化为75mA左右的电流信号,通过L25P(原副边电流比为15)转换,再通过主控板上的200欧接收电阻R转化为电压信号(此电玉信号为375V左右,若追求更精准可调节主控板上的运放电阻,使其进入AD转换芯片时变为7V左右的信号)。-E SenT1c2751150002三宅平直流母线采样两路vocc ant日=2HaT〓n11两电平直流母线采样-路3,APF电流AI釆样处理如下图,50A模块釆用原副边电流比为10001)的电流传感器IP-128:控制板上接收电阻为50欧。Rcang=ChangCXchange50re-311090(50A only)4,负载电流I釆样处理如下图, CTl change为负载现场安装的互感器图中为100045A的,CT2 change为滤波板模块釆用原副边电流比为10004)的电流传感器IP-128:滤波板上通过接收2000欧电阻转为电压信号CHange2000n2.I0arno六:主控板控制部分建模61概述妇下图,APF内部控制主要包括模块 APF RIFI(主要作月是得AFF给定电流信号、APF反缋电流信号、电网电压信号)、闭环控制模块ⅣI,两电平三相四线制还多一个N线调节系数产生模块APF RIF 2记rY ntLrGsAl ntAPF21eve1_3p3L和APF31eve1内部控制框图N通可LLI intad res川finAl inAPF_21evel_3p4L内部控制框图62:主控板控制部分模块 APF RIF作用模块 APF RIFI作用如下1,对所有集量进行量化处理;2,对采样到得AFF电流信号进行合适的数字滤波、限幅等处理,获得AF反馈电流信号 Al res;对采样到得电网电压信号进行合适的数字滤波、限塥等处理,获电网
- 2020-12-08下载
- 积分：1
-
Scratch 嫦娥奔月（初始）.sb2
Scratch 嫦娥奔月（初始）.sb2
- 2020-11-30下载
- 积分：1
-
常用期刊论文模板
常用期刊论文模板
- 2020-12-09下载
- 积分：1
-
GM(1,n) matlab代码
GM(1,n) matlab代码，灰色预测~
- 2020-11-30下载
- 积分：1
-
北斗/GPS卫星轨道动态仿真
GPS卫星轨道动态仿真,基于matlab开发的
- 2020-12-10下载
- 积分：1
