Resultados de búsqueda - Gang Tang
- Mostrando 1 - 3 Resultados de 3
-
1
Short-Term Prediction of Ship Heave Motion Using a PSO-Optimized CNN-LSTM Model por Guowei Li, Gang Tang, Jingyu Zhang, Qun Sun, Xiangjun Liu
Publicado 2025-05-01When ships conduct offshore operations in the ocean, they are subject to disturbances from natural factors such as sea breezes and waves. These disturbances lead to movements detrimental to the ship’s stability, especially heave movement in the vertical direction, which profoundly impacts the safety...
Enlace del recurso
Artículo -
2
Research on group type theory and its functorial semantic models in category logic. por Jian-Gang Tang, Yimamujiang Aishan, Ji-Yu Liu, Jia-Yin Peng
Publicado 2025-01-01This paper explores the introduction of group structures within type theory, drawing from the algebraic theory proposed by Roy L. Crole. We define types with group structures and demonstrate that models of these types in categories with finite products can be interpreted as group objects. Each equat...
Enlace del recurso
Artículo -
3
Research on group type theory and its functorial semantic models in category logic por Jian-Gang Tang, Yimamujiang Aishan, Ji-Yu Liu, Jia-Yin Peng
Publicado 2025-01-01Enlace del recurso
Artículo