計(jì)算數(shù)學(xué)最新期刊目錄

二維Sobolev方程基于POD方法的降維高階緊致差分外推算法————作者：紀(jì)敏;李宏;

摘要：推導(dǎo)二維Sobolev方程具有空間四階精度的緊致差分格式,證明了緊致差分格式的收斂性.改寫差分格式為矢量形式,利用特征投影分解(Proper Orthogonal Decomposition,簡稱POD)方法構(gòu)造降維高階緊致差分格式,并證明了近似解的誤差估計(jì).給出數(shù)值算例,分別計(jì)算緊致差分格式和降維緊致差分格式的數(shù)值誤差,空間收斂階和時(shí)間收斂階,驗(yàn)證了實(shí)驗(yàn)結(jié)果和理論分析相符,進(jìn)一步對比降維前后兩種...

基于Lean的數(shù)學(xué)形式化簡介————作者：李晨毅;文再文;

摘要：本文粗略地探討數(shù)學(xué)形式化的基本原理與應(yīng)用,重點(diǎn)介紹形式化語言Lean及其在數(shù)學(xué)優(yōu)化中的應(yīng)用進(jìn)展.我們先回顧數(shù)學(xué)形式化的發(fā)展背景,闡述形式化語言Lean的構(gòu)建原理及其正確性保障機(jī)制,介紹Lean語言中的定理庫Mathlib4的作用.通過自然語言與形式化證明的對比,闡述利用形式化驗(yàn)證數(shù)學(xué)的優(yōu)勢,強(qiáng)調(diào)形式化在數(shù)學(xué)理論的準(zhǔn)確驗(yàn)證中的重要作用.在數(shù)學(xué)優(yōu)化領(lǐng)域,本文討論目前數(shù)學(xué)優(yōu)化理論的形式化進(jìn)展,以二次上界...

多延遲中立型微分方程的數(shù)值振動(dòng)性分析————作者：于海芳;高建芳;

摘要：本文主要討論了一類含有多項(xiàng)延遲的中立型延遲微分方程數(shù)值解的振動(dòng)性,利用線性θ-方法離散原方程得到相應(yīng)的差分方程,通過討論差分方程解的性質(zhì),把原方程數(shù)值解的振動(dòng)性質(zhì)轉(zhuǎn)化為一個(gè)非中立型差分方程解的振動(dòng)性.根據(jù)差分方程振動(dòng)性與特征方程特征根的關(guān)系,分別討論了當(dāng)0≤θ≤1/2和1/2<θ≤1時(shí)數(shù)值解的振動(dòng)性.同時(shí)對非振動(dòng)數(shù)值解的性質(zhì)也做了研究,最后給出了數(shù)值算例闡述了結(jié)論

多維標(biāo)度分析中個(gè)體差異標(biāo)度模型的向量序列加速算法————作者：陳新;覃月鳳;周學(xué)林;李姣芬;

摘要：多維標(biāo)度分析是一種在低維空間中以點(diǎn)間距離展現(xiàn)觀測對象之間相似性測度或親疏關(guān)系的多維數(shù)據(jù)分析方法,其通過在低維空間中表示高維數(shù)據(jù),保留數(shù)據(jù)點(diǎn)之間的相對距離關(guān)系.本文主要針對對稱多維標(biāo)度中一類考慮觀測對象之間個(gè)體差異的個(gè)體差異標(biāo)度模型(O-INDSCAL)設(shè)計(jì)有效的數(shù)值求解算法.首先基于交替最小二乘迭代算法思想將模型對應(yīng)的多變量約束矩陣優(yōu)化問題轉(zhuǎn)換為不動(dòng)點(diǎn)迭代問題,并結(jié)合向量序列加速原理給出加速算法的...

基于GA-Hermite神經(jīng)網(wǎng)絡(luò)的分形-分?jǐn)?shù)階Bagley-Torvik微分方程數(shù)值解法研究————作者：胡行華;王池;

摘要：本文將Hermite多項(xiàng)式作為神經(jīng)網(wǎng)絡(luò)的隱層,利用遺傳算法優(yōu)化Hermite神經(jīng)網(wǎng)絡(luò)的初始權(quán)值,同時(shí)選取遺傳算法優(yōu)化的Hermite神經(jīng)網(wǎng)絡(luò)實(shí)際輸出與期望輸出的誤差函數(shù)的倒數(shù)作為遺傳算法的適應(yīng)度函數(shù),構(gòu)造一種新的遺傳算法優(yōu)化的Hermite神經(jīng)網(wǎng)絡(luò)求解Caputo分形-分?jǐn)?shù)階Bagley-Torvik微分方程的數(shù)值方法.結(jié)合多點(diǎn)處的泰勒公式,給出Caputo分形-分?jǐn)?shù)階Bagley-Torvik微...

廣義周期斜對稱三對角矩陣的逆特征值問題————作者：曾雨;徐偉孺;胡文宇;

摘要：本文考慮一類由斜對稱三對角矩陣和周期斜對稱三對角矩陣結(jié)合而成的特殊矩陣,簡稱為廣義周期斜對稱三對角矩陣.研究了一個(gè)構(gòu)造該矩陣的逆特征值問題,即從給定的三個(gè)平衡集和一個(gè)正數(shù)中來構(gòu)造該類矩陣.首先將該矩陣酉相似于一個(gè)廣義周期對稱三對角矩陣,從而來分析該矩陣的特征值與其順序主子矩陣和尾主子矩陣的特征值之間的關(guān)系,分別從這兩個(gè)主子矩陣的譜是否有交集和尾主子矩陣階數(shù)的奇偶性等兩個(gè)方面進(jìn)行討論.進(jìn)而給出不同情...

求解垂直非線性互補(bǔ)問題的多分裂并行迭代法————作者：鄭華;張永雄;盧曉平;

摘要：垂直非線性互補(bǔ)問題在實(shí)際中有著廣泛的應(yīng)用,設(shè)計(jì)求解垂直非線性互補(bǔ)問題的數(shù)值方法是近年來學(xué)者們的研究熱點(diǎn).為充分利用高性能計(jì)算機(jī)進(jìn)行求解,本文運(yùn)用矩陣多分裂結(jié)合垂直非線性互補(bǔ)問題的等價(jià)模方程建立了一類模系同步多分裂迭代法,在H-矩陣的假設(shè)下給出模系同步多分裂迭代法的若干收斂性條件,并得到常見的加速超松弛多分裂迭代過程松弛參數(shù)的收斂域,最后在OpenACC框架下通過數(shù)值實(shí)驗(yàn)展示模系同步多分裂迭代法的高...

時(shí)間分?jǐn)?shù)階擴(kuò)散方程的全離散混合有限元法————作者：曾玲;陳豫眉;謝小平;

摘要：本文針對一類含α∈(0,1)階Riemann-Liouville導(dǎo)數(shù)的時(shí)間分?jǐn)?shù)階擴(kuò)散方程,提出了一類時(shí)空混合有限元法:空間離散采用m(m≥0)階的Raviart-Thomas(RT)有限元,時(shí)間離散采用分片r(r≥0)次間斷Galerkin(DG)有限元.由于解在t=0附近有奇性,時(shí)間方向上使用等級網(wǎng)格.分析了全離散格式的適定性.對于時(shí)間離散采用分片常數(shù)(r=0)DG格式和分片線性(r=1)DG格...

二維Sobolev方程基于POD方法的降維高階緊致差分外推算法————作者：紀(jì)敏;李宏;

摘要：推導(dǎo)二維Sobolev方程具有空間四階精度的緊致差分格式,證明了緊致差分格式的收斂性.改寫差分格式為矢量形式,利用特征投影分解(Proper Orthogonal Decomposition,簡稱POD)方法構(gòu)造降維高階緊致差分格式,并證明了近似解的誤差估計(jì).給出數(shù)值算例,分別計(jì)算緊致差分格式和降維緊致差分格式的數(shù)值誤差,空間收斂階和時(shí)間收斂階,驗(yàn)證了實(shí)驗(yàn)結(jié)果和理論分析相符,進(jìn)一步對比降維前后兩種...

基于Lean的數(shù)學(xué)形式化簡介————作者：李晨毅;文再文;

摘要：本文粗略地探討數(shù)學(xué)形式化的基本原理與應(yīng)用,重點(diǎn)介紹形式化語言Lean及其在數(shù)學(xué)優(yōu)化中的應(yīng)用進(jìn)展.我們先回顧數(shù)學(xué)形式化的發(fā)展背景,闡述形式化語言Lean的構(gòu)建原理及其正確性保障機(jī)制,介紹Lean語言中的定理庫Mathlib4的作用.通過自然語言與形式化證明的對比,闡述利用形式化驗(yàn)證數(shù)學(xué)的優(yōu)勢,強(qiáng)調(diào)形式化在數(shù)學(xué)理論的準(zhǔn)確驗(yàn)證中的重要作用.在數(shù)學(xué)優(yōu)化領(lǐng)域,本文討論目前數(shù)學(xué)優(yōu)化理論的形式化進(jìn)展,以二次上界...

Klein-Gordon方程的任意高階保能量格式————作者：束思琪;汪佳玲;

摘要：本文構(gòu)造了Klein-Gordon方程的一類任意高階能量守恒算法.通過引入二次輔助變量將哈密頓能量轉(zhuǎn)化為二次形式,即將能量守恒定律轉(zhuǎn)化為二次不變量.同時(shí),原系統(tǒng)被改寫為具有二次不變量的新系統(tǒng).接著,我們利用傅里葉擬譜方法和辛龍格-庫塔方法得到全離散格式.該算法在時(shí)間上達(dá)到任意高階收斂,空間上達(dá)到譜精度,并且精確保持原始能量守恒.數(shù)值結(jié)果進(jìn)一步證明了算法的有效性和高精度收斂性

Cahn-Hilliard-Hele-Shaw模型的拉格朗日乘子法研究————作者：劉將華;翟術(shù)英;李曉麗;

摘要：Cahn-Hilliard-Hele-Shaw(CHHS)模型是Darcy方程與Cahn-Hilliard方程的耦合，被廣泛應(yīng)用于模擬多孔介質(zhì)中的兩相流動(dòng)以及腫瘤生長。針對CHHS模型，本文提出了兩種基于拉格朗日乘子法的能量耗散格式。時(shí)間方向分別采用Backward-Euler和Crank-Nicolson格式，空間方向采用傅里葉譜方法。理論分析表明兩種時(shí)間離散下得到的數(shù)值格式均可保持系統(tǒng)的原始能...

向列相液晶和粘性流相場模型的數(shù)值逼近————作者：王旦霞;劉靜;

摘要：本文研究了向列相液晶和粘性流相場模型的數(shù)值逼近.首先運(yùn)用凸分裂方法去處理GinzburgLandau函數(shù),得到了一個(gè)向列相液晶和粘性流相場模型的等價(jià)模型.其次在數(shù)值格式上,使用向后歐拉方法進(jìn)行了時(shí)間離散,使用混合有限元方法進(jìn)行了空間離散,使用壓力矯正方法將壓力和速度解耦,得到了一個(gè)新的一階格式.然后通過理論分析,證明了該格式是無條件穩(wěn)定的.最后,對變量d,u,φ的時(shí)間收斂階,空間收斂階,能量演化和...

基于MATLAB的自適應(yīng)快速多極算法簡易實(shí)現(xiàn)————作者：賴俊;張金銳;

摘要：快速多極算法(FMM)是處理大規(guī)模多體系統(tǒng)的高效數(shù)值算法,在分子動(dòng)力學(xué)、天體動(dòng)力學(xué)、聲學(xué)以及電磁學(xué)等領(lǐng)域發(fā)揮著重要作用.本文首先回顧了快速多極算法的發(fā)展歷史,其次以Helmholtz和Maxwell方程為例,介紹了二維和三維情形下基于核解析展開的快速多極算法的數(shù)據(jù)結(jié)構(gòu)、數(shù)學(xué)原理、實(shí)現(xiàn)步驟和復(fù)雜度分析,并給出了相應(yīng)的自適應(yīng)FMM實(shí)現(xiàn)方法,最后基于MATLAB平臺(tái)進(jìn)行了二維和三維情形下多體模擬的數(shù)值實(shí)...

二維時(shí)滯Fisher方程的保非負(fù)性和保最大值原理的加權(quán)有限差分法————作者：胡夢婷;鄧定文;

摘要：本文主要研究了求解時(shí)滯Fisher方程的一類保非負(fù)性有限差分法和一類保最大值原理的有限差分法.首先,利用一類加權(quán)差分公式和顯式歐拉方法分別離散擴(kuò)散項(xiàng)和一階時(shí)間導(dǎo)數(shù),從而對時(shí)滯Fisher方程構(gòu)造了一類保非負(fù)性的差分格式.其次,運(yùn)用截?cái)嗉夹g(shù)校正由保非負(fù)性差分格式算得的數(shù)值解,從而得到了一類滿足最大值原理的數(shù)值方法.然后,利用數(shù)值解和精確解的非負(fù)性和有界性,得到了它們在最大范數(shù)意義下的誤差估計(jì)和穩(wěn)定性...

多維標(biāo)度中個(gè)體差異標(biāo)度模型的一類黎曼共軛梯度法————作者：周菁;陳新;周學(xué)林;李姣芬;

摘要：多維標(biāo)度分析(MDS)是在低維空間展示和分析多維數(shù)據(jù)結(jié)構(gòu)的一種數(shù)據(jù)分析技術(shù),其中的個(gè)體差異標(biāo)度模型(INDSCAL)是一類針對多個(gè)數(shù)據(jù)矩陣同時(shí)度量多維標(biāo)度的特定模型,它不僅對所要分析對象的結(jié)構(gòu)進(jìn)行分析,還能兼顧到判斷主體之間的尺度差異.本文將正交INDSCAL模型擬合問題重構(gòu)為Stiefel流形和對角矩陣線性流形約束下的矩陣優(yōu)化模型,結(jié)合乘積流形幾何性質(zhì),設(shè)計(jì)一類自適應(yīng)問題模型的強(qiáng)Wolfe型混合...

基于L_*-L_F非凸優(yōu)化的低秩張量補(bǔ)全算法————作者：王川龍;李文韋;溫瑞萍;趙佩佩;

摘要：本文針對低Tucker秩張量補(bǔ)全問題,基于L_*-L_F,提出一種新的非凸優(yōu)化.采用Lagrange乘子法,設(shè)計(jì)了三種求解新優(yōu)化的高精度低秩張量補(bǔ)全算法.在理論方面,分析了算法的全局收斂性.在數(shù)值實(shí)驗(yàn)方面,針對新的非凸優(yōu)化和傳統(tǒng)的核范數(shù)凸優(yōu)化,利用仿真數(shù)據(jù)和實(shí)際圖像修復(fù)進(jìn)行了數(shù)值實(shí)驗(yàn).實(shí)驗(yàn)結(jié)果表明,在精度基本相同的情況下,本文建議的三種算法在CPU時(shí)間上優(yōu)于...

一類含時(shí)PNP方程的有限元兩水平算法————作者：毛萬濤;沈瑞剛;陽鶯;

摘要：針對一類含時(shí)Poisson-Nernst-Planck（PNP）方程,提出了一種基于有限元離散的兩水平算法.該算法通過線性有限元近似解對PNP方程進(jìn)行解耦,然后在二次有限元空間上求解解耦后的方程.與經(jīng)典的基于有限元離散的Gummel算法相比,該算法能夠加快求解過程.基于所給出的有限元兩水平解的L²模誤差估計(jì),建立了H¹模誤差估計(jì).數(shù)值實(shí)驗(yàn)驗(yàn)證了理論結(jié)果的...

高非線性隨機(jī)微分方程的隱式半馴化Euler方法————作者：范振成;

摘要：迄今為止,高非線性隨機(jī)微分方程的馴化方法都是顯式的.針對平移系數(shù)可分為線性和高非線性兩項(xiàng)的隨機(jī)微分方程,提出隱式半馴化Euler方法.該方法的計(jì)算量和顯式方法相近.在Khasminskii-型條件和多項(xiàng)式增長條件下,證明了方法是收斂的.此外,研究了方法的穩(wěn)定性,證明了它能夠保持一個(gè)穩(wěn)定系統(tǒng)的解析解的穩(wěn)定性.最后,完成了一些數(shù)值實(shí)驗(yàn),實(shí)驗(yàn)結(jié)果驗(yàn)證了理論結(jié)論,并表明了本文方法的穩(wěn)定性明顯優(yōu)于一些顯式馴...

求解非光滑DC規(guī)劃問題的三算子分裂算法————作者：高曉楠;龍憲軍;

摘要：本文提出了一種帶慣性項(xiàng)的自適應(yīng)步長三算子分裂算法求解非光滑DC規(guī)劃問題.在適當(dāng)?shù)臈l件下,證明了由算法產(chǎn)生的迭代序列收斂到問題的穩(wěn)定點(diǎn).最后將算法應(yīng)用于稀疏恢復(fù)問題,數(shù)值實(shí)驗(yàn)表明新算法的有效性和優(yōu)越性

　　計(jì)算數(shù)學(xué)來自網(wǎng)友的投稿評論：

提交