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

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

The Development of a Technological Processor as a Part of a Workpiece Programming System

The cost of turning on NC-lathes is substantially sensative to cutting conditions. The use of optimum cutting conditions is limited by a large number of constraining factors such as chip disposal, chucking possibility, available power, required accuracy etc. The present way of work preparation, even when using the available workpiece programming systems, does hardly allow of generating acceptable values for the cutting variables. Moreover, the combination of geometrical and a technological processor in one workpiece programming system will save substantial time in work preparation.\ud Starting from a former reported development, this article deals with the development of a technological processor of improved design and extended possibilities, as for instance the handling of the chucking problem, as a part of a complete workpiece programming system. At choice the output of this processor may be presented in graphes, showing the limited working area and indicating the preferential working point.\ud Another feature is the possibility of automatic tool selection by comparing the working area of the machine tool with the working areas of the different potential tools.\ud The overall system design is modular and well structured to further portability and flexibility

Feasibility study of an Integrated Program for Aerospace vehicle Design (IPAD). Volume 4: IPAD system design

The computing system design of IPAD is described and the requirements which form the basis for the system design are discussed. The system is presented in terms of a functional design description and technical design specifications. The functional design specifications give the detailed description of the system design using top-down structured programming methodology. Human behavioral characteristics, which specify the system design at the user interface, security considerations, and standards for system design, implementation, and maintenance are also part of the technical design specifications. Detailed specifications of the two most common computing system types in use by the major aerospace companies which could support the IPAD system design are presented. The report of a study to investigate migration of IPAD software between the two candidate 3rd generation host computing systems and from these systems to a 4th generation system is included

Teaching agents to learn: from user study to implementation

Graphical user interfaces have helped center computer use on viewing and editing, rather than on programming. Yet the need for end-user programming continues to grow. Software developers have responded to the demand with a barrage of customizable applications and operating systems. But the learning curve associated with a high level of customizability-even in GUI-based operating systems-often prevents users from easily modifying their software. Ironically, the question has become, "What is the easiest way for end users to program?" Perhaps the best way to customize a program, given current interface and software design, is for users to annotate tasks-verbally or via the keyboard-as they are executing them. Experiments have shown that users can "teach" a computer most easily by demonstrating a desired behavior. But the teaching approach raises new questions about how the system, as a learning machine, will correlate, generalize, and disambiguate a user's instructions. To understand how best to create a system that can learn, the authors conducted an experiment in which users attempt to train an intelligent agent to edit a bibliography. Armed with the results of these experiments, the authors implemented an interactive machine learning system, which they call Configurable Instructible Machine Architecture. Designed to acquire behavior concepts from few examples, Cima keeps users informed and allows them to influence the course of learning. Programming by demonstration reduces boring, repetitive work. Perhaps the most important lesson the authors learned is the value of involving users in the design process. By testing and critiquing their design ideas, users keep the designers focused on their objective: agents that make computer-based work more productive and more enjoyable

Aplikasi Peramalan Persediaan Buku Di PT Kanisius Pemasaran Palembang Menggunakan Algoritma Single Exponential Smoothing (SES)

Stock problem is a major problems in a companies, especially, for the company that engaget in marketing. The true problem at PT.Kanisius Pemasaran Palembang (KPP) in stocking goads, in the case books is the number of books that orderet to central company are unpredictable because the information of available books is uncertainly. To solving that problem, this study built a books forcasting system with single exponential smoothing (SES) method. This study using extreme programming (XP) methodology. System design using unified modeling language (UML) and the system implemented into PHP programming language. The data used in this study are data amount of book sales every month in a year at PT. Kanisius Pemasaran Palembang (KPP). The system works to determine alpha value first for forescasting, after that do the calculations to get forescasting values. The result from forescasting values will be measured the error degree using MAD, MSE, and moving range