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

贵州工程应用技术学院学报 2009年第04期杂志 文档列表

贵州工程应用技术学院学报杂志逻辑学专栏

模态命题逻辑系统K、D、T、S4、S5、B之比较第4-9页

关键词: 模态命题逻辑；  形式系统；  归约能力；  

关于正规模态命题逻辑系统的完全性证明第10-15页

关键词: 正规模态逻辑系统；  完全性；  典范性；  完全性证明；  

LINGO在形式逻辑中的应用第16-20页

关键词: 合式公式；  可满足公式；  lingo；  

贵州工程应用技术学院学报杂志数学

亚纯函数系数的高阶线性微分方程解的不动点和超级第21-30页

关键词: 亚纯函数系数；  高阶线性微分方程；  不动点；  超级；  不动点的收敛指数；  

非紧λ-超凸空间中的一个新的GMλ-KKM定理及其对变分不等式和不动点的应用第31-38页

关键词: 非紧性测试；  变分不等式；  截口；  极大元；  不动点；  

Banach空间中几类向量最优化问题的弱有效解第39-45页

关键词: invex集合；  向量最优化；  弱有效解；  凸锥；  

有限自动机的等价性与路代数第46-49页

关键词: 有限自动机；  路代数；  等价；  

复合Poisson单的几个等价定义第50-55页

关键词: poisson单；  复合poisson单；  独立增量；  矩形增量；  

两总体方差差异的经验似然置信区间第56-61页

关键词: 缺失数据；  经验似然；  方差差异；  置信区间；  

灰色离散系统的稳定性分析第62-65页

关键词: 灰色离散系统；  渐近稳定；  lyapunov函数；  

广义Nekrasov矩阵的迭代判别法第66-69页

关键词: 广义nekrasov矩阵；  nekrasov矩阵；  迭代算法；  

层次分析法在购房决策中的应用第70-73页

关键词: 层次分析法；  判别矩阵；  购房；  

贵州工程应用技术学院学报杂志化学

以双核铜配合物为中性载体离子电极的研究第74-76页

关键词: 2；  中性载体；  水杨酸根；  离子选择性电极；  

毕节煤中几种具有环境意义的微量元素第77-79页

关键词: 微量元素；  煤；  毕节；  

贵州工程应用技术学院学报杂志生物学

作物AFLP差异片段的回收与克隆第80-82页

关键词: dna；  酶切连接；  扩增；  回收；  克隆；