Graphical constraints: a graphical user interface for constraint problems

A constraint satisfaction problem is a classical artificial intelligence paradigm characterized by a set of variables (each variable with an associated domain of possible values), and a set of constraints that specify relations among subsets of these variables. Solutions are assignments of values to all variables that satisfy all the constraints. Many real world problems may be modelled by means of constraints. The range of problems that can use this representation is very diverse and embraces areas like resource allocation, scheduling, timetabling or vehicle routing. Constraint programming is a form of declarative programming in the sense that instead of specifying a sequence of steps to execute, it relies on properties of the solutions to be found, which are explicitly defined by constraints. The idea of constraint programming is to solve problems by stating constraints which must be satisfied by the solutions. Constraint programming is based on specialized constraint solvers that take advantage of constraints to search for solutions. The success and popularity of complex problem solving tools can be greatly enhanced by the availability of friendly user interfaces. User interfaces cover two fundamental areas: receiving information from the user and communicating it to the system; and getting information from the system and deliver it to the user. Despite its potential impact, adequate user interfaces are uncommon in constraint programming in general. The main goal of this project is to develop a graphical user interface that allows to, intuitively, represent constraint satisfaction problems. The idea is to visually represent the variables of the problem, their domains and the problem constraints and enable the user to interact with an adequate constraint solver to process the constraints and compute the solutions. Moreover, the graphical interface should be capable of configure the solver’s parameters and present solutions in an appealing interactive way. As a proof of concept, the developed application – GraphicalConstraints – focus on continuous constraint programming, which deals with real valued variables and numerical constraints (equations and inequalities). RealPaver, a state-of-the-art solver in continuous domains, was used in the application. The graphical interface supports all stages of constraint processing, from the design of the constraint network to the presentation of the end feasible space solutions as 2D or 3D boxes.

Influência dos intermediários de distribuição de produtos turísticos no processo de decisão do meio de hospedagem pelo consumidor

This study examines the complex hotel buyer decision process in front of the tourism distribution channels. Its objective is to describe the influence level of the tourism marketing intermediaries, mainly the travel agents and tour operators, over the hotel decision process by the buyer-tourist. The data collection process was done trough a survey with three hundred brazilian tourists hosted in nineteen hotels of Natal, capital of Rio Grande do Norte, Brazil. The data analysis was done using some multivariate statistic techniques as correlation analysis, multiple regression analysis, factor analysis and multiple discriminant analysis. The research characterizes the hotel services consumers profile and his trip, and identifying the distribution channels used by them. Furthermore, the research verifies the intermediaries influence exercised over hotel buyer decision process, looking for identify causality relations between the influence level and the buyer profile. Verifies that information about hotels available on internet reduces the probability that this influence can be practiced; however it was possible identifying those consumers considers this information complementary and non-substitutes than the information from intermediaries. The characteristics of the data do not allow indentifying the factors that constraint the intermediaries influence neither identifying discriminant functions of the specific distribution channel choice by consumers. The study concludes that consumers don t agree in have been influenced by intermediaries or don t know if they have, still considering important to consult them and internet doesn t substitute their function as information source

A Geração de inovação na carcinicultura do RN: Uma análise a partir da imersão social

This dissertation examines the organizational innovation as a nonlinear process, which occurs in a social and political context and, therefore, socially immersed. Examines the case of shrimp in the state of RN, starting from the following problem: although the norteriograndense shrimp occupies the largest producer of farmed shrimp from Brazil, has a series of bottlenecks concerning the generation of industry innovation, concerning the social relationships and policies between the various actors in the network, whether private or public, and its consequences in terms of opportunity and limits generated for the innovative dynamics. The objective of the research is to understand how the social embeddedness of political actors affects norteriograndense shrimp within the context of structural relations, the industry generation of innovation, throughout its technological trajectory . The approach of social embeddedness balances atomised perspectives, undersocialized and oversocialized, of economic action, considering both the human capacity to act as sources of constraint, whose mechanisms are analyzed the structural and political. In methodological terms this is a case study, analyzed from the research literature, documentary and experimental. Primary data were collected through semi-structured interviews and analyzed in depth by the technique of content analysis. Was adopted a longitudinal approach, seeking to understand the phenomenon from the perspective of the subjects, describing it in an inductive process of investigation. After characterizing the sector and defining their technological trajectory, the analysis of the results followed its four stages: (1) Introduction of Technology: 1973-1980, (2) Intensification of Research: 1981-1991, (3) Technological Adaptation, 1992 -2003, (4) Technological Crisis: 2004-2009. A cross-sectional analysis along the evolutionary trajectory revealed the character of structural changes and policies over time, and implications on the generating process of innovation. Note that, the technological limit to which the sector reached requires changes in technology standards, but is more likely that the potiguar shrimp is entering a new phase of his career in technology rather than a new technological paradigm

Transferência de calor transiente na agitação linear intermitente de latas

Foi estudada a transferência de calor transiente na agitação linear e intermitente (ALI) de embalagens metálicas contendo simulantes de alimentos, objetivando-se sua aplicação em processos de pasteurização ou esterilização e conseqüentes tratamentos térmicos mais eficientes, homogêneos e com produto de melhor qualidade. Foram utilizados quatro meios fluidos simulantes de alimentos de diferentes viscosidades e massas específicas: três óleos e água. Foram combinados efeitos de cinco tratamentos, sendo: meio simulante (4 níveis), espaço livre (3 níveis), freqüência de agitação (4 níveis), amplitude de agitação (2 níveis) e posição das latas (4 níveis). Os ensaios de aquecimento e resfriamento foram feitos em tanque com água à temperatura de 98 °C e 17-20 °C, respectivamente. Com os dados de penetração de calor em cada experimento, foram calculados os parâmetros de penetração de calor fh, jh, fc e jc. Os resultados foram modelados utilizando-se grupos de números adimensionais e expressos em termos de Nusselt, Prandtl, Reynolds e funções trigonométricas (com medidas de amplitude e freqüência de agitação, espaço livre e dimensões da embalagem). Foram estabelecidas as duas Equações gerais para as fases de aquecimento e resfriamento: Nu = ReA 0,199.Pr 0,288.sen(xa/AM)0,406.cos(xf/FA) 1,039.cos((xf/FA).(EL/H).p) 4,556 Aquecimento Nu = 0,1295.ReA 0,047.Pr 0,193.sen(xa/AM)0,114.cos(xf/FA) 0,641.cos((xf/FA).(EL/H).p) 2,476 Resfriamento O processo de ALI pode ser aplicado em pasteurizadores ou autoclaves estáticas horizontais e verticais, com modificações simples. Concluiu-se que a ALI aumenta significativamente a taxa de transferência de calor, tanto no aquecimento como no resfriamento.

Sistema de navegação para robôs móveis autônomos

The main task and one of the major mobile robotics problems is its navigation process. Conceptualy, this process means drive the robot from an initial position and orientation to a goal position and orientation, along an admissible path respecting the temporal and velocity constraints. This task must be accomplished by some subtasks like robot localization in the workspace, admissible path planning, trajectory generation and motion control. Moreover, autonomous wheeled mobile robots have kinematics constraints, also called nonholonomic constraints, that impose the robot can not move everywhere freely in its workspace, reducing the number of feasible paths between two distinct positions. This work mainly approaches the path planning and trajectory generation problems applied to wheeled mobile robots acting on a robot soccer environment. The major dificulty in this process is to find a smooth function that respects the imposed robot kinematic constraints. This work proposes a path generation strategy based on parametric polynomials of third degree for the 'x' and 'y' axis. The 'theta' orientation is derived from the 'y' and 'x' relations in such a way that the generated path respects the kinematic constraint. To execute the trajectory, this work also shows a simple control strategy acting on the robot linear and angular velocities

A Characterization of L-orthogonal Polynomials from Three Term Recurrence Relations

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Hq(4) symmetry: the linear q-harmonic oscillator based on generalized irreps of the q-deformed Heisenberg algebra

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

On linear combinations of L-orthogonal polynomials associated with distributions belonging to symmetric classes

This paper deals with the classes S-3(omega, beta, b) of strong distribution functions defined on the interval [beta(2)/b, b], 0 < beta < b <= infinity, where 2 omega epsilon Z. The classification is such that the distribution function psi epsilon S-3(omega, beta, b) has a (reciprocal) symmetry, depending on omega, about the point beta. We consider properties of the L-orthogonal polynomials associated with psi epsilon S-3(omega, beta, b). Through linear combination of these polynomials we relate them to the L-orthogonal polynomials associated with some omega epsilon S-3(1/2, beta, b). (c) 2004 Elsevier B.V. All rights reserved.

Efficient linear programming algorithm for the transmission network expansion planning problem

The transmission network planning problem is a non-linear integer mixed programming problem (NLIMP). Most of the algorithms used to solve this problem use a linear programming subroutine (LP) to solve LP problems resulting from planning algorithms. Sometimes the resolution of these LPs represents a major computational effort. The particularity of these LPs in the optimal solution is that only some inequality constraints are binding. This task transforms the LP into an equivalent problem with only one equality constraint (the power flow equation) and many inequality constraints, and uses a dual simplex algorithm and a relaxation strategy to solve the LPs. The optimisation process is started with only one equality constraint and, in each step, the most unfeasible constraint is added. The logic used is similar to a proposal for electric systems operation planning. The results show a higher performance of the algorithm when compared to primal simplex methods.

Phase constraint for the waves diffracted by lossless symmetrical gratings at Littrow mount

The energy conservation of grating diffraction is analyzed in a particular condition of incidence in which two incident waves reach a symmetrical grating from the two sides of the grating normal at the first-order Littrow mounting. In such a situation the incident waves generate an interference pattern with the same period as the grating. Thus in each direction of diffraction, interference occurs between two consecutive diffractive orders of the symmetrical incident waves. By applying only energy conservation and the geometrical symmetry of the grating profile to this problem it is possible to establish a general constraint for the phases and amplitudes of the diffracted orders of the same incident wave. Experimental and theoretical results are presented confirming the obtained relations. © 2006 Optical Society of America.

Análise e desenvolvimento de algoritmos eficientes de programação linear para o problema de planejamento de sistemas de transmissão a longo prazo

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Relations between the yield of bean (Phaseolus vulgaris L.) and chemical attributes of an Acrustox under no-tillage

In crop year 2006/07, in Selviria, MS, Brazil, were analyzed the productivity of beans because of the chemical attributes of an Acrustox cultivated under conditions of high technological level of management by no-tillage irrigated with pivot central. The objective was to select, among the attributes studied soil, the one with the best representation to explain the variability of agricultural productivity. Geostatistical grid was installed to collect data from soil and plant, with 117 sampling points in an area of 2,025 m(2) and homogeneous slope of 0.055 m m(-1). From the standpoint of linear and spatial bean yield was respectively explained in terms of P and soil pH. So much for the values of phosphorus (P) in the intermediate layer and subsurface between 24-26 mg dm(-3), as well as for Hydrogen (pH) in the surface layer between 5.0 to 5.4, resulted in sites with the most high yield (2,160-2,665 kg ha(-1)).

Linear matrix inequality-based robust model predictive control for time-delayed systems

This work addresses the solution to the problem of robust model predictive control (MPC) of systems with model uncertainty. The case of zone control of multi-variable stable systems with multiple time delays is considered. The usual approach of dealing with this kind of problem is through the inclusion of non-linear cost constraint in the control problem. The control action is then obtained at each sampling time as the solution to a non-linear programming (NLP) problem that for high-order systems can be computationally expensive. Here, the robust MPC problem is formulated as a linear matrix inequality problem that can be solved in real time with a fraction of the computer effort. The proposed approach is compared with the conventional robust MPC and tested through the simulation of a reactor system of the process industry.

TWO NEW WEAK CONSTRAINT QUALIFICATIONS AND APPLICATIONS

We present two new constraint qualifications (CQs) that are weaker than the recently introduced relaxed constant positive linear dependence (RCPLD) CQ. RCPLD is based on the assumption that many subsets of the gradients of the active constraints preserve positive linear dependence locally. A major open question was to identify the exact set of gradients whose properties had to be preserved locally and that would still work as a CQ. This is done in the first new CQ, which we call the constant rank of the subspace component (CRSC) CQ. This new CQ also preserves many of the good properties of RCPLD, such as local stability and the validity of an error bound. We also introduce an even weaker CQ, called the constant positive generator (CPG), which can replace RCPLD in the analysis of the global convergence of algorithms. We close this work by extending convergence results of algorithms belonging to all the main classes of nonlinear optimization methods: sequential quadratic programming, augmented Lagrangians, interior point algorithms, and inexact restoration.

Adaptation and Constraint in the Plant Reproductive Phase

Conservatism is a central theme of organismic evolution. Related species share characteristics due to their common ancestry. Some concern have been raised among evolutionary biologists, whether such conservatism is an expression of natural selection or of a constrained ability to adapt. This thesis explores adaptations and constraints within the plant reproductive phase, particularly in relation to the evolution of fleshy fruit types (berries, drupes, etc.) and the seasonal timing of flowering and fruiting. The different studies were arranged along a hierarchy of scale, with general data sets sampled among seed plants at the global scale, through more specific analyses of character evolution within the genus Rhamnus s.l. L. (Rhamnaceae), to descriptive and experimental field studies in a local population of Frangula alnus (Rhamnaceae). Apart from the field study, this thesis is mainly based on comparative methods explicitly incorporating phylogenetic relationships. The comparative study of Rhamnus s.l. species included the reconstruction of phylogenetic hypotheses based on DNA sequences. Among geographically overlapping sister clades, biotic pollination was not correlated with higher species richness when compared to wind pollinated plants. Among woody plants, clades characterized by fleshy fruit types were more species rich than their dry-fruited sister clades, suggesting that the fleshy fruit is a key innovation in woody habitats. Moreover, evolution of fleshy fruits was correlated with a change to more closed (darker) habitats. An independent contrast study within Rhamnus s.l. documented allometric relations between plant and fruit size. As a phylogenetic constraint, allometric effects must be considered weak or non-existent, though, as they did not prevail among different subclades within Rhamnus s.l. Fruit size was correlated with seed size and seed number in F. alnus. This thesis suggests that frugivore selection on fleshy fruit may be important by constraining the upper limits of fruit size, when a plant lineage is colonizing (darker) habitats where larger seed size is adaptive. Phenological correlations with fruit set, dispersal, and seed size in F. alnus, suggested that the evolution of reproductive phenology is constrained by trade-offs and partial interdependences between flowering, fruiting, dispersal, and recruitment phases. Phylogenetic constraints on the evolution of phenology were indicated by a lack of correlation between flowering time and seasonal length within Rhamnus cathartica and F. alnus, respectively. On the other hand, flowering time was correlated with seasonal length among Rhamnus s.l. species. Phenological differences between biotically and wind pollinated angiosperms also suggested adaptive change in reproductive phenology.