Motivación de las resoluciones judiciales de casación civil y laboral dentro del debido proceso

Una de las mayores deficiencias que se puede encontrar en muchas de las sentencias dictadas por los administradores de justicia, es su falta de fundamentación que, en la práctica, puede ocasionar serios inconvenientes, ya que se estaría vulnerando varios principios constitucionales. Por ello, con este trabajo se aspira abordar a la motivación de las decisiones judiciales, como un tema de actualidad jurídica, determinando los parámetros, contenidos, características, una comparación con otros sistemas procesales, así como, la forma mediante la cual los órganos de la Función Judicial, especialmente, las Salas de lo Civil y de lo Laboral y Social de la Corte Suprema de Justicia (hoy Corte Nacional), deberían fundamentar sus resoluciones. Para el efecto, se han desarrollado tres capítulos. El primero, relativo a nociones previas sobre las providencias judiciales y la obligatoriedad o no de ser motivadas. El segundo capítulo analiza los elementos claves de la motivación, desde su concepto y fin, su alcance constitucional, las distintas formas de motivar, las venjajas y desventajas, y sus requisitos. Se explica, además, lo que hemos denominado criterios de verdad y validez como fundamentos de la motivación, en el que resaltan los principios lógicos de la sentencia, y la relación entre la verdad material y la validez formal (razonamiento sólido) que en un ejercicio práctico de lógica jurídica, intenta aportar con elementos para una motivación debida. El tercer capítulo contiene un análisis de derecho comparado de la motivación judicial en los sistemas de los países de la familia romano germánica, con los del common law. Finalmente, se presentan las conclusiones y recomendaciones sostenidas a lo largo de la investigación.

La teoría de restricciones aplicada al desarrollo de software

Esta tesis busca definir una alternativa para administrar los proyectos de desarrollo de software basándose en la Teoría de Restricciones del Dr. Eliyahu M. Goldratt y siguiendo los principios de la metodología Ágil Scrum, con el fin de lograr proyectos exitosos que satisfagan a los clientes y sean rentables para la compañía ejecutora. En el capítulo 1 se presenta el marco lógico de la Teoría de Restricciones y los 5 pasos propuestos para implementar un proceso de mejora continua identificado el elemento que limita al sistema y le impide generar los resultados financieros deseados. Se continúa con el análisis de las particularidades de los proyectos de desarrollo de software, las bases que sustentan a las metodologías de Desarrollo Ágil y se estudia en detalle a Scrum. En el capítulo 3 se conjugan las reglas del marco de trabajo Scrum con los lineamientos de la TOC para obtener una guía práctica para administrar los proyectos de desarrollo de software. Se evidencia que el proceso de desarrollo es un sistema con una restricción que lo limita y que se pueden aplicar los 5 pasos propuestos por la TOC para optimizarlo. Además, los argumentos lógicos de la Cadena Crítica, aplicación de la TOC para administrar proyectos, permite asignar amortiguadores en los lugares adecuados de la ruta del proyecto haciendo que el Scrum Master se enfoque en los desfases causados por los inevitables imprevistos. En el capítulo 4 se analizan las convenciones de la contabilidad de Throughput para definir indicadores de operación y de resultados que nos permitan monitorear y controlar los avances de los proyectos, determinar su éxito y poder comparar las continuas mejoras conseguidas con la aplicación de la TOC y Scrum. En el último capítulo el lector podrá encontrar la aplicación de la teoría analizada en un proyecto real que ha sido seleccionado para ilustrar de mejor manera el marco de trabajo propuesto.

Análisis de la implementación de facturación electrónica en el Ecuador: ventajas y desventajas frente a la facturación física

La vigente Ley de Comercio Electrónico, Firmas Electrónicas y Mensajes de Datos del Ecuador (Ley de Comercio Electrónico), publicada en el Registro Oficial número 557 (17 de abril de 2002), define la factura electrónica como el "conjunto de registros lógicos archivados en soportes susceptibles de ser leídos por equipos electrónicos de procesamiento de datos que documentan la transferencia de bienes y servicios, cumpliendo con los requisitos exigidos por las Leyes Tributarias, Mercantiles y más normas y reglamentos vigentes". Se desprende de esta definición, en primer lugar, que la factura electrónica documenta la transferencia de bienes y servicios, así como también, que los mensajes de datos y los documentos escritos tienen el mismo valor jurídico, siempre y cuando, los primeros cumplan los requisitos establecidos en este cuerpo legal. La emisión de documentos electrónicos se traduce como una solución innovadora que permite integrar los procesos internos de un negocio o empresa, con la generación, firma y envío de comprobantes de venta, retención o documentos complementarios tributarios electrónicos, logrando reducir los costos operativos e incrementando la productividad de una compañía, así como el fortalecimiento de los procesos de control tributario para reducir las brechas de evasión fiscal. En este sentido, este trabajo recoge en primer lugar la fundamentación teórica sobre la facturación electrónica y el marco normativo que ha implementado el SRI para su uso obligatorio; posteriormente analiza las ventajas y desventajas que trae consigo este nuevo esquema de emisión electrónica frente a la facturación física y los desafíos que representa tanto para la Administración Tributaria como para los contribuyentes; y por último, exhibe el proceso que se ha seguido para establecer el sistema, así como los resultados que se han obtenido después de algún tiempo de experiencia en los países más avanzados en el proceso de implementación de facturación electrónica en América Latina, tales como: Chile, Brasil, México, Argentina y Colombia.

Análisis de la situación de logística y distribución del segmento móvil en la Corporación Nacional de Telecomunicaciones Empresa Pública CNT EP

Ofrece conceptos básicos para encuadrar el tema de estudio. Se realiza un análisis situacional de la CNT EP, desde su nacimiento, macro y micro ambiente y planificación estratégica que contempla el Plan de Negocios 2013 y la descripción de las operaciones. Estudia los procesos de logística móvil. Presentación de la estructura orgánica y funcional de la Gerencia Nacional Financiera, la Jefatura de Logística y Bodegas y Logística Móvil, se incursiona en temas como la cultura de área, los sistemas de formalización, transaccionales que utiliza y todo el proceso integral de área. Se realiza un análisis de tiempos en el proceso de envío de muestras comerciales para liberación del lote comercial. Se analiza un caso y se aplica una encuesta con el fin de extrapolar la información, esto permite evidenciar el problema de demora en la distribución y recojo de dispositivos móviles. Realiza una entrevista con expertos y se ejecuta un diagrama de Pareto, para luego aplicar la técnica de los 5 porqués y determinar el plan de acción a ejecutarse.

Un estudio de La Sombra del Viento de Carlos RuizZafón desde una perspectiva de género

Esta tesina tiene el propósito de analizar las características de algunos de lospersonajes principales de La Sombra del Viento de Carlos Ruiz Zafón desde un punto de vistade género. El estudio se basa en diferentes teorías de género que pretenden funcionar comoherramientas para poder destacar las diferencias entre las descripciones femeninas y lasmasculinas que aparecen en la obra. Primero, definimos y concretamos el término género conla ayuda de las teorías de Yvonne Hirdman. En segundo lugar, presentamos la teoría deldualismo, de acuerdo con la cual Lena Gemzöe hace una división entre las cualidadesmasculinas y femeninas. El objetivo de nuestro estudio ha sido hacer un análisis de lascaracterísticas de algunos de los personajes principales de para demostrar si existenconstrucciones de identidad de género desde una perspectiva dualista. Como resultado denuestro estudio podemos afirmar que Zafón refuerza la división entre las cualidadesmasculinas y femeninas. Los personajes masculinos son descritos como fuertes, valientes,lógicos, intelectuales e independientes. Paralelamente, las mujeres son descritas como débiles,cobardes, intuitivas y dependientes. Además, consideramos que Zafón da a todos lospersonajes masculinos mayor espacio, estatus y protagonismo en el desarrollo de la historia.En todo momento, queda claro que Zafón crea de forma inconsciente el orden de género yrefuerza así las diferencias sexuales.

Blade : um editor de esquemáticos hierárquico voltado à colaboração

Este trabalho apresenta a proposta de um editor de diagramas hierárquico e colaborativo. Este editor tem por objetivo permitir a especificação colaborativa de circuitos através de representações gráficas. O Blade (Block And Diagram Editor), como foi chamado, permite especificações em nível lógico, usando esquemas lógicos simples, bem como esquemas hierárquicos. Ao final da montagem do circuito, a ferramenta gera uma descrição textual do sistema num formato netlist padrão. A fim de permitir especificações em diferentes níveis de abstração, o editor deve ser estendido a outras formas de diagramas, portanto seu modelo de dados deve ter flexibilidade a fim de facilitar futuras extensões. O Blade foi implementado em Java para ser inserido no Cave, um ambiente distribuído de apoio ao projeto de circuitos integrados, através do qual a ferramenta pode ser invocada e acessada remotamente. O Cave disponibiliza um serviço de colaboração que foi incorporado na ferramenta e através do qual o editor suporta o trabalho cooperativo, permitindo que os projetistas compartilhem dados de projeto, troquem mensagens de texto e, de forma colaborativa, construam uma representação gráfica do sistema. Objetivando fundamentar a proposta da nova ferramenta, é apresentado um estudo sobre ferramentas gráficas para especificação de sistemas, mais especificamente sobre editores de esquemáticos. A partir dessa revisão, do estudo do ambiente Cave e da metodologia de colaboração a ser suportada, fez-se a especificação do editor, a partir da qual implementou-se o protótipo do Blade. Além do editor, este trabalho contribuiu para a construção de uma API, um conjunto de classes Java que será disponibilizado no Cave e poderá ser utilizado no desenvolvimento de novas ferramentas. Foram realizados estudos sobre técnicas de projeto orientado a objeto, incluindo arquiteturas de software reutilizáveis e padrões de projeto de software, que foram utilizados na modelagem e na implementação da ferramenta, a fim de garantir a flexibilidade do editor e a reusabilidade de suas classes. Este trabalho também contribui com um estudo de modelagem de primitivas de projeto de sistemas. No modelo orientado a objetos utilizado no editor, podem ser encontradas construções muito utilizadas em diferentes ferramentas de projeto de sistemas, tais como hierarquia de projeto e instanciação de componentes e que, portanto, podem ser reutilizadas para a modelagem de novas ferramentas.

Uma Arquitetura de Hardware para estimação de movimento aplicada à compressão de vídeo digital

A tarefa de estimação de movimento, utilizada na compressão de vídeo digital, é normalmente realizada em hardware por processador dedicado, uma vez que demanda expressiva capacidade computacional. Este trabalho propõe e desenvolve uma arquitetura de hardware para realizar o cálculo dos vetores de movimento no contexto de compressão de vídeo digital. Essa arquitetura para estimação de movimento é composta pelos blocos: interface de entrada e saída (E/S), matriz de processamento com 64 elementos de processamento, unidade de comparação e unidade de controle. A arquitetura foi descrita em linguagem VHDL de maneira que o número de bits utilizados para representação da luminância dos pontos é configurável. A partir desta descrição, foi gerado um protótipo para dados representados em 4 bits utilizando um kit de desenvolvimento baseado no dispositivo FPGA XC2S150 da Xilinx. Para validação do algoritmo e da arquitetura implementada, além da simulação, foi desenvolvido um software para plataforma PC capaz de exercitar as funcionalidades do protótipo. O PC é utilizado como dispositivo controlador de E/S para esta validação, na qual uma implementação do algoritmo em software e outra em linguagem de descrição de hardware são comparadas. A máxima freqüência de trabalho do protótipo, estimada por simulação da arquitetura mapeada no FPGA XC2S150, é de 33 MHz. A esta freqüência o núcleo da arquitetura paralela de 64 elementos de processamento realiza cerca de 2,1 GOps (bilhões de operações inteiras por segundo). Esta arquitetura de hardware calcula os vetores de movimento para vídeo no formato 640x480 pontos à taxa de 107,32 quadros por segundo, ou um quadro a cada 9,3 ms. A arquitetura implementada para luminânica em 4 bits ocupa 16 pinos de E/S, 71,1% dos blocos lógicos do FPGA e 83,3% dos blocos de memória disponíveis no dispositivo XC2S150.

Um Modelo formal e executável de agentes BDI

Modelos BDI (ou seja, modelos Beliefs-Desires-Intentions models) de agentes têm sido utilizados já há algum tempo. O objetivo destes modelos é permitir a caracterização de agentes utilizando noções antropomórficas, tais como estados mentais e ações. Usualmente, estas noções e suas propriedades são formalmente definidas utilizandos formalismos lógicos que permitem aos teóricos analisar, especificar e verificar agentes racionais. No entanto, apesar de diversos sistemas já terem sido desenvolvidos baseados nestes modelos, é geralmente aceito que existe uma distância significativa entre esta lógicas BDI poderosas e sistemas reais. Este trabalho defende que a principal razão para a existência desta distância é que os formalismos lógicos utilizados para definir os modelos de agentes não possuem uma semântica operacional que os suporte. Por “semântica operacional” entende-se tanto procedimentos de prova que sejam corretos e completos em relação à semântica da lógica, bem como mecanismos que realizem os diferentes tipos de raciocínio necessários para se modelar agentes. Há, pelo menos, duas abordagens que podem ser utilizadas para superar esta limitação dos modelos BDI. Uma é estender as lógicas BDI existentes com a semântica operacional apropriada de maneira que as teorias de agentes se tornem computacionais. Isto pode ser alcançado através da definição daqueles procedimentos de prova para as lógicas usadas na definição dos estados mentais. A outra abordagem é definir os modelos BDI utilizando formalismos lógicos apropriados que sejam, ao mesmo tempo, suficientemente poderosos para representar estados mentais e que possuam procedimentos operacionais que permitam a utilizaçao da lógica como um formalismo para representação do conhecimento, ao se construir os agentes. Esta é a abordagem seguida neste trabalho. Assim, o propósito deste trabalho é apresentar um modelo BDI que, além de ser um modelo formal de agente, seja também adequado para ser utilizado para implementar agentes. Ao invés de definir um novo formalismo lógico, ou de estender um formalismo existente com uma semântica operacional, define-se as noções de crenças, desejos e intenções utilizando um formalismo lógico que seja, ao mesmo tempo, formalmente bem-definido e computacional. O formalismo escolhido é a Programação em Lógica Estendida com Negação Explícita (ELP) com a semântica dada pelaWFSX (Well-Founded Semantics with Explicit Negation - Semântica Bem-Fundada com Negação Explícita). ELP com a WFSX (referida apenas por ELP daqui para frente) estende programas em lógica ditos normais com uma segunda negação, a negação explícita1. Esta extensão permite que informação negativa seja explicitamente representada (como uma crença que uma propriedade P não se verifica, que uma intenção I não deva se verificar) e aumenta a expressividade da linguagem. No entanto, quando se introduz informação negativa, pode ser necessário ter que se lidar com programas contraditórios. A ELP, além de fornecer os procedimentos de prova necessários para as teorias expressas na sua linguagem, também fornece um mecanismo para determinar como alterar minimamente o programa em lógica de forma a remover as possíveis contradições. O modelo aqui proposto se beneficia destas características fornecidas pelo formalismo lógico. Como é usual neste tipo de contexto, este trabalho foca na definição formal dos estados mentais em como o agente se comporta, dados tais estados mentais. Mas, constrastando com as abordagens até hoje utilizadas, o modelo apresentanto não é apenas uma especificação de agente, mas pode tanto ser executado de forma a verificar o comportamento de um agente real, como ser utilizado como mecanismo de raciocínio pelo agente durante sua execução. Para construir este modelo, parte-se da análise tradicional realizada na psicologia de senso comum, onde além de crenças e desejos, intenções também é considerada como um estado mental fundamental. Assim, inicialmente define-se estes três estados mentais e as relações estáticas entre eles, notadamente restrições sobre a consistência entre estes estados mentais. Em seguida, parte-se para a definição de aspectos dinâmicos dos estados mentais, especificamente como um agente escolhe estas intenções, e quando e como ele revisa estas intenções. Em resumo, o modelo resultante possui duas características fundamentais:(1) ele pode ser usado como um ambiente para a especificação de agentes, onde é possível definir formalmente agentes utilizando estados mentais, definir formalmente propriedades para os agentes e verificar se estas propriedades são satifeitas pelos agentes; e (2) também como ambientes para implementar agentes.

Vantagem e desvantagem competitiva: os construtos e a métrica

Apesar de quase onipresente nos trabalhos de estratégia e áreas correlatas, o conceito de vantagem competitiva continua sendo um tema de debate na academia por não possuir uma definição aceita com consenso. Também o conceito de desvantagem competitiva, um correlato lógico deste primeiro, é objeto de acaloradas discussãoes. Uma manifestação disto é a discussão recente quanto aos fundamentos lógicos e filosóficos da idéia de Vantagem Competitiva levando o questionamento da própria existência deste conceito. O presente trabalho oferece uma proposta de definição constitutiva e operacional de vantagem competitiva que possibilita o desenvolvimento de uma métrica para a mesma. Esta métrica é aplicada em um trabalho empírico que mede a vantagem competitiva de 2805 empresas em 16 países com um total de 13.259 observações. O trabalho demonstra que a existência de vantagem competitiva não é um fato raro e que cerca de 10 a 12% das empresas analisadas apresentam uma vantagem competitiva estatisticamente significativa e outro tanto uma desvantagem competitiva igualmente significativa. Através desta proposta de Operacionalização do termo procuramos demonstrar a incidência e a relevância tanto da idéia de Vanatgem competitiva quanto de desvantagem competitiva.

Contabilização da inflação na empresa brasileira da lei 6.404 a instrução 64 da CVM

Começa-se por enfocar a Contabilidade apenas como modelo de medição, isolada da sua sobre determinação pelos modelos de decisão de seus usuários. Analisam-se os seus pilares lógicos (princípios fundamentais), como instrumentos de circunscrição do seu universo particular de observação. Derivam-se os sistemas contábeis como ordenamentos alternativos de interpretação da realidade micro-econômica . Acompanha-se a espiral de sua evolução dialeticamente levando à reformulação do próprio-modelo, que' se alarga ao• incorporar a inflação no âmbito do seu objeto de avaliação. Para a detecção e evidência dos efeitos inflacionários, discutem-se os sistemas contábeis corrigidos, lambem vistos como técnica viabilizadora da necessária constância na unidade de medida, perdida quando se antagonizam as duas funções da moeda, como padrão de aferição e como mercadoria de troca. Questiona-se o significado e adeqüacidade generalizadora dos índices de referencia complementar monetária, que se constituem no elo mais vulneravelmente viciador de toda a restante consistência lógica daqueles sistemas, por mais sofisticados que sejam. Da panorâmica teórica avança-se para aplicações práticas, tipificadas pelas duas versões locais de sistemas corrigidos de custos históricos. Detalha-se criticamente a sistemática de correção monetária implementada a partir da lei 6.404 que ainda hoje regulamenta a contabilidade financeira e fiscal da generalidade das empresas que operam no Brasil. Mostram-se os seus limites, procurando desfazerem-se diversos equívocos que a envolvem e as deturpações conceitual-contábeis que ela gera. Em especial, enfatiza-se a diferença entre resultado da correção monetária do balanço e resultado inflacionário, contestando-se o absurdo deferimentos da realização deste. Finalmente, aborda-se a proposta de correção integral- da Comissão de Valores Mobiliários (instrução 64), ainda sem vínculo tributário e apenas normativa para as companhias de capital aberto. Nela se assinalam a superarão das falhas técnicas da sistemática anterior e sobretudo o crescente primado da disciplina científica contábil sobre o casuísmo fiscal, que ela pode vir a ensejar. O que perspectivado como etapa de transparência e autonomização descentralizadora, vital à maturação de um estágio mais avançado no relacionamento econômico da sociedade

Identificação de nomes ativos em agentes-π baseada em tipos

Na última década muitos esforços têm sido feitos em verificação formal de propriedades de agentes do cálculo-π. Uma dessas propriedades é a equivalência observacional, que serve para determinar se um processo é equivalente a sua especificação. Contudo, a verificação de equivalência observacional não é um problema trivial. A maioria dos algoritmos destinados a verificação de equivalência são baseados na construção de sistemas de transições rotuladas (π-autômatos). O principal problema com essa abordagem é o grande número de estados envolvidos podendo chegar a um número infinito. Montanari e Pistore mostram que é possível gerar π-autômatos finitos para agentes-π e é possível reduzir a quantidade de estados desses π-autômatos, através da identificação dos nomes ativos. Um nome é semanticamente ativo em um agente se ele pode ser executado de forma observável por ele. Este é um trabalho de análise estática, que tem por objetivo coletar os possíveis nomes ativos contidos em expressões-π, utilizando para isso um sistema de tipos. A vantagem da utilização de sistemas de tipos em relação a outras formas de análise estática é que sistemas de tipos são sistemas lógicos, logo as técnicas de prova da lógica podem ser aproveitadas no estudo de propriedades de sistemas de tipos. Além disso sistemas de tipos são definidos através da estrutura sintática de expressões, facilitando assim as provas por indução estrutural. Assim a principal contribuição deste trabalho é a elaboração do Active-Base-π, um sistema de tipos para a coleta de nomes ativos de expressões-π.

Fundamentos da psicologia social

O tema central deste estudo é o dos fundamentos da Psicologia Social. Neste sentido, foram examinados pressupostos ontológicos, epistemológicos, lógicos e axiológicos mas, também, as bases conceituais, teóricas e metodológicas deste setor da Psicologia contemporânea. A justificar este empreendimento, encontram-se duas suposições: a de que qualquer ciência é inexoravelmente construída sobre postulados metafísicos e lógicos, e a de que a falta de clareza em relação a estes impede a instalação de programas de pesquisa consequentes. Os objetivos colimados na consecução deste trabalho podem ficar assim discriminados: caracterização da Psicologia social; análise de suas bases filosóficas e lógicas; especificação da origem e classificação dos conceitos psicossociológicos; avaliação do estágio de teorização atingido na Psicologia Social; e discussão de aspectos epistemológicos da metodologia de pesquisa psicossociológica. Este texto pode ser classificado como filosófico. E pode sê-lo em virtude da natureza dos problemas submetidos à investigação e da metodologia empregada para este fim. São três as conclusões mais relevantes: em primeiro lugar, a de que em todas as ciências sociais e humanas, por subsistirem diversos pressupostos antropológicos ou imagens do Homem, cabe fomentar o pluralismo teórico; a de que nas disciplinas-psicológicas, a orientação nomotética - uma dentre várias alternativas doutrinárias existentes - deve continuar a ser desenvolvida; e, finalmente, a de que a Psicologia Social insere-se como elemento importante no processo de autoconsciência do Homem.

Construção de tabelas verdade - Parte 3

O vídeo explica a construção de uma tabela verdade através de uma proposição composta. O primeiro passo é definir os valores de cada variável de forma direta. Depois, definir as colunas de cada sub-fórmula e preencher as colunas aplicando operadores, e com isso, definir os valores lógicos da proposição final.

Condomínios fechados: a produção habitacional contemporânea e a auto-exclusão dos ricos no espaço urbano de Natal RN (1995 2003)

The present work analyzes the fast evolution of gated communities in Natal-RN´s urban space. Characterized by the occupation of large areas, providing private security and utilities, this kind of real estate use arises a long list of questions and issues from society and scholars, due to privatization of urban space, bending of law constraints and the lack of an integrated planning of the cities where they are built. The reasons for its fast growth in Brazil s urban areas are analyzed, considering the impact on formal urban planning and municipal services and on the identification of urbanistic, architectural pattern and constraints, as well as legal, social and economic issues. This study is based on the detailed analysis of the first three units of gated communities built in the urban space in Natal, between 1995 and 2003, including their evolution throughout time and the specific social and economic reasons for its present widespread adoption in Brazilian real estate market and, particulary, in our city. The main objective of this piece of work is to answer the why s and how s these phenomena evolved, setting a basis for the definition of adequate public policies and regulation of this kind of urban land use

Ambiente para avaliação de controladores fuzzy aplicados ao método de elevação artificial por bombeio centrífugo submerso

From their early days, Electrical Submergible Pumping (ESP) units have excelled in lifting much greater liquid rates than most of the other types of artificial lift and developed by good performance in wells with high BSW, in onshore and offshore environments. For all artificial lift system, the lifetime and frequency of interventions are of paramount importance, given the high costs of rigs and equipment, plus the losses coming from a halt in production. In search of a better life of the system comes the need to work with the same efficiency and security within the limits of their equipment, this implies the need for periodic adjustments, monitoring and control. How is increasing the prospect of minimizing direct human actions, these adjustments should be made increasingly via automation. The automated system not only provides a longer life, but also greater control over the production of the well. The controller is the brain of most automation systems, it is inserted the logic and strategies in the work process in order to get you to work efficiently. So great is the importance of controlling for any automation system is expected that, with better understanding of ESP system and the development of research, many controllers will be proposed for this method of artificial lift. Once a controller is proposed, it must be tested and validated before they take it as efficient and functional. The use of a producing well or a test well could favor the completion of testing, but with the serious risk that flaws in the design of the controller were to cause damage to oil well equipment, many of them expensive. Given this reality, the main objective of the present work is to present an environment for evaluation of fuzzy controllers for wells equipped with ESP system, using a computer simulator representing a virtual oil well, a software design fuzzy controllers and a PLC. The use of the proposed environment will enable a reduction in time required for testing and adjustments to the controller and evaluated a rapid diagnosis of their efficiency and effectiveness. The control algorithms are implemented in both high-level language, through the controller design software, such as specific language for programming PLCs, Ladder Diagram language.