《江西師范大學學報》(自然科學版)創(chuàng)刊于1957年，為綜合性自然科學學術(shù)理論雙月刊，國內(nèi)外公開發(fā)行。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

珠三角城市群產(chǎn)學研合作網(wǎng)絡結(jié)構(gòu)演化及影響因素研究————作者：左妹華;張瀚;李桂熔;吳泳淇;曾桂超;

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

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

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

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

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

《江西師范大學學報（自然科學版）》2024年總目次

摘要：<正>~

《江西師范大學學報（自然科學版）》征稿簡則

摘要：<正>1宗旨和內(nèi)容《江西師范大學學報（自然科學版）》創(chuàng)刊于1957年，是江西師范大學主辦的自然科學綜合性學術(shù)刊物（雙月刊，公開發(fā)行），以展示先進科研成果、搭建學術(shù)交流平臺、培育科技創(chuàng)新人才、服務于兩個文明建設為辦刊宗旨．本刊是全國中文核心期刊、中國科技核心期刊、中國核心學術(shù)期刊和中國學術(shù)期刊綜合評價數(shù)據(jù)庫來源期刊．《江西師范大學學報（自然科學版）》主要刊登數(shù)學、物理學、化學、心理與教育測量、生命科...

基于密度泛函理論團簇Co₄MoP的催化析氫研究————作者：吳庭慧;方志剛;

摘要：該文基于密度泛函理論，利用Gaussian16和Multiwfn軟件，系統(tǒng)分析了團簇Co₄MoP的析氫性能.研究結(jié)果表明：團簇Co₄MoP存在8種穩(wěn)定構(gòu)型，其中構(gòu)型1^（4）在熱力學上最為穩(wěn)定，顯示出最低的吉布斯自由能變化(ΔG=-13 869 067.14 kJ·mol^-1).結(jié)合能較高的構(gòu)型1^（2）...

生理環(huán)境下纈氨酸二價鈷配合物對映體異構(gòu)的密度泛函理論研究————作者：王佐成;楊應;孫冠軍;程志剛;林哲;何星煒;戴文娟;

摘要：采用密度泛函理論（DFT）的M06方法，結(jié)合處理溶劑效應的SMD模型方法（基于自洽反應場理論）,該文對在生命體內(nèi)環(huán)境（水液相、1個標準大氣壓、310.15 K）下纈氨酸二價鈷(Val→Co²⁺)的對映體異構(gòu)反應機制進行研究.研究發(fā)現(xiàn)：Val→Co²⁺的對映異構(gòu)過程可通過氨基N原子、羰基O原子或羰基O原子與氨基N原子聯(lián)合作為H質(zhì)子轉(zhuǎn)移的橋梁實現(xiàn).異構(gòu)反應相...

一種優(yōu)異循環(huán)穩(wěn)定性和倍率性能多孔Co₃O₄微米棒的制備————作者：朱國振;周川敬;張依瑤;劉曉威;周炳華;

摘要：Co₃O₄因其具有較高的理論比容量、較低的制備成本等優(yōu)點而被認為是一種理想的鋰離子電池負極材料.然而，其在循環(huán)過程中體積變化大，這限制了其實際應用.該文通過簡易的溶劑熱法制備多孔Co₃O₄微米棒，該微米棒是由大量多孔Co₃O₄納米片組裝而成，具有較好的循環(huán)穩(wěn)定性和優(yōu)異...

水淹時長對鄱陽湖碟形湖濕地植被生物量分配格局的影響————作者：趙玉梟;文藝瑤;王芳;崔鑫濤;蘭志春;蔡永久;張艷杰;魯順保;

摘要：水淹時長是影響濕地植物的主要因素之一，長期的季節(jié)性水淹對植物的分布格局和結(jié)構(gòu)功能的影響一直是濕地生態(tài)學長期關(guān)注的熱點問題.該文以在鄱陽湖中不同管理方式的碟形湖作為研究對象，研究水淹時長對碟形湖濕地土壤養(yǎng)分和植被生物量的影響及機制.研究結(jié)果表明：1)秋季植物地上生物量隨水淹時長顯著降低，其原因是植物生長期變短；2)春季地上生物量對水淹天數(shù)呈現(xiàn)先增后減的變化趨勢，并且春季地上生物量與土壤氮、磷含量呈顯...

鴨糞和廚余垃圾同步處理模式下黑水虻幼蟲的生長規(guī)律及微生物機制————作者：戎玲玲;曾建忠;鄒小明;潘宏程;

摘要：畜禽糞便和廚余垃圾同步處理是解決黑水虻轉(zhuǎn)化畜禽糞便效率低的有效路徑，然而在畜禽糞便和廚余垃圾同步處理下黑水虻幼蟲的生長規(guī)律及其成因尚不清楚.該文構(gòu)建黑水虻幼蟲同步處理鴨糞和廚余垃圾體系，從幼蟲體質(zhì)量、體長及營養(yǎng)成分等方面評價其生長規(guī)律，基于微生物群落及功能揭示其形成機制.研究結(jié)果表明：添加75%廚余垃圾組的黑水虻幼蟲體質(zhì)量、體長、粗蛋白、粗脂肪等顯著高于除單一廚余垃圾組外的其他組別的相應量(P<0...

　　相關(guān)科技期刊推薦

• 國家級《連鑄》
• 國家級智能電網(wǎng)
• 北大核心《功能材料與器件學報》
• 省級《江蘇建材》
• 國家級中國民航飛行學院學報
• 國家級《熱噴涂技術(shù)》
• 省級工程建設
• 省級上海鐵道大學學報
• 省級成都理工大學學報(社會科學版)
• 國家級《兵器知識》
• 南大核心中國科技期刊研究
• 國家級科學與信息化雜志
• 國家級《中國安全生產(chǎn)科學技術(shù)》
• 省級《精細化工中間體》
• 國家級國外機車車輛工藝
• 省級天津科技
• 省級《青海科技》
• 國家級中國制造業(yè)信息化
• 省級《廣州化學》
• 省級《華東紙業(yè)》
• 國家級《軍民兩用技術(shù)與產(chǎn)品》
• 國家級武警工程學院學報
• 省級河套學院學報
• 北大核心《應用光學》
• 省級美食
• 省級家具
• 國家級氣象軟科學
• 國家級《世界有色金屬》
• 北大核心《應用概率統(tǒng)計》
• 省級《上海有色金屬》

　　核心期刊推薦

西安建筑科技大學學報(自然科學版)

湖南科技大學學報(社會科學版)

煙草科技

地質(zhì)科技通報