An innovative hydrodynamic theory and numerical model were developed to help improve the efficiency, accuracy, and convergence of the numerical prediction of wave drift forces on two side-by-side deepwater floating bo...An innovative hydrodynamic theory and numerical model were developed to help improve the efficiency, accuracy, and convergence of the numerical prediction of wave drift forces on two side-by-side deepwater floating bodies. The wave drift forces were expressed by the double integration of source strength and the corresponding Green function on the body surface, which is consistent with the far field formula based on momentum conservation and sharing the advantage of near field calculations providing the drift force on each body. Numerical results were validated through comparing the general far field model and pressure integral model, as well as the middle field model developed usin^z the software HydroStar.展开更多
This paper is devoted to the study of the logical properties of BCK algebras. For formalized BCK algebra theory T, it is proved that T is preserved under submodels and unions of chains; T is neither complete nor model...This paper is devoted to the study of the logical properties of BCK algebras. For formalized BCK algebra theory T, it is proved that T is preserved under submodels and unions of chains; T is neither complete nor model complete, and hence there exist no built-in Skolem function. Moreover, the ultraproduct BCK algebras and the fuzzy ultraproduct of fuzzy subsets of BCK algebras were proposed by using the concept of ultrafilters with corresponding properties of fuzzy ideals discussed.展开更多
In order to apply physical simulation results to natural gas hydrate reservoir parameters to provide a theoretical framework for the design of a development plan,an analytical equation method was used to obtain the si...In order to apply physical simulation results to natural gas hydrate reservoir parameters to provide a theoretical framework for the design of a development plan,an analytical equation method was used to obtain the similarity criteria of natural gas hydrate reservoir development by physical simulation,based on a mathematical model of natural gas hydrate development.Given the approach of numerical simulation,a sensitivity analysis for all parameters was carried out,which specifically demonstrated that initial temperature is the most important parameter.Parameters of thermal conductivity coefficients are not necessary for conducting the NGH dissociation process,which will fundamentally simplify the design and establishment of the model.The analysis provides a sound theoretical basis and design principles for particular similarity.展开更多
基金Supported by National Natural Science Foundation of China (51079032)
文摘An innovative hydrodynamic theory and numerical model were developed to help improve the efficiency, accuracy, and convergence of the numerical prediction of wave drift forces on two side-by-side deepwater floating bodies. The wave drift forces were expressed by the double integration of source strength and the corresponding Green function on the body surface, which is consistent with the far field formula based on momentum conservation and sharing the advantage of near field calculations providing the drift force on each body. Numerical results were validated through comparing the general far field model and pressure integral model, as well as the middle field model developed usin^z the software HydroStar.
文摘This paper is devoted to the study of the logical properties of BCK algebras. For formalized BCK algebra theory T, it is proved that T is preserved under submodels and unions of chains; T is neither complete nor model complete, and hence there exist no built-in Skolem function. Moreover, the ultraproduct BCK algebras and the fuzzy ultraproduct of fuzzy subsets of BCK algebras were proposed by using the concept of ultrafilters with corresponding properties of fuzzy ideals discussed.
基金supported by the China Petroleum and Chemical Corporation (No.P06070)the National Natural Science Foundation of China (No.50404003)
文摘In order to apply physical simulation results to natural gas hydrate reservoir parameters to provide a theoretical framework for the design of a development plan,an analytical equation method was used to obtain the similarity criteria of natural gas hydrate reservoir development by physical simulation,based on a mathematical model of natural gas hydrate development.Given the approach of numerical simulation,a sensitivity analysis for all parameters was carried out,which specifically demonstrated that initial temperature is the most important parameter.Parameters of thermal conductivity coefficients are not necessary for conducting the NGH dissociation process,which will fundamentally simplify the design and establishment of the model.The analysis provides a sound theoretical basis and design principles for particular similarity.
