This paper presents an object oriented Petri net (OOPN) schema to model the dynamic behaviors of a flexible manufacturing cells (FMCs). The OOPN paradigm incorporates the characteristics of a Petri net and OOP. It in...This paper presents an object oriented Petri net (OOPN) schema to model the dynamic behaviors of a flexible manufacturing cells (FMCs). The OOPN paradigm incorporates the characteristics of a Petri net and OOP. It increases the maintainability and reusability of objects in Petri net modeling, thus it has more powerful modeling and analysis abilities.展开更多
Wavefield extrapolation is critical in reverse time migration(RTM).The finite diff erence method is primarily used to achieve wavefi eld extrapolation in case of the RTM imaging of tunnels.However,complex tunnel model...Wavefield extrapolation is critical in reverse time migration(RTM).The finite diff erence method is primarily used to achieve wavefi eld extrapolation in case of the RTM imaging of tunnels.However,complex tunnel models,including those for karsts and fault fracture zones,are constructed using regular grids with straight curves,which can cause numerical dispersion and reduce the imaging accuracy.In this study,wavefi eld extrapolation was conducted for tunnel RTM using the finite element method,wherein an unstructured mesh was considered to be the body-fi tted partition in a complex model.Further,a Poynting vector calculation equation suitable for the unstructured mesh considered in the fi nite element method was established to suppress the interference owing to low-frequency noise.The tunnel space was considered during wavefi eld extrapolation to suppress the mirror artifacts based on the fl exibility of mesh generation.Finally,the infl uence of the survey layouts(one and two sidewalls)on the tunnel imaging results was investigated.The RTM results obtained for a simple tunnel model with an inclined interface demonstrate that the method based on unstructured meshes can effectively suppress the low-frequency noise and mirror artifacts,obtaining clear imaging results.Furthermore,the two-sidewall tunnel survey layout can be used to accurately obtain the real position of the inclined interface ahead of the tunnel face.The complex tunnel numerical modeling and actual data migration results denote the eff ectiveness of the fi nite element method in which an unstructured mesh is used.展开更多
文摘This paper presents an object oriented Petri net (OOPN) schema to model the dynamic behaviors of a flexible manufacturing cells (FMCs). The OOPN paradigm incorporates the characteristics of a Petri net and OOP. It increases the maintainability and reusability of objects in Petri net modeling, thus it has more powerful modeling and analysis abilities.
基金supported by the National Natural Science Foundation of China (Nos. 41804145, 41704146)Natural Science Foundation of Hebei Province (No. D2018210168)Project of Hebei Province Higher Educational Science and Technology Program (No.QN2019185)。
文摘Wavefield extrapolation is critical in reverse time migration(RTM).The finite diff erence method is primarily used to achieve wavefi eld extrapolation in case of the RTM imaging of tunnels.However,complex tunnel models,including those for karsts and fault fracture zones,are constructed using regular grids with straight curves,which can cause numerical dispersion and reduce the imaging accuracy.In this study,wavefi eld extrapolation was conducted for tunnel RTM using the finite element method,wherein an unstructured mesh was considered to be the body-fi tted partition in a complex model.Further,a Poynting vector calculation equation suitable for the unstructured mesh considered in the fi nite element method was established to suppress the interference owing to low-frequency noise.The tunnel space was considered during wavefi eld extrapolation to suppress the mirror artifacts based on the fl exibility of mesh generation.Finally,the infl uence of the survey layouts(one and two sidewalls)on the tunnel imaging results was investigated.The RTM results obtained for a simple tunnel model with an inclined interface demonstrate that the method based on unstructured meshes can effectively suppress the low-frequency noise and mirror artifacts,obtaining clear imaging results.Furthermore,the two-sidewall tunnel survey layout can be used to accurately obtain the real position of the inclined interface ahead of the tunnel face.The complex tunnel numerical modeling and actual data migration results denote the eff ectiveness of the fi nite element method in which an unstructured mesh is used.
