一个java打字程序,里面有源码,有说明,可以如果有安装jdk1.7可以双击run.bat运行typer.jar。
2023/12/16 6:20:19 193KB 打字程序
1
完整英文版ISO12405-3:2014Electricallypropelledroadvehicles—Testspecificationforlithium-iontractionbatterypacksandsystems—Part3:Safetyperformancerequirements(电动车锂电池安全性能要求),为方便理解同时附上最新国标GB/T31467.3-2015(从30页开始)方便阅读,本标准规定了测试程序并为B级电压等级的锂离子电池组和系统提供了可接受的安全要求,这些电池组和系统将用作电动推进道路车辆中的牵引电池。
用于两轮或三轮车辆的牵引电池组和系统不受ISO12405-3:2014的保护。
ISO12405-3:2014与用于车辆的电池组和系统的安全性能测试有关。
ISO12405-3:2014不适用于在运输,存储,车辆生产,维修和保养服务期间对电池组和系统的安全性进行评估。
2023/11/30 8:51:50 10.61MB iso 12405 电动车 锂电池
1
Atypesystemisasyntacticmethodforenforcinglevelsofabstractioninprograms.Thestudyoftypesystems--andofprogramminglanguagesfromatype-theoreticperspective--hasimportantapplicationsinsoftwareengineering,languagedesign,high-performancecompilers,andsecurity.Thistextprovidesacomprehensiveintroductionbothtotypesystemsincomputerscienceandtothebasictheoryofprogramminglanguages.Theapproachispragmaticandoperational;eachnewconceptismotivatedbyprogrammingexamplesandthemoretheoreticalsectionsaredrivenbytheneedsofimplementations.Eachchapterisaccompaniedbynumerousexercisesandsolutions,aswellasarunningimplementation.Dependenciesbetweenchaptersareexplicitlyidentified,allowingreaderstochooseavarietyofpathsthroughthematerial.Thecoretopicsincludetheuntypedlambda-calculus,simpletypesystems,typereconstruction,universalandexistentialpolymorphism,subtyping,boundedquantification,recursivetypes,kinds,andtypeoperators.Extendedcasestudiesdevelopavarietyofapproachestomodelingthefeaturesofobject-orientedlanguages.(Thefulltableofcontentsisavailablehere.)
2023/11/15 5:46:54 2.19MB Programming
1
*Packedwithmorethanfortypercentnewandupdatedmaterial,thiseditionshowsbusinessmanagers,marketinganalysts,anddataminingspecialistshowtoharnessfundamentaldataminingmethodsandtechniquestosolvecommontypesofbusinessproblems  *Eachchaptercoversanewdataminingtechnique,andthenshowsreadershowtoapplythetechniqueforimprovedmarketing,sales,andcustomersupport  *Theauthorsbuildontheirreputationforconcise,clear,andpracticalexplanationsofcomplexconcepts,makingthisbooktheperfectintroductiontodatamining  *Moreadvancedchapterscoversuchtopicsashowtopreparedataforanalysisandhowtocreatethenecessaryinfrastructurefordatamining  *Coverscoredataminingtechniques,includingdecisiontrees,neuralnetworks,collaborativefiltering,associationrules,linkanalysis,clustering,andsurvivalanalysis
2023/10/11 7:33:26 8.92MB DM Marketing Sales CRM
1
使用User和ActivityPeriod模型设计并实现Django应用程序,编写自定义管理命令以使用一些虚拟数据填充数据库,并设计API以上述给定的json格式提供该数据。
pipinstalldjangorestframework-jsonapiREST_FRAMEWORK={'PAGE_SIZE':10,'EXCEPTION_HANDLER':'rest_framework_json_api.exceptions.exception_handler','DEFAULT_PAGINATION_CLASS':'rest_framework_json_api.pagination.JsonApi'框架,'rest_framework.parsers.FormParser','rest_framework.parsers.MultiPartParser'),'DEFAULT_RE
2023/7/4 2:40:22 2KB
1
拉姆达平一个约莫的法度圭表标准,它将构建ping网站的底子结构。
凑集依赖gogetgithub.com/aws/aws-lambda-go/lambda组态Go法度圭表标准存在于function/。
main.tf是Lambda的Terraform配置配备枚举。
配置配备枚举站点在function/function.go中将url:="http://example.com/"变更成url:=""。
建树邮编在function目录中运行makerelease天生二进制文件,而后将其收缩。
枚举Lambda运行terraforminit初始化terraform存储库。
而后运行terraformplan以建树实施方案。
末了,terraformapply于使用变更(运行实施方案)。
触发Lambdaawslambdainvoke\--invocation-typeRequestResponse\--function-namedemo_lambda\--regionus-east-1\--log-typeTail
2023/4/30 4:56:38 4KB golang aws-lambda serverless terraform
1
TheMathWorks,Inc.SoftwareLicenseAgreementIMPORTANTNOTICEREADTHETERMSANDCONDITIONSOFYOURLICENSEAGREEMENTCAREFULLYBEFORECOPYING,INSTALLING,ORUSINGTHEPROGRAMSORDOCUMENTATION.THELICENSEAGREEMENTTOGETHERWITHANYAPPLICABLEADDENDUMREPRESENTSTHEENTIREAGREEMENTBETWEENYOU(THE"LICENSEE")ANDTHEMATHWORKS,INC.("MATHWORKS")CONCERNINGTHEPROGRAM(S)ANDDOCUMENTATION.BYCOPYING,INSTALLING,ORUSINGTHEPROGRAMSANDDOCUMENTATION,YOUACCEPTTHETERMSOFTHISAGREEMENT.IFYOUARENOTWILLINGTODOSO,DONOTCOPY,INSTALL,ORUSETHEPROGRAMSANDDOCUMENTATION._________________________________________________________________TheMathWorks,Inc.SoftwareLicenseAgreementInstallationandUseAddendum(ifapplicable)AcademicInstallationandUseAddendum(ifapplicable)StudentLicenseandHomeLicenseInstallationandUseAddendum(ifapplicable)DeploymentAddendumTheMathWorks,Inc.SoftwareLicenseAgreement1.DEFINITIONS.1.1."Licensee"meansyou,whetheranindividualoranentity,towhomMathWorksgrantstheLicense,andwhoisresponsibleforcomplyingwiththecontractualobligationsoftheLicense,andensuringthatanyonepermittedaccesstotheProgramsalsocomplieswithsuchobligations.1.2."Affiliate"meansalegalentitywhichiscontrolledby,orcontrols,orisundercommoncontrolwithLicensee.Controlmeans(i)beneficialownershipofatleastfiftypercent(50%)ofthevotingsecuritiesofacorporationorotherbusinessorganizationwithvotingsecurities,or(ii)afiftypercent(50%)orgreaterinterestintheprofitsandcapitalofapartnershiporotherbusinessorganizationwithoutvotingsecurities,providedthatnootherindividualorentityotherthantheLicenseealsohasanequalfiftypercent(50%)ownershiporinterestinthelegalentity.Notwithstandingtheforegoing,unlessMathWorksprovidesitsexpresswr
2016/6/1 13:43:37 2.21MB 数据库
1
SVM的数据分类预测—意大利葡萄酒品种识别的matlab源程序与数据-SVMpredictiondataclassification-ItalianWinetyperecognitionmatlabsourcecodeanddata
2021/2/19 2:40:08 38KB SVM 数据分类 预测
1
golang完成的打字小程序-windows可执行文件
2017/4/11 2:55:06 2.8MB golang
1
Anintroductiontodependenttypes,demonstratingthemostbeautifulaspects,onestepatatime.Aprogram'stypedescribesitsbehavior.Dependenttypesareafirst-classpartofalanguage,andaremuchmorepowerfulthanotherkindsoftypes;usingjustonelanguagefortypesandprogramsallowsprogramdescriptionstobeaspowerfulastheprogramstheydescribe.TheLittleTyperexplainsdependenttypes,beginningwithaverysmalllanguagethatlooksverymuchlikeSchemeandextendingittocoverbothprogra妹妹ingwithdependenttypesandusingdependenttypesformathematicalreasoning.ReadersshouldbefamiliarwiththebasicsofaLisp-likeprogra妹妹inglanguage,aspresentedinthefirstfourchaptersofTheLittleSchemer.ThefirstfivechaptersofTheLittleTyperprovidetheneededtoolstounderstanddependenttypes;theremainingchaptersusethesetoolstobuildabridgebetweenmathematicsandprogra妹妹ing.Readerswilllearnthattoolstheyknowfromprogra妹妹ing-pairs,lists,functions,andrecursions-canalsocapturepatternsofreasoning.TheLittleTyperdoesnotattempttoteacheitherpracticalprogra妹妹ingskillsorafullyrigorousapproachtotype.Instead,itdemonstratesthemostbeautifulaspectsassimplyaspossible,onestepatatime.
2016/6/25 16:49:18 38.66MB pie typer little type-system
1
共 12 条记录 首页 上一页 下一页 尾页
在日常工作中,钉钉打卡成了我生活中不可或缺的一部分。然而,有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚,我总是得牢记打开钉钉应用,点击"工作台",再找到"考勤打卡"进行签到。有时候因为工作忙碌,会忘记打卡,导致考勤异常,影响当月的工作评价。而且,由于我使用的是苹果手机,有时候系统更新后,钉钉的某些功能会出现异常,使得打卡变得更加麻烦。 另外,我的家人使用的是安卓手机,他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说,每次打卡都是一次挑战。他们总是担心自己会操作失误,导致打卡失败。 为了解决这些烦恼,我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习,我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03 15KB 钉钉 钉钉打卡