论文部分内容阅读
将基于组件的软件开发方法应用于嵌入式软件开发逐渐成为一个研究重点。面向嵌入式的组件查询通常不仅要满足用户约束需求,还需满足其优化需求。证明这样的查询是NP-hard问题,并且不存在ε>0的多项式时间近似算法,除非P=NP,随后,提出了一种基于功能类别划分的启发式查询方法,分析和算例实验表明该方法在满足用户约束需求的前提下,能在有效时间内,尽可能给出满足优化需求的最优结果。