您的位置: 首頁 >>  学术报告

計算機科學學院學術系列講座

【字體:

活動時間19:00-21:00

活動日期2019-11-11,星期一

地點:長安校區 文津樓三段3505

主辦單位:計算機科學學院 非線性科學與符號計算實驗室

講座人簡介:

柳銀萍,華東師範大學數學科學學院教授,博士研究生導師,在國內較早開始了微分方程領域的數學機械化研究工作。近二十年來主要圍繞非線性微分系統解析解的構造算法、非線性演化方程可積性質的分析演算算法及軟件研發開展了一系列創新性的研究工作。主持過國家自然科學基金面上項目和上海市自然科學基金項目等;作爲骨幹先後參與973 項目子課題、國家自然科學基金重點項目等。發表學術論文近50 篇,其中SCI 檢索論文40 余篇。

講座題目一:高維非線性演化方程高階波解的構造算法及自動推導

講座內容:主要介紹若幹高維非線性演化方程高階孤子解、周期解、有理解及不同類型高階相互作用解的構造算法、自動交互平台構建及相關創新工作。

講座題目二:非線性微分系統的在線計算和智能平台構建

講座內容: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.

版权所有 ? 陕西师范大学