首页
熊猫办公下载
文件下载
根据地址查询经纬度
登录 / 注册
一级分类:
安全技术
存储
操作系统
服务器应用
行业
课程资源
开发技术
考试认证
数据库
网络技术
信息化
移动开发
云计算
大数据
跨平台
音视频
游戏开发
人工智能
区块链
二级分类:
分布式系统设计[美]jiewu著高传善译
自己花钱买的电子书,高清完整版!很实用的教材,读起来一点也不晦涩。
目录译者序前言第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
海底沉积物地温梯度测量系统设计
随着石油和天然气水合物调查工作的深入开展,为了对海底勘探区地温场的结构、状态需要有更细致的了解,设计一种高分辨、高精度的海底沉积物地温梯度测量系统。
以高精度NTC型热敏电阻为传感器,选用16位高性能、多通道、低能耗的MSP430F123芯片作为主处理器,通过直流不平衡电桥的测量方式间接测量热敏电阻的阻值,在硬件方面和软件方面都采用滤波技术,克服电压源的干扰、仪器温漂和时漂带来的偏差,采用STEINHART&HART方程来进行R-T转换,经过零点漂移和温度漂移的修正,进而得到更精确的海底沉积物地温梯度曲线。
系统测试结果表明,测量系统的分辨率可达1mK,精度可达±3mK(0~25℃),该系统具有可靠性高、功耗小、体积小、操作方便等特点,具有很高的实用价值。
2024/12/16 4:52:37
871KB
海底热流;
地温梯度;
LabVIEW;
漂移修正;
1
XILINXALLPROGRAMMABLEZYNQ-7000SOC设计指南何宾编著清华大学出版社.zip
本书是作者历时近一年撰写的反映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
桂电考研复试试题通信
桂林电子科技大学2013年硕士研究生入学考试复试试卷考试科目代码:204考试科目名称:通信原理A请注意:答案必须写在答题纸上(写在试卷上无效)。
一、 问答题(每题5分,总共50分)(1) 根据你所学的通信原理知识,请回答下列问题:请画出数字通信系统模型;
简述各个组成部分的主要功能和特点;
回答衡量数字通信系统性能好坏的主要性能指标。
(2) 通信系统的同步需考虑哪些?(3) 调制信道模型用加性干扰和乘性干扰表示信道对于信号传输的影响,根据乘性干扰的不同,信道可分为哪两种?(4) 请写出信道容量的公式,有哪几个主要参数,其相互关系如何?(5) 实际中为了减小码间串扰,需要采用什么措施进行补偿?眼图为直观评价接收信号的质量提供了一种有效的实验方法,它的作用是什么?(6) 二进制的数字调制有那两种基本方式?试比较有效性和可靠性。
(7) 试写出下列英文缩写的中文全称:QAMCDMAOFDMQPSKAWGN。
(8) 模拟信号经过哪几个步骤变成数字信号?其中哪个步骤会带来什么误差?(9) 某数字传输系统的码元速率是1200b/s,接收端在0.5个小时内共收到216个错误码元,试计算该系统的误码率Pe。
(10) 英汉互译:(英译汉)Wedescribedvarioustypesofmodulationmethodsthatmaybeusedtotransmitdigitalinformationthroughacommunicationchannel.Aswehaveobserved,themodulatoratthetransmitterperformsthefunctionofmappingtheinformationsequenceintosignalwaveforms.(汉译英)本章将研究噪声对调制系统可靠性的影响,特别是深入研究各种调制方法的发送信号受到加性高斯白噪声恶化时,最佳接收机的设计和性能特征。
2024/12/6 14:58:40
3.22MB
桂电
考研
复试
1
聚焦法测量梯度折射率透镜的折射率分布
本文针对梯度折射率分布的透镜(以后简称梯析透镜)与光纤在折射率分布上的不同点,对用于光纤及其预制棒测量的聚焦法的原理公式,计算测量方法等进行了重要改进,从而使聚焦法可适用于梯折透镜的测量.本文通过计算机模拟计算,对原理公式及计算方法的准确性和可靠性进行了验证,并同时给出了这一测量方法的精度,最后给出了测量实例及其比较结果.
2024/11/15 22:42:25
3.57MB
折射率测
梯度折射
refractiv
gradient-
1
被动毫米波雷达中基于PCI总线高速数据采集系统的设计
本文根据研究课题实用化被动毫米波雷达,结合项目背景和需求,设计开发了基于PCI总线的高速数据采集系统,该数据卡以FPGA为核心器件,其它外围接口的控制逻辑、芯片控制逻辑均由FPGA实现,与上位机之间的通信通过PCI总线完成。
FPGA的内部逻辑设计和算法实现是本文讨论的重点。
大量外围芯片功能集中在单个FPGA芯片中,大大提高了系统的集成度和可靠性。
2024/11/10 18:16:32
1.5MB
PCI总线
高速数据采集系统
1
JavaWeb设计在线考试系统(报告)
在用户界面部分,根据需求分析的结果,用户需要一个用户友善界面。
在界面设计上,应做到简单明了,易于操作,并且要注意到界面的布局,应突出的显示重要以及出错信息。
外观上也要做到合理化,考虑到用户多对网页较熟悉,应尽量向这一方向靠拢。
在设计语言上,已决定使用Java语言进行编程。
其中管理界面要做到操作简单,易于管理。
总的来说,系统的用户界面应作到可靠性、简单性、易学习和使用。
2.4.2外部接口硬件接口,在输入方面对于键盘鼠标的输入用标准的输入/输出,对输入进行处理。
在输出方面的屏幕和打印机连接以及使用用标准的输入输出进行处理。
2.4.3内部接口各模块之间采用函数调用,参数传递,返回值的方式进行信息传递。
接口传递的信息将是以数据结构封装了的数据,以参数传递或返回值的形式在各模块间传输2.5运行设计运行程序,执行登录模块,如果是新用户,就进入注册模块,已注册的用户直接进行身份验证进入主界面,通过主界面可以进行在线考试,此时执行考试模块,也可以查询考试成绩、修改个人资料等功能。
2.6系统数据库设计数据库是本系统核心和基础。
它把本中大量的数据按一定的模型组织起来,提供存储、维护、检索数据的功能,使信息系统可以方便、及时、准确地从数据库中获得所需的信息。
2.6.1数据库概念设计开发在线考试系统时,为了灵活地维护系统,设计了后台管理员模块,通过后台管理员模块可以方便地对整个在线考试系统进行维护。
这时,必须建立一个数据表用于存储所有的管理员信息。
管理员信息实体E-R 图如图6所示。
当考生成功登录在线考试系统后,可以根据需要选择考试的科目,考生不同可能选择的考试科目会不同,系统必须提供一些参加考试的课程,供考生选择。
这时,在数据库中应该建立一个存储所有参加课程的数据表。
考试课程信息实体E-R图如图7所示。
2024/11/6 11:17:11
1.37MB
在线考试系统
Java设计
Web设计课
大学课程设计
1
2020华为HCNP题库.zip
HCIP-Routing&Switching认证HCIP-Routing&Switching认证定位于中小型网络的构建和管理。
HCIP-Routing&Switching认证包括但不限于:网络基础知识,交换机和路由器原理,TCP/IP协议簇,路由协议,访问控制,eSight、AgileController产品介绍,SDN、VXLAN、NFV的基本知识,PDIOI等。
通过HCIP-Routing&Switching认证,将证明您对中小型网络有全面深入的了解,掌握中小型网络的通用技术,并具备独立设计中小型网络以及使用华为路由交换(数通)设备实施设计的能力。
拥有通过HCIP-Routing&Switching认证的工程师,意味着企业有能力搭建完整的中小型网络,将企业中所需的语音、无线、云、安全和存储全面地集成到网络之中,并且能满足各种应用对网络的使用需求,进而提供较高的安全性、可用性和可靠性。
2024/10/25 1:05:53
1.93MB
华为中级认证
HCNP
1
没那么难,谈CSS的设计模式
曾有人调侃,设计模式是工程师用于跟别人显摆的,显得高大上;
也曾有人这么说,不是设计模式没用,是你还没有到能懂它,会用它的时候。
先来看一下比较官方的解释:”设计模式(Designpattern)是一套被反复使用、多数人知晓的、经过分类的、代码设计经验的总结。
使用设计模式是为了可重用代码、让代码更容易被他人理解、保证代码可靠性。
毫无疑问,设计模式于己于他人于系统都是多赢的;
设计模式使代码编制真正工程化;
设计模式是软件工程的基石脉络,如同大厦的结构一样。
”今天我们来聊聊CSS的设计模式。
设计模式,这个词汇我们常见,几乎所有的编程语言都会有几
2024/10/24 9:09:01
184KB
没那么难,谈CSS的设计模式
1
基于ApacheSamza,揭秘LinkedIn架构背后的技术
Samza是由LinkedIn开源的一个分布式流处理系统。
近日,LinkedIn资深SREJonBringhurst发表了一篇博文,揭秘LinkedIn是如何利用Samza与Yarn、Kafka进行扩展的。
Samza是由LinkedIn开源的一个分布式流处理系统,与之配合使用的是开源分布式消息处理系统ApacheKafka。
很多人会将Samza与TwitterStorm相媲美。
近日,LinkedIn资深SRE(网站可靠性工程师)JonBringhurst发表了这篇博文,阐述LinkedIn是如何利用Samza与Yarn、Kafka进行扩展的。
ApacheSamza是一个开源框架,可以帮助开发者
2024/10/24 0:26:06
305KB
基于ApacheSamza,揭秘LinkedIn架构背后的技术
1
共 274 条记录
首页
上一页
下一页
尾页
钉钉无人值守自动打卡脚本 永不迟到的神器 安卓和苹果教程
New!
在日常工作中,钉钉打卡成了我生活中不可或缺的一部分。然而,有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚,我总是得牢记打开钉钉应用,点击"工作台",再找到"考勤打卡"进行签到。有时候因为工作忙碌,会忘记打卡,导致考勤异常,影响当月的工作评价。而且,由于我使用的是苹果手机,有时候系统更新后,钉钉的某些功能会出现异常,使得打卡变得更加麻烦。 另外,我的家人使用的是安卓手机,他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说,每次打卡都是一次挑战。他们总是担心自己会操作失误,导致打卡失败。 为了解决这些烦恼,我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习,我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03
15KB
钉钉
钉钉打卡
个人信息
点我去登录or注册
|
微信登录
一言
热门下载
双系统双频伪距单点定位程序
Docker构建tomcat镜像jdk1.8+tomcat9.zip
飘逸传世引擎源代码
几何画板课件350套.zip
vue项目demo(asp.netmvc5+vue2.5)
CNS2_CN_VW_P0095D_0332.7z
R9390系列BIOS修改和风扇调速工具
ENVI去云补丁Haze_tool文件及其使用说明和安装方法
高光谱和LiDAR多模态遥感图像分类数据集
HTML5+CSS3中文参考手册(3手册)chm版中文参考手册打包
ABAQUS金属非稳态和稳态切削过程的模拟分析_张东进.pdf
新升级版TP5商城小程序源码+公众号版+h5一整套源码V3.zip
Android控件GridView之仿支付宝钱包首页带有分割线的GridView九宫格的完满实现
软件开发文档书写规范
分形维数MATLAB程序
最新下载
电磁场[周希朗主编][习题解答]
J1939协议栈(包括源码和标准)
鸟哥的Linux私房菜第四版高清版PDF
SN8F5708_Sample_Code_V0.3.rar
Qt双滑块滑动器(slider)控件
MITComputationstructures
EPSONL1118L1119L3106L3108L3115L3116废墨清零软件+带教程说明.rar
netica贝叶斯仿真软件
jsp课程作业提交系统
七段数码管时钟显示的硬件实现verilog
人脸识别的68个特征点检测库dat文件:shape_predictor_68_face_landmarks.dat
2016年中国大数据交易产业白皮书
国外简单的后台模板html
数据结构课程设计建立词索引表
通过axure来实现简单的登录界面,包含加载动画,判断输入框值
其他资源
Linux基线扫描version1.0
PropositionalandPredicateCalculus:AModelofArgument
MSYH.TTF/MSYHBD.TTF/SIMLI.TTF/SIMSUN.TTF/SIMYOU.TTF/STZHONGS.TTF
java将amr转换为MP3文件
链塔智库-2018中国区块链电子政务研究报告-2018.10.6-23页.pdf
基于对比源反演方法的介电目标高效成像
Hacker'sDelight(2nd)无水印pdf
MFC实现获取当前计算机的主机名和IP地址
华为证书申请PDF文档说明
PN532全加密读取
C语言实现控制台扫雷小游戏
MTDriver基于MT4复盘工具.zip
程序员七夕送女友的小程序
基于贝叶斯算法的JavaMail垃圾邮件过滤实现
CNN_年龄_性别预测模型文件
千兆以太网PHY芯片88e1111
迪杰斯特拉算法的动态实现
山东大学计较机组成原理复习纲要.pdf
软件工程课程设计(有64个题目)
DardenCaseBook2018-2019Edition.pdf