|
搜索
搜 索
高等教育領域數字化綜合服務平臺
華中師范大學劉雙乾教授在偏微分方程領域取得新進展
近日，數學與統計學學院劉雙乾教授與香港城市大學楊彤教授、香港中文大學段仁軍教授合作的論文The Boltzmann equation for plane Couette flow（DOI:10.48550/arXiv.2107.02458）被知名數學期刊Journal of the European Mathematical Society接受發表，劉雙乾教授為該論文的通訊作者，這也是我校首次在此期刊接受發表論文。
華中師范大學
2022-10-11
微分方程解的相似結構理論
項目簡介： 油氣田開發
西華大學
2021-04-14
中國石油大學微分方程動力系統及其數值模擬團隊在KAM理論研究領域取得新進展
在天體力學、量子力學、神經網絡、航天科技以及生物工程中很多模型都以哈密頓方程或者其攝動方程的形式出現，因此哈密頓方程一直是數學家和理論物理學家關心的熱點；KAM理論是關于可積哈密頓系統受攝動后其解的長期性態的理論，是牛頓力學在20世紀的重大進展，是哈密頓系統理論發展的里程碑，具有劃時代意義。
中國石油大學（華東）
2022-05-31
生物趨化方程組的理論研究
項目簡介： 在生物學研究中， 生物學家常常通過具有擴散的偏微分方程來描述種群遷移等現象。例如，當原始微生物與環境相互作用（如粘液霉菌形成、胚胎發育、腫瘤侵入健康組織等） 時，個體的非結構化行為在宏觀層面上將轉變為相當復雜的動力學行為，其中一個重要因素是
西華大學
2021-04-14
微分代數時序動態邏輯的CPS屬性驗證方法
可有效用于對CPS進行系統建模、屬性規約和屬性驗證。
東南大學
2021-04-10
一種基于時域脈沖整形系統的光學微分器
本發明公開了一種基于時域脈沖整形系統的可編程光學微分器， 其包括鎖模光纖激光器 MLL、第一色散器件、摻鉺光纖放大器 EDFA、 馬赫澤德調制器 MZM、偏振控制器 PC、任意波形發生器 AWG、光延 時線 ODL、第二色散器件和分頻器。本發明利用時域光脈沖整形系統 的原理，將微分器的光譜濾波特性從頻域搬移到時域中來，通過合理 設計任意波形發生器 AWG 的產生的調制型號，改變調制信號的形狀 來得到不同階數不同帶寬的微分結果，可實現階數、帶寬靈活可調的 光學微分功能。本發明使用的各種元器件屬于常用器
華中科技大學
2021-04-14
一種基于時域脈沖整形系統的光學微分器
本發明公開了一種基于時域脈沖整形系統的可編程光學微分器， 其包括鎖模光纖激光器 MLL、第一色散器件、摻鉺光纖放大器 EDFA、 馬赫澤德調制器 MZM、偏振控制器 PC、任意波形發生器 AWG、光延 時線 ODL、第二色散器件和分頻器。本發明利用時域光脈沖整形系統 的原理，將微分器的光譜濾波特性從頻域搬移到時域中來，通過合理 設計任意波形發生器 AWG 的產生的調制型號，改變調制信號的形狀 來得到不同階數不同帶寬的
華中科技大學
2021-04-14
面向生命科學的原位顯微分析與操作儀
研究團隊面向生命科學發展的迫切需求，研制出具有可視化、微創化、定點化、定量化功能的，集檢測分析與操作于一體的原位顯微分析與操作儀。
一、項目分類
關鍵核心技術突破
二、成果簡介
南開大學機器人與信息自動化研究所于1992年在國內率先開展面向生物醫學工程的微操作機器人研究，并于1996年研制成功國內第一臺面向生物醫學工程的微操作機器人系統，2002年獲得微納機器人領域第一個國家技術發明二等獎。
近些年來，研究團隊面向生命科學發展的迫切需求，研制出具有可視化、微創化、定點化、定量化功能的，集檢測分析與操作于一體的原位顯微分析與操作儀。研究團隊利用該儀器實現了機器人化的細胞核移植流程，并致力于提高克隆操作發育率。首先，通過在核移植過程中分析細胞受力，提出了基于最小力的細胞撥動方法，攻破了自動化核移植最大的技術屏障；其次，探索了面向減小細胞傷害的微操作方法，提高了胚胎發育中最關鍵的指標——囊胚率；最終，在2017年，將510枚利用該儀器完成核移植的重構胚移植到代孕豬中，并于2017年4月底分兩胎生下17頭小豬。這是世界首例由機器人完成核移植操作的克隆豬，該成果已被國家自然科學基金委及新華社、人民日報、中央人民廣播電視臺等媒體進行報道。
南開大學
2022-07-28
基于HybridUML向微分代數程序轉換的CPS建模與驗證方法
本發明提出了一種基于HybridUML向微分代數程序轉換的CPS建模與驗證方法，實現了由HybridUML模型向DAP的轉換，并依據微分代數動態邏輯(Differential-AlgebraicDynamicLogic，DAL)推理規則對CPS實例進行驗證。該方法使用HybridUML對CPS進行建模，將其轉換成DAL的操作模型DAP，并且基于DAL對CPS屬性進行驗證。
東南大學
2021-04-10
時空周期環境中反應-擴散-對流方程的自由邊界問題
反應-擴散-對流方程是生物、物理及化學等科學領域中常用的、成功的數學模型，特別是用來描述種群在對流環境中的傳播現象。除了具有深刻的應用背景之外，在反應擴散方程的數學研究中也不斷提出新的有挑戰的問題，因此關于反應擴散方程的研究一直是偏微分方程的熱點之一。
我們解決兩個方面的問題：(1)種群的傳播會受到時間周期環境(比如季節)和對流環境的影響，產生豐富的現象(比如種群的遷移)，第一個問題就是在時間周期環境中，結合種群的遷移現象設定新的合理的方程和自由邊界條件，研究反應-擴散-對流方程的自由邊界問題，揭示時間周期環境對種群傳播的影響機制。(2)種群在向新領域傳播的時候，往往受到空間位置(如有些地方的溫度、水資源分布不均勻)和對流環境的影響，產生復雜的現象, 所以第二個問題就是在空間周期環境和對流環境中，針對單穩定和雙穩定非線性項，分析空間因素對反應-擴散-對流方程解和自由邊界漸近行為的影響，當自由邊界擴張時，給出擴張前鋒的漸近形狀和漸近速度的精確估計,并給出空間周期環境中種群傳播現象的理論依據。
該研究已獲國家自然基金委立項支持。
上海電力大學
2021-04-29