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.

Práticas de governança de tecnologia da informação: um estudo de caso em empresas de telecomunicações do Rio Grande do Norte

This study aims to understand the general model of governance of information technology adopted by telecommunication companies operating in Rio Grande do Norte. The research methodology used involved a theoretical and empirical approach prepared, involving two case studies on companies in the telecommunications industry working in the state of Rio Grande do Norte. The study covered the area of IT organizations, through interviews with managers responsible for the area of Telecommunications / IT. To study in accordance with the approach and address the problem of research, this study was based on qualitative criteria, which enabled the understanding of how companies adopt the governance of information technology. In conclusion, it was found that the governance practices of information technology employees are incipient, but that meet the needs of business and that they intend to implement in specific areas and use other practices of IT governance

Estudo do aproveitamento de resíduo de gesso como carga para compósito com matriz de resina expansiva de mamona

In the execution of civil engineering works, either by wasting during the coating of wall or demolition of gypsum walls, the generation of the gypsum waste involves serious environmental concerns. These concerns are increased by the high demand of this raw material in the sector and by the difficulties of proper disposal byproduct generated. In the search for alternatives to minimize this problem, many research works are being conducted, giving emphasis in using gypsum waste as fillers in composites materials in order to improve the acoustic, thermal and mechanical performances. Through empirical testing, it was observed that the crystallization water contained in the residue (CaSO4.2H2O) could act like primary agent in the expanding of the polyurethane foam. Considering that polyurethane produced from vegetable oils are biodegradable synthetic polymers and that are admittedly to represent an alternative to petrochemical synthetic polyurethane, this research consist an analysis of the thermal behavior of a composite whose matrix obtained from a resin derived from the expansive castor oil seed, with loads of 4%, 8%, 12% and 16% of gypsum waste replacing to the polyol prepolymer blend. Contributors to this analysis: a characterization of the raw material through analysis of spectroscopy by Fourier transform infrared (FTIR), chemical analysis by X-Ray Fluorescence (XRF) and mineralogical analysis by X Ray Diffraction (XRD), complemented by thermo gravimetric analysis (TGA). In order to evaluate the thermo physical properties and thermal behavior of the composites manufactured in die closed with expansion contained, were also carried tests to determine the percentage of open pore volume using a gas pycnometer, scanning electronic microscopy (SEM), in addition to testing of flammability and the resistance to contact with hot surfaces. Through the analysis of the results, it appears that it is possible to produce a new material, which few changes in their thermo physical properties and thermal performance, promotes significant changes and attractive to the environment

Cooperação em sagüis comuns callithrix jacchus: condições e restrições

The cooperative behavior is no longer a dilemma for the theory of evolution, since there are models that explain the evolution of this behavior by means of natural selection at the individual level. However, there have been few studies on the proximal factors that interfere with cooperative behavior. In the study of the influence of cognition on cooperation, many authors have been interested in situations in which individuals decide whether to act cooperatively and select partners with different qualities to cooperate. Of the factors studied, we highlight the need for understanding the apparatus and communication between partners to the occurrence of cooperation. Recently, highlight is the proposal that the ability to cooperate would be greater in species with cooperative breeding system. Thus, the common marmoset (Callithrix jacchus) is a New World monkey which stands as a valuable species for this type of study because it presents cooperative actions in nature, such as sharing food and protection of the community territory. Our experiment investigated whether common marmosets unrelated females (n = 6) were able to cooperate using an electrical and a mechanical apparatus, if this cooperation is a byproduct of individual actions or involve social attention, if it occurs inter-individual variation in the use of devices and formation of roles (producer / scrounger) in dyads. We use the number of rewards obtained by animals (Ratio of Correct Pulls) as indicators of cooperation and glances for partners (Ratio of Correct Glances) as indicators of social attention and communication. The results indicate that the type of apparatus was not a constraint for the occurrence of cooperation between the marmosets, but still has not been verified formation of roles in the dyads. The performance of animals in the two devices showed a large variation in the learning time, not having relationship with the performance in the tests phase. In both devices the level of social glances at control phases were casually correlated with any other phase, but the data showed that there was not social attention, that is, the monkeys realized that they gave food to the partners, but the partners did

Optimal attitude corrections for cylindrical spacecraft

A first order analytical model for optimal small amplitude attitude maneuvers of spacecraft with cylindrical symmetry in an elliptical orbits is presented. The optimization problem is formulated as a Mayer problem with the control torques provided by a power limited propulsion system. The state is defined by Seffet-Andoyer's variables and the control by the components of the propulsive torques. The Pontryagin Maximum Principle is applied to the problem and the optimal torques are given explicitly in Serret-Andoyer's variables and their adjoints. For small amplitude attitude maneuvers, the optimal Hamiltonian function is linearized around a reference attitude. A complete first order analytical solution is obtained by simple quadrature and is expressed through a linear algebraic system involving the initial values of the adjoint variables. A numerical solution is obtained by taking the Euler angles formulation of the problem, solving the two-point boundary problem through the shooting method, and, then, determining the Serret-Andoyer variables through Serret-Andoyer transformation. Numerical results show that the first order solution provides a good approximation to the optimal control law and also that is possible to establish an optimal control law for the artificial satellite's attitude. (C) 2003 COSPAR. Published by Elsevier B.V. Ltd. All rights reserved.

Meio ambiente e enfermagem: suas interfaces e inserção no ensino de graduação

A degradação ambiental vem modificando nosso cenário de forma acelerada e interferindo negativamente no processo saúde-doença de toda a comunidade. No entanto, o meio ambiente vem sendo concebido como um simples cenário, algo externo ao ser humano, não onde estamos inseridos e no qual acontecem suas interações e inter-relações. A complexidade dos problemas ambientais clama pela adoção de medidas que superem práticas assistencialistas, levando à adoção de práticas transdisciplinares que avancem na promoção da saúde. Neste artigo procura-se discutir, nesta perspectiva, a necessidade de inserção nos cursos de graduação em saúde a temática saúde e meio ambiente, adotando como exemplo um curso de enfermagem do interior paulista que inseriu uma disciplina relacionada ao tema. Analisa também o papel do enfermeiro na relação com o meio ambiente segundo a representação social dos alunos, trabalhada a partir do Discurso do Sujeito Coletivo. Nota-se que é fundamental discutir essa temática ambiental entre os profissionais da saúde, a fim de que eles se empoderem desse conhecimento e consigam identificar problemas relacionados à questão ambiental, propondo ações resolutivas e preventivas, juntamente com a comunidade, procurando amenizar os riscos ambientais a que todos estão expostos. Reforça-se a profundidade do papel dos profissionais de saúde diante dos problemas ambientais, buscando a saúde em uma perspectiva ampliada de promoção da saúde.

Discalculia do desenvolvimento: avaliação da representação numérica pela ZAREKI-R

O presente estudo investigou aspectos da representação numérica (processamento numérico e cálculo) e memória operacional de crianças com transtornos de aprendizagem. Participaram 30 crianças de idade entre 9 e 10 anos, ambos os gêneros, divididas em dois grupos: sem dificuldade em aritmética (SDA; N=11) e com dificuldade em aritmética (CDA; N=19), avaliadas pela ZAREKI-R, Matrizes Coloridas de Raven, o Blocos de Corsi e o BCPR. Crianças CDA exibiram escores levemente mais baixos que as SDA quanto ao nível intelectual e nos Blocos de Corsi. Na ZAREKI-R apresentaram prejuízo nos subtestes ditado de números, cálculo mental, problemas aritméticos e total. Crianças CDA apresentaram déficits específicos em memória operacional visuoespacial e comprometimento em processamento numérico e cálculo, compatível com discalculia do desenvolvimento.

Fundamentos de otimização por inteligência de enxames: uma visão geral

Este artigo apresenta uma breve revisão de alguns dos mais recentes métodos bioinspirados baseados no comportamento de populações para o desenvolvimento de técnicas de solução de problemas. As metaheurísticas tratadas aqui correspondem às estratégias de otimização por colônia de formigas, otimização por enxame de partículas, algoritmo shuffled frog-leaping, coleta de alimentos por bactérias e colônia de abelhas. Os princípios biológicos que motivaram o desenvolvimento de cada uma dessas estratégias, assim como seus respectivos algoritmos computacionais, são introduzidos. Duas aplicações diferentes foram conduzidas para exemplificar o desempenho de tais algoritmos. A finalidade é enfatizar perspectivas de aplicação destas abordagens em diferentes problemas da área de engenharia.

Percepção do egresso de enfermagem sobre a contribuição do curso para o exercício do cuidado

O estudo avaliou a formação em enfermagem ancorada na problematização e na aprendizagem baseada em problemas a partir da percepção dos egressos. Trata-se de estudo transversal de natureza ex-post-facto. Os resultados foram analisados na triangulação das abordagens quantitativa e qualitativa e na perspectiva hermenêutica dialética. Na abordagem quantitativa 180 egressos responderam um questionário. Na qualitativa, 14 participaram das entrevistas, que buscaram sentidos relacionados ao cuidado ideal, para construção dos indicadores que revelassem a lógica da avaliação. Esses indicadores nortearam a escolha das questões para triangulação. Os resultados apontaram que 85,1% dos egressos estão inseridos no mercado de trabalho, 92,1% cursaram pós-graduação e 99,1% acreditam apresentar formação necessária ao cuidado ético, humanizado e fundamentado. A análise dos dados aponta para formação comprometida com a construção da autonomia e do conhecimento, bem como articulada aos princípios do Sistema Único de Saúde e do mundo do trabalho em enfermagem.

The application of preprocessing and cutting plane techniques for a class of production planning problems

This paper investigates properties of integer programming models for a class of production planning problems. The models are developed within a decision support system to advise a sales team of the products on which to focus their efforts in gaining new orders in the short term. The products generally require processing on several manufacturing cells and involve precedence relationships. The cells are already (partially) committed with products for stock and to satisfy existing orders and therefore only the residual capacities of each cell in each time period of the planning horizon are considered. The determination of production recommendations to the sales team that make use of residual capacities is a nontrivial optimization problem. Solving such models is computationally demanding and techniques for speeding up solution times are highly desirable. An integer programming model is developed and various preprocessing techniques are investigated and evaluated. In addition, a number of cutting plane approaches have been applied. The performance of these approaches which are both general and application specific is examined.

As diferentes “personalidades” do número racional trabalhadas através da resolução de problemas

We address the different "personalities" of the rational number and the concept of proportionality, analyzing the possibilities for using the Mathematics Teaching and Learning through Problem-solving Method. This method is based on the principle that knowledge can be constructed through the use of problems that generate new concepts and new contents. The different meanings of rational number - rational point, quotient, fraction, ratio, and operator - are constructs that depend on mathematical theories in which they are imbedded and the situations that evoke them in problem-solving. Some data will be presented from continuing education courses for teachers, aiming to contribute to understanding regarding the different "personalities" of the rational number. In general, these "personalities" are not easily identified by teachers and students, which is the reason for the many difficulties encountered during problem-solving involving rational numbers. One of these "personalities", the ratio, provides the basis for the concept of proportionality, which is relevant because it is a unifying idea in mathematics.

Analog nonderivative optimizers

Analog networks for solving convex nonlinear unconstrained programming problems without using gradient information of the objective function are proposed. The one-dimensional net can be used as a building block in multi-dimensional networks for optimizing objective functions of several variables.

Conditional reasoning: A key to assessing computer-based knowledge-building communication processes

This article describes a methodological approach to conditional reasoning in online asynchronous learning environments such as Virtual-U VGroups, developed by SFU, BC, Canada, consistent with the notion of meaning implication: If part of a meaning C is embedded in B and a part of a meaning B is embedded in A, then A implies C in terms of meaning [Piaget 91]. A new transcript analysis technique was developed to assess the flows of conditional meaning implications and to identify the occurrence of hypotheses and connections among them in two human science graduate mixed-mode online courses offered in the summer/spring session of 1997 by SFU. Flows of conditional meaning implications were confronted with Virtual-U VGroups threads and results of the two courses were compared. Findings suggest that Virtual-U VGroups is a knowledge-building environment although the tree-like Virtual-U VGroups threads should be transformed into neuronal-like threads. Findings also suggest that formulating hypotheses together triggers a collaboratively problem-solving process that scaffolds knowledge-building in asynchronous learning environments: A pedagogical technique and an built-in tool for formulating hypotheses together are proposed. © Springer Pub. Co.

Conservation laws for non-potential operators

A study was developed in order to build a function M invariant in time, by means of Hamiltonian's formulation, taking into account the equation associated to the problem, showing that starting from this function the equation of motion of the system with the contour conditions for non-conservative considered problems can be obtained. The Hamiltonian method is extended for these kind of systems in order to validate for non-potential operators through variational approach.