毕节学院学报杂志省级期刊

毕节学院学报 2017年第03期杂志 文档列表

毕节学院学报杂志逻辑学专栏

论直觉主义谓词逻辑的矢列式自然演绎系统与公理化系统第1-8页

关键词: 直觉主义谓词逻辑；  演绎定理；  矢列式自然演绎系统；  公理化系统；  证明策略；  

基于自然推演下描述逻辑VL的形式化推理第9-17页

关键词: 描述逻辑；  自然推演系统；  形式模型；  

毕节学院学报杂志高原湿地研究专栏

贵州威宁草海湿地的研究现状第18-34页

关键词: 草海；  湿地生态系统；  环境污染；  

草海部级自然保护区湿地区域景观格局变化分析第35-39页

关键词: 草海；  湿地；  3s技术；  景观格局；  

毕节学院学报杂志数学与物理学

一类依赖正态分布的OWA算子的位置权重第40-43页

关键词: 权重；  正态分布；  owa算子；  

一类时滞BAM神经网络的全局指数稳定性的新准则第44-48页

关键词: bam神经网络；  周期解；  全局指数稳定性；  

例析化归思想在全国大学生数学竞赛中的应用第49-54页

关键词: 全国大学生数学竞赛；  化归思想；  应用；  

关于复数域内超越亚纯函数差分的值分布理论问题的研究第55-62页

关键词: 超越亚纯函数；  nevanlinna理论；  差分；  值分布；  

HBT分子核磁共振谱和热力学性质的理论计算第63-67页

关键词: 含能材料；  密度泛函理论；  hbt分子；  

毕节学院学报杂志化学与生物学

地笋多糖提取及体外抗氧化性第68-72页

关键词: 多糖提取；  地笋；  抗氧化性；  

黔西北喀斯特山区三种植物群落凋落物动态研究第73-78页

关键词: 黔西北；  喀斯特；  凋落物；  动态；  

毕节学院学报杂志计算机科学

二维合并双向可调拉普拉斯逆线性判别分析算法第79-84页

关键词: 人脸识别；  逆线性判别分析算法；  

从计算科学的历史演变揭示计算思维的形成和发展第85-90页

关键词: 计算思维；  计算科学；  计算工具；  抽象；  自动化；  

计算机网络工程全面信息化管理第91-93页

关键词: 计算机网络工程；  全面信息化；  扁平组织结构；  

毕节学院学报杂志采矿工程

复杂水文地质条件下矿井排水清淤系统优化研究第94-98页

关键词: 复杂水文地质条件；  水仓；  清淤；  过滤池；  沉淀池；  优化设计；