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

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

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

基于语义赋值的有穷集合上二元关系性质的判定算法第1-8页

关键词: 语义赋值；  关系；  算法；  

描述逻辑系统εLN中的概念包含推理算法研究第9-13页

关键词: 描述逻辑；  概念描述树；  同态；  算法；  

MALC模型间互模拟的代数结构第14-16页

关键词: malc；  互模拟；  代数结构；  

贵州工程应用技术学院学报杂志毕节试验区研究

毕节地区洁净煤业发展前景初探第17-20页

关键词: 毕节；  洁净煤业；  环境保护；  

基于GM（1，1）模型的毕节地区旅客周转量预测第21-25页

关键词: 毕节地区；  旅客周转量；  

毕节试验区韭菜坪藓类植物群落类型及地理分布研究第26-31页

关键词: 韭菜坪；  藓类植物；  群落类型；  地理分布；  

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

非紧L-凸度量空间中的极大元定理及其对抽象广义矢量平衡问题的应用第32-38页

关键词: 极大元；  抽象广义矢量平衡问题；  平衡；  

G—E—preinvex函数的几个性质第39-42页

拟凹函数的判别准则第43-45页

关键词: 凸集；  拟凹函数；  判别准则；  

关于交比求解中的有关问题的研究第46-50页

关键词: 交比；  齐次坐标；  非齐次坐标；  有向线段；  矩阵；  初等变换；  分割比；  

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

物距——像距法测量透镜组的基点第51-53页

关键词: 透镜组；  基点；  

菲涅尔圆孔（屏）衍射的应用第54-57页

关键词: 表面光洁度；  球体；  衍射图样；  衍射环级；  

拉曼光谱在字画鉴定中的应用第58-60页

关键词: 拉曼光谱；  字画鉴定；  

逻辑论证对经典物理学的贡献第61-65页

关键词: 逻辑论证；  经典物理学；  贡献；  

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

脱毛蛋白酶生产菌株Bacillus cereus SZ-4的筛选及遗传稳定性检测第66-69页

关键词: 脱毛；  蛋白酶；  bacillus；  cereus；  遗传稳定性；