Uma abordagem indireta para o Controlador em Modo Dual Adaptativo Robusto

In this work is proposed an indirect approach to the DualMode Adaptive Robust Controller (DMARC), combining the typicals transient and robustness properties of Variable Structure Systems, more specifically of Variable Structure Model Reference Adaptive Controller (VS-MRAC), with a smooth control signal in steady-state, typical of conventional Adaptive Controllers, as Model Reference Adaptive Controller (MRAC). The goal is to provide a more intuitive controller design, based on physical plant parameters, as resistances, inertia moments, capacitances, etc. Furthermore, with the objective to follow the evolutionary line of direct controllers, it will be proposed an indirect version for the Binary Model Reference Adaptive Controller (B-MRAC), that was the first controller attemptting to act as MRAC as well as VS-MRAC, depending on a pre-defined fixed parameter

Otimização de forma aplicando B-splines sob critério integral de tensões

This work proposes a computational methodology to solve problems of optimization in structural design. The application develops, implements and integrates methods for structural analysis, geometric modeling, design sensitivity analysis and optimization. So, the optimum design problem is particularized for plane stress case, with the objective to minimize the structural mass subject to a stress criterion. Notice that, these constraints must be evaluated at a series of discrete points, whose distribution should be dense enough in order to minimize the chance of any significant constraint violation between specified points. Therefore, the local stress constraints are transformed into a global stress measure reducing the computational cost in deriving the optimal shape design. The problem is approximated by Finite Element Method using Lagrangian triangular elements with six nodes, and use a automatic mesh generation with a mesh quality criterion of geometric element. The geometric modeling, i.e., the contour is defined by parametric curves of type B-splines, these curves hold suitable characteristics to implement the Shape Optimization Method, that uses the key points like design variables to determine the solution of minimum problem. A reliable tool for design sensitivity analysis is a prerequisite for performing interactive structural design, synthesis and optimization. General expressions for design sensitivity analysis are derived with respect to key points of B-splines. The method of design sensitivity analysis used is the adjoin approach and the analytical method. The formulation of the optimization problem applies the Augmented Lagrangian Method, which convert an optimization problem constrained problem in an unconstrained. The solution of the Augmented Lagrangian function is achieved by determining the analysis of sensitivity. Therefore, the optimization problem reduces to the solution of a sequence of problems with lateral limits constraints, which is solved by the Memoryless Quasi-Newton Method It is demonstrated by several examples that this new approach of analytical design sensitivity analysis of integrated shape design optimization with a global stress criterion purpose is computationally efficient

Avaliação de impactos não esperados: estudo de caso sobre o uso alternativo de crédito no Pronaf B

This Doctoral Dissertation deals with the evaluation of impacts, through the Case Study on deviations or redirects present in contracts Pronaf B, at Governador Mangabeira - BA , from 2011 to 2013. From the questioning about the expected impacts not contribute to the effectiveness of the program ? It was possible the measurement of the hypothesis that the effectiveness of unexpected impacts stems from the logic of family farming, unique socio-economic conditions of individuals and family units. The methodology is structured in the theoretical framework regarding the impact assessment and family farming, data collection, questionnaires among redirected contracting credit in PRONAF B and interviews with institutional actors involved . The results confirmed the existence of a logic family farm, able to take own decisions their mode of reproduction of life. As for the impact assessment, we added the importance of the unexpected in the evaluation of public policy impacts , while study of effectiveness with the beneficiaries and the significant contribution of their views.

Contribuições para o processo de verificação de satisfatibilidade módulo teoria em Event-B

Event-B is a formal method for modeling and verification of discrete transition systems. Event-B development yields proof obligations that must be verified (i.e. proved valid) in order to keep the produced models consistent. Satisfiability Modulo Theory solvers are automated theorem provers used to verify the satisfiability of logic formulas considering a background theory (or combination of theories). SMT solvers not only handle large firstorder formulas, but can also generate models and proofs, as well as identify unsatisfiable subsets of hypotheses (unsat-cores). Tool support for Event-B is provided by the Rodin platform: an extensible Eclipse based IDE that combines modeling and proving features. A SMT plug-in for Rodin has been developed intending to integrate alternative, efficient verification techniques to the platform. We implemented a series of complements to the SMT solver plug-in for Rodin, namely improvements to the user interface for when proof obligations are reported as invalid by the plug-in. Additionally, we modified some of the plug-in features, such as support for proof generation and unsat-core extraction, to comply with the SMT-LIB standard for SMT solvers. We undertook tests using applicable proof obligations to demonstrate the new features. The contributions described can potentially affect productivity in a positive manner.