首页期刊导航|郑州大学学报（理学版）
期刊信息/Journal information
郑州大学学报（理学版）
郑州大学
郑州大学学报（理学版）

郑州大学

辛世俊

季刊

1671-6841

lixueban@zzu.edu.cn

0371-67781272

450001

郑州市高新技术开发区科学大道100号

郑州大学学报（理学版）/Journal Journal of Zhengzhou University(Natural Science Edition)北大核心CSTPCD
查看更多>>《郑州大学学报（理学版）》创刊于1962年，季刊，是郑州大学主办的自然科学综合性学术刊物。2008年入编中国《中文核心期刊要目总览》，主要刊登理工科基础理论和应用研究方面的学术论文，具体刊登内容包括数学、物理学、化学、信息科学、生物工程科学、计算机科学、环境科学、材料科学、建筑工程、土木工程等相关学科和专业研究领域的最新研究成果。
正式出版
收录年代

    多值交互时序逻辑的模型检验研究

    凌灿红常亮周洁潘海玉...
    78-84页
    查看更多>>摘要：为了对包含多值信息的开放系统进行形式化验证,在多值逻辑的基础上提出了多值交互时序逻辑并研究了该逻辑的模型检验问题.首先,引入多值并发博弈结构作为此类开放系统的模型,该模型的最大特点是可以建模带有多值信息的开放系统.其次,给出基于此模型的多值交互时序逻辑的语法和语义,该逻辑可以描述带有多值信息的待验证属性.最后,基于不动点理论给出多值交互时序逻辑的模型检验算法,并对算法的时间复杂度进行了分析,结果表明,可以在多项式时间内完成对多值交互时序逻辑的模型检验.

    模型检验多值逻辑交互时序逻辑并发博弈结构

      原文链接:
    • 万方数据
    • 维普

    求解高光谱解混的三算子分裂方法

    董云达张园园李一怡
    85-88页
    查看更多>>摘要：对于高光谱解混问题,提出了一个相应的三算子单调包含和求解该问题的一个分裂方法,其中邻近因子可以自适应选取.该方法还可用于求解更一般的带有线性复合的三算子单调包含问题.数值实验表明,该算法的性能远远超过最近提出的邻近内点方法,并且与其变尺度版本相当.

    邻近内点法单调包含分裂方法高光谱解混自适应

      原文链接:
    • 万方数据
    • 维普

    硫-铁自养反硝化人工湿地强化农村黑臭水体深度脱氮

    高镜清李煜翾张政王世龙...
    89-94页
    查看更多>>摘要：现阶段研究分析发现,N、S元素是导致水体黑臭的关键所在,由此构建硫-铁自养反硝化人工湿地系统治理农村黑臭水体.该自养反硝化系统以硫铁矿为电子供体、以青石为酸碱平衡调节材料,按照3∶2、1∶1的比例混合,通过分析不同水力停留时间(HRT)下湿地系统的脱氮效果、沿程脱氮变化及微生物群落情况,验证该人工湿地系统的脱氮治理效果.结果表明,在HRT为24 h条件下系统的脱氮效果最好,TN、NO-3-N分别从(12.88±0.4)、(7.73±0.76)mg/L降至(1.46±0.34)、(0.83±0.14)mg/L,最高去除率分别为91.3％、91.8％;但随着HRT的下降,脱氮效果也随之降低.随取样口1～4相对高度的增加,系统脱氮效率明显上升,其中,由硫铁矿、火山岩、青石按照3∶5∶2的体积比复配而成的人工湿地系统在取样口4的TN及NO-3-N去除率分别为87.07％、85.88％,取样口1的TN及NO-3-N去除率仅为15.91％、16.88％.此外,Proteobacteria(变形门菌)、Bacteroidetes(拟杆菌门)等为该系统中的优势菌门.

    农村黑臭水体自养反硝化人工湿地脱氮效果沿程变化

      原文链接:
    • 万方数据
    • 维普

    《郑州大学学报(理学版)》征稿简则

    封3页
      原文链接:
    • 万方数据
    • 维普