水工工程施工质量及进度管理策略浅谈

来源 :建筑工程技术与设计 | 被引量 : 0次 | 上传用户:edisonckw
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
其他文献
尝试利用吴方法的定理机械化证明来对逻辑推理的有效性进行自动证明。从而也得到命题逻辑推理的一个代数化证明方法。
本文研究了整数b>1的正整数次幂所构成的集合在不同进制下所对应的形式语言。通过泵引理,证明了该集合在b进制下对应的语言是正则语言。但在某些进制下对应的语言不是上下文无
提出了同构的有关定理及其证明;提出了n个顶点的无向简单图中不同构图的公式及其证明;定义了一种新的图的运算,即图的逆运算并提出了与其有关的定理和证明。
算法研究学者中最早研究蚁群基于信息素行为特征的是DENEUBOURG[1,2]。但是,1991年他却创建了无信息素的蚁群聚类算法模型[3]。通过对蚁群聚类算法无信息素模型历史发展的观察
给出了图的基本运算,包括两个图的并、交、差、对称差运算,一个图的补运算。文章定义了5个新的图的运算,即图的逆运算、图的自反闭包运算、对称闭包运算、传递闲包运算和两个图