命题变元及其否定统称为文字,文字的析取称为子句,子句的合取称为合取范式(CNF公式)。如果存在一个赋值使得公式的值为1,则称该公式可满足;否则称该公式不可满足。判定一个公式是
遗传算法(Genetic Algorithm,简称GA)是一种新兴的演化算法。该算法具有设计简单、容易实现和全局优化能力较强等的优点,因而应用广泛。传统优化算法能够充分利用问题本身所
如何避免或降低初中生学习倦怠已经成为学校和家长广泛关心的问题,本文基于以往学者研究,对国内初中生学习倦怠影响因素进行了综述与总结,以期能够全面了解哪些因素对初中生的学
摘要:近年来,国家加大了对农村公路建设的力度,农村公路的建设蓬勃发展,在公路建设工程中显露出许多新的问题和要求。本文对农村公路和农村公路建设的意义做了简要概述,并分析了农村公路管理中存在的问题,针对提高农村公路的管理水平作了进一步探析。 关键词:农村公路;建设;管理;探讨 Abstract: in recent years, the increased the strength of the
摘要:随着高层建筑及高等级公路的建设,钻孔灌注桩作为一种基础形式以其适应性强、成本适中、施工简便等特点广泛地应用于公路桥梁及其它工程领域。但灌注桩属于隐蔽工程,大部分是在水下进行的,影响灌注桩施工质量的因素很多,质量检查也比较困难,稍有不慎或控制不严就会在灌注中产生质量缺陷。因此,做好桥梁钻孔桩施工控制显得尤为重要。 关键词:钻孔桩;施工控制;分析 Abstract: with the hig
请下载后查看,本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
复杂网络是由具有一定特征和功能的、相互关联及相互影响的基本单元所构成的复杂集合体。近十年来,国内外掀起了研究复杂网络的热潮。许多来自物理、生物、数学和计算机领域的
拟内射模和拟投射模是同调代数研究的两类重要的模类,而纯内射模也是近年来同调代数研究的热点,本文是在此类模的基础上进行了推广。 本文第一章把拟内射模推广到纯拟内射模
国家出口扶持政策对恩施州外贸发展具有明显的促进作用,但在实际运用过程中也还存在一些问题。文章针对存在的问题提出了四点建议。
The policy of national export support