搜索筛选:
搜索耗时1.3138秒,为你在为你在102,285,761篇论文里面共找到 21 篇相符的论文内容
类      型:
[期刊论文] 作者:陈庆燕, 来源:滨州学院学报 年份:2011
改名规则在创建有效的满足性算法和简化某些消解难例的证明中起到了重要作用,对于一些具有对称结构的难例公式,可以通过改名来降低其证明的复杂性.研究了一个极小不可满足公式子......
[期刊论文] 作者:陈庆燕, 来源:中国教育技术装备 年份:2020
针对学生在学习C语言程序设计之初通常不清楚该课程在整个课程体系中的作用,进而不重视该课程,以及不同的非计算机工科专业与C语言结合的紧密程度不同的现状,探索教师对于不...
[期刊论文] 作者:陈庆燕, 来源:电力机车与城轨车辆 年份:1993
在运用和检修我段的电力机车中,发现SS3型电力机车十三号车钩(下作用式)易产生防跳失效的弊病,经认真检查和分析,我们找到了防跳失效的原因并总结出了处理方法,本文就此进行...
[期刊论文] 作者:陈庆燕, 来源:计算机工程与应用 年份:2010
作为一种重要的概念格构造算法,Bordat算法简洁、直观且易于并行化,但该算法本身的效率并不高。在深入研究格结构特性的基础上,给出了它的改进算法。首先对形式背景的属性集...
[期刊论文] 作者:陈庆燕, 来源:电力机车技术 年份:1994
福州铁路分局漳平机务段于1994年元月12日发生了一起乘务员触电烧伤的事故。本文对此进行分析,认为电力机车保护问的控制电路不尽完善,并提出了改进措施。...
[期刊论文] 作者:陈庆燕,, 来源:电力机车技术 年份:1993
在运用和检修我段的电力机车中,发现SS3型电力机车十三号车钩(下作用式)易产生防跳失效的弊病,经认真检查和分析,我们找到了防跳失效的原因并总结出了处理方法,本文就此进行...
[学位论文] 作者:陈庆燕, 来源:贵州大学 年份:2006
对于极小不可满足公式和它的子类的研究是近年来兴起的一个热门方向。我们对极小不可满足公式集感兴趣主要基于两方面的原因:一是大多数的消解难例公式都是极小不可满足的;二是......
[期刊论文] 作者:陈庆燕, 来源:高考 年份:2023
随着新高考改革的推进,走班制教学逐渐成为高中教育的重要组成部分。高中化学作为一门综合性科学课程,也应该积极适应新变化,探索走班制教学路径,以提高学生的学习效果和素质。文章将从走班制教学的概念和优势入手,探讨高中化学实施走班制的可行性和必要性。同时,探讨......
[期刊论文] 作者:陈庆燕,崔娟, 来源:福建电脑 年份:2010
形式概念分析是一种有效的数据分析工具,已经得到了广泛的应用。概念格作为其核心数据结构目前已有各种构造算法。本文重点研究了Ganter和Nourine两种概念格构造算法,并通过...
[期刊论文] 作者:陈庆燕,崔娟, 来源:科技资讯 年份:2010
概念格作为形式概念分析理论中的核心数据结构,已经在很多领域得到了广泛的应用,国内外的研究人员已经提出一系列的构造概念格的算法。本文给出了三种算法的构造思想及理论上...
[期刊论文] 作者:陈庆燕,姚雷博, 来源:洛阳理工学院学报:自然科学版 年份:2011
对于极小不可满足公式和它的子类的研究是近年来兴起的一个热门方向。极小不可满足公式通过分裂得到的公式保持了极小不可满足性,它的子类的某些性质对于建立在分裂上的归纳...
[期刊论文] 作者:陈庆燕,黄观寅, 来源:机车电传动 年份:2001
根据SS3B型电力机车电子控制电路原理,针对在Ⅰ端进行电阻制动工况操作给不上励磁电流的故障进行分析,并对机车出厂试运方式提出改进建议....
[期刊论文] 作者:黄观寅,陈庆燕, 来源:机车电传动 年份:1997
分析了SS3型电力机车TJJ2-18/21继电器误动作及动作后不显示的原因,并提出了改进措施,效果比较好。...
[期刊论文] 作者:黄钡铭,陈庆燕, 来源:机车电传动 年份:2002
针对SS3B型电力机车硅整流装置烧损问题进行了分析,指出Ⅱ段桥整流臂电流负荷较大、元件特性发生变化、电腐蚀等最终导致均流系数降低是重要原因,据此提出了防止和改进措施....
[期刊论文] 作者:陈庆燕,许道云, 来源:贵州大学学报:自然科学版 年份:2005
MAX+(k) 是极小不可满足公式的一个子类.作者引入了 MAX+(k)中公式的一种递归构造方法, 基于分裂技术并通过证明MAX(1)中公式改名问题在多项式时间内可以判定.证明了 MAX+(k)...
[期刊论文] 作者:王春梅,陈庆燕, 来源:福建电脑 年份:2008
《操作系统》是计算机类专业的重要专业基础课和主干课程之一。在操作系统实验教学中运用研究性学习方法,学生通过“提出课题-〉素材准备-〉设计实验-〉点评设计-〉实施实验-...
[期刊论文] 作者:陈庆燕,黄观寅, 来源:电力机车技术 年份:2002
SS3B型电力机车接口插件电路是机车控制电路与电子电路的交接逻辑环节,它的功能是将110V控制电路的机车状态信号转换为低电平的逻辑信号,并输入到电子系统,但当控制电路提供错误......
[期刊论文] 作者:许志宏,黄观寅,陈庆燕, 来源:机车电传动 年份:2004
分析电力机车主断路器无名跳闸的原因,提出应急处理的方法.采用该方法可以在短时期内处理主断路器跳闸故障,大大减少了机破事故....
[期刊论文] 作者:黄钡铭,吴成祖,陈庆燕, 来源:机车电传动 年份:1996
防止SS3型电力机车轮箍弛缓的改进措施福州铁路分局(福州350013)黄钡铭永安机务段(永安366000)吴成祖,陈庆燕1概况SS3型电力机车在我分局运用中,由于乘务人员未按标准化作业,已发生8起补机和附挂机车长时......
[期刊论文] 作者:马跃,郭春蕾,孙继飞,罗屹,高山山,陈庆燕,刁娟娟,方继良, 来源:精神医学杂志 年份:2022
目的 基于“肠脑轴”理论,运用基因芯片的数据挖掘及生物信息学分析初步挖掘孤独症伴胃肠道症状(ASD-GI)相关差异基因(DEGs),探讨其发病机制。方法 从基因表达数据库下载芯片数据,筛选差异表达基因进行基因本体论(GO)及京都基因与基因组百科全书数据库(KEGG)分析,构建蛋白......
相关搜索: