活動(dòng)時(shí)間：19:00-21:00

活動(dòng)日期：2019-11-11，星期一

地點(diǎn)：長(zhǎng)安校區(qū) 文津樓三段3505室

主辦單位：計(jì)算機(jī)科學(xué)學(xué)院 非線性科學(xué)與符號(hào)計(jì)算實(shí)驗(yàn)室

講座人簡(jiǎn)介：

柳銀萍，華東師范大學(xué)數(shù)學(xué)科學(xué)學(xué)院教授，博士研究生導(dǎo)師，在國(guó)內(nèi)較早開(kāi)始了微分方程領(lǐng)域的數(shù)學(xué)機(jī)械化研究工作。近二十年來(lái)主要圍繞非線性微分系統(tǒng)解析解的構(gòu)造算法、非線性演化方程可積性質(zhì)的分析演算算法及軟件研發(fā)開(kāi)展了一系列創(chuàng)新性的研究工作。主持過(guò)國(guó)家自然科學(xué)基金面上項(xiàng)目和上海市自然科學(xué)基金項(xiàng)目等；作為骨干先后參與973 項(xiàng)目子課題、國(guó)家自然科學(xué)基金重點(diǎn)項(xiàng)目等。發(fā)表學(xué)術(shù)論文近50 篇，其中SCI 檢索論文40 余篇。

講座題目一：高維非線性演化方程高階波解的構(gòu)造算法及自動(dòng)推導(dǎo)

講座內(nèi)容：主要介紹若干高維非線性演化方程高階孤子解、周期解、有理解及不同類型高階相互作用解的構(gòu)造算法、自動(dòng)交互平臺(tái)構(gòu)建及相關(guān)創(chuàng)新工作。

講座題目二：非線性微分系統(tǒng)的在線計(jì)算和智能平臺(tái)構(gòu)建

講座內(nèi)容：A Web-based knowledge database and computing platform for nonlinear differential equations is introduced, which could provide computing and graphing based on symbolic computing system Maple and some of its built-in packages. Users can not only calculate specific types of analytical solutions of nonlinear differential systems by calling the packages, but also carry out any symbolic computations associated with equations and other kinds of simple computations in an interactive mode with visual output. The knowledge database of differential equations has all functions of the general database. Furthermore, each equation has a web page to show its properties and research results. In addition, each mathematical formula is stored in its infix form in the knowledge database and can be displayed visually.