Performance analysis of heterogeneous multi-cluster systems

When building a cost-effective high-performance parallel processing system, a performance model is a useful tool for exploring the design space and examining various parameters. However, performance analysis in such systems has proven to be a challenging task that requires the innovative performance analysis tools and methods to keep up with the rapid evolution and ever increasing complexity of such systems. To this end, we propose an analytical model for heterogeneous multi-cluster systems. The model takes into account stochastic quantities as well as network heterogeneity in bandwidth and latency in each cluster. Also, blocking and non-blocking network architecture model is proposed and are used in performance analysis of the system. The message latency is used as the primary performance metric. The model is validated by constructing a set of simulators to simulate different types of clusters, and by comparing the modeled results with the simulated ones.

Bioassay detects soluble MAdCAM-1 in body fluids

Mucosal addressin cell adhesion molecule (MAdCAM-1) is a key player in mediating the infiltration of leucocytes into chronically inflamed tissues. Five anti-MAdCAM-1 monoclonal antibodies (mAb), designated 17F5, 201F7, 314G8, 377D10 and 355G8, were generated by fusion of P3 × 63Ag8.653 myeloma cells with spleen cells from BALB/c mice immunized with recombinant human MAdCAM-1-Fc. The latter four mAb recognize the ligand-binding first Ig domain, and block T -cell adhesion to MAdCAM-1. The non-blocking mAb 17F5 recognizes the mucin domain. Extensive analysis of a large panel of paraffin-embedded human tissues revealed that the 314G8 mAb detected MAdCAM-1 on venules in the spleen and small intestine. MAdCAM-1 was strongly expressed in the synovium of osteoarthritis patients, predominantly on the endothelial lining of blood vessels, but also within the vessel lumen. An ELISA, based on mAb 377D10 and 355G8, was developed to determine whether soluble MAdCAM-1 was present in body fluids, and to measure the levels present. The assay detected soluble MAdCAM-1 in the serum and urine of healthy donors, at levels similar to those of soluble forms of the related CAM, ICAM-1 and VCAM-1. The anti-MAdCAM-1 antibodies and assay developed here may be useful therapeutically in the treatment of inflammation in humans. Similarly, they may be useful diagnostically to monitor the presence and levels of MAdCAM-1.

Consequences of DNA damage for gene transcription : direct effects of modified nucleobases and the role of base excision repair = Folgen von DNA-Schäden für die Gentranskription

The presence of damaged nucleobases in DNA can negatively influence transcription of genes. One of the mechanisms by which DNA damage interferes with reading of genetic information is a direct blockage of the elongating RNA polymerase complexes – an effect well described for bulky adducts induced by several chemical substances and UV-irradiation. However, other mechanisms must exist as well because many of the endogenously occurring non-bulky DNA base modifications have transcription-inhibitory properties in cells, whilstrnnot constituting a roadblock for RNA polymerases under cell free conditions. The inhibition of transcription by non-blocking DNA damage was investigated in this work by employing the reporter gene-based assays. Comparison between various types of DNA damage (UV-induced pyrimidine photoproducts, oxidative purine modifications induced by photosensitisation, defined synthetic modified bases such as 8-oxoguanine and uracil, and sequence-specific single-strand breaks) showed that distinct mechanisms of inhibition of transcription can be engaged, and that DNA repair can influence transcription of the affectedrngenes in several different ways.rnQuantitative expression analyses of reporter genes damaged either by the exposure of cells to UV or delivered into cells by transient transfection supported the earlier evidence that transcription arrest at the damage sites is the major mechanism for the inhibition of transcription by this kind of DNA lesions and that recovery of transcription requires a functional nucleotide excision repair gene Csb (ERCC6) in mouse cells. In contrast, oxidisedrnpurines generated by photosensitisation do not cause transcriptional blockage by a direct mechanism, but rather lead to transcriptional repression of the damaged gene which is associated with altered histone acetylation in the promoter region. The whole chain of events leading to transcriptional silencing in response to DNA damage remains to be uncovered. Yet, the data presented here identify repair-induced single-strand breaks – which arise from excision of damaged bases by the DNA repair glycosylases or endonucleases – as arnputative initiatory factor in this process. Such an indirect mechanism was supported by requirement of the 8-oxoguanine DNA glycosylase (OGG1) for the inhibition of transcription by synthetic 8-oxodG incorporated into a reporter gene and by the delays observed for the inhibition of transcription caused by structurally unrelated base modifications (8-oxoguanine and uracil). It is thereby hypothesized that excision of the modified bases could be a generalrnmechanism for inhibition of transcription by DNA damage which is processed by the base excision repair (BER) pathway. Further gene expression analyses of plasmids containing single-strand breaks or abasic sites in the transcribed sequences revealed strong transcription inhibitory potentials of these lesions, in agreement with the presumption that BER intermediates are largely responsible for the observed effects. Experiments with synthetic base modifications positioned within the defined DNA sequences showed thatrninhibition of transcription did not require the localisation of the lesion in the transcribed DNA strand; therefore the damage sensing mechanism has to be different from the direct encounters of transcribing RNA polymerase complexes with DNA damage.rnAltogether, this work provides new evidence that processing of various DNA basernmodifications by BER can perturb transcription of damaged genes by triggering a gene silencing mechanism. As gene expression can be influenced even by a single DNA damage event, this mechanism could have relevance for the endogenous DNA damage induced in cells under normal physiological conditions, with a possible link to gene silencing in general.

Applying the reactive programming paradigm: Toward a more declarative application development approach

After almost 10 years from “The Free Lunch Is Over” article, where the need to parallelize programs started to be a real and mainstream issue, a lot of stuffs did happened: • Processor manufacturers are reaching the physical limits with most of their approaches to boosting CPU performance, and are instead turning to hyperthreading and multicore architectures; • Applications are increasingly need to support concurrency; • Programming languages and systems are increasingly forced to deal well with concurrency. This thesis is an attempt to propose an overview of a paradigm that aims to properly abstract the problem of propagating data changes: Reactive Programming (RP). This paradigm proposes an asynchronous non-blocking approach to concurrency and computations, abstracting from the low-level concurrency mechanisms.

Verifying data refinements using a model checker

In this paper, we consider how refinements between state-based specifications (e.g., written in Z) can be checked by use of a model checker. Specifically, we are interested in the verification of downward and upward simulations which are the standard approach to verifying refinements in state-based notations. We show how downward and upward simulations can be checked using existing temporal logic model checkers. In particular, we show how the branching time temporal logic CTL can be used to encode the standard simulation conditions. We do this for both a blocking, or guarded, interpretation of operations (often used when specifying reactive systems) as well as the more common non-blocking interpretation of operations used in many state-based specification languages (for modelling sequential systems). The approach is general enough to use with any state-based specification language, and we illustrate how refinements between Z specifications can be checked using the SAL CTL model checker using a small example.

A regulação diante da evolução da essencialidade do serviço público : a reclassificação da banda larga como serviço de telecomunicações nos Estados Unidos

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Direito, Programa de Pós-Graduação em Direito, 2016.

Scheduling Trains with Priorities : a no-wait blocking parallel-machine job-shop scheduling model

The paper investigates train scheduling problems when prioritised trains and non-prioritised trains are simultaneously traversed in a single-line rail network. In this case, no-wait conditions arise because the prioritised trains such as express passenger trains should traverse continuously without any interruption. In comparison, non-prioritised trains such as freight trains are allowed to enter the next section immediately if possible or to remain in a section until the next section on the routing becomes available, which is thought of as a relaxation of no-wait conditions. With thorough analysis of the structural properties of the No-Wait Blocking Parallel-Machine Job-Shop-Scheduling (NWBPMJSS) problem that is originated in this research, an innovative generic constructive algorithm (called NWBPMJSS_Liu-Kozan) is proposed to construct the feasible train timetable in terms of a given order of trains. In particular, the proposed NWBPMJSS_Liu-Kozan constructive algorithm comprises several recursively-used sub-algorithms (i.e. Best-Starting-Time-Determination Procedure, Blocking-Time-Determination Procedure, Conflict-Checking Procedure, Conflict-Eliminating Procedure, Tune-up Procedure and Fine-tune Procedure) to guarantee feasibility by satisfying the blocking, no-wait, deadlock-free and conflict-free constraints. A two-stage hybrid heuristic algorithm (NWBPMJSS_Liu-Kozan-BIH) is developed by combining the NWBPMJSS_Liu-Kozan constructive algorithm and the Best-Insertion-Heuristic (BIH) algorithm to find the preferable train schedule in an efficient and economical way. Extensive computational experiments show that the proposed methodology is promising because it can be applied as a standard and fundamental toolbox for identifying, analysing, modelling and solving real-world scheduling problems.

A microscopic simulation model to estimate Bus Rapid Transit (BRT) station service capacity with mixed stopping and non-stopping bus operation

Bus Rapid Transit (BRT) station is the interface between passenger and service. The station is crucial to line operation as it is typically the only location where buses can pass each other. Congestion may occur here when buses maneuvering into and out of the platform lane interfere with bus flow, or when a queue of buses forms upstream of the platform lane blocking the passing lane. However, some systems include operation where express buses pass the critical station, resulting in a proportion of non stopping buses. It is important to understand the operation of the critical busway station under this type of operation, as it affects busway line capacity. This study uses micro simulation to treat the BRT station operation and to analyze the relationship between station Limit state bus capacity (B_ls), Total Bus Capacity (B_ttl). First, the simulation model is developed for Limit state scenario and then a mathematical model is defined, calibrated for a specified range of controlled scenarios of mean and coefficient of variation of dwell time. Thereafter, the proposed B_ls model is extended to consider non stopping buses and B_ttlmodel is defined. The proposed models provides better understanding to the BRT line capacity and is useful for transit authorities for designing better BRT operation.

Analyzing busway station potential capacity under mixed stopping and non-stopping operation

Busway stations are the interface between passengers and services. The station is crucial to line operation as it is typically the only location where buses can pass each other. Congestion may occur here when buses manoeuvring into and out of the platform lane interfere with bus flow, or when a queue of buses forms upstream of the platform lane blocking the passing lane. Further, some systems include operation where express buses do not observe the station, resulting in a proportion of non-stopping buses. It is important to understand the operation of the station under this type of operation and its effect on busway capacity. This study uses microscopic simulation to treat the busway station operation and to analyse the relationship between station potential capacity where all buses stop, and Mixed Potential Capacity where there is a mixture of stopping and non-stopping buses. First, the micro simulation technique is used to analyze the All Stopping Buses (ASB) scenario and then statistical model is tuned and calibrated for a specified range of controlled scenarios of dwell time characteristics Subsequently, a mathematical model is developed for Mixed Stopping Buses (MSB) Potential Capacity by introducing different proportions of express (or non-stopping) buses. The proposed models for a busway station bus capacity provide a better understanding of operation and are useful to transit agencies in busway planning, design and operation.

Analysing busway station capacity under mixed stopping and non-stopping operation

Busway stations are the interface between passengers and services. The station is crucial to line operation as it is typically the only location where buses can pass each other. Congestion may occur here when buses manoeuvring into and out of the platform lane interfere with bus flow, or when a queue of buses forms upstream of the platform lane blocking the passing lane. Further, some systems include operation where express buses do not observe the station, resulting in a proportion of non-stopping buses. It is important to understand the operation of the station under this type of operation and its effect on busway capacity. This study uses microscopic simulation to treat the busway station operation and to analyse the relationship between station potential capacity where all buses stop, and Mixed Potential Capacity where there is a mixture of stopping and non-stopping buses. First, the micro simulation technique is used to analyze the All Stopping Buses (ASB) scenario and then statistical model is tuned and calibrated for a specified range of controlled scenarios of dwell time characteristics Subsequently, a mathematical model is developed for Mixed Stopping Buses (MSB) Potential Capacity by introducing different proportions of express (or non-stopping) buses. The proposed models for a busway station bus capacity provide a better understanding of operation and are useful to transit agencies in busway planning, design and operation.

Non-major-histocompatibility-complex genetics of ankylosing spondylitis

There is strong evidence from twin and family studies indicating that a substantial proportion of the heritability of susceptibility to ankylosing spondylitis (AS) and its clinical manifestations is encoded by non-major-histocompatibility-complex genes. Efforts to identify these genes have included genomewide linkage studies and candidate gene association studies. One region, the interleukin (IL)-1 gene complex on chromosome 2, has been repeatedly associated with AS in both Caucasians and Asians. It is likely that more than one gene in this complex is involved in AS, with the strongest evidence to date implicating IL-1A. Identifying the genes underlying other linkage regions has been difficult due to the lack of obvious candidates and the low power of most studies to date to identify genes of the small to moderate magnitude that are likely to be involved. The field is moving towards genomewide association analysis, involving much larger datasets of unrelated cases and controls. Early successes using this approach in other diseases indicates that it is likely to identify genes in common diseases like AS, but there remains the risk that the common-variant, common-disease hypothesis will not hold true in AS. Nonetheless, it is appropriate for the field to be cautiously optimistic that the next few years will bring great advances in our understanding of the genetics of this condition.

Electron-blocking hole-transport polyterpenol thin films

The carrier blocking property of polyterpenol thin films derived from non-synthetic precursor is studied using Electric Field Induced Optical Second Harmonic Generation (EFISHG) technique that can directly probe carrier motion in organic materials. A properly biased double-layer MIM device with a structure of indium zinc oxide (IZO)/polyterpenol/C₆₀/Al shows that by incorporating the polyterpenol thin film, the electron transport can be blocked while the hole transport is allowed. The inherent electron blocking hole transport property is verified using Al/C₆₀/Alq3/polyterpenol/IZO and Al/Alq3/polyterpenol/IZO structures. The rectifying property of polyterpenol is very promising and can be utilized in the fabrication of many organic devices.

Investigation of interfacial charging and discharging in double-layer pentacene-based metal-insulator-metal device with polyterpenol blocking layer using electric field induced second harmonic generation

Time-resolved electric field induced second harmonic generation technique was used to probe the carrier transients within double-layer pentacene-based MIM devices. Polyterpenol thin films fabricated from non-synthetic environmentally sustainable source were used as a blocking layer to assist in visualisation of single-species carrier transportation during charging and discharging under different bias conditions. Results demonstrated that carrier transients were comprised of charging on electrodes, followed by carrier injection and charging of the interface. Polyterpenol was demonstrated to be a sound blocking material and can therefore be effectively used for probing of double-layer devices using EFISHG.

Time-dependent flows of rotating and stratified fluids in geometries with non-uniform cross-sections

Unsteady rotating and stratified flows in geometries with non-uniform cross-sections are investigated under Oseen approximation using Laplace transform technique. The solutions are obtained in closed form and they reveal that the flow remains oscillatory even after infinitely large time. The existence of inertial waves propagating in both positive and negative directions of the flow is observed. When the Rossby or Froude number is close to a certain infinite set of critical values the blocking and back flow occur and the flow pattern becomes more and more complicated with increasing number of stagnant zones when each critical value is crossed. The analogy that is observed in the solutions for rotating and stratified flows is also discussed.