Towards platform-independent real-time systems

Real-time software systems are rarely developed once and left to run. They are subject to changes of requirements as the applications they support expand, and they commonly outlive the platforms they were designed to run on. A successful real-time system is duplicated and adapted to a variety of applications - it becomes a product line. Current methods for real-time software development are commonly based on low-level programming languages and involve considerable duplication of effort when a similar system is to be developed or the hardware platform changes. To provide more dependable, flexible and maintainable real-time systems at a lower cost what is needed is a platform-independent approach to real-time systems development. The development process is composed of two phases: a platform-independent phase, that defines the desired system behaviour and develops a platform-independent design and implementation, and a platform-dependent phase that maps the implementation onto the target platform. The last phase should be highly automated. For critical systems, assessing dependability is crucial. The partitioning into platform dependent and independent phases has to support verification of system properties through both phases.

Phase-field analysis of finite-strain plates and shells including element subdivision

With the theme of fracture of finite-strain plates and shells based on a phase-field model of crack regularization, we introduce a new staggered algorithm for elastic and elasto-plastic materials. To account for correct fracture behavior in bending, two independent phase-fields are used, corresponding to the lower and upper faces of the shell. This is shown to provide a realistic behavior in bending-dominated problems, here illustrated in classical beam and plate problems. Finite strain behavior for both elastic and elasto-plastic constitutive laws is made compatible with the phase-field model by use of a consistent updated-Lagrangian algorithm. To guarantee sufficient resolution in the definition of the crack paths, a local remeshing algorithm based on the phase- field values at the lower and upper shell faces is introduced. In this local remeshing algorithm, two stages are used: edge-based element subdivision and node repositioning. Five representative numerical examples are shown, consisting of a bi-clamped beam, two versions of a square plate, the Keesecker pressurized cylinder problem, the Hexcan problem and the Muscat-Fenech and Atkins plate. All problems were successfully solved and the proposed solution was found to be robust and efficient.

A framework for memory contention analysis in multi-core platforms

The last decade has witnessed a major shift towards the deployment of embedded applications on multi-core platforms. However, real-time applications have not been able to fully benefit from this transition, as the computational gains offered by multi-cores are often offset by performance degradation due to shared resources, such as main memory. To efficiently use multi-core platforms for real-time systems, it is hence essential to tightly bound the interference when accessing shared resources. Although there has been much recent work in this area, a remaining key problem is to address the diversity of memory arbiters in the analysis to make it applicable to a wide range of systems. This work handles diverse arbiters by proposing a general framework to compute the maximum interference caused by the shared memory bus and its impact on the execution time of the tasks running on the cores, considering different bus arbiters. Our novel approach clearly demarcates the arbiter-dependent and independent stages in the analysis of these upper bounds. The arbiter-dependent phase takes the arbiter and the task memory-traffic pattern as inputs and produces a model of the availability of the bus to a given task. Then, based on the availability of the bus, the arbiter-independent phase determines the worst-case request-release scenario that maximizes the interference experienced by the tasks due to the contention for the bus. We show that the framework addresses the diversity problem by applying it to a memory bus shared by a fixed-priority arbiter, a time-division multiplexing (TDM) arbiter, and an unspecified work-conserving arbiter using applications from the MediaBench test suite. We also experimentally evaluate the quality of the analysis by comparison with a state-of-the-art TDM analysis approach and consistently showing a considerable reduction in maximum interference.

Desempenho de cordeiros lactentes recebendo probióticos em comedouros privativos

The presente study was carried out to evaluate the performance of 40 lambs 7/8 Ile de France 1/8 Ideal (20 not castrated males and 20 females) raised with access to creep feeding, until get 17 kg of corporeal weight. The animals were divided in treatments, receiving isoproteic and isoenergetic diets, with diferent levels of probiotics (D1=0%, D2=0,8% e D3=12%). They were analysed in regart to born weight, weight at 30 days and weight gain at maternal independent (from 1th to 4th weeks) and maternal independent (from 5th to 8th week), the age of wean and daily weight gain. The average intake of dry matter by the lambs at D1, D2 and D3 was 0,27, 0,26 and 0,27 kg/day, respectively. On maternal dependent phase, there was no interaction and differences between diet and sex in the born weight (3.30 kg), weight at 30 days of age (11.79 kg) and in the average daily weight gain (0.28 kg). On maternal independent phase, there were no differences in the age of weam (53 days) and daily weight gain (0,26 kg) between diet and sex. It was concluded that probiotics inclusion in the diet of the suckling lambs (males not castrated and females) didn't improve their performance.

Utilizing Gaussian-Schell model beams to mitigate atmospheric turbulence in free space optical communications / by Kyle R. Drexler.

Turbulence affects traditional free space optical communication by causing speckle to appear in the received beam profile. This occurs due to changes in the refractive index of the atmosphere that are caused by fluctuations in temperature and pressure, resulting in an inhomogeneous medium. The Gaussian-Schell model of partial coherence has been suggested as a means of mitigating these atmospheric inhomogeneities on the transmission side. This dissertation analyzed the Gaussian-Schell model of partial coherence by verifying the Gaussian-Schell model in the far-field, investigated the number of independent phase control screens necessary to approach the ideal Gaussian-Schell model, and showed experimentally that the Gaussian-Schell model of partial coherence is achievable in the far-field using a liquid crystal spatial light modulator. A method for optimizing the statistical properties of the Gaussian-Schell model was developed to maximize the coherence of the field while ensuring that it does not exhibit the same statistics as a fully coherent source. Finally a technique to estimate the minimum spatial resolution necessary in a spatial light modulator was developed to effectively propagate the Gaussian-Schell model through a range of atmospheric turbulence strengths. This work showed that regardless of turbulence strength or receiver aperture, transmitting the Gaussian-Schell model of partial coherence instead of a fully coherent source will yield a reduction in the intensity fluctuations of the received field. By measuring the variance of the intensity fluctuations and the received mean, it is shown through the scintillation index that using the Gaussian-Schell model of partial coherence is a simple and straight forward method to mitigate atmospheric turbulence instead of traditional adaptive optics in free space optical communications.

NMR studies of muscle glycogen synthesis in insulin-resistant offspring of parents with non-insulin-dependent diabetes mellitus immediately after glycogen-depleting exercise.

To examine the impact of insulin resistance on the insulin-dependent and insulin-independent portions of muscle glycogen synthesis during recovery from exercise, we studied eight young, lean, normoglycemic insulin-resistant (IR) offspring of individuals with non-insulin-dependent diabetes mellitus and eight age-weight matched control (CON) subjects after plantar flexion exercise that lowered muscle glycogen to approximately 25% of resting concentration. After approximately 20 min of exercise, intramuscular glucose 6-phosphate and glycogen were simultaneously monitored with 31P and 13C NMR spectroscopies. The postexercise rate of glycogen resynthesis was nonlinear. Glycogen synthesis rates during the initial insulin independent portion (0-1 hr of recovery) were similar in the two groups (IR, 15.5 +/- 1.3 mM/hr and CON, 15.8 +/- 1.7 mM/hr); however, over the next 4 hr, insulin-dependent glycogen synthesis was significantly reduced in the IR group [IR, 0.1 +/- 0.5 mM/hr and CON, 2.9 +/- 0.2 mM/hr; (P < or = 0.001)]. After exercise there was an initial rise in glucose 6-phosphate concentrations that returned to baseline after the first hour of recovery in both groups. In summary, we found that following muscle glycogen-depleting exercise, IR offspring of parents with non-insulin-dependent diabetes mellitus had (i) normal rates of muscle glycogen synthesis during the insulin-independent phase of recovery from exercise and (ii) severely diminished rates of muscle glycogen synthesis during the subsequent recovery period (2-5 hr), which has previously been shown to be insulin-dependent in normal CON subjects. These data provide evidence that exercise and insulin stimulate muscle glycogen synthesis in humans by different mechanisms and that in the IR subjects the early response to stimulation by exercise is normal.

Reasoning about deadlines in concurrent real-time programs

We propose a method for the timing analysis of concurrent real-time programs with hard deadlines. We divide the analysis into a machine-independent and a machine-dependent task. The latter takes into account the execution times of the program on a particular machine. Therefore, our goal is to make the machine-dependent phase of the analysis as simple as possible. We succeed in the sense that the machine-dependent phase remains the same as in the analysis of sequential programs. We shift the complexity introduced by concurrency completely to the machine-independent phase.

Fully lithography independent fabrication of nanogap electrodes for lateral phase-change random access memory application

Submitted by 阎军 (yanj@red.semi.ac.cn) on 2010-06-07T01:33:41Z No. of bitstreams: 1 ApplPhysLett_96_213505.pdf: 1153920 bytes, checksum: 69931d8deb797813dd478b5dd0e292c0 (MD5)

CDP/cut is the DNA-binding subunit of histone gene transcription factor HiNF-D: a mechanism for gene regulation at the G1/S phase cell cycle transition point independent of transcription factor E2F.

Transcription of the genes for the human histone proteins H4, H3, H2A, H2B, and H1 is activated at the G1/S phase transition of the cell cycle. We have previously shown that the promoter complex HiNF-D, which interacts with cell cycle control elements in multiple histone genes, contains the key cell cycle factors cyclin A, CDC2, and a retinoblastoma (pRB) protein-related protein. However, an intrinsic DNA-binding subunit for HiNF-D was not identified. Many genes that are up-regulated at the G1/S phase boundary are controlled by E2F, a transcription factor that associates with cyclin-, cyclin-dependent kinase-, and pRB-related proteins. Using gel-shift immunoassays, DNase I protection, and oligonucleotide competition analyses, we show that the homeodomain protein CDP/cut, not E2F, is the DNA-binding subunit of the HiNF-D complex. The HiNF-D (CDP/cut) complex with the H4 promoter is immunoreactive with antibodies against CDP/cut and pRB but not p107, whereas the CDP/cut complex with a nonhistone promoter (gp91-phox) reacts only with CDP and p107 antibodies. Thus, CDP/cut complexes at different gene promoters can associate with distinct pRB-related proteins. Transient coexpression assays show that CDP/cut modulates H4 promoter activity via the HiNF-D-binding site. Hence, DNA replication-dependent histone H4 genes are regulated by an E2F-independent mechanism involving a complex of CDP/cut with cyclin A/CDC2/ RB-related proteins.

An independent sector assessment of the Job Training Partnership Act : phase II : initial implementation /

Cover title.

An independent sector assessment of the Job Training Partnership Act : phase I, the initial transition /

Cover title.

Instability prolongs the chondral phase during bone healing in sheep

In this sheep study, we investigated the influence of fixation stability on the temporal and spatial distribution of tissues in the fracture callus. As the initial mechanical conditions have been cited as being especially important for the healing outcome, it was hypothesized that differences in the path of healing would be seen as early as the initial phase of healing. ----- ----- Sixty-four sheep underwent a mid-shaft tibial osteotomy that was treated with either a rigid or a semi-rigid external fixator. Animals were sacrificed at 2, 3, 6 and 9 weeks postoperatively and the fracture calluses were analyzed using radiological, biomechanical and histological techniques. Statistical comparison between the groups was performed using the Mann–Whitney U test for unpaired non-parametric data. ----- ----- In the callus of the tibia treated with semi-rigid fixation, remnants of the fracture haematoma remained present for longer, although new periosteal bone formation during early healing was similar in both groups. The mechanical competence of the healing callus at 6 weeks was inferior compared to tibiae treated with rigid fixation. Semi-rigid fixation resulted in a larger cartilage component of the callus, which persisted longer. Remodeling processes were initiated earlier in the rigid group, while new bone formation continued throughout the entire investigated period in the semi-rigid group. ----- ----- In this study, evidence is provided that less rigid fixation increased the time required for healing. The process of intramembranous ossification appeared during the initial stages of healing to be independent of mechanical stability. However, the delay in healing was related to a prolonged chondral phase.

p53-independent NOXA induction overcomes apoptotic resistance of malignant melanomas

Once melanoma metastasizes, no effective treatment modalities prolong survival in most patients. This notorious refractoriness to therapy challenges investigators to identify agents that overcome melanoma resistance to apoptosis. Whereas many survival pathways contribute to the death-defying phenotype in melanoma, a defect in apoptotic machinery previously highlighted inactivation of Apaf-1, an apoptosome component engaged after mitochondrial damage. During studies involving Notch signaling in melanoma, we observed a gamma-secretase tripeptide inhibitor (GSI; z-Leu-Leu-Nle-CHO), selected from a group of compounds originally used in Alzheimer's disease, induced apoptosis in nine of nine melanoma lines. GSI only induced G2-M growth arrest (but not killing) in five of five normal melanocyte cultures tested. Effective killing of melanoma cells by GSI involved new protein synthesis and a mitochondrial-based pathway mediated by up-regulation of BH3-only members (Bim and NOXA). p53 activation was not necessary for up-regulation of NOXA in melanoma cells. Blocking GSI-induced NOXA using an antisense (but not control) oligonucleotide significantly reduced the apoptotic response. GSI also killed melanoma cell lines with low Apaf-1 levels. We conclude that GSI is highly effective in killing melanoma cells while sparing normal melanocytes. Direct enhancement of BH3-only proteins executes an apoptotic program overcoming resistance of this lethal tumor. Identification of a p53-independent apoptotic pathway in melanoma cells, including cells with low Apaf-1, bypasses an impediment to current cytotoxic therapy and provides new targets for future therapeutic trials involving chemoresistant tumors.

Cyclin A/CDK2 regulates multiple G2 phase pathways

The cell cycle is a carefully choreographed series of phases that when executed successfully will allow the complete replication of the genome and the equal division of the genome and other cellular content into two independent daughter cells. The inability of the cell to execute cell division successfully can result in either checkpoint activation to allow repair and/or apoptosis and/or mutations/errors that may or may not lead to tumourgenesis. Cyclin A/CDK2 is the primary cyclin/CDK regulating G2 phase progression of the cell cycle. Cyclin A/CDK2 activity peaks in G2 phase and its inhibition causes a G2 phase delay that we have termed 'the cyclin A/CDK2 dependent G2 delay'. Understanding the key pathways that are involved in the cyclin A/CDK2 dependent G2 delay has been the primary focus of this study. Characterising the cyclin A/CDK2 dependent G2 delay revealed accumulated levels of the inactive form of the mitotic regulator, cyclin B/CDK1. Surprisingly, there was also increased microtubule nucleation at the centrosomes, and the centrosomes stained for markers of cyclin B/CDK1 activity. Both microtubule nucleation at the centrosomes and phosphoprotein markers were lost with short-term treatment of CDK1/2 inhibition. Cyclin A/CDK2 localised at the centrosomes in late G2 phase after separation of the centrosomes but before the start of prophase. Thus G2 phase cyclin A/CDK2 controls the timing of entry into mitosis by controlling the subsequent activation of cyclin B/CDK1, but also has an unexpected role in coordinating the activation of cyclin B/CDK1 at the centrosome and in the nucleus. In addition to regulating the timing of cyclin B/CDK1 activation and entry into mitosis in the unperturbed cell cycle, cyclin A/CDK2 also was shown to have a role in G2 phase checkpoint recovery. Known G2 phase regulators were investigated to determine whether they had a role in imposing the cyclin A/ CDK2 dependent G2 delay. Examination of the critical G2 checkpoint arrest protein, Chk1, which also has a role during unperturbed G2/M phases revealed the presence of activated Chk1 in G2 phase, in a range of cell lines. Activated Chk1 levels were shown to accumulate in cyclin A/CDK2 depleted/inhibited cells. Further investigations revealed that Chk1, but not Chk2, depletion could reverse the cyclin A/CDK2 dependent G2 delay. It was confirmed that the accumulative activation of Chk1 was not a consequence of DNA damage induced by cyclin A depletion. The potential of cyclin A/CDK2 to regulate Chk1 revealed that the inhibitory phosphorylations, Ser286 and Ser301, were not directly catalysed by cyclin A/CDK2 in G2 phase to regulate mitotic entry. It appeared that the ability of cyclin A/CDK2 to regulate cyclin B/CDK1 activation impacted cyclin B/CDK1s phosphorylation of Chk1 on Ser286 and Ser301, thereby contributing to the delay in G2/M phase progression. Chk1 inhibition/depletion partially abrogated the cyclin A/CDK2 dependent G2 delay, and was less effective in abrogating G2 phase checkpoint suggesting that other cyclin A/CDK2 dependent mechanisms contributed to these roles of cyclin A/CDK2. In an attempt to identify these other contributing factors another G2/M phase regulator known to be regulated by cyclin A/CDK2, Cdh1 and its substrates Plk1 and Claspin were examined. Cdh1 levels were reduced in cyclin A/CDK2 depleted/inhibited cells although this had little effect on Plk1, a known Cdh1 substrate. However, the level of another substrate, Claspin, was increased. Cdh1 depletion mimicked the effect of cyclin A depletion but to a weaker extent and was sufficient at increasing Claspin levels similar to the increase caused by cyclin A depletion. Co-depletion of cyclin A and Claspin blocked the accumulation of activated Chk1 normally seen with cyclin A depletion alone. However Claspin depletion alone did not reduce the cyclin A/CDK2 dependent G2 delay but this is likely to be a result of inhibition of S phase roles of Claspin. Together, these data suggest that cyclin A/CDK2 regulates a number of different mechanisms that contribute to G2/M phase progression. Here it has been demonstrated that in normal G2/M progression and possibly to a lesser extent in G2 phase checkpoint recovery, cyclin A/CDK2 regulates the level of Cdh1 which in turn affects at least one of its substrates, Claspin, and consequently results in the increased level of activated Chk1 observed. However, the involvement of Cdh1 and Claspin alone does not explain the G2 phase delay observed with cyclin A/CDK2 depletion/inhibition. It is likely that other mechanisms, possibly including cyclin A/CDK2 regulation of Wee1 and FoxM1, as reported by others, combine with the mechanism described here to regulate normal G2/M phase progression and G2 phase checkpoint recovery. These findings support the critical role for cyclin A/CDK2 in regulating progression into mitosis and suggest that upstream regulators of cyclin A/CDK2 activation will also be critical controllers of this cell cycle transition. The pathways that work to co-ordinate cell cycle progression are very intricate and deciphering these pathways, required for normal cell cycle progression, is key to understanding tumour development. By understanding cell cycle regulatory pathways it will allow the identification of the pathway/s and their mechanism/s that become affected in tumourgenesis. This will lead to the development of better targeted therapies, inferring better efficacy with fewer side effects than commonly seen with the use of traditional therapies, such as chemotherapy. Furthermore, this has the potential to positively impact the development of personalised medicines and the customisation of healthcare.