Addressing the facilities layout design problem through constraint logic programming

One of the most difficult problems that face researchers experimenting with complex systems in real world applications is the Facility Layout Design Problem. It relies with the design and location of production lines, machinery and equipment, inventory storage and shipping facilities. In this work it is intended to address this problem through the use of Constraint Logic Programming (CLP) technology. The use of Genetic Algorithms (GA) as optimisation technique in CLP environment is also an issue addressed. The approach aims the implementation of genetic algorithm operators following the CLP paradigm.

Hybrid fuzzy Monte Carlo and logic programming model for distribution network reconfiguration in the presence of outages

This paper presents a methodology for distribution networks reconfiguration in outage presence in order to choose the reconfiguration that presents the lower power losses. The methodology is based on statistical failure and repair data of the distribution power system components and uses fuzzy-probabilistic modelling for system component outage parameters. Fuzzy membership functions of system component outage parameters are obtained by statistical records. A hybrid method of fuzzy set and Monte Carlo simulation based on the fuzzy-probabilistic models allows catching both randomness and fuzziness of component outage parameters. Once obtained the system states by Monte Carlo simulation, a logical programming algorithm is applied to get all possible reconfigurations for every system state. In order to evaluate the line flows and bus voltages and to identify if there is any overloading, and/or voltage violation a distribution power flow has been applied to select the feasible reconfiguration with lower power losses. To illustrate the application of the proposed methodology to a practical case, the paper includes a case study that considers a real distribution network.

Logic programming and fuzzy Monte Carlo for distribution network reconfiguration

This paper present a methodology to choose the distribution networks reconfiguration that presents the lower power losses. The proposed methodology is based on statistical failure and repair data of the distribution power system components and uses fuzzy-probabilistic modeling for system component outage parameters. The proposed hybrid method using fuzzy sets and Monte Carlo simulation based on the fuzzyprobabilistic models allows catching both randomness and fuzziness of component outage parameters. A logic programming algorithm is applied, once obtained the system states by Monte Carlo Simulation, to get all possible reconfigurations for each system state. To evaluate the line flows and bus voltages and to identify if there is any overloading, and/or voltage violation an AC load flow has been applied to select the feasible reconfiguration with lower power losses. To illustrate the application of the proposed methodology, the paper includes a case study that considers a 115 buses distribution network.

Reactive power compensation by EPSO technique

This paper presents a methodology to address reactive power compensation using Evolutionary Particle Swarm Optimization (EPSO) technique programmed in the MATLAB environment. The main objective is to find the best operation point minimizing power losses with reactive power compensation, subjected to all operational constraints, namely full AC power flow equations, active and reactive power generation constraints. The methodology has been tested with the IEEE 14 bus test system demonstrating the ability and effectiveness of the proposed approach to handle the reactive power compensation problem.

Optimal scheduling of a renewable micro-grid in an isolated load area using mixed-integer linear programming

In the energy management of the isolated operation of small power system, the economic scheduling of the generation units is a crucial problem. Applying right timing can maximize the performance of the supply. The optimal operation of a wind turbine, a solar unit, a fuel cell and a storage battery is searched by a mixed-integer linear programming implemented in General Algebraic Modeling Systems (GAMS). A Virtual Power Producer (VPP) can optimal operate the generation units, assured the good functioning of equipment, including the maintenance, operation cost and the generation measurement and control. A central control at system allows a VPP to manage the optimal generation and their load control. The application of methodology to a real case study in Budapest Tech, demonstrates the effectiveness of this method to solve the optimal isolated dispatch of the DC micro-grid renewable energy park. The problem has been converged in 0.09 s and 30 iterations.

Optimal dispatch with reactive power compensation by Genetic Algorithm

This paper presents a Unit Commitment model with reactive power compensation that has been solved by Genetic Algorithm (GA) optimization techniques. The GA has been developed a computational tools programmed/coded in MATLAB. The main objective is to find the best generations scheduling whose active power losses are minimal and the reactive power to be compensated, subjected to the power system technical constraints. Those are: full AC power flow equations, active and reactive power generation constraints. All constraints that have been represented in the objective function are weighted with a penalty factors. The IEEE 14-bus system has been used as test case to demonstrate the effectiveness of the proposed algorithm. Results and conclusions are dully drawn.

Ancillary services dispatch using linear programming and genetic algorithm approaches

Electricity market players operating in a liberalized environment requires access to an adequate decision support tool, allowing them to consider all the business opportunities and take strategic decisions. Ancillary services represent a good negotiation opportunity that must be considered by market players. For this, decision support tools must include ancillary market simulation. This paper proposes two different methods (Linear Programming and Genetic Algorithm approaches) for ancillary services dispatch. The methodologies are implemented in MASCEM, a multi-agent based electricity market simulator. A test case concerning the dispatch of Regulation Down, Regulation Up, Spinning Reserve and Non-Spinning Reserve services is included in this paper.

Detection of Change in Fluorescence Between Reactive Cyan and the Yellow Fluorophores Using a-SiC:H Multilayer Transducers

The transducer consists of a semiconductor device based on two stacked -i-n heterostructures that were designed to detect the emissions of the fluorescence resonance energy transfer between fluorophores in the cyan (470 nm) and yellow (588 nm) range of the spectrum. This research represents a preliminary study on the use of such wavelength-sensitive devices as photodetectors for this kind of application. The device was characterized through optoelectronic measurements concerning spectral response measurements under different electrical and optical biasing conditions. To simulate the fluorescence resonance energy transfer (FRET) pairs, a chromatic time-dependent combination of cyan and yellow wavelengths was applied to the device. The generated photocurrent was measured under reverse and forward bias to read out the output photocurrent signal. A different wavelength-biasing light was also superimposed. Results show that under reverse bias, the photocurrent signal presents four separate levels, each one assigned to the different wavelength combinations of the FRET pairs. If a blue background is superimposed, the yellow channel is enhanced and the cyan suppressed, while under red irradiation, the opposite behavior occurs. So, under suitable biasing light, the transducer is able to detect separately the cyan and yellow fluorescence pairs. An electrical model, supported by a numerical simulation, supports the transduction mechanism of the device.

Funções penalidade para o tratamento das variáveis discretas do problema de fluxo de potência ótimo reativo

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Effect of a sardine supplement on C-reactive protein in patients receiving hemodialysis

Objective - The study evaluated the effect of a canned sardine supplement in C-reactive protein (CRP) in patients on hemodialysis (HD) and the compliance and adherence to this supplement. Design - This was a quasi-experimental study: Participants with a serum CRP of 5 mg/dL or less volunteered to consume a sardine supplement or were maintained on the usual cheese/ham sandwich supplement. Setting - The study took place in two outpatient dialysis units in Lisbon, Portugal. Patients - The study comprised 63 patients receiving maintenance HD three times per week for at least 6 months and an initial CRP concentration of 5 mg/dL or less. Exclusion criteria included the presence of graft vascular access or history of cancer. Intervention - After a 4-week washout period, the nutritional intervention included a canned sardine sandwich for the case group (n = 31) and a cheese or ham sandwich for the control group (n = 32), to be ingested during each routine HD session, 3 times per week, for 8 weeks. Main outcome measure - Serum levels of high-sensitivity CRP were the outcome measure. Results - Only 65 patients from the invited 186 patients met the inclusion criteria and agreed to eat the sardine sandwich supplement three times per week and were involved in the study. A significant proportion of 48% (n = 31, case group) consumed the sardine sandwich supplement three times per week for 8 weeks, fulfilling the requirements and completing the study. The present investigation showed that a sardine sandwich supplement had no effect on CRP levels among patients on HD. However, when participants were stratified according to tertiles of CRP distribution values at baseline, a reduction in CRP levels was found for those in the higher tertile, being higher for the case group (P = .047). Although diabetic patients were excluded from the analysis (eight in the sardine supplementation group and seven in the control group) a significant CRP reduction was found (P = .034). Conclusion - Although a supplement of low-dose n-3 long-chain polyunsaturated fatty acids had no effect on the plasma high-sensitivity CRP of the supplemented group, a reduction in CRP levels was found when patients were stratified for tertiles of CRP (for the upper tertile) and diabetic status (for nondiabetic patients). These findings need to be further confirmed. This canned sardine supplement was accepted by an important proportion of patients, enhancing diet variety and contributing for a greater n-3 long-chain polyunsaturated fatty acids eicosapentaenoic acid and docosahexaenoic acid intake.

Study of Annealed Indium Tin Oxide-Films prepared by RF Reactive Magnetron Sputtering

Tin doped indium oxide (ITO) films were deposited on glass substrates by rf reactive magnetron sputtering using a metallic alloy target (In-Sn, 90-10). The post-deposition annealing has been done for ITO films in air and the effect of annealing temperature on the electrical, optical and structural properties of ITO films was studied. It has been found that the increase of the annealing temperature will improve the film electrical properties. The resistivity of as deposited film is about 1.3 x 10(-1) Omega*cm and decreases down to 6.9 x 10(-3) Omega*cm as the annealing temperature is increased up to 500 degrees C. In addition, the annealing will also increase the film surface roughness which can improve the efficiency of amorphous silicon solar cells by increasing the amount of light trapping.

Study of vanadium doped ZnO films prepared by dc reactive magnetron sputtering at different substrate temperatures

ZnO films doped with vanadium (ZnO:V) have been prepared by dc reactive magnetron sputtering technique at different substrate temperatures (RT–500 C). The effects of the substrate temperature on ZnO:V films properties have been studied. XRD measurements show that only ZnO polycrystalline structure has been obtained, no V2O5 or VO2 crystal phase can be observed. It has been found that the film prepared at low substrate temperature has a preferred orientation along the (002) direction. As the substrate temperature is increased, the (002) peak intensity decreases. When the substrate temperature reaches the 500 C, the film shows a random orientation. SEM measurements show a clear formation of the nano-grains in the sample surface when the substrate temperature is higher than 400 C. The optical properties of the films have been studied by measuring the specular transmittance. The refractive index has been calculated by fitting the transmittance spectra using OJL model combined with harmonic oscillator.

New insights on integer-programming models for the kidney exchange problem

In recent years several countries have set up policies that allow exchange of kidneys between two or more incompatible patient–donor pairs. These policies lead to what is commonly known as kidney exchange programs. The underlying optimization problems can be formulated as integer programming models. Previously proposed models for kidney exchange programs have exponential numbers of constraints or variables, which makes them fairly difficult to solve when the problem size is large. In this work we propose two compact formulations for the problem, explain how these formulations can be adapted to address some problem variants, and provide results on the dominance of some models over others. Finally we present a systematic comparison between our models and two previously proposed ones via thorough computational analysis. Results show that compact formulations have advantages over non-compact ones when the problem size is large.

BabeLO : an extensible converter of programming exercises formats

In the last two decades, there was a proliferation of programming exercise formats that hinders interoperability in automatic assessment. In the lack of a widely accepted standard, a pragmatic solution is to convert content among the existing formats. BabeLO is a programming exercise converter providing services to a network of heterogeneous e-learning systems such as contest management systems, programming exercise authoring tools, evaluation engines and repositories of learning objects. Its main feature is the use of a pivotal format to achieve greater extensibility. This approach simplifies the extension to other formats, just requiring the conversion to and from the pivotal format. This paper starts with an analysis of programming exercise formats representative of the existing diversity. This analysis sets the context for the proposed approach to exercise conversion and to the description of the pivotal data format. The abstract service definition is the basis for the design of BabeLO, its components and web service interface. This paper includes a report on the use of BabeLO in two concrete scenarios: to relocate exercises to a different repository, and to use an evaluation engine in a network of heterogeneous systems.

A distributed system for learning programming on-line

Several Web-based on-line judges or on-line programming trainers have been developed in order to allow students to train their programming skills. However, their pedagogical functionalities in the learning of programming have not been clearly defined. EduJudge is a project which aims to integrate the “UVA On-line Judge”, an existing on-line programming trainer with an important number of problems and users, into an effective educational environment consisting of the e-learning platform Moodle and the competitive learning tool QUESTOURnament. The result is the EduJudge system which allows teachers to apply different pedagogical approaches using a proven e-learning platform, makes problems easy to search through an effective search engine, and provides an automated evaluation of the solutions submitted to these problems. The final objective is to provide new learning strategies to motivate students and present programming as an easy and attractive challenge. EduJudge has been tried and tested in three algorithms and programming courses in three different Engineering degrees. The students’ motivation and satisfaction levels were analysed alongside the effects of the EduJudge system on students’ academic outcomes. Results indicate that both students and teachers found that among other multiple benefits the EduJudge system facilitates the learning process. Furthermore, the experi- ment also showed an improvement in students’ academic outcomes. It must be noted that the students’ level of satisfaction did not depend on their computer skills or their gender.