901 resultados para Formal Methods. Component-Based Development. Competition. Model Checking
Resumo:
Este estudo tem como objetivo compreender a forma com que os mecanismos de governança corporativa interferem na gestão de uma pequena empresa familiar. Para isso, adotaram-se a perspectiva de Hart (1995), que discorre sobre governança corporativa, e de Leone (2005) para empresas familiares. Para alcançar este objetivo, adotou-se, em relação à condução da pesquisa, uma abordagem qualitativa, por meio do método do estudo de caso. A triangulação de dados foi utilizada como instrumento de coleta de dados por meio de pesquisa documental, observação assistemática e entrevista semiestruturada, e a análise de dados foi realizada através da análise de conteúdo. Como contribuição teórica, este estudo amplia o Modelo de Quatro Círculos com Contexto e Sistema de Valores com a introdução de proprietários formais e informais, gerando o Modelo de Cinco Círculos. A presença da governança corporativa foi identificada através dos fatores de diferenciação e da implantação de onze mecanismos de governança que gerou mudanças no controle da empresa, no processo sucessório, na profissionalização e na captação de recursos. Os mecanismos encontrados foram denominados como: “empresa controladora”; “respeito fraternal”; “projetos pessoais”; “pró-labore dos gestores familiares”; “ausência de remuneração dos familiares não gestores”; “aconselhamento profissional”; “prestação de contas”; “proteção do empreendimento familiar”; “alinhamento de interesses na gestão”; “atribuições e responsabilidades”; e “atenção aos interesses dos stakeholders”. Tais mecanismos não possuem ordem cronológica, pois o respeito fraternal e projetos pessoas já existiam antes da criação da empresa familiar. Quanto ao controle, destaca-se o mecanismo prestação de contas, que possibilitou uma ligação entre a família e a empresa; permitiu clareza, transparência, igualdade entre todos os irmãos, diminuindo a assimetria informacional; facilitou uma comunicação aberta e honesta entre todos os proprietários, transmitindo uma sensação de segurança e previsibilidade; e contribuiu para eliminar e/ou minimizar conflitos entre os proprietários (formais e informais). Quanto à sucessão, os mecanismos proteção do empreendimento familiar, aconselhamento profissional, respeito fraternal estão possibilitando planejar o processo sucessório da empresa; facilitaram a comunicação entre os familiares, e assim, diminuiu a assimetria informacional; e realizaram a manutenção e administração dos bens mobiliários da família empresária. Quanto à profissionalização, os mecanismos proteção do empreendimento familiar e respeito fraternal viabilizaram a participação de todos para decidir sobre a profissionalização da empresa. Com relação à captação de recursos, os mecanismos atribuições e responsabilidades e atenção aos interesses dos stakeholders possibilitaram a empresa, durante todo seu ciclo de vida, a buscar recursos financeiros sem dificuldade, gerando um maior investimento, crescimento e geração de empregos
Resumo:
RESUMO: O sucesso das respostas aos novos desafios, exigências e expectativas que, nos dias de hoje, recaem sobre a escola, parece depender da concepção das estratégias organizacionais que globalmente a escola define, tendo em conta as características do contexto e das populações que serve. Depende por isso do modo como os actores chave se organizam e trabalham. Os modos de entender o trabalho docente em equipa prenunciam formas de entender a acção educativa e de conduzir a aprendizagem dos alunos. Tomando como ponto de partida as nossas experiências profissionais, este trabalho constitui uma reflexão sobre as possibilidades de desenvolvimento da Educação Física, baseada na escola e sustentada na organização do trabalho dos seus professores. Elaborando uma síntese dos principais problemas do seu desenvolvimento discutem-se as possibilidades e as vantagens da organização do trabalho dos professores em equipas, num contexto organizacional marcado por avanços e retrocessos nos processos de descentralização e atribuição de autonomia às escolas. Enquadra-se a organização do trabalho docente no âmbito das culturas de escola. Revisita-se o conceito de trabalho em equipa, distinguindo-o da simples participação nas estruturas da escola, realçando a sua importância na construção e gestão de conhecimento profissional através do estabelecimento de parcerias sinérgicas, onde o desempenho de papéis de liderança tem uma enorme importância. ABSTRACT: Successful responses to the new challenges, demands and expectations that currently are ascribed to schools seem to depend on the design of organizational strategies that broadly define the school, taking into account the characteristics of its context and the population it serves. Therefore, their success depends on how the key players are organized and work. The ways of perceiving the teaching team work forecast the ways of understanding the educational activity and how to lead learning. Starting from our own professional experience, this study is a reflection on the school based development of physical education, sustained by the organization of their teachers’ work. On organizing a summary of the major problems found in the development of this subject, we discuss the feasibilities and the gains got from the organization of teachers' teamwork, in an organizational context marked by promises and setbacks in the processes of decentralization and schools autonomy. The organization of teaching is to be seen as part of the school culture. We review the concept of teamwork as distinct from mere participation in the structures of the school, and its importance in the construction and management of professional knowledge will be highlighted by the establishment of synergistic partnerships, in which the performance of leadership roles is of the greatest importance. RÉSUMÉ: Le succès des réponses aux nouveaux défis, les exigences et les attentes que dans ces jours, s’accomplissent sur l'école, semble dépendre de la conception des stratégies d'organisation qui définit de façon générale l'école, en tenant compte des caractéristiques du contexte et des populations qu'elle dessert. Tout cela dépend donc de la façon dont les acteurs principaux sont organisés et travaillent. Les façons de comprendre l'équipe pédagogique démontrent des formes de comprendre l'activité éducative et de conduire à l'apprentissage des élèves. En prenant comme point de départ nos expériences professionnelles, ce travail est une réflexion sur le potentiel de développement de l'Éducation Physique, dépendante de l'école et soutenue dans l'organisation du travail de leurs enseignants. En préparant une synthèse des principaux problèmes de leur développement, on discute les possibilités et les avantages de l'organisation du travail des enseignants dans les équipes, dans un contexte organisationnel marqué par des avancées et des reculs dans le processus de décentralisation et l'accomplissement de l'autonomie aux écoles. On encadre l'organisation du travail des enseignants dans le champ des cultures de l’école. On revoit le concept du travail en équipe, en le distinguant de la simple participation dans les structures de l'école, en soulignant son importance dans la construction et gestion des connaissances professionnelles à travers l'établissement de partenariats synergiques, où les rôles de leadership joue un rôle d'une grande importance.
Resumo:
O crescimento da utilização de accionamentos electromecânicos de velocidade variável entre outros dispositivos que necessitam de tensões elevadas, na ordem dos kV e com elevados níveis de qualidade, despertou o interesse pelos conversores multinível. Este tipo de conversor consegue alcançar elevadas tensões de funcionamento e simultaneamente melhorar a qualidade das formas de onda de tensão e corrente nas respectivas fases. Esta dissertação de mestrado tem por objectivo apresentar um estudo sobre o conversor multinível com díodos de ligação ao neutro (NPC – neutral point clamped), de cinco níveis utilizado como ondulador de tensão ligado à rede. O trabalho começa por desenvolver o modelo matemático do conversor multinível com díodos de ligação ao neutro de cinco níveis e a respectiva interligação com a rede eléctrica. Com base no modelo do conversor são realizadas simulações numéricas desenvolvidas em Matlab-Simulink. Para controlo do trânsito de energia no conversor é utilizando controlo por modo de deslizamento aplicado às correntes nas fases. As simulações efectuadas são comparadas com resultados de simulação obtidos para um ondulador clássico de dois níveis. Resultados de simulação do conversor multinível são posteriormente comparados com resultados experimentais para diferentes valores de potências activa e reactiva. Foi desenvolvido um protótipo experimental de um conversor multinível com díodos de ligação ao neutro de cinco níveis e a respectiva electrónica associada para comando e disparo dos semicondutores de potência.
Resumo:
OBJECTIVE: To document the incidence and the descriptive epidemiology of bacterial meningitis among individuals under age 20 in a geographically defined region in Brazil during the two-year period immediately preceding the introduction of Haemophilus influenzae type b (Hib) vaccines into the national immunization program of Brazil. METHODS: Population-based epidemiological study of all cases of bacterial meningitis reported among residents of Campinas, Brazil, under age 20 (n=316,570) during the period of 1997-98, using comprehensive surveillance records compiled by the Campinas Health Department from cases reported among hospital inpatients, outpatients, emergency room visits, death certificates, and autopsy reports. RESULTS: The incidence of bacterial meningitis (n=274) was 334.9, 115 and 43.5 cases/10(5) person-years (pys) for residents of Campinas under age 1, 5 and 20, respectively. All cases were hospitalized, with an average length of stay of 12 days. Documented prior antibiotic use was 4.0%. The case-fatality rate of bacterial meningitis in individuals under age 20 was 9% (24/274) with 75% of deaths occurring in children under the age of five. The incidence of Hib meningitis (n=26) was 62.8 and 17 cases/10(5) pys in children age <1 and <5, respectively. CONCLUSIONS: The incidence of Hib meningitis in children under the age of 5 in Campinas during 1997-98 was similar to that reported in the US, Western Europe, and Israel prior to widespread Hib vaccine use in those regions. This study provides a baseline for later studies to evaluate changes in the etiology and incidence of bacterial meningitis in children after introduction of routine Hib vaccination in Brazil.
Resumo:
CoDeSys "Controller Development Systems" is a development environment for programming in the area of automation controllers. It is an open source solution completely in line with the international industrial standard IEC 61131-3. All five programming languages for application programming as defined in IEC 61131-3 are available in the development environment. These features give professionals greater flexibility with regard to programming and allow control engineers have the ability to program for many different applications in the languages in which they feel most comfortable. Over 200 manufacturers of devices from different industrial sectors offer intelligent automation devices with a CoDeSys programming interface. In 2006, version 3 was released with new updates and tools. One of the great innovations of the new version of CoDeSys is object oriented programming. Object oriented programming (OOP) offers great advantages to the user for example when wanting to reuse existing parts of the application or when working on one application with several developers. For this reuse can be prepared a source code with several well known parts and this is automatically generated where necessary in a project, users can improve then the time/cost/quality management. Until now in version 2 it was necessary to have hardware interface called “Eni-Server” to have access to the generated XML code. Another of the novelties of the new version is a tool called Export PLCopenXML. This tool makes it possible to export the open XML code without the need of specific hardware. This type of code has own requisites to be able to comply with the standard described above. With XML code and with the knowledge how it works it is possible to do component-oriented development of machines with modular programming in an easy way. Eplan Engineering Center (EEC) is a software tool developed by Mind8 GmbH & Co. KG that allows configuring and generating automation projects. Therefore it uses modules of PLC code. The EEC already has a library to generate code for CoDeSys version 2. For version 3 and the constant innovation of drivers by manufacturers, it is necessary to implement a new library in this software. Therefore it is important to study the XML export to be then able to design any type of machine. The purpose of this master thesis is to study the new version of the CoDeSys XML taking into account all aspects and impact on the existing CoDeSys V2 models and libraries in the company Harro Höfliger Verpackungsmaschinen GmbH. For achieve this goal a small sample named “Traffic light” in CoDeSys version 2 will be done and then, using the tools of the new version it there will be a project with version 3 and also the EEC implementation for the automatically generated code.
Resumo:
Dissertação apresentada ao Instituto Superior de Contabilidade e Administração do Porto para a obtenção do Grau de Mestre em Empreendedorismo e Internacionalização Orientada pela Mestre Maria Luísa Verdelho Alves
Resumo:
OBJECTIVE: To assess the association between oral health and hygiene practices and oral cancer. METHODS: Hospital-based case-control study in the metropolitan area of São Paulo, southeastern Brazil, from 1998 to 2002. A total 309 patients with squamous cell carcinoma of the mouth and the pharynx and 468 controls matched by sex and age were included in the study. Cases were recruited in seven reference hospitals and controls were selected in five out of the seven participating hospitals. Detailed information on smoking, alcohol consumption, schooling, oral health status and hygiene practices were obtained through interviews. Odds ratios (OR) and 95% confidence intervals (95% CI), adjusted by sex, age, schooling, smoking, alcohol consumption as well as the variables oral health status and hygiene practices were estimated using unconditional logistic regression analyses. RESULTS: The use of complete dental prosthesis was not associated with oral cancer but regular gum bleeding showed a strong association (OR 3.1; 95% CI 1.2-7.9). Those who never attended a dental visit were more likely to have oral cancer (OR 2.5; 95% CI 1.3-4.8). Daily mouthwash use showed a stronger association to pharynx (OR 4.7; 95% CI 1.8-12.5) than mouth cancer (OR 3.2; 95% CI 1.6-6.3). CONCLUSIONS: Gum bleeding, no dental care, and daily mouthwash use were factors associated with oral cancer regardless of tobacco and alcohol consumption.
Resumo:
Dissertação de Mestrado em Gestão de Empresas/MBA.
Resumo:
Dissertação de natureza científica para obtenção do grau de Mestre em Engenharia Civil
Resumo:
O desenvolvimento de software orientado a modelos defende a utilização dos modelos como um artefacto que participa activamente no processo de desenvolvimento. O modelo ocupa uma posição que se encontra ao mesmo nível do código. Esta é uma abordagem importante que tem sido alvo de atenção crescente nos últimos tempos. O Object Management Group (OMG) é o responsável por uma das principais especificações utilizadas na definição da arquitectura dos sistemas cujo desenvolvimento é orientado a modelos: o Model Driven Architecture (MDA). Os projectos que têm surgido no âmbito da modelação e das linguagens específicas de domínio para a plataforma Eclipse são um bom exemplo da atenção dada a estas áreas. São projectos totalmente abertos à comunidade, que procuram respeitar os standards e que constituem uma excelente oportunidade para testar e por em prática novas ideias e abordagens. Nesta dissertação foram usadas ferramentas criadas no âmbito do Amalgamation Project, desenvolvido para a plataforma Eclipse. Explorando o UML e usando a linguagem QVT, desenvolveu-se um processo automático para extrair elementos da arquitectura do sistema a partir da definição de requisitos. Os requisitos são representados por modelos UML que são transformados de forma a obter elementos para uma aproximação inicial à arquitectura do sistema. No final, obtêm-se um modelo UML que agrega os componentes, interfaces e tipos de dados extraídos a partir dos modelos dos requisitos. É uma abordagem orientada a modelos que mostrou ser exequível, capaz de oferecer resultados práticos e promissora no que concerne a trabalho futuro.
Resumo:
Ao longo dos últimos anos, as regras de associação têm assumido um papel relevante na extracção de informação e de conhecimento em base de dados e vêm com isso auxiliar o processo de tomada de decisão. A maioria dos trabalhos de investigação desenvolvidos sobre regras de associação têm por base o modelo de suporte e confiança. Este modelo permite obter regras de associação que envolvem particularmente conjuntos de itens frequentes. Contudo, nos últimos anos, tem-se explorado conjuntos de itens que surgem com menor frequência, designados de regras de associação raras ou infrequentes. Muitas das regras com base nestes itens têm particular interesse para o utilizador. Actualmente a investigação sobre regras de associação procuram incidir na geração do maior número possível de regras com interesse aglomerando itens raros e frequentes. Assim, este estudo foca, inicialmente, uma pesquisa sobre os principais algoritmos de data mining que abordam as regras de associação. A finalidade deste trabalho é examinar as técnicas e algoritmos de extracção de regras de associação já existentes, verificar as principais vantagens e desvantagens dos algoritmos na extracção de regras de associação e, por fim, desenvolver um algoritmo cujo objectivo é gerar regras de associação que envolvem itens raros e frequentes.
Resumo:
OBJECTIVE: To assess the feasibility of HIV rapid testing for pregnant women at maternity hospital admission and of subsequent interventions to reduce perinatal HIV transmission. METHODS: Study based on a convenience sample of women unaware of their HIV serostatus when they were admitted to delivery in public maternity hospitals in Rio de Janeiro and Porto Alegre, Brazil, between March 2000 and April 2002. Women were counseled and tested using the Determine HIV1/2 Rapid Test. HIV infection was confirmed using the Brazilian algorithm for HIV infection diagnosis. In utero transmission of HIV was determined using HIV-DNA-PCR. There were performed descriptive analyses of sociodemographic data, number of previous pregnancies and abortions, number of prenatal care visits, timing of HIV testing, HIV rapid test result, neonatal and mother-to-child transmission interventions, by city studied. RESULTS: HIV prevalence in women was 6.5% (N=1,439) in Porto Alegre and 1.3% (N=3.778) in Rio de Janeiro. In Porto Alegre most of women were tested during labor (88.7%), while in Rio de Janeiro most were tested in the postpartum (67.5%). One hundred and forty-four infants were born to 143 HIV-infected women. All newborns but one in each city received at least prophylaxis with oral zidovudine. It was possible to completely avoid newborn exposure to breast milk in 96.8% and 51.1% of the cases in Porto Alegre and Rio de Janeiro, respectively. Injectable intravenous zidovudine was administered during labor to 68.8% and 27.7% newborns in Porto Alegre and Rio de Janeiro, respectively. Among those from whom blood samples were collected within 48 hours of birth, in utero transmission of HIV was confirmed in 4 cases in Rio de Janeiro (4/47) and 6 cases in Porto Alegre (6/79). CONCLUSIONS: The strategy proved feasible in maternity hospitals in Rio de Janeiro and Porto Alegre. Efforts must be taken to maximize HIV testing during labor. There is a need of strong social support to provide this population access to health care services after hospital discharge.
Resumo:
Electroanalytical methods based on square-wave adsorptive-stripping voltammetry (SWAdSV) and flow-injection analysis with square-wave adsorptive-stripping voltammetric detection (FIA-SWAdSV) were developed for the determination of fluoxetine (FXT). The methods were based on the reduction of FXT at a mercury drop electrode at -1.2 V versus Ag/AgCl, in a phosphate buffer of pH 12.0, and on the possibility of accumulating the compound at the electrode surface. The SWAdSV method was successfully applied in the quantification of FXT in pharmaceutical products, human serum samples, and in drug dissolution studies. Because the presence of dissolved oxygen did not interfere significantly with the analysis, it was possible to quantify FXT in several pharmaceutical products using FIA-SWAdSV. This method enables analysis of up to 120 samples per hour at reduced costs.
Resumo:
Electroanalytical methods based on square-wave adsorptive-stripping voltammetry (SWAdSV) and flow-injection analysis with SWAdSV detection (FIA-SWAdSV) were developed for the determination of paroxetine (PRX). The methods were based on the reduction of PRX at a mercury drop electrode at −1.55V versus Ag/AgCl, in a borate buffer of pH 8.8, and the possibility of accumulating the compound at the electrode surface. Because the presence of dissolved oxygen did not interfere significantly with the analysis, it was also possible to determine PRX using FIASWAdSV. This method enables analysis of up to 120 samples per hour at reduced costs. Both methods developed were validated and successfully applied to the quantification of PRX in pharmaceutical products.
Resumo:
Relatório de Estágio para obtenção do grau de Mestre em Engenharia Civil