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

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

江西师范大学学报自然科学版 关注(): 期刊周期：双月刊; 期刊级别：北大核心; 国内统一刊号：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种国外大型文献检索机构收录。本刊办刊宗旨是：海纳百川，追求卓越。

　　江西师范大学学报自然科学版最新期刊目录

基于E-CARGO模型的多装修工程协同优化调度

摘要：装修工程因工期长、工序依赖复杂，对人员调度要求较高.传统调度方法虽能进行人员安排，但关键工序人员指派不当常导致工期延长和成本增加.其核心问题在于:未能对工人完成各工序的能力进行系统评估，导致高技能工人资源浪费或关键工序人员不足，且在有限人力资源下难以合理安排多项目施工进度.为此，本文提出了一种基于评估与指派的装修工程调度方法.首先，对工人进行综合评估，量化工人的技能水平、效率差异对工期和成本的影响...

新型城镇化与生态环境发展的耦合协调关系分析—以江西省为例

摘要：该文通过借鉴专家学者对新型城镇化及生态环境发展研究的现状，以2005—2022年江西省统计数据为依据，通过熵权法测算出江西省新型城镇化与生态环境发展的综合水平，以此为基础构建耦合协调模型，分析两者协同发展的程度后发现：江西省新型城镇化与生态环境的耦合发展，先后经历了轻度失调、初级协调、良好协调到优质协调这四个阶段。新型城镇化的综合水平加速上升，但空间和人口城镇化有待加强；生态环境发展总体趋势向好，...

时空约束下共同配送分区与路径协同优化

摘要：针对城市共同配送中分区决策与路径规划割裂导致的时空不可行与协同收益受限问题，该文构建时空约束下分区与路径协同优化方案。在考虑时间窗服务约束与交通拥堵导致的时变行驶时间基础上，该文建立综合考虑运输成本、车辆启用成本、碳排放成本与时间窗服务损失成本的分区-路径协同优化模型；设计列枚举-邻域搜索协同优化算法（CGNS），通过分区扰动、受影响区域路径列重枚举与集合划分主问题选列实现分区与路径联动优化。基于...

基于机器学习的街道视觉环境对行人舒适性感知的影响

摘要：城市街道环境质量对行人舒适性感知具有重要影响，是提升城市宜居性和公共健康的关键因素。现有研究多从全局视角分析街道感知，缺乏对空间异质性的深入探讨。该文以南昌市青山湖区为例，融合街景图像语义分割与机器学习技术，构建行人舒适性感知评价体系，并运用多尺度地理加权回归(Multi-scale Geographically Weighted Regression，简称MGWR)模型，解析街道视觉要素对舒适...

替罪羊树的函数式建模与机械化验证

摘要：基于机器定理证明的形式化验证方法通过数学逻辑推理确保软件系统符合形式规约，从而有效规避潜在缺陷引发的严重后果，是确保软件正确性的重要方法.替罪羊树是一种平衡二叉搜索树，与常见的平衡二叉搜索树不同的是，它创新性地采用惰性平衡机制，仅当特定子树的不平衡度超过阈值时才触发重构操作维护平衡，避免了过大的开销，但其正确性验证是一个难题.为此，本文首次在Isabelle中给出了替罪羊树重构、插入、删除操作的函...

数据要素市场化对新质生产力发展的影响研究

摘要：作为要素市场化配置改革的关键内容，推动数据要素市场化是重塑经济发展新格局、大力培育新质生产力的重要抓手。为验证数据要素市场化与新质生产力的因果关系，该文采用2009—2022年中国地级市285个城市面板数据，以数据交易平台的设立为研究背景，运用多期DID模型、双重机器学习模型和空间杜宾模型探讨数据要素市场化能否驱动城市新质生产力增长。研究发现：数据要素市场化对新质生产力发展存在显著的促进效应，该结...

引入天气指数的农业“保险+期货”收入险优化研究

摘要：“保险+期货”收入险的推行是实现乡村振兴战略的重要途径。现有“保险+期货”收入险存在产量指标确定有缺陷和产量风险分散机制不完善两大问题。通过引入天气指数，本文对“保险+期货”收入险进行优化设计，解决现有“保险+期货”收入险在产量指标确定和产量风险分散机制两方面存在的不足。以黑龙江海伦市大豆试点项目为例进行实证模拟分析，比较优化项目与原项目的表现。模拟结果发现：新收入保险合约费率与原收入保险合约费率...

珠三角城市群产学研合作网络结构演化、异质性效应与创新产出

摘要：为揭示珠三角城市群产学研合作网络的发展规律及创新驱动机制，基于2009-2024年专利合作数据，运用社会网络分析（SNA）刻画网络演化特征，结合空间自回归模型（SAR）实证检验网络结构对创新产出的影响及主体异质性差异。结果表明：（1）网络演化呈规模扩张与结构优化并行、整体从稀疏分散演变为密集多中心结构，且存在典型核心-边缘异配性特征；（2）网络结构位置显著影响创新产出，度中心性、接近中心性与结构洞...

多元聚合风险模型的保费定价与信度估计

摘要：该文围绕多元聚合风险模型的保费定价与信度估计问题展开，构建了能够刻画多个风险源及其相依关系的多元聚合风险模型，并基于此探讨了多种保费定价原理的信度定价方法，包括期望值原理、方差原理、标准差原理、修正方差原理、指数原理和Esscher原理等.在模型定价的基础上，该文将传统Bühlmann信度理论引入多元风险框架中，推导出在6种保费原理下的统一信度估计表达式，实现了风险保费在样本线性空间内的稳定估计....

面向智慧家居的人机协作情景建模及危害检测

摘要：在智慧家居这类复杂多变的服务场景中，人类的随机行为和临时变动的空间布局危害着人机近距离交互的安全.然而，现有智慧家居研究大多聚焦于任务逻辑与执行效能的优化，却忽视了任务过程中的交互危害. 针对上述局限，该文通过形式化定义的家居服务案例，展示了一种兼顾任务功能正确性与交互安全性的建模和验证方法.该方法先将用户和机器人拆分并构建部位关联，再显式建模人机并发行为，在确保任务时序约束的基础上，从几何角度判...

日程冲突检测算法建模及自动化验证方法

摘要：日程冲突检测算法在会议管理、教学排课和医疗排班等场景中具有重要价值，其核心问题可抽象为时间区间的重叠检测.区间树作为典型的区间查询结构，能够高效支持插入、删除与查询操作，因此成为实现该类算法的理想选择.为确保算法的可靠性与可扩展性，基于区间树构建了函数式建模库，并完善了配套的验证引理库，以保证基本操作在严格形式化语义下的正确性.在此基础上，进一步完成了日程冲突检测算法的形式化建模与自动化验证实验，...

寻找一对一映射问题的Isabelle自动算法设计及验证

摘要：寻找一对一映射是通过归纳法解决问题的典型实例，在实例中涉及的映射可基于图结构进行分析，故对其进行研究有助于图结构算法的理解.该文结合Isabelle，基于Morgan求精的自动算法程序设计模型，首次通过形式化方法构造寻找一对一映射算法并进行验证.首先，利用Isabelle内置函数将寻找一对一映射问题的需求描述为规格;其次，根据Morgan求精规则对该规格进行求精，直至得到对应的IMP程序，在规则的...

数字普惠金融抑制能源生态足迹的组态路径及其边际效应研究

摘要：该文基于2011—2021年中国省级面板数据，采用动态定性比较分析(QCA)方法，系统考察了数字普惠金融各维度及其他影响因素在抑制能源生态足迹方面的多因素协同效应，并识别出多元抑制路径；同时运用多元面板回归模型对各类路径的边际效应进行定量评估.实证结果表明：单一变量均不构成抑制能源生态足迹(EEF)的必要条件，EEF的有效抑制依赖于多因素协同作用的复杂因果路径.研究发现存在3条典型抑制路径，可归纳...

一种融合统计方法与深度学习的Webshell检测模型

摘要：针对Webshell是一种基于Web服务器的后门程序、具有隐蔽性高和危害性大的特点，提出了Webshell检测模型.该模型由统计模型和深度学习模型融合构成，统计模型的特征由静态语法特征的统计值与操作码序列的词频特征组合成混合特征.深度学习模型将操作码序列进行词向量编码后，将序列中的每个元素编码成固定维度的特征向量；最后使用叠加泛化法对2种模型的分类结果进行融合.基于5 000多个样本的对比实验表明...

认知诊断在非完备Q矩阵下分类准确率评估

摘要：在认知诊断评估中，分类准确率是衡量模型分类结果质量的关键指标，它直接反映学生知识状态分类质量.当属性数量较多、Q矩阵不完备时，已有指标无法很好地评估在非完备Q矩阵下的分类质量.为解决上述问题，该文探讨了如何将基于样本的分类准确率评估方法，推广到在非完备Q矩阵条件下的知识状态等价类的分类准确率评估.重点考虑在基于MLE、MAP和EAP 3种估计方法下知识状态等价类的分类准确率评估指标.鉴于非完备Q矩...

基于多元概化理论的公文筐测验构思效度检验与测评方案优化

摘要：该文采用多元概化理论G研究检验公文筐测验构思效度，同时通过改变任务情景数目和评估者数目，运用多元概化理论D研究探讨公文筐测验测评方案的优化研究策略.研究结果发现：1)对多元概化理论G研究方差分量分析发现，公文筐测验被试、维度以及被试与维度交互作用带来的方差分量较大，而评估者、任务、评估者与任务以及维度与任务交互作用带来的方差分量较小，这说明公文筐测验具有良好的构思效度；2)多元概化理论D研究发现，...

水杨酸对干旱胁迫下狗牙根的影响

摘要：该文采用聚乙二醇（PEG-6000）模拟干旱胁迫及外源喷施水杨酸（SA）的方法，研究了在不同质量分数干旱胁迫下外源SA对3个狗牙根品种（摩纳哥、PanAM、Bahama）生理响应的调控作用.通过设置0%、10%、20%3个PEG质量分数梯度与0、0.5 mmol·L^-1 2个SA处理水平，测定了植株的生物量、相对含水量、抗氧化酶活性及渗透调节物质含量等关键生理指标.研究结果表...

基于大语言模型的自动驾驶测试场景重建方法

摘要：该文引入交通事故描述等自然语言形式的数据源，提出了一种基于大语言模型(LLM)和行为树的自动驾驶测试场景生成方法，实现了从自然语言交通事故描述中生成自动驾驶测试场景，采用美国国家公路交通安全管理局提供的CDS数据集进行实验测评.结果显示：该方法能够有效地生成与真实交通事故高度一致的测试场景，显著提高了测试效率和覆盖度，验证了基于大语言模型的场景重建在自动驾驶系统测试中的可行性和有效性

基于跨周期组合通行效能的干线信号协调优化模型

摘要：为提升基于绿波带宽的干线信号协调控制方法在不同时间跨度上的适用性，充分挖掘在多周期时段内车辆对绿波带的利用时机，该文提出考虑跨周期组合通行效能的干线信号协调优化模型.对现有最大绿波带宽模型进行改进，将模型中单周期绿波带宽的评判标准扩展为关注在重复运行多个周期时的总带宽.在经典数解法的基础上引入变邻域搜索机制，设计了模型的求解算法.对代表不同信号控制需求的场景进行方法的有效性和灵敏度算例测试，测试结...

(Ba,Sr)₂SiO₄:Eu²⁺,Er³⁺荧光材料发光性质及能量传递

摘要：该文在还原气氛下采用高温固相反应法合成了（Ba, Sr）₂SiO₄:Eu²⁺,Er³⁺荧光粉.实验结果表明：Eu²⁺、Er³⁺共激活（Ba, Sr）₂SiO₄荧光粉产生了双峰发射现象，其中一个发射峰位置随晶体场改变而移动，这...

　　相关科技期刊推荐

　　核心期刊推荐

查看更多科技期刊