江西師范大學學報自然科學版

所屬欄目：科技期刊熱度：時間：

江西師范大學學報自然科學版 關注(): 期刊周期：雙月刊; 期刊級別：北大核心; 國內統一刊號：36-1092/N; 國際標準刊號：1000-5862; 主辦單位：江西師范大學; 主管單位：江西師范大學; 查看江西師范大學學報(自然科學版)近十年數據入口>>>; 上一本期雜志：金屬材料及工藝金屬科技雜志發表; 下一本期雜志：江西科技師范大學學報江西省學報

　　《江西師范大學學報》(自然科學版)創刊于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模塊，提高模糊目標...

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

摘要：<正>~

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

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

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

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

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

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

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

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

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

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

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

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

　　相關科技期刊推薦

　　核心期刊推薦

查看更多科技期刊

色偷偷伊人-色偷偷综合-色无五月-色香蕉影院-色亚洲影院

江西師范大學學報自然科學版