排序方式: 共有5条查询结果,搜索用时 15 毫秒
1
1.
2.
为了在软件开发早期阶段对UML2.0顺序图模型进行分析和验证,本文给出了UML2.0顺序图的一种有穷自动机模型。首先给出了顺序图在语法和语义上的形式化描述,然后提出了一种使有穷自动机来描述每个对象在顺序图描述的场景中所参与的事件序列的方法,并将该方法扩展到带有组合片段的UML2.0顺序图,最后分析了UML2.0顺序图中的时间建模机制,设计了从UML2.0顺序图中提取时间约束的算法。以上工作为使用模型检测工具UPPAAL对顺序图模型进行进一步的分析与验证奠定了基础。 相似文献
3.
基于顺序图的FADEC软件需求状态图模型验证 总被引:1,自引:0,他引:1
基于模型的系统工程MBSE方法论在全权限数字电子控制(FADEC)软件开发领域的应用越来越普遍,模型作为开发过程中传递信息的介质,其在软件开发过程中的重要性不言而喻.完善的需求模型可以降低FADEC软件研制过程中的风险,提高研制效率.以SysML顺序图为测试用例,对模型进行测试.通过测试用例与需求的追踪关系,保证了测试的有效性.测试用例生成过程中利用了ATG用例自动生成技术.测试结果表明了此方法的实用性,实现了对需求模型的充分测试. 相似文献
4.
为评估550 k V环氧树脂浸纸多出线套管的抗震性能,对该型套管进行了有限元分析。根据产品设计绘制三维实体模型,模态分析计算此套管的固有频率,对套管施加静态端子拉力、自重力及等效风载荷,计算静态载荷及响应谱情况下套管的最大位移,并对静力载荷与地震载荷进行工况组合,分析在静态载荷和地震载荷综合情况下套管主要零部件的位移及应力。分析数据显示,该多出线套管计算安全系数完全满足AG5地震水平要求,应力最大位置为芯体上部卷制管位置,后期设计时应充分考虑提高卷制管壁厚及刚度,提高该套管的安全系数。 相似文献
5.
高海拔地区空气稀薄,550 kV套管需要进行海拔修正才能满足绝缘要求,给水平安装的运行条件带来更大的不确定性。针对以上情况,设计了满足绝缘要求的550 kV套管,对设计套管进行抗震性能方面的研究,根据产品设计绘制三维实体模型,模态分析计算此套管的固有频率,并对套管施加内部气压、静态端子拉力、自重力及等效风载荷,计算静态载荷及响应谱情况下套管的最大位移,最后采用Ansys Workbench中的Design Assessment模块进行工况组合,分析在静态载荷和地震载荷综合情况下套管主要零部件的位移及应力。分析数据显示,550 kV套管计算安全系数完全满足AG5地震水平要求,位移相对较大的是均压环位置,后期设计时应充分考虑提高环氧管刚度,降低均压环重量及适当增加现场导线的长度。 相似文献
1