【摘 要】
：
有研究表明软件配置故障已成为导致计算机系统异常和崩溃的一个重要因素。配置故障是由于用户无法充分地获取配置约束的信息进行误配置造成的,由于用户缺乏软件领域知识,配置
【基金项目】
：
国家自然科学基金(61402496)
论文部分内容阅读
有研究表明软件配置故障已成为导致计算机系统异常和崩溃的一个重要因素。配置故障是由于用户无法充分地获取配置约束的信息进行误配置造成的,由于用户缺乏软件领域知识,配置故障难以避免。因此,如何对软件配置项的约束条件进行精确的分析和提取,从而为软件配置的故障诊断与修复提供依据,具有重要的研究意义。具体而言,枚举类型作为软件系统的常用类型,其取值空间的限制经常导致系统软件配置故障。基于此系统调研了6款常用的C/C++开源软件,包括Apache Httpd、Nginx、Postfix、MySQL、Redis和Post
其他文献
3D打印技术的出现,给复杂的模具制造注入了新的思路。文章综述了在模具制造中3D打印技术的发展现状,着重介绍了3D打印技术在模具制造中的优缺点,最后展望了3D打印技术在模具制造领域的发展前景。
目的探究老年人群体质指数（BMI）与心血管疾病危险因素发病风险之间的关系,为老年人体重管理和肥胖干预提供参考依据。方法选取2015年1-7月在温州医科大学附属第一医院进行体检
本文通过对沙发产品的结构和组成的介绍,剖析了劣质沙发对消费者潜在的三种风险中的有害物质的产生源和危害机理,总结了相应的检测控制方法,旨在为企业和相关检测人员提供技
在新课程改革中,教育界普遍认知到传统教育过于重视知识传授的倾向,并因此提出了教学的三维目标,其中的"过程和方法"实际上明示了学生在知识学习之外还必须"学会学习"的立场
在城市化进程快速发展的今天,人们在满足物质需求的同时开始更多地追求精神层面的享受,对于生态性景观的渴望程度越来越强烈。线性景观提供了保护自然、改善环境和加强联系的
目的:分析冠状动脉支架植入术患者应用尼可地尔对术后患者炎性因子水平的影响及安全性。方法:收集冠状动脉支架植入术患者,按照随机数字表法分为治疗组(42例)和对照组(37例)
近年来,出于能源安全、环保保护等方面的考虑,全球海洋工程开发持续升温.项目EPCI（设计、采购、建造、安装一体化）模式受到重视,模块化建造及异地海上安装模式逐渐成熟.近年来
美元的滥发,造成世界各国国际收支出现越来越大的不平衡,这种国际流动性问题早在1958年即被提出,即所谓的"特里芬困境("Triffin’s Dilemma)但遗憾的是,世界上没有任何其他可
为比较和客观评价昆虫肠道各段内纤维素酶的活性,在不同pH及不同温度下分别测定长足大竹象成虫肠道3段(前、中、后)内3类纤维素酶的活性。结果表明:长足大竹象成虫肠道内有完
地震、海啸、干旱、洪涝等自然因素以及战争、核污染等人为因素造成的灾难一旦发生，都会给人类社会造成巨大的破坏。为了保证受灾群众生活的基本稳定以及重建工作的尽快展开，必