自己花钱买的电子书,高清完整版!很实用的教材,读起来一点也不晦涩。
目录译者序前言第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
权限管理原理知识,权限管理解决方案,基于url的权限管理、shiro介绍、shiro认证
2024/12/20 9:45:08 18.35MB shiro url权限管理
1
精准农业-IOT-2018介绍:精确耕种被定义为特定地点的农田管理,利用现代技术来增加农作物的产量。
借助传感器和卫星图像,农民可以明智地使用其资源。
这样,整个农作物生产过程既有利可图又可持续。
这种智能农业管理的基础是AI和IOT。
例如,土壤传感器收集静态和动态数据,以分析和检查农作物的营养和水分需求。
借助IOT移动应用程序,农民可以了解其耕作实践中所使用和节约的水。
此外,智能灌溉解决方案无需农户亲自到田间就可以为农作物供食。
同样,机器学习分析和算法通过分析作物的需水量也能够准确检测和控制害虫。
所有这些技术共同构成了精准农业的核心。
这些决定因素助长了作物的生产周期,从而使农民的投资回报率最大化。
项目提交给SmartIndiaHackathon的项目工作由BNest2018组织:我们参加了Hackathon,我们成功进入了印度各地的前20名团队。
农业为印
2024/12/19 9:35:34 6.17MB PHP
1
嗨,这是执行这个故事的一些规则。
您必须创建一个名为pp-tefeta的git存储库您必须使用全名创建一个名为.author.json的文件~/ts-baratie❯❯❯cat-e.author.json{"fullname":"JohnH.Conway"}$当然,您可以与其他开发人员讨论该主题,同peer学习是成为更好的开发人员的关键。
不要犹豫,提问或帮助别人。
别忘了,这里没有无用的问题:-)您必须在5月18日(星期一)下午12:00返回项目,方法是发送带有github存储库链接的闲置MP。
您的存储库必须包含源文件的总数,但不能包含无用的文件(node_modules,临时文件,日志文件等)。
该项目的目的很简单,您必须创建一个二进制文件或一个脚本,以使用任何表示迷宫的文本映射文件,并且必须输出带有迷宫解决方案痕迹的迷宫。
2024/12/16 14:11:02 16KB TypeScript
1
标题“win7MINI2440USB下载驱动”指的是为MINI2440开发板在Windows7操作系统上安装USB驱动的过程。
MINI2440是一款基于SamsungS3C2440处理器的嵌入式开发板,常用于教学、实验和产品研发。
在使用MINI2440时,我们需要在主机PC上安装相应的驱动程序以便通过USB接口与开发板进行通信。
描述中的链接提供了一个详细的教程,虽然已经失效,但根据常见流程,我们可以推断出以下步骤:1.**环境准备**:确保你的PC运行的是Windows7系统,并且具备USB连接功能。
确保MINI2440开发板已正确连接到电脑的USB端口。
2.**驱动安装**:通常情况下,Windows系统会尝试自动识别并安装驱动,但MINI2440可能需要特定的驱动。
如果没有自动安装,你需要手动操作。
3.**获取驱动**:通常,驱动程序可以从开发板制造商的官方网站或开源社区如CSDN找到。
在本例中,驱动可能包含在名为“SuperVivi-Transfer-Tool-Complete”的压缩包文件中。
这个工具可能包含了USB驱动和其他辅助软件,用于数据传输或设备管理。
4.**解压文件**:你需要下载并解压缩“SuperVivi-Transfer-Tool-Complete”。
这一步将得到包含驱动在内的所有必要文件。
5.**安装驱动**:进入解压后的文件夹,找到适用于Windows7的驱动程序文件(通常是.exe或.inf格式)。
双击运行安装程序,按照提示完成驱动安装。
6.**设备管理器**:如果Windows未能自动识别MINI2440,你可以在“设备管理器”中查找未知设备,然后手动更新驱动,指向刚刚解压的驱动文件夹路径。
7.**测试连接**:安装完成后,重新启动电脑或刷新设备管理器,检查MINI2440是否被正确识别。
你可以尝试通过USB接口向开发板传输文件,验证驱动安装是否成功。
8.**故障排查**:如果遇到问题,如驱动无法安装或设备无法识别,可以检查USB线是否正常,或者查阅教程和社区论坛寻找解决方案。
在嵌入式开发中,正确安装和配置驱动至关重要,因为它直接影响到主机与开发板之间的通信效率和稳定性。
对于MINI2440这样的嵌入式系统,理解并掌握USB驱动的安装方法是提升工作效率的关键。
在实践中,还应注意保持驱动程序的更新,以确保兼容性和性能。
2024/12/15 19:11:22 2.54MB mini2440
1
WebService的解决方案QtSoap自己收藏,转自:https://blog.csdn.net/liang19890820/article/details/51673800
1.99MB QT SOAP WebService
1
FLACS是一个全面的、易于使用的3D建模软件工具,用于分散和爆炸的影响分析,是针对所有典型的易燃和有毒物质排放的解决方案。
它广泛用于石油和天然气及过程工业,也越来越多的用于核工业,以及粉尘爆炸的潜力分析和许多其他领域的设施。
CFD过程全部采用3D建模,可以更准确的预测后果,并减轻限制和拥塞真实的几何体的影响。
更好的获取更高精确度的结果,不仅有助于提高安全性的真实水平,也可以让设计人员能够选择真正有效的设计方案和缓解措施,从而提高安全性和成本效益的。
2024/12/13 7:34:13 38.6MB 爆炸仿真
1
目录摘要 5ABSTRACT 6第1章绪论 11.1选题背景 11.2课题意义 11.3国内外在该方向的研究概况 11.4本文的主要工作 3第2章系统总体分析和设计 42.1系统概述 42.2恒压供水系统的节能原理 42.3恒压供水系统硬件设计 6第3章器件的选型及介绍 103.1可编程控制器PLC 103.1.1简介PLC的产生 103.1.2简介PLC的发展状况及其发展趋势 103.1.4简介PLC的应用领域 113.1.5PLC的工作过程 113.1.6PLC的选型 123.2变频器 123.2.1变频器的构成 123.2.2变频器的特点 163.2.3变频器的选型 173.2.4变频器的接线 183.3PID调节器 183.4压力传感器的接线图 193.5原件表 20第4章PLC控制及编程 224.1PLC控制 224.2自动运行 234.3手动运行 254.4公用部分 27第5章MCGS组态软件 295.1MCGS组态软件 295.2建立界面 305.2.1建立窗口 305.2.2定义数据对象 315.3编辑界面 335.3.1编辑画面 335.3.2对象元件的选择 335.4MCGS与PLC之间的连接 345.4.1添加PLC设备 355.4.2PLC设备属性的设置 36结束语 38参考文献 40摘要建设节约型社会,合理开发、节约利用和有效保护水资源是一项艰巨任务,因传统供水方式占地面积大,水质易污染,基建投资多,而最主要的缺点是水压不能保持恒定,导致部分设备不能正常工作,本文提出了一种基于三菱FXOS-30MR和三菱FR-A540变频器的变频恒压供水系统的解决方案。
主要讨论了以三菱FXOS-30MR和三菱FR-A540变频器为核心的硬件电路的设计和软件程序的设计,实现了对传感器信号的处理,各参数的设定等,详细介绍了硬件电路和软件程序的实现方法。
恒压供水方式技术先进、水压恒定、操作方便、运行可靠、节约电能、自动化程度高,在泵站供水中可完成以下功能:(1)维持水压恒定;
(2)控制系统可手动/自动运行;
(3)多台泵自动切换运行;
(4)系统睡眠与唤醒。
当外界停止用水时,系统处于睡眠状态,直至有用水需求时自动唤醒;
(5)在线调整PID参数;
(6)泵组及线路保护检测报警、信号显示等。
关键词变频恒压供水;
PLC;
FR-A540ABSTRACTBuildingtheconservation-orientedsociety,thereasonabledevelopment,savesandtheeffectiveprotectingwaterresourcesisanarduoustask,thatthetraditionalwatersupplyCoverslargeareas,Easywaterpollution,Moreinvestmentininfrastructure,andthemaindisadvantageisthatwaterpressurecannotremainconstant,causepartoftheequipmentdoesnotwork.Inthispaper,basedonMitsubishiFXOS-30MRandMitsubishiFR-A540frequencyinvertersolutionforVFconstantpressurewatersupplysystem.MainlydiscussedinFXOS-30MRMitsubishiandMitsubishiFR-A540Inverterinhardwaredesignandsoftwaredesign,implementationofsensorsignalprocessing,eachparametersetting,etc.,detailinghardwareandsoftwareImplementationoftheprogram.Advancedtechnologyandconstantpressurewatersupply,waterpressureconstant,easy,reliab
1
本身将帮助你学习这个奇妙的语言,并且向你展示如何即快捷又方便地完成任务——真正意义上“为编程问题提供的完美解决方案!”(chm无法显示内容时需在属性中“解除锁定”)
2024/12/9 20:17:16 119KB Python Python手册
1
《宿舍管理系统》是一款针对高校学生住宿管理的信息化解决方案,旨在提高管理效率,确保宿舍安全,同时提供便捷的信息查询和报表生成功能。
系统采用UML(统一建模语言)进行设计,涵盖了学生、宿舍楼管理员、系统管理员和其他一般用户等多个角色的需求。
在需求分析阶段,系统主要关注以下几个方面:1.**学生基本信息**:每个学生都有唯一的学号,分配到特定的宿舍楼和宿舍,有入住时间。
同院系的学生通常会被安排在同一宿舍,便于管理。
学生信息包括学号、入住时间、宿舍号和院系名称。
2.**宿舍信息**:每间宿舍有唯一的宿舍号和地址,记录着宿舍的奖惩情况。
3.**宿舍财产信息**:学校财产如电灯、床铺等均有财产号,方便报修和管理。
4.**报修管理**:当宿舍财产损坏时,学生需向管理员报告,记录报修时间、损坏原因、维修状态和解决时间。
5.**夜归管理**:宿舍楼设定关门时间,晚归学生需登记,记录姓名、宿舍号、时间及原因。
6.**离返校管理**:假期离校和返校信息的记录,便于学校安全管理。
7.**毕业管理**:毕业生离校前需统计个人损毁的宿舍财产,支付相应罚款。
系统功能需求如下:-**宿舍楼管理员**:可以查询所有相关信息,对学生信息进行修改,记录报修和维修情况,发布公告。
-**学生**:能查询自己宿舍和个人的相关信息,提交报修,登记离返校时间。
-**系统管理员**:负责用户信息管理,权限分配,以及系统维护。
-**其他一般用户**:如辅导员和各级领导,可查看宿舍整体状况,生成报表。
系统由多个模块组成:-**基本数据维护模块**:管理用户基本信息。
-**基本业务模块**:处理如报修、学生变动等业务流程。
-**数据库模块**:存储和管理所有数据。
-**信息查询模块**:支持信息查询和报表生成。
UML建模通过用例图展示了各个角色的交互:-**学生**:可以登陆、报修、离校登记、返校登记、毕业、退学、支付罚款。
-**宿舍管理员**:登陆、查询个人信息和宿舍信息、修改信息、通知维修、登记维修完成、登记晚归、发布公告。
-**系统管理员**:登陆、管理用户信息、分配权限。
-**一般用户**:登陆、查看基本信息、查看个人和学生信息。
通过这些用例图和事件流分析,我们可以清晰地理解宿舍管理系统的功能架构和操作流程,为系统的开发提供了详尽的需求描述和设计蓝图。
2024/12/9 18:59:27 147KB 文档资料
1
共 709 条记录 首页 上一页 下一页 尾页
在日常工作中,钉钉打卡成了我生活中不可或缺的一部分。然而,有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚,我总是得牢记打开钉钉应用,点击"工作台",再找到"考勤打卡"进行签到。有时候因为工作忙碌,会忘记打卡,导致考勤异常,影响当月的工作评价。而且,由于我使用的是苹果手机,有时候系统更新后,钉钉的某些功能会出现异常,使得打卡变得更加麻烦。 另外,我的家人使用的是安卓手机,他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说,每次打卡都是一次挑战。他们总是担心自己会操作失误,导致打卡失败。 为了解决这些烦恼,我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习,我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03 15KB 钉钉 钉钉打卡