基于插桩和布尔逻辑的运行时程序验证框架

针对软件测试和静态程序验证中存在的连续性程序执行验证和推理问题,提出一个基于程序插桩和布尔逻辑的运行时程序验证框架——RPA。定义一种用于描述运行时程序性质和规范的动态逻辑语言RPAL,实现自动化插桩以收集运行时程序状态信息,设计一个支持高效验证的句子调度算法。实验结果表明,结合合适的谓词扩展,RPA可以有效地验证和分析软件逻辑,发现潜在的软件错误。     

超声波测试技术在高压开关柜局部放电检测定位中的应用

从超声波检测技术在高压开关柜局部放电检测定位中的重要性入手,阐述了高压开关柜超声波检测技术的应用现状,对一起220 kV变电站35 kV开关柜局部放电的发现、诊断和处理过程进行了深入分析,并提出了详细的预防措施,对高压开关柜局部放电检测分析及处理具有一定的借鉴意义。     

基于Web的个性化产品定制系统的体系结构研究

介绍了基于Web的个性化产品定制的概念 ,在分析了现有的基于Web的个性化产品定制系统的基础上 ,结合以往网络化制造领域中所取得的成果 ,对合理的、完整的基于Web的个性化定制系统的体系结构进行了初步的探索 ,并讨论了该体系的实现特性。     

我国工程建设标准在“一带一路”沿线国家的应用

在"一带一路"沿线国家工程建设中,我国标准与发达国家标准相比在应用上仍然不占优势,中国标准应用的范围和深度广度还存在很大差距。在大量调研基础上,从项目分布区域、分布领域、工程投资性质等方面分析我国企业在"一带一路"沿线国家工程建设项目状况,然后分析我国工程建设标准在"一带一路"沿线国家的应用现状、存在问题及成因,并提出可行性建议,期望对我国标准应用提供有价值的参考。     

国际工程公司的一些管理长处和方法

随着中国加入WTO和改革开放步伐的加快，国内工程公司与国际知名工程公司之间的合作也不断增加。近年来我公司通过和一些国外工程公司共同执行项目，感到我们在技术水平、项目管理、市场化运作、企业文化等方面都和国外工程公司之间还存在着不小的差距。随着中国入关后时间的推移，对国外公司进入中国市场的诸多限制也将陆续取消，如国内公司不尽快谋求发展，在将来的市场竞争中势必处于劣势地位。因此，国内工程公司应尽快找出差距，学习国外同行长处，不断提高企业水平。通过近年来与国外公司的合作，我总结了一些他们在管理上的长处和一些先进实用的管理方式，希望能对大家有所帮助。     

碳化硅颗粒在流化床对喷式气流磨中粉碎行为的研究

采用粒数衡算模型对碳化硅颗粒在一种流化床对喷式气流磨中的粉碎过程进行了分析。使用简单的1级Kapur函数法对模型进行近似求解,并求得选择函数与破碎函数。发现在不同粉碎条件(入口压力、进料量以及喷嘴出口到气流汇聚点的距离)下,获得的选择函数与破碎函数的差异较大,并通过这两个函数探讨了碳化硅颗粒气流破碎机理。另外,还应用优化分析软件得到多项式对Kapur函数进行拟合,得到了不同粉碎条件下产品粒度分布的较好模拟结果。     

浅析国内外空气净化领域的标准制修订状况

随着国内外环保政策与可持续发展战略不断深入人心,全球对于空气净化的需求达到了前所未有的高度。基于这种现状,国内外空气净化行业的技术、标准化体系等已经进入了新的发展阶段。本文就针对如今空气净化领域中,国内外主要标准的制修订进行了分析,并对其中的修订内容进行了简单介绍。     

基于低碳节能角度思考的工业电气能损降低的分析

从第二次的世界性工业革命以来，新的世界格局逐渐形成，人们也开始发现，在现在这种能源极度缺乏的时代中，谁率先拥有具有节能特点的电气技术，那么谁就可以更好地将自己得到的资源加以利用。在工业领域，电气资源方面的使用量一直以来都居于非常高的位置，这也迫使各个国家开始对电气能损这方面的相关技术进行开发与研究。本文从低碳节能这一角度对工业领域中的电器能损问题进行了一次详细谨慎的分析，并提出了一些切实有效的措施加以应对。     

计算机技术在工程造价管理中的应用

本文分析了目前国内计算机技术运用的状况,并对计算机技术在造价管理中的应用提出了一些看法,供广大造价技术人员参考。     

复杂多筋复合材料壳体的模具设计技术研究

针对复杂多筋壳体的结构特点,以及VARTM整体成型工艺特点,提出了一种新型的易碎模成型模具。在常规模具的基础上设计与制造了该易碎模,利用真空辅助灌注工艺成功制造了壳体的样机,满足了产品设计技术要求,为内部有交错筋的壳体结构复合材料产品的模具设计技术提供了一种新的思路。