贵州工程应用技术学院学报

贵州工程应用技术学院学报杂志 省级期刊

Journal of Bijie University

杂志简介:《贵州工程应用技术学院学报》杂志经新闻出版总署批准,自1983年创刊,国内刊号为52-5036/Z,是一本综合性较强的教育期刊。该刊是一份双月刊,致力于发表教育领域的高质量原创研究成果、综述及快报。主要栏目:修辞学专栏、逻辑学专栏、彝学专栏、文学、传播学、教育心理学

主管单位:贵州工程应用技术学院
主办单位:贵州工程应用技术学院
国际刊号:2096-0239
国内刊号:52-5036/Z
全年订价:¥ 408.00
创刊时间:1983
所属类别:教育类
发行周期:双月刊
发行地区:贵州
出版语言:中文
预计审稿时间:1个月内
综合影响因子:0.19
复合影响因子:0.23
总发文量:2518
总被引量:2909
H指数:7
引用半衰期:7.9722
立即指数:0.0189
期刊他引率:0.9006
平均引文率:9.0264
  • 固定点逻辑和积封闭的关系分析

    作者:董英东 刊期:2019年第03期

    标准一阶逻辑具有封闭性。其封闭性主要表现在三个方面,其一是在关系下是封闭的,其二是在谓词置换下是封闭的,其三是在某些积构造下也是封闭的。另外,这三条性质在扩充的一阶逻辑语言中也同样成立。通过对基于知识和信息流的认知逻辑中公开宣告逻辑的扩充,刻画包括PDL和模态μ演算的模态固定点逻辑的模态语言可以定义严格的“积封闭”。均衡博弈...

  • 直觉主义谓词逻辑与经典谓词逻辑的矢列演算系统

    作者:余军成 刊期:2019年第03期

    在达米特给出的直觉主义谓词逻辑矢列演算系统的基础上,构造一个与等价的系统L^*,这有助于研究直觉主义命题逻辑的可判定性问题。与此同时,还构造经典谓词逻辑的矢列演算系统以及直觉主义谓词逻辑的矢列演算系统LK^*,这有助于探讨直觉主义逻辑与经典逻辑之间关系。

  • 基于描述树方法描述逻辑VL的包含推理

    作者:王勇红; 聂登国 刊期:2019年第03期

    描述逻辑是一族知识表示的语言,以形式化、结构化的方式表示相应的应用领域。描述逻辑VL非循环术语集的包含推理,通过将描述逻辑VL非循环术语集包含推理问题转化为描述树之间的同态问题,证明VL非循环术语集的包含推理问题是多项式时间复杂的。

  • 描述逻辑FL0循环术语集的保守扩充

    作者:聂登国; 王勇红 刊期:2019年第03期

    本体的保守扩充是本体构建、本体重构的核心理论与工具。本体把领域知识形式化,实现人机之间的知识共享及知识重用。基于描述逻辑的本体保守扩充是目前研究者们所关注的焦点。卢茨(Lutz)等提出的典范模型(CanonicalModel)方法解决了非循环描述逻辑EL的保守扩充问题。研究了描述逻辑FL0的术语集的保守扩充问题,给出描述逻辑FL0循环术语集在最大不...

  • 毕节试验区旅游产业与文化产业融合发展研究

    作者:戈冬梅; 陈群利 刊期:2019年第03期

    旅游产业和文化产业的融合发展是社会经济发展的必然趋势,分析了毕节试验区文化产业现状及当前旅游产业发展情况,构建了评价旅游产业和文化产业发展的指标,利用耦合协调度模型对融合发展情况进行实证分析,结果表明毕节试验区的旅游产业和文化产业的耦合度偏低,耦合协调度则显示两种产业由严重失调、中度失调过渡到轻度失调状态,表明毕节试验区的...

  • 六冲河流域土地利用景观生态格局演化分析

    作者:任金铜; 瞿倩; 周丽梅; 欧阳力剑; 冯图; 陈静 刊期:2019年第03期

    区域土地利用景观格局变化对其生态环境具有重要意义。利用3S技术和景观生态学分析方法,对位于贵州六冲河流域的夹岩水利枢纽区域近20a的土地利用景观格局动态变化情况进行分析,结果表明:(1)近20a间研究区土地利用景观类型面积发生了较大变化,随着经济社会发展及城镇化进程加快,建设用地面积持续增加;(2)20a间,研究区各景观类型的破碎化程度越来...

  • 纳雍骔岭片区高位崩塌(危岩)带形成机制研究

    作者:徐一帆; 何涛; 雷勇 刊期:2019年第03期

    纳雍骔岭片区高位崩塌(危岩)带形成机制主要表现为陡崖岩体受特殊的地形地貌、软硬相间的岩性组合关系以及陡倾的构造节理切割等内部因素的控制,造成岩体破碎,稳定性差,在强降雨、冻融作用、采矿工程活动等外部因素的共同影响作用下,诱发陡崖地段危岩体的变形失稳而形成崩塌地质灾害。

  • 贵州城市体系结构的分形特征

    作者:毛志; 涂敏; 杨灿 刊期:2019年第03期

    从贵州城市体系规模结构及空间结构出发,运用分形理论,建立分形模型,全面讨论贵州省城市体系结构的分形特征。首位度指数表明,贵州城市体系规模结构正在从首位型转变为位序-规模型;Zipf分形维数表明,贵州省城市规模分布较集中,接近于自然分布下的最优状态。空间关联维数表明,城市间在空间上的连接状态趋近于直线式连通,牛鸦维数比表明城市间交通...

  • 重尾相依离散风险模型的大偏差

    作者:孙歆 刊期:2019年第03期

    考虑一类保费随机的重尾相依离散风险模型。当索赔额的分布属于重尾分布时,得到了该模型的总索赔盈利过程的精确大偏差,从而推广了相关文献中的结论。

  • 非奇异H-矩阵的判定

    作者:郭爱丽 刊期:2019年第03期

    非奇异H-矩阵是具有广泛应用的重要矩阵类,通过构造特殊的正对角矩阵和细分矩阵区间的方法,给出非奇异H-矩阵的若干充分条件,改进和推广了已有结果,扩大了非奇异H-矩阵的判定范围,并用数值实例说明了所得结果的有效性。

  • 基于自主体的城市土地利用方案模拟

    作者:赖志柱; 戈冬梅; 张云艳 刊期:2019年第03期

    在城市土地利用规划中,利用自主体模型分析不同情景的影响及土地利用的备选方案具有重要的意义。考虑研究区域周围环境为确定型和随机型两种模式,提出了一种生成城市土地利用备选方案的自主体模型,该模型中的自主体代表不同的土地利用专家,每个自主体都根据自己对土地利用的期望效用来构建个人目标状态信念。开始时随机生成一种土地利用方案,所...

  • 关于电磁场和电荷的一些新探讨

    作者:江涛 刊期:2019年第03期

    提出了亚原子的一个模糊模型,提出了库仑定律的场相互作用描述;提出了电磁场转换为电子的一个假设;提出了正、负电荷形成的一个统一的观点。

  • 六层网络体系结构的分析与研究

    作者:贺道德; 余廷忠; 刘传山; 刘信良 刊期:2019年第03期

    目前流行的计算机网络体系结构主要有国际标准化组织ISO提出的七层OSI参考模型和以TCP/IP协议簇为中心的四层Internet参考模型,针对OSI参考模型上层分层过多与Internet参考模型下层分层过少而引来的不足,提出六层网络体系结构,分析了网络体系结构相比于主流体系结构的优势,讨论了媒体访问控制协议簇,从理论上分析参考模型对网络的万物互联具有一...

  • 贵州小檗属植物资源调查研究

    作者:冯图; 陈叠; 肖群英; 张怡; 胡玉梅; 柏蕊; 范刚; 何洋 刊期:2019年第03期

    通过实地调查与查阅文献、标本,对贵州小檗属植物资源进行调查研究。贵州记录分布有小檗属植物39种(含1变种)。对贵州小檗属植物水平分布、垂直分布特点进行了分析,小檗属植物在贵州分布可以分为黔中、黔北、黔东北、黔东南、黔西南及黔西北6个区域,其中黔西北是贵州小檗属植物的多样性中心。对贵州小檗属植物资源进行综合评价,并对其进一步开发...

  • 贵州黑山羊生长曲线的拟合与分析

    作者:李丽娟; 周大荣; 彭华; 郭振刚; 刘其昌; 宋德荣 刊期:2019年第03期

    以贵州黑山羊为研究对象,测定了贵州黑山羊不同性别1-48月龄共计1739只羊的体重,用Gompertz、Logistic两种生长曲线模型对其生长曲线拟合,研究不同性别生长规律的差异。结果表明:这两个模型对贵州黑山羊公羊、母羊的生长曲线均能很好地拟合(R^2>0.95),但Logistic模型的拟合效果更优。进一步分析生长曲线的参数以及对模型拟合理论值与实际测定体...