利用数学机械化方法求解Wick型随机孤子破裂方程的精确解

由于海岸边界、海洋工程建筑和船舶边界受到水波的非线性作用，使得非线性水波问题成为近年来海洋工程研究的热点问题。本项目致力于研究如何利用数学机械化的思想及方法，机械化求得Wick型随机孤子破裂方程的更多类型的精确解，即随机波解。由于随机波的运动类似分子运动一样受到周围各方面的影响, 成为描述现实世界水波运动的强有力的数学工具。通过给出这类随机非线性水波方程的精确解可以更直观地显示不同物理量的影响和变化趋势，从而可以实现计算机模拟波浪碰撞和叠加过程，对船舶和海洋结构物设计具有重要的指导意义。

本项目致力于研究如何利用数学机械化的思想及方法，机械化求得Wick型随机孤子破裂方程的更多类型的精确解，即随机波解。通过给出这类随机非线性水波方程的精确解可以更直观地显示不同物理量的影响和变化趋势，从而可以实现计算机模拟波浪碰撞和叠加过程，对船舶和海洋结构物设计具有重要的指导意义。本项目严格按照年度研究计划完成了预期研究成果，发表SCI文章1篇，EI会议论文1篇，国内核心期刊论文1篇，指导3名研究生完成毕业论文，参加国际学术会议2次。