Domain-SpecificModelingLanguage(DSML)definedbyinformalwaycannotpreciselyrepresentitsstructuralsemantics,sopropertiesofmodelssuchasconsistencycannotbesystematicallyanalyzedandverified.Inresponse,thepaperproposesanapproachforautomatical-lyreasoningconsistencyofDS

DlibFaceLandmarkDetector1.2.5需要搭配opencvforunity

jdbc-odbc驱动包，提示找不到驱动，java.lang.ClassNotFoundException:sun.jdbc.odbc.JdbcOdbcDriver，原因：从jdk从1.8开始，删除了jdbc-odbc桥，所以odbc的驱动是用不了的解决方法：这里为提供一个解决JDK1.8不能连接JdbcOdbcDriver的jar包，并提供了操作说明。

Demo对应的博客地址：http://blog.csdn.net/kong_gu_you_lan/article/details/53673236

《servlet和jsp学习指南》是系统学习servlet和jsp的必读之作。
由全球知名的java技术专家（《howtomcatworks》作者）亲自执笔，不仅全面解读servlet和jsp的最新技术，重点阐述javaweb开发的重要编程概念和设计模型，而且包含大量可操作性极强的案例。
《servlet和jsp学习指南》共18章：第1章介绍servletapi和几个简单的servlet；
第2章讨论session追踪，以及保持状态的4种技术；
第3章和第4章系统讲解jsp的语法以及jsp中的重要特性之一：expressionlanguage；
第5~7章分别阐述jstl中最重要的类库、标签的具体编写方法和标签文件；
第8~10章讨论servlet中的事件驱动编程、过滤器，以及model2架构；
第11章展示如何利用servlet3的文件上传特性，以及如何在客户端改善用户的体验；
第12章解释如何通过编程方式将资源发送到浏览器；
第13章介绍如何利用decorator模式以及类来改变servlet请求和响应的行为；
第14章讨论servlet3中的一项新特性，用来处理异步的操作；
第15章阐述如何通过声明和编程方式来保护java的web应用程序；
第16章讨论servlet/jsp应用程序的部署过程，以及部署描述符中的元素；
第17章阐述servlet3中的两项新特性；
第18章介绍struts2的用法

JD_AutoBuy里面为PY脚本文件京东抢购Python爬虫，自动登录京东网站，查询商品库存，价格，显示购物车详情等。
可以指定抢购商品，自动购买下单，然后手动去京东付款就行。
changlog2020-03-30实现二维码扫码登陆2021-01-27Golang版JD_AutoBuy运行环境Python2.7第三方库Requests:简单好用，功能强大的Http请求库beautifulsoup4:HTML文档格式化及便签选择器环境配置pipinstallrequestspipinstallbeautifulsoup4

RabbitMQ需要准备的环境，erlang的版本会影响到rabbitmq的安装，两者有个版本对照

MultiCharts内建PowerLanguage语言和EasyLanguage的函数中文说明，excel版，查找函数非常方便。
MultiCharts是一款专为期货，证券和外汇交易所设计的专业图表绘制和自动化交易的软件。
（官网没有）

DistributedSystems(3rd)英文无水印原版pdf第3版pdf所有页面使用FoxitReader、PDF-XChangeViewer、SumatraPDF和Firefox测试都可以打开本资源转载自网络，如有侵权，请联系上传者或csdn删除查看此书详细信息请在美国亚马逊官网搜索此书Copyright@2017MaartenvanSteenandAndrewS.TanenbaumPublishedbyMaartenvanSteenThisbookwaspreviouslypublishedby:PearsonEducation,IncISBN:978-15-430573-8-6(printedversion)ISBN:978-90-815406-2-9(digitalversion)Edition:3.Version:01(February2017)AllrightstotextandillustrationsarereservedbyMaartenvanSteenandAndrewS.Tanenbaum.Thisworkmaynotbecopied,reproduced,ortranslatedinwholeorpartwithoutwrittenpermissionofthepublisher,exceptforbriefexcerptsinreviewsorscholanyformofinformationstorageadaptationorwhatever,computersoftware,orbysimilarordissimilarmethodsnowknownordevelopedinthefutureisstrictlyforbiddenwithoutwrittenpermissionofthepublisherToMarielle,max,andelkeMVSToSuzanneBarbara,Marvin,Aronnathan,olivia,andmirteASTCONTENTSPreface1Introduction1.1Whatisadistributedsystem?Characteristic1:Collectionofautonomouscomputingelements2Characteristic2:SinglecoherentsystemMiddlewareanddistributedsystems1.2DesigngoalsSupportingresourcesharingMakingdistributiontransparent12Beingscalable15Pitfalls243Typesofdistributedsystems24Highperformancedistributedcomputing25Distributedinformationsystems34Pervasivesystems1.4Summary522Architectures552.1Architecturalstyles56Layeredarchitectures.57Object-basedandservice-orientedarchitectures62Resource-basedarchitectures64Publish-subscribearchitectures2.2MiddlewareorganizationWrappersInterceptors垂番Modifiablemiddleware752.3SystemarchitectureCONTENTSCentralizedorganizations76Decentralizedorganizations:peer-to-peersystemsHybridarchitectures2.4Examplearchitectures94TheNetworkFilesystem94TheWeb982.5Summary3Processes1033.1Threads..104Introductiontothreads104Threadsindistributedsystems1113.2Virtualization116Principleofvirtualizationapplicationofvirtualmachinestodistributedsystems,1223.3Clients124Networkeduserinterfaces124Client-sidesoftwarefordistributiontransparency1273.4Servers128Generaldesignissues129Objectservers133Example:TheApacheWebserver139Serverclusters,,,,,,,1413.5Codemigration152Reasonsformigratingcode152Migrationinheterogeneoussystems1583.6Summary1614Communication4.1Foundations164LayeredProtocols164TypesofCommunication.1724.2Remoteprocedurecall..173Basicrpcoperation174Parameterpassing178RPC-basedapplicationsupport182VariationsonrPc185Example:dCErPc,.1884.3Message-orientedcommunication193Simpletransientmessagingwithsockets.193Advancedtransientmessaging198Message-orientedpersistentcommunication206Example:IBM'sWebSpheremessage-queuingsystem212Example:AdvancedMessageQueuingProtocol(AMQP)....218DS3.01DOWNLOADEDBYTEWIGOMIXMAIL.INFOCONTENTS4.4Multicastcommunication221Application-leveltree-basedmulticasting221Flooding-basedmulticasting225Gossip-baseddatadissemination2294.5Summary2345Naming2375.1Names,identifiersandaddresses2385.2Flatnaming.241Simplesolutions241Home-basedapproaches245Distributedhashtables246Hierarchicalapproaches2515.3Structurednaming256Namespaces.256Nameresolution259Theimplementationofanamespace264Example:TheDomainNameSystem271Example:TheNetworkFileSystem2785.4Attribute-basednaming283Directoryservices283Hierarchicalimplementations:LDAP285Decentralizedimplementations2885.5Summary2946Coordination2976.1Clocksynchronization.298Physicalclocks299Clocksynchronizationalgorithms3026.2Logicalclocks310Lamport'slogicalclocks310Vectorclocks3166.3Mutualexclusion321322acentralizedalgorithm.322adistributedalgorithm323atoken-ringalgorithm.325adecentralizedalgorithm3266.4Electionalgorithms329Thebullyalgorithm.,..330Aringalgorithm332Electionsinwirelessenvironments333Electionsinlarge-scalesystems.3356.5Locationsystems336DOWNLOADEDBYTEWIGOMIXMAIL.INFODS301VIllCONTENTSGPS:GlobalPositioningSystem337WhengPsisnotanoption339Logicalpositioningofnodes3396.6Distributedeventmatching..343Centralizedimplementations3436.7Gossip-basedcoordination349asgregation349Apeer-samplingservice350Gossip-basedoverlayconstruction3526.8Summary3537Consistencyandreplication3557.1Introduction356Reasonsforreplication356Replicationasscalingtechnique3577.2Data-centricconsistencymodels358Continuousconsistency359Consistentorderingofoperations364Eventualconsistency3737.3Client-centricconsistencymodels375MonotonicreadsMonotonicwrites.379Readyourwrite380Writesfollowreads3827.4ReplicamanagementFindingthebestserverlocation383Contentreplicationandplacement..385Contentdistribution..388Managingreplicatedobjects3937.5Consistencyprotocols.396Continuousconsistency..........396Primary-basedprotocols398Replicated-writeprotocolsCache-coherence403Implementingclient-centricconsistency,,...4077.6Example:CachingandreplicationintheWeb4097.7Summar4208Faulttoleran4238.1Introductiontofaulttolerance424Basicconcepts.424Failuodels427Failuremaskingbyredundancy8.2Processresilience432DS3.01DOWNLOADEDBYTEWIGOMIXMAIL.INFO

北大张恭庆《泛函分析》，上下两册pdf格式。
泛函分析（FunctionalAnalysis）是现代数学的一个分支，隶属于分析学，其研究的主要对象是函数构成的空间。
泛函分析是由对函数的变换（如傅立叶变换等）的性质的研究和对微分方程以及积分方程的研究发展而来的。
使用泛函作为表述源自变分法，代表作用于函数的函数。
巴拿赫（StefanBanach）是泛函分析理论的主要奠基人之一，而数学家兼物理学家伏尔泰拉（VitoVolterra）对泛函分析的广泛应用有重要贡献。

在日常工作中，钉钉打卡成了我生活中不可或缺的一部分。然而，有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚，我总是得牢记打开钉钉应用，点击"工作台"，再找到"考勤打卡"进行签到。有时候因为工作忙碌，会忘记打卡，导致考勤异常，影响当月的工作评价。而且，由于我使用的是苹果手机，有时候系统更新后，钉钉的某些功能会出现异常，使得打卡变得更加麻烦。 另外，我的家人使用的是安卓手机，他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说，每次打卡都是一次挑战。他们总是担心自己会操作失误，导致打卡失败。 为了解决这些烦恼，我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习，我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。