自己花钱买的电子书,高清完整版!很实用的教材,读起来一点也不晦涩。
目录译者序前言第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、打开在谷歌浏览器--》右上角的三个点--》更多工具--》扩展程序,将已下载的restletclient插件拖拽至此即可2、谷歌浏览器右上角的有一个“R”的图标,点击即可打开restletclient工具使用
2024/12/19 8:15:31 4.34MB restful 接口测试工具
1
Cart.class.php放置在扩展目录中cartAction.php是简单的使用例子cart.sql为购物车表结构
2024/12/18 8:03:15 3KB thinkphp
1
数控WebExtension自动将网页价格本地化为尼泊尔货币。
扩展程序如何工作该扩展程序在早上获取最新的货币汇率并进行缓存将网页上所有以外币的价格转换为等效的NC。
例如,当您访问amazon.com时,将获得$X的所有价格被Rs取代。
XXX。
之前使用扩展名后安装克隆仓库。
gitclonehttps://github.com/amitness/NC在Firefox上进行测试。
使用npm/yarn安装web-ext工具。
yarnglobaladdweb-ext导航到项目并运行web-extrun您可以看到扩展程序的作用。
在Firefox上安装。
构建扩展并从Addons->Extensions->InstallAddonfromfile.加载它Addons->Extensions->InstallAddonfromfile.web-extbuild在Chrome上安装将扩展程序作为解压缩的扩展程序加载到GoogleChrome中:导航至(1a)chrome://扩展程序,或(1b
1
和利时(HOLLiAS)LE小型可编程控制器指令手册pdf,和利时(HOLLiAS)LE小型可编程控制器指令手册:LE系列可编程控制器(PLC)是和利时推出的新一代小型一体化PLC,包括多种CPU模块和扩展模块。
同时,和利时还推出了功能强大的AutoThink编程软件及丰富的指令系统。
该手册是和利时对其LE系列PLC包含的所有指令详细介绍的技术手册
2024/12/17 13:39:27 2.05MB
1
Xdebug是一个PHP扩展,安装配置好后,可以代码调试,自动记录运行了哪些函数,用了多少毫秒,从哪个文件运行到哪个文件等等
2024/12/16 14:31:36 330KB xdebug xdebug5.6
1
包含所有西门子S7200的CPU以及扩展模块的CAD模版
2024/12/15 17:57:14 3.91MB S7200 CAD模版
1
本书是作者历时近一年撰写的反映Xilinx最新可编程技术的著作。
编写过程中感触颇多,愿与广大读者一起分享这些心得:(1)当Xilinx将ARM公司的双核Cortex-A9处理器嵌入到FPGA芯片内,并结合最新的28nm工艺,制造出全新一代的可编程SoC平台后,取名叫EPP(ExtensibleProcessingPlatform,可扩展的处理平台),后来又改成AllProgrammable平台。
在这个名字变化的过程中,反映了Xilinx给这个最新Zynq设计平台的定位—侧重于嵌入式系统的应用,未来的可编程逻辑器件向着嵌入式处理方向发展,未来的嵌入式系统“硬件”和“软件”将根据应用的要求,真正变成AllProgrammable(全可编程),即可以在单芯片内设计满足特定要求的硬件平台和相应的软件应用。
在这个全可编程的实现过程中,体现着软件和硬件协同设计、软件和硬件协同调试、软件的串行执行和硬件逻辑的并行执行完美结合、未来的嵌入式系统是“积木块”的设计风格等设计思想。
这些设计理念将在Zynq-7000平台上由理想变成实现。
(2)Zynq-7000器件是最新半导体技术、计算机技术和电子技术的一个结合体。
在一个小小的半导体硅片上却集成了当今最新的信息技术。
基于Zynq-7000平台进行高性能的嵌入式实现,需要微电子、数字逻辑、嵌入式处理器、计算机接口、计算机体系结构、数字信号处理等相关的知识。
Zynq-7000是一个比较复杂的系统,是对一个设计者的基础理论知识和系统级设计能力的一个真正的考查。
在这个平台上实现嵌入式系统的应用,体现着自顶向下的一体化设计理念。
(3)Zynq-7000平台是非常好的教学平台、科研平台和应用平台。
作为教学平台,可以在这个平台上实现全过程的计算机相关课程的教学,使学生可以清楚地看到每个实现的具体过程。
这样,学生就可以真正地理解嵌入式系统的内涵;
作为科研平台,从事嵌入式相关技术研究人员,可以在这个全开放的平台上,将算法进行高性能的实现。
并且,可以在这个平台上实现设计性能分析等研究;
作为应用平台,该平台的应用将进一步提高嵌入式系统的灵活性和可靠性、大大降低设计成本,提高产品的市场竞争力。
全书共分23章,为了更好地帮助读者学习和掌握Zynq平台的设计原理和实现方法,按照Zynq-7000基础理论、Zynq-7000体系结构和Zynq-7000设计实践进行了详细的介绍。
(1)Zynq-7000基础理论篇详细介绍了学习Zynq-7000平台需要的基础理论知识。
(2)Zynq-7000体系结构篇详细介绍了Zynq-7000内的处理器系统、可编程逻辑系统、互联结构和外设模块等。
(3)Zynq-7000设计实践篇,详细介绍了基于Zynq全可编程平台的不同设计实例。
本书所给出的设计实例代表着Zynq的应用方向,在介绍这些设计实例的过程中,贯穿了很多重要的设计方法和设计思路,这些设计方法和设计思路比设计案例本身更加重要。
为了便于读者学习,本书还配套提供了相关设计的完整工程文件及教学课件等资源。
2024/12/14 13:32:20 81.68MB XILINX  ZYNQ-7000   SOC设计指南
1
雷达成像原理(Word完整版)第一章雷达基础知识51.1雷达的定义51.2雷达简史51.3电磁波51.4脉冲81.5分贝值表示方法91.6天线101.7雷达散射截面122.1傅立叶变换142.2雷达硬件组成152.2.1振荡器152.2.2波形产生152.2.3混频器162.2.4调制162.2.5发射机162.2.6波导162.2.7双工器172.2.8天线172.2.9限幅器172.2.10低噪放大器182.2.11系统噪声182.2.12解调192.2.13正交混频202.2.14A/D转换器212.3天线222.3.1天线的概述232.3.2方向性函数242.3.3天线增益272.3.4天线口面上辐射场的渐变处理282.3.5余割平方天线292.4相控阵天线302.4.1一维线阵列天线312.4.2二维相控阵33第三章外部环境对雷达系统的干扰343.1雷达散射截面(RCS)343.1.1简单目标的RCS343.1.1.1理想导体球353.1.1.2平板363.1.1.3角反射器363.1.1.4Luneburg透镜373.1.2复杂目标的RCS383.1.3计算RCS的方法383.1.4极化因素383.1.4.1极化散射矩阵383.1.4.2简单目标的极化散射矩阵393.1.4.3更一般的极化基403.2传播与杂波413.2.1雷达波在大气中的折射413.2.2地表弯曲效应423.2.3雷达波在空气中的衰减433.2.4雷达波在雨水中的衰减433.2.5雷达波在地表的反射433.2.6多路效应443.2.7表面杂波反射453.2.8降水引起的雷达反向散射463.3外部噪音46第四章:基本雷达信号处理504.1从噪声和杂波中间测回波信号504.1.1检测器特点504.1.2检测的基本理论504.1.3噪声中检测无波动目标524.1.3.1:已知相位的单脉冲的相参检测524.1.3.2单脉冲包络检测524.1.3.3n个脉冲的相参积分:524.1.3.4n个非相参脉冲的积分变换损失:534.1.4施威林情形534.1.4.2波动损失534.1.5:噪声中目标检测小结:544.1.6:次积分:无振动目标544.1.7目标554.2雷达波形554.2.1总的雷达信号554.2.2匹配滤波器564.2.3:匹配滤波器对于延迟,多谱勒平移、信号的响应,584.2.4雷达模糊函数584.2.5例1:一个单脉冲;
距离和速度分辨率604.2.6例2:线性频率调制脉冲;
脉冲压缩614.2.7例3:相关脉冲序列:在距离和速度上的分辨率和模糊度624.2.7.1单脉冲串634.2.7.2线性调频脉冲串644.2.7.3其它脉冲序列654.2.8相差处理间隔664.2.9CPI的例子,求解雷达方程664.3雷达测量精确度674.3.1单脉冲674.3.2卡尔曼绕界限674.3.2.1在频率上得卡尔曼-绕界限684.3.2.2延迟上的卡尔曼绕界限694.3.2.3角度上的卡尔曼--绕界限694.3.2.4卡尔曼-绕界限的例子。
704.3.2.5总结:71第六章成像雷达简介726.1距离—速度压缩726.2旋转目标:逆合成孔径雷达726.3逆合成孔径雷达用于大范围目标756.4点扩展函数766.5标准二维逆合成孔径雷达:小角度776.6二维逆合成孔径雷达:大角度806.7三维逆合成孔径雷达816.8波数空间与极化设计方法816.9ISAR注释826.10ISAR的其他情况836.11近场ISAR846.12变化情况未知的目标及旋转85第七章合成孔径雷达897.1SAR897.1.1SAR模型907.1.2距离和速度等值线917.1.3动态补偿917.1.4斜面或平面927.1.5SAR对脉冲重复频率的要求927.1.6距离转移937.2SAR波形及处理947.2.1快时处理947.2.1.1SAR中的线性调频(LFM)947.2.1.2非线性调频处理957.2.1.3非畸变过程967.2.1.4LFM脊态987.2.2慢时(slowtime)处理987.3SAR成像质量997.
2024/12/13 4:13:01 1.44MB 雷达 雷达成像 原理
1
针对常用的非线性扩展卡尔曼滤波算法在工程应用中所存在的发散问题,文中分析归纳了导致该算法发散的主要原因,同时在目前两种抑制滤波发散非线性算法的基础上,探讨了一种既保证滤波精度又提高自适应能力的改进型自适应滤波算法。
并通过捷联惯导系统的初始对准误差模型对3种滤波算法进行数学仿真。
仿真结果表明,改进型非线性自适应滤波可有效地抑制滤波发散,并在提高误差估计精度的基础上具有较大范围的自适应能力。
1
共 1000 条记录 首页 上一页 下一页 尾页
在日常工作中,钉钉打卡成了我生活中不可或缺的一部分。然而,有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚,我总是得牢记打开钉钉应用,点击"工作台",再找到"考勤打卡"进行签到。有时候因为工作忙碌,会忘记打卡,导致考勤异常,影响当月的工作评价。而且,由于我使用的是苹果手机,有时候系统更新后,钉钉的某些功能会出现异常,使得打卡变得更加麻烦。 另外,我的家人使用的是安卓手机,他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说,每次打卡都是一次挑战。他们总是担心自己会操作失误,导致打卡失败。 为了解决这些烦恼,我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习,我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03 15KB 钉钉 钉钉打卡