Erlang程序设计（第2版）

elixir-programming:elixir 编程语言中文文档,官网的入门教程

elixir 程序设计 这个仓库主要是 教程的中文翻译，是一份很好的指导手册。本仓库旨在学习交流，欢迎大家提出意见与建议。（附 ） 项目内容与官网教程同步，主要分两部分，入门部分主要介绍 elixir 基础语法，进阶部分主要介绍如何创建完整的 elixir 应用程序，以及监督树、配置、测试、等高级概念。 欢迎大家交流学习 对文章翻译内容有不准确、错误的地方，愿大家能热心指正。对于 elixir 程序设计有疑惑的地方，欢迎大家积极提交 issue ，大家一起学习进步。 同时欢迎大家 fork 本仓库，共同改进 :squinting_face_with_tongue: 。

Elixir程序设计语言.pdf

Table of Contents 第⼀部分：基础 Introduction 基础集合Enum 模块 模式匹配 控制语句 函数管道操作符 模块(Module) Mix 魔符(Sigil) ⽂档模块 测试推导字符串 ⽇期和时间 ⾃定义Mix任务 IEx辅助函数 第⼆部分：⾼级 1 2.1 2.2 2.3 2.4 2.5 2.6 2.7 2.8 2.9 2.10 2.11 2.12 2.13 2.14 3.1 3.2 3.3 3.4 4.1 4.2 4.3 和Erlang互操作 错误处理 可执⾏⽂件 并发OTP并发 OTP Supervisors OTP 分布式 元编程 Umbrella Projects Specifications and types ⾏为GenStage 协议Nerves 第三部分：ECTO Basics Changesets 关联关系 查询第四部分：专题 Plug 嵌⼊的 Elixir(EEx) Erlang 项式存储(ETS) 2 4.4 4.5 5.1 5.2 5.3 5.4 5.5 5.6 Mnesia 数据库 调试第五部分：程序库 Guardian(基础) Poolboy Benchee Bypass Distillery(基础) StreamData 3 Introduction 绪⾔第⼀部分：基础 基础集合Enum 模块 模式匹配 控制语句 函数管道操作符 模块(Module) Mix 魔符(Sigil) ⽂档模块 测试推导字符串 ⽇期和时间 ⾃定义Mix任务 IEx辅助函数 第⼆部分：⾼级 和Erlang互操作 错误处理 可执⾏⽂件 并发OTP并发 OTP Supervisors 4 Introduction OTP 分布式 元编程 Umbrella Projects Specifications and types ⾏为GenStage 协议Nerves 第三部分：ECTO Basics Changesets 关联关系 查询 第四部分：专题 Plug 嵌⼊的 Elixir(EEx) Erlang 项式存储(ETS) Mnesia 数据库 调试 第五部分：程序库 Guardian(基础) Poolboy Benchee Bypass Distillery(基础) StreamData

Elixir程序设计(英文版) pdf

《Elixir 程序设计》作者就是15 年前编写了Programming Ruby，将Ruby 带入大众视野的Dave Thomas。这一次他延续了一贯的写作风格，以一个拥有面向对象的开发经历但并未接触过函数式编程的开发者的角度切入，循序渐进地带领读者进入 Elixir 的奇妙世界。通过一步步的实验探索，引导读者逐步跳出已有的编程思维模式，以全新的函数式编程方式来思考及寻找解决实际问题的办法。然而本书并不像Programming Ruby 那样面面俱到，而是给读者讲述基本的Elixir 语法和编程思想，同时提供许多有用的资源，启发读者继续深入探索。这也是学习一门新语言的乐趣所在。 如果你对函数式编程有兴趣，或者你正在苦苦寻求一种高效的并发编程的方法，Elixir 可以作为入门之选，值得一试。

Elixir 程序设计 英文版 epub

编程思想的转变是困难的， 我在读这本书的时候， 再一次感受到了编程思想的转变，从面向对象到面向进程。 原本在 Java 中非常复杂的多线程、分布式处理方式， 在 Elixir 中变得无比简单， 这也是 Elixir 在现代 IT 系统中的价值：最大化 CPU 的处理能力。

Programming Elixir 1.6

Programming Elixir 1.6 Functional |> Concurrent |> Pragmatic |> Fun by Dave Thomas Pages: 410 Published: 2018-05-16 Release: P1.0 (2018-05-17) ISBN: 978-1-68050-299-2 This book is the introduction to Elixir for experienced programmers, completely updated for Elixir 1.6 and beyond. Explore functional programming without the academic overtones (tell me about monads just one more time). Create concurrent applications, but get them right without all the locking and consistency headaches. Meet Elixir, a modern, functional, concurrent language built on the rock-solid Erlang VM. Elixir’s pragmatic syntax and built-in support for metaprogramming will make you productive and keep you interested for the long haul. Maybe the time is right for the Next Big Thing. Maybe it’s Elixir.

Erlang编程

高清版，erlang/opt编程的宝典，erlang 语言作者亲自编写的书籍，值得一看。

资料合集.part1.rar

2012-05-27 11:07 3,045,963 '工程师应该掌握的20个模拟电路.',doc_type,pdf.pdf 2012-05-27 11:03 5,876,128 Android中文API.pdf 2012-05-27 11:03 1,349,809 Business Objects入门教程(1).pdf 2012-05-27 11:03 1,...

资料合集.part2.rar

2012-05-27 11:07 3,045,963 '工程师应该掌握的20个模拟电路.',doc_type,pdf.pdf 2012-05-27 11:03 5,876,128 Android中文API.pdf 2012-05-27 11:03 1,349,809 Business Objects入门教程(1).pdf 2012-05-27 11:03 1,...

微博的搜索引擎优化价值分析等资料.rar

2012-05-27 11:07 3,045,963 '工程师应该掌握的20个模拟电路.',doc_type,pdf.pdf 2012-05-27 11:03 5,876,128 Android中文API.pdf 2012-05-27 11:03 1,349,809 Business Objects入门教程(1).pdf 2012-05-27 11:03 1,...

分布式程序设计

分布式程序设计

Qt 5实现串口调试助手 （源工程文件、0积分下载）

基于Qt 5实现串口调试助手，程序仅供参考，修改了之前十六进制接收0xA0--0xFF有误的问题，新增了窗口自适应（ui文件设置栅格），文件详情可看博客链接https://blog.csdn.net/m0_51294753/article/details/121405661。

【SystemVerilog】路科验证V2学习笔记（全600页）.pdf

SystemVerilog的听课学习笔记，包括讲义截取、知识点记录、注意事项等细节的标注。 目录如下： 第一章 SV环境构建常识 1 1.1 数据类型 1 四、二值逻辑 4 定宽数组 9 foreach 13 动态数组 16 队列 19 关联数组 21 枚举类型 23 字符串 25 1.2 过程块和方法 27 initial和always 30 function逻辑电路 33 task时序电路 35 动态 静态变量 39 1.3 设计例化和连接 45 第二章 验证的方法 393 动态仿真 395 静态检查 397 虚拟模型 403 硬件加速 405 效能验证 408 性能验证 410 第三章 SV组件实现 99 3.1 接口 100 什么是interface 101 接口的优势 108 3.2 采样和数据驱动 112 竞争问题 113 接口中的时序块clocking 123 利于clocking的驱动 133 3.3 测试的开始和结束 136 仿真开始 139 program隐式结束 143 program显式结束 145 软件域program 147 3.4 调试方法 150 第四章 验证的计划 166 4.1 计划概述 166 4.2 计划的内容 173 4.3 计划的实现 185 4.4 计划的进程评估 194 第五章 验证的管理 277 6.1 验证的周期检查 277 6.2 管理三要素 291 6.3 验证的收敛 303 6.4 问题追踪 314 6.5 团队建设 321 6.6 验证的专业化 330 第六章 验证平台的结构 48 2.1 测试平台 49 2.2 硬件设计描述 55 MCDF接口描述 58 MCDF接口时序 62 MCDF寄存器描述 65 2.3 激励发生器 67 channel initiator 72 register initiator 73 2.4 监测器 74 2.5 比较器 81 2.6 验证结构 95 第七章 激励发生封装：类 209 5.1 概述 209 5.2 类的成员 233 5.3 类的继承 245 三种类型权限 protected/local/public 247 this super 253 成员覆盖 257 5.4 句柄的使用 263 5.5 包的使用 269 第八章 激励发生的随机化 340 7.1 随机约束和分布 340 权重分布 353 条件约束 355 7.2 约束块控制 358 7.3 随机函数 366 7.4 数组约束 373 7.5 随机控制 388 第九章 线程与通信 432 9.1 线程的使用 432 9.2 线程的控制 441 三个fork...join 443 等待衍生线程 451 停止线程disable 451 9.3 线程的通信 458 第十章 进程评估：覆盖率 495 10.1 覆盖率类型 495 10.2 功能覆盖策略 510 10.3 覆盖组 516 10.4 数据采样 524 10.5 覆盖选项 544 10.6 数据分析 550 第十一章 SV语言核心进阶 552 11.1 类型转换 552 11.2 虚方法 564 11.3 对象拷贝 575 11.4 回调函数 584 11.5 参数化的类 590 第十二章 UVM简介 392 8.2 UVM简介 414 8.3 UVM组件 420 8.4 UVM环境 425

AutoSAR标准协议4.2.2

AutoSAR标准协议规范4.2.2，里面包含了AutoSAR组织所规定的AutoSAR架构的标准规范协议原文档。对AutoSAR的学习有一定的借鉴意义

光伏-储能并网系统仿真.rar

该文件是清华大学储能课的期末大作业。用SIMULINK搭建了一个完整的光伏-储能并网系统。我的博客中介绍了系统实现的具体方法，欢迎查看！

NPPJSONViewer.zip

NodePad++ JSON格式化插件

GD32替换STM32注意事项.pdf

GD32 介绍与 STM32 兼容性汇总。STM32的代码直接在GD32上运行需要小部分的修改。按教程做对应修改就行哈。

XCP协议的规范文档

XCP协议的原规范文档，主要包含了Part1-5共5个部分，其中第三部分又分为CAN、以太网和Sxl等。对于XCP协议的开发者和学习者有借鉴意义

VS2015安装证书，JavaScript_ProjectSystem.msi，JavaScript_LanguageService.msi

vs2015.iso包安装，不然会卡在安装包丢失或损坏

CANoe通过CAPL脚本实现自动测试

现在汽车行业用vector的工具进行自动测试，但是该自动测试模板很少，本案例是分享CAPL脚本自动化测试的模板，和自动控制测试步骤的XML模板，使用过程可以通过本人分享的文档来实现工程的建立到自动测试的完成。通过CAPL脚本+XML控制测试步骤，实现自动测试，生成测试报告。

蓝牙BLE协议中文版.pdf

蓝牙BLE协议中文版，帮助初学者更快掌握协议内容。协议为SIG官方协议的中文版，所有协议内容均与英文原版协议内容保持一致

BaiduOCR.zip

按键精灵百度文字识别 自定义库 使用说明参考：https://blog.csdn.net/sinat_22215253/article/details/118272746

AD20官方中文教程.pdf

官方提供的入门教材，其中重点讲解了一个简易电路板的开发过程，从元器件的选择，元器件的布置，到最后的产品输出，比较完整的一个实例，适合初次使用软件的开发人员使用。

电路分析基础第二版PDF电子书免费下载

《21世纪高等院校信息与通信工程规划教材：电路分析基础（第2版）》以电路理论的经典内容为核心，以提高学生的电路理论水平和分析解决问题的能力为出发点，以培养“厚基础、宽口径、会设计、可操作、能发展”，具有创新精神和实践能力人才为目的。《21世纪高等院校信息与通信工程规划教材：电路分析基础（第2版）》较全面地阐述了电路的基本理论，并适当引入电路新技术。内容遵从先易后难，由浅入深，循序渐进的原则。主要包括电路的基本概念及基本元件、等效变换、基本分析方法、基本定理、动态电路分析、非直流动态电路的分析、正弦稳态电路分析、三相电路、频率响应、耦合电感的电路分析、双口网络、拉普拉斯变换及其应用、非线性电路、仿真软件Multisim10。0在电路分析中的应用14章内容。每章精选适量例题及填空、选择、计算题，以加深对理论的理解。在叙述中力求文字简练，通俗易懂。《21世纪高等院校信息与通信工程规划教材：电路分析基础（第2版）》可作为高等院校电子信息、通信、测控技术及仪器、自动化、自动控制、计算机等电类本科专业的教材，也可供有关专业工程技术人员及其他相关人员阅读参考。

七参数坐标转换工具（可在WGS84、北京54、西安80、CGCS2000坐标系中任意两个转换）

七参数坐标转换工具（可在WGS84、北京54、西安80、CGCS2000坐标系中任意两个转换），也可以自定义参数转换

Tangent免费.rar

OriginLab也可以安装Tangent 插件 免费下载 请点赞

完整版 Microsoft.ACE.OLEDB.12.0 驱动下载.rar

亲测好用，挺不错的资源，大家快来下载吧！挺有用的！需要的话可以来下载哦！Microsoft.ACE.OLEDB.12.0驱动下载，解决 未在本地计算机上注册“Microsoft.ACE.OLEDB.12.0”提供程序，权限问题

Matlab安装MinGW-w64 C/C++ 编译器

Matlab安装 MinGW-w64 编译器。 包括下载好的MinGW-w64 C/C++和 简单的安装步骤（Readme.doc）

CMSIS-DAP使用说明及驱动.rar

仿真器，含有详细的教程，驱动，使用方法等等，keil和IAR安装及支持CMSIS-DAP工具，CoFlash及Hex2bin工具包，DAP仿真器下载程序说明等等

qt样式表一键生成（花狗Fdog）

QT样式表一键生成，避免了无穷无尽的百度搜索，一来方便学习，所以参数都写在左下角，方便了解到使用了什么生成了什么，二来不用重复造轮子，调节后，可直接将左下角生成的QSS代码复制到qt的样式表里面即可显示效果。

Elsevier期刊word模板.zip

各种模板，单双