A parallel method for impulsive image noise removal on hybrid CPU/GPU systems

A parallel algorithm for image noise removal is proposed. The algorithm is based on peer group concept and uses a fuzzy metric. An optimization study on the use of the CUDA platform to remove impulsive noise using this algorithm is presented. Moreover, an implementation of the algorithm on multi-core platforms using OpenMP is presented. Performance is evaluated in terms of execution time and a comparison of the implementation parallelised in multi-core, GPUs and the combination of both is conducted. A performance analysis with large images is conducted in order to identify the amount of pixels to allocate in the CPU and GPU. The observed time shows that both devices must have work to do, leaving the most to the GPU. Results show that parallel implementations of denoising filters on GPUs and multi-cores are very advisable, and they open the door to use such algorithms for real-time processing.

Bifurcation Analysis of Reaction Diffusion Systems on Arbitrary Surfaces

In this article we present a computational framework for isolating spatial patterns arising in the steady states of reaction-diffusion systems. Such systems have been used to model many different phenomena in areas such as developmental and cancer biology, cell motility and material science. Often one is interested in identifying parameters which will lead to a particular pattern. To attempt to answer this, we compute eigenpairs of the Laplacian on a variety of domains and use linear stability analysis to determine parameter values for the system that will lead to spatially inhomogeneous steady states whose patterns correspond to particular eigenfunctions. This method has previously been used on domains and surfaces where the eigenvalues and eigenfunctions are found analytically in closed form. Our contribution to this methodology is that we numerically compute eigenpairs on arbitrary domains and surfaces. Here we present various examples and demonstrate that mode isolation is straightforward especially for low eigenvalues. Additionally we see that if two or more eigenvalues are in a permissible range then the inhomogeneous steady state can be a linear combination of the respective eigenfunctions. Finally we show an example which suggests that pattern formation is robust on similar surfaces in cases that the surface either has or does not have a boundary.

Improved commercial vehicle conspicuity and signalling systems. Task I: accident analysis and functional requirements. Interim report.

National Highway Traffic Safety Administration, Washington, D.C.

Improved commercial vehicle conspicuity and signalling systems. Task II: analyses, experiments and design recommendations. Interim report.

National Highway Traffic Safety Administration, Washington, D.C.

NHTSA's Heavy Duty Vehicle Brake Research Program - report Number 10: evaluation of trailer antilock braking systems electrical powering. Interim final report.

National Highway Traffic Safety Administration, Washington, D.C.

Analysis and forecast of truck traffic loads and the relative damage to pavement systems as a function of axle configurations. Final report.

Texas State Department of Highways and Public Transportation, Transportation Planning Division, Austin

Systems for assessing the effectiveness of management in protected areas

Since the mid-1990s, numerous methodologies have been developed to assess the management effectiveness of protected areas, many tailored to particular regions or habitats. Recognizing the need for a generic approach, the World Commission on Protected Areas (WCPA) developed an evaluation framework allowing specific evaluation methodologies to be designed within a consistent overall approach. Twenty-seven assessment methodologies were analyzed in relation to this framework. Two types of data were identified: quantitative data derived from monitoring and qualitative data derived from scoring by managers and stakeholders. The distinction between methodologies based on data types reflects different approaches to assessing management. Few methodologies assess all the WCPA framework elements. More useful information for adaptive management will come from addressing all six elements. The framework can be used to adapt existing methodologies or to design new, more comprehensive methodologies for evaluation, using quantitative monitoring data, qualitative scoring data, or a combination of both.

Gelatinisation of starch in mixtures of sugars. I. Dynamic rheological properties and behaviours of starch-honey systems

Dynamic rheological behaviour of starch-honey systems was studied using a strain-controlled rheometer. A dynamic temperature (30-130 degreesC) ramp test was used at 10 rad s(-1) frequency, 1% strain, 2 degreesC min(-1) ramp rate, 25 mm parallel plate, and 1.5 min gap, using Wheaten cornflour(TM) and five honeys to generate 25 formulations (0.34-0.80 g water/g dry starch). G', G, and eta* increased upon gelatinisation, and they reduced as the honey content was increased. For all the formulations, G' was higher than G, and tan 6 was generally less than 1.0. Key gelatinisation characterising temperatures (onset, peak and end) ranged from 96.0 to 122.3 degreesC, but did not vary much (CV < 5%) for each honey irrespective of the concentration. The influence of water, fructose and glucose, singly and in combination, on gelatinisation indices (temperature and rheological parameters) was investigated. An exponential equation was employed to describe the relationship, and relevant parameters were obtained. The consequences of the observations in the study are discussed particularly as they relate to extrusion of such systems, and possible interactions between fructose and glucose in the starch-honey systems. (C) 2003 Elsevier Ltd. All rights reserved.

Transient production of recombinant proteins by chinese hamster ovary cells using polyethyleneimine/DNA complexes in combination with microtubule disrupting anti-mitotic agents

We have developed a simple and robust transient expression system utilizing the 25 kDa branched cationic polymer polyethylenimine (PEI) as a vehicle to deliver plasmid DNA into suspension-adapted Chinese hamster ovary cells synchronized in G2/M phase of the cell cycle by anti-mitotic microtubule disrupting agents. The PEI-mediated transfection process was optimized with respect to PEI nitrogen to DNA phosphate molar ratio and the plasmid DNA mass to cell ratio using a reporter construct encoding firefly luciferase. Optimal production of luciferase was observed at a PEI N to DNA P ratio of 10:1 and 5 mug DNA 10(6) cells(-1). To manipulate transgene expression at mitosis, we arrested cells in G2/M phase of the cell cycle using the microtubule depolymerizing agent nocodazole. Using secreted human alkaline phosphatase (SEAP) and enhanced green fluorescent protein (eGFP) as reporters we showed that continued inclusion of nocodazole in cell culture medium significantly increased both transfection efficiency and reporter protein production. In the presence of nocodazole, greater than 90% of cells were eGFP positive 24 h post-transfection and qSEAP was increased almost fivefold, doubling total SEAP production. Under optimal conditions for PEI-mediated transfection, transient production of a recombinant chimeric IgG(4) encoded on a single vector was enhanced twofold by nocodazole, a final yield of approximately 5 mug mL(-1) achieved at an initial viable cell density of 1 x 10(6) cells mL(-1). The glycosylation of the recombinant antibody at Asn(297) was not significantly affected by nocodazole during transient production by this method. (C) 2004 Wiley Periodicals, Inc.

A simulation model of cereal-legume intercropping systems for semi-arid regions I. Model development

Cereal-legume intercropping plays an important role in subsistence food production in developing countries, especially in situations of limited water resources. Crop simulation can be used to assess risk for intercrop productivity over time and space. In this study, a simple model for intercropping was developed for cereal and legume growth and yield, under semi-arid conditions. The model is based on radiation interception and use, and incorporates a water stress factor. Total dry matter and yield are functions of photosynthetically active radiation (PAR), the fraction of radiation intercepted and radiation use efficiency (RUE). One of two PAR sub-models was used to estimate PAR from solar radiation; either PAR is 50% of solar radiation or the ratio of PAR to solar radiation (PAR/SR) is a function of the clearness index (K-T). The fraction of radiation intercepted was calculated either based on Beer's Law with crop extinction coefficients (K) from field experiments or from previous reports. RUE was calculated as a function of available soil water to a depth of 900 mm (ASW). Either the soil water balance method or the decay curve approach was used to determine ASW. Thus, two alternatives for each of three factors, i.e., PAR/SR, K and ASW, were considered, giving eight possible models (2 methods x 3 factors). The model calibration and validation were carried out with maize-bean intercropping systems using data collected in a semi-arid region (Bloemfontein, Free State, South Africa) during seven growing seasons (1996/1997-2002/2003). The combination of PAR estimated from the clearness index, a crop extinction coefficient from the field experiment and the decay curve model gave the most reasonable and acceptable result. The intercrop model developed in this study is simple, so this modelling approach can be employed to develop other cereal-legume intercrop models for semi-arid regions. (c) 2004 Elsevier B.V. All rights reserved.

The use of microviscometry to study polymer dissolution from solid dispersion drug delivery systems

Solid dispersions can be used to improve dissolution of poorly soluble drugs and PVP is a common polymeric carrier in such systems. The mechanisms controlling release of drug from solid dispersions are not fully understood and proposed theories are dependent on an understanding of the dissolution behaviour of both components of the dispersion. This study uses microviscometry to measure small changes in the viscosity of the dissolution medium as the polymer dissolves from ibuprofen-PVP solid dispersions. The microviscometer determines the dynamic and kinematic viscosity of liquids based on the rolling/falling ball principle. Using a standard USP dissolution apparatus, the dissolution of the polymer from the solid dispersion was easily measured alongside drug release. Drug release was found to closely follow polymer dissolution at the molecular weights and ratios used. The combination of sensitivity and ease of use make microviscometry a valuable technique for the elucidation of mechanisms governing drug release from polymeric delivery systems. © 2004 Elsevier B.V. All rights reserved.

Vaccine adjuvant systems: enhancing the efficacy of sub-unit protein antigens

Vaccination remains a key tool in the protection and eradication of diseases. However, the development of new safe and effective vaccines is not easy. Various live organism based vaccines currently licensed, exhibit high efficacy; however, this benefit is associated with risk, due to the adverse reactions found with these vaccines. Therefore, in the development of vaccines, the associated risk-benefit issues need to be addressed. Sub-unit proteins offer a much safer alternative; however, their efficacy is low. The use of adjuvanted systems have proven to enhance the immunogenicity of these sub-unit vaccines through protection (i.e. preventing degradation of the antigen in vivo) and enhanced targeting of these antigens to professional antigen-presenting cells. Understanding of the immunological implications of the related disease will enable validation for the design and development of potential adjuvant systems. Novel adjuvant research involves the combination of both pharmaceutical analysis accompanied by detailed immunological investigations, whereby, pharmaceutically designed adjuvants are driven by an increased understanding of mechanisms of adjuvant activity, largely facilitated by description of highly specific innate immune recognition of components usually associated with the presence of invading bacteria or virus. The majority of pharmaceutical based adjuvants currently being investigated are particulate based delivery systems, such as liposome formulations. As an adjuvant, liposomes have been shown to enhance immunity against the associated disease particularly when a cationic lipid is used within the formulation. In addition, the inclusion of components such as immunomodulators, further enhance immunity. Within this review, the use and application of effective adjuvants is investigated, with particular emphasis on liposomal-based systems. The mechanisms of adjuvant activity, analysis of complex immunological characteristics and formulation and delivery of these vaccines are considered.

The development of hard real-time systems using a formal approach

Hard real-time systems are a class of computer control systems that must react to demands of their environment by providing `correct' and timely responses. Since these systems are increasingly being used in systems with safety implications, it is crucial that they are designed and developed to operate in a correct manner. This thesis is concerned with developing formal techniques that allow the specification, verification and design of hard real-time systems. Formal techniques for hard real-time systems must be capable of capturing the system's functional and performance requirements, and previous work has proposed a number of techniques which range from the mathematically intensive to those with some mathematical content. This thesis develops formal techniques that contain both an informal and a formal component because it is considered that the informality provides ease of understanding and the formality allows precise specification and verification. Specifically, the combination of Petri nets and temporal logic is considered for the specification and verification of hard real-time systems. Approaches that combine Petri nets and temporal logic by allowing a consistent translation between each formalism are examined. Previously, such techniques have been applied to the formal analysis of concurrent systems. This thesis adapts these techniques for use in the modelling, design and formal analysis of hard real-time systems. The techniques are applied to the problem of specifying a controller for a high-speed manufacturing system. It is shown that they can be used to prove liveness and safety properties, including qualitative aspects of system performance. The problem of verifying quantitative real-time properties is addressed by developing a further technique which combines the formalisms of timed Petri nets and real-time temporal logic. A unifying feature of these techniques is the common temporal description of the Petri net. A common problem with Petri net based techniques is the complexity problems associated with generating the reachability graph. This thesis addresses this problem by using concurrency sets to generate a partial reachability graph pertaining to a particular state. These sets also allows each state to be checked for the presence of inconsistencies and hazards. The problem of designing a controller for the high-speed manufacturing system is also considered. The approach adopted mvolves the use of a model-based controller: This type of controller uses the Petri net models developed, thus preservIng the properties already proven of the controller. It. also contains a model of the physical system which is synchronised to the real application to provide timely responses. The various way of forming the synchronization between these processes is considered and the resulting nets are analysed using concurrency sets.

Detection of signals corrupted by the combination of Gaussian and Non-Gaussian noise

The detection of signals in the presence of noise is one of the most basic and important problems encountered by communication engineers. Although the literature abounds with analyses of communications in Gaussian noise, relatively little work has appeared dealing with communications in non-Gaussian noise. In this thesis several digital communication systems disturbed by non-Gaussian noise are analysed. The thesis is divided into two main parts. In the first part, a filtered-Poisson impulse noise model is utilized to calulate error probability characteristics of a linear receiver operating in additive impulsive noise. Firstly the effect that non-Gaussian interference has on the performance of a receiver that has been optimized for Gaussian noise is determined. The factors affecting the choice of modulation scheme so as to minimize the deterimental effects of non-Gaussian noise are then discussed. In the second part, a new theoretical model of impulsive noise that fits well with the observed statistics of noise in radio channels below 100 MHz has been developed. This empirical noise model is applied to the detection of known signals in the presence of noise to determine the optimal receiver structure. The performance of such a detector has been assessed and is found to depend on the signal shape, the time-bandwidth product, as well as the signal-to-noise ratio. The optimal signal to minimize the probability of error of; the detector is determined. Attention is then turned to the problem of threshold detection. Detector structure, large sample performance and robustness against errors in the detector parameters are examined. Finally, estimators of such parameters as. the occurrence of an impulse and the parameters in an empirical noise model are developed for the case of an adaptive system with slowly varying conditions.

Liposomes:Formulation and characterisation as contrast agents and as vaccine delivery systems

Liposome systems are well reported for their activity as vaccine adjuvants; however novel lipid-based microbubbles have also been reported to enhance the targeting of antigens into dendritic cells (DCs) in cancer immunotherapy (Suzuki et al 2009). This research initially focused on the formulation of gas-filled lipid coated microbubbles and their potential activation of macrophages using in vitro models. Further studies in the thesis concentrated on aqueous-filled liposomes as vaccine delivery systems. Initial work involved formulating and characterising four different methods of producing lipid-coated microbubbles (sometimes referred to as gas-filled liposomes), by homogenisation, sonication, a gas-releasing chemical reaction and agitation/pressurisation in terms of stability and physico-chemical characteristics. Two of the preparations were tested as pressure probes in MRI studies. The first preparation composed of a standard phospholipid (DSPC) filled with air or nitrogen (N2), whilst in the second method the microbubbles were composed of a fluorinated phospholipid (F-GPC) filled with a fluorocarbon saturated gas. The studies showed that whilst maintaining high sensitivity, a novel contrast agent which allows stable MRI measurements of fluid pressure over time, could be produced using lipid-coated microbubbles. The F-GPC microbubbles were found to withstand pressures up to 2.6 bar with minimal damage as opposed to the DSPC microbubbles, which were damaged at above 1.3 bar. However, it was also found that DSPC-filled with N2 microbubbles were also extremely robust to pressure and their performance was similar to that of F-GPC based microbubbles. Following on from the MRI studies, the DSPC-air and N2 filled lipid-based microbubbles were assessed for their potential activation of macrophages using in vitro models and compared to equivalent aqueous-filled liposomes. The microbubble formulations did not stimulate macrophage uptake, so studies thereafter focused on aqueous-filled liposomes. Further studies concentrated on formulating and characterising, both physico-chemically and immunologically, cationic liposomes based on the potent adjuvant dimethyldioctadecylammonium (DDA) and immunomodulatory trehalose dibehenate (TDB) with the addition of polyethylene glycol (PEG). One of the proposed hypotheses for the mechanism behind the immunostimulatory effect obtained with DDA:TDB is the ‘depot effect’ in which the liposomal carrier helps to retain the antigen at the injection site thereby increasing the time of vaccine exposure to the immune cells. The depot effect has been suggested to be primarily due to their cationic nature. Results reported within this thesis demonstrate that higher levels of PEG i.e. 25 % were able to significantly inhibit the formation of a liposome depot at the injection site and also severely limit the retention of antigen at the site. This therefore resulted in a faster drainage of the liposomes from the site of injection. The versatility of cationic liposomes based on DDA:TDB in combination with different immunostimulatory ligands including, polyinosinic-polycytidylic acid (poly (I:C), TLR 3 ligand), and CpG (TLR 9 ligand) either entrapped within the vesicles or adsorbed onto the liposome surface was investigated for immunogenic capacity as vaccine adjuvants. Small unilamellar (SUV) DDA:TDB vesicles (20-100 nm native size) with protein antigen adsorbed to the vesicle surface were the most potent in inducing both T cell (7-fold increase) and antibody (up to 2 log increase) antigen specific responses. The addition of TLR agonists poly(I:C) and CpG to SUV liposomes had small or no effect on their adjuvanticity. Finally, threitol ceramide (ThrCer), a new mmunostimulatory agent, was incorporated into the bilayers of liposomes composed of DDA or DSPC to investigate the uptake of ThrCer, by dendritic cells (DCs), and presentation on CD1d molecules to invariant natural killer T cells. These systems were prepared both as multilamellar vesicles (MLV) and Small unilamellar (SUV). It was demonstrated that the IFN-g secretion was higher for DDA SUV liposome formulation (p<0.05), suggesting that ThrCer encapsulation in this liposome formulation resulted in a higher uptake by DCs.