招标文件的编制是清单模式下造价控制的关键——结合深圳大运中心体育场桩基工程

随着清单计价模式的推行，由于招标清单特征描述不清楚或漏项；合同中对变更价格的确定条款不明确；对实际工程量与招标清单工程量有差异时单价调整规定不规范或未约定；对因施工期间人、机、料涨跌的价款调整规定不明确等原因，而引起造价纠纷、索赔等一系列问题。如何做好清单模式下的造价控制工作，减少或避免不必要的合同纠纷，将造价控制在合理的范围内是作者提出需要探究的课题。     

硅橡胶/纳米石墨片复合薄膜的压阻特性研究

采用旋涂工艺,制备了硅橡胶-纳米石墨片复合薄膜.采用SEM,XRD手段,表征了薄膜的组织和相结构,并测量其电性能.结果显示,纳米石墨片与硅橡胶界面结合较好,且分散均匀;薄膜的渗流阈值为Φ=6.5%,电阻为106Ω量级.渗流薄膜的面内电阻呈现正线性压阻效应,由于导电网络发育完整,SR-8%GNPs体系显示了优良的循环压阻性能.     

如何提高电力工程信息管理水平

电力工程基建项目具有投资大、周期长、技术难、接口多、管理协调十分复杂等特点,应用信息技术对于改进工程项目管理、提高工效和工作质量、降低造价、积累信息财富、提高大型基建企业市场竞争能力具有十分重要的意义。本文将通过对当前电力工程项目管理信息化建设应用现状进行分析,并提出相关的措施,以提高电力工程信息管理水平。     

关键字符双重验证的Word文档脆弱水印方法

为提高文档水印方法的篡改检测性能和安全性,设 计一种关键字符双重验证的Word文档脆弱 水印方法。首先记录文档中的关键字符和非关键字符,将每个字符生成的8比特水印信息 嵌入自身字符 的特殊属性里以抵抗一般篡改;为提高检测关键字符篡改的能力,将关键字符生成的8比 特水印信息作 为第二重水印信息嵌入到非关键字符的其它特殊属性里以抵抗拼贴攻击,从而实现对关键字 符的双重验证; 通过统计实验,讨论了水印嵌入在字符特殊属性中对文档大小的影响。实验结果表明,在字 符的特殊属性 中嵌入水印能增加含水印文档的安全性,在非关键字符中嵌入双重水印能提高算法的篡改检 测性能。     

面向程序分析的插桩技术研究

为了满足测试覆盖分析和软件调试等程序分析技术对插桩技术的需求,提出了插桩模型,开发了一款实用的插桩工具。基于双缓冲技术,构建词法分析器和语法分析器。在语法分析归约时同步收集插桩信息,然后根据插桩策略执行插桩,生成目标文件。得到的程序运行时信息被应用于影响广泛的四种软件自动调试分析方法。对于这四种方法。缺陷语句均被准确识别为最可疑语句。应用结果表明,该方法能够为准确高效的程序分析提供必要的运行时信息。     

面向软件错误定位的测试用例约简技术综述

在整个软件开发周期中,软件测试占软件开发和维护成本的一半以上,而软件错误定位是一个最困难,最耗时的任务。错误定位技术以定位软件中的错误代码为目的,通过在待测程序上运行合适的测试用例的基础上,分析并定位错误语句。由于错误定位的精度高度依赖于选择的测试用例,测试用例的数量和质量是决定错误定位的成本和有效性的关键因素,因此,面向错误定位选择有效的测试用例,不仅有助于分析软件错误产生的原因,还能极大地提高软件错误定位的效率。首先对面向错误定位的测试用例约简方法进行了分类,并对各类测试用例约简方法进行了分析和总结,进而指出了其中存在的问题和未来的研究方向。     

山高自有客行路,水深自有渡船人——程序设计课程教学的思考与实践

在程序设计课程中,应该培养学生具备哪些能力以及如何培养这些能力是近年来研究和探讨的主要问题。文章首先分析程序设计课程教与学过程中存在的主要问题,然后从如何提高学生的学习兴趣和学习主动性、如何加强对学生学习过程的监督指导以及如何客观公正地评价学生的编程实践能力等几个方面,介绍笔者在程序设计课程教学中的探索与实践。     

面向程序理解的系统依赖图构建算法

为降低程序理解中的程序标准化和程序匹配等复杂度,提出了面向程序理解的系统依赖图构建算法,将其划分为3个阶段:程序信息的提取、控制依赖子图的构建和数据依赖子图的构建.采取控制依赖和数据依赖分别求解,直接基于控制依赖子图分析数据流,无需额外的控制流图表示,并且可按需计算数据流,降低了算法复杂度;将选择语句和循环语句统一表示,并将表达式表示为抽象语法树,使之便于程序转换和分析.在编程题自动评分系统和程序识别中的应用中结果表明构建的系统依赖图为程序理解和分析提供了方便,降低了复杂度.     

无机-有机综合指标在煤层顶板涌水水源判别中的应用

常规的无机水化学参数较难判别某些井田中成分相近的煤层顶板涌水水源,针对该问题,以榆横矿区某井田为研究区,在K⁺+Na⁺、Ca²⁺、Mg²⁺、Cl^-、SO₄^2-、HCO₃^-、TDS(总溶解固体)等无机指标的基础上加入TOC(总有机碳)、UV₂₅₄(紫外吸光度)、DOM(溶解性有机质)等有机指标,探究无机-有机综合指标在煤层顶板涌水水源判别中的作用;利用荧光指纹技术和PARA-FAC得到DOM主要组分及荧光强度,在对水样的无机、无机-有机数据集进行主成分分析(PCA)后,使用随机森林算法(RF)分别构建无机指标判别模型和无机-有机综合指标判别模型;并对8个待测水样的类型也进行了正确的判别。结果表明：综合判别模型的性能总是优于无机判别模型;在综合模型下,RF算法的平均精度、平均查准率、平均召回率和f1调和指数分别达到了93.14%、94.79%、95.08%、93.73%,较...     

油田天然气集气与处理加工工艺的探讨

近年来我国国民经济快速发展,科技自主创新能力水平不断提高.我国人们的日常生活方式也逐渐变得多种多样,生活品质水平逐步提高.人们对于居家生活整体上和生活品质上的要求也开渐变得越来越高,对于家用液化天然气的实际使用量和需求量也在急剧增加.我国天然气能源资源主要来源于油田,因此要想提高采取油田天然气的效率就需要深入研究油田天...