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

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

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
  • 选举民主研究的新趋向——从模态逻辑的角度看

    作者:孙雯 刊期:2018年第03期

    选举民主问题的研究范围涵盖了社会选择理论、计算机科学、政治学、经济学和哲学等领域,是一个跨文化、多学科交叉的研究领域。目前,从逻辑视域研究选举民主问题是逻辑学领域的热点之一,从模态逻辑S5~m的角度,基于投票逻辑对选举民主问题进行形式化研究,研究选举民主过程中的不公正行为,以期找到切实可行的解决途径。

  • 群体理性决策的博弈与逻辑分析

    作者:蒋军利 刊期:2018年第03期

    群体理性确定是社会选择理论的一个关键问题。“阿罗不可能性定理”似乎否定了群体理性决策的可能。分析阿罗不可能定理产生的条件,然后基于对聚合规则的逻辑刻画,讨论避免不可能性的几种可能解决方案。然而,理性群体决策的生成绝不仅仅是聚合规则的选择问题,还需要考虑个体间的互动影响,既看到各成员之间基本利益的一致,又看到成员之间的利益冲...

  • 论命题演算系统〈-〉中的演绎与证明

    作者:程和祥; 贺什 刊期:2018年第03期

    在命题演算系统中 ,由于演绎定理的运用,演绎序列通常都会较为简单,而证明中只能使用公理和MP规则,因而证明的步骤较为复杂。而且,有一类定理的演蜂程序比较容易获得,而证明步骤却常常让人“意想不到”。在数理逻辑的教学过程中,如何寻找“证明的技巧”,是一个颇为实际的问题。事实上,对于有一类定理,通过对演绎程序的“仔细观察”,可以获得相应...

  • 数理逻辑教学中的数学方法

    作者:王淑庆 刊期:2018年第03期

    正如方法比知识本身更重要一样,在哲学系的数理逻辑教学中,对教学方法的理解比数理逻辑知识本身更为重要。数理逻辑与传统逻辑最大的不同就在于数学方法的使用,掌握这些数学方法,对于教好和学好数理逻辑具有积极作用。在讲解数理逻辑的两个演算中,函数方法、分析—综合法以及数学归纳法需要与具体的数理逻辑知识结合起来,作为重点讲解。对数学方...

  • 六冲河夹岩水利枢纽区生态补偿主体与生态补偿标准

    作者:莫世江; 丁卫红; 任金铜; 李仰征 刊期:2018年第03期

    夹岩水库是十二五期间贵州省最大的水利枢纽工程,对解决毕节市开发扶贫、生态建设实践中工程性缺水问题具有突出的战略地位。为此,探讨六冲河流域夹岩水利枢纽区生态补偿主体,辨识流域受偿主体和补偿主体,以实调数据为基础,采用条件价值法评估确定生态补偿标准,对六冲河流域生态良性循环、经济持续发展具有建设性的实践价值。

  • 毕节市七星关区城郊四种林地苔藓植物区系研究

    作者:蒋洁云 刊期:2018年第03期

    通过实地调查和样方统计,研究毕节市七星关城郊蕨灌木林地、响叶杨灌木林地、马尾松林灌木林地、马尾松林地四种林地苔藓植物区系,结果显示:响叶杨灌木林地苔藓植物物种最丰富,蕨灌木林地苔藓植物物种丰富性最低;马尾松灌木林地与响叶杨灌木林地苔藓植物物种相似性最大,马尾松林地与响叶杨灌木林地苔藓植物物种相似性最小;苔藓植物区系以北温带...

  • 毕节市林业产业链培育实践与探析

    作者:廖冬云; 糜小林; 郭轶伦; 陈红燕; 周芳 刊期:2018年第03期

    当前,毕节市林业呈现第一产业资源总量逐年增加、第二产业发展规模不断壮大、第三产业发展方兴未艾等优势,产业链呈现注重林木良种繁育、示范园区建设、发展林下经济、产品精深加工、产品营销服务等特点,但在森林资源、经果林产业、经营机制、林业技术力量、服务体系等方面存在一系列问题。因此,毕节林业产业的发展,需要在供给质量、龙头带动、...

  • 毕节地震活动及地质构造分析

    作者:吕昆鹏; 宋瑞承; 涂晓晨; 杨艾切 刊期:2018年第03期

    地质构造是研究地震的基础,岩层断裂又是构造运动导致的结果,地下断裂对地震的发生起着控制作用。通过研究分析毕节地区地震构造环境和历史地震数据,运用基于GIS的地震分析预报系统软件,从时间和空间两方面对毕节地震数据进行了再次有针对性的定位分析,得到毕节地区地震和地震活动强度与地质构造有着极其密切的关系:地震主要集中发生在毕节西部...

  • GFC-度量空间中的相交定理及其对一般拟平衡问题系统的应用

    作者:文开庭 刊期:2018年第03期

    建立了GFC-度量空间中相交定理.作为应用,获得了GFC-度量空间中的Browder不动点定理,建立了GFC-度量空间中的一般拟平衡问题系统和拟平衡问题系统的新的平衡存在定理。我们的结果统一改进和推广了一些近期文献的已知结果。

  • 数值计算中的误差估计与分析

    作者:赖志柱; 张云艳 刊期:2018年第03期

    科学与工程计算中总是需要考虑计算过程中的误差传播问题,详细讨论和证明了四则运算、一元函数和多元函数的误差传播公式。

  • 广义Nekrasov矩阵的判别法

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

    对任意给定的矩阵,通过划分矩阵指标集,利用定义和不等式的放缩,给出广义Nekrasov矩阵一类新的判别法,改进和推广了已有相关结果,并用数值实例说明了所得结果的优越性。

  • 微分中值定理在介值存在性问题中的应用

    作者:张云艳; 赖志柱 刊期:2018年第03期

    微分中值定理是微分学中的一个很重要的定理。通过对部分数学考研试题与全国大学生数学竞赛赛题的剖析,归纳、总结了微分中值定理在证明介值存在性问题中的应用。

  • Matlab软件在积分变换中的应用

    作者:孙文兵 刊期:2018年第03期

    结合Matlab强大的计算、绘图功能,介绍了MATLAB在拉普拉斯变换(Laplace变换)、傅里叶变换(Fourier变换)等积分变换中的应用。Matlab软件与数学的有机结合有利于提高学生的学习数学的兴趣,提高教师教学的效率。

  • 基于灰色系统理论的铜仁市碧江区干旱预测研究

    作者:毛志; 冉红林 刊期:2018年第03期

    对GM(1,1)模型在铜仁市碧江区干旱预测中的应用进行了研究。首先给出了GM(1,1)模型及其建模原理,然后从铜仁市碧江区气象局收集了1985年至2015年各月份的降水资料并进行处理,之后结合铜仁实际情况设定各季度的阈值,并利用模型进行求解,得出了未来第一、二、三、四季度发生干旱的年份。

  • 基于极限平衡理论的红粘土边坡稳定性分析

    作者:罗爱忠 刊期:2018年第03期

    边坡工程问题是岩溶地区重要的工程灾害问题,为了判定不同红粘土边坡的工程稳定性,基于极限平衡理论,分析三种不同地质条件下的边坡稳定性及破坏模式,并提出了相应边坡坡面的生态防护、截排水沟的施工方法、削坡减重的措施及支护结构等稳定处理措施,期望能对岩溶地区红粘土边坡灾变问题提供处理的参考。