Gestão do conhecimento na administração pública e uso de tecnologia da informação para melhoria dos resultados: o caso do Corpo de Intendentes da Marinha

Vivemos em uma sociedade cada vez mais globalizada, atenta, informada e exigente com os serviços prestados pelas organizações públicas e privadas. A tecnologia disponibiliza a um número cada vez maior de pessoas, em tempo real, um conjunto enorme de informações, opiniões, possibilitando que elas interajam com diferentes culturas e, desconsiderando suas distâncias, as unem de forma nunca antes experimentada pela humanidade. A influência da tecnologia vem trazendo consequências tão profundas ao nosso estilo de vida que, a cada nova invenção, novas experiências podem ser vividas e palavras como inovação, reinvenção e mudança estão constantemente em pauta. Nesse contexto é que a gestão do conhecimento vem se tornando cada vez mais importante nos ambientes corporativos, unindo pessoas certas, desenvolvendo e compartilhando novos conhecimentos, enfim, tornando mais fácil lidar com as constantes mudanças e consequentes inseguranças geradas. Assim, este trabalho verificou qual o nível de gestão do conhecimento realizado dentro de um órgão da administração pública federal brasileira, a Marinha do Brasil, e, especificamente no seu Corpo de Intendentes, mediu em oito de suas principais organizações militares, por meio de métodos qualitativos e quantitativos, como essa ferramenta vem sendo utilizada. Ao final, de forma propositiva, com base nos resultados das avaliações realizadas e na revisão teórica, foi sugerida uma estrutura de gestão do conhecimento que possibilite melhorar os atuais níveis de gestão do conhecimento detectados, contribuindo para que ações empreendidas nesse sentido sejam mais eficazes, eficientes e efetivas, acelerando, portanto, o desenvolvimento dessas organizações.

O processo de licenciamento de empreendimentos de infraestrutura no Brasil: estudo de caso da intervenção ambiental no setor elétrico

A adoção da modelagem institucional de governança do processo de avaliação ambiental norte-americano, centrada na figura da agência líder, deverá demandar a edição de uma lei formal, prevendo o referido arranjo jurídico-institucional, na forma de uma moldura (framework) adaptável às necessidades especificas e peculiaridades de cada setor da Administração. Dessa forma, a referida lei formal funcionaria como uma norma geral, e como tal poderia ser complementada pela legislação infralegal, que viria a estabelecer as disposições especificas para dar efetividade ao instituo da agência líder nos setores em que seja desejável e oportuna a implantação do mesmo, a critério da Administração. Destarte, a atuação do Poder Legislativo estaria restrita à introdução ao sistema jurídico doméstico do instituto estrangeiro, estabelecendo apenas seus contornos básicos, cabendo à Administração a avaliação da oportunidade e conveniência da escolha dos setores específicos, do estabelecimento dos contornos normativos e do momento da efetiva regulamentação concreta do instituto.

Studies in non-Gaussian analysis

This thesis presents general methods in non-Gaussian analysis in infinite dimensional spaces. As main applications we study Poisson and compound Poisson spaces. Given a probability measure μ on a co-nuclear space, we develop an abstract theory based on the generalized Appell systems which are bi-orthogonal. We study its properties as well as the generated Gelfand triples. As an example we consider the important case of Poisson measures. The product and Wick calculus are developed on this context. We provide formulas for the change of the generalized Appell system under a transformation of the measure. The L² structure for the Poisson measure, compound Poisson and Gamma measures are elaborated. We exhibit the chaos decomposition using the Fock isomorphism. We obtain the representation of the creation, annihilation operators. We construct two types of differential geometry on the configuration space over a differentiable manifold. These two geometries are related through the Dirichlet forms for Poisson measures as well as for its perturbations. Finally, we construct the internal geometry on the compound configurations space. In particular, the intrinsic gradient, the divergence and the Laplace-Beltrami operator. As a result, we may define the Dirichlet forms which are associated to a diffusion process. Consequently, we obtain the representation of the Lie algebra of vector fields with compact support. All these results extends directly for the marked Poisson spaces.

Estudo da papila mamária em fêmeas bovinas (Bos taurus - Linnaeus, 1758), mediante as características ultra-sonográficas em modo-B (tempo real)

Nesta pesquisa foram utilizadas vinte fêmeas bovinas, sem patologias aparentes nas glândulas mamárias, em lactação, objetivando avaliar estruturas anatômicas das papilas mamárias. Quatro técnicas ultra-sonográficas foram avaliadas. Utilizou-se transdutor linear de 7,5 MHz para uso endoretal, na obtenção das imagens, padronizando-se o lado direito do animal para visualização das papilas craniais e caudais, em dois planos anatômicos (sagital e transversal). Os animais foram divididos em quatro grupos (G1, G2, G3, G4) que representaram as diferentes técnicas empregadas em momentos distintos (antes e após ordenha). Os resultados indicaram que entre as técnicas estudadas, as de exame direto e com uso de almofadada de silicone, foram as que apresentaram maior aplicabilidade, quando considerada a sua facilidade de uso na rotina com complementação do exame clinico. Entretanto, pólipos e cálculos lácteos tem sua extensão e localização convenientemente visibilizados mediante uso da técnica de pressão de liquido. Já a técnica de imersão em água, mostrou-se mais eficiente quanto à qualidade das imagens obtidas e na caracterização das estruturas anatômicas. O experimento realizado, traz subsídios anatomo-topográfico que irão contribuir com a qualidade do diagnóstico em pacientes que possam ter indicação cirúrgica (telotomia) e levanta questões que poderão ser respondidas conforme a casuística e a experiência consolidada do cirurgião.

Problemas e modelos que contribuíram com o desenvolvimento do cálculo diferencial e integral: dos gregos à Newton

This article refers to a research which tries to historically (re)construct the conceptual development of the Integral and Differential calculus, taking into account its constructing model feature, since the Greeks to Newton. These models were created by the problems that have been proposed by the history and were being modified by the time the new problems were put and the mathematics known advanced. In this perspective, I also show how a number of nature philosophers and mathematicians got involved by this process. Starting with the speculations over scientific and philosophical natures done by the ancient Greeks, it culminates with Newton s work in the 17th century. Moreover, I present and analyze the problems proposed (open questions), models generated (questions answered) as well as the religious, political, economic and social conditions involved. This work is divided into 6 chapters plus the final considerations. Chapter 1 shows how the research came about, given my motivation and experience. I outline the ways I have gone trough to refine the main question and present the subject of and the objectives of the research, ending the chapter showing the theoretical bases by which the research was carried out, naming such bases as Investigation Theoretical Fields (ITF). Chapter 2 presents each one of the theoretical bases, which was introduced in the chapter 1 s end. In this discuss, I try to connect the ITF to the research. The Chapter 3 discusses the methodological choices done considering the theoretical fields considered. So, the Chapters 4, 5 and 6 present the main corpus of the research, i.e., they reconstruct the calculus history under a perspective of model building (questions answered) from the problems given (open questions), analyzing since the ancient Greeks contribution (Chapter 4), pos- Greek, especially, the Romans contribution, Hindus, Arabian, and the contribution on the Medium Age (Chapter 5). I relate the European reborn and the contribution of the philosophers and scientists until culminate with the Newton s work (Chapter 6). In the final considerations, it finally gives an account on my impressions about the development of the research as well as the results reached here. By the end, I plan out a propose of curse of Differential and Integral Calculus, having by basis the last three chapters of the article

Desenvolvimento e projeto de colhedora de babaçu (Orbignya phalerata Mart.) para agricultura familiar nas regiões de matas de transição da Amazônia

O babaçu (Orbignya phalerata) é uma típica palmeira das matas de transição dos ecossistemas Amazônia/Cerrado e Amazônia/Caatinga, sendo de grande importância econômica, social e ambiental nestas regiões. Os produtos advindos dos babaçuais possibilitam renda para uma das camadas mais pobres da região amazônica e um dos entraves para a obtenção eficiente destes produtos é a colheita dos cocos de babaçu, que atualmente se faz no sistema extrativista. O objetivo deste trabalho foi realizar o desenvolvimento e projeto de uma colhedora de babaçu adaptável ao ambiente de trabalho da agricultura familiar e as características das matas de transição amazônicas. Para tal foram realizados estudos de literatura que nortearam as decisões e simplificações de projeto, assim como foram realizados os cálculos e desenhos da nova colhedora. O projeto foi realizado através de ferramentas de engenharia que apresentaram como resultados o memorial de cálculo que descreve o caminho técnico para o dimensionamento dos elementos constituintes da colhedora e a partir destes os desenhos detalhados dos elementos da nova máquina. Pelos desenhos detalhados suas considerações e decisões concluí-se que a colhedora de babaçu apresenta-se passível de ser construída com materiais nacionais de baixo custo, além de fácil operação, manutenção e com mínimo efeito sobre os babaçuais naturais.

Remoção do cobre de efluente galvânico aplicando tensoativos derivado de óleos vegetais

Copper is one of the most used metals in platingprocesses of galvanic industries. The presence of copper, a heavy metal, in galvanic effluents is harmful to the environment.The main objective of this researchwas the removal ofcopperfromgalvanic effluents, using for this purpose anionic surfactants. The removal process is based on the interaction between the polar head group of the anionic surfactant and the divalent copper in solution. The surfactants used in this study were derived from soybean oil (OSS), coconut oil (OCS), and sunflower oil (OGS). It was used a copper synthetic solution (280 ppm Cu+2) simulating the rinse water from a copper acid bath of a galvanic industry. It were developed 23and 32 factorial designs to evaluate the parameters that have influence in theremoval process. For each surfactant (OSS, OCS, and OGS), the independent variables evaluated were: surfactant concentration (1.25 to 3.75 g/L), pH (5 to 9) and the presence of an anionic polymer (0 to 0.0125 g/L).From the results obtained in the 23 factorial design and in the calculus for estimatingthe stoichiometric relationship between surfactants and copper in solution, it were developed new experimental tests, varying surfactant concentration in the range of 1.25 to 6.8 g/L (32 factorial design).The results obtained in the experimental designs were subjected to statistical evaluations to obtain Pareto charts and mathematical modelsfor Copper removal efficiency (%). The statistical evaluation of the 23 and 32factorial designs, using saponifiedcoconut oil (OCS), presented the mathematical model that best described the copper removal process.It can be concluded that OCS was the most efficient anionic surfactant, removing 100% of the copper present in the synthetic galvanic solution

Sobre o financiamento no Plano de Desenvolvimento da Educação

Este artigo apresenta uma análise inicial do financiamento das ações do Plano de Desenvolvimento da Educação - PDE -, lançado em abril de 2007 pelo governo federal, focalizando algumas expectativas, impasses e impactos. Muitas das inquietações e dúvidas aqui expostas foram manifestadas no Seminário Itinerante O Plano de Desenvolvimento da Educação - PDE - em Debate nas Universidades Públicas Paulistas, em que especialistas de diferentes instituições tiveram a oportunidade de debater com os formuladores e responsáveis pela implementação do plano. Optou-se por organizar análise em três partes. Na primeira parte, discutem-se alguns pressupostos do financiamento da educação nacional, mostrando que o país pode e deve aplicar mais recursos para alcançar um desenvolvimento educacional e social adequado. Na segunda, analisam-se documentos do MEC que explicitam as concepções que fundamentam o PDE no que se refere ao financiamento das 40 ações propostas. Na terceira, os autores se posicionam quanto à forma de financiamento adotada e quanto aos recursos previstos ou alocados para a execução das ações. Para finalizar, uma série de questões sobre o plano são levantadas em perspectiva propositiva.

Dificuldades na construção de gráficos de funções

This study describes about graduation s students difficulties of to draw functions graph. Specifically, we intend to observe their abilities evolution, as well as their difficulties during Calculus I subject in engineering course. For that, we show them publications about the elaboration of graphs and its difficulties in obstacle terms and some researches witch contain this subject and that it was done during postgraduate studies in mathematical education. It shows by research methodology aspects related to French didatic s mathematic and some theories of cognitive psychology considering the high value between theoretical-methodological relation that was evidenced in both theoretical conceptions about ways to understand and teach mathematic. This methodology is based on didactic engineering purpose, that consist in preliminaries analysis, conception and didactic sequence analysis prior, trials by application followed analysis up and conclusion. We had also used pedagogicals actions and analysis of results achieved, to classify types of errors made by the 2005 s students during second semester, from conceptions related to the episthemologic and didactics obstacles

Deriving the magnitude of niobium off-center displacement in ferroelectric niobates from infrared spectroscopy

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

Análise textual dos discursos: responsabilidade enunciativa no texto jurídico

This investigation aims at describing, analyzing and interpreting the Commitment in Initial Petitions, which is a genre circumscribed in the judicial domain. For this purpose, we have chosen sections, facts as found and relevant law , sections of the petition, with the understanding that, in this way, respectively, the narration of events, which gives margin to the propositioning to the judicial action, and the exposition of the law that upholds the author s intention. We base our discussion on the field of Linguistics, more precisely, Textual Discourse Analysis (TDA), whose theoretical basis is derived from Textual Linguistics (TL) and Enunciative Linguistics. We foreground, particularly, the way in which the author of texts, objects of analysis, use discursive strategies that evidence ER. The relevance of this study, then, is in the formation of a critique of the judicial text, as it conceives of a dialogical approach to the point of view, raising not only questions about the way in which a linguistic instance conceives an object of discourse, but also considering questions of language inherent to technical writing and, in this aspect, contributing to the work of those operating in Law about the many ways ER is formed in the body of a petition. We selected two categories to analyze that, according to Adam (2011), characterize the degree of ER in the textual material of the propositional enunciations: the different types of representation of speech and the indications of profile of mediators. In this sense, with this task as an objective, we base our study regarding point of view on Rabatel (2003, 2009a, 2010) with relation to the enunciative approach, including the study of PDV in polyphonic and dialogical theoretical framework to study the ER from different types of speech representations that conceive forms of transmission of discourse and the role of the enunciating subject, mainly the responsibility and the prerogative by the propositional contents. In the same way, intending to study the indications of the mediator profiles, we observed the postulations of Guentchéva (1994, 1996), which develop the notion of mediative grammatical categories, of which permit the linguistic marking of distance and engagement of the enunciator with regard to the information expressed. The methodology we adopted was based on qualitative research, of an interpretive and introspective nature, in light of the fact that his study focuses on processes and strategies underlying language use. The corpus of the research is comprised of Initial Petitions, which gave rise to actions originating in the Civil Court of Currais Novos County RN. The data analysis shows that an object of discourse is always perspective oriented and presents the point of view of one or more enunciators. Consequently, the producer of a text, using the PDV of other enunciators, influences and establishes the argumentative orientation of the text. In the same way, it evidences the relevance of the use of mediated constructions in the judicial text, as they function as strategies attenuated to the responsibility of the producer of the text with what is said, and at the same time points to a discourse of authority through the entrance of the sources of law. Moreover, it reveals the documental and international importance of this practice, at the same time that it exposes the compositional and normative difficulties with regard to legal and linguistic aspects

Aplicações da q-Álgebra em física da matéria condensada

We address the generalization of thermodynamic quantity q-deformed by q-algebra that describes a general algebra for bosons and fermions . The motivation for our study stems from an interest to strengthen our initial ideas, and a possible experimental application. On our journey, we met a generalization of the recently proposed formalism of the q-calculus, which is the application of a generalized sequence described by two parameters deformation positive real independent and q1 and q2, known for Fibonacci oscillators . We apply the wellknown problem of Landau diamagnetism immersed in a space D-dimensional, which still generates good discussions by its nature, and dependence with the number of dimensions D, enables us future extend its application to systems extra-dimensional, such as Modern Cosmology, Particle Physics and String Theory. We compare our results with some experimentally obtained performing major equity. We also use the formalism of the oscillators to Einstein and Debye solid, strengthening the interpretation of the q-deformation acting as a factor of disturbance or impurity in a given system, modifying the properties of the same. Our results show that the insertion of two parameters of disorder, allowed a wider range of adjustment , i.e., enabling change only the desired property, e.g., the thermal conductivity of a same element without the waste essence

On the Generalized Mittag-Leffler Function and its Application in a Fractional Telegraph Equation

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

Estendendo CRefine para o suporte de táticas de refinamento

The use of increasingly complex software applications is demanding greater investment in the development of such systems to ensure applications with better quality. Therefore, new techniques are being used in Software Engineering, thus making the development process more effective. Among these new approaches, we highlight Formal Methods, which use formal languages that are strongly based on mathematics and have a well-defined semantics and syntax. One of these languages is Circus, which can be used to model concurrent systems. It was developed from the union of concepts from two other specification languages: Z, which specifies systems with complex data, and CSP, which is normally used to model concurrent systems. Circus has an associated refinement calculus, which can be used to develop software in a precise and stepwise fashion. Each step is justified by the application of a refinement law (possibly with the discharge of proof obligations). Sometimes, the same laws can be applied in the same manner in different developments or even in different parts of a single development. A strategy to optimize this calculus is to formalise these application as a refinement tactic, which can then be used as a single transformation rule. CRefine was developed to support the Circus refinement calculus. However, before the work presented here, it did not provide support for refinement tactics. The aim of this work is to provide tool support for refinement tactics. For that, we develop a new module in CRefine, which automates the process of defining and applying refinement tactics that are formalised in the tactic language ArcAngelC. Finally, we validate the extension by applying the new module in a case study, which used the refinement tactics in a refinement strategy for verification of SPARK Ada implementations of control systems. In this work, we apply our module in the first two phases of this strategy