没有合适的资源?快使用搜索试试~
我知道了~
文库首页
开发技术
其它
通过时钟因果链探测CCSL 规格说明中的发散行为
通过时钟因果链探测CCSL 规格说明中的发散行为
研究论文
0 下载量
194 浏览量
2021-03-15
11:30:30
上传
评论
收藏
1.35MB
PDF
举报
温馨提示
立即下载
通过时钟因果链探测CCSL 规格说明中的发散行为
资源推荐
资源评论
基于SMT的时钟约束语言CCSL的形式化分析方法与工具.pdf
浏览:59
基于SMT的时钟约束语言CCSL的形式化分析方法与工具.pdf
CE_CCSL_H5:CE_CCSL_H5
浏览:63
CE_CCSL_H5:CE_CCSL_H5
ObPwd:从图像/音乐/视频文件生成强密码-开源
浏览:126
详情请见:http://www.ccsl.carleton.ca/~mmannan/obpwd/
机跟炉协调控制在300MWCFB锅炉煤质大幅波动时的应用
浏览:17
为充分利用锅炉蓄热,尽量满足电网需求,普通煤粉炉往往采用炉跟机协调控制(以下简称CCSl)模式。在CCSl模式下,汽轮机控制机组有功功率,锅炉控制主汽压力,当主汽压力测量值与设定值偏差过大时(一般为0.5-0.8MPa)...
Coursera:使用Python入门的库
浏览:29
Coursera Curso deIntroduçãocom python Python Aulas ministradas pelo教授:Fabio KonInstituição:USP-CCSL,através在在线Coursera上进行在线课程。 补充运动资料。
bazinga:巴辛加! 引擎 - 游戏引擎 - 稳定技术
浏览:73
CCSL 团队推荐 ! Bazinga 的测试技术! 引擎。 巴辛加! Engine 是一款功能齐全的 2d 游戏引擎。 它的工作流程基于 器,导出为自定义 JSON 地图格式,然后可以加载和执行地图。 此阶段支持完整的 lua 集成和对象...
AcMus-开源
浏览:201
AcMus是一个音乐声学项目,致力于开发用于研究室内声学的模型和计算机工具,并致力于帮助调查与环境的设计,控制和声学处理有关的问题。... 我们认为当前存储库位于https://gitlab.com/ccsl-usp/acmus。
AccessControlManagementSystem.zip
浏览:104
独家秘制,北大青鸟门禁系统,Maven工程项目,纯面向对象思想编程,注释详细,不吹不黑,确实不错,注意:实体类这块用了lombok,如果不太清楚的可以去掉实体类上的注解,自己生成对应的getter、setter、toString、...
行人惯性导航零速检测算法
浏览:50
行人惯性导航零速检测算法
混合动力汽车基于规则的控制和ECMS与优化等效因子的实时能源管理策略
浏览:201
混合动力汽车基于规则的控制和ECMS与优化等效因子的实时能源管理策略
基于CORDIC的反正弦和反余弦计算的FPGA实现
浏览:41
5星 · 资源好评率100%
基于CORDIC的反正弦和反余弦计算的FPGA实现
使用3DCNN和卷积LSTM进行手势识别学习时空特征
浏览:198
使用3DCNN和卷积LSTM进行手势识别学习时空特征
BA无标度网络中的SIR模型
浏览:144
BA无标度网络中的SIR模型
基于三次贝塞尔曲线的类汽车曲率连续路径平滑
浏览:62
本文重点研究在大型科学设施环境中工作的类似汽车的车辆的可行路径的生成。 考虑曲率连续性和最大曲率约束,一种新颖的路径平滑算法是根据三次贝塞尔曲线提出的。 在算法中,贝塞尔转弯和贝塞尔路径分别为发达。 Bezier 转弯首先设计用于连接两个任意配置。 然后可以通过以下方式获得贝塞尔路径使用贝塞尔曲线来拟合避免碰撞规划器提供的一系列目标点。 在算法的指导下,车辆可以以预定的方向到达目标点。 模拟实验进
基于机器学习的设备剩余寿命预测方法综述
浏览:117
基于机器学习的设备剩余寿命预测方法综述
基于无差拍预测控制和扰动观测器的永磁同步电机电流控制
浏览:42
基于无差拍预测控制和扰动观测器的永磁同步电机电流控制
基于FPGA的奇异值和特征值分解的快速实现。
浏览:3
基于FPGA的奇异值和特征值分解的快速实现。
基于BP神经网络的人口预测
浏览:93
基于BP神经网络的人口预测
无人机协同目标的多无人机协同搜索方法
浏览:62
无人机协同目标的多无人机协同搜索方法
两轮平衡车的建模与控制研究
浏览:68
两轮平衡车的建模与控制研究
一种基于深度学习的机械臂抓取方法
浏览:5
一种基于深度学习的机械臂抓取方法
基于深度神经网络的交通流量预测
浏览:198
精确的预测结果可以为通勤者提供合理的出行建议,并进一步为交通管理提供帮助。现有的研究深入深度学习方法在时空特征提取方面已经有了显着的进展,诸如图卷积神经网络,长短期记忆网络模型等在此过程中发挥了重要的作用。而,仅将这些方法应用到具体的路网场景下的交通流量预测问题是不够合理的的,本文提出了一种优化的时空交通流量预测模型,将线图转换到道路交通拓扑结构的建造过程,并利用GCN实现了更有效的路网空间特征提
一种去除ECG中基线漂移和工频干扰的高效滤波方法
浏览:75
一种去除ECG中基线漂移和工频干扰的高效滤波方法
模式分类中的特征融合方法综述
浏览:13
模式分类中的特征融合方法综述
基于卷积神经网络的路面裂缝检测
浏览:62
基于卷积神经网络的路面裂缝检测
一种用于433MHz 射频发射前端的天线及相关电路设计
浏览:45
5星 · 资源好评率100%
一种用于433MHz 射频发射前端的天线及相关电路设计
基于稀疏贝叶斯学习的高效DOA估计方法
浏览:53
基于稀疏贝叶斯学习的高效DOA估计方法
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
weixin_38657353
粉丝: 5
资源:
929
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
JDK 1.8 64位.rar
DirectX修复工具V4.3增强版
openssh-9.6p1升级最新无错版(附一键升级脚本)
Qt QGraphicsView显示百万级数据
基于51单片机的无线数据采集设计
高分项目,PID-四轴飞行类-无名科创开源飞控,源码+电路图主板+传感器+程序流程图
jsp固定资产管理系统源码+lw+ppt.rar
“人力资源+大数据+薪酬报告+涨薪调薪”
“人力资源+大数据+薪酬报告+涨薪调薪”
eei1cg0ys2y
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功