Política de compras e contratações: trajetória e mudanças na administração pública federal brasileira

A tese analisa as mudanças da política de compras e contratações da administração pública federal brasileira descrevendo de forma sistemática os seis casos nos quais as regras e procedimentos sofrem alteração substancial, na forma de leis gerais ou estatutos: a centralização das compras no período Vargas, em dois momentos decisivos (1931 e 1940); a revisão das regras de licitação pelo Decreto-lei n. 200, no contexto da reforma administrativa do governo Castello Branco; a edição de um estatuto das licitações (o Decreto-lei n 2.300) no governo Sarney; a aprovação no Legislativo de uma lei de licitações voltada para o combate à corrupção e ao direcionamento dos contratos públicos (Lei 8.666); a tentativa frustrada de uma nova lei alinhada com a reforma gerencial do primeiro governo Fernando Henrique Cardoso e a criação do pregão como nova modalidade de licitação, em 2000. A pesquisa focaliza o processo político de formulação dos problemas, especificação de soluções e tomada de decisão, com base no modelo de John Kingdon, desdobrando a análise em fluxos do processo político, dos problemas emergentes e das soluções, em cada contexto histórico específico. Os seis casos são descritos por meio de narrativas estruturadas e comparados a partir das categorias do modelo teórico para elucidar como se desenvolveu o processo de mudança, quais os atores relevantes, idéias, modelos e eventos políticos que explicam suas circunstâncias e resultado.

Análise numérica do efeito de fatores influentes da reação álcali-agregado no desempenho de estruturas de concreto

The aim of this work is the numerical simulation of the mechanical performance of concrete affected by Alkali-Aggregate Reaction or RAA, reported by Stanton in 1940. The RAA has aroused attention in the context of Civil Engineering from the early 80, when they were reported consequences of his swelling effect in concrete structures, including cracking, failure and loss of serviceability. Despite the availability of experimental results the problem formulation still lacks refinement so that your solution remains doubtful. The numerical simulation is important resource for the assessment of damages in structures caused by the reaction, and their recoveries The tasks of support of this work were performed by means of the finite element approach, about orthotropic non-linear formulation, and, thermodynamic model of deformation by RAA. The results obtained revealed that the swelling effect of RAA induced decline of the mechanical performance of concrete by decreasing the margin of safety prior to the material failure. They showed that the temperature influences, exclusively, the kinetics of the reaction, so that the failure was the more precocious the higher the temperature of the solid mass of concrete

Uma contribuição crítica para o redesenho de cadeiras de rodas adaptadas para crianças e adolescentes com paralisia cerebral

This work was aimed at making a critical analysis of the product wheelchair, both for using four different models, which were objects of study of the dissertation of Cláudia Regina Cabral Galvão, entitled Critical Analysis of the Mobility Products Seated a wheelchair - Used by Children and Adolescents with Cerebral Palsy in Natal / RN and other municipalities of Rio Grande do Norte . This product is considered an instrument in the social rehabilitation of great importance for people with physical disabilities. This study aims to position the issue and develop comments on technical up grading of certain models according to the needs of the user. Describes features of four models in search searched through catalogs in order to know its advantages and disadvantages of use. Were presented the definitions of ergonomics and ergonomic aspects to be considered on a design, the study of anthropometry and its recommendations. Discussions the methodology of project design in two parts: the first, on the structuring of design problem (formulation, analysis, synthesis and evaluation.) And the second on the project (design and development, implementation and evaluation and solution). With that review will include the possibilities for a new redesign of the wheelchair, based on forms of adaptation in order to achieve the target that was compressed by the average population studied. Seeks to that this project makes an improvement in quality of life of people in wheelchairs by including these people in society but also the improvement of rehabilitation

Controle preditivo robusto baseado em desigualdades matriciais lineares aplicado a um sistema de tanques acoplados

This work deals with an on-line control strategy based on Robust Model Predictive Control (RMPC) technique applied in a real coupled tanks system. This process consists of two coupled tanks and a pump to feed the liquid to the system. The control objective (regulator problem) is to keep the tanks levels in the considered operation point even in the presence of disturbance. The RMPC is a technique that allows explicit incorporation of the plant uncertainty in the problem formulation. The goal is to design, at each time step, a state-feedback control law that minimizes a 'worst-case' infinite horizon objective function, subject to constraint in the control. The existence of a feedback control law satisfying the input constraints is reduced to a convex optimization over linear matrix inequalities (LMIs) problem. It is shown in this work that for the plant uncertainty described by the polytope, the feasible receding horizon state feedback control design is robustly stabilizing. The software implementation of the RMPC is made using Scilab, and its communication with Coupled Tanks Systems is done through the OLE for Process Control (OPC) industrial protocol

An unproblematic method to solve economic and emission dispatch

This paper proposes a method to determine the output of all online units with minimum total cost when the amount of emission is reasonable. A joint economic and emission dispatch is proposed in order to get a significant compromise between costs and emission such that real power supply-demand equilibrium is satisfied. In order to have a meaningful compromise between costs and emission in the problem formulation, two variables are used, weighting factor and price penalty factor. A case study comprising of a 3-unit power system is employed, where various demand is used. Results for the test system indicate the fastness and effectiveness of proposed method. © 2011 IEEE.

Improving the stability conditions of TS fuzzy systems with fuzzy Lyapunov functions

In this paper, the fuzzy Lyapunov function approach is considered for stabilizing continuous-time Takagi-Sugeno fuzzy systems. Previous linear matrix inequality (LMI) stability conditions are relaxed by exploring further the properties of the time derivatives of premise membership functions and by introducing a slack LMI variable into the problem formulation. The stability results are thus used in the state feedback design which is also solved in terms of LMIs. Numerical examples illustrate the efficiency of the new stabilizing conditions presented. © 2011 IFAC.

Reducing the conservatism of LMI-based stabilisation conditions for TS fuzzy systems using fuzzy Lyapunov functions

In this article, the fuzzy Lyapunov function approach is considered for stabilising continuous-time Takagi-Sugeno fuzzy systems. Previous linear matrix inequality (LMI) stability conditions are relaxed by exploring further the properties of the time derivatives of premise membership functions and by introducing slack LMI variables into the problem formulation. The relaxation conditions given can also be used with a class of fuzzy Lyapunov functions which also depends on the membership function first-order time-derivative. The stability results are thus extended to systems with large number of rules under membership function order relations and used to design parallel-distributed compensation (PDC) fuzzy controllers which are also solved in terms of LMIs. Numerical examples illustrate the efficiency of the new stabilising conditions presented. © 2013 Copyright Taylor and Francis Group, LLC.

Estratégia de decomposição aplicada ao problema de planejamento da expansão de sistemas de distribuição

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

Dinâmica de rotação de exoplanetas tipo terrestre com perturbação de terceiro corpo

In this work we study some topics of Celestial Mechanics, namely the problem of rigid body rotation and “spin-orbit” resonances. Emphasis is placed on the problem formulation and applications to some exoplanets with physical parameters (e.g. mass and radius) compatible with a terrestrial type constitution (e.g. rock) belonging to multiple planetary systems. The approach is both analytical and numerical. The analytical part consists of: i) the deduction of the equation of motion for the rotation problem of a spherical body with no symmetry, disturbed by a central body; ii) modeling the same problem by including a third-body in the planet-star system; iii) formulation of the concept of “spin-orbit” resonance in which the orbital period of the planet is an integer multiple of the rotation’s period. Topics of dynamical systems (e.g. equilibrium points, chaos, surface sections, etc.) will be included at this stage. In the numerical part simulations are performed with numerical models developed in the previous analytical section. As a first step we consider the orbit of the planet not perturbed by a third-body in the star-planet system. In this case the eccentricity and orbital semi-major axis of the planet are constants. Here the technique of surface sections, widely used in dynamical systems are applied. Next, we consider the action of a third body, developing a more realistic model for planetary rotation. The results in both cases are compared. Since the technique of disturbed surface sections is no longer applicable, we quantitatively evaluate the evolution of the characteristic angles of rotation (e.g. physical libration) by studying the evolution of individual orbits in the dynamically important regions of phase space, the latter obtained in the undisturbed case

Variability-tolerant High-reliability Multicore Platforms

Next generation electronic devices have to guarantee high performance while being less power-consuming and highly reliable for several application domains ranging from the entertainment to the business. In this context, multicore platforms have proven the most efficient design choice but new challenges have to be faced. The ever-increasing miniaturization of the components produces unexpected variations on technological parameters and wear-out characterized by soft and hard errors. Even though hardware techniques, which lend themselves to be applied at design time, have been studied with the objective to mitigate these effects, they are not sufficient; thus software adaptive techniques are necessary. In this thesis we focus on multicore task allocation strategies to minimize the energy consumption while meeting performance constraints. We firstly devise a technique based on an Integer Linear Problem formulation which provides the optimal solution but cannot be applied on-line since the algorithm it needs is time-demanding; then we propose a sub-optimal technique based on two steps which can be applied on-line. We demonstrate the effectiveness of the latter solution through an exhaustive comparison against the optimal solution, state-of-the-art policies, and variability-agnostic task allocations by running multimedia applications on the virtual prototype of a next generation industrial multicore platform. We also face the problem of the performance and lifetime degradation. We firstly focus on embedded multicore platforms and propose an idleness distribution policy that increases core expected lifetimes by duty cycling their activity; then, we investigate the use of micro thermoelectrical coolers in general-purpose multicore processors to control the temperature of the cores at runtime with the objective of meeting lifetime constraints without performance loss.

EVALUATING INFRASTRUCTURE PERFORMANCE TO ASSIST FACILITY MANAGEMENT TOWARD SUSTAINABLE SYSTEMS

Civil infrastructure provides essential services for the development of both society and economy. It is very important to manage systems efficiently to ensure sound performance. However, there are challenges in information extraction from available data, which also necessitates the establishment of methodologies and frameworks to assist stakeholders in the decision making process. This research proposes methodologies to evaluate systems performance by maximizing the use of available information, in an effort to build and maintain sustainable systems. Under the guidance of problem formulation from a holistic view proposed by Mukherjee and Muga, this research specifically investigates problem solving methods that measure and analyze metrics to support decision making. Failures are inevitable in system management. A methodology is developed to describe arrival pattern of failures in order to assist engineers in failure rescues and budget prioritization especially when funding is limited. It reveals that blockage arrivals are not totally random. Smaller meaningful subsets show good random behavior. Additional overtime failure rate is analyzed by applying existing reliability models and non-parametric approaches. A scheme is further proposed to depict rates over the lifetime of a given facility system. Further analysis of sub-data sets is also performed with the discussion of context reduction. Infrastructure condition is another important indicator of systems performance. The challenges in predicting facility condition are the transition probability estimates and model sensitivity analysis. Methods are proposed to estimate transition probabilities by investigating long term behavior of the model and the relationship between transition rates and probabilities. To integrate heterogeneities, model sensitivity is performed for the application of non-homogeneous Markov chains model. Scenarios are investigated by assuming transition probabilities follow a Weibull regressed function and fall within an interval estimate. For each scenario, multiple cases are simulated using a Monte Carlo simulation. Results show that variations on the outputs are sensitive to the probability regression. While for the interval estimate, outputs have similar variations to the inputs. Life cycle cost analysis and life cycle assessment of a sewer system are performed comparing three different pipe types, which are reinforced concrete pipe (RCP) and non-reinforced concrete pipe (NRCP), and vitrified clay pipe (VCP). Life cycle cost analysis is performed for material extraction, construction and rehabilitation phases. In the rehabilitation phase, Markov chains model is applied in the support of rehabilitation strategy. In the life cycle assessment, the Economic Input-Output Life Cycle Assessment (EIO-LCA) tools are used in estimating environmental emissions for all three phases. Emissions are then compared quantitatively among alternatives to support decision making.

Omnidirectional bearing-only see-and-avoid for small aerial robots:

Motivated by the growing interest in unmanned aerial system's applications in indoor and outdoor settings and the standardisation of visual sensors as vehicle payload. This work presents a collision avoidance approach based on omnidirectional cameras that does not require the estimation of range between two platforms to resolve a collision encounter. It will achieve a minimum separation between the two vehicles involved by maximising the view-angle given by the omnidirectional sensor. Only visual information is used to achieve avoidance under a bearing-only visual servoing approach. We provide theoretical problem formulation, as well as results from real flight using small quadrotors

Network lifetime maximization with cross-layer design in wireless sensor networks

This paper investigates a cross-layer design approach for minimizing energy consumption and maximizing network lifetime (NL) of a multiple-source and single-sink (MSSS) WSN with energy constraints. The optimization problem for MSSS WSN can be formulated as a mixed integer convex optimization problem with the adoption of time division multiple access (TDMA) in medium access control (MAC) layer, and it becomes a convex problem by relaxing the integer constraint on time slots. Impacts of data rate, link access and routing are jointly taken into account in the optimization problem formulation. Both linear and planar network topologies are considered for NL maximization (NLM). With linear MSSS and planar single-source and single-sink (SSSS) topologies, we successfully use Karush-Kuhn-Tucker (KKT) optimality conditions to derive analytical expressions of the optimal NL when all nodes are exhausted simultaneously. The problem for planar MSSS topology is more complicated, and a decomposition and combination (D&C) approach is proposed to compute suboptimal solutions. An analytical expression of the suboptimal NL is derived for a small scale planar network. To deal with larger scale planar network, an iterative algorithm is proposed for the D&C approach. Numerical results show that the upper-bounds of the network lifetime obtained by our proposed optimization models are tight. Important insights into the NL and benefits of cross-layer design for WSN NLM are obtained.

A Multi-agent Framework for Distributed Decision-making Systems

An approach of building distributed decision support systems is proposed. There is defined a framework of a distributed DSS and examined questions of problem formulation and solving using artificial intellectual agents in system core.

New methods for movement technique development in cross-country skiing using mathematical models and simulation

This Licentiate Thesis is devoted to the presentation and discussion of some new contributions in applied mathematics directed towards scientific computing in sports engineering. It considers inverse problems of biomechanical simulations with rigid body musculoskeletal systems especially in cross-country skiing. This is a contrast to the main research on cross-country skiing biomechanics, which is based mainly on experimental testing alone. The thesis consists of an introduction and five papers. The introduction motivates the context of the papers and puts them into a more general framework. Two papers (D and E) consider studies of real questions in cross-country skiing, which are modelled and simulated. The results give some interesting indications, concerning these challenging questions, which can be used as a basis for further research. However, the measurements are not accurate enough to give the final answers. Paper C is a simulation study which is more extensive than paper D and E, and is compared to electromyography measurements in the literature. Validation in biomechanical simulations is difficult and reducing mathematical errors is one way of reaching closer to more realistic results. Paper A examines well-posedness for forward dynamics with full muscle dynamics. Moreover, paper B is a technical report which describes the problem formulation and mathematical models and simulation from paper A in more detail. Our new modelling together with the simulations enable new possibilities. This is similar to simulations of applications in other engineering fields, and need in the same way be handled with care in order to achieve reliable results. The results in this thesis indicate that it can be very useful to use mathematical modelling and numerical simulations when describing cross-country skiing biomechanics. Hence, this thesis contributes to the possibility of beginning to use and develop such modelling and simulation techniques also in this context.