《江西師范大學學報》(自然科學版)創刊于1957年，為綜合性自然科學學術理論雙月刊，國內外公開發行。

　　《江西師范大學學報》主要刊登數學、物理學、化學、計算機科學、地理學、生態環境科學、無線電通訊工程、傳播學及其交叉學科等基礎研究和應用研究方面的學術論文。本刊堅持貫徹“雙百”方針，以“活躍學術思想，增進學術交流，推動教學改革，促進科技進步和對外文化交流”為宗旨，廣泛吸收校內外優質稿件，2004年，2008年連續兩次被列入《中文核心期刊要目總覽》。獲獎情況：2009年中國高等學校自然科學學報研究會頒發“全國高�？萍计诳瘍炐憔庉嬞|量獎”;2009年被評為：第四屆華東地區優秀期刊獎”;2008年教育部科技司授予“第2屆中國高校優秀科技期刊獎”;2008年江西省新聞出版局授予“第3屆江西省優秀期刊獎”;2004年教育部科技司授予“全國高校優秀科技期刊二等獎”;2001年科技部、國家新聞出版署并核列入“中國期刊方陣”;2000年全國首屆《CAJ-CD規范》執行優秀獎。

　　江西師范大學學報(自然科學版)雜志欄目設置

　　基礎理論研究、專家論壇、鄱陽湖研究、教學研究

　　江西師范大學學報(自然科學版)雜志榮譽

　　CA 化學文摘(美)Pж(AJ) 文摘雜志(俄)萬方收錄(中)上海圖書館館藏劍橋科學文摘北大核心期刊(中國人文社會科學核心期刊)哥白尼索引(波蘭)國家圖書館館藏數學文摘文摘雜志知網收錄(中)統計源核心期刊(中國科技論文核心期刊)維普收錄(中)Caj-cd規范獲獎期刊中國期刊方陣期刊中科雙百期刊全國優秀科技期刊全國高校優秀科技期刊

　　閱讀推薦：四川師范大學學報

　　《四川師范大學學報》(自然科學版)旨在反映自然科學各領域中的重要研究成果和具有創新性的學術成果。本刊主要刊登數、理、化、生、地和計算機科學等，以及相關交叉學科的基礎理論、應用技術研究的學術論文和科研簡報。本刊是中國期刊方陣雙效期刊、中國中文核心期刊、中國科技核心期刊和教育部優秀科技期刊。本刊已被CNKI全文收錄，此外，還被MR、CMP、CA、Zbl MATH、РЖ或AJ和ZR等6種國外大型文獻檢索機構收錄。本刊辦刊宗旨是：海納百川，追求卓越。

　　江西師范大學學報自然科學版最新期刊目錄

互信息驅動的置信樣本選擇和判別性增強域適應————作者：黃燕璇;滕少華;李曉鋒;陳健欣;曾瑩;張巍;

摘要：現有的域適應方法忽略了目標域中高置信度樣本的作用以及在學習樣本間相似度時，忽視了樣本標簽間的關系，導致難以捕捉類別間的差異.為解決以上問題，本文提出了一種互信息驅動的置信樣本選擇和判別性增強域適應方法（MIDS-DE）.該方法首先引入互信息作為樣本選擇機制，在每輪迭代中篩選置信樣本，確保僅目標域中的高置信度樣本與源域樣本共同參與學習;其次，結合樣本鄰域的稠密性和類別概率值加權學習樣本間的相似性，從...

PF-CNN:基于概率分布表示的跨年齡人臉識別模型————作者：葉繼華;涂琦軒;郭旭;江愛文;

摘要：隨著年齡的增長，人臉紋理、形狀等特征會發生非線性變化，且不同個體之間的變化過程不盡相同，從而導致模型的識別性能有所下降.現有的主流方法是將人臉特征分解為身份特征和年齡特征，證實了身份特征和年齡特征具有非線性關系，但仍無法徹底將身份特征和年齡特征完全分解，即分解后的身份特征仍包含年齡相關信息.針對上述問題，提出一種基于高斯分布概率模型的跨年齡人臉識別模型(Probabilistic Face CNN...

具有自學習語義的判別性自適應圖嵌入聚類————作者：滕少華;張志遠;滕璐瑤;張巍;

摘要：在聚類領域，學習相似性圖已成為一個熱點問題。關于構建相似性圖的研究有很多。然而，該領域仍然存在兩個問題：1）許多方法忽略了初始相似性圖的質量，導致聚類結果較差；2）現有方法忽視了不同樣本特征在幾何重要性上的差異性；為了解決這些問題，本文提出了一種具有自學習語義的判別性自適應圖嵌入方法（DAGE-SS）。首先，在學習相似性圖時顯式地引入了語義作為自學習項。其次，提出了一種自適應權重調整方法，以探索樣...

面向相似產品的群組組合角色指派研究————作者：肖徽森;滕少華;林慶發;曾瑩;張巍;

摘要：注塑制造存在不同產品生產之間的切換代價，且產品差異越大其切換代價愈大。為此，本文提出了一種群組組合角色指派GCMRA（Group Combined Multi-Role Assignment）方法。該方法以訂單需求為角色，以注塑生產機為代理，應用E-CARGO模型對注塑排產建模。首先，計算訂單產品的相似度；其次，以角色協商對相似產品進行角色組合，通過機器學習獲取切換代價小的角色組合；最后，以CPL...

壓縮特里樹的建模與分析————作者：劉艷嬌;萬亮亮;王昌晶;

摘要：特里樹(Trie)是一種基于字典排序的高效檢索結構，廣泛應用于文本檢索、詞頻統計等領域。Trie結構的每個節點僅存儲單一字符，空間效率低下。本文實現的壓縮特里樹結構是對Trie結構優化改造，該結構允許節點存儲多個字符作為鍵值，減少了所需的節點與邊的數量，從而提升了空間效率。通過分析壓縮特里樹的工作原理，在Isabelle/HOL中對該結構的檢索、插入與刪除基本操作進行函數式建模。通過一系列的案例測...

基于FTDL的非對稱協作通用驗證方法————作者：汪宇濤;游珍;王昌晶;萬梓康;

摘要：非對稱協作通常用于分布式虛擬環境下的多實體協作任務中.目前，大多數非對稱協作實現方法缺乏形式化描述，且未得到正確性驗證.因此，本文提出了一種非對稱協作通用驗證方法.接著，以巨人、螞蟻非對稱協作場景作為實例，使用Isabelle/HOL定理證明器對其進行函數式建模.最后，將本文實現的通用規約通過區域解釋應用于巨人、螞蟻非對稱場景，通過機械驗證的方式確保了函數式建模的正確性，進而驗證了此通用規約的有效...

PC-ConvNeXt:基于ConvNeXt網絡改進的水稻病害識別模型————作者：王龍飛;李毅;曹麗萍;曹利;徐慧英;楊樂;朱信忠;謝剛;劉婷;

摘要：水稻病害的多樣性和復雜性使得其準確識別成為一項艱巨的任務，尤其是在非理想環境下，諸如背景噪聲和病害特征提取的困難等進一步加劇了這一挑戰.為了應對這些問題，本研究提出了一種基于ConvNeXt網絡的改進模型，即PC-ConvNeXt.該模型通過引入輕量級的金字塔切分注意力機制，有效地構建了一個多尺度特征融合模塊，以更好地處理復雜背景下的噪聲問題，以及整合了通道和空間注意力機制，對特征圖進行精確校準，...

多維區域匹配算法的通用驗證方法————作者：張晗慶;游珍;左正康;吳嘉偉;程著;

摘要：區域匹配算法通常用于多維數據空間中快速匹配特定區域或數據集，被廣泛應用于數據庫系統、數據分發管理系統等.目前大多數區域匹配算法的實現方法效率較低且未得到正確性驗證.因此，該文提出了一種多維區域匹配算法的通用驗證規約，以威脅輻射源匹配算法作為實例，使用Isabelle/HOL定理證明器對其進行函數式建模.將該文實現的通用驗證規約通過區域解釋應用于威脅輻射源匹配算法，通過嚴格的機械化驗證，確保了威脅輻...

Splay+樹算法的函數式建模及其自動化驗證————作者：劉增鑫;柯雨含;左正康;

摘要：Splay樹是一種自平衡的二叉搜索樹，支持高效的數據檢索操作，廣泛應用于序列訪問、內存管理和文件系統等領域.然而，當前關于Splay樹算法的驗證工作大多局限于手工推導或交互式機械化驗證，自動化程度較低，需要較多人為干預.為此，提出了Splay樹算法的自動化驗證方法.首先，使用locale刻畫了Splay樹典型算法的局部參數和邏輯規約.然后，設計了Splay+樹結構，以更高效地實現這些算法，并基于該...

基于關系閉集的模糊互模擬算法函數式建模及其機械化驗證————作者：吳嘉偉;游珍;左正康;張晗慶;程著;

摘要：該文在基于關系提升的模糊互模擬算法基礎上，設計了一種基于關系閉集的模糊互模擬函數式算法，并使用Isabelle/HOL定理證明器對算法的終止性和正確性進行了機械化證明，為模糊互模擬算法的形式化和自動化驗證提供了參考

珠三角城市群產學研合作網絡結構演化及影響因素研究————作者：左妹華;張瀚;李桂熔;吳泳淇;曾桂超;

摘要：為研究珠三角城市群產學研合作網絡結構演化趨勢及影響因素，本文利用2010-2015年珠三角城市群產學研合作的專利數據，構建城市群動態合作關系網絡，考慮網絡結構存在空間自相關問題，本文采用SAR空間自回歸模型分析合作主體所處網絡位置對合作關系演化的影響。結果顯示：度中心性、接近中心性及結構洞指標對產學研合作具有正向影響，中介中心性指標對產學研合作具有負向影響。因此，為增加珠三角城市群產學研的競爭優勢...

自動駕駛超車場景的交通規則建模與符合性驗證————作者：李奕軒;謝武平;左正康;

摘要：自動駕駛汽車在緩解交通擁堵和減少交通事故方面具有重要潛力。然而，諸如超車場景等復雜駕駛行為往往是道路安全研究中的重要挑戰。確保自動駕駛系統在這些復雜場景下嚴格遵守道路交規，是保障其安全的重要因素。當前，大多數交通規則建模方法在實際駕駛情境中難以同時實現規則的形式化建模和符合性驗證。在此背景下，本文以自動駕駛超車場景為研究對象，提出了一種基于時鐘約束規范語言的符合性驗證方法。通過將超車行為的交通規則...

基于YOLOv8n的鄱陽湖輕量級鳥類目標檢測與識別模型研究————作者：王青羽;姚國清;方朝陽;

摘要：當前鄱陽湖地區鳥類野外自動監測設備的資源有限，致使在野外場景下鳥類快速精準識別存在目標特征不明顯、輪廓模糊、尺寸較小等挑戰.為了解決這類問題，該文提出了一種基于YOLOv8n的輕量級鳥類檢測識別模型YOLOv8-Birds.首先，重新構建模型網絡結構，刪除深層下采樣模塊，增加小目標層，以減小模型體量和提升淺層特征權重；其次，融入第3代可變形卷積(DCNv3)設計了C2f＿D3模塊，提高模糊目標的識...

二階中立型時滯微分方程解的振動性————作者：趙玉萍;

摘要：為了進一步完善微分方程解的振動性理論，該文研究了一類具有時滯和中立項的二階微分方程解的振動性.利用Riccati變換、Philos型積分平均和實分析技巧建立了該類方程解振動的3個判別準則，并舉例說明了定理的應用

幾類復微分-差分方程解的增長級————作者：甘會林;

摘要：該文受已有文獻的啟發研究了4個復微分-差分方程，利用增長級小于1的超越亞純函數的差分與導數之間的一個關系，得到這些方程的超越整函數解的增長級都大于或等于1

粗糙集視角下的能力評估方法————作者：黃寶坤;李進金;李氣芳;

摘要：知識空間理論為基于能力的測試開發提供理論依據，粗糙集方法可以作為基于能力的測試開發的工具.該文首先建立能力模型與測試信息表的聯系，提出測試信息表的信息量，以刻畫測試對能力結構的分類效果，進而提出對測試進行改進的粗糙集方法.該方法可以達到以下2個目標：1)測試能夠充分地區分不同能力狀態的個體；2)試題足夠精煉，減少了測試成本.具有充分信息量的測試是能夠唯一確定在能力結構上的概率分布的必要條件，并做了...

基于馬氏距離的密度加權最小二乘孿生支持向量機————作者：呂莉;賀智鵬;張法瀅;張瑩瑩;康平;李院民;

摘要：最小二乘孿生支持向量機基于歐氏距離判斷樣本相似性并搭建模型的方法未考慮樣本不同維度的方差差異對決策超平面位置的影響，導致模型處理此類樣本精度不高且對噪聲樣本敏感.鑒于此，該文提出一種基于馬氏距離的密度加權最小二乘孿生支持向量機.該算法利用馬氏距離替換歐氏距離構造密度加權策略，充分考慮點與分布的關系，給予噪聲數據較低的權重，降低算法對噪聲的敏感性；同時結合馬氏距離核函數計算樣本內協方差矩陣，消除樣本...

一種融合BERT和注意力機制的新聞文本分類方法————作者：熊億坤;付雪峰;盛黃煜;胡昊;汪濤濤;

摘要：文本分類任務是在自然語言處理中的一項重要任務，旨在將給定的文本分配到預定義的不同類別或標簽中.針對近年來備受關注的注意力機制和一種基于Transformer結構的預訓練模型BERT,該文提出一種基于BERT-TextRCNN-Attention混合神經網絡的新聞文本分類方法.為了增強文本的特征表示和模型的分類效果，該分類方法首先使用BERT預訓練模型對文本進行預訓練，并作為TextRCNN的詞向量...

水液相下沙利度胺與羥基自由基反應的密度泛函理論研究————作者：王佐成;趙宇;楊靜;孫鳴;林哲;吳靜;姜春旭;孫冠軍;

摘要：該文使用基于密度泛函理論的M06-2X和MN15方法，結合自洽反應場理論的SMD模型方法，研究了在水液相下沙利度胺分子（Thd）與羥基自由基（OH）的反應機理.反應通道研究發現：Thd與OH的反應有抽氫、加成和單電子轉移3個通道.反應勢能面研究表明：OH抽H的自由能壘為15.0～56.6 kJ·mol^-1,且均為熱力學允許的過程；OH加成到不飽和C的自由能壘為15.4～67....

V₂O₅/SnO_2-x雜化納米帶用于高效可見光驅動光催化劑————作者：張林飛;劉稱意;何寧發;胡勇;郭長帥;王雷;陳磊;何心如;鐘聲亮;

摘要：該文報道了在溫和條件下通過Sn⁴⁺與錫粉的歸中反應，在葡萄糖的輔助下簡單合成Sn²⁺自摻雜SnO_2-x納米晶體錨定在V₂O₅納米帶上；研究了自摻雜對雜化納米帶的組分比、帶隙改性和光催化性能的影響.與化學計量的SnO₂納米晶體和V₂O_5<...

　　相關科技期刊推薦

• 北大核心《光學儀器》
• 國家級《科技與企業》
• 省級科技信息學術研究
• 省級江西電力職工大學學報
• 國家級物聯網技術
• 省級酒店精品
• 省級《汽車實用技術》
• 國家級《電力建設》
• 北大核心磁記錄材料
• 國家級《新材料新裝飾》
• 北大核心《物理》
• 省級天津城建大學學報
• 北大核心《高分子材料科學與工程》
• 省級食品與健康
• 北大核心《中國醫學裝備》
• 國家級《中國高新技術企業》科技期刊
• 南大核心中央民族大學學報(哲學社會科學版)
• 北大核心西北地震學報
• 省級重型機械科技
• 北大核心中山大學學報(自然科學版)
• 國家級水利建設與管理
• 省級《膠體與聚合物》
• 國家級航空世界雜志
• 省級《模具制造》
• 省級山東食品發酵
• 省級《解放軍理工大學學報》
• 省級紫金山天文臺臺刊
• 國家級風能
• 省級石油學報石油加工
• 省級橡膠參考資料

　　核心期刊推薦

西北農林科技大學學報(自然科學版)

科技與出版

現代食品科技

中國科技論文