1-19 of 19
Keywords: logic programming
Close
Follow your search
Access your saved searches in your account

Would you like to receive an alert when new items match your search?
Close Modal
Sort by
Proceedings Papers

Paper presented at the The 35th International Ocean and Polar Engineering Conference, June 1–6, 2025
Paper Number: ISOPE-I-25-282
... into a universal logic diagram, so as to derive the universal Boolean algebra equation of the load-rejection system, and establish the intelligent throwing action decision model of the UUV load-rejection system. rejection system emergency load requirement depth gauge logic programming uuv simulation...
Proceedings Papers

Paper presented at the The 31st International Ocean and Polar Engineering Conference, June 20–25, 2021
Paper Number: ISOPE-I-21-3150
... by experimental evidence so far and this may lead to some uncertainties in practical applications except for Vicinanza et. al. (2009). logic programming mathematical model regular wave diffraction jetty artificial intelligence wave diffraction helmholtz equation complex variable function double...
Proceedings Papers

Paper presented at the The 30th International Ocean and Polar Engineering Conference, October 11–16, 2020
Paper Number: ISOPE-I-20-1303
... of Technology, etc. The research team of structure and design method was established in 2019. And this paper is one of the research achievements of the project team. logic programming mathematical model coefficient exact solution partial differential equation frequency boundary condition...
Proceedings Papers

Paper presented at the The Twenty-fourth International Ocean and Polar Engineering Conference, June 15–20, 2014
Paper Number: ISOPE-I-14-546
... intensity factor matrix aggregate fracture surface logic programming cement-sandy matrix mathematical model strength mechanics failure process specific energy logic & formal reasoning coarse aggregate artificial intelligence specific surface energy adhesion fracture Mathematical...
Proceedings Papers

Paper presented at the The Twenty-fourth International Ocean and Polar Engineering Conference, June 15–20, 2014
Paper Number: ISOPE-I-14-488
.... An example of calculating strain conditions in the shell according to the proposed finite element model and tasks of its development process and specification are provided in this paper. calculation settlement isope deformation infill soil logic programming displacement mathematical model...
Proceedings Papers

Paper presented at the The Twenty-third International Offshore and Polar Engineering Conference, June 30–July 5, 2013
Paper Number: ISOPE-I-13-353
... the fundamental aspects of the wake generated by a ship under steady current. logic programming chevray wake experiment johansson artificial intelligence axisymmetric body model submarine wake experiment experimental data momentum thickness graph smit hydrodynamic interaction experiment...
Proceedings Papers

Paper presented at the The Twenty-first International Offshore and Polar Engineering Conference, June 19–24, 2011
Paper Number: ISOPE-I-11-226
... will begin to act like a liquid, the residual liquefaction . pore water pressure buildup reservoir characterization upstream oil & gas effective stress coefficient sediment elasticity sumer fredsøe mathematical model equation logic programming time series wave height pore pressure...
Proceedings Papers

Paper presented at the The Twentieth International Offshore and Polar Engineering Conference, June 20–25, 2010
Paper Number: ISOPE-I-10-005
... & formal reasoning ice sheet deformation displacement ice sheet deflection artificial intelligence intensity node submarine ice thickness flexural-gravity wave submarine motion kozin equation ice cover logic programming thickness deformation mathematical model open crack Mathematical...
Proceedings Papers

Paper presented at the The Twentieth International Offshore and Polar Engineering Conference, June 20–25, 2010
Paper Number: ISOPE-I-10-060
...). "Investigations of Freak Waves on Uniform Current," Proc 20th International Workshop of Water Waves and Floating Bodies (IWWWFB), Haerbin,China. 363 different position yan investigation wavemaker freak wave spectra interaction cylinder logic programming wave profile crest max 1 renewable energy...
Proceedings Papers

Paper presented at the The Nineteenth International Offshore and Polar Engineering Conference, July 21–26, 2009
Paper Number: ISOPE-I-09-324
... reservoir. hydrate reservoir saturation dissociation gas rate artificial intelligence hydrate zone free gas zone porous media equation gas production gas rate logic programming mathematical model depressurization logic & formal reasoning dissociation underlain hydrate dissociation...
Proceedings Papers

Paper presented at the The Nineteenth International Offshore and Polar Engineering Conference, July 21–26, 2009
Paper Number: ISOPE-I-09-182
... al. (1986), Selim and Sloan (1989), Tsypkin (2000), Masuda et al. (1999) presented different methods for analysis of the dissociation process of gas hydrate by depressurization. heat conductivity initial saturation upstream oil & gas hydrate reservoir equilibrium logic programming...
Proceedings Papers

Paper presented at the The Eighteenth International Offshore and Polar Engineering Conference, July 6–11, 2008
Paper Number: ISOPE-I-08-319
.... However, they did not consider the free surface effect on the hydrodynamic coefficient in the equations of motion. orbital motion dynamic model logic programming artificial intelligence logic & formal reasoning free surface mathematical model exciting force submerged body control...
Proceedings Papers

Paper presented at the The Seventeenth International Offshore and Polar Engineering Conference, July 1–6, 2007
Paper Number: ISOPE-I-07-014
... with the specified exceedance of probability for various ice conditions in every design scenario. angular velocity ice cover subsea system deterministic model inertial force interaction offshore single ice floe th ice floe extreme ice load logic & formal reasoning logic programming floe...
Proceedings Papers

Paper presented at the The Sixteenth International Offshore and Polar Engineering Conference, May 28–June 2, 2006
Paper Number: ISOPE-I-06-200
... in the estuary of Serayu river whose serayu estuary bed change model spit growth hydrodynamic model sediment transport mathematical model engineering modeling morphological change radiation stress elevation metals & mining central java river mouth equation logic programming wave model...
Proceedings Papers

Paper presented at the The Fifteenth International Offshore and Polar Engineering Conference, June 19–24, 2005
Paper Number: ISOPE-I-05-252
... et al. exhibit a Fourier series form with non-dimensional independent variables based on various principal ship form particulars. ship logic programming experimental data wind force coefficient cross-flow drag experimental result yoneta coefficient stepwise method logic & formal...
Proceedings Papers

Paper presented at the The Ninth International Offshore and Polar Engineering Conference, May 30–June 4, 1999
Paper Number: ISOPE-I-99-201
... on the analysis of those phenomena, some facts from self-excited and forced vibration are combined and a consequent analysis method is conceived. logic & formal reasoning strength equation logic programming failure state ice force self-excited oscillation subsea system offshore platform...
Proceedings Papers

Paper presented at the The Ninth International Offshore and Polar Engineering Conference, May 30–June 4, 1999
Paper Number: ISOPE-I-99-215
... because the configuration of land and water permits a circumpolar oceanic flow. evolution enhanced recovery equation logic programming flux artificial intelligence circulation model heat flux sea ice petit sea surface temperature ice thickness ocean deep ocean weddell sea ice pack...
Proceedings Papers

Paper presented at the The Seventh International Offshore and Polar Engineering Conference, May 25–30, 1997
Paper Number: ISOPE-I-97-331
... campaigns of experimental measurements. logic programming mathematical model coefficient artificial intelligence simulation capability stability liquid experiment characteristic eqn ship frequency liquid motion marine transportation equation wave frequency tank contento...
Proceedings Papers

Paper presented at the The Fifth International Offshore and Polar Engineering Conference, June 11–16, 1995
Paper Number: ISOPE-I-95-050
... & formal reasoning sarmento carpet tile absorption experiment production monitoring power plant takeoff equipment production control valve air pressure experiment equation renewable energy impulse response function diffraction flow approximation logic programming Proceedings of the Fifth...

Product(s) added to cart

Close Modal