随着网络技术的发展,开放源码软件(Open Source Software, OSS)项目得到快速的发展和普及,软件从传统的集中开发模式向分散式发生了转变,使得源码复用程度大大加强,产生了软件依赖问题。虽然基于开源软件分发系统的软件管理工具在一定程度上能够简单的识别软件依赖,但是处理复杂的依赖关系仍旧存在不足。另一方面分发端软件更新频繁,引起依赖关系不稳定,最终导致分发系统不稳定。本课题基于国家863项目：分布式构件库服务平台支撑技术及应用研究(项目编号：2006AA01Z191),该项目主要研究软件分发系统技术及其在嵌入式开源软件中的应用。针对分布式构件库服务平台中的开源软件库和构件库具有与开源软件分发端相似的功能,本文研究了开源软件分发系统处理软件依赖关系的原理与局限性,提出了在分发端识别软件依赖可满足性的CNF-SAT解决方法,以提高软件分发系统的稳定性。本文首先分析了开源分发系统基本原理及开源软件本身的特性,研究了处理软件依赖可满足性识别策略,重点研究了基于软件包管理技术的软件依赖识别策略,对现有策略的局限性和不足进行分析。基于上述不足,本文提出了将软件依赖可满足性识别问题转化为CNF-SAT问题的方法,通过求解CNF-SAT问题,识别软件依赖关系中的冲突。本文提出了一整套软件依赖可满足性问题向CNF-SAT问题映射的转化规则,最终以高效的MiniSAT算法实现本文所提出的改进方法,实验结果证明本方法能够提高软件依赖关系识别的效率及分发系统的稳定性,为处理开放源码软件依赖关系提供了高效的解决方法。本文最后对下一步研究进行了展望。