O poder legislativo na verificação da legitimidade constitucional do processo de construção das leis

It is known that, in the Democratic State of Law paradigm, one of the most instigating themes is the legitimity of the Law. It justifies the interest in reflecting about the Legislative Process instituted by the Brasilian 1988 Constitution, more specifically field of the constitutionality control as away to guaranty of the legitimity of the Law. The research that is developed here, intents to bring to reflection the basis and the ways the Legislative Power has to proceed to Constitutionality Control of the laws and of the Legislative Process. As the focus taken here is about the Legislative Power, it starts from the presupposed that only by the adoption of legislative process which has to be connected to a rational speech, that will evidence the Democratic and Procedimental Law dimensions, guarantee the possibility of the public and private spheres of life act in complementarity that is such needed to the stabilization of the social expectatives and the concretization of the Brazilian Constitution

Algoritmos inteligentes para auto-correção, auto-verificação e auto-validação de medidas em sensores

This work presents a set of intelligent algorithms with the purpose of correcting calibration errors in sensors and reducting the periodicity of their calibrations. Such algorithms were designed using Artificial Neural Networks due to its great capacity of learning, adaptation and function approximation. Two approaches willbe shown, the firstone uses Multilayer Perceptron Networks to approximate the many shapes of the calibration curve of a sensor which discalibrates in different time points. This approach requires the knowledge of the sensor s functioning time, but this information is not always available. To overcome this need, another approach using Recurrent Neural Networks was proposed. The Recurrent Neural Networks have a great capacity of learning the dynamics of a system to which it was trained, so they can learn the dynamics of a sensor s discalibration. Knowingthe sensor s functioning time or its discalibration dynamics, it is possible to determine how much a sensor is discalibrated and correct its measured value, providing then, a more exact measurement. The algorithms proposed in this work can be implemented in a Foundation Fieldbus industrial network environment, which has a good capacity of device programming through its function blocks, making it possible to have them applied to the measurement process

Metodologia de Verificação Funcional para Circuitos Analógicos

This work proposes a new methodology to verify those analog circuits, providing an automated tools to help the verifiers to have a more truthful result. This work presents the development of new methodology for analog circuits verification. The main goal is to provide a more automated verification process to certify analog circuits functional behavior. The proposed methodology is based on the golden model technique. A verification environment based on this methodology was built and results of a study case based on the validation of an operational amplifier design are offered as a confirmation of its effectiveness. The results had shown that the verification process was more truthful because of the automation provided by the tool developed

Uma abordagem para a verificação do comportamento excepcional a partir de regras de designe e testes

Checking the conformity between implementation and design rules in a system is an important activity to try to ensure that no degradation occurs between architectural patterns defined for the system and what is actually implemented in the source code. Especially in the case of systems which require a high level of reliability is important to define specific design rules for exceptional behavior. Such rules describe how exceptions should flow through the system by defining what elements are responsible for catching exceptions thrown by other system elements. However, current approaches to automatically check design rules do not provide suitable mechanisms to define and verify design rules related to the exception handling policy of applications. This paper proposes a practical approach to preserve the exceptional behavior of an application or family of applications, based on the definition and runtime automatic checking of design rules for exception handling of systems developed in Java or AspectJ. To support this approach was developed, in the context of this work, a tool called VITTAE (Verification and Information Tool to Analyze Exceptions) that extends the JUnit framework and allows automating test activities to exceptional design rules. We conducted a case study with the primary objective of evaluating the effectiveness of the proposed approach on a software product line. Besides this, an experiment was conducted that aimed to realize a comparative analysis between the proposed approach and an approach based on a tool called JUnitE, which also proposes to test the exception handling code using JUnit tests. The results showed how the exception handling design rules evolve along different versions of a system and that VITTAE can aid in the detection of defects in exception handling code

Contribuições para verificação automática de applets javacard

The widespread growth in the use of smart cards (by banks, transport services, and cell phones, etc) has brought an important fact that must be addressed: the need of tools that can be used to verify such cards, so to guarantee the correctness of their software. As the vast majority of cards that are being developed nowadays use the JavaCard technology as they software layer, the use of the Java Modeling Language (JML) to specify their programs appear as a natural solution. JML is a formal language tailored to Java. It has been inspired by methodologies from Larch and Eiffel, and has been widely adopted as the de facto language when dealing with specification of any Java related program. Various tools that make use of JML have already been developed, covering a wide range of functionalities, such as run time and static checking. But the tools existent so far for static checking are not fully automated, and, those that are, do not offer an adequate level of soundness and completeness. Our objective is to contribute to a series of techniques, that can be used to accomplish a fully automated and confident verification of JavaCard applets. In this work we present the first steps to this. With the use of a software platform comprised by Krakatoa, Why and haRVey, we developed a set of techniques to reduce the size of the theory necessary to verify the specifications. Such techniques have yielded very good results, with gains of almost 100% in all tested cases, and has proved as a valuable technique to be used, not only in this, but in most real world problems related to automatic verification

Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC)

Este trabalho apresenta uma técnica de verificação formal de Sistemas de Raciocínio Procedural, PRS (Procedural Reasoning System), uma linguagem de programação que utiliza a abordagem do raciocínio procedural. Esta técnica baseia-se na utilização de regras de conversão entre programas PRS e Redes de Petri Coloridas (RPC). Para isso, são apresentadas regras de conversão de um sub-conjunto bem expressivo da maioria da sintaxe utilizada na linguagem PRS para RPC. A fim de proceder fia verificação formal do programa PRS especificado, uma vez que se disponha da rede de Petri equivalente ao programa PRS, utilizamos o formalismo das RPCs (verificação das propriedades estruturais e comportamentais) para analisarmos formalmente o programa PRS equivalente. Utilizamos uma ferramenta computacional disponível para desenhar, simular e analisar as redes de Petri coloridas geradas. Uma vez que disponhamos das regras de conversão PRS-RPC, podemos ser levados a querer fazer esta conversão de maneira estritamente manual. No entanto, a probabilidade de introdução de erros na conversão é grande, fazendo com que o esforço necessário para garantirmos a corretude da conversão manual seja da mesma ordem de grandeza que a eliminação de eventuais erros diretamente no programa PRS original. Assim, a conversão automatizada é de suma importância para evitar que a conversão manual nos leve a erros indesejáveis, podendo invalidar todo o processo de conversão. A principal contribuição deste trabalho de pesquisa diz respeito ao desenvolvimento de uma técnica de verificação formal automatizada que consiste basicamente em duas etapas distintas, embora inter-relacionadas. A primeira fase diz respeito fias regras de conversão de PRS para RPC. A segunda fase é concernente ao desenvolvimento de um conversor para fazer a transformação de maneira automatizada dos programas PRS para as RPCs. A conversão automática é possível, porque todas as regras de conversão apresentadas seguem leis de formação genéricas, passíveis de serem incluídas em algoritmos

Desenvolvimento de uma Lista de Verificação em Comunicação e Linguagem para os Transtornos do Espectro Autístico

A Lista de Verificação em Comunicação e Linguagem aqui apresentada foi elaborada para avaliar as especificidades de dois grupos distintos: os transtornos do espectro autístico e outras alterações de desenvolvimento da linguagem. Com essa finalidade foi aplicada em 60 participantes, divididos em dois grupos: 20 portadores de transtornos do espectro autístico (M=7, 11) e 40 portadores de outras alterações de desenvolvimento da linguagem (M=4, 10). Foi utilizado o teste do Qui-Quadrado para avaliar a validade do conteúdo e determinar quais questões deveriam ser retiradas do instrumento por não serem significativas. Os outros testes utilizados foram o Índice de Concordância Kappa e o teste de Mann-Withney. A Lista também apresentou uma sensibilidade de 90% e uma especificidade de 97,5%, o que demonstra a viabilidade de sua utilização como instrumento auxiliar na detecção de transtornos do espectro autístico.

Verificação da atividade antibacteriana de sabonete líquido contendo extrato glicólico de Dimorphandra mollis Benth.

Dimorphandra mollis Benth., Compositae, false barbatimão, has been used topically as a healing, astringent and antibacterial. In this study, antibacterial activity was verified on liquid soap containing glycolic extract of D. mollis (DGE) at different concentrations (8, 15 and 20%) and at different pH levels (6 and 8). Five soap formulations (F) were prepared: F1 - tryclosan (0.1%), F2 - DGE (8%), F3 - DGE (15%), F4 - DGE (20%) and F5 - without preservatives. Bark of D. mollis were dried in a circulating air oven and ground. The rude extracts were prepared by turbo extraction with ethanol. After screening, the extract were concentrated in rotating evaporator, lyophilized and resuspended in propileneglycol to obtain the glycolic extract. The antimicrobial activity was verified by diffusion in agar method, using cylinder in plate. Plates containing Staphylococcus aureus, Pseudomonas aeruginosa and Escherichia coli were incubated at 37°C for 24 hours. After incubation, the results were analysed with a pachymeter, observing the bacterial grouth inhibition halo diameter. It was verified that the liquid soap containing tryclosan caused on inhibition of bacterial growth at both pH levels; the soaps without preservatives and containing DGE, independently of the concentration and pH levels used, did not present antibacterial activity.

Óleos essenciais: verificação da ação antimicrobiana in vitro, na água e sobre a microbiota da pele humana

Pós-graduação em Biologia Geral e Aplicada - IBB

Verificação das boas práticas de fabricação (BFP) e análise da qualidade microbiológica de saladas adicionada de maionese comercializadas na cidade de São José do Rio Preto - SP

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Verificação automática da malha viária georreferenciada em imagens digitais

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Verificação da produção de anticorpos específicos em éguas prenhes vacinadas contra Rhodococcus equi e avaliação da transferência passiva destes anticorpos para os potros

Pós-graduação em Medicina Veterinária - FMVZ

Usabilidade de software: estudo de recomendações básicas para verificação do nível de conhecimento dos alunos dos cursos de Design Gráfico e Sistemas de Informação da UNESP/Bauru

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Verificação dos níveis de atenuação de protetores auriculares do tipo concha, utilizando microfone sonda

Pós-graduação em Design - FAAC

Verificação da formação de complexos protéicos nos telômeros de L. amazonensis

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)