What is the translation of " PARACONSISTENT ANNOTATED " in Portuguese?

• paraconsistente anotada

Examples of using Paraconsistent annotated in English and their translations into Portuguese

Application of paraconsistent annotated logic in production engineering decision….
Aplicação de lógica paraconsistente anotada em tomadas de decisão na engenharia de….

The method is based on non-classical logic, the so-called paraconsistent annotated evidential logic e¿logic e¿.
O método é baseado na lógica não clássica, chamada de lógica paraconsistente anotada evidencial e¿(lógica etal).

The paraconsistent annotated logic(pal2v) is a non-classical logic that has the property to support contradictory signals without that the information conflict makes unviable the conclusions.
A lógica paraconsistente(lpa2v) trata-se de uma lógica não-clássica que possui a propriedade de suportar sinais contraditórios sem que o conflito de informações inviabilize as conclusões.

Choose the platform and the sensor, there was a study on the implementation of the paraconsistent annotated evidential e¿logic on the device.
Escolhida a plataforma e o sensor, realizou-se um estudo sobre implementação da lógica paraconsistente anotada evidêncial.

The main purpose of this paper is to apply the principles of paraconsistent annotated logic with annotation of two values(pal2v) to meet a process of palletizing by the flexibility of parts, differentiated according to their dimensional variation.
O principal objetivo deste trabalho é aplicar os princípios da lógica paraconsistente anotada de anotação com dois valores(lpa2v) para atender a um processo de paletização pela flexibilidade de peças, diferenciados de acordo com sua variação dimensional.

The software presented in this dissertation makes it possible to choose one of four different networks analysis paraconsistent annotated logic with annotation of two values.
O software apresentado nesta dissertação possibilita a escolha de uma das quatro configurações diferentes de rede de análise da lógica paraconsistente anotada de anotação com dois valores.

This work presents the development of a mpc(model predictive control), using paraconsistent annotated logic with annotation of two values(pal2v), as tool to obtain an optimum excitation control for a synchronous generator.
Este trabalho apresenta o desenvolvimento de controle preditivo baseado em modelo(mpc- model predictive control), utilizando a lógica paraconsistente anotada com anotação de dois valores(lpav2) como ferramenta para buscar o controle de excitação ótimo para o gerador síncrono.

The paraconsistent annotated logic of two values have been applied to control systems that can make treatment situations not covered by the classical logic and thus winning a significant advance in the form of treatment to give mixed signals.
A lógica paraconsistente anotada de dois valores tem sido aplicada em sistemas de controle que possam efetuar tratamento de situações não cobertas pela lógica clássica e assim conquistando um avanço significativo na forma de dar tratamento a sinais contraditórios.

New concepts of analysis and interpretation of lpal2v were developed and, from this point on, the lattice of paraconsistent annotated logic with annotation of two values adaptive(pal2va) was created.
Para tanto foram desenvolvidos novos conceitos de análise e interpretação do rlpa2v e a partir daí obtido o reticulado da lógica paraconsistente anotada de dois valores adaptativo rlpa2va.

The method applied in this study is based on paraconsistent annotated evidential logic e¿¿a non-classical logic which on the basis of data supplied by on the experts, can perform accurate and conflicting information and contribute to help the organizations in decision making processes.
O método aplicado neste estudo está baseado na lógica paraconsistente anotada evidencial e¿(lógica e¿),uma lógica não clássica que a partir do tratamento de dados fornecidos por especialistas, pode demonstrar situações com informações imprecisas ou conflitantes e auxiliar as organizações na tomada de decisão.

This dissertation consists to present a software was developed to normalize, process and analyze data related to electrical measurements and their alarms with help of paraconsistent annotated logic two values algorithms, a non-classical logical able to withstand contradictory signals.
Esta dissertação consiste em apresentar um sistema computacional que foi desenvolvido para normalizar, processar e analisar dados referentes as medições elétricas e seus respectivos alarmes com auxílio dos algoritmos da lógica paraconsistente anotada de dois valores(lpa2v), uma lógica não-clássica capaz de suportar sinais contraditórios.

This present work uses a process multivariable system with four tanks and paraconsistent annotated logic with annotation of two values pal2v for a template control of the controlled variable level and the manipulated variable adjustment, which are two automatics valves with three routes.
Este presente trabalho utiliza-se de um processo de sistema multivariável com quatro tanques e da lógica paraconsistente anotada com anotação de dois valores lpa2v para um modelo de controle da variável controlada de nível e o ajuste da variável manipulada, que são duas válvulas automáticas de 3 vias.

Proposes the creation and delivery without charge, a reusable library, implemented in javascript language, able to allow the creation of lattices of paraconsistent logic and demonstrate the mathematical treatment on the algorithms extracted from the logic of fundamentals paraconsistent annotated with two values pal2v.
Propõe a criação e disponibilização sem ônus, de uma biblioteca reutilizável, implementada na linguagem javascript, capaz de permitir a criação de um reticulado de 4 vértices associado à lógica paraconsistente anotada e demonstrar o tratamento matemático relativo aos algoritmos extraídos dos fundamentos da lógica paraconsistente anotada de dois valores lpa2v.

The work presented in this dissertation aims to offer a new approach to the analysis of associated lattice of paraconsistent annotated logic with annotation of two values(lpal2v) and its applicability to the development of control and automation equipment.
O trabalho apresentado nesta dissertação tem como objetivo oferecer uma nova abordagem de análise no reticulado da lógica paraconsistente anotada de dois valores(rlpa2v) e sua aplicabilidade no desenvolvimento de equipamentos de controle e automação.

Through the bending test experiment in three points made in the mechanical engineering laboratory of the santa cecilia university, was obtained strain measurements and bending thirty-seven specimens tested in order to measure the mechanical resistance to bending prepared ceramic floors according to nbr 13818/1997, to determine the behavior of the batch related to said sample ceramic tiles, through the weibull distribution model and paraconsistent annotated logic with annotation two values pal2v.
Através do experimento ensaio de flexão em três pontos realizado no laboratório de engenharia mecânica da universidade santa cecília, obteve se medidas de tensão e flexão de trinta e sete corpos de prova ensaiados com o propósito de medir a resistência mecânica a flexão de pisos cerâmicos preparados de acordo com a nbr 13818 /1997, para determinar o comportamento do lote referente à citada amostra de pisos cerâmicos, através do modelo de distribuição de weibull e da lógica paraconsistente anotada com anotação de dois valores lpa2v.

In this way, algorithms extracted from paraconsistent logic were used and in this work we use a type of paraconsistent logic called paraconsistent annotated with annotation of two logic values(pal2v) for developing a hybrid control system, acting in a level control system for pressure vessel.
Dessa forma, foram utilizados algoritmos extraídos de um tipo de lp denominada de lógica paraconsistente anotada, com anotação de dois valores(lpa2v) para o desenvolvimento de um sistema de controle híbrido, implementado em um controlador lógico programável, atuando em um sistema de controle de nível em vaso pressurizado.

The goal of this master's dissertation is to analyse the feasibility of using algorithms based on paraconsistent annotated logic with annotation of two values(pal2v) and its association with the solver computer tool(microsoft excel additive) as well as support the decision-making in uncertain situations.
Este trabalho em forma de dissertação de mestrado, se propõe a analisar a viabilidade da utilização de algoritmos fundamentados em lógica paraconsistente anotada com anotação de dois valores( lpa2v) e sua associação com a ferramenta computacional solver( aditivo da excel microsoft) como apoio às tomadas de decisões em situações de incertezas.

This work aims to present a solution of reduced environmental impact, by using the sunlight to generate electricity through a photovoltaic panel, with optimized performance through a self-orientaion system, made through an embedded software based on paraconsistent annotated evidential logic eτ, with which is possible to get superior performance when compared with a more commonly suited, fixed panel.
O presente trabalho apresenta uma solução de impacto ambiental reduzido, através do aproveitamento da luz solar para geração de energia elétrica por meio de um painel fotovoltaico, com rendimento otimizado através de um sistema de auto-orientação, feito através de um software embarcado baseado na lógica paraconsistente anotada evidencial eτ, com o qual se obtém uma performance superior, quando comparada com um painel fixo, sistema clássico e mais comumente empregado.

The way of data treatment used in this dissertation was the use of four different networks analysis paraconsistent annotated logic with annotation of two values(pal2v), which are able to provide satisfactory and sufficient results to identify the figures based on patterns of images of numerical codes extracted from containers.
A forma de tratamento de dados utilizada nesta dissertação foi o emprego de quatro diferentes redes de análise da lógica paraconsistente anotada de anotação com dois valores(lpa2v), que são capazes de fornecer resultados satisfatórios e suficientes para identificar os algarismos com base em padrões de imagens de códigos numéricos extraídos de contêineres.

Considering the operator¿s difficulty in classifying and diagnosing the fault, this article presents the results obtained through three values annotated paraconsistent logic(3vapl) in case-based reasoning(cbr) in order to identify different types of faults in the electrical power systems.
Em vista da dificuldade do operador em classificar e diagnosticar a falta, este trabalho apresenta os resultados obtidos da lógica paraconsitente anotada de três valores(lpa3v) em raciocínio baseado em casos(rbc), para classificar e identificar diferentes tipos de faltas no sistema elétrico de potência.

For this purpose, the research dealt with the evidential annotated paraconsistent logic e¿(lpa e¿)as a support to the use of the modified decision paraconsistent method mpdm.
Para isso, utilizou-se a lógica paraconsistente anotada evidencial e¿(lpa e¿)como suporte para o uso do método paraconsistente de decisão modificada mpdm.