物资采购中对成本的有效管理手段分析

来源 :建筑工程技术与设计 | 被引量 : 0次 | 上传用户:lovejr622
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
其他文献
对微处理器仿真系统模型与仿真方法进行了探讨,对软件仿真进行了形式化定义,从指令仿真平均消耗时间上对不同软件仿真方法进行了比较。仿真模型和方法的分析对仿真系统软件体系
阐述了综合布线系统中星型网络拓扑结构的特点和传输介质双绞线电气性能,建立了分析双绞线电气性能参数的关系矩阵,阐述了在综合布线工程建设之初,准确预估出所设计的网络传榆介
会议
尝试利用吴方法的定理机械化证明来对逻辑推理的有效性进行自动证明。从而也得到命题逻辑推理的一个代数化证明方法。
本文研究了整数b>1的正整数次幂所构成的集合在不同进制下所对应的形式语言。通过泵引理,证明了该集合在b进制下对应的语言是正则语言。但在某些进制下对应的语言不是上下文无
提出了同构的有关定理及其证明;提出了n个顶点的无向简单图中不同构图的公式及其证明;定义了一种新的图的运算,即图的逆运算并提出了与其有关的定理和证明。
算法研究学者中最早研究蚁群基于信息素行为特征的是DENEUBOURG[1,2]。但是,1991年他却创建了无信息素的蚁群聚类算法模型[3]。通过对蚁群聚类算法无信息素模型历史发展的观察