江西师范大学学报自然科学版

所属栏目：科技期刊热度：时间：

江西师范大学学报自然科学版 关注(): 期刊周期：双月刊; 期刊级别：北大核心; 国内统一刊号：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...

　　相关科技期刊推荐

　　核心期刊推荐

查看更多科技期刊