嵌入式建模中带有时间扩展的UML状态图的形式化方法
格式:pdf
大小:406KB
页数: 3页
面向对象建模语言UML(Unified Modeling Language)已广泛用于嵌入式系统建模,但它在嵌入式实时系统建模时存在概念模型形式化复杂和状态图对时间约束方面的建模功能不强的问题,针对这些问题,提出一种对UML状态图进行时间扩展的方法,并提出利用“可执行UML”对带有时间扩展的UML状态图形式化的方法。
具有时间选择性的热磁式塑壳断路器
大小:239KB
页数: 4页
阐述了一种低成本、高可靠性的具有时间选择性的热磁式塑壳断路器。它是在普通热磁断路器上安装一套短路短延时保护装置,可实现普通热磁式塑壳断路器的时间选择性保护,增强电网的可靠性,避免大面积停电。
免契税有时间限制吗知识来自于造价通云知平台上百万用户的经验与心得交流。 注册登录 造价通即可以了解到相关免契税有时间限制吗最新的精华知识、热门知识、相关问答、行业资讯及精品资料下载。同时,造价通还为您提供材价查询、测算、询价、云造价等建设行业领域优质服务。手机版访问:免契税有时间限制吗