Verification of schedulability for real-time programs

Assume that a real-time programP ^T consisting of a number of parallel processes is executed on a system having a setPr of processors which are shared between the processes by a real-time schedulerS ^T. Assume that P^T must meet some timing deadlines. We show that such an implementation ofP ^T can be represented as a transformationL(P ^T) and that the deadlines ofP ^T will be met if they are satisfied by the timing properties of the transformed program. The condition for feasibility of a real-time program executed under a scheduler is formalized and rules are provided for verification. The schedulerS ^T can be specifiedgenerically and applied to different programs, making it unnecessary to introduce low-level operations such as scheduling primitives into the programming language. Thus real-time program specification and Schedulability can be considered in the same framework and the timing properties of a program can be determined at the specification level. By separating the specification of the scheduler from that of the program, the feasibility of an implementation can be proved by considering a scheduling policy rather than its implementation details.     

Differential immediate early gene expression in conditional hepatitis B virus pX-transforming versus nontransforming hepatocyte cell lines

We report construction and characterization of tetracycline-controlled hepatitis B virus pX-expressing hepatocyte (AML12) cell lines. These cell lines were constructed in AML12 clonal isolates (clones 3 and 4), which express constitutively the tetracycline-controlled transactivator. Since pX is implicated in HCC, this immortalized hepatocyte model system was used to investigate the mechanism of pX in transformation. Clonal isolates of 3pX and 4pX lineages display conditional synthesis of pX mRNA and protein and a 2-fold increase in growth saturation density following tetracycline removal, implicating pX in monolayer overgrowth. Interestingly, only 3pX clones display pX-dependent anchorage independence. Clone 3 lineages express hepatocyte nuclear factor-1alpha and hepatocyte-specific marker genes; clone 4 lineages express hepatocyte nuclear factor-1beta and reduced levels of hepatocyte-specific marker genes, suggesting the importance of the differentiated hepatocyte in pX-mediated oncogenic transformation. Importantly, 3pX and 4pX lineages display differential expression of immediate early genes c-fos and ATF3. The pX-transforming 3pX lineage displays early, pX-dependent induction of ATF3 and prolonged induction of c-fos. The nontransforming 4pX cells display an absence of pX-dependent ATF3 induction and transient induction of c-fos. Our results support the direct link of pX expression to oncogenic transformation in 3pX lineage clones and underscore the advantage of this conditional cellular model system for studying mechanisms of pX-mediated oncogenesis.     

Interaction of kunjin virus with octyl-D-glucoside extracted Vero cell plasma membrane

Initial experiments using whole cells have shown that there were specific and saturable interactions between kunjin (KUN) virus and receptor molecules on the Vero cell surfaces. Solubilisation of Vero cell plasma membranes with octyl-D-glucoside (OG) yielded an extract which also interacted specifically with KUN virus. This was proven using electron microscopy. When the virus-OG-extract complex was exposed onto Vero cell monolayers, no KUN virus was observed to enter into the whole cells. This would imply that there was virus-receptor interaction with the OG-extract leaving no free virus to attach to the whole cells. The attachment kinetics of KUN virus was studied further using the Scatchard analysis which indicated the involvement of more than one interactive macromolecule in the attachment event.     

Effect of oligosaccharides on rejection and reperfusion injury after lung transplantation

PURPOSE: We developed two models that are modifications of our original poly(2-hydroxyethyl methacrylate) (PHEMA) core-and-skirt keratoprosthesis. In these keratoprostheses, the mechanical strength of the skirt has been considerably increased with divinyl glycol (DVG) as a cross-linking agent during polymerization. In one (KPro I), methyl methacrylate (MMA) was added as comonomer to increase cell adhesion, and in the other (KPro II), HEMA was polymerized with DVG without comonomer. The aim of this study was to evaluate the process of healing and biocolonization and to ascertain whether KPro I demonstrates better ingrowth than the mechanically stronger KPro II, after implantation in rabbit eyes. METHODS: Ten rabbits were used for each model and studied at five predetermined end points up to 26 weeks. The device was implanted as a full-thickness keratoprosthesis covered with a conjunctival flap. RESULTS: Neither prosthesis demonstrated extrusion or retroprosthetic membrane formation. There was no significant difference between the two types of prosthesis with respect to tissue ingrowth and surrounding tissue melting. Histologically, inflammation was not severe, but calcification was seen in most specimens. Evidence of biodegradation of the prosthesis also was seen. CONCLUSION: In our original keratoprosthesis, fibrovascular invasion had occurred into the prosthetic skirt, but wound dehiscence and low mechanical strength resulted in an unfavorable outcome. In this series, the mechanical properties were improved, and KPro II was stronger than KPro I. Therefore KPro II would be the preferred polymer combination for surgical manipulation. However, biodegradation and calcification require further investigation into the degree and significance of these adverse reactions.