数学分析中的重要定理作者:杨艳萍,明清河著出版时间:2015年版《数学分析中的重要定理》是为学习数学分析课程的学生、从事数学分析教学与研究的读者而编写的。
全书共分为七章,系统地把数学分析中的重要定理总结和归纳为微积分基本定理、微分中值定理、积分中值定理、积分关系定理、极限关系定理、闭区间上连续函数的性质定理、实数连续性(完备性)定理七类进行研究。
  《数学分析中的重要定理》从定理的历史演变分析、定理的内容与证明分析、定理的几何意义与条件结论分析、定理间的相互关系分析、定理的应用分析、定理的推广分析等角度展开研究。
  《数学分析中的重要定理》可供数学及相关专业的本科生、研究生和从事数学分析的教学研究人员参考。
2023/7/9 16:24:22 63.17MB 数学分析 杨艳萍 明清河 微积分
1
可以进行管网平差、管网水力模拟和建立水质模型的软件,EPANET作为一套功能齐全、界面友好、易于使用的优秀免费软件,得到广泛应用,成为许多商业软件的核心,也为输配水系统的科学研究提供了便利。
什么是EPANETH?EPANETH软件是美国环保局软件EPANET的汉化版本,是一个可以执行有压管网水力和水质特性延时模拟的计算机程序。
管网包括管道、节点(管道连接节点)、水泵、阀门和蓄水池(或者水库)等组件。
EPANETH可跟踪延时阶段管道水流、节点压力、水池水位高度以及整个管网中化学物质的浓度。
除了模拟延时阶段的化学成分,也可以模拟水龄和进行源头跟踪。
EPANETH开发的目的是为了改善对配水系统中物质迁移转化规律的理解。
它可以实现许多不同类型的配水系统分析。
采样程序设计、水力模型校验、余氯分析以及用户暴露评价就是一些例子。
EPANETH有助于评价整个系统水质改善的不同管理策略,这些可能包括:改变多水源供水系统的水源配置;
改变水泵提升和水池注水/放水时间调度安排;
水处理的补充措施,例如蓄水池中重新加氯;
管道清洗和替换。
在Windows环境下,EPANETH提供了管网输入数据编辑、水力和水质模拟,以及以各种方式显示计算结果的集成环境。
结果的表达形式包括管网地图颜色表示、数据表格、时间序列图和等值线图等。
水力模拟能力完整和精确的水力模拟是有效水质模拟的先决条件。
EPANETH包含了先进的水力分析引擎,具有以下功能:对管网规模未加限制;
可利用Hazen-Williams,Darcy-Weisbach或Chezy-Manning公式计算摩擦水头损失;
包含了弯头、附件等处的局部水头损失计算;
可模拟恒速和变速水泵;
可进行水泵提升能量和成本分析;
可模拟各种类型的阀门,包括遮蔽阀、止回阀、调压阀和流量控制阀;
允许包含各种形状的蓄水池(即直径可以随高度变化);
考虑节点多需水量类型,每一节点可具有自己的时变模式;
可模拟依赖于压力的流量,例如扩散器(喷头水头);
系统运行能够基于简单水池水位或者计时器控制,以及基于规则的复杂控制水质模拟能力EPANETH提供了以下水质模拟能力:模拟管网中非反应性示踪剂随时间的运动;
模拟反应物质的运动变化,它可以随时间增长(例如消毒副产物)或者降低(例如余氯);
2模拟整个管网的水龄;
跟踪从已知节点来的水流百分比;
模拟主流水体和管壁处的反应;
利用n级反应动力学模拟主流水体中的反应;
利用零级或者一级反应动力学模拟管壁处的反应;
模拟管壁处的反应时可考虑质量转移限值;
允许持续达到一个极限浓度的增长或者衰减反应;
利用全局反应速率系数,可在单管道基础上纠正;
允许管网中任何位置的时间变化浓度或者质量输入;
将蓄水池作为完全混合、柱塞流或者双室反应器进行模拟。
通过利用这些特性,EPANETH能够研究以下水质现象:不同水源来水的混合;
整个系统的水龄;
余氯的损失;
消毒副产物的增长;
污染事件跟踪。
2023/7/9 13:15:32 2.47MB epaneth epanet 中文版
1
缓冲区溢出定义为程序尝试将数据写入超出预分配的固定长度缓冲区边界的条件。
恶意用户可以利用此漏洞来改变程序的流控制,甚至可以执行任意代码。
此漏洞由于数据存储(例如缓冲区)和控制存储(例如返回地址)的混合而产生:数据部分中的溢出会影响程序的控制流,因为溢出可能会更改返回地址。
在本实验中,我们将获得一个缓冲区溢出漏洞的程序,开发一个利用漏洞的方案,最终获得root权限
2023/7/6 22:07:01 921KB 网络安全
1
Lavalink-MusicBot使用Lavalink作为音频播放器的音乐机器人。
先决条件。
Node.jsv12或更高版本。
用法将.env.example重命名为.env并将这些值替换为您的值。
安装依赖项npmi--production或与yarnyarn--prod一起安装。
运行botnpmstart。
作者GitHub不和谐
2023/7/6 12:35:27 39KB bot discord-music-bot discord discord-bot
1
1.目录1.目录22.绘图函数Plottingfunctions42.1.可视化的统计关系Visualizingstatisticalrelationships42.1.1.用散点图联系变量Relatingvariableswithscatterplots42.1.2.强调线条图的连续性Emphasizingcontinuitywithlineplots102.1.3.显示与切面的多个关系Showingmultiplerelationshipswithfacets212.2.分类数据绘图Plottingwithcategoricaldata242.2.1.分类散点图Categoricalscatterplots262.2.2.分类观测值分布Distributionsofobservationswithincategories312.2.3.分类统计估计Statisticalestimationwithincategories372.2.4.对“wide-form”数据作图Plotting“wide-form”data412.2.5.显示与facet的多个关系Showingmultiplerelationshipswithfacets432.3.可视化数据集的分布Visualizingthedistributionofadataset442.3.1.绘制单变量分布Plottingunivariatedistributions452.3.2.绘制二元分布Plottingbivariatedistributions512.3.3.在数据集中可视化成对关系Visualizingpairwiserelationshipsinadataset552.4.可视化线性关系Visualizinglinearrelationships572.4.1.函数绘制线性模型Functionstodrawlinearregressionmodels582.4.2.拟合不同种类的模型Fittingdifferentkindsofmodels612.4.3.在其他变量上的情况Conditioningonothervariables682.4.4.控制图表的大小和形状Controllingthesizeandshapeoftheplot712.4.5.在其他上下文中绘制回归图Plottingaregressioninothercontexts733.多图网格Multi-plotgrids763.1.构建结构化的多图网格Buildingstructuredmulti-plotgrids763.2.有条件的小倍数Conditionalsmallmultiples773.3.使用定制函数Usingcustomfunctions863.4.绘制成对的数据关系Plottingpairwisedatarelationships904.绘图美学Plotaesthetics994.1.控制图表美学Controllingfigureaesthetics994.1.1.Seaborn图表风格Seabornfigurestyles1014.1.2.删除轴上的小凸起Removingaxesspines1044.1.3.临时设置图表样式Temporarilysettingfigurestyle1054.1.4.覆盖Seaborn样式的元素Overridingelementsoftheseabornstyles1064.1.5.缩放图表元素Scalingplotelements1084.2.选择调色板Choosingcolorpalettes1114.2.1.创建颜色调色板Buildingcolorpalettes1114.2.2.定性调色板Qualitativecolorpalettes1124.2.3.连续调色板Sequentialcolorpalettes1164.2.4.不同颜色的调色板Divergingcolorpalettes1224.2.5.设置默认调色板Settingthedefaultcolorpalette1245.教程中的数据集125
2023/7/6 2:50:45 7.62MB seaborn tutorial python 中文
1
耐克购买机器人这是一个使用Node.js/puppeteer的简单机器人,当它掉落时会购买耐克的鞋子。
先决条件Node.jsgit命令行工具文本编辑器(我建议使用)带有信用卡的Nike.com帐户已保存到该帐户中以进行预填充安装Node.js安装测试您的Node.js安装:首先打开一个终端(在Windows中,您可以执行WIN+R然后键入cmdENTER),然后键入node-v,您应该会看到类似v10.16.0(当前版本如右图所示)现在)。
安装git安装测试您的git安装:首先打开一个终端(在Windows中,您可以执行WIN+R然后键入cmdENTER),然后键入git--version,您应该会看到类似gitversion2.8.1.windows.1(当前版本)。
入门使用git克隆此存储库打开一个终端(在Windows中,您可以执行CTRL+R然后键入cmdENTER)输入以下内容:gitclonehttps://github.com/tylerburleigh/nike-buy-
2023/7/5 19:29:21 2.47MB nodejs bot sneakers nike
1
这次实验是用C语言对pl/0的编译器进行扩展,实现了一下几个功能:(1)给PL/0语言增加像C语言那样的形式为/……/的注释。
(2)给PL/0语言增加带else子句的条件语句和exit语句。
(3)给PL/0语言增加输入输出语句。
(4)给PL/0语言增加带参数的过程。
(5)给PL/0语言增加布尔类型。
(6)给PL/0语言增加数组类型。
(7)给PL/0语言增加函数类型。
(8)给PL/0语言增加实数类型。
(9)分离解释器和编译器为两个独立的程序。
压缩包中还有实验要求以及参考文档等,希望对大家编写pl0编译器有帮助。
2023/7/5 2:26:30 272KB pl/0编译器,编译原理实验
1
射频识别系统一般由三部分组成:电子标签(射频卡)、读取器和天线。
正确快速的识别电子标签的标签号码,是门禁系统发挥其功能的先决条件。
以无源低频射频卡识别模块SMC51489为例,介绍了对射频卡信息读取的原理和方法,并给出了相应的软件编程。
实验证明该模块不仅具有较大的读卡距离,而且工作可靠。
1
MSTAR数据集全部JPEG格式图片,教研室使用,故应该比较完整,分SOC与EOC条件下的数据
2023/7/3 14:16:33 39.32MB MSTAR
1
1.对循环语句和条件判断语句编写词法分析编译程序,只能通过一遍扫描完成。
词法分析程序的功能输入:源程序输出:二元组(词法记号,属性值/其在符号表中的位置)构成的序列。
附加题:擦,我们的密码设置才奇葩呢。
2023/7/3 11:52:44 4KB 编译原理 大工上机作业
1
共 1000 条记录 首页 上一页 下一页 尾页
在日常工作中,钉钉打卡成了我生活中不可或缺的一部分。然而,有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚,我总是得牢记打开钉钉应用,点击"工作台",再找到"考勤打卡"进行签到。有时候因为工作忙碌,会忘记打卡,导致考勤异常,影响当月的工作评价。而且,由于我使用的是苹果手机,有时候系统更新后,钉钉的某些功能会出现异常,使得打卡变得更加麻烦。 另外,我的家人使用的是安卓手机,他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说,每次打卡都是一次挑战。他们总是担心自己会操作失误,导致打卡失败。 为了解决这些烦恼,我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习,我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03 15KB 钉钉 钉钉打卡