社区首页
博客
论坛
文库
评测
芯语
活动
商城
更多
社区
论坛
博客
问答
评测中心
面包芯语
E币商城
社区活动
资讯
电子工程专辑
国际电子商情
电子技术设计
CEO专栏
eeTV
EE|Times全球联播
资源
在线研讨会
视频
白皮书
小测验
供应商资源
ASPENCORE Studio
EE直播间
活动
2025 中国国际低空经济产业创新发展大会
2025 第六届国际 AIoT 生态发展大会
2025 全球 MCU 生态发展大会
2025 第六届中国国际汽车电子高峰论坛
IIC Shenzhen 2025
2025国际电子商情分销与供应链行业年会
IIC Shanghai 2025
更多活动预告
杂志与服务
免费订阅杂志
电子工程专辑电子杂志
电子技术设计电子杂志
国际电子商情电子杂志
社区每月抽奖
登录|注册
帖子
帖子
博文
电子工程专辑
电子技术设计
国际电子商情
资料
白皮书
研讨会
芯语
文库
首页
分类
专题
技术白皮书
电子杂志
帮助
创建专题
上传文档
我的上传
我的下载
我的收藏
登录
下载首页
分类
专题
技术白皮书
帮助
面包板社区
博客
论坛
E币商城
面包芯语
帖子
帖子
博文
资料
资料
专题
热门搜索:
python
HarmonyOS
嵌入式
电源
C语言
华为
电子竞赛
单片机
PCB
首页
分类列表
基础知识
书籍
工业关键系统的形式化方法:应用综述
推荐星级:
类别:
基础知识
工业/医疗
其他
时间:2023-03-28
大小:21.36MB
阅读数:360
上传用户:
无量头颅无量血
查看他发布的资源
下载次数
1
所需E币
1
新用户
注册
即送
300
E币
更多E币赚取方法,请查看
立即下载
新用户
注册
即送
300
E币
更多E币赚取方法,请查看
立即下载
资料介绍
工业关键系统的形式化方法:应用综述
展开阅读全文
工业
关键系统
形式
方法
应用
综述
1
收藏
举报
版权说明:本资料由用户提供并上传,仅用于学习交流;若内容存在侵权,请进行举报,或
联系我们
删除。
PARTNER CONTENT
换一换>
更多>
在高开关频率下为整流器设计有源钳位电路
德州仪器
2025-11-05
设计高压直流母线电容器的有源预充电电路
德州仪器
2025-10-29
相关评论
(下载后评价送E币
我要评论
)
发送
取消
G996
2023-04-07
谢谢楼主的分享!
没有更多评论了
加载更多评论
可能感兴趣
关注本资料的网友还下载了
技术白皮书
对PLC编程的一点体会
所需E币:1
时间:2019-05-22
大小:1.77MB
上传者:
crystal2k
立即下载
74HC4511
所需E币:1
时间:2019-05-22
大小:129.64KB
上传者:
lyyinhe_xi
立即下载
定子磁链自校正PMSM无位置传感器控制新
方法
所需E币:1
时间:2019-06-03
大小:1.93MB
上传者:
curton
立即下载
基于演化细胞自动机的自适应交通控制研究
所需E币:1
时间:2019-06-03
大小:1.71MB
上传者:
curton
立即下载
未知异构非线性多智能体系统的无模型自适应编队控制
所需E币:1
时间:2019-05-28
大小:939.08KB
上传者:
curton
立即下载
强烈推荐-实用电子技术丛书
所需E币:10
时间:2019-05-23
大小:11.48KB
上传者:
牛渔曦
立即下载
视频基础知识
所需E币:1
时间:2019-05-27
大小:2.91MB
上传者:
xld0932
立即下载
uC/FS_The Embedded File System User Manual
所需E币:1
时间:2019-05-24
大小:3.04MB
上传者:
xld0932
立即下载
QN902x_快速入门
所需E币:0
时间:2019-05-24
大小:1.34MB
上传者:
xld0932
立即下载
四轮独立驱动电动汽车转矩自适应分配控制
所需E币:1
时间:2019-05-28
大小:1.51MB
上传者:
curton
立即下载
自适应滤波算法在板结构振动控制中的
应用
所需E币:1
时间:2019-05-27
大小:664.79KB
上传者:
curton
立即下载
基于苏州南部电网500_kV统一_省略_的系统级多目标自适应控制策略研究
所需E币:1
时间:2019-05-27
大小:2.39MB
上传者:
curton
立即下载
图灵电子与电气工程丛书-实用模拟电路设计
所需E币:1
时间:2019-05-24
大小:24.98MB
上传者:
牛渔曦
立即下载
AD18基础教程
所需E币:5
时间:2019-05-27
大小:153B
上传者:
江畔美少年
立即下载
最强电容讲座·实战篇
所需E币:1
时间:2019-05-27
大小:1.03MB
上传者:
feiniao2008
立即下载
运放和比较器的根本区别
所需E币:1
时间:2019-05-27
大小:51.03KB
上传者:
feiniao2008
立即下载
世界各国电源插头标准
所需E币:0
时间:2019-05-27
大小:2.04MB
上传者:
feiniao2008
立即下载
轻轻松松学电工:技能篇
所需E币:5
时间:2019-05-27
大小:21.57MB
上传者:
牛渔曦
立即下载
从零开始学单片机技术
所需E币:2
时间:2019-05-27
大小:42.5MB
上传者:
牛渔曦
立即下载
从零开始学电子元器件识别与检测技术
所需E币:2
时间:2019-05-27
大小:22.12MB
上传者:
牛渔曦
立即下载
电感&抗干扰元件指南
所需E币:2
时间:2019-05-27
大小:9.97MB
上传者:
Elearch
立即下载
基于中国大学MOOC的外语网络课程平台构建与实现
所需E币:3
时间:2019-05-27
大小:3.5MB
上传者:
royalark_912907664
立即下载
基于波束成形的无线充电过程性能评估
所需E币:3
时间:2019-05-27
大小:1.97MB
上传者:
royalark_912907664
立即下载
应用
于指纹图像的三角函数加速核的设计
所需E币:3
时间:2019-05-27
大小:1.7MB
上传者:
royalark_912907664
立即下载
HTS通信系统波束切换机制性能分析
所需E币:3
时间:2019-05-27
大小:1.87MB
上传者:
royalark_912907664
立即下载
光伏发电系统辅助电源的设计
所需E币:3
时间:2019-05-27
大小:1.73MB
上传者:
royalark_912907664
立即下载
基于移动互联网的水稻病虫害信息管理系统研究与设计
所需E币:3
时间:2019-05-27
大小:1.8MB
上传者:
royalark_912907664
立即下载
名企面试笔试真题:ADI面试问题
所需E币:2
时间:2019-05-27
大小:36.5KB
上传者:
我的果果超可爱
立即下载
[Razavi]_Design_Of_Analog_Cmos_Integrated_Circuits
所需E币:3
时间:2019-05-27
大小:41.77MB
上传者:
我的果果超可爱
立即下载
时钟芯片RTC
所需E币:0
时间:2019-05-27
大小:141.15KB
上传者:
feiniao2008
立即下载
详解电动汽车各系统常见故障及处理
所需E币:2
时间:2019-05-27
大小:3.42MB
上传者:
四季豆
立即下载
Intermediate_Python中文译本
所需E币:1
时间:2019-05-27
大小:1.31MB
上传者:
我的果果超可爱
立即下载
Python3网络爬虫数据采集
所需E币:1
时间:2019-05-27
大小:8.77MB
上传者:
我的果果超可爱
立即下载
Python程序员指南.pdf
所需E币:1
时间:2019-05-27
大小:10.66MB
上传者:
我的果果超可爱
立即下载
Python核心编程第3版中文版
所需E币:1
时间:2019-05-27
大小:18.11MB
上传者:
我的果果超可爱
立即下载
Python技术参考大全
所需E币:1
时间:2019-05-27
大小:12.29MB
上传者:
我的果果超可爱
立即下载
Python数据科学手册.pdf
所需E币:1
时间:2019-05-27
大小:12.51MB
上传者:
我的果果超可爱
立即下载
Python学习手册(第3版).pdf
所需E币:1
时间:2019-05-27
大小:41.12MB
上传者:
我的果果超可爱
立即下载
硬件工程师要求-HW公司
所需E币:1
时间:2019-05-27
大小:885.49KB
上传者:
追忆流年寻梦少年
立即下载
柴油机高压共轨高速电磁阀驱动控制平台设计
所需E币:1
时间:2019-05-27
大小:6.88MB
上传者:
牛渔曦
立即下载
更多资源
点击登录
全站已有
277245
份文档
上传我的文档
热门资料
基础知识
电源/功率
PCB
单片机/嵌入式
FPGA
模拟/数字
处理器/DSP
传感器
测试测量
通信/RF/网络
软件/EDA/IP
采购/供应链/管理
超300套开发板/电子宝典书籍,免费领取
IIC Shenzhen2025:20+专业论坛与产品方案展览会(11.25-26 深圳)
免费试用:Fluke热像仪-电子研发与制造利器
【免费下载】MCU基础知识和设计指南(瑞萨独家中文版122页)
是德科技设计论坛:23场深度演讲破解Chiplet/6G/SI/PI/EMC难题,免费午餐+大奖(11.18 上海)
NordicTechTour2025巡回技术峰会:蓝牙LE、蜂窝物联网、Wi-Fi 6实战
【直播】四节课搞定MCU设计:报名立送电子书,开发板、京东卡场场送!
【样品免费申请】思瑞浦电压基准产品
从3D IC到RISC-V全讲透—西门子EDA免费资源库
经典书籍下载:电源设计工程师指南(共542页)
SDV新架构:车灯控制器搬进中央电脑了
推荐白皮书
1
电池仿真白皮书
2
多圈传感器 ADMT4000 的设计指南
3
剖析 MAXQ™ Power架构核心技术(含案例分析)
4
MOSFET和GaN FET应用手册:电源设计工程师指南(共542页)
5
状态监控中的同步数据采集技术全解析
6
小体积、高集成、强散热!uModule DC/DC稳压器揭秘
7
电源监控器基础及方案设计
8
智能楼宇工业以太网设计方案
热门专题
1
常用封装尺寸资料
2
单片机管理技术
3
一次集齐!2023热门下载资料Top100
4
单片机管理技术
5
电源资料
6
DSP控制资料的介绍
7
关于嵌入式开发必备的综合性资料
8
关于CPLD及EDA设计资料集合
下载排行榜
本周
本月
本年
用户贡献榜
本周
本月
本年
EE直播间
更多
下一束关键之光:蓝绿激光器的技术跃迁与应用落地全景
直播时间: 11月18日 10:00
【瑞萨RA MCU技术月】第一讲:超低功耗、入门级32位MCU系列
直播时间: 11月19日 19:30
【瑞萨RA MCU技术月】第二讲:高能效、强安全性32位MCU系列
直播时间: 11月25日 19:30
【瑞萨RA MCU技术月】第三讲:高性能M85内核MCU系列
直播时间: 12月03日 19:30
在线研讨会
更多
标准化测试:一年内最大化实现投资回报率
破局・提速:坤恒顺维综测仪,重构移动通信终端测试效率新基准
介绍边缘语言模型(ELM)
从感知到驱动:Allegro 创新技术赋能智能工厂与机器人
×
举报
报错
恶意重复上传
无法下载或打开失败
资源不完整或内容不详
恶意重复上传骗E币
资源E币售价虚高
标题与资源内容不符
含反动色情暴力或病毒
广告垃圾内容
版权问题,侵犯版权
其他
举报说明
上传
本网页已闲置超过10分钟,按键盘任意键或点击空白处,即可回到网页
X
最新资讯
基于555定时器的镍镉电池充电器DIY教程
网传iPhone可检测针孔摄像头,苹果官方回应
聚焦固态断路器核心:以极致能效破解人工智能背后的“能源危机”
汽车行业正“吞食”人形机器人市场,五年安装量激增102%
中方释放善意,荷兰安世仍拒晶圆供应!