自己花钱买的电子书,高清完整版!很实用的教材,读起来一点也不晦涩。
目录译者序前言第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
ProE产品装配与机构仿真素材,包括个零件图和装配图及仿真效果图
2024/11/17 18:39:56 1.37MB ProE 装配 机构仿真 卡盘
1
SolidEdge培训资料编号:01655
2024/11/3 1:45:48 886KB SolidEdge培训资料
1
EF+MVC+IOC,主要是看了博客园中一篇博客。
然后看了下其代码,觉得有必要修改下。
然后看了其代码在工厂使用的时候及继承实现时比较麻烦,然后就是在UI层调用接口的时候使用的是ITt=newT();这种方式,这样如果IT是由多个实现的话,那就必须显式给出T的类型,一旦修改,比较麻烦,还是采用自动装配自动解析比较好,于是就加了IOC部分,用一个类去完成所有程序集中组件与服务的匹配注册,消除依赖等。
然后UI端可以自动解析或者通过注入方式自动获取对应的实现。
2024/10/28 13:54:37 13.58MB EF MVC IOC
1
SimLabComposer9中文版是用于3D设计和逼真场景的多功能软件,它具有集成的图形环境,用于设计真实的物理场景和对象,SimLabComposer9的一个重要亮点是能够建立和分享3DPDF文件,用户能够通过WebGL或Android平台、iPad共享3D场景,实时展现现场变化,随时访问最终模型,此外,SimLabComposer9还可以创建漂亮的动画,用于专门的动画设计,用户可以使用该软件中的工具从事简单到复杂的设计。
SimLabComposer2018中文版SimLabComposer2018中文版SimLabComposer9的功能和特点:1.模型分享通过simlab,您可以和任何人在任何硬件环境下分享3D模型、交互规则和相关工作模板,simlab将采取最安全、简便的方式来实现,比如通过3D-PDF文件、WebGL、IOS/安卓等轻量化方式,在这种方式下,其余参与方并不需要再采购其它任何第三方软件了。
2.模型渲染Simlab可以为室内设计师和建筑师的模型提供实时、高效率、高质量的渲染,并且提供一系列丰富的材质库,同时也支持灯光、内置贴图等渲染必备利器。
3.动画制作Simlab能够快速制作3D漫游动画、机械运动动画、构件装配动画等各类型3D模型的动画。
4.贴图烘焙Simlab支持快速创建贴图烘焙,能够在短时间内让您的场景达到出乎意料的效果。
5.场景模拟Simlab能够创建多种类型的模拟场景,同时也支持给多种模型场景赋予不同交互规则。
6.VRSimlab能够将工程师的模型快速的转换成完整的带交互功能的VR场景,用户可以通过HTCVIVE、OculusRift或者各类移动端VR设备来查看所创建的VR场景。
SimLabComposer9是一个易于使用的应用程序,但一个非常强大的一个软件。
允许用户整合来自不同平台/格式的几何物体,以方便快速地创建各种场景。
允许的平台/格式包括:Rhino,IGES,STEP,Solidwords,SketchUp,3DXML,FBX,3DS,OBJ,U3D,和3DPDF。
这个特性能够极大的帮助开发者互动地创建高级3D场景模型,并借助COLLADA实现资源共享,以及通过PDF3D格式维护场景创建的组合结构。
硬件和软件规格:Intel或AMD处理器Windows64位(7,8或10)任何256MB或更多的显卡(专用或共享)2GB或更多内存2GB的可用硬盘空间显示器分辨率为1440X900或更高
2024/10/3 21:41:23 225.83MB 轻量化渲染系统
1
GJB548B-2005微电子器件试验方法和程序.pdfGJB1909A-2009装备可靠性维修性保障性要求论证.pdfGJB5000A-2008军用软件研制能力成熟度模型.pdfGJB/Z35-93元器件降额准则.pdf(高清正版)GJB8354-2015.pdfGJB438B-2009军用软件开发文档通用要求.pdfGJB451A-2005可靠性维修性保障性术语.pdfGJB150.16A-2009军用装备实验室环境试验方法第16部分:振动试验.pdfGBT2298-2010机械振动、冲击与状态监测词汇.pdfGJB1364-1992装备费用-效能分析.pdfGJB360B-2009电子及电气元件试验方法.pdfGJBZ1391-2006故障模式、影响及危害性分析指南.pdfGJB1032-90电子产品环境应力筛选方法.pdfGJBZ768A-1998故障树分析指南.pdfGBT19000-2016质量体系基础和术语.PDFGBT2422-2012环境试验试验方法编写导则术语和定义.pdfGJB150.18A-2009军用装备实验室环境试验方法第18部分:冲击试验.pdfGJB5234-2004军用软件验证和确认.pdfGJB450A-2004装备可靠性通用要求.pdfGJB368B-2009装备维修性工作通用要求.pdfGJB2786A-2009军用软件开发通用要求.pdfGJB179A-1996计数抽样检验程序及表(2).pdfGJB3677A-2006装备检验验收程序.pdfGJB1371-1992装备保障性分析.pdfGJB179A-1996计数抽样检验程序及表.pdfGJB3206A-2010技术状态管理.pdfGJB1362A-2007军工产品定型程序和要求.pdfGJB152A-1997军用设备和分系统电磁发射和敏感度测量.PDFGJBZ9000A-2001质量管理体系标准-基础和术语.pdfGJB2547-1995装配测试性大纲.pdfGJB/Z9000A-2001质量管理体系标准.pdfGJB/Z16-1991军工产品质量管理要求与评定导则.pdfGJB6600.1-2008.pdfGJB150.1-86《军用设备环境试验方法_总则》.pdfGJB900-1990系统安全性通用大纲.pdfGJB4239-2001装备环境工程通用要求.pdfGJB1488-1992军用内燃机电站通用试验方法.pdfGJB4050-2000武器装备维修器材保障通用要求.pdfGJB1686A-2005装备质量信息管理通用要求.pdfGJB908A-2008首件鉴定.pdfGJB9001A-2001质量管理体系要求.PDFGJB3872-1999装备综合保障通用要.pdfGJB2366A-2007试制过程的质量控制.pdfGJBZ127A-2006装备质量管理统计方法应用指南.pdfGJB9001B-2009质量管理体系要求.pdfmini2440之U-boot移植详细手册-20100419@www.bigDataBugs.com.pdfGJB_1406A-2005新版国军标_产品质量保证大纲_要求.pdfGJB747-1989_舰船电气设备外壳基本技术要求.PDFGJB151A军用设备和分系统电磁发射和敏感度要求.PDFGJB1442A-2006检验工作要求.pdfGJBZ114-1998新产品标准化大纲编制指南.pdfGJB150.15A-2009军用装备实验室环境试验方法第15部分:加速度试验.pdfGJB5713-2006装备承制单位资格审查要求.DOCGJB150.1A-2009军用装备实验室环境试验方法第1部分:通用要求.pdfGJB571A-2005不合格品管理.pdfGJB150.3A-2009军用装备实验室环境试验方法第3部分:高温试验(2).pdfGJB5296-2004指挥自动化系统指标体系.pdfGJB3206-1998技术状态管理.pdfGJB1407-1992可靠性增长试验.pdfGJB150.9A-2009军用装备实验室环境试验方法第9部分:湿热试验.pdfGJBZ4-1988质量成本管理指南.pdfGJB1712-1993军工产品承制单位质量保证体系认证的审核.pdfGJB1310A-2004设计评审(2).pdf
2024/9/10 10:12:57 157.16MB 军工 标准 装备 承制
1
机械设计毕业设计-微耕机cad装配图可以参考一下!
2024/9/10 5:04:41 100KB 机械制图
1
SpaceClaim联机帮助和支持TableOfContents1.简介72.使用入门82.1教程82.1.1概述82.1.2支架和旋钮教程92.1.3涡轮教程242.2SpaceClaim界面242.2.1概述242.2.2结构树262.2.3图层272.2.4选择292.2.5组302.2.6选项312.2.7属性312.2.8SpaceClaim快捷方式322.2.9鼠标操作342.3设计352.4二维和三维设计模式372.5草绘382.6选择412.7拉动442.8移动482.9在横截面中编辑522.10组合和分割532.11SpaceClaim对象562.12使用部件572.13获得帮助593.设计613.1概述613.2二维和三维设计模式623.3草绘633.4在横截面中编辑673.5在三维模式中编辑683.6剪切、复制和粘贴703.7尺寸713.8分离743.9撤消和重做操作753.10移动手柄753.11草绘763.11.1概述763.11.2编辑草图803.11.3复制草图813.11.4草图栅格813.11.5移动草图栅格823.11.6布局833.11.7在二维模式中移动843.11.8通过尺寸草绘853.11.9点863.11.10直线873.11.11切线883.11.12参考线893.11.13矩形903.11.14三点矩形913.11.15圆923.11.16三点圆923.11.17参考圆933.11.18椭圆943.11.19相切弧953.11.20扫掠弧963.11.21三点弧973.11.22多边形983.11.23样条曲线993.11.24分割直线1013.11.25修剪直线1023.11.26创建角1023.11.27创建圆角1033.11.28偏置直线1043.11.29投影到草图栅格上1053.11.30弯曲1063.12编辑1063.12.1概述1063.12.2选择对象1083.12.3拉动1163.12.4移动1433.12.5填充1513.12.6替换表面1563.12.7按过渡编辑表面1583.12.8移动草图栅格1603.13相交1603.13.1概述1603.13.2组合和分割1613.13.3分割实体1733.13.4分割表面1753.13.5投影到实体1773.14插入1783.14.1概述1783.14.2插入部件1793.14.3插入图像1793.14.4插入平面1803.14.5插入轴1823.14.6插入参考轴系1833.14.7创建圆柱体1843.14.8创建球1853.14.9创建壳体1863.14.10创建偏置1873.14.11创建镜像1883.14.12插入临时对象1903.15装配部件1913.15.1概述1913.15.2使用部件1923.15.3对齐表面1953.15.4对齐轴1953.15.5将部件定向1963.16测量和分析1963.16.1概述1963.16.2显示质量1973.16.3显示测量值1983.16.4显示表面栅格1994.细节设计2004.1概述2004.2注释2014.2.1概述2014.2.2创建注释2024.2.3设定注释文本格式2054.2.4创建注释指引线2064.2.5创建尺寸注释2074.2.6形位公差注释2094.2.7基准符号2114.2.8表面光洁度符号2124.2.9中心标记和中心线2134.2.10螺纹2144.2.11表格2144.3图纸2164.3.1概述2164.3.2设置图纸2174.3.3设定图纸格式2184.3.4视图2194.4三维标记2244.4.1概述2244.4.2创建三维标记幻灯片2264.4.3显示更改过的尺寸2264.4.4已更改表面上色2274.5设置细节设计选项2275.
2024/9/7 5:12:52 7.16MB ANSYS SpaceClaim
1
LiteGearsforSW二次开发工具是一款专业的CAD制图软件。
软件基于Solidworks的参数化设计、模块化设计以及自动设计思想而开发,是一款功能强大的“SolidWorks二次开发框架”和“设计师辅助工具”。
设计师只要通过编写公式制定一些规则,再在精心设计的输入界面上输入参数,然后运行,软件能让用户的操作更加高效。
需要的朋友快来下载吧!LiteGearsforSW二次开发工具主要功能使用LightDoWorks你可以:根据规则改变SolidWorks模型的特征、尺寸、配置等根据规则编辑生成新3D装配体、零件图、工程图批量编辑或新增SolidWorks文档的属性、命名,对文件打包批量转换SolidWorks工程图到PDF格式,AutoCAD格式(DWG,DXF)批量替换SolidWorks工程图图框和制图标准批量打印SolidWorks工程图批量打印AutoCAD.Dwg和.DXF文件其他小功能LiteGearsforSW二次开发工具截图
2024/9/5 0:09:01 38.4MB 图形图像-cad图形
1
自动化设备电气布线通用规范为使自动化设备电气性能更加稳定可靠,外观更加整齐美观,制定此电气接线规范,装配时需要按照此规范要求认真执行。
2024/8/21 15:36:13 16.41MB 设备布线
1
共 114 条记录 首页 上一页 下一页 尾页
在日常工作中,钉钉打卡成了我生活中不可或缺的一部分。然而,有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚,我总是得牢记打开钉钉应用,点击"工作台",再找到"考勤打卡"进行签到。有时候因为工作忙碌,会忘记打卡,导致考勤异常,影响当月的工作评价。而且,由于我使用的是苹果手机,有时候系统更新后,钉钉的某些功能会出现异常,使得打卡变得更加麻烦。 另外,我的家人使用的是安卓手机,他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说,每次打卡都是一次挑战。他们总是担心自己会操作失误,导致打卡失败。 为了解决这些烦恼,我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习,我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03 15KB 钉钉 钉钉打卡