造价通
更新时间:2024.11.24
嵌入式建模中带有时间扩展的UML状态图的形式化方法

格式:pdf

大小:406KB

页数: 3页

面向对象建模语言UML(Unified Modeling Language)已广泛用于嵌入式系统建模,但它在嵌入式实时系统建模时存在概念模型形式化复杂和状态图对时间约束方面的建模功能不强的问题,针对这些问题,提出一种对UML状态图进行时间扩展的方法,并提出利用“可执行UML”对带有时间扩展的UML状态图形式化的方法。

具有时间选择性的热磁式塑壳断路器

格式:pdf

大小:239KB

页数: 4页

阐述了一种低成本、高可靠性的具有时间选择性的热磁式塑壳断路器。它是在普通热磁断路器上安装一套短路短延时保护装置,可实现普通热磁式塑壳断路器的时间选择性保护,增强电网的可靠性,避免大面积停电。

最新知识

报销房屋契税有时间现制不
点击加载更多>>
专题概述
报销房屋契税有时间现制不相关专题

分类检索: