The rules of transforming from UML state machine into B abstract machine are provided.
给出了嵌入式软件设计中常用的UML并发状态图到B抽象模型的转换规则。
Abstract: This paper introduces the testing results, analysis and design method, and manufacture technology of industrial machine of Nd-Fe-B single-phase synchronous motor.
文摘：介绍了钕铁硼永磁单相同步电动机产品样机的试验结果及分析、设计方案和试制情况。
应用推荐