与有限和循环自动机连接器配合使用的有界ModelCheckingETL
2024/2/16 22:31:36 896KB 研究论文
1
本书为普通高等教育“十一五”国家级规划教材。
全书全面论述控制系统计算机仿真的基本概念和原理,系统介绍了当前国际控制界最为流行的面向工程与科学计算的高级语言MA'lrLAB及其动态仿真集成环境Sirraalink,并以最新版MATLAB为平台,详细阐述控制系统的数学模型及其转换、连续系统和离散系统的仿真方法、控制系统的计算机辅助分析与设计;
最后特别介绍基于图形界面的MA"n.,AB工具箱的线性和非线性控制系统设计方法。
本书取材先进实用,讲解深入浅出,各章均有大量的例题,并提供了相应的仿真程序,便于读者掌握和巩固所学知识。
2024/2/14 6:28:52 9.54MB MATLAB 控制系统
1
姜启源《数学建模》笔记。
这本书是数学建模界的经典入门书籍,看笔记可以帮助你快速入手,也可以帮助你梳理知识脉络,方便运用。
绝对的干货
2024/2/14 0:29:21 388KB 数学建模
1
区块链在教育界的应用虽处于萌芽状态,但就已有案例及其发展趋势看,区块链会给教育带来深刻影响。
区块链与教育大数据的结合,将使教育进入更精准、更精细化的高效率、高质量学习服务时代。
2024/2/9 10:53:58 1.34MB 教育 区块链 变革 机遇
1
cass符号抽稀,地类符号瘦身。
Cass插件,地形、勘界常用。
2024/2/2 16:38:32 1KB cass符号抽稀
1
为了尽量减少车祸数量,汽车制造商、供应商、政府机构、学术界、甚至非汽车技术提供商正在联合开发先进的驾驶辅助系统(ADAS)和自动驾驶汽车。
2024/1/31 7:10:54 5.78MB ADAS 汽车电子 车载
1
用C++编写的利用有界深度优先搜索算法解决8数码问题
1
GrADS(GridAnalysisandDisplaySystem)是当今气象界广泛使用的一种数据处理和显示软件系统。
该软件系统通过其集成环境,可以对气象数据进行读取、加工、图形显示和打印输出。
2024/1/27 10:51:57 149.61MB 安装包
1
文件名:全国省级、地市级、县市级行政区划shp.rar,文件大小:41.48MB,
2024/1/5 23:37:04 8.74MB gis
1
GrADS(GridAnalysisandDisplaySystem)是当今气象界广泛使用的一种数据处理和显示软件系统。
该软件系统通过其集成环境,可以对气象数据进行读取、加工、图形显示和打印输出。
它在进行数据处理时,所有数据在GrADS中均被视为纬度、经度、层次和时间的4维场,而数据可以是格点资料,也可以是站点资料;
数据格式可以是二进制,也可以是GRIB码,还可以是NetCDF,从而具有操作简单、功能强大、显示快速、出图类型多样化、图形美观等特点。
正因为如此,GrADS已迅速成为国内外气象界通用的标准图形环境之一。
2023/12/28 16:31:36 64KB GrADS 教程
1
共 251 条记录 首页 上一页 下一页 尾页
在日常工作中,钉钉打卡成了我生活中不可或缺的一部分。然而,有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚,我总是得牢记打开钉钉应用,点击"工作台",再找到"考勤打卡"进行签到。有时候因为工作忙碌,会忘记打卡,导致考勤异常,影响当月的工作评价。而且,由于我使用的是苹果手机,有时候系统更新后,钉钉的某些功能会出现异常,使得打卡变得更加麻烦。 另外,我的家人使用的是安卓手机,他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说,每次打卡都是一次挑战。他们总是担心自己会操作失误,导致打卡失败。 为了解决这些烦恼,我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习,我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03 15KB 钉钉 钉钉打卡