Search results for " Programming"
showing 10 items of 1616 documents
An optimality test for semi-infinite linear programming
1992
In this paper we present a test to characterize the optimal solutions for the continuous semi-infinite linear programming problem. This optimality characterization is a condition of Kuhn–Tucker type. The resolution of a linear program permits to check the optimality of a feasible point,to detect the unboundedness of the problem and to find descent directions. We give some illustrative examples. We show that the local Mangasarian–Fromovitz constraint qualification is almost equivalent to Slater qualification for this problem. Furthermore, it follows from our study that this optimality condition is always necessary for a wide class of semi-infinite linear programming problems
Solution isolation strategies for the Bernstein polytopes-based solver
2013
The Bernstein polytopes-based solver is a new method developed to solve systems of nonlinear equations, which often occur in Geometric Constraint Solving Problems. The principle of this solver is to linearize nonlinear monomials and then to solve the resulting linear programming problems, through linear programming. However, without any strategy for the isolation of the many solutions of multiple-solution systems, this solver is slow in practice. To overcome this problem, we propose in this work, a study of several strategies for solution isolation, through the split of solution boxes into several subboxes, according to three main steps answering the questions: when, where, and how to perfo…
Decision Support Systems Based on CLP Approach in SMEs
2006
The paper focuses on a selected class of decision problems related with the production flow planning in SMEs, particularly in new production orders. Verification of orders gives a possibility to evaluate whether resources capacity of a manufacturer is balanced with the orderer's requirements. The class of decision problems under analysis is included in the scope of organizational production preparation and can be naturally determined by available CLP (Constraint Logic Programming) tools. The approach proposed in the paper is based on establishment of an interface which facilitates its task oriented use. The system has been presented on the basis of a sample order execution in a manufacturer…
Optimal switches in multi-inventory systems
2007
Given a switched multi-inventory system we wish to find the optimal schedule of the resets to maintain the system in a safe operating interval, while minimizing a function related to the cost of the resets. We discuss a family of instances that can be solved in polynomial time by linear programming. We do this by introducing a set-covering formulation with a totally unimodular constraint matrix.
A Research Review on Building Information Modeling in Construction―An Area Ripe for IS Research
2012
Published version of article of an article in the journal: Communications of the Association for Information Systems. Also available from the publisher : http://http://aisel.aisnet.org/cais/vol31/iss1/10/ This article presents a review of the research on Building Information Modeling (BIM) in construction, with the aim of identifying areas in this domain where IS research can contribute. The concept of BIM comprises an infrastructure of IT tools supporting collaborative and integrated design, assembly, and operation of buildings. This integrated construction approach, with all stakeholders editing or retrieving information from commonly shared models, requires major changes to well-establis…
Perceived-Value-driven Optimization of Energy Consumption in Smart Homes
2020
Residential energy consumption has been rising rapidly during the last few decades. Several research efforts have been made to reduce residential energy consumption, including demand response and smart residential environments. However, recent research has shown that these approaches may actually cause an increase in the overall consumption, due to the complex psychological processes that occur when human users interact with these energy management systems. In this article, using an interdisciplinary approach, we introduce a perceived-value driven framework for energy management in smart residential environments that considers how users perceive values of different appliances and how the us…
Quality of life ranking of Spanish cities: A non-compensatory approach
2021
Abstract Urban areas are hubs of economic activity, but also consumption centers where a high quality of life may attract human capital and increase prospects of economic growth and well-being. We rank 73 Spanish cities on the basis of 35 individual indicators covering three basic facets of quality of life: socio-economic performance, general livability conditions, and residents' health status. We reject the conventional approach of compensability among different quality of life dimensions in favor of a Condorcet-inspired non-compensability approach. We obtain three partial composite indicators, one for each of the aforementioned dimensions, and a global indicator that synthesizes the three…
Social Media News: Motivation, Purpose and Usage
2013
This paper presents the results of an online survey which was conducted to analyse the use of social web in the context of daily news. Users' motivation and habit in the news consumption were focused. Moreover, users' news behaviour was distinguished in three purposes such news consumption, news production and news dissemination to find out if the usage has a passive or active character. In a second step it was questioned which social software is used for which purpose. In conclusion users appreciate social software for features such as interactivity and information that traditional media does not provide. Among the social web platforms users prefer social networking sites as well as videos…
Orbits of bounded bijective operators and Gabor frames
2020
This paper is a contribution to frame theory. Frames in a Hilbert space are generalizations of orthonormal bases. In particular, Gabor frames of $L^2(\mathbb{R})$, which are made of translations and modulations of one or more windows, are often used in applications. More precisely, the paper deals with a question posed in the last years by Christensen and Hasannasab about the existence of overcomplete Gabor frames, with some ordering over $\mathbb{Z}$, which are orbits of bounded operators on $L^2(\mathbb{R})$. Two classes of overcomplete Gabor frames which cannot be ordered over $\mathbb{Z}$ and represented by orbits of operators in $GL(L^2(\mathbb{R}))$ are given. Some results about opera…
A note on the iterative object symmetry transform
2004
This paper introduces a new operator named the iterated object transform that is computed by combining the object symmetry transform with the morphological operator erosion. This new operator has been applied on both binary and gray levels images showing the ability to grasp the internal structure of a digital object. We present also some experiments on artificial and real images and potential applications.