GAMS MINLP Solver comparisons and some improvements to the AlphaECP algorithm

I doktorsavhandlingen undersöks förmågan att lösa hos ett antal lösare för optimeringsproblem och ett antal svårigheter med att göra en rättvis lösarjämförelse avslöjas. Dessutom framläggs några förbättringar som utförts på en av lösarna som heter GAMS/AlphaECP. Optimering innebär, i det här sammanhanget, att finna den bästa möjliga lösningen på ett problem. Den undersökta klassen av problem kan karaktäriseras som svårlöst och förekommer inom ett flertal industriområden. Målet har varit att undersöka om det finns en lösare som är universellt snabbare och hittar lösningar med högre kvalitet än någon av de andra lösarna. Det kommersiella optimeringssystemet GAMS (General Algebraic Modeling System) och omfattande problembibliotek har använts för att jämföra lösare. Förbättringarna som presenterats har utförts på GAMS/AlphaECP lösaren som baserar sig på skärplansmetoden Extended Cutting Plane (ECP). ECP-metoden har utvecklats främst av professor Tapio Westerlund på Anläggnings- och systemteknik vid Åbo Akademi.

Software for calculation of reservoir active capacity with the sequent-peak algorithm

It is presented a software developed with Delphi programming language to compute the reservoir's annual regulated active storage, based on the sequent-peak algorithm. Mathematical models used for that purpose generally require extended hydrological series. Usually, the analysis of those series is performed with spreadsheets or graphical representations. Based on that, it was developed a software for calculation of reservoir active capacity. An example calculation is shown by 30-years (from 1977 to 2009) monthly mean flow historical data, from Corrente River, located at São Francisco River Basin, Brazil. As an additional tool, an interface was developed to manage water resources, helping to manipulate data and to point out information that it would be of interest to the user. Moreover, with that interface irrigation districts where water consumption is higher can be analyzed as a function of specific seasonal water demands situations. From a practical application, it is possible to conclude that the program provides the calculation originally proposed. It was designed to keep information organized and retrievable at any time, and to show simulation on seasonal water demands throughout the year, contributing with the elements of study concerning reservoir projects. This program, with its functionality, is an important tool for decision making in the water resources management.

Complement activation-related pseudoallergy in dogs following intravenous administration of a liposomal formulation of meglumine antimoniate

The increasing use of nanotechnologies in advanced therapies has allowed the observation of specific adverse reactions related to nanostructures. The toxicity of a novel liposome formulation of meglumine antimoniate in dogs with visceral leishmaniasis after single dose has been investigated. Groups of 12 animals received by the intravenous route a single dose of liposomal meglumine antimoniate (group I [GI], 6.5 mg Sb/kg), empty liposomes (GII) or isotonic saline (GIII). Evaluation of hematological and biochemical parameters showed no significant changes 4 days after administration. No undesired effects were registered in the GIII. However, adverse reactions were observed in 67.7% of dogs from both groups that received liposomal formulations. The side effects began moments after bolus administration and disappeared during the first 15 minutes after treatment. Prostation, sialorrhea and defecation were the most frequent clinical signs, registered in 33.3% and 41.6 % of animals from the groups GI and GII, respectively. Tachypnea, mydriasis, miosis, vomiting and cyanosis were also registered in both groups. The adverse reactions observed in this study were attributed to the activation of the complement system by lipid vesicles in a phenomenon known as Complement Activation-Related Pseudoallergy (CARPA). The influence of the physical-chemical characteristics of liposomal formulation in the triggering of CARPA is discussed.

Algorithm to determine the intersection curves between bezier surfaces by the solution of multivariable polynomial system and the differential marching method

The determination of the intersection curve between Bézier Surfaces may be seen as the composition of two separated problems: determining initial points and tracing the intersection curve from these points. The Bézier Surface is represented by a parametric function (polynomial with two variables) that maps a point in the tridimensional space from the bidimensional parametric space. In this article, it is proposed an algorithm to determine the initial points of the intersection curve of Bézier Surfaces, based on the solution of polynomial systems with the Projected Polyhedral Method, followed by a method for tracing the intersection curves (Marching Method with differential equations). In order to allow the use of the Projected Polyhedral Method, the equations of the system must be represented in terms of the Bernstein basis, and towards this goal it is proposed a robust and reliable algorithm to exactly transform a multivariable polynomial in terms of power basis to a polynomial written in terms of Bernstein basis .

Numerical Simulation of the Cavitation in the Hydrodynamic Lubrication of Journal Bearings: a Parallel Algorithm

In this paper we present an algorithm for the numerical simulation of the cavitation in the hydrodynamic lubrication of journal bearings. Despite the fact that this physical process is usually modelled as a free boundary problem, we adopted the equivalent variational inequality formulation. We propose a two-level iterative algorithm, where the outer iteration is associated to the penalty method, used to transform the variational inequality into a variational equation, and the inner iteration is associated to the conjugate gradient method, used to solve the linear system generated by applying the finite element method to the variational equation. This inner part was implemented using the element by element strategy, which is easily parallelized. We analyse the behavior of two physical parameters and discuss some numerical results. Also, we analyse some results related to the performance of a parallel implementation of the algorithm.

Fuzzy tolerance/equivalence relations from intersection, union and complement operators and their application to a clustering method

This master thesis work introduces the fuzzy tolerance/equivalence relation and its application in cluster analysis. The work presents about the construction of fuzzy equivalence relations using increasing generators. Here, we investigate and research on the role of increasing generators for the creation of intersection, union and complement operators. The objective is to develop different varieties of fuzzy tolerance/equivalence relations using different varieties of increasing generators. At last, we perform a comparative study with these developed varieties of fuzzy tolerance/equivalence relations in their application to a clustering method.

The role of complement in the modulation by fluid-phase IgG of the production of reactive oxygen species by polymorphonuclear leukocytes stimulated with IgG immune complexes

The production of reactive oxygen species (ROS) by polymorphonuclear leukocytes (PMN) can be induced by immune complexes and is an important component of phagocytosis in the killing of microorganisms, but can also be involved in inflammatory reactions when immune complexes are deposited in tissues. We have observed that fluid-phase IgG can inhibit the generation of ROS by rabbit PMN stimulated with precipitated immune complexes of IgG (ICIgG) in a dose-dependent manner, acting as a modulatory factor in the range of physiological IgG concentrations. This inhibitory effect is compatible with the known affinity (Kd) of monomeric IgG for the receptors involved (FcRII and FcRIII). The presence of complement components in the immune complexes results in a higher stimulation of ROS production. In this case, however, there is no inhibition by fluid-phase IgG. The effect of complement is strongly dependent on the presence of divalent cations (Ca2+ or Mg2+) in the medium, whereas the stimulation of ICIgG (without complement) does not depend on these cations. We have obtained some evidence indicating that iC3b should be the component involved in the effect of complement through interaction with the CR3 receptor. The absence of the inhibitory effect of fluid-phase IgG in ROS production when complement is present in the immune complex shows that complement may be important in vivo not only in the production of chemotactic factors for PMN, but also in the next phase of the process, i.e., the generation of ROS.

The role of complement in the early phase of Leishmania (Leishmania) amazonensis infection in BALB/c mice

Complement-depleted and -non-depleted BALB/c mice were inoculated with Leishmania (Leishmania) amazonensis promastigotes into the hind footpad to study the role of the complement system in cutaneous leishmaniasis. Total serum complement activity was measured by hemolytic assay and C3 fragment deposit at the inoculation site was determined by direct immunofluorescence in the early period of infection, i.e., at 3, 24, 48 h and 7 days post-infection. The inflammatory reaction and the parasite burden were evaluated in the skin lesion at 7 and 30 days post-infection. Total serum complement activity decreased in the early phase of infection, from 3 to 24 h, in non-depleted mice compared to non-infected and non-depleted mice. C3 fragment deposit at the site of parasite inoculation was present throughout the period of infection in non-depleted mice. In contrast, no C3 fragment deposit was observed at the inoculation site in complement-depleted mice. Complement-depleted mice showed a significant decrease in the inflammatory response and a significant increase in the number of parasites (70.0 ± 5.3 vs 5.3 ± 1.5) at 7 days of infection (P < 0.05). A higher number of parasites were also present at 30 days of infection at the inoculation site of complement-depleted mice (78.5 ± 24.9 vs 6.3 ± 5.7). These experiments indicate that complement has an important role at the beginning of experimental cutaneous leishmaniasis caused by L. (L.) amazonensis by controlling the number of parasites in the lesion.

Complement system in cutaneous squamous cell carcinoma

Cutaneous squamous cell carcinoma (cSCC) consists 20% of keratinocytederived non-melanoma skin cancers (NMSC), the incidence of which is increasing globally. cSCC is the most common metastatic skin cancer and it causes approximately 20% of skin cancer-related deaths. At present, there are no molecular markers for predicting which cSCC lesions are aggressive or metastasize rapidly. UV radiation is the most important risk factor for cSCC. During the development of cSCC, normal epidermal keratinocytes are transformed and form actinic keratosis (AK), which progresses to cSCC in situ (cSCCIS, Bowen’s disease) and finally to invasive and metastatic cSCC. Inflammatory factors and cells are a part of cancer microenvironment and cSCC can develop in the chronically irritated skin or in the context of chronic inflammation. The complement system is a central part of innate immunity and it regulates normal immunological and inflammatory processes. In this study, the role of complement system components and inhibitors were studied in the progression of cSCC in culture and in vivo. Elevated expression of complement factor H (CFH), complement factor I (CFI), complement component C3 and complement factor B (CFB) was noted in cSCC cells in culture. The analysis with immunohistochemistry (IHC) revealed that the expression of CFH, CFI, C3 and CFB was specifically noted in tumor cells in vivo. The staining intensity of CFH, CFI, C3 and CFB was also stronger in invasive cSCC than in AK or cSCCIS samples. The knockdown of CFH, CFI and CFB with specific siRNAs decreased cSCC cell viability and migration, whereas the knockdown of C3 reduced only cSCC cell migration. Moreover, the knockdown of CFI, C3 and CFB inhibited growth of cSCC xenograft tumors established in SCID mice in vivo. In these tumors, CFI, C3 and CFB knockdown decreased the number of proliferating cells. Moreover, the knockdown of CFI increased local inflammation and complement activation. This study provides evidence for the roles of CFH, CFI, C3 and CFB in the tumor progression indicating these as molecular biomarkers and putative therapeutic targets of cSCC.

Statistical analysis of event-related potential elicited by verb-complement merge in Brazilian Portuguese

An interesting fact about language cognition is that stimulation involving incongruence in the merge operation between verb and complement has often been related to a negative event-related potential (ERP) of augmented amplitude and latency of ca. 400 ms - the N400. Using an automatic ERP latency and amplitude estimator to facilitate the recognition of waves with a low signal-to-noise ratio, the objective of the present study was to study the N400 statistically in 24 volunteers. Stimulation consisted of 80 experimental sentences (40 congruous and 40 incongruous), generated in Brazilian Portuguese, involving two distinct local verb-argument combinations (nominal object and pronominal object series). For each volunteer, the EEG was simultaneously acquired at 20 derivations, topographically localized according to the 10-20 International System. A computerized routine for automatic N400-peak marking (based on the ascendant zero-cross of the first waveform derivative) was applied to the estimated individual ERP waveform for congruous and incongruous sentences in both series for all ERP topographic derivations. Peak-to-peak N400 amplitude was significantly augmented (P < 0.05; one-sided Wilcoxon signed-rank test) due to incongruence in derivations F3, T3, C3, Cz, T5, P3, Pz, and P4 for nominal object series and in P3, Pz and P4 for pronominal object series. The results also indicated high inter-individual variability in ERP waveforms, suggesting that the usual procedure of grand averaging might not be considered a generally adequate approach. Hence, signal processing statistical techniques should be applied in neurolinguistic ERP studies allowing waveform analysis with low signal-to-noise ratio.

Alternative complement pathway and factor B activities in rats with altered blood levels of thyroid hormone

Evaluating the activity of the complement system under conditions of altered thyroid hormone levels might help elucidate the role of complement in triggering autoimmune processes. Here, we investigated alternative pathway (AP) activity in male Wistar rats (180 ± 10 g) after altering their thyroid hormone levels by treatment with triiodothyronine (T3), propylthiouracil (PTU) or thyroidectomy. T3 and thyroxine (T4) levels were determined by chemiluminescence assays. Hemolytic assays were performed to evaluate the lytic activity of the AP. Factor B activity was evaluated using factor B-deficient serum. An anti-human factor B antibody was used to measure factor B levels in serum by radial immunodiffusion. T3 measurements in thyroidectomized animals or animals treated with PTU demonstrated a significant reduction in hormone levels compared to control. The results showed a reduction in AP lytic activity in rats treated with increasing amounts of T3 (1, 10, or 50 µg). Factor B activity was also decreased in the sera of hyperthyroid rats treated with 1 to 50 µg T3. Additionally, treating rats with 25 µg T3 significantly increased factor B levels in their sera (P < 0.01). In contrast, increased factor B concentration and activity (32%) were observed in hypothyroid rats. We conclude that alterations in thyroid hormone levels affect the activity of the AP and factor B, which may in turn affect the roles of AP and factor B in antibody production.

Power and Performance Management Strategies on NoC-Based Multicore Platforms, Using DVFS, Adaptive Algorithm and Task Parallelism

This work presents synopsis of efficient strategies used in power managements for achieving the most economical power and energy consumption in multicore systems, FPGA and NoC Platforms. In this work, a practical approach was taken, in an effort to validate the significance of the proposed Adaptive Power Management Algorithm (APMA), proposed for system developed, for this thesis project. This system comprise arithmetic and logic unit, up and down counters, adder, state machine and multiplexer. The essence of carrying this project firstly, is to develop a system that will be used for this power management project. Secondly, to perform area and power synopsis of the system on these various scalable technology platforms, UMC 90nm nanotechnology 1.2v, UMC 90nm nanotechnology 1.32v and UMC 0.18 μmNanotechnology 1.80v, in order to examine the difference in area and power consumption of the system on the platforms. Thirdly, to explore various strategies that can be used to reducing system’s power consumption and to propose an adaptive power management algorithm that can be used to reduce the power consumption of the system. The strategies introduced in this work comprise Dynamic Voltage Frequency Scaling (DVFS) and task parallelism. After the system development, it was run on FPGA board, basically NoC Platforms and on these various technology platforms UMC 90nm nanotechnology1.2v, UMC 90nm nanotechnology 1.32v and UMC180 nm nanotechnology 1.80v, the system synthesis was successfully accomplished, the simulated result analysis shows that the system meets all functional requirements, the power consumption and the area utilization were recorded and analyzed in chapter 7 of this work. This work extensively reviewed various strategies for managing power consumption which were quantitative research works by many researchers and companies, it's a mixture of study analysis and experimented lab works, it condensed and presents the whole basic concepts of power management strategy from quality technical papers.

Bounds on edit metric codes with combinatorial DNA constraints

The design of a large and reliable DNA codeword library is a key problem in DNA based computing. DNA codes, namely sets of fixed length edit metric codewords over the alphabet {A, C, G, T}, satisfy certain combinatorial constraints with respect to biological and chemical restrictions of DNA strands. The primary constraints that we consider are the reverse--complement constraint and the fixed GC--content constraint, as well as the basic edit distance constraint between codewords. We focus on exploring the theory underlying DNA codes and discuss several approaches to searching for optimal DNA codes. We use Conway's lexicode algorithm and an exhaustive search algorithm to produce provably optimal DNA codes for codes with small parameter values. And a genetic algorithm is proposed to search for some sub--optimal DNA codes with relatively large parameter values, where we can consider their sizes as reasonable lower bounds of DNA codes. Furthermore, we provide tables of bounds on sizes of DNA codes with length from 1 to 9 and minimum distance from 1 to 9.

The Salmon Algorithm - A New Population Based Search Metaheuristic

This thesis introduces the Salmon Algorithm, a search meta-heuristic which can be used for a variety of combinatorial optimization problems. This algorithm is loosely based on the path finding behaviour of salmon swimming upstream to spawn. There are a number of tunable parameters in the algorithm, so experiments were conducted to find the optimum parameter settings for different search spaces. The algorithm was tested on one instance of the Traveling Salesman Problem and found to have superior performance to an Ant Colony Algorithm and a Genetic Algorithm. It was then tested on three coding theory problems - optimal edit codes, optimal Hamming distance codes, and optimal covering codes. The algorithm produced improvements on the best known values for five of six of the test cases using edit codes. It matched the best known results on four out of seven of the Hamming codes as well as three out of three of the covering codes. The results suggest the Salmon Algorithm is competitive with established guided random search techniques, and may be superior in some search spaces.

A Multi-Objective Genetic Algorithm with Side Effect Machines for Motif Discovery

Understanding the machinery of gene regulation to control gene expression has been one of the main focuses of bioinformaticians for years. We use a multi-objective genetic algorithm to evolve a specialized version of side effect machines for degenerate motif discovery. We compare some suggested objectives for the motifs they find, test different multi-objective scoring schemes and probabilistic models for the background sequence models and report our results on a synthetic dataset and some biological benchmarking suites. We conclude with a comparison of our algorithm with some widely used motif discovery algorithms in the literature and suggest future directions for research in this area.