自己花钱买的电子书,高清完整版!很实用的教材,读起来一点也不晦涩。
目录译者序前言第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
目录第1章数字信号处理引言  1.1引言  1.2数字信号处理起源  1.3信号域  1.4信号分类  1.5DSP:一个学科第2章采样原理  2.1引言  2.2香农采样原理  2.3信号重构  2.4香农插值  2.5采样方法  2.6多通道采样  2.7MATLAB音频选项第3章混叠  3.1引言  3.2混叠  3.3圆判据  3.4IF采样第4章数据转换和量化  4.1域的转换  4.2ADC分类  4.3ADC增强技术  4.4DSP数据表示方法  4.5量化误差  4.6MAC单元  4.7MATLAB支持工具第5章z变换  5.1引言  5.2z变换  5.3原始信号  5.4线性系统的z变换  5.5z变换特性  5.6MATLABz变换设计工具  5.7系统稳定性  5.8逆z变换  5.9赫维赛德展开法  5.10逆z变换MATLAB设计工具  第6章有限冲激响应滤波器[1]6.1引言  6.2FIR滤波器  6.3理想低通FIR滤波器  6.4FIR滤波器设计  6.5稳定性  6.6线性相位  6.7群延迟  6.8FIR滤波器零点位置  6.9零相位FIR滤波器  6.10最小相位滤波器第7章窗函数设计法  7.1有限冲激响应综述  7.2基于窗函数的FIR滤波器设计  7.3确定性设计  7.4数据窗  7.5基于MATLAB窗函数的FIR滤波器设计  7.6Kaiser窗函数  7.7截尾型傅里叶变换设计方法  7.8频率采样设计法第8章最小均方设计方法  8.1有限冲激响应综述  8.2最小二乘法  8.3最小二乘FIR滤波器设计  8.4MATLAB最小均方设计  8.5MATLAB设计对比  8.6PRONY方法第9章等波纹设计方法  9.1等波纹准则  9.2雷米兹交换算法  9.3加权等波纹FIR滤波器设计  9.4希尔伯特等波纹FIR滤波器  9.5等波纹滤波器阶次估计  9.6MATLAB等波纹FIR滤波器实现  9.7LPFIR滤波器设计  9.8基于Lp范数的MATLAB滤波器设计第10章FIR滤波器特例  10.1引言  10.2滑动平均FIR滤波器  10.3梳状FIR滤波器[1]10.4L波段FIR滤波器  10.5镜像FIR滤波器  10.6补码FIR滤波器  10.7频率抽样滤波器组  10.8卷积平滑FIR滤波器  10.9非线性相位FIR滤波器  10.10FarrowFIR滤波器第11章FIR的实现  11.1概述  11.2直接型FIR滤波器  11.3转置结构  11.4对称FIR滤波器结构  11.5格型FIR滤波器结构  11.6分布式算法  11.7正则符号数  11.8简化加法器图  11.9FIR有限字长效应  11.10计算误差  11.11缩放  11.12多重MAC结构[1]第12章经典滤波器设计  12.1引言  12.2经典模拟滤波器  12.3模拟原型滤波器  12.4巴特沃斯原型滤波器  12.5切比雪夫原型滤波器  12.6椭圆原型滤波器  12.7原型滤波器到最终形式的转换  12.8其他IIR滤波器形式  12.9PRONY(PADE)法  12.10尤尔—沃尔第13章无限冲激响应滤波器设计  13.1引言  13.2冲激响应不变法  13.3冲激响应不变滤波器设计  13.4双线性z变换法  13.5翘曲  13.6MATLABIIR滤波器设计  13.7冲激响应不变与双线性z变换IIR对比  13.8最优化第14章状态变量滤波器模型  14.1状态空间系统  14.2状态变量  14.3模拟仿真  14.4MATLAB仿真  14.5状态变量模型  14.6基变换  14.7MATLAB状态空间  14.8转置系统  14.9MATLAB状态空间算法结构第15章数字滤波器结构  15.1滤波器结构  15.2直Ⅰ、Ⅱ型结构  15.3直Ⅰ、Ⅱ型IIR滤波器的MATLAB相关函数  15.4直Ⅰ、Ⅱ型结构的MATLAB实现  15.5级联型结构  15.6一阶、二阶子滤波器  15.7一阶、二阶子滤波器的MATLAB实现[1]15.8并联型结构  15.9级联/并联型结构的MATLAB实现  15.10梯型/格型IIR滤波器第16章定点效应  16.1背景  16.2定点系统  16.3溢
1
中国科学技术大学-算法设计与分析-分布式算法详细答案PPT版
2024/5/21 16:20:36 462KB 中科大 算法 分布式答案
1
本程序是分布式算法实现FIR滤波器的VHDL实现部分,与本程序对应的matlab仿真见“FIR滤波器的matlab仿真”程序,说明文档见“FIR滤波器的matlab仿真与VHDL实现”
2024/2/21 13:17:57 1.68MB FIR滤波器 分布式算法
1
CPN建模语言是一种通用建模语言,即它不是着重于为特殊类型系统建模,而是旨在实现一个广泛类型的并发系统的建模。
典型的CP-nets应用领域包括通信协议,数据网,分布式算法及嵌入式系统。
然而,CP-nets也适用于更广泛地以并发性和交互性为主要特点的系统建模。
本文介绍了CPN建模语言和如何使用CPNTools中支持的构建、模拟、状态空间分析、性能分析,和可视化的说明。
2024/1/16 10:32:40 1.34MB CPN,CPN Tools,教程
1
用VHDL语言实现16阶FIR滤波器,基于分布式查找表的方法,对各个模块进行编程。
2023/11/23 6:21:26 1.25MB vhdl FIR
1
包含java集合,java基础知识,JVM,java并发编程,spring,微服务,设计模式,数据库,分布式,算法,各种第三方组件等
2023/11/5 1:11:35 8.87MB java java核心
1
分布式算法(美)NancyA.Lynch.进修分布式相关的很好的算法资源。
2023/2/16 22:23:56 99.24MB 分布式
1
在日常工作中,钉钉打卡成了我生活中不可或缺的一部分。然而,有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚,我总是得牢记打开钉钉应用,点击"工作台",再找到"考勤打卡"进行签到。有时候因为工作忙碌,会忘记打卡,导致考勤异常,影响当月的工作评价。而且,由于我使用的是苹果手机,有时候系统更新后,钉钉的某些功能会出现异常,使得打卡变得更加麻烦。 另外,我的家人使用的是安卓手机,他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说,每次打卡都是一次挑战。他们总是担心自己会操作失误,导致打卡失败。 为了解决这些烦恼,我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习,我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03 15KB 钉钉 钉钉打卡