999 resultados para Princípio da verificação
Resumo:
This research has as objective of study the evolution of the accountancy princliple terminology which is present in the accounting conceptual framework. The scene of this research will have as target the North American School of Accounting. The choice of the searched terminology is its relevance in the study of the Accounting Theory. To understand the evolution of the accountancy thought, will be boarded: the influence of the Feudal System and the Mercantilism in the European economic conception; the importance of the Industrial Revolution in the beginning of the accounting standards and the influence of England in the formation of the North American School of Accounting. With relation to U.S.A., the development of the economic-financial scene of the American society will be evaluated, focusing the contribution in the search of the construction of an applied theoretical framework to the Accounting. The economic-financial development of U.S.A. provided the sprouting of new users with specific necessities. The necessity of the user for useful information for the decision taking, unchained the process of research directed toward the establishment of an applied Accountancy terminology. In this process, the paper exerted for the responsible accountancy organisms for the accounting standards will be boarded, as well as the professionals associations which had invested in researches, aiming at to elaborate a body of accountancy principles and to adjust the accountancy procedures to the necessities of the users. To reach the research objective, a bibliographical revision in specialized literature will be effected, adopting the historical method, in the period that understands the development of the North American School of Accounting. As result of the research, it can conclude that the evolution process of the terminology which is studied presents a structural logical problem, because the impossibility of the construction of a theoretical framework, having as bases the principle terminology. The impossibility occurred in function of the reach attributed to the term, which made a difficult in its application in the elaboration of the accountancy procedures
Resumo:
A presente pesquisa tem como objeto de estudo o campo religioso espírita no aspecto de sócio-espiritual, junto aos trabalhadores do Departamento de Assistência Social em duas instituições: O Centro Espírita Irmãos do Caminho e Grupo Espírita Oscar Nelson, para tanto analisando comparativamente aspectos de duas instituições espíritas na cidade de Natal, respectivamente com 27 e 46 anos de funcionamento. O critério de escolha das referidas casas foi pela relevância das atividades sociais e assistenciais desenvolvidas pelas mesmas. O que se quer é verificar se existe a consciência desses trabalhadores em relação à universalidade na sua prática de acolher a todos que adentram em suas instituições, independente de religião que professem ou se expressam preconceitos ou qualquer intolerância em relação aos assistidos no Departamento de Assistência Social. Assim, compreender as casas espíritas como sistema de apoio para as pessoas em suas enfermidades quer sejam físicas, psicológicas ou espirituais, levando em conta princípios de moralidade
Resumo:
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
Resumo:
This research aims to understand the use of the territory from the Rio Grande do Norte to the circuit spatial of production from the Biodiesel understanding it as part of the national context. The introduction of biodiesel into the Brazilian energy matrix begins to take shape in the year 2005 with the implementation of the National Program for Production and Use of Biodiesel (NPPB). This is anchored on three pillars: social inclusion (through family agriculture), environmental sustainability and economic viability. The NPPB consists of a set of standards, which turned into shares and distributed by almost all the national territory. Our reflection assumes that the places accommodating different forms of productive activities and, thus, the performance of the circuit space of biodiesel production depends on several factors, including the configuration of the territory they receive this new nexus economic. Understanding that the places by their technical content determine the realization of productive activities, it was found that the inclusion of this circuit space production in Rio Grande do Norte, reveals the reality expressed in the national territory, where some places are endowed with a privileged technical content and other extremely poor infrastructure. As our research could confirm the circuit space of biodiesel production that is expressed in the way plants are distributed within the country (mostly in South-Central), in more significant participation of small farmers in the South in the supply of raw material for the production of biodiesel and the main raw material used for the production of agrofuels (soybeans, whose production sector is highly consolidated and technified). Already the project materialization of NPPB regarding the settlements and communities of the Rio Grande do Norte State, we observed that the "event" or advent of realization encountered a technical means lacking in infrastructure that need to be molded to the needs of production, or is to cultivate castor beans or sunflower would be needed inputs and implements that farmers don´t have. Given the above, the research concludes that, as proposed previously, the use of the territory of Rio Grande do Norte to this circuit has summarized the performance of experiments, either with regard to the participation of family farmers as suppliers of raw materials, including the development of related research in the stage of production fuel oil by Petrobras. This finding came from research done from the concept of "spatial circuits of production," which allowed the verification of the circuit that steps outlined in Potiguar territory. Regarding the inclusion of family farmers in the productive circuit in RN, research reveals that, in the manner as has been done, it is doomed to failure. Furthermore, we dare say that this persistence in trying to put these family farmers, the way is being made, and the resulting successive failures, indicating that social inclusion advocated by NPPB not take place, and that this production circuit relies on the same logic circuit concentrated and exclusive space for ethanol production
Resumo:
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.
Resumo:
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.
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
Resumo:
Pós-graduação em Biologia Geral e Aplicada - IBB
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)