排序方式: 共有3条查询结果,搜索用时 31 毫秒
1
1.
基于Petri网的UML状态迁移策略 总被引:2,自引:0,他引:2
分析了统一建模语言(UML,Unified Modeling Language)状态图相关语义,阐述了Petri网基本特征和它所具有的建模事件并发、同步、冲突能力.为得到UML状态图无二义性的、可执行的和可验证的模型,在着色Petri网和层次化Petri网研究成果基础上,研究提出层次着色Petri网(HCPN,Hierarchical Colored Petri Net).HCPN中不同层的着色网CPN通过库所子网或变迁子网相关联.通过实例说明如何借助这些关联从HCPN中的CPN合并得到标注Petri网.标注Petri网可用于指导基于事件驱动的仿真过程,而标注Petri网转换得到的基本Petri网可用来进行特性分析,从而对所描述的UML状态图模型给出合理的评价,有利于建模系统的改进. 相似文献
2.
介绍了开源计算流体力学软件OpenFOAM(Open Field Operation and Manip-ulation)及面向对象编程技术,并利用其对三维斜掠后台阶流动进行了数值模拟.通过对无斜掠角度情况下用OpenFOAM计算得到的流场速度型和展向涡强度场分布与实验数据的对比研究,证明其具有良好的计算精度和可靠性.通过对不同斜掠角度台阶下游流线与压力分布的详细研究发现随着斜掠角度从0°增加到60,°回流区涡团结构和再附距离均发生了显著变化.其总体趋势是再附距离在30°后会急剧缩小,旋涡强度也会减弱. 相似文献
3.
1