首页
短视频去水印
文件下载
根据地址查询经纬度
登录 / 注册
一级分类:
安全技术
存储
操作系统
服务器应用
行业
课程资源
开发技术
考试认证
数据库
网络技术
信息化
移动开发
云计算
大数据
跨平台
音视频
游戏开发
人工智能
区块链
二级分类:
数学建模元胞自动机.rar
数学建模元胞自动机,内含各种相关资料和ppt,既方便教学也方便自学。
2023/11/5 7:50:42
66.23MB
数学建模
元胞自动机
1
语言与机器计算机科学导论
这本书,详细的讲解了,形式语言与自动机的相关知识,对于想学习编译原理与开发程序设计的读者来说是一本相当不错的参考书,本书从一些相关的数学知识讲起,由浅入深的阐述了计算机语言的开发的基础知识,为以后学习编译器的开发打下了坚实的基础。
2023/10/30 6:30:24
109.98MB
形式语言
自动机
1
自动机臂的动态测量
基于激光跟踪原理测量自动机臂动态过程的仪器的可行性研究已取得进展,早期研究所形成的技术规范是当阀门工作速度达5m/s时1m3区域中的自动机臂测量精度为±0.1mm。
末端作用器轨迹的X、Y、Z座标的离线估计受到三角计算的影响。
2023/10/25 14:52:09
628KB
1
基于时间自动机(ta)的四列火车调度的uppaal模型实例
该资源是实现的一个四列火车调度的模型实例,已在模型检测工具uppaal4.0.14上实现并进行了模型的性质验证,资源中还包含实验的模型仿真和性质验证的截图(实验效果图)。
uppaal是一个集成工具环境,它以扩展的时间自动机为建模语言,被用于对经过转换的时间自动机网络模型的实时系统进行建模、检验和验证。
2023/10/9 16:51:17
323KB
uppaal模型
时间自动机
1
(哈工大蒋宗礼老师)形式语言与自动机理论+习题解答.rar
形式语言与自动机理论+习题解答很详细的都有,是蒋宗礼老师那个版本的
2023/9/29 2:42:08
1.26MB
形式语言与自动机理论+习题解答
1
元胞自动机实现交通流模拟
包括换道系统,跟驰系统等功能。
功能比较齐全,但是大部分程序都是加密的,只能拿来用,不能作为学习资源参考
2023/9/9 5:05:13
55KB
MATLAB
CA
1
有穷自动机转化为正规式
有穷自动机转化为正规式,输入一个有穷自动机,把它转化为正规式,最好是NFA,DFA也可以。
2023/9/3 3:33:32
4KB
有穷自动机
正规式
1
形式语言与自动机-期末考试试卷.pdf
天津大学形式语言与自动机期末考试试卷,基本包含每年考试的各种题型
2023/8/31 14:44:27
397KB
TJU
exam
1
uppaal-4.1.19.zip
内容包含Uppaal工具,及简单教程,注意必须提前安装好Java1.8及以上环境,运行uppaal.jar,即可运行Uppaal。
时间自动机是一套对实时系统进行建模和验证的理论。
这一理论是Alur和Dill的杰出工作成果。
很多验证工具(例如Uppaal)就是基于时间自动机理论制作的。
2023/8/23 23:16:10
21.06MB
Uppaal
验证
时间自动机
建模
1
自动机-源码
自动机
2023/8/22 18:49:53
3KB
HTML
1
共 104 条记录
首页
上一页
下一页
尾页
钉钉无人值守自动打卡脚本 永不迟到的神器 安卓和苹果教程
New!
在日常工作中,钉钉打卡成了我生活中不可或缺的一部分。然而,有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚,我总是得牢记打开钉钉应用,点击"工作台",再找到"考勤打卡"进行签到。有时候因为工作忙碌,会忘记打卡,导致考勤异常,影响当月的工作评价。而且,由于我使用的是苹果手机,有时候系统更新后,钉钉的某些功能会出现异常,使得打卡变得更加麻烦。 另外,我的家人使用的是安卓手机,他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说,每次打卡都是一次挑战。他们总是担心自己会操作失误,导致打卡失败。 为了解决这些烦恼,我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习,我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03
15KB
钉钉
钉钉打卡
个人信息
点我去登录or注册
|
微信登录
一言
热门下载
CNS2_CN_VW_P0095D_0332.7z
几何画板课件350套.zip
ABAQUS金属非稳态和稳态切削过程的模拟分析_张东进.pdf
ENVI去云补丁Haze_tool文件及其使用说明和安装方法
HTML5+CSS3中文参考手册(3手册)chm版中文参考手册打包
Android控件GridView之仿支付宝钱包首页带有分割线的GridView九宫格的完满实现
超声随心所欲xp版.rar
软件开发文档书写规范
分形维数MATLAB程序
拾荒者扫描器.zip
南天东华BP8903IRH-N双界面IC卡读写机驱动(driver)
东芝T888零碎操作手册
ADCSPI配置FPGA代码
NavicatPremiumforMacv12.0.22.0
二维声波高阶有限差分地震波场模仿
最新下载
Quartus16.0破解与license
SQliteAndroidSQLite的应用简易的学生成绩管理系统
Java程序设计实用教程(第4版)[叶核亚]
基于.netc#的新闻管理系统
超级详细的LinuxOracleEcology安装部署说明
hdp安装手册
LS-SVM(中文)库文件指导手册(最小支持向量机).zip
语义网基础教程(中文版)
网狐数据库储存过程解密工具
铁电PDFfm25)cl04铁电(中文数据手册
做射频门禁。RFID都可以用上。智能安全RFID门禁
4-4存储管理-PPT
kingfish404.github.io:我的个人博客-源码
文具销售网站
康熙字典mysql
其他资源
Navicat15装置包.zip
算法设计与分析基础课后答案(AnanyLevitin)(全)
2017年上半年软件设计师详细答案
STM32上串口与CAN的完整程序,全中断方式
javascript-jquery-ajax-源码
(邻接表)图遍历的演示,注释比较详尽,内含cpp文件和课程设计实验报告
水果品相检测
pcap包安装
数字视频去抖动算法(VideoStabilizationAlgorithm)MATLAB实现
购物商城设计(参考小米商城)(boostrap前台JSP页面+struts2+mysql数据库)
php版2018最新手机号归属地数据,包含166,198,199号段,412339个号段
Kinect体感游戏切水果
MSM8909规格书原理图
java编写的公司员工打卡法度圭表标准
thesolutionofProbability,Statistics,andRandomProcessesforEngineers
昆石高速交通事故数据
matlab等价类程序
MathTypev7.4.4.516.rar-其它工具类资源
http播放rtsp.zip
JAVAWEB校园二手平台项目.rar