精品文献
契税有时间限制吗
嵌入式建模中带有时间扩展的UML状态图的形式化方法
嵌入式建模中带有时间扩展的UML状态图的形式化方法
面向对象建模语言UML(Unified Modeling Language)已广泛用于嵌入式系统建模,但它在嵌入式实时系统建模时存在概念模型形式化复杂和状态图对时间约束方面的建模功能不强的问题,针对这些问题,提出一种对UML状态图进行时间扩展的方法,并提出利用“可执行UML”对带有时间扩展的UML状态图形式化的方法。
具有时间选择性的热磁式塑壳断路器
具有时间选择性的热磁式塑壳断路器
阐述了一种低成本、高可靠性的具有时间选择性的热磁式塑壳断路器。它是在普通热磁断路器上安装一套短路短延时保护装置,可实现普通热磁式塑壳断路器的时间选择性保护,增强电网的可靠性,避免大面积停电。