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

毕节学院学报 2013年第04期杂志 文档列表

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

基于互模拟和有界互模拟的模态逻辑模型之间的关系第1-7页

关键词: 互模拟；  有界互模拟；  kripke模型；  非良基集合；  知识结构；  

集合与图第8-12页

关键词: 集合；  良基集；  非良基集；  可达点图；  图；  

从乔姆斯基语言层级看一阶语言第13-20页

关键词: 一阶语言；  乔姆斯基层级；  生成文法；  形式文法；  正则语言；  

毕节学院学报杂志数学

一类差分亚纯函数的不动点估计第21-25页

关键词: 差分；  差商；  不动点；  

CFC-空间的Browder不动点定理及其对重合问题的应用第26-32页

关键词: 不动点；  极大元；  相交；  重合；  

FC-空间中的匹配定理及其对相交问题的应用第33-37页

关键词: 匹配；  重合；  不动点；  相交；  

基于距离度量的差分进化算法第38-42页

关键词: 差分进化算法；  距离度量；  柯西变异；  

平方根的几种近似计算方法第43-50页

关键词: 平方根；  插值；  牛顿迭代法；  遗传算法；  

高阶线性微分方程解的超级与超级零点收敛指数第51-54页

关键词: 亚纯函数；  线性微分方程；  超级；  超级零点收敛指数；  

关于一类复微分差分方程解的性质第55-59页

关键词: 微分差分多项式；  差分方程；  超越亚纯解；  

一类分数阶Fokker—Planck方程的导出第60-64页

关键词: 反常扩散；  主方程；  次扩散；  

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

INTEL8279接口芯片应用中的几个问题研究第65-69页

关键词: intel；  8279芯片；  显示和键盘接口；  键盘扫描；  编程；  

基于无线传感网的温度采集系统设计第70-74页

关键词: 无线传感器网络；  温度采集系统；  dsdv路由协议；  

LINGO软件在人力资源规划模型计算中的应用第75-79页

关键词: 人力资源；  lingo；  编程；  

软件调试重要性探析——兼论高校计算机专业应该开设调试课程第80-84页

关键词: 软件缺陷；  软件调试；  软件测试；  软件调试复杂性；  软件调试基本过程；  软件调试分类软件调试的学科配置；