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

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

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

二阶中立型时滞微分方程解的振动性————作者：赵玉萍;

摘要：为了进一步完善微分方程解的振动性理论，该文研究了一类具有时滞和中立项的二阶微分方程解的振动性.利用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<...

　　相关科技期刊推荐

　　核心期刊推荐

查看更多科技期刊