In the era of continuing development of electrical and computer technology, product design grow more complex and diversified. Design reuse and effective design integration thus become important ways to increase design productivity. For example, In system-on-chip designs, reusable silicon intellectual properties include micro processors, digital signal processing units, memories, bus designs, general design libraries, application-specific design libraries, and software design libraries. It is thus an important subject to develop, integrate, and reuse design libraries provided by different designers. In this thesis, we developed software design for our post research of attribute composition graph capable of representing integration organizations of design libraries. It includes software designs of attribute composition graph schema representation and editing, incremental composition organization instantiation based on macro definitions in an attribute composition graph schema, and design composition solving from existing constraint solver packages. With these functionalities, designers can effectively construct organizations of design libraries for intended application designs, and perform design reuse in real designs.

It's commonly assumed that experience leads to efficiency, yet this is largely unaccounted for in resource-constrained project scheduling. This thesis considers the idea that learning effects could allow selected activities to be completed within reduced time, if they're scheduled after activities where workers learn relevant skills. This paper computationally explores the effect of this autonomous, intra-project learning on optimal makespan and problem difficulty. A learning extension is proposed to the standard RCPSP scheduling problem. Multiple parameters are considered, including project size, learning frequency, and learning intensity. A test instance generator is developed to adapt the popular PSPLIB library of scheduling problems to this model. Four different Constraint Programming model formulations are developed to efficiently solve the model. Bounding techniques are proposed for tightening optimality gaps, including four lower bounding model relaxations, an upper bounding model relaxation, and a Destructive Lower Bounding method. Hundreds of thousands of scenarios are tested to empirically determine the most efficient solution approaches and the impact of learning on project schedules. Potential makespan reduction as high as 50% is discovered, with the learning effects resembling a learning curve with a point of diminishing returns. A combination of bounding techniques is proven to produce significantly tighter optimality gaps.