Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico / Neste trabalho, o conceito de Modelo Minimal e seu uso na semÃntica de certas lÃgicas sÃo estudados. NÃs analisamos o poder expressivo de diversas lÃgicas que usam o conceito de Modelo Minimal para definir sua relaÃÃo de satisfaÃÃo. Os principais teoremas estudados foram o Teorema de LÃwenheim-Skolem e o Teorema de Definibilidade de Beth. No CapÃtulo 1, nÃs damos algumas motivaÃÃes e revisamos alguns conceitos bÃsicos de LÃgica. No CapÃtulo 2, nos estudamos a LÃgica de Menor Ponto Fixo|LFP. NÃs exibimos uma prova de que o Teorema de Beth nÃo vale para LFP. NÃs usamos teorias infinitas para provar isso. Utilizando um resultado de Hodkinson para L!!1!, nÃs mostramos que o Teorema de Beth continua nÃo valendo mesmo para teorias finitas de LFP. NÃs continuamos estudando problemas de definibilidade para LFP e demonstramos que, para tipos especiais de definiÃÃes implÃcitas formadas por Sistemas Recursivos, que funcionam como definiÃÃes recursivas em determinados contextos, existe uma definiÃÃo explÃcita. NÃs promavos ainda que o Teorema de LÃowenheim-Skolem Descendente vale para qualquer conjunto de fÃrmulas de LFP, independentemente de sua cardinalidade. No CapÃtulo 3, a CircunscriÃÃo de McCarthy e as Teorias Circunscritivas Aninhadas de Lifschitz, uma generalizaÃÃo da primeira. NÃs abordamos o poder expressivo de CircunscriÃÃo e a falha do Teorema de LÃowenheim-Skolem Descendente. NÃs tambÃm investigamos questÃes de definibilidade no contexto de CircunscriÃÃo. NÃs encerramos esse capÃtulo mostrando que as Teorias Circunscritivas Aninhadas possuem poder expressivo comparÃvel com o da LÃgica de Segunda-Ordem. No CapÃtulo 4, nÃs estendemos uma lÃgica criada por van Benthem dando origem a duas outras lÃgicas, a saber, U-MIN e I-MIN. NÃs provamos que ambas sÃo equivalentes entre si em poder expressivo e daà em diante chamamos U-MIN de MIN. NÃs introduzimos a LÃgica Si-MIN de minimalizaÃÃo simultÃnea e provamos que Si-MIN à equivalente a U-MIN e I-MIN e tambÃm à LÃgica de Segunda-Ordem. NÃs entÃo propomos o fragmento MIN de MIN, cujo poder expressivo situa-se entre o da LÃgica de Segunda-Ordem e o de LFP. No CapÃtulo 5, nÃs reunimos nossas conclusÃes e apontamos trabalhos futuros.

FundaÃÃo Cearense de Apoio ao Desenvolvimento Cientifico e TecnolÃgico / A terceira ediÃÃo dos Guias para a Qualidade de Ãgua PotÃvel da OrganizaÃÃo Mundial de SaÃde â OMS trouxe uma nova visÃo e preocupaÃÃo com a saÃde, cuja finalidade à a garantia da qualidade da Ãgua como instrumento de proteÃÃo à saÃde pÃblica. Para isso, o Plano de SeguranÃa da Ãgua (PSA) foi proposto como ferramenta para assegurar a qualidade da Ãgua proveniente de um sistema de abastecimento de Ãgua a partir de um planejamento integral de avaliaÃÃo dos riscos e gestÃo, envolvendo todas as etapas do sistema de abastecimento, desde a bacia de captaÃÃo atà a sua distribuiÃÃo ao consumidor final. O plano envolve algumas medidas essenciais para garantia da qualidade da Ãgua: a avaliaÃÃo do sistema de abastecimento de Ãgua, o monitoramento operacional eficaz e a sua respectiva gestÃo. O desenvolvimento do plano tambÃm abrange algumas etapas essenciais e, dentre elas, inclui-se a avaliaÃÃo dos fatores de perigo e caracterizaÃÃo dos riscos. Os mÃtodos utilizados no PSA baseiam-se em muitos dos princÃpios e conceitos aplicados em outros sistemas de gestÃo de riscos, como o sistema de barreiras mÃltiplas e a anÃlise de perigo e de pontos crÃticos de controle (APPCC). O presente trabalho traz uma proposta metodolÃgica utilizando ferramentas baseadas na LÃgica Fuzzy e metodologias de AnÃlise MulticritÃrio, com o intuito de auxiliar no processo decisÃrio. Como estudo de caso, foram selecionados os Sistemas de Abastecimento de Ãgua (SAA) que atendem 13 dos 15 municÃpios da RegiÃo Metropolitana de Fortaleza, no Estado do CearÃ. Utilizando a metodologia pode-se concluir que os sistemas estÃo com nÃvel de pertinÃncia mais preponderante, de maneira geral, em uma escala de Risco Baixo, fora o caso especÃfico de apenas um deles, que ficou com maior nÃvel de pertinÃncia para a escala de Risco Moderado. AlÃm de indicar os nÃveis de pertinÃncia do risco em que se encontra cada SAA, a metodologia permitiu ainda classificÃ-los em funÃÃo da escala de risco. Numa escala de risco e em nÃvel relativo, os municÃpios puderam ser classificados em ordem, onde o de mais baixo risco evidenciado foi o municÃpio de Maracanaà e, o Ãltimo, o de Cascavel. Ademais, a metodologia mostrou-se ser uma alternativa para fornecer subsÃdios para avaliaÃÃo dos riscos e tomada de decisÃo em consonÃncia com as diretrizes dos Planos de SeguranÃa da Ãgua. / The third edition of the Guidelines for Drinking Water Quality of the World Health Organization - WHO brought a new vision and concern for health, whose purpose is the guarantee of water quality as a tool for public health protection. For this, the Water Safety Plan (PSA) was proposed as a tool to ensure the quality of water from a water supply system from a comprehensive planning risk assessment and management, involving all stages of system supply, from catchment to distribution to final consumers. The plan involves some key measures to ensure the water quality evaluation system for water supply, operational monitoring and its effective administration thereof. The development plan also covers some essential steps, and among them include the assessment of risk factors and risk characterization. The methods used in the PSA are based on many of the principles and concepts applied in other systems of risk management, as the system of multiple barriers and Hazard Analysis and Critical Control Point (HACCP). This paper presents a methodology using fuzzy logic-based tools and Multicriteria Analysis methodologies in order to assist in decision making. As a case study, we selected the Water Supply Systems (WSS) that serve 13 of the 15 municipalities of the Metropolitan Region of Fortaleza, in CearÃ. Using the methodology can be concluded that systems with a level of relevance with a Low Risk scale are more prevalent, in general, outside the specific case of only one, who took higher level of relevance in the Moderate Risk scale. Besides indicating the relevance of the levels of risk of each WSS, the methodology also allowed us to classify them according to the scale of risk. On a scale of risk and the relative level, the municipalities could be sorted, where the lowest risk was evident to Maracanaà and the last, to Cascavel. Furthermore, the methodology proved to be an alternative to providing subsidies for risk assessment and decision making in line with the guidelines of the Water Safety Plans.

Os sistemas supervisÃrios estÃo cada vez mais presentes no cotidiano da indÃstria, pois a garantia de se ter informaÃÃo sobre os processos de produÃÃo em diversos locais simultaneamente à essencial para um bom monitoramento e controle. Contudo, a maioria dos desenvolvedores destas ferramentas nÃo utilizam modelos de desenvolvimento, tampouco mÃtodos de avaliaÃÃo da qualidade de softwares, tornando os projetos mais dispendiosos, devido ao retrabalho, e causando insatisfaÃÃo aos clientes devido ao nÃo cumprimento aos requisitos fundamentais. Portanto, existe uma necessidade de organizaÃÃo do processo de desenvolvimento e avaliaÃÃo de supervisÃrios. As normas ISO/IEC 9126 e 14598 sÃo utilizadas na metodologia proposta, pois fornecem um bom suporte para a identificaÃÃo das caracterÃsticas essenciais de um supervisÃrio, para a criaÃÃo de um padrÃo de qualidade e para o desenvolvimento de uma metodologia de avaliaÃÃo. Este trabalho apresenta uma proposta de modelo para o desenvolvimento de softwares supervisÃrios, acompanhado por um mÃtodo de avaliaÃÃo da qualidade baseado em lÃgica fuzzy para analisar as opiniÃes subjetivas de especialistas da Ãrea a respeito de requisitos de supervisÃrios. A eficiÃncia do uso do modelo foi verificada em Ãmbito educacional atravÃs de um projeto realizado por estudantes. A avaliaÃÃo revelou a qualidade de cada requisito e mostrou que o software completo atendeu a 69% do padrÃo de qualidade. Os atributos que estavam com ou sem falhas foram identificados e a avaliaÃÃo mostra quais erros precisam ser sanados para que o software seja entregue ao cliente. / The supervisory systems are increasingly present in everyday industry, because the guarantee of having information about production processes in diverse locations simultaneously is essential to good monitoring and control. However, developers these tools do not utilize development models, nor methods for assessing software quality, making projects more expensive, due to rework, and causing client dissatisfaction for not meeting fundamental requirements. Therefore, there is a need to organize the process of development and evaluation for supervision softwares. ISO / IEC 9126 and 14598 are used in methodology, as they provide good support to identify essential characteristics of supervisory software, to create quality standard and to development of evaluation methodology. This research proposes model for development of supervisory software, accompanied by method of quality assessment based on fuzzy logic to analyze subjective opinions of specialists about supervisory requirements. The efficiency to use model was verified in educational field through a project realized by students. The assessment revealed quality of each requirement and showed that the complete software attended 69% of the standard of quality. The attributes that were with or without failures were identified, and the evaluation shows errors that need to be solved for software can be delivered for client.

FundaÃÃo de Amparo à Pesquisa do Estado do Cearà / Apresentamos neste trabalho, uma analise numÃrica para obtenÃÃo de portas lÃgicas em acoplador nÃo-linear simÃtrico (NLDC) em fibras de cristal fotÃnico (PCF), que em sua secÃÃo transversal à formada com matriz periÃdica de buracos de ar, operando em pulso de luz ultracurtos na forma de sÃlitons, com duraÃÃo de 100fs (fentosegundos). Foram investigados formatos dos pulsos em modulaÃÃo por amplitude de pulso (PAM), com chaveamento de mudanÃa de amplitude (ASK), com objetivo de obter portas lÃgicas no NLDC-PCF triplo planar simÃtrico. Neste trabalho usamos acopladores duplos de fibra Ãptica na constituiÃÃo de um InterferÃmetro Mach-Zenhder para construir um sensor de corrente, sua funcionalidade à aplicada para investigar a qualidade da corrente alternada, quer seja na geraÃÃo, transmissÃo ou distribuiÃÃo de energia elÃtrica. Como o interferÃmetro de Mach-Zenhder usa um agente mecÃnico, usaremos o mesmo agente para construir o sensor de corrente constituÃdo de um PiezelÃtrico. Ao fazer o comparativo dos dois sensores, podemos destinar sua usabilidade em diferenciados consumidores / In this work, a numerical analysis to obtain gates in coupler symmetrical nonlinear (NLDC) in photonic crystal fibers (PCF), which in cross section is formed with periodic array of air holes, operating in light pulse ultrashort as solitons, lasting 100fs (fentosegundos). The pulses in pulse amplitude modulation formats were investigated (WFP), with amplitude shift keying (ASK), in order to obtain logic gates in the triple NLDC PCF-planar symmetrical. In this paper we use double couplers fiber optic in setting up a Mach-Zenhder Interferometer to build a current sensor, its functionality is applied to investigate the quality alternating current, whether in the generation, transmission or distribution of electricity. Since the interferometer of Mach-Zenhder uses a mechanical agent, agent will use the same for constructing the current sensor constituted of a piezoelectric. In making the comparison of the two sensors, we can allocate its usability in different consumers

Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico

CoordenaÃÃo de AperfeÃoamento de Pessoal de NÃvel Superior / This work describes the study and implementation of a hybrid control technique applied to the positioning of the rotor shaft in a three-phase induction motor (IM). The machine has been modeled using the field oriented control (FOC) strategy. In additional, it is used three controllers to obtain the design of the position loop, each one with different operating characteristics. Initially, two constant gain controllers are associated with the position loop diagram in the FOC technique in order to obtain a fastest response, with disturbance rejection and without overshoot. Therefore, it used a Proportional (P) controller based on Ziegler-Nichols tuning method so that a faster system response is achieved and a predictive control strategy called Generalized Predictive Control (GPC), based on Proportional â Integral controller tuning form, to smooth the overshoot caused by the P controller. Subsequently, seeking a more efficient performance of the position control in the IM, It used a control strategy based on fuzzy logic that takes into account the weighting of P and GPC controllers together. For purposes of validation, simulations and experimental results of the P, GPC and hybrid control strategies are presented. The simulation was set up in Matlab/Simulink and the experimental plant was implemented with a Digital Signal Controller (DSC), manufactured by Texas Instruments TMS320F2812. Analyzing the results, the Proportional demonstrated the fastest reference tracking, among the others techniques, with a settling time of 0.25 seconds, however with overshoot. The GPC controller presented a longer accommodation time, about 2 seconds and without overshoot. The application of the hybrid proposed technique combine the fast tracking reference of the P controller, about 1 second to reach the reference, and without overshoot as in the GPC controller results. Besides, the robust characteristic of both controllers was maintained in the hybridization proposed technique. / Este trabalho descreve o estudo e implementaÃÃo de uma tÃcnica de controle hÃbrida aplicada ao posicionamento do eixo de um motor de induÃÃo trifÃsico (MIT). O motor de induÃÃo foi modelado usando-se a estratÃgia de controle de campo orientado a fim de projetar para a malha de posiÃÃo trÃs controladores, cada um com diferentes caracterÃsticas de operaÃÃo. Neste caso, incorporou-se inicialmente à malha de posiÃÃo da estratÃgia de controle de campo orientado a aÃÃo de dois controladores de ganho constante com o objetivo de posicionar o eixo de forma rÃpida, com pouco sobressinal e com rejeiÃÃo à perturbaÃÃo. Desta forma, utilizou-se um controlador Proporcional (P) com sintonia baseada em Ziegler-Nichols de modo a se obter uma caracterÃstica mais rÃpida do sistema e, uma estratÃgia de controle preditivo denominada de GPC (Generalized Predictive Control) com o objetivo de suavizar a aÃÃo do controlador P em termos de elevado sobressinal considerando a sintonia do controlador GPC baseada em um controlador Proporcional-Integral (PI). Posteriormente, para se obter um desempenho mais eficiente do controle de posiÃÃo do MIT, utilizou-se uma estratÃgia de controle baseada em lÃgica fuzzy de modo a se levar em conta a ponderaÃÃo dos controladores P e GPC, conjuntamente. Para fins de validaÃÃo sÃo apresentados resultados da aplicaÃÃo das estratÃgias de controle P, GPC e hÃbrida no controle de posiÃÃo do MIT a partir de simulaÃÃes em ambiente Matlab/Simulink e atravÃs da implementaÃÃo do sistema de controle de posiÃÃo utilizando-se um processador digital de sinais, o DSP TMS320F2812 fabricado pela Texas Instruments. A partir dos resultados encontrados, o Proporcional demonstrou um rÃpido seguimento de referÃncia, dentre as tÃcnicas utilizadas, com tempo de acomodaÃÃo experimental de 0,25 segundos, porÃm com sobressinal. O controlador GPC apresentou um tempo de acomodaÃÃo maior, cerca de 2 segundos e sem sobressinal. A aplicaÃÃo da tÃcnica hÃbrida proposta conseguiu combinar o rÃpido seguimento de referÃncia do Proporcional, levando cerca de 1 segundo para alcanÃar a referÃncia, e sem sobressinal como o controlador GPC. AlÃm do que, como os controladores possuem uma caracterÃstica robusta tambÃm se garantiu essa propriedade para o hibridismo proposto.

FundaÃÃo de Amparo à Pesquisa do Estado do Cearà / CoordenaÃÃo de AperfeiÃoamento de Pessoal de NÃvel Superior / Este presente estudo examina a mudanÃa paradigmÃtica da filosofia de Wittgenstein. Tal mudanÃa ocorre quando o filÃsofo percebe que sua concepÃÃo atomista contÃm erros irrecusÃveis. O ponto de dissoluÃÃo dessa concepÃÃo foi a mudanÃa quanto à concepÃÃo de proposiÃÃo elementar/estado de coisas, a saber, quando Wittgenstein percebe que nÃo à mais possÃvel concebÃ-los atomicamente. O artigo Algumas ObservaÃÃes sobre a Forma LÃgica apresenta esse momento de ruptura, levando o filÃsofo a repensar sua concepÃÃo filosÃfica. Em um primeiro momento o filÃsofo vienense apoia-se em uma concepÃÃo de linguagem fenomenolÃgica, chegando a negÃ-la pouco tempo depois. Por fim, o estudo aponta para uma ruptura com essa concepÃÃo fenomenolÃgica, quando Wittgenstein entÃo parecerà defender uma concepÃÃo de linguagem como a da fÃsica, i. e., hipotÃtica. / The present study examines the paradigmatic change of Wittgensteinâs philosophy. Such a change takes place when the philosopher realizes that his atomistic approach has unsolving problems. The dissolution point of that conception concerns the change regarding the notion of elementary proposition/state of things, that is to say, when Wittgenstein realizes that it is no more reasonable conceiving them as logical atoms. His paper Some remarks on logical forms presents this breaking point and leads him to reevaluate his philosophical conception. Firstly, he is based on a phenomenological conception of language, but afterwords he negates it. Then, this study focuses on that break regarding his phenomenological conception, when Wittgenstein comes to defend a hypothetical conception of language, such as the Physics.

FundaÃÃo Cearense de Apoio ao Desenvolvimento Cientifico e TecnolÃgico / A noÃÃo de menor ponto-fixo de um operador à amplamente aplicada na ciÃncia da computaÃÃo como, por exemplo, no contexto das linguagens de consulta para bancos de dados relacionais. Algumas extensÃes da LÃgica de Primeira-Ordem (FOL)1 com operadores de ponto-fixo em estruturas finitas, como a lÃgica de menor ponto-fixo (LFP)2, foram propostas para lidar com problemas relacionados à expressividade de FOL. A LFP captura as classes de complexidade PTIME sobre a classe das estruturas finitas ordenadas. A caracterizaÃÃo descritiva de classes computacionais à uma abordagem central em Teoria do Modelos Finitos (FMT)3. O teorema de Trakhtenbrot, considerado o ponto de partida para FMT, estabelece que a validade sobre modelos finitos nÃo à recursivamente enumerÃvel, isto Ã, a completude falha sobre modelos finitos. Este resultado à baseado na hipÃtese de que qualquer sistema dedutivo à de natureza finita. Entretanto, nos podemos relaxar tal hipÃtese como foi feito no escopo da teoria da prova para aritmÃtica. A teoria da prova tem raÃzes no programa de Hilbert. ConseqÃÃncias teÃricas da noÃÃo de prova sÃo, por exemplo, relacionadas a teoremas de normalizaÃÃo, consistÃncia, decidibilidade, e resultados de complexidade. A teoria da prova para aritmÃtica tambÃm à motivada pelos teoremas de incompletude de GÃdel, cujo alvo foi fornecer um exemplo de um princÃpio matemÃtico verdadeiro e significativo que nÃo à derivÃvel na aritmÃtica de primeira-ordem. Um meio de apresentar esta prova à baseado na definiÃÃo de um sistema de prova com uma regra infinitÃria, a w-rule, que estabiliza a consistÃncia da aritmÃtica de primeira-ordem atravÃs de uma perspectiva de teoria da prova. Motivados por esta prova, iremos propor aqui um sistema infinitÃrio de prova para LFP que nos permitirà investigar propriedades em teoria da prova. Com tal sistema dedutivo infinito, pretendemos apresentar uma teoria da prova para uma lÃgica tradicionalmente definida no escopo de FMT. Permanece aberto um caminho alternativo de provar resultados jà obtidos com FMT e tambÃm novos resultados do ponto de vista da teoria da prova. AlÃm disso, iremos propor um procedimento de normalizaÃÃo com restriÃÃes para este sistema dedutivo, que pode ser usado em um provador de teoremas para computar consultas em banco de dados relacionais / The notion of the least fixed-point of an operator is widely applied in computer science as, for instance, in the context of query languages for relational databases. Some extensions of FOL with _xed-point operators on finite structures, as the least fixed-point logic (LFP), were proposed to deal with problem problems related to the expressivity of FOL. LFP captures the complexity class PTIME over the class of _nite ordered structures. The descriptive characterization of computational classes is a central issue within _nite model theory (FMT). Trakhtenbrot's theorem, considered the starting point of FMT, states that validity over finite models is not recursively enumerable, that is, completeness fails over finite models. This result is based on an underlying assumption that any deductive system is of finite nature. However, we can relax such assumption as done in the scope of proof theory for arithmetic. Proof theory has roots in the Hilbert's programme. Proof theoretical consequences are, for instance, related to normalization theorems, consistency, decidability, and complexity results. The proof theory for arithmetic is also motivated by Godel incompleteness theorems. It aims to o_er an example of a true mathematically meaningful principle not derivable in first-order arithmetic. One way of presenting this proof is based on a definition of a proof system with an infinitary rule, the w-rule, that establishes the consistency of first-order arithmetic through a proof-theoretical perspective. Motivated by this proof, here we will propose an in_nitary proof system for LFP that will allow us to investigate proof theoretical properties. With such in_nitary deductive system, we aim to present a proof theory for a logic traditionally defined within the scope of FMT. It opens up an alternative way of proving results already obtained within FMT and also new results through a proof theoretical perspective. Moreover, we will propose a normalization procedure with some restrictions on the rules, such this deductive system can be used in a theorem prover to compute queries on relational databases.

FundaÃÃo de Amparo à Pesquisa do Estado do Cearà / Nesta dissertaÃÃo foi estudada a aplicaÃÃo do filtro AcÃstico-Ãptico SintonizÃvel (AOTF), com a ModulaÃÃo de Pulsos por PosiÃÃo (PPM), objetivando implementar, utilizando o mÃtodo de Runge-Kutta de 4a ordem, portas lÃgicas (OR-OU e AND-E) Ãpticas operando com pulsos de luz ultracurtos (2ps). Neste trabalho à investigado o desempenho das portas considerando vÃrios comprimentos do filtro ( L) que integra a sua estrutura interna, com o intuito de obter o comprimento de filtro mais adequado para uma operaÃÃo satisfatÃria, em regime dispersivo, nÃo linear, sem perdas e com modulaÃÃo de fase cruzada (XPM). Esta investigaÃÃo à realizada em duas situaÃÃes: primeiramente, sÃo considerados filtros com automodulaÃÃo de fase (SPM) e GVD (dispersÃo da velocidade de grupo). Em um segundo momento, as mesmas portas sÃo obtidas com efeitos SPM, XPM e GVD agindo juntos no AOTF. Foi observado que para pulsos do tipo sÃliton, os efeitos da dispersÃo, da nÃo linearidade e da modulaÃÃo de fase cruzada exercem juntos uma forte influÃncia na propagaÃÃo do mesmo, provocando a quebra do pulso na saÃda do dispositivo quando utilizamos um comprimento maior para os filtros. Para dispositivos mais curtos, o pulso chaveado apresentou compressÃes e alargamentos temporais e espectrais, bem comodeslocamentos temporais nos dois modo de propagaÃÃo (TE e TM). ApÃs a escolha de um comprimento de filtro adequado, foi selecionado um deslocamento temporal Ãtimo a ser aplicado nos pulsos de entrada para conseguirmos, na saÃda da porta lÃgica, deslocamentos temporais satisfatÃrios (acertos) na aplicaÃÃo da modulaÃÃo PPM. Em seguida, introduzimos fases em um dos pulsos de entrada (TM), provocando um defasamento entre os pulsos TE e TM, reduzindo ainda mais a margem de erro PPM de operaÃÃo das portas. Finalmente, ao analisarmos as fases aplicadas no pulso TM (0 a 2), definirmos o melhor Ãngulo de fase para que as portas operem na regiÃo de acerto da modulaÃÃo PPM. / In this dissertation it was studied the application of the Acoustic Optical Tunable Filter (AOTF), with Pulse Position Modulation (PPM), aiming at to implement, using the method of Runge-Kutta of 4a order, logical gates (OR and AND) optical operating with pulses of light ultra shorts (2ps). In this work the acting of the gates is investigated, considering several lengths of the filter (  L) that integrates your internal structure, with the intention of obtaining the length of more appropriate filter for a satisfactory operation, in dispersion regime, nonlinear, without losses and with Cross Phase Modulation (XPM). This investigation is accomplished in two situations: firstly, filters are considered with Self Phase Modulation (SPM) and GVD (group-velocity dispersion). In a second moment, the same gates are obtained with effects SPM, XPM and GVD, acting together in AOTF. It was observed that for pulses of the type soliton, the effects of the dispersion, of the nonlinearity and of the cross phase modulation exercise together a strong influences in the propagation of the same, provoking the break of the pulse in the exit of the device when we used a larger length for the filters. For shorter devices, the switched pulse presented temporary and spectral compression and spread, as well as, displacement in the time in the two propagation modes (TE and TM). After the choice of a length of appropriate filter, a great temporary displacement was selected to be applied in the input pulses for us to get, in the exit of the logical gate, satisfactory temporary displacements (successes) in the application of the PPM modulation. Soon after, we introduced phases in one of the entrance pulses (TM), provoking a phase displacement among TE and TM pulses, still reducing more the margin of error PPM of operation of the gates. Finally, to the we analyze the applied phases in the pulse TM (0 to 2), we defined the best phase angle for the gates to operate in the success area of the PPM modulation.