The creation of three-dimensional models from an unorganized set of points is an active research area in computer graphics.One of the purposes of this study is to explore the 3D reconstruction of a cube-type artificia...The creation of three-dimensional models from an unorganized set of points is an active research area in computer graphics.One of the purposes of this study is to explore the 3D reconstruction of a cube-type artificial reef(CTAR)set by linear structured light and binocular stereo vision technology in an underwater environment.The experimental setup is composed of two ca-meras in a stereo vision configuration.The alpha shapes method can be used to construct a surface that most closely reflects the arti-ficial reef set described by the points.A parameter study is conducted to assess the scales of the set(i.e.,usable volume,surface area,projected area,height,and base diameter)on the basis of 3D reconstruction.Experimental results show that the quality of 3D recon-struction in an underwater environment is acceptable for estimating the scale size of the CTAR set.According to the measurement of the scale sizing of the CTAR set,the relationships between the parameters of the CTAR set and the number of CTAR modules were determined.Moreover,the usable volume of the CTAR set can be estimated depending on the basis of the number of CTAR modules.展开更多
The concepts of metric R0-algebra and Hilbert cube of type RO are introduced. A unified approximate reasoning theory in propositional caculus system ? and predicate calculus system (?) is established semantically as w...The concepts of metric R0-algebra and Hilbert cube of type RO are introduced. A unified approximate reasoning theory in propositional caculus system ? and predicate calculus system (?) is established semantically as well as syntactically, and a unified complete theorem is obtained.展开更多
基金This research was supported by the National Key R&D Program of China(No.2019YFD0901302)the National Natural Science Foundation of China(No.31802349).
文摘The creation of three-dimensional models from an unorganized set of points is an active research area in computer graphics.One of the purposes of this study is to explore the 3D reconstruction of a cube-type artificial reef(CTAR)set by linear structured light and binocular stereo vision technology in an underwater environment.The experimental setup is composed of two ca-meras in a stereo vision configuration.The alpha shapes method can be used to construct a surface that most closely reflects the arti-ficial reef set described by the points.A parameter study is conducted to assess the scales of the set(i.e.,usable volume,surface area,projected area,height,and base diameter)on the basis of 3D reconstruction.Experimental results show that the quality of 3D recon-struction in an underwater environment is acceptable for estimating the scale size of the CTAR set.According to the measurement of the scale sizing of the CTAR set,the relationships between the parameters of the CTAR set and the number of CTAR modules were determined.Moreover,the usable volume of the CTAR set can be estimated depending on the basis of the number of CTAR modules.
基金supported by the National Natural Science Foundation of China(Grant No.19331010).
文摘The concepts of metric R0-algebra and Hilbert cube of type RO are introduced. A unified approximate reasoning theory in propositional caculus system ? and predicate calculus system (?) is established semantically as well as syntactically, and a unified complete theorem is obtained.
