319 resultados para formalismo


Relevância:

10.00% 10.00%

Publicador:

Resumo:

Esta tese propõe uma abordagem sistemática para gerenciar riscos em projetos de software, por meio da adaptação de processos. O objetivo da abordagem é permitir a elaboração de um processo específico para um dado projeto, visando minimizar a exposição do projeto aos riscos, identificados de acordo com o contexto do projeto. As atividades, possíveis de serem executadas em processos de projetos de uma organização, são estruturadas em um framework de processo (PRiMA-F), que inclui também os padrões de processo e organizacionais usados para descrever ações preventivas e corretivas aos riscos. A estruturação do framework básico, construído pela organização, poderá permitir distintas instanciações, como por exemplo, processos de acordo com o paradigma ágil ou planejado, ou em conformidade com normas de qualidade, como CMM e outras; além dos padrões organizacionais e de processo para gestão de riscos de projeto. PRiMA-F define o escopo maior do processo de software da organização e este é adaptado de acordo com os riscos identificados para o projeto e suas necessidades específicas, dando origem ao processo a ser usado no projeto. adaptação. Os guias descrevem como adaptar elementos de processo de acordo com o tamanho e o formalismo do projeto. Configurações de processo são modelos prédefinidos, visando atender projetos típicos ou modelos de qualidade. Prima-F pode ser estendida para novos riscos, padrões e processos, de acordo com as necessidades da organização. Utilizando o paradigma Goal/Question/Metric, no framework de processo (PRiMAF), são definidas métricas do processo de software, associadas aos riscos, para serem usadas para acompanhar o progresso dos fatores de risco, possibilitando ao gerente de projeto tomar ações corretivas, quando necessário e no momento adequado. As ações corretivas são descritas usando padrões organizacionais e de processo. Uma ferramenta de apoio à sistemática proposta (PRiMA-Tool) foi desenvolvida. Estudos de caso foram elaborados para validar a sistemática proposta

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Apresentamos aqui o modelo esférico quântico de vidro de spin usando a aproximação de recozimento. São calculadas a energia livre, bem como a temperatura crítica em função do momentum de inércia e a entropia. São consideradas interações aleatórias de longo alcance (campo médio) com distribuição normal de média zero, e a energia cinética de cada spin. O cálculo é feito utilizando o formalismo funcional de Feynman de integrais de caminhos. O limite clássico é apresentado e coincide com o limite conhecido de teorias anteriores.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A representação de Fock-Tani é um formalismo de teoria de campos para tratar problemas envolvendo simultaneamente partículas compostas e seus constituintes. O formalismo foi originalmente desenvolvido para tratar problemas de física atômica e mais tarde estendido para problemas da física hadrônica. Nesta dissertação, inicialmente apresentamos uma revisão da Cromo dinâmica Quântica e dos modelos de quarks e de glúons constituintes. Revisamos também a representação de Fock-Tani para mésons e buscamos estendê-Ia para estados exóticos, mais precisamente para glueballs. Neste formalismo uma mudança de representação é implementada através de um operador unitário, tal que estados de glueballs no espaço de Fock, compostos por um par glúon-glúon, sejam descritos em termos de operadores de campo de glueballs elementares em um espaço de Hilbert estendido. A aplicação do operador unitário a um Hamiltoniano microscópico de gluons leva a um Hamiltoniano efetivo que descreve todos os possíveis processos envolvendo glúons e glueballs. Esse Hamiltoniano efetivo é utilizado para estudar as interações entre glueballs à baixa energia em um modelo de glúons constituintes, que interagem através da troca de um glúon virtual e são confinados por um potencial fenomenológico O méson J?C = 0++ pode ser descrito de duas formas completamente diferentes. Na primeira forma ele é descrito da maneira usual como sendo composto por um par qq. Na segunda abordagem este mesmo méson é descrito como sendo constituido por dois glúons (glueball). Também estudamos nesta dissertação o méson 2++ no mesmo contexto. Os resultados obtidos nesta dissertação indicam que o méson qq precisaria ter um raio quase igual ao dobro do respectivo raio do glueball para que suas seções de choque de espalhamento elástico fossem equivalentes. As diferenças acentuadas encontradas nas seções de choque de espalhamento elástico méson-méson e glueball-glueball, podem ser interpretadas como uma nova assinatura de glueballs.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

O objetivo do trabalho é compreender a configuração atual da administração pública brasileira a partir da identificação dos seus atributos caracterizadores, tomando como ponto de partida a rejeição da ideia de modelos rígidos e de ruptura entre esses modelos. Os caminhos teóricos percorridos, e que culminaram com a construção de um quadro teórico preliminar, contemplaram inicialmente: a análise histórico-conceitual das relações entre sociedade, Estado e administração pública; a análise da formação do Estado brasileiro desde o período colonial até os dias atuais; a apresentação das configurações da administração pública brasileira, consagradas pela literatura e seus respectivos atributos. Em seguida, foram resgatadas as bases teóricas da administração pública patrimonial, desde a ideia weberiana de dominação patrimonial até as contribuições de alguns interpretes do pensamento social brasileiro à luz da experiência nacional. Foram apresentadas as bases teóricas da administração pública burocrática, desde o tipo ideal weberiano de dominação racional-legal até a releitura do seu processo de implementação e desenvolvimento no Brasil. Também foram expostas as bases teóricas da administração pública gerencial, desde sua origem a nível mundial até os efeitos de seu marco inaugural no Brasil, o Plano Diretor da Reforma do Aparelho do Estado. A pesquisa, predominantemente qualitativa, assumiu três tipologias: bibliográfica, documental e de campo, permitindo o emprego da triangulação. A pesquisa de campo processou-se por meio de nove entrevistas, com roteiro semi-estruturado, com experts em administração pública brasileira. Para a pesquisa documental, foram selecionadas, primordialmente fontes primárias, com ênfase em documentos oficiais, mas também matérias e reportagens em sites, jornais e revistas. Após a análise do conteúdo das entrevistas e dos documentos, chegou-se a quatro eixos temáticos, cada qual com suas respectivas unidades de significado, que permitiram identificar os atributos presentes na administração pública brasileira e definir sua configuração, são eles: a) heranças patrimonialistas, sendo elas o mandonismo (a personalização do poder), o clientelismo, o favoritismo e a cultura da corrupção; b) (dis)funções burocráticas, sendo elas o formalismo, a hierarquia de cargos e funções, a profissionalização do quadro administrativo e a (im)pessoalidade); c) práticas gerenciais, sendo elas a busca da efetividade, as técnicas do management, a governança e a gestão transparente e participativa; e d) novos arranjos do Estado em rede, sendo elas o Estado Global, a cultura da virtualidade, a lógica das redes e o governo eletrônico. Esses eixos permitiram a construção de um quadro final de interpretações que demonstra a presença de atributos patrimonialistas, burocráticos e gerenciais na administração pública brasileira, e também atributos do que se chama de administração pública em rede, principal achado da pesquisa, o que explica a sua configuração múltipla.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

O objetivo geral deste estudo consistiu em identificar as dimensões da burocracia e relacioná-las aos elementos de disfunção burocrática existentes em uma unidade da administração pública estadual, no âmbito da Criminalística, que influenciam a Qualidade de Vida no Trabalho (QVT), considerando as abordagens humanista e restritiva, no contexto da Coordenadoria Geral de Perícias (CGP), a partir da percepção dos servidores lotados nesta unidade da Segurança Pública. Utilizou-se a pesquisa descritiva por meio de uma abordagem qualitativa de estudo de caso, com amostra constituída por peritos criminais do Instituto de Criminalística "Hercílio Macellaro" (ICHM), lotados na Capital do Estado, Campo Grande - MS. O método de coleta de dados adotado para a constatação das disfunções burocráticas foi um questionário com assertivas fechadas de alternativas de múltipla escolha, cujo modelo de resposta compõe-se por quatro níveis de gradação (sempre, muitas vezes, poucas vezes, nunca), elaborado a partir do modelo de Maia e Pinto (2007). Em outro momento, foi aplicado o questionário apresentando questões que abordavam os elementos da QVT propostos por Werther e Davis (1983), adaptado para o presente estudo. Para este questionário, as questões foram apresentadas em escala polarizada de satisfação do tipo Likert, composta por cinco alternativas (discordo totalmente, discordo parcialmente, não concordo nem discordo, concordo parcialmente e concordo totalmente), caracterizando a opinião do participante. A interpretação dos dados permitiu analisar a existência de quatro elementos de disfunção burocrática: internalização das regras, excesso de formalismo, rotinas e registros, resistência às mudanças e exibição de sinais de autoridade. De uma lado, a abordagem humanista foi possível analisar que os respondentes da pesquisa evidenciam ruídos na comunicação, tanto vertical quanto horizontal, o que indica a necessidade de mais transparência e clareza possível dentro e entre as equipes nos departamentos e destes com os superiores hierárquicos, a fim de proporcionar maior entendimento entre todos os envolvidos e a eliminação de conflitos que possam ocorrer através de informações distorcidas. Por outro lado, a análise da abordagem restritiva sobre a QVT neste estudo permitiu observar a predominância da racionalidade instrumental no contexto organizacional do ICHM, uma vez que está voltada somente para atender a seus processos organizacionais fundamentados no binômio técnica versus produção. Pode-se, assim, considerar que o ICHM está fortemente ligado ao modelo de organização burocrática, exteriorizado por quatro níveis de disfunções burocráticas. Além disso, como pretexto pela busca da eficiência, eficácia e efetividade, a práxis organizacional do ICHM parece convergir para dois modelos de produção: fordista e taylorista, as quais reforçam a corrente restritiva da QVT, que parece confirmar a manutenção da coisificação do sujeito em relação ao objeto, isto é, quando se pensava que o ser orgânico pudesse desfrutar do desenvolvimento tecnológico alcançado em várias ciências, paradoxalmente, o que tem sido visto é o trabalho como um fim em si mesmo.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The aim of the present study is to reevaluate the logical thought of the English mathematician George Boole (1815 - 1864). Thus, our research centers on the mathematical analysis of logic in the context of the history of mathematics. In order to do so, we present various biographical considerations about Boole in the light of events that happened in the 19th century and their consequences for mathematical production. We briefly describe Boole's innovations in the areas of differential equations and invariant theory and undertake an analysis of Boole's logic, especially as formulated in the book The Mathematical Analysis of Logic, comparing it not only with the traditional Aristotelian logic, but also with modern symbolic logic. We conclude that Boole, as he intended, expanded logic both in terms of its content and also in terms of its methods and formal elaboration. We further conclude that his purpose was the mathematical modeling of deductive reasoning, which led him to present an innovative formalism for logic and, because the different ways it can be interpreted, a new conception of mathematics

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Cette étude a été faite à partir d une expérience d alphabétisation chez des jeunes et des adultes dans deux groupes du "Projet Réduction de l analphabétisme" realisé par l Université Fédérale du Rio Grande do Norte, le bureau du Ministere de l Éducation et la Préfecture Municipale de Natal-RN. Nous avons choisi la méthode qualitative de recherche, en utilisant l observation de la dynamique en salle de classe, considérant les acteurs sociaux comme étant le sujet actif du processus historique, culturel et politique. Nous avons voulu colaborer dans ce theme en proposant un référenciel théorique et pratique, en visant le dynamisme de la salle de classe, à travers la vision de I alphabétisation centrée sur les utilisations sociales de la lecture et de l écrit; la conception dialogique de Paulo Freire, basée sur la propre culture de l élève et sur sa valorisation en tant que sujet actif de l apprentissage ; la proposition pédagogique de Célestin Freinet dans son aspect de la dynamisation de la salle de classe renforçant le principe de la libre expression, de la colaboration, de l activité et le respect du rytme individuel, pour le succes scolaire. Nous avons rappelé que Célestin Freinet e Paulo Freire ont contribué dans la conscientisation individuelle, sociale, culturelle, politique, de l éleve par le processus scolaire. Nous avons séparé l intérêt et la participation de celles qui alphabétisent et des élêves dans ce processus éducatif. Nous avons constaté tout au long du travail des changements dans la posture de celles qui alphabétisent, surpassant les pratiques centrées dans le formalisme, et le verbalisme fruits de l Éducation traditionnelle. A vançant dans le sens de l Abordage Constructiviste de la connaissance, garantissant un climat de sécurité, de dynamisme et de respect en salle de classe

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In this thesis I present the prototexto notion and to I base as a complex system while strategy of knowledge construction and reconexion of you know in physics teaching. Prototexto is a poetic narrative of the science, proposal and used initially as "instrument of creative" learning for students apprentice of science of the medium and technical teaching of the Vitória da Conquista's CEFET-BA, in the period of 1997-2004. Later become pregnant as a strategy of knowledge construction, in the Universidade Estadual da Bahia - UESB, the prototexto notion configures a complement to the mathematical formulation. The proposal of a poetic narrative of the science is that the apprentice of science starts to organize in an aesthetic-literary way your knowledge, dispersed in disciplines, starting from a theme of the physics. The prototexto emerges of my reflections concerning the classic science, identified for Edgar Morin as tends a thought excessively numeric, and that it has been reproduced in physics teaching, in most of the schools, limiting him/it to an order pattern with the mistake absence. They are operations of the prototexto: the poetic language, the pedagogic stamp, the unfinished of the argument, the system character and the apprentice's of science inclusion as subject implicated in the construction of the knowledge. the theoretical foundations are based Morin's proposition of the method as strategy, the beginning of the complementarity of Niels Bohr in conceiving excluding categories as face of a same phenomenon and the conception of creative time of Ilya Prigogine that enunciates the alliance among the nature and the man that it describes her

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Due of industrial informatics several attempts have been done to develop notations and semantics, which are used for classifying and describing different kind of system behavior, particularly in the modeling phase. Such attempts provide the infrastructure to resolve some real problems of engineering and construct practical systems that aim at, mainly, to increase the productivity, quality, and security of the process. Despite the many studies that have attempted to develop friendly methods for industrial controller programming, they are still programmed by conventional trial-and-error methods and, in practice, there is little written documentation on these systems. The ideal solution would be to use a computational environment that allows industrial engineers to implement the system using high-level language and that follows international standards. Accordingly, this work proposes a methodology for plant and control modelling of the discrete event systems that include sequential, parallel and timed operations, using a formalism based on Statecharts, denominated Basic Statechart (BSC). The methodology also permits automatic procedures to validate and implement these systems. To validate our methodology, we presented two case studies with typical examples of the manufacturing sector. The first example shows a sequential control for a tagged machine, which is used to illustrated dependences between the devices of the plant. In the second example, we discuss more than one strategy for controlling a manufacturing cell. The model with no control has 72 states (distinct configurations) and, the model with sequential control generated 20 different states, but they only act in 8 distinct configurations. The model with parallel control generated 210 different states, but these 210 configurations act only in 26 distinct configurations, therefore, one strategy control less restrictive than previous. Lastly, we presented one example for highlight the modular characteristic of our methodology, which it is very important to maintenance of applications. In this example, the sensors for identifying pieces in the plant were removed. So, changes in the control model are needed to transmit the information of the input buffer sensor to the others positions of the cell

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In general, the materials used as substrates in the project of microstrip antennas are: isotropic, anisotropic dielectrics and ferrimagnetic materials (magnetic anisotropy). The use of ferrimagnetic materials as substrates in microstrip patch antennas has been concentrated on the analysis of antennas with circular and rectangular patches. However, a new class of materials, called metamaterials, has been currently the focus of a great deal of interest. These materials exhibit bianisotropic characteristics, with permittivity and permeability tensors. The main objective of this work is to develop a theoretical and numerical analysis for the radiation characteristics of annular ring microstrip antennas, using ferrites and metamaterials as substrates. The full wave analysis is performed in the Hankel transform domain through the application of the Hertz vector potentials. Considering the definition of the Hertz potentials and imposing the boundary conditions, the dyadic Green s function components are obtained relating the surface current density components at the plane of the patch to the electric field tangential components. Then, Galerkin s method is used to obtain a system of matrix equations, whose solution gives the antenna resonant frequency. From this modeling, it is possible to obtain numerical results for the resonant frequency, radiation pattern, return loss, and antenna bandwidth as a function of the annular ring physical parameters, for different configurations and substrates. The theoretical analysis was developed for annular ring microstrip antennas on a double ferrimagnetic/isotropic dielectric substrate or metamaterial/isotropic dielectric substrate. Also, the analysis for annular ring microstrip antennas on a single ferrimagnetic or metamaterial layer and for suspended antennas can be performed as particular cases

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Neste trabalho, são utilizadas a Técnica da Ressonância Transversa (TRT) e a Técnica da Ressonância Transversa Modificada (MTRT), para a determinação das freqüências dos modos ressonantes de antenas de microfita com patch quadrado, retangular e circular e com substratos isotrópicos e anisotrópicos. Para isso, é proposto um modelo da cavidade equivalente, onde a antena tipo patch retangular é representada como sendo a superposição de duas linhas infinitas em microfita, uma de largura W, representando a dimensão que expressa a largura do patch, e a outra com largura L, representando a dimensão que expressa o comprimento do patch. A avaliação da eficiência e aplicabilidade dos métodos citados é realizada comparando-se com resultados experimentais e obtidos através de outras técnicas. Três situações serão verificadas: estruturas com substrato infinito, estrutura com substrato tipo pedestal e estruturas com substrato truncado além dos limites da fita metálica. Os resultados obtidos demonstram que as técnicas de análise de onda completa utilizadas neste trabalho, por um formalismo matemático mais rigoroso, são eficientes e precisas tanto na aplicação em estruturas com substrato isotrópico como nas que possuem substrato anisotrópico. Inicialmente são consideradas apenas as estruturas com substratos isotrópicos, com diferentes constantes dielétricas, e é avaliada a influência da largura do substrato sobre as freqüências dos modos ressonantes das antenas. Posteriormente, a análise do truncamento do dielétrico é realizada para estruturas com substrato anisotrópico. Em todos os casos, os resultados experimentais, obtidos a partir da construção de protótipos, são confrontados com os obtidos a partir de simulação, utilizando as técnicas TRT e MTRT. No final, as técnicas descritas são utilizadas para antenas tipo patch circular, sendo utilizada uma técnica de equivalência para transformar a antena circular em outra quadrada ou retangular equivalente, dependendo do modo que se queira encontrar. Os resultados obtidos são então analisados, observando-se uma boa concordância e indicando a viabilidade do método. Após isso, são apresentadas as conclusões e sugeridos alguns temas para a continuidade deste trabalho

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Ensuring the dependability requirements is essential for the industrial applications since faults may cause failures whose consequences result in economic losses, environmental damage or hurting people. Therefore, faced from the relevance of topic, this thesis proposes a methodology for the dependability evaluation of industrial wireless networks (WirelessHART, ISA100.11a, WIA-PA) on early design phase. However, the proposal can be easily adapted to maintenance and expansion stages of network. The proposal uses graph theory and fault tree formalism to create automatically an analytical model from a given wireless industrial network topology, where the dependability can be evaluated. The evaluation metrics supported are the reliability, availability, MTTF (mean time to failure), importance measures of devices, redundancy aspects and common cause failures. It must be emphasized that the proposal is independent of any tool to evaluate quantitatively the target metrics. However, due to validation issues it was used a tool widely accepted on academy for this purpose (SHARPE). In addition, an algorithm to generate the minimal cut sets, originally applied on graph theory, was adapted to fault tree formalism to guarantee the scalability of methodology in wireless industrial network environments (< 100 devices). Finally, the proposed methodology was validate from typical scenarios found in industrial environments, as star, line, cluster and mesh topologies. It was also evaluated scenarios with common cause failures and best practices to guide the design of an industrial wireless network. For guarantee scalability requirements, it was analyzed the performance of methodology in different scenarios where the results shown the applicability of proposal for networks typically found in industrial environments

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Metamaterials have attracted a great attention in recent years mostly due to their electromagnetic properties not found in nature. Since metamaterials began to be synthesized by the insertion of artificially manufactured inclusions in a medium specified host , it provides the researcher a broad collection of independent parameters such as the electromagnetic properties of the material host. In this work was presents an investigation of the unique properties of Split Ring Resonators and compounds metamaterials was performed. We presents a theoretical and numerical analysis , using the full-wave formalism by applying the Transverse Transmission Line - LTT method for the radiation characteristics of a rectangular microstrip antenna using metamaterial substrate, as is successfully demonstrated the practical use of these structures in antennas. We experimentally confirmed that composite metamaterial can improved the performance of the structures considered in this thesis

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The present work deals with the ana1ysis of microstrip patch antennas printed on tapered dielectric substrates. We investigate the influence ofthe substrate height variations on the properties of configurations such as microstrip patch antennas, microstrip patch antennas with overlay and suspendeô microstrip patch antennas. The dielectric substrates can be isotropic or anisotropic ones. This accurate analysis is based on the full-wave formulation. It is carried out initially for the determination of the impedance matrix, through the use of the spectral¬domain immitance approach. We use a model based on a segmentation of the considered line into uniform microstrip line subsections. Normalized phase constants and characteristic impedances are obtained by means of the Galerkin numerical technique. Then, the cascaded combination of the uniform microstrip subsections are analyzed through an interactive procedure. Numerical results are presented for the input reflection coefficient, voltage standing wave ratio, resonant frequency, and radiation pattems ofthe E_plane and H-plane diagrams. It is found that the variations in the substrate height profile produce a great influence on the bandwidth of microstrip antennas. This procedure gives bandwidth improvements without altering considerably the resonant frequency. Furthermore, the tapered microstrip antenna can be used as a lightweight altemative for bandwidth control and to eXtend the use of microstiip antenna technology to a wider variety of applications. Finally, suggestions for the continuity of this work are presented