-
基于51单片机的密码锁毕业设计含论文含源程序
毕业设计，完整论文，自编源程序，完全实现功能。
- 2020-12-09下载
- 积分：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
-
NPP计算ENVI插件
IDL编写的ENVI插件，能实现NPP的计算，包含测试数据和说明文档。
- 2020-12-02下载
- 积分：1
-
hadoop相关的十几篇论文
hadoop相关的十几篇论文，有中文和英文的，学习hadoop很好的资料
- 2020-12-10下载
- 积分：1
-
Canopen控制伺服驱动中文资料（使用者手册）
Canopen协议控制埃斯顿伺服驱动使用者中文版手册，可以帮助初学者理解canopenEsTUN埃斯自动化伺服使用于册目录第章概述1.1cAN主要相关文档1.2本手册使用的术语和缩语1.3 CANopen概述第章接线和连接第章通讯3.1cAN标识符分配表3.2服务数据对象SD03.3过程数据对象PD03.4SYNC报文3.5 Emer gency报文3.6 HEARTBEAT报文3.7网络管理(NMT)第章单位换算单元4.1单位换算相关参数4.2 Position factor4.3 Ve locity factor4. 4 Acceleration factor第章位置控制功能第章设备控制6.1控制状态机6.2设备控制相关参数6. 2. 1 Contro/word6.2.2 Statusword6. 2.3 Shutdown option code6.2.4 Disab/e operation option code6.2.5 Quick stop option code6.2. 6 Ha/t option code6.2.7 Fault reaction option code第章控制模式7.1控制模式相关参数7. 1.1 Modes of operation7. 1.2 Modes of operation disp/ay7.2回零模式( HOM I NG MODE)7.2.1回零模式的控制字7.2.2回零模式的状态字EsTUN埃斯自动化伺服使用于册7.2.3回岺模式相关参数7.2.4回零方法3速度控制模式(PROF| LE VEL0 CITY MODE)7.3.速度模式的控制字7.3.2速度模式的状态字7.3.3速度控制模式相关参数7.4位置控制模式(PR0FLEP0s|T0NM0DE)74.1位置模式的控制字7.4.2位置模式的状态字7.4.3位置控制相关参数7.4.4功能描述7.5位置插补控制模式( I NTERPLATION P0S| TION MODE)7.5.1位置插补馍式的控制字7.5.2位插补模式的状态字7.5.3位置插林控制关参数7.5.4功能描述第章通讯相关参数控制模式第章通讯例程9.1S00操作2PD0配置9.3位置控制例子( Profile positon mode)4位置插补控制( Interplate position Mode)9.5回零第章其他功能10.1总线输入10.2占位对象附录对象字典表EsTUN埃斯自动化伺服使用于册第章概述1CAN主要相关文档2本手册使用的术语和缩语控制器局域网在自动化国际用户和制造商协会中的通讯对象,在网络上的一个传输单元。数据在内部沿着整个网络传输。本身是消息帜的一部分。电子数据表,在配置网络时需要使用的一个节点专用格式文件。文件包含关于节点及其字典对象(参数)的常规信息。层管理,给定模型中的应用层服务元素之一。它用来配置给定模型中每层的参数网络管理给定模型中的应用层服务元素之一。它负责网络上的初始化、配置和故障处理。在本地存储某个设备所识别的所有通讯对象()。参数参数是驱动器的一个操作指令。可以使用驱动器操作面板或者诵过来读取和修改参数进程数据对象,一种用来传输时间关键数据,比如控制命令、给定值和实际值。表示只读访问。表示读写访问EsTUN埃斯自动化伺服使用于册服务数据对象,一种用来传输非时间关键数据,比如参数。3 CANopen概述是一个基于(控制局域网)串行总线系统和(应用层)的高层协议假定相连设备的硬件带有一个符合标准的收发器和一个控制器。通讯协议包括周期和事件驱动型通讯,不仅能够将总线负载减少到最低限度,而且还能确保极短的反应时间。它可以在较低的波特率下实现较高的通讯性能,从而减少了电磁兼容性问题,并降低了电缆成本设备协议定义了直接访问变频器参数机制以及时间关键进程数据通讯满足(自动化中的)标准(变频器和运动控制),只支持刮造商专用操作模式。所用的物理介质是符合标准,采用分驱动机制和公共反馈的双线总线。总线的最大长度取决于通讯速度,具体规定如下通讯波特率最大总线长度从理论上来说,最多可以有个节点。不过,在实际应用中,最大节点数量取决于所用收发器的性能。更多信息可参见自动化国际用户和制造商协会的文献(EsTUN埃斯自动化伺服使用于册第章接线和连接通讯用连接器的端子排列端子记号名称功能保留通讯用端子隔离地通讯用端子通讯用端子通讯用端子注:的、引脚不能短接在一起。通讯用连接器的端子排列端子记号名称功能保留通讯用端子隔离地通讯用端子通讯用端子通讯用端子呕动器总是作为通讯电缆输入端子,总是作为通讯电缆输出端子(如昊还需连接从站,电缆从该端子连接到下一从站设备;如果不需连接其他从站,可以在该端子加终端电阻)。多台驱动器连接时,严禁直连任意台驱动的举例,网络由三台驱动器组成,电缆接线如下驱动器的的→驱动器的,的驱动器的欧终端电阻总线线路必须用在和线之间每端连接的欧姆()电阻来终接,如下所示。CAN-SHIELDCAN-SHIELDICAN-SHIELDCAN-GNDCE CAN-GND XXCAN-GND120g2CAN-HCAN-HCAN-H1209总线电缆请选用有两对双绞线的带屏蔽层电缆:一对双绞线分别接和,另外一对双绞线直接接EsTUN埃斯自动化伺服使用于册第章通讯提供了所有的网络管理服务和报文传送协议,但并没有定义对象的内容或者正在通讯的对象的类型(它只定义了,没有定义),而这正是切入点。是在基础上开发的,使用了通讯和服务协议子集,提供了分布式控制系统的一种实现方案。在保证网络节点互用性的同时允许节点的功能随意扩:或简单或复杂。的核心概念是设备对象字典(),在其它现场总线)系统中也使用这种设备描述形式。通讯通过对象字典()能够访问驱动器的所有参数。注意对象字典不是的部分,而是在中实现的。通讯模型定义了如下几种报文(通讯对象)缩写详称说明用于非时间关键数据,比如参数用于传输时间关键进程数据(给定值、控制字、状态信息等)。用于同步节点。用于传输驱动器的报警事件。用于网络管理。用于监测所有节点的生命状态通过数据帧在主机(控制器〕和总线节点之间传输数据。下图说明了数据帧的结构。仲裁域帧头控制域数据域校验域应答域帧尾(通讯对象标识符)(远程请求或位本驱动器暂不支持远程帧。其中(通讯对象标识符)分配:功能码(节点地址)STUN埃斯自动化伺服使用于册3.1CAN标识符分配表功能码相应通讯参数通讯对象(进制)进制在中的索引(发送)(接受)(发送)(接受)(发送)(接受)(发送)(接受)(发送)(接受)注意的发送接受是由()节点观察的。本驱动器的支持个发送个接受。EsTUN埃斯自动化伺服使用于册3.2服务数据对象SD0用来访问一个设备的对象字典。访问者被称作客户对象字典被访问且提供所请求服务的设备被称作服务器客户的报文和服务器的应答报文总是包含字节数据(尽管不是所有的数据字节都一定有意义)。一个客户的请求一定有来自服务器的应答。有种传送机制加速传送(最多传输字节数据分段传送(传输数据长蒉大于字节基本结构如下命令对象索引对象子索引报文对参数读写操作格式Read commandsWrite commandsLOW-Byte of main index(hex)High-Byte of main index(hex)UINT8/NT8Subindex(hex)Token for 8 bitCommand 40 IXO X1 su2FhIDⅨX1sUDoAnswer4Fn IXO IX1 SU DO60hIoⅨX1sUUINT16/INT16Token for 8 BitToken for 16 BitCommand40nX0Ⅸ1sU2BhⅨ0Ⅸ1 SU DO D1Answer4BnIX0Ⅸ1SUD0D160hl0Ⅸ1SUToken for 32 BitUINT32/NT32Token for 16 BitCommand 40Xo X1 SU23IoⅨX1 SU DO D1D2D3Answer43nⅨ0Ⅸ1SUD0D1D2D360hDXoⅨX1sUToken for 32 Bit举例
- 2020-12-12下载
- 积分：1
-
101、103、104电力规约报文解析工具
电力自动化系统电力传输规约，103、101、104报文详细解析工具。
- 2021-05-06下载
- 积分：1
-
基于matlab的车牌识别系统的设计(doc文档)
-基于matlab的车牌识别系统的设计(附程序 详解注释).doc
- 2019-04-06下载
- 积分：1
-
matlab实验报告 很齐全
matlab上机实验报告 广工资料齐全
- 2020-12-01下载
- 积分：1
-
JLink UDT, JLINK API
支持CORTEX系列芯片读写，可实现jlink rtt功能，通过JLINK编写单片机烧写上位机程序参考，C++代码
- 2020-12-04下载
- 积分：1
-
matlab实现lamb波的频散曲线
Lamb波的频散曲线是进行超声Lamb波无损检测的重要依据。本程序对Rayleigh2Lamb方程进行了分析,给出了无限大板中Lamb波频散曲线的数值计算方法,通过Matlab软件对求解过程进行编程,绘制出Lamb波在铝板中传播的相速度和群速度曲线,并通过试验进行了验证,对推广应用Lamb波进行无损检测具有实际意义。
- 2020-11-29下载
- 积分：1
