排序方式: 共有2条查询结果,搜索用时 4 毫秒
1
1.
一种基于场景的CTCS-3列车控制系统建模方法研究 总被引:1,自引:0,他引:1
对CTCS-3列车控制系统进行有效的测试、分析和验证是保证列车运行安全和旅客生命财产安全的重要手段,而形式化模型是系统测试、分析和验证的基础。本文以CTCS-3列车运行控制系统的UML非形式化模型为基础,以自动机模型作为系统形式化模型描述的数学工具,研究UML顺序图(场景)自动转化为自动机网模型的方法。首先将场景的UML顺序图自动转化为子系统的子自动机模型,然后通过合并不同场景的子自动机模型,得到子系统的组元自动机模型,最后通过对通信通道的建模得到系统的自动机网模型。使用本方法,基于系统的UML顺序图模型可以自动生成系统的自动机网模型。 相似文献
2.
提出一种基于空间矢量旋转变换的负序电流计算方法并将其应用于感应电机定子绕组故障诊断.由于实际电网的基波频率存在偏差,因此首先利用基波在信号中所占比重最大的特点来确定基波频率ω1.根据得到的基波频率值,将电流空间矢量进行基波频率的旋转变换,使基波的负序分量转变为静止分量,通过均值滤波就可以得到负序电流的值.当感应电机的定子绕组出现故障时,可以根据负序电流的大小进行故障的诊断.将提出的方法用于定子故障时负序电流的计算,实验结果表明,这是一种可行并且有效的方法. 相似文献
1