Bibliothek

feed icon rss

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
  • 1
    Titel: Integration of AI and OR techniques in constraint programming for combinatorial optimization problems /; 6697
    Beteiligte Person(en): Achterberg, Tobias , Beck, J. Christopher , CPAIOR 〈8, 2011, Berlin〉
    Verlag: Berlin [u.a.] :Springer,
    Erscheinungsjahr: 2011
    Seiten: X, 251 S.
    Serie: Lecture notes in computer science 6697
    ISBN: 978-3-642-21310-6 , 978-3-642-21311-3
    Materialart: Buch
    Sprache: Englisch
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 2
    Publikationsdatum: 2020-08-05
    Beschreibung: Constraint Integer Programming (CIP) is a generalization of mixed-integer programming (MIP) in the direction of constraint programming (CP) allowing the inference techniques that have traditionally been the core of \P to be integrated with the problem solving techniques that form the core of complete MIP solvers. In this paper, we investigate the application of CIP to scheduling problems that require resource and start-time assignments to satisfy resource capacities. The best current approach to such problems is logic-based Benders decomposition, a manual decomposition method. We present a CIP model and demonstrate that it achieves performance competitive to the decomposition while out-performing the standard MIP and CP formulations.
    Sprache: Englisch
    Materialart: reportzib , doc-type:preprint
    Format: application/pdf
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 3
    Publikationsdatum: 2021-08-05
    Beschreibung: As part of the CPAIOR 2011 a call was made for late breaking abstracts for presentation at the conference. These abstracts were meant to represent work in process, recent work, or work appearing in other academic areas but of interest to the CPAIOR community. A total of 19 submissions were received of which 16 were selected by the program chairs for presentation. This document is a compilation of the presented abstracts.
    Sprache: Englisch
    Materialart: reportzib , doc-type:preprint
    Format: application/pdf
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 4
    Publikationsdatum: 2020-08-05
    Beschreibung: Despite the success of constraint programming (CP) for scheduling, the much wider penetration of mixed integer programming (MIP) technology into business applications means that many practical scheduling problems are being addressed with MIP, at least as an initial approach. Furthermore, there has been impressive and well-documented improvements in the power of generic MIP solvers over the past decade. We empirically demonstrate that on an existing set of resource allocation and scheduling problems standard MIP and CP models are now competitive with the state-of-the-art manual decomposition approach. Motivated by this result, we formulate two tightly coupled hybrid models based on constraint integer programming (CIP) and demonstrate that these models, which embody advances in CP and MIP, are able to out-perform the CP, MIP, and decomposition models. We conclude that both MIP and CIP are technologies that should be considered along with CP for solving scheduling problems.
    Sprache: Englisch
    Materialart: reportzib , doc-type:preprint
    Format: application/pdf
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 5
    Publikationsdatum: 2020-08-05
    Beschreibung: Dual presolving reductions are a class of reformulation techniques that remove feasible or even optimal solutions while guaranteeing that at least one optimal solution remains, as long as the original problem was feasible. Presolving and dual reductions are important components of state-of-the-art mixed-integer linear programming solvers. In this paper, we introduce them both as unified, practical concepts in constraint programming solvers. Building on the existing idea of variable locks, we formally define and justify the use of dual information for cumulative constraints during a presolving phase of a solver. In particular, variable locks are used to decompose cumulative constraints, detect irrelevant variables, and infer variable assignments and domain reductions. Since the computational complexity of propagation algorithms typically depends on the number of variables and/or domain size, such dual reductions are a source of potential computational speed-up. Through experimental evidence on resource constrained project scheduling problems, we demonstrate that the conditions for dual reductions are present in well-known benchmark instances and that a substantial proportion of them can be solved to optimality in presolving -- without search. While we consider this result very promising, we do not observe significant change in overall run-time from the use of our novel dual reductions.
    Sprache: Englisch
    Materialart: reportzib , doc-type:preprint
    Format: application/pdf
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 6
    Publikationsdatum: 2020-08-05
    Beschreibung: Recently, we compared the performance of mixed-integer programming (MIP), constraint programming (CP), and constraint integer programming (CIP) to a state-of-the-art logic-based Benders manual decomposition (LBBD) for a resource allocation/scheduling problem. For a simple linear relaxation, the LBBD and CIP models deliver comparable performance with MIP also performing well. Here we show that algorithmic developments in CIP plus the use of an existing tighter relaxation substantially improve one of the CIP approaches. Furthermore, the use of the same relaxation in LBBD and MIP models significantly improves their performance. While such a result is known for LBBD, to the best of our knowledge, the other results are novel. Our experiments show that both CIP and MIP approaches are competitive with LBBD in terms of the number of problems solved to proven optimality, though MIP is about three times slower on average. Further, unlike the LBBD and CIP approaches, the MIP model is able to obtain provably high-quality solutions for all problem instances.
    Sprache: Englisch
    Materialart: reportzib , doc-type:preprint
    Format: application/pdf
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 7
    Publikationsdatum: 2020-08-05
    Sprache: Englisch
    Materialart: conferenceobject , doc-type:conferenceObject
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 8
    Digitale Medien
    Digitale Medien
    Oxford, UK : Blackwell Publishing Ltd
    Psychophysiology 24 (1987), S. 0 
    ISSN: 1469-8986
    Quelle: Blackwell Publishing Journal Backfiles 1879-2005
    Thema: Medizin , Psychologie
    Notizen: In an attempt to detail cognitive processes during anxiety and sexual arousal, 16 heterosexual males were presented with brief erotic audiotapes simultaneous with four levels of shock threat (no shock, half tolerance, tolerance, and twice tolerance threat). Subjects were instructed to pay close attention to the audiotapes, following which a sentence recognition task was administered to assess stimulus-focused attention. Additionally at these times, they were given a thought-listing task and completed a series of affect ratings. Tumescence and subjective arousal were monitored continuously during the erotic stimuli. Results revealed that tolerance shock threat decreased tumescence (p〈.05). In contrast, recognition memory was greatest during tolerance shock threat and diminished during twice tolerance shock threat, which also produced increased reports of emotional stales. Issues regarding the relation between cognition and sexual arousal are discussed, including implications for understanding sexual dysfunction.
    Materialart: Digitale Medien
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 9
    Digitale Medien
    Digitale Medien
    Oxford, UK : Blackwell Publishing Ltd
    Psychophysiology 20 (1983), S. 0 
    ISSN: 1469-8986
    Quelle: Blackwell Publishing Journal Backfiles 1879-2005
    Thema: Medizin , Psychologie
    Notizen: The present study explored the feasibility of using temperature measurement from a non-genital location to assess sexual arousal. Based upon analyses conducted with thermographic techniques, it was hypothesized that abdominal skin cooling would occur during sexual arousal. In 2 sessions, 6 male subjects were shown low, moderate, and high arousing erotic films. Simultaneous measures of abdominal temperature, penile circumference, and subjective arousal were taken. Results indicate that while decreases in skin temperature were seen during arousal, thermister data did not correlate well with tumescence or subjective arousal ratings. It would appear that thermography and temperature measurement might be most fruitfully employed to explore basic physiological processes involved in sexual arousal, since continuous temperature measures do not appear sensitive enough for use in typical sex research paradigms.
    Materialart: Digitale Medien
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 10
    Digitale Medien
    Digitale Medien
    [S.l.] : American Institute of Physics (AIP)
    Review of Scientific Instruments 66 (1995), S. 4967-4971 
    ISSN: 1089-7623
    Quelle: AIP Digital Archive
    Thema: Physik , Elektrotechnik, Elektronik, Nachrichtentechnik
    Notizen: A novel experimental method has been developed and applied to measure the thermal conductivity of a thin (5.6 μm thick) boron-doped diamond film produced by a hot filament CVD process. Thermal fields were created by Joule heating in a 3-mm-diam, free-standing diamond diaphragm; infrared imaging thermography was used to quantify these fields. Parameter estimation was applied to determine the thermal conductivity of the film using more than 100 temperatures in each property determination. The experimental design chosen was selected on the basis of an analysis which maximized the sensitivity for the determination of thermal conductivity while minimizing the uncertainty in the estimation of this property. Parameters such as characteristic length, film resistivity, and thickness were chosen from the model to reduce convective effects, obtain the desired temperature rise, and minimize the uncertainty in the estimation of the thermal conductivity. Preliminary results for the thermal conductivity were obtained using the method of least squares to minimize the error between the measured temperatures recorded by the infrared temperature acquisition system and the calculated temperatures determined by the optimal radial heat flow model. A single doped film was energized at three power levels in five experiments. The thermal conductivity was determined to be 240±11 W/m K. The measured standard deviation of the mean matched the estimated uncertainty closely and the relative contributions to the experimental uncertainty have been quantified. © 1995 American Institute of Physics.
    Materialart: Digitale Medien
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie hier...