Model-Based Troubleshooting of Digital Systems

This thesis describes a methodology, a representation, and an implemented program for troubleshooting digital circuit boards at roughly the level of expertise one might expect in a human novice. Existing methods for model-based troubleshooting have not scaled up to deal with complex circuits, in part because traditional circuit models do not explicitly represent aspects of the device that troubleshooters would consider important. For complex devices the model of the target device should be constructed with the goal of troubleshooting explicitly in mind. Given that methodology, the principal contributions of the thesis are ways of representing complex circuits to help make troubleshooting feasible. Temporally coarse behavior descriptions are a particularly powerful simplification. Instantiating this idea for the circuit domain produces a vocabulary for describing digital signals. The vocabulary has a level of temporal detail sufficient to make useful predictions abut the response of the circuit while it remains coarse enough to make those predictions computationally tractable. Other contributions are principles for using these representations. Although not embodied in a program, these principles are sufficiently concrete that models can be constructed manually from existing circuit descriptions such as schematics, part specifications, and state diagrams. One such principle is that if there are components with particularly likely failure modes or failure modes in which their behavior is drastically simplified, this knowledge should be incorporated into the model. Further contributions include the solution of technical problems resulting from the use of explicit temporal representations and design descriptions with tangled hierarchies.

Apatite-Polymer Composite Particles for Controlled Delivery of BMP-2: In Vitro Release and Cellular Response

Bone morphogenetic protein-2 (BMP-2) has the ability to induce osteoblast differentiation of undifferentiated cells, resulting in the healing of skeletal defects when delivered with a suitable carrier. We have applied a versatile delivery platform comprising a novel composite of two biomaterials with proven track records – apatite and poly(lactic-co-glycolic acid) (PLGA) – to the delivery of BMP-2. Sustained release of this growth factor was tuned with variables that affect polymer degradation and/or apatite dissolution, such as polymer molecular weight, polymer composition, apatite loading, and apatite particle size. The effect of released BMP-2 on C3H10T1/2 murine pluripotent mesenchymal cells was assessed by tracking the expression of osteoblastic makers, alkaline phosphatase (ALP) and osteocalcin. Release media collected over 100 days induced elevated ALP activity in C3H10T1/2 cells. The expression of osteocalcin was also upregulated significantly. These results demonstrated the potential of apatite-PLGA composite particles for releasing protein in bioactive form over extended periods of time.