1,410 research outputs found

    Optimal Placement of Valves in a Water Distribution Network with CLP(FD)

    Full text link
    This paper presents a new application of logic programming to a real-life problem in hydraulic engineering. The work is developed as a collaboration of computer scientists and hydraulic engineers, and applies Constraint Logic Programming to solve a hard combinatorial problem. This application deals with one aspect of the design of a water distribution network, i.e., the valve isolation system design. We take the formulation of the problem by Giustolisi and Savic (2008) and show how, thanks to constraint propagation, we can get better solutions than the best solution known in the literature for the Apulian distribution network. We believe that the area of the so-called hydroinformatics can benefit from the techniques developed in Constraint Logic Programming and possibly from other areas of logic programming, such as Answer Set Programming.Comment: Best paper award at the 27th International Conference on Logic Programming - ICLP 2011; Theory and Practice of Logic Programming, (ICLP'11) Special Issue, volume 11, issue 4-5, 201

    Logic Programming approaches for routing fault-free and maximally-parallel Wavelength Routed Optical Networks on Chip (Application paper)

    Get PDF
    One promising trend in digital system integration consists of boosting on-chip communication performance by means of silicon photonics, thus materializing the so-called Optical Networks-on-Chip (ONoCs). Among them, wavelength routing can be used to route a signal to destination by univocally associating a routing path to the wavelength of the optical carrier. Such wavelengths should be chosen so to minimize interferences among optical channels and to avoid routing faults. As a result, physical parameter selection of such networks requires the solution of complex constrained optimization problems. In previous work, published in the proceedings of the International Conference on Computer-Aided Design, we proposed and solved the problem of computing the maximum parallelism obtainable in the communication between any two endpoints while avoiding misrouting of optical signals. The underlying technology, only quickly mentioned in that paper, is Answer Set Programming (ASP). In this work, we detail the ASP approach we used to solve such problem. Another important design issue is to select the wavelengths of optical carriers such that they are spread across the available spectrum, in order to reduce the likelihood that, due to imperfections in the manufacturing process, unintended routing faults arise. We show how to address such problem in Constraint Logic Programming on Finite Domains (CLP(FD)). This paper is under consideration for possible publication on Theory and Practice of Logic Programming.Comment: Paper presented at the 33nd International Conference on Logic Programming (ICLP 2017), Melbourne, Australia, August 28 to September 1, 2017. 16 pages, LaTeX, 5 figure

    Very long distance connection of gigawatt size offshore wind farms: extra high-voltage ac versus high-voltage dc cost comparison

    Get PDF
    This study presents a cost comparison between commercially available high-voltage DC (HVDC) and extra high-voltage AC shore connection (±320 kV voltage source converter and 420 kV-50 Hz single-core and three-core cables), for a 1 GW offshore wind farm cluster, considering transmission distances up to 400 km. The HVDC system is a point-to-point connection whereas multiple AC intermediate compensating stations are envisaged for AC when needed. Capital costs are evaluated from recently awarded contracts, operating costs include energy losses and missed revenues due to transmission system unavailability, both estimated using North Sea wind production curves. Optimal AC intermediate compensation, if any, and reactive profiles are also taken into account. Resultsshow that HVDC has lower transmission losses at distances in excess of 130 km; however, due to the combined effect of lower AC capital cost and unavailability, using three-core aluminium cables can be more convenient up to 360 km distance

    Efficient Observer Design for Ambulatory Estimation of Body Centre of Mass Position

    Get PDF

    ITALY’S ONE-STOP BUSINESS SHOPS: WHY ‘INNOVATION BY LAW’ IS A CAR WITHOUT WHEELS

    Get PDF
    Lean administrative procedures and One-Stop Shops are key drivers of bureaucratic simplification and to ease the administrative burdens on business and industry with the ultimate aim of making a country more competitive and of spurring its economic growth. The paper investigates the case of Italy’s One-Stop Business Services and Information Shops and why it has taken 15 years and a stream of legislation to get the municipalities to implement the concept. The paper assesses whether the Italian government’s One-Stop Business Shop (‘SUAP’) programme has effectively lightened the administrative load that weighs on the country’s enterprises and then analyzes its implementation. A critical discussion of the “innovation by law” approach taken by the Italian government to not only the setting up of the One-Stop Business Shops, but also to diffuse e-government (i.e., the National Action Plans for e-Government) seeks to shed light on the problems that continue to dog e- Government implementation in Italy

    Oxygen Uptake Efficiency Slope at a Glance: A Fascinating Index Carrying Unsolved Questions

    Get PDF
    Since 1996, when it was first introduced by Baba et al, oxygen uptake (VO2) efficiency slope (OUES) has represented a controversial index of cardiopulmonary efficiency

    Out-of-hospital CPR: better outcome for our patients

    Get PDF
    Out-of-hospital cardiac arrest is a leading cause of death in developed countries and early resuscitation attempts are crucial to improve survival rates and neurological outcome. GrÀsner and colleagues performed an intriguing analysis on the combined approach of mild therapeutic hypothermia (MTH) and immediate percutaneous coronary intervention (PCI) for post-resuscitation care of 584 patients with out-of-hospital cardiac arrest from the German Resuscitation Registry. PCI was independently associated with good neurological outcome at hospital discharge after successful resuscitation, and MTH was associated as an independent factor with increased chance of 24-hour survival. Moreover, a binary logistic regression analysis did not show statistical significance for MTH, in addition to PCI, as an independent predictor for good neurological outcome. The present study supports the evidence that post-resuscitation care based on standardized protocols is beneficial after successful resuscitation. Further prospective and randomized studies are warranted to elucidate criteria for a better selection of candidates for those strategies and to evaluate the potential, in terms of neurological outcome at hospital discharge, of a prehospital cooling strategy in patients who cannot be referred to immediate PCI

    Computational deconvolution of transcriptomic data for the study of tumor-infiltrating immune cells:

    Get PDF
    Cancer is a complex disease characterized by a wide array of mutually interacting components constituting the tumor microenvironment (connective tissue, vascular system, immune cells), many of which are targeted therapeutically. In particular, immune checkpoint inhibitors have recently become an established part of the treatment of cancer. Despite great promise, only a portion of the patients display durable response. Current research efforts are concentrated on the determination of tumor-specific biomarkers predictive of response, such as tumor mutational burden, microsatellite instability, and neo-antigen presentation. However, it is clear that several additional characteristics pertaining to the tumor microenvironment play a critical role in the effectiveness of immunotherapy. Here we comment on the computational methods that are used for the analysis of the tumor microenvironment components from transcriptomic data, discuss the critical needs, and foresee potential evolutions in the field

    A Bilevel Mixed Integer Linear Programming Model for Valves Location in Water Distribution Systems

    Get PDF
    The positioning of valves on the pipes of a Water Distribution System (WDS) is a core decision in the design of the isolation system of a WDS. When closed, valves permit to isolate a small portion of the network, so called a sector, which can be de-watered for maintenance purposes at the cost of a supply disruption. However, valves have a cost so their number is limited, and their position must be chosen carefully in order to minimize the worst-case supply disruption which may occur during pipe maintenance. Supply disruption is usually measured as the undelivered user demand. When a sector is isolated by closing its boundary valves, other portions of the network may become disconnected from the reservoirs as a secondary effect, and experience supply disruption as well. This induced isolation must be taken into account when computing the undelivered demand induced by a sector isolation. While sector topology can be described in terms of graph partitioning, accounting for induced undelivered demand requires network flow modeling. The aim of the problem is to locate a given number of valves at the extremes of the network pipes so that the maximum supply disruption is minimized. We present a Bilevel Mixed Integer Linear Programming (MILP) model for this problem and show how to reduce it to a single level MILP by exploiting duality. Computational results on a real case study are presented, showing the effectiveness of the approach

    Stimulated and spontaneous four-wave mixing in silicon-on-insulator coupled photonic wire nano-cavities

    Full text link
    We report on four-wave mixing in coupled photonic crystal nano-cavities on a silicon-on-insulator platform. Three photonic wire cavities are side-coupled to obtain three modes equally separated in energy. The structure is designed to be self-filtering, and we show that the pump is rejected by almost two orders of magnitudes. We study both the stimulated and the spontaneous four-wave mixing processes: owing to the small modal volume, we find that signal and idler photons are generated with a hundred-fold increase in efficiency as compared to silicon micro-ring resonators
    • 

    corecore