首页期刊导航|辽宁师范大学学报(自然科学版)
期刊信息/Journal information
辽宁师范大学学报(自然科学版)
辽宁师范大学学报(自然科学版)

李雪铭

季刊

1000-1735

lsxblk@lnnu.edu.cn

0411-82158277,82159277

116029

大连市黄河路850号

辽宁师范大学学报(自然科学版)/Journal Journal of Liaoning Normal University(Natural Science Edition)北大核心CSTPCD
查看更多>>本刊注重基础理论和应用理论的研究,主要刊载自然科学以及有关边缘、交叉学科优秀科研成果,适合于科研人员、高校师生等科研人员阅读。
正式出版
收录年代

    经典逻辑中的模糊命题(Ⅰ)

    袁学海
    145-150页
    查看更多>>摘要:经典逻辑对命题变元的真值指派为二值的,即为0或1.如果将命题公式中的命题变元的真值指派为[0,1]中的值,则形成了模糊命题,从而形成了模糊逻辑理论.在现有的模糊逻辑中,模糊命题在形式上并不"模糊",只不过对命题变元做了"模糊"的指派.因此,这种模糊逻辑实际上是"经典命题公式+模糊真值指派"的模糊逻辑.首先在经典命题逻辑中引入了模糊命题的概念,这种模糊命题在形式上就是模糊的,而经典命题是模糊命题的特例.其次,通过对命题变元的二值指派,得到了模糊命题的真值.最后,研究了模糊命题的真值运算性质.研究发现:在经典逻辑系统中引入新的模糊命题的概念后,公式增加了,真值指派没有变,重言式没有减少.本研究可以看作是"模糊命题十二值真值指派"的模糊逻辑.

    命题模糊命题真值指派重言式模糊逻辑

    一种求解混合变分不等式的带有扰动项的神经网络方法

    沈洁陆艳玲黎祺
    151-155页
    查看更多>>摘要:通过构建带有干扰项的新型神经网络求解混合变分不等式问题.主要将已有的固定时间收敛的前向-后向-前向神经动力学网络进行推广,构建出带有扰动项的神经网络模型.证明了所构建的神经网络的平衡点是固定时间稳定的,并给出了稳定时间的上界.最后通过数值实验证明了该方法的有效性.

    混合变分不等式神经网络Lyapunov函数平衡点固定时间稳定

    Fock正交补空间上亚正规对偶Toeplitz算子

    崔璞玉邓开予王晓琳
    156-161页
    查看更多>>摘要:Fock空间是由整函数构成的一类重要解析函数空间.由于与量子力学中的海森堡群表示理论相关,所以不仅在函数空间算子理论有着重要研究意义,还与量子力学的研究紧密相关.对偶Toeplitz算子也是算子理论研究内容之一,且与Toeplitz算子相互影响.算子的亚正规性,起源于Halmos的Hilbert空间问题集中的第5个问题,一直都是算子理论的重点研究内容之一.主要利用函数空间的结构和对偶Toeplitz算子的性质,刻画Fock空间的正交补空间上以(z-a)(z-b)为符号的对偶Toeplitz算子亚正规性,并得出其亚正规性等价于正规性,同时也探究了以调和多项式为符号的对偶Toeplitz算子是亚正规的一些必要条件.

    Fock空间对偶Toeplitz算子亚正规

    基于CRITIC-VIKOR方法的创新创业教育评价研究

    王静殷明娥
    162-167页
    查看更多>>摘要:高校创新创业教育是我国创新人才培养的战略要求,相应的教育评价体系是衡量高校创新创业教育发展水平的重要工具.构建科学的质量评价体系不仅是监督反馈机制,对提升创新创业教育实效性也具有重要意义.由于评价指标的权重主要通过专家直接根据主观意识赋值,缺乏客观性.组合赋权法在一定程度上可以弥补这个缺陷.CRIT-IC-VIKOR 法将CRITIC权重法和VIKOR方法相结合,实现优势互补,在很多领域的评价问题中得到应用.使用CRITIC-VIKOR法对辽宁省5所地方院校的创新创业教育质量进行评价和排序,为高校创新创业教育的合理科学评价提供参考.

    CRITIC-VIKOR法熵权TOPSIS法创新创业教育

    Belle和BaBar实验γγ→D(D)和γγ→ωJ/ψ数据的联合分析

    周兴玉咸秀梅温亚冉岳崇兴...
    168-173页
    查看更多>>摘要:B介子工厂实验Belle和BaBar通过研究双光子过程γγ→D(D)和γγ→ωJ/ψ,在D(D)不变质量谱上观测到了粲偶素xc2(2P),在ωJ/ψ不变质量谱上观测到了类粲偶素X(3915),有力地促进了粲偶素和类粲偶素的研究进展.限于统计量,这些分析工作均使用一个信号函数拟合实验数据.在使用单信号函数对这些实验数据进行联合拟合的基础上,尝试使用了双信号函数对这些实验数据进行联合拟合,所得结果为实验数据的诠释提供了一个新的视角,有助于进一步理解xc2(2P)和X(3915)的性质.

    粲偶素类粲偶素xc2(2P)X(3915)

    基于ResNet和双注意力机制的赤足图像年龄预测

    张涛韩晓雪成文超王慧...
    174-183页
    查看更多>>摘要:足迹是人在行走时足部与地面等客体接触时所留下的痕迹,也是犯罪现场嫌疑人最容易遗留的生物特征之一,它隐含着人体的身高、体重、性别和年龄等身份属性信息,利用足迹信息进行人的年龄预测,对指明侦察方向和缩小侦察范围有着极其重要的意义.传统侦查工作中,刑侦专家会依据积累的案件经验,依据现场遗留的足迹进行嫌疑人身份和属性的预测,但这个过程需要大量的领域知识,据此,提出了基于赤足图像的年龄自动预测方法,其由伪彩色变换模块、在线随机几何变换模块、特征提取模块、空间注意力模块和年龄预测模块组成.算法在由1818幅赤足灰度图像组成的数据集上进行了测试,预测准确率指标Acc_5和Acc_10分别达到了 55.5%和83.4%,优于现有的年龄预测方法.

    年龄预测赤足图像ResNet18网络瓶颈注意力机制空间注意力机制

    瓦伦西亚喷注算法的模拟研究

    杨硕张姝丽张佳宁杜丽媛...
    184-189页
    查看更多>>摘要:喷注是粒子物理对撞机实验中常见的观测对象.很多物理过程中含有喷注末态,喷注重建对于对撞机信号分析具有重要意义.运用事例产生器产生紧致型直线对撞机上的e+e-→ jj模拟事例,对适用于未来高能轻子对撞机上喷注重建的新型序贯重组算法——瓦伦西亚算法(VLC)进行研究.从末态运动学分布、微扰能量修正、非微扰能量修正、质量修正4方面对瓦伦西亚算法、广义e+e-kt算法与kt算法进行对比分析.可以为喷注算法研究和对撞机上多喷注信号寻找提供有益借鉴.

    粒子物理喷注重建算法VLC算法

    高校毕业生就业大数据智慧决策平台建设研究

    杨彬彬张丽萍孙芳
    190-196页
    查看更多>>摘要:为推动大学生就业工作数字化升级,进一步完善高校毕业生就业工作体系,实现毕业生就业服务的个性化、精准化,调研当前就业信息化平台建设现状,从政府、高校、企业、教师、学生等5个维度揭示平台存在的问题.提出利用互联网、大数据、云计算等数字技术构建就业大数据智慧决策支持体系模型,并阐述其工作机制、技术架构和应用价值.旨在满足大学生对高校就业服务的需求,促进其高质量充分就业,并为高校提供科学化、智能化决策支持.

    就业大数据教育数字化智慧决策

    基于C++的金属丝线屈服曲线的设计与实现

    张晓辉
    197-202页
    查看更多>>摘要:在工业生产实践中,金属丝线折弯成型是常见的加工工艺过程.例如:弹簧机将钢丝压出弹簧,眼镜绕框机将框丝绕出眼镜框型等.该类设备都有一个送丝机构,将直的金属丝推入由动、静轮为主要部件构成的成型机构中挤压变形,从而加工出不同形状、不同大小的框型产品.以自动眼镜绕框机系统为例,说明金属框丝形变与动轮压力角度之间函数关系的建立及使用C++语言实现过程.

    折弯原理屈服曲线幂函数C++程序设计

    不同水力停留时间对新疆油田压裂返排液COD去除及微生物菌群特征研究

    谢鲲鹏于思慧罗红静张永胜...
    203-212页
    查看更多>>摘要:针对新疆油田压裂返排液较难处理的现状,采用生物膜法作为处理工艺的主要单元,探究不同水力停留时间(HRT)对化学需氧量(COD)去除的影响,通过高通量测序和功能预测确定不同水力停留时间下的微生物群落特征.结果表明:水力停留时间48 h是生物膜法处理新疆油田压裂返排液的适宜水力停留时间,COD去除效率最高,进水COD平均去除率46.77%,平均去除速率83.33 mg·(L·d)-1.相对于水力停留时间36、72 h,水力停留时间48 h的微生物多样性更高,群落组成更丰富,且形成以Pro-teobacteria(变形菌门)、Firmicutes(厚壁菌门)、Campylobacterota(弯曲菌门)、Bacteroi-dota(拟杆菌门)和Desulfobacterota(脱硫菌门)为主要优势菌的微生物群落.微生物菌群具有难降解物质代谢的功能基因,可促进新疆油田压裂返排液的生物降解.

    水力停留时间压裂返排液COD去除微生物群落