自己花钱买的电子书,高清完整版!很实用的教材,读起来一点也不晦涩。
目录译者序前言第1章概论1.1推动因素1.2基本计算机组成1.3分布式系统的定义1.4我们的模型1.5互连网络1.6应用与标准1.7范围1.8参考资料来源参考文献习题第2章分布式程序设计语言2.1分布式程序设计支持的需求2.2并行/分布式程序设计语言概述2.3并行性的表示2.4进程通信与同步2.5远程过程调用2.6健壮性第3章分布式系统设计的形式方法3.1模型的介绍3.1.1状态机模型3.1.2佩特里网3.2因果相关事件3.2.1发生在先关系3.2.2时空视图3.2.3交叉视图3.3全局状态3.3.1时空视图中的全局状态3.3.2全局状态:一个形式定义3.3.3全局状态的“快照”3.3.4一致全局状态的充要条件3.4逻辑时钟3.4.1标量逻辑时钟3.4.2扩展3.4.3有效实现3.4.4物理时钟3.5应用3.5.1一个全序应用:分布式互斥3.5.2一个逻辑向量时钟应用:消息的排序3.6分布式控制算法的分类3.7分布式算法的复杂性第4章互斥和选举算法4.1互斥4.2非基于令牌的解决方案4.2.1Lamport算法的简单扩展4.2.2Ricart和Agrawala的第一个算法4.2.3Maekawa的算法4.3基于令牌的解决方案4.3.1Ricart和Agrawala的第二个算法4.3.2一个简单的基于令牌环的算法4.3.3一个基于令牌环的容错算法4.3.4基于令牌的使用其他逻辑结构的互斥4.4选举4.4.1Chang和Roberts的算法4.4.2非基于比较的算法4.5投标4.6自稳定第5章死锁的预防、避免和检测5.1死锁问题5.1.1死锁发生的条件5.1.2图论模型5.1.3处理死锁的策略5.1.4请求模型5.1.5资源和进程模型5.1.6死锁条件5.2死锁预防5.3一个死锁预防的例子:分布式数据库系统5.4死锁避免5.5一个死锁避免的例子:多机器人的灵活装配单元5.6死锁检测和恢复5.6.1集中式方法5.6.2分布式方法5.6.3等级式方法5.7死锁检测和恢复的例子5.7.1AND模型下的Chandy,Misra和Hass算法5.7.2AND模型下的Mitchell和Merritt算法5.7.3OR模型下的Chandy,Misra和Hass算法第6章分布式路由算法6.1导论6.1.1拓扑6.1.2交换6.1.3通信类型6.1.4路由6.1.5路由函数6.2一般类型的最短路径路由6.2.1Dijkstra集中式算法6.2.2Ford的分布式算法6.2.3ARPAnet的路由策略6.3特殊类型网络中的单播6.3.1双向环6.3.2网格和圆环6.3.3超立方6.4特殊类型网络中的广播6.4.1环6.4.22维网格和圆环6.4.3超立方6.5特殊类型网络中的组播6.5.1一般方法6.5.2基于路径的方法6.5.3基于树的方法第7章自适应、无死锁和容错路由7.1虚信道和虚网络7.2完全自适应和无死锁路由7.2.1虚信道类7.2.2逃逸信道7.3部分自适应和无死锁路由7.4容错单播:一般方法7.52维网格和圆环中的容错单播7.5.1基于局部信息的路由7.5.2基于有限全局信息的路由7.5.3基于其他故障模型的路由7.6超立方中的容错单播7.6.1基于局部信息的模型7.6.2基于有限全局信息的模型:安全等级7.6.3基于扩展安全等级模型的路由:安全向量7.7容错广播7.7.1一般方法7.7.2使用全局信息的广播7.7.3使用安全等级进行广播7.8容错组播7.8.1一般方法7.8.2基于路径的路由7.8.3使用安全等级在超立方中进行组播第8章分布式系统的可靠性8.1基本模型8.2容错系统设计的构件模块8.2.1稳定存储器8.2.2故障-停止处理器8.2.3原子操作8.3节点故障的处理8.3.1向后式恢复8.3.2前卷式恢复8.4向后恢复中的问题8.4.1检查点的存储8.4.2检查点方法8.5处理拜占庭式故障8.5.1同步系统中的一致协议8.5.2对一个发送者的一致8.5.3对多个发送者的一致8.5.4不同模型下的一致8.5.5对验证消息的一致8.6处理通信故障8.7处理软件故障第9章静态负载分配9.1负载分配的分类9.2静态负载分配9.2.1处理器互连9.2.2任务划分9.2.3任务分配9.3不同调度模型概述9.4基于任务优先图的任务调度9.5案例学习:两种最优调度算法9.6基于任务相互关系图的任务调度9.7案例学习:域划分9.8使用其他模型和目标的调度9.8.1网络流量技术:有不同处理器能力的任务相互关系图9.8.2速率单调优先调度和期限驱动调度:带实时限制的定期任务9.8.3通过任务复制实现故障安全调度:树结构的任务优先图9.9未来的研究方向第10章动态负载分配10.1动态负载分配10.1.1动态负载分配的组成要素10.1.2动态负载分配算法10.2负载平衡设计决策10.2.1静态算法对动态算法10.2.2多样化信息策略10.2.3集中控制算法和分散控制算法10.2.4移植启动策略10.2.5资源复制10.2.6进程分类10.2.7操作系统和独立任务启动策略10.2.8开环控制和闭环控制10.2.9使用硬件和使用软件10.3移植策略:发送者启动和接收者启动10.4负载平衡使用的参数10.4.1系统大小10.4.2系统负载10.4.3系统交通强度10.4.4移植阈值10.4.5任务大小10.4.6管理成本10.4.7响应时间10.4.8负载平衡视界10.4.9资源要求10.5其他相关因素10.5.1编码文件和数据文件10.5.2系统稳定性10.5.3系统体系结构10.6负载平衡算法实例10.6.1直接算法10.6.2最近邻居算法:扩散10.6.3最近邻居算法:梯度10.6.4最近邻居算法:维交换10.7案例学习:超立方体多计算机上的负载平衡10.8未来的研究方向第11章分布式数据管理11.1基本概念11.2可串行性理论11.3并发控制11.3.1基于锁的并发控制11.3.2基于时戳的并发控制11.3.3乐观的并发控制11.4复制和一致性管理11.4.1主站点方法11.4.2活动复制11.4.3选举协议11.4.4网络划分的乐观方法:版本号向量11.4.5网络分割的悲观方法:动态选举11.5分布式可靠性协议第12章分布式系统的应用12.1分布式操作系统12.1.1服务器结构12.1.2八种服务类型12.1.3基于微内核的系统12.2分布式文件系统12.2.1文件存取模型12.2.2文件共享语义12.2.3文件系统合并12.2.4保护12.2.5命名和名字服务12.2.6加密12.2.7缓存12.3分布式共享内存12.3.1内存相关性问题12.3.2Stumm和Zhou的分类12.3.3Li和Hudak的分类12.4分布式数据库系统12.5异型处理12.6分布式系统的未来研究方向附录DCDL中的通用符号列表
2024/12/20 22:56:08 29.64MB 分布式系统设计 jie wu著 高传善
1
好用的STM32F412工程模板STM32F412的新型大量数据获取模式(BAM),为数据处理进行了功耗优化,将DynamicEfficiency提升到了一个新的水平。
BAM允许通信外设实现批量数据交换,同时器件的其它部分(包括CPU)可保持在省电模式。
性能:在100MHz频率下,从Flash存储器执行时,STM32F412能够提供125DMIPS/339CoreMark性能,并且利用意法半导体的ART加速器实现FLASH零等待状态。
DSP指令和浮点运算单元扩大了产品的应用范围。
功效:ST该系列产品采用意法半导体90nm工艺,使用ART加速器和动态功耗调整功能,从Flash存储器执行指令,运行模式下可实现低至112µA/MHz的电流消耗。
停机模式下,功耗低至18µA。
集成度:STM32F412器件内置高达512至1024KB的Flash存储器和高达256KB的SRAM。
具备从48到144引脚各类封装。
4路USART,速度高达12.5Mbit/s5路SPI(I²S多路传输),速度高达50Mbit/s4个I²C,高达1Mbps2xCAN(支持2.0B)1个SDIO,运行于高达48MHz,所有封装都提供1个USB2.0OTG全速(FS)2个全双工I²S,最高32-bit/192kHz3个单工I²S,最高32-bit/192kHz2个数字滤波器,用于∑Δ调制器4个PDM接口,支持立体声麦克风速度高达2.4MSPS的12位ADC,14个定时器,频率高达100MHz的16和32位定时器硬件随机数发生器
2024/12/20 9:55:40 712KB STM32 STM32F4 工程模板
1
寻找路径这是算法的基本实现,用于查找平面上两点之间的最短路径。
该代码使用了C++20的某些功能,并且显然是过度设计的。
我写它只是为了好玩。
text_files文件夹中有3个文件:example.txt是级别的示例。
*是一个允许的点(算法可以访问它),X是一个障碍。
A是起点,B是终点。
该文件只能包含这些字符。
同样,该级别也不必是矩形的(某些行可以比其他行长/短)。
config.txt一个非常基本的配置文件:edgeWidth每个单元的宽度(像素);
edgeHeight每个单元格的高度(像素);
maxFrameRate每次迭代将至少花费此值(以毫秒为单位);
graphPath相对于可执行文件的级别的文件路径。
config_i.txt交互模式的一个非常基本的配置文件:edgeWidth每个单元的宽度(像素);
edgeHeight每
2024/12/16 0:44:03 1.04MB C++
1
PLSQLDeveloper是一个为Oracle数据库开发存储程序单元的集成开发环境IDE使用PLSQLDeveloper你能方便地创建你的客户端服务器应用程序的服务器部分到目前为止从最差处想你还可以完成如下工作:使用文本编辑器编写程序单元(过程触发器等)使用OracleSQLPlus编译源文件如果有编译错误你必须找出它位于源文件中何处纠正它并转回到SQLPlus重新编译它然后再找下一处错误使用SQLPlus或你的客户端应用程序测试程序单元如果发生运行时错误你又不得不辛苦地定位问题的原因并纠正错误使用解释计划工具或tkprof工具优化你的SQL语句使用SQLPlus或其他工具在你的数据库中查看或修改其他对象和数据这些任务编辑编译纠正测试调试优化和查询都可以在不离开PLSQLDeveloperIDE的情况下被完成此外PLSQLDeveloper还提供了其他几个能在每天的PLSQL开发中提供帮助的工具">PLSQLDeveloper是一个为Oracle数据库开发存储程序单元的集成开发环境IDE使用PLSQLDeveloper你能方便地创建你的客户端服务器应用程序的服务器部分到目前为止从最差处想你还可以完成如下工作:使用文本编辑[更多]
2024/12/14 10:40:32 11.97MB PLSQL Oracle 中文
1
本项目主要利用Verilog语言设计一一个基于MIPS架构的CPU。
分别设计指令存储器、寄存器堆、ALU、取指令部件、数据存储器、立即数处理单元、主单元控制器、ALU控制单元。
将这些单元连城数据通路,再结合控制单元合成CPU下板验证。
并基于该cpu完成了串口收发数据的驱动,并下板测试,功能正确。
该代码是基于EP4CE10F17C8开发板的,可直接下板,其他开发板只需稍做改变即可用
2024/12/10 11:11:03 13.13MB FPG 多周
1
MATLABGUI设计学习手记(第二版)【罗华飞编著2011】电子书,以及原书配套的源程序。
=============================================编辑推荐一本广受好评的界面设计工具书!论坛答疑,包教包会,一书在手,毕业无忧。
随书附赠所有实例的程序源代码作者简介罗华飞,湖北黄冈1983年2月出生,2008年硕士毕业于哈尔滨工程大学通信与信息系统专业,现居重庆。
目前擅长MATLABGUI、WPF等界面设计,以及PIC单片机程序开发、数据库系统开发。
现在从事的是WPF软件设计工作,在四川航天电液控制有限公司从事电控产品配套软件开发工作.代表作有《MATLABGUI设计学习手记》第一版和第二版。
目录第1章GUI设计预备知识11.1知识点归纳11.1.1基本程序元素11.1.2数据类型71.1.3矩阵操作401.1.4程序设计491.2重难点讲解591.2.1矩阵、向量、标量与数组591.2.2数据类型转换611.3专题分析64专题1编程风格64专题2代码优化68专题3M文件编程小技巧72专题4正则表达式781.4精选答疑86问题1单元数组占用的内存空间如何计算86问题2如何生成指定格式的常矩阵、字符串87问题3如何生成随机矩阵90问题4如何查找或删除数据中满足条件的元素91问题5如何给数组元素排序94问题6如何从文本中查找数值96问题7如何验证邮箱名是否合法97问题8如何验证用户名或密码是否合法98问题9如何验证日期字符串是否有效99问题10如何验证身份证号是否符合指定的编码规则100问题11如何将最简多项式的字符串转换为系数向量102问题12如何抓取网页中的图片103第2章文件I/O1042.1知识点归纳1042.1.1高级文件I/O操作1042.1.2低级文件I/O操作1212.2重难点讲解1342.2.1二进制文件与文本文件1342.2.2sprintf与fprintf函数1352.2.3fscanf与textscan函数1362.2.4Excel文件操作1362.2.5图像数据的操作1362.2.6低级文件I/O操作1372.3专题分析137专题5MATLAB读写文本文件1372.4精选答疑147问题13如何提取Excel文件中的数据信息147问题14如何由图像生成字符矩阵150问题15如何循环播放WAV音乐,并可以倍速/慢速播放、暂停/继续播放和停止播放152问题16如何读取文本和数值混合的文件中的数据155问题17如何将十六进制数转换为float值155第3章二维绘图简介1573.1知识点归纳1573.1.1常用的二维绘图函数1573.1.2绘图工具1633.1.3绘图注释1663.2重难点讲解1743.2.1二维绘图的相关函数1743.2.2Tex字符1743.3精选答疑175问题18如何绘制几何曲线,例如矩形、圆、椭圆、双曲线等175问题19如何绘制数据的统计图176问题20如何绘制特殊的字符、表达式176问题21如何绘制网格图177问题22如何显示符号运算结果178第4章句柄图形系统1804.1知识点归纳1804.1.1句柄图形对象1814.1.2句柄图形对象的基本操作1824.1.3句柄图形对象的基本属性1924.1.4根对象1964.1.5图形窗口对象2004.1.6坐标轴对象2114.1.7核心图形对象2174.1.8uicontrol对象2384.1.9hggroup对象2434.1.10按钮组与面板2464.1.11自定义菜单与右键菜单2484.1.12工具栏与工具栏按钮2564.1.13uitable对象2644.2重难点分析2744.2.1句柄式图形对象的常用函数总结2744.2.2Figure对象的几个重要属性2754.2.3Axes对象的几个重要属性2764.2.4Line对象的几个重要属性2774.2.5text对象的几个重要属性2784.2.6uitable对象的几个重要属性278
2024/12/10 2:17:21 66.47MB MATLAB GUI 学习手记
1
关于这是的源代码,该项目由lab10集体与KunsthausGraz等人合作发起,于2017年10月启动。
有关更多信息,请访问和(如果您对应用程序如何使用以太坊和IPFS感兴趣,则尤其是)。
安装和运行Web应用程序安装后端和前端依赖项:npmicdfrontendnpmi保存时,前端和后端都会自动重载源文件,使用nodemon的node.js后端,react.js前端webpack都会自动重装源文件。
可以使用以下方法启动组合的前端/后端开发环境:npmstartEslint已配置,但未强制执行。
请尝试提交您的代码,而不减少错误/警告。
要手动运行eslint,请使用:npmlint要在每个保存/更改的源文件上自动运行单元测试:npmruntest----watchWeb应用架构该Web应用程序负责向用户展示游戏,处理用户输入并将信息分发到各种其他子系统,例如数据库,区块链和BIX。
前端和后端之间的通信是使用经过时间检验且易于使用的socket.io库完成的。
需要建立通信体系结构,以免引起服务器潜在的拥塞,尤其是应避免(可
2024/12/9 10:34:09 1.33MB nodejs socket-io ethereum ipfs
1
在Ansys15.0中,增加了螺纹连接的快速模拟方式,设定螺纹截面(类似建立梁截面用线单元分析桁架结构),不需要精细化的螺纹模型,可实现相对精确的螺纹分析
2024/12/9 5:48:58 1.27MB ANSYS 螺纹 接触 分析
1
as3,Air解析excel2007,excel2010文件,读取单元格数据保存在对象里面。
程序中可直接使用。
1
D7和XE5下编译测试过.单元源码为生成条码,返回Image,TBitmat等,可以根据自己的需求扩展其它功能
2024/12/6 1:07:57 414KB 条码源码
1
共 927 条记录 首页 上一页 下一页 尾页
在日常工作中,钉钉打卡成了我生活中不可或缺的一部分。然而,有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚,我总是得牢记打开钉钉应用,点击"工作台",再找到"考勤打卡"进行签到。有时候因为工作忙碌,会忘记打卡,导致考勤异常,影响当月的工作评价。而且,由于我使用的是苹果手机,有时候系统更新后,钉钉的某些功能会出现异常,使得打卡变得更加麻烦。 另外,我的家人使用的是安卓手机,他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说,每次打卡都是一次挑战。他们总是担心自己会操作失误,导致打卡失败。 为了解决这些烦恼,我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习,我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03 15KB 钉钉 钉钉打卡