论文部分内容阅读
随着开源软件的迅速发展,软件包之间复杂依赖关系的分析与维护日益成为当前开源软件包管理系统得以正常运行的重要基础.本文对软件包依赖问题进行了分析与归纳,给出该问题的形式化描述,并提出了一套将软件包依赖问题转变为布尔可满足(SAT)问题的基本映射规则,最后结合MiniSAT给出了基本的求解算法.
基于SAT的软件包依赖问题的研究
【摘 要】
：
随着开源软件的迅速发展,软件包之间复杂依赖关系的分析与维护日益成为当前开源软件包管理系统得以正常运行的重要基础.本文对软件包依赖问题进行了分析与归纳,给出该问题的
【机 构】
：
中国科学院软件研究所,北京,100080
【出 处】
：
中国科学院计算技术研究所第九届计算机科学与技术研究生学术讨论会
【发表日期】
：
2006年期
其他文献
本文对简要介绍了政府工作报告形成过程和特点,并叙述了知识表达的发展概况,对比了相关的表达技术.接着,文章简单介绍了XBRL(可扩展业务报告语言,eXtensible Business Report
目的 探讨全自动细胞图像分析系统对锡矿接尘工人肺癌早期诊断的效果以及影响锡矿肺癌高危人群发病的危险因素.方法 随机选取广西某锡矿队列中345名45岁以上的男性接尘矿工为
会议
超氧阴离子能攻击生物膜中的多不饱和脂肪酸(PUFA)引发脂质过氧化作用,并因此形成脂质过氧化物如丙二醛(MDA)等。超氧化物歧化酶(SOD)对机体的氧化与抗氧化平衡起着至关重要
数控系统进程之间实现通信是协同整个系统正常工作的核心和关键所在.本文首先介绍嵌入式WINCE操作系统的定制,它是研究数控系统通信方式的软件平台.然后,本文重点介绍数控系
目的: 人体健康与大气质量关系非常密切.近年来有研究表明PM2.5能引发心血管系统疾病如缺血性心脏病、充血性心衰、心律失常等,使人群心血管疾病发病率和死亡率明显增加,所以
会议
介绍双向拉伸聚酯薄膜(BOPET)生产中的后道工序设备-分切机,以及上海紫东薄膜材料有限公司在生产过程中遇到的分切机速度波动情况及其原因分析,问题的解决过程.
本文重点介绍了基于SOAP/XML的Web服务,并深入分析和研究了Web服务的安全机制及SOAP安全性扩展问题,设计了SOAP加/解密组件并对其处理过程进行了分析.此外,本文还提出了一些W
随着我国高速公路的不断发展,原来的单一路段独立收费管理模式逐渐的发展为多路段联合收费管理模式.但与此同时,这也对现有的高速公路收费系统提出了进一步的要求,需要将现有
这次在不到一个月的时间里参观了美国和新西兰两个国家,今天就农业现代化及其与科学研究的关系谈一点观感。自然科学研究的最终目的是为生产服务,为人类谋幸福。植物生理学
高山滑雪是冬季奥林匹克运动会中一项风险性较高的竞技比赛项目,其比赛环境相对极端(低温、陡坡),损伤机制复杂,可能出现多部位的联合损伤,对医疗救援提出了更高要求.我国高