Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-07-25T20:32:37Z No. of bitstreams: 1 DeboraAmeliaNunesDeLira_DISSERT.pdf: 2579312 bytes, checksum: 32587a809b91912eddd048694ce96565 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-08-01T21:37:30Z (GMT) No. of bitstreams: 1 DeboraAmeliaNunesDeLira_DISSERT.pdf: 2579312 bytes, checksum: 32587a809b91912eddd048694ce96565 (MD5) / Made available in DSpace on 2016-08-01T21:37:30Z (GMT). No. of bitstreams: 1 DeboraAmeliaNunesDeLira_DISSERT.pdf: 2579312 bytes, checksum: 32587a809b91912eddd048694ce96565 (MD5) Previous issue date: 2015-08-31 / Considerando a situa??o de descaso existente no ensino p?blico brasileiro e, especialmente, no processo de escolariza??o rural, a presente disserta??o objetiva analisar o processo de implementa??o das Diretrizes Operacionais para a Educa??o B?sica nas Escolas do Campo (DOEBEC), marco regulat?rio da pol?tica nacional de educa??o do campo. Ser?o analisadas, nesse sentido, as condi??es de trabalho docente em escolas do meio rural do Rio Grande do Norte (RN), no ano de 2010. A amostra da pesquisa toma como refer?ncia a representatividade do universo escolhido em rela??o ? totalidade das escolas rurais pertencentes ao estado do RN. Para responder aos objetivos da investiga??o, optamos por apresentar uma an?lise cr?tica dos seguintes eixos: 1) implementa??o das DOEBEC; 2) condi??es de trabalho e forma??o docente. Os eixos ou categorias de investiga??o foram escolhidos com base nas determina??es das DOEBEC (Resolu??o CNE/CEB n. 01/2002). Para o levantamento de dados nas referidas escolas, optamos pela realiza??o de entrevistas com os professores e gestores que compunham o quadro docente desses estabelecimentos de ensino em 2010. Tamb?m foram utilizados, para a caracteriza??o do atendimento escolar em escolas rurais do RN, no mesmo ano, dados estat?sticos oficiais disponibilizados pela Secretaria Estadual de Educa??o e Cultura (SEEC/RN). O estudo estat?stico e dos dados prim?rios coletados na pesquisa de campo apontou que as condi??es de trabalho docente ainda s?o um entrave para o desenvolvimento do trabalho educativo do professor em ?reas rurais. De acordo com as entrevistas concedidas pelos participantes da pesquisa, percebemos que as DOEBEC, apesar de terem sido sancionadas no ano de 2002, em 2010, ainda eram pouco conhecidas e discutidas pelos entrevistados das referidas escolas. Dessa forma, propomos que a implementa??o da pol?tica de educa??o do campo no estado do RN, institu?da pelo marco legal das DOEBEC e reafirmada pela Carta do Rio Grande do Norte para a Educa??o do Campo (BRASIL, 2005), seja repensada e reavaliada, no sentido de assegurar que as mudan?as propostas nesse texto legal, inerentes ao funcionamento escolar, ?s condi??es de trabalho docente, ? gest?o das escolas do campo, ? remunera??o e ? valoriza??o do trabalho docente, ? forma??o docente, ?s condi??es do transporte escolar, entre outros, sejam transformadas em a??es concretas para a melhoria da qualidade do ensino ofertado nas escolas rurais do estado do RN. / Considering the situation of neglect existing in Brazilian public education and, specially, in the process of rural schooling, this dissertation aims to analyze the process of implementation of the Operational Guidelines for Basic Education in Rural Schools (DOEBEC), regulatory framework of the national policy of rural education. On it, we analyze the conditions of teaching work in rural schools of Rio Grande do Norte (RN), in 2010. The sample of the survey has as reference the representativeness of the chosen universe in relation to the totality of rural schools belonging to the state of RN. To answer the goals of the research, we opted to present a critical analysis of the following points: 1) Implementation of the DOEBEC; 2) Conditions of teaching work and teaching training. The points or categories of research were chosen based in the determinations of the DOEBEC (Resolution CNE/CEB n. 01/2002). For the data collection in the referred schools, we opted for the realization of interviews with the teachers and managers of these teaching establishments, in 2010. It was also utilized, for the characterization of school attendance in rural schools of RN, in 2010, official statistical data available by the State Secretary of Education and Culture (SEEC/RN). The analysis of the statistical data and of the primary data collected in field research indicated that the conditions of teaching work are still an obstacle to the development of the educative work of the teacher in rural areas. According to interviews with the participants of the research, we realized that the DOEBEC, despite being sanctioned in 2002, were still dimly known and discussed by the interviewees of the referred schools in 2010. Thus, we propose that the implementation of the policy of rural education in RN, instituted by DOEBEC?s legal landmark, and reaffirmed by the Rio Grande do Norte?s Charter to Rural Education (Brazil, 2005), is rethought and reconsidered, in the sense of ensuring that the changes proposed in this legal text, inherent to the school functioning, to the conditions of teaching work, to the rural schools? management, to the remuneration and valorization of teaching work, to the teaching training, to the conditions of school transport, among others, be turned into concrete actions to improve the quality of education offered in the rural schools of RN state.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-10-18T20:24:42Z No. of bitstreams: 1 LeonardoTelinoDeMeneses_TESE.pdf: 2153050 bytes, checksum: 326b4e94fc6790b13cd957a254e3e223 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-10-19T22:18:18Z (GMT) No. of bitstreams: 1 LeonardoTelinoDeMeneses_TESE.pdf: 2153050 bytes, checksum: 326b4e94fc6790b13cd957a254e3e223 (MD5) / Made available in DSpace on 2017-10-19T22:18:18Z (GMT). No. of bitstreams: 1 LeonardoTelinoDeMeneses_TESE.pdf: 2153050 bytes, checksum: 326b4e94fc6790b13cd957a254e3e223 (MD5) Previous issue date: 2017-06-09 / Esta pesquisa direciona esfor?os e prop?e uma solu??o para mitigar erros de exatid?o em transformadores de corrente espec?ficos para medi??o de energia el?trica. Duas solu??es s?o desenvolvidas: a primeira ? um sistema de controle em tempo real que inibe o fornecimento da energia entregue ao transformador de corrente -TC pelo seu circuito magn?tico e que retira esta energia do circuito de controle e n?o mais da corrente prim?ria que est? sendo medida inibindo a produ??o da corrente de excita??o pela energia que circula no prim?rio do transformador de corrente; a segunda ? o desenvolvimento de um algoritmo de compensa??o dos erros a partir do conhecimento das caracter?sticas f?sicas, el?tricas e magn?ticas do transformador de corrente e da mem?ria de massa das correntes medidas no secund?rio do TC, identificando a corrente de excita??o demandada em cada intervalo de integra??o, compensando essa corrente e recalculando a energia medida. Testes em laborat?rio demonstram a validade do primeiro m?todo com um n?vel de redu??o de erro superior a 50%. Aplica??es algor?tmicas em mem?ria de massa de TCs demonstram a validade e o potencial do segundo m?todo. A teoria e a pr?tica s?o discutidas e se complementam nas abordagens anal?ticas, experimentais e operacionais efetivadas ao longo da pesquisa. / This research directs efforts and proposes a solution to mitigate errors of accuracy in spe-cific current transformers for electric energy measurement. Two solutions are developed: the first is a real-time control system that inhibits the supply of energy delivered to the CT ? current transformer by its magnetic circuit and which withdraws this energy from the control circuit and no longer from the primary current being measured, inhibiting the pro-duction of the excitation current by the energy circulating in the primary of the current transformer; the second is the development of an error compensation algorithm based on the knowledge of the physical, electrical and magnetic characteristics of the current trans-former and the mass memory of the currents measured in the CT secondary, identifying the excitation current demanded in each integration interval, compensating this current and recalculating the measured energy. Laboratory tests demonstrate the validity of the first method with an error reduction level of more than 50%. Algorithm applications in mass memory of CTs demonstrate the validity of the second method. The theory and the practice are discussed and complement each other in the analytical, experimental and operational approaches carried out throughout the research.

In the fermentation process for ethanol production, the yeast Saccharomyces cerevisiae are recovered and recycled to a new stage of fermentation. This separation process is a major challenge, because the yeasts are small and low density. For this purpose the hydrocyclone emerges as an interesting alternative, because it uses the same principle of centrifugal separation, requires low maintenance and can be readily sterilized. This study aimed to optimize the separation process of yeast fermentation using hydrocyclones. To this end, was evaluated through experimental studies the influence of geometric and operational variables on the performance of hydrocyclones. A factorial experimental design (34) was applied and the results were used for the determination of empirical mathematical models that describe the capacity, total efficiency of separation, the flow ratio and reduced separation efficiency as a function of different geometric variables (feed inlet diameter, overflow diameter and angle of the hydrocyclone cone) and pressure drop. The geometry "optimum" founded was used in another factorial experimental design which aimed at evaluating the effect of concentration and pressure drop on the performance of the hydrocyclone. The diameters of the feed and overflow pipes studied were 2, 3 and 4 mm, while the angles of the hydrocyclone cone ranged from 6, 8 and 10º. The tests were conducted with suspensions of yeast in water with yeast concentrations from 0.5% to 5.5% by mass. All tests were performed at three different pressure drops (15, 23 and 31 psi). For yeast concentration of 1% was obtained total efficiencies of separation between 36.54 to 92.02%, reduced separation efficiencies from 4.67 to 55.59%, capacities from 0.1183 to 0.4579 m3/h and flow ratios, ranging from 31.74 to 84.30%. It also investigated the centrifugal forces generated within these devices ranging from 291g to 4153g. Analysis and discussion of the results show that the reduction of geometric variables with the increase in pressure drop and use of less concentrated suspensions led, in general, to an increase in total efficiency of separation. For the largest pressure drop conditions, the reduction of viability was checked and presented values below 6.76%. CFD techniques have also been applied in order to simulate the internal flow of a hydrocyclone. / No processo de fermentação para produção de etanol, as leveduras de Saccharomyces cerevisiae são recuperadas e recicladas para uma nova etapa de fermentação. Este processo de separação representa um grande desafio, pois as leveduras são pequenas e com baixa densidade. Para tal finalidade, o hidrociclone surge como uma alternativa interessante pois, além de utilizar o mesmo princípio de separação das centrífugas, requer baixo custo de manutenção e pode ser prontamente esterilizado. O presente trabalho teve como objetivo otimizar o processo de separação de leveduras da fermentação alcoólica utilizando hidrociclones. Para tanto, avaliou-se, através de estudos experimentais, a influência de variáveis geométricas e operacionais sobre o desempenho de hidrociclones. Um planejamento experimental fatorial (34) foi empregado e os resultados foram usados para a determinação de modelos matemáticos empíricos que descrevem a capacidade, eficiência total, a razão de líquido e a eficiência total reduzida como função de diferentes variáveis geométricas (diâmetro da alimentação, diâmetro do overflow e ângulo de tronco de cone) e da queda de pressão. A geometria ótima encontrada foi utilizada em um outro planejamento 3 níveis que visava avaliar o efeito da concentração e da queda de pressão sobre o desempenho deste hidrociclone. Os diâmetros dos dutos de alimentação e overflow estudados foram de 2, 3 e 4 mm, enquanto que os ângulos de tronco de cone analisados foram de 6, 8 e 10º. Os ensaios foram conduzidos com suspensões de leveduras em água, com concentrações de leveduras de 0,5% a 5,5% em massa. Todos os testes foram realizados a três diferentes quedas de pressão (15, 23 e 31 psi). Para uma concentração de leveduras de 1%, foram obtidas eficiências totais de separação entre 36,54 a 92,02%, eficiências totais reduzidas de 4,67 a 55,59%, capacidades de 0,1183 a 0,4579 m3/h e razões de líquido com valores entre 31,74 a 84,30%. Investigaramse também as forças centrífugas geradas no interior destes equipamentos que variaram de 291g a 4153g. Da análise e discussão dos resultados, pôde-se identificar que a diminuição das variáveis geométricas junto ao aumento na queda de pressão e utilização de suspensões menos concentradas levou, de um modo geral, a um aumento na eficiência total de separação. Para as maiores condições de queda de pressão foram verificadas as quedas de viabilidade que se situaram abaixo de 6,76%. Técnicas de CFD também foram aplicadas no intuito de simular o escoamento interno de um hidrociclone. / Mestre em Engenharia Química

O mundo moderno tem exigido das empresas uma força competitiva que deve se moldar aos diferentes segmentos de mercado e tipos de organizações. Vários são os exemplos de empresas que posicionam as suas operações no centro da estratégia competitiva, qualificando-as como uma força capaz de levá-las a modificar a seu favor a estrutura de mercado em que competem. Assim, tomando-se por base que a competitividade empresarial está diretamente associada à capacidade da organização de entender e atender as expectativas dos clientes, e que isto pode ser conseguido, em especial, pelo setor de operações, por meio da produtividade e da qualidade, por meio de sua eficiência interna e externa, o objetivo do presente trabalho é estudar as estratégias operacionais e refletir sobre a maneira como elas podem contribuir para conduzir as empresas à liderança de mercado ou funcionar como uma barreira contra a ameaça de novos entrantes. Mediante estudo exploratório da situação das empresas brasileiras, por meio dos casos das empresas Brasilata S.A. Embalagens Metálicas e Gol Linhas Aéreas Inteligentes S.A., a Tese demonstra que é possível posicionar as operações de forma a obter a desejada vantagem competitiva. / The modern world demands from companies a competitive force that must mold itself to different market segments and types of organizations. There are various examples of companies that position their operations in the center of competitive strategy, qualifying them as a force capable of allowing them to modify in their favor the market structure in which they compete. Thus, given that entrepreneurial competitiveness is directly associated with the organizational capacity to understand and satisfy customers’ expectations and that this can be achieved by the operational sector, by means of productivity and of quality and by means of internal and external efficiency, the aim of the present work is to study the operational strategies and the way in which they can contribute to conduct companies to market leadership or function as a barrier against the threat of new entrants. Through an exploratory study of the situation of Brazilian companies, using the cases of Brasilata S.A. Embalagens Metálicas and Gol Linhas Aéreas Inteligentes S.A., this thesis shows that it is possible to position the operations in such a way as to obtain the desired competitive advantage.

Made available in DSpace on 2014-06-12T15:49:42Z (GMT). No. of bitstreams: 1 license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Produtos eletrônicos modernos integram diversas funcionalidades, combinando mobilidade, poder computacional, uma alta capacidade para comunicação e flexibilidade de interfaceamento. No entanto, a integração dessas funcionalidades eleva a complexidade do projeto. O projeto de tais produtos inclui um sistema embarcado que, em geral, implementa suas funcionalidades em uma solução integrada de hardware e software. Uma plataforma de hardware baseada em processador permite a execução das funcionalidades do software do sistema. Os seus principais componentes são: processadores, memória, barramento e dispositivos periféricos. Modelos de simulação destes componentes podem ser obtidos e conectados para compor um modelo de plataforma virtual. Este modelo pode ser usado, ainda na fase inicial, para o desenvolvimento dos componentes de software: código dependente da plataforma, device drivers, funcionalidades do sistema operacional e aplicações do usuário. Nesse contexto, os dispositivos periféricos e os respectivos device drivers têm um papel importante, pois são responsáveis pelos diversos tipos de comunicação e interfaceamento com o mundo exterior, requisitos obrigatórios na maioria dos sistemas modernos. No entanto, o desenvolvimento de dispositivos periféricos não é uma tarefa simples, ainda que seja um modelo de simulação. Por outro lado, o desenvolvimento do driver depende da disponibilidade do modelo do dispositivo, além do tipo do processador e do sistema operacional. Essas dependências, portanto, podem acarretar atraso no tempo de desenvolvimento e afetar o custo do projeto. Assim, o desenvolvimento integrado e concorrente do dispositivo e do driver facilita a depuração, contribuindo para a eliminação de erro, além de reduzir o tempo total do projeto. Esse trabalho propõe uma abordagem para dar suporte ao desenvolvimento incremental e concorrente de device drivers e modelos de simulação do controlador de dispositivos, considerando diferentes níveis de detalhes dos modelos, o tipo do processador usado, bem como, a utilização de um sistema operacional. Para isso, uma linguagem específica do domínio é proposta para descrever características dos controladores e do device driver e, a partir dessa descrição, possibilitar que o controlador e os drivers sejam sintetizados. Para validar a proposta, uma plataforma baseada no processador Sparc foi desenvolvida e um porte do sistema operacional uclinux foi realizado. Alguns dispositivos periféricos e seus respectivos device drivers foram sintetizados tais como, UART, LCD display e dispositivos específicos para plataformas de computação reconfigurável. Esses componentes foram integrados à plataforma base e simulados para a validação dos componentes

Made available in DSpace on 2014-06-12T15:59:31Z (GMT). No. of bitstreams: 2 arquivo5135_1.pdf: 1049051 bytes, checksum: e5be25e2aa87cb17b0788411f129a4a8 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2006 / Atualmente, sistemas embarcados são ubíquos. Em outras palavras, eles estão em todos os lugares. Desde utilitários domésticos (ex: fornos microondas, refrigeradores, videocassetes, máquinas de fax, máquinas de lavar roupa, alarmes) até equipamentos militares (ex: mísseis guiados, satélites espiões, sondas espaciais, aeronaves), nós podemos encontrar um sistema embarcado. Desnecessário afirmar que a vida humana tem se tornado mais e mais dependente desses sistemas. Alguns sistemas embarcados são classificados como sistemas de tempo real, onde o comportamento correto depende não somente da integridade dos resultados, mas também nos tempos em que tais resultados são produzidos. Em sistemas embarcados de tempo real críticos, se as restrições temporais não forem satisfeitas, as conseqüências podem ser desastrosas, incluindo grandes danos aos equipamentos ou mesmo perdas de vidas humanas. Devido a tarefas que possuem alta taxa de utilização de processador, alguns sistemas embarcados (ex: dispositivos médicos) precisam ser compostos de mais de um processador para obter performance aceitável e, no caso de sistemas embarcados de tempo real críticos, para satisfazer as restrições temporais críticas. Entretanto, questões adicionais precisam ser consideradas para lidar com um ambiente multiprocessado, tal como comunicação entre processadores e sincronização. Nessa dissertação, um método de síntese de software baseado no formalismo matemático redes de Petri com tempo é apresentado para lidar com sistemas embarcardos de tempo real críticos com múltiplos processadores. A abordagem inicia a partir de uma especificação (usualmente composta de tarefas concorrentes e comunicantes) e automaticamente gera o código fonte de um programa considerando: (i) as funcionalidades e restrições; e (ii) o suporte operacional para execução das tarefas em um ambiente multiprocessado. Síntese de software é uma alternativa para sistemas operacionais especializados para dar suporte a execução de um programa. Sistemas operacionais são usualmente genéricos e podem introduzir atrasos no tempo de execução, e ao mesmo tempo produzir alto consumo de memória. Por outro lado, a síntese de software é uma alternativa de projeto, dado que este método automaticamente gera o código fonte do programa, satisfazendo a funcionalidade, as restrições especificadas, o suporte para execução, e a minimização dos atrasos e uso de memória

Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2016-07-26T14:51:03Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Ferreira, Ana Linda (TESE) EngCivil14.pdf: 3085122 bytes, checksum: d948f8fbcdf65b938ccf579d975895d1 (MD5) / Made available in DSpace on 2016-07-26T14:51:03Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Ferreira, Ana Linda (TESE) EngCivil14.pdf: 3085122 bytes, checksum: d948f8fbcdf65b938ccf579d975895d1 (MD5) Previous issue date: 2014-06-30 / CAPEs / O aporte excessivo de nutrientes como o fósforo e o nitrogênio são uma das principais causas da eutrofização das águas, um grave problema ambiental resultante de descargas de efluentes domésticos e industriais, bem como do uso intensivo de fertilizantes em campos agrícolas. Não obstante, é preocupante o facto das reservas de fósforo estarem a diminuir mundialmente. Este trabalho objetiva a remoção simultânea de fósforo e nitrogênio e o estudo das condições de funcionamento para o estabelecimento de uma comunidade específica de microrganismos para esse fim, tratando efluente real de origem domestica. Para isso foram instalados dois reatores em batelada sequencial com 140L de volume útil na ETE Mangueira em Recife/PE. Os resultados revelam que a adição de propionato para o enriquecimento do lodo melhora a sua sedimentabilidade enquanto que a adição de acetato favorece o desenvolvimento de organismos filamentosos. A aplicação de aeração continua inibiu a nitrificação e desnitrificação simultânea, enquanto que a aeração escalonada favoreceu esse processo. Dependendo da forma de como se procede a aeração do reator é possível reduzir a fonte de carbono na fase anóxica e também o TDH global de operação do reator. Foi possível remover DQO com eficiência acima de 90%, além de remover nitrogênio e fósforo em reatores RSB, mesmo com esgotos diluídos. A remoção de fósforo ocorreu através do mecanismo de remoção biológica de fósforo avançado (EBPR). / Excessive discharges of nutrients like phosphorus and nitrogen are one of the main causes of water eutrophication, a serious environmental problem resulting mainly from discharges of domestic and industrial effluents as well as the intensive use of fertilizers in agricultural fields. Nevertheless, it is being motif of concern that phosphorus reserves are declining worldwide. This work aims for simultaneous removal of phosphorus and nitrogen and the study of the operating conditions for the establishment of a specific community of microorganisms for this purpose, treating real domestic wastewater. For this two reactors were installed in sequencing batch with 140L working volume in ETE Mangueira in Recife / PE. The results show that the addition of propionate to the enrichment of the sludge settle ability improves their while adding acetate favors the growth of filamentous organisms. The application of continued aeration inhibited simultaneous nitrification and denitrification (SND), while the stepped aeration favored this process. Depending on how one proceeds as aeration reactor is possible to reduce the carbon source in the anoxic phase and also the overall HRT of reactor operation. COD could be removed with efficiency above 90%, in addition to removing nitrogen and phosphorus in SBR reactors, even with diluted sewage. The phosphorus removal occurred through the mechanisms of Enhanced Biological Phosphorus Removal(EBPR).

Orientador: Paulo Licio de Geus / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-04T19:10:45Z (GMT). No. of bitstreams: 1 Kropiwiec_DiogoDitzel_M.pdf: 1443116 bytes, checksum: e21c7e873f831958ffc9ce27db574054 (MD5) Previous issue date: 2005 / Resumo: A Internet trouxe grandes benefícios às organizações e usuários de computadores, porém causou também uma maior exposição dos sistemas computacionais interligados em rede. Inúmeros têm sido os esforços para conter o crescente aumento dos ataques que ocorrem no mundo todo, dentre os quais inclui-se o desenvolvimento de sistemas operacionais mais seguros. Entretanto, a adoção desses sistemas ainda é incipiente, devido a várias dificul-dades envolvidas no processo, dentre as quais destaca-se a complexidade de configuração e gerenciamento de políticas de segurança. Nesta dissertação, são apresentados os aspectos estudados durante o desenvolvimento do mestrado, que permitiram a identificação dos problemas atuais associados a segu-rança de sistemas operacionais e políticas de segurança. Isso resultou no projeto e imple-mentação do Policy Viewer, uma ferramenta de visualização de políticas de segurança. Sua finalidade é auxiliar o administrador de políticas na compreensão, visualização e verificação das políticas de segurança especificadas para o sistema operacional. Utilizando as características apresentadas no projeto, foi desenvolvida uma imple-mentação parcial da ferramenta contendo um subconjunto das funcionalidades previstas, sobre o qual foram elaborados exemplos para demonstrar sua utilidade no auxilio da configuração de políticas e na identificação de problemas da política especificada / Abstract: The Internet brought great benefits to organizations and computer users, but has also caused a larger exposure of the computing systems connected to the network. Countless efforts are being made to contain the increasingly higher leveI of attacks that happen ali over the world, among which stands the development of safer operating systems. Un-fortunately, the adoption of these systems is still incipient, because of several obstacles involved in the processo One of them is the complexity of configuring and managing security policies.This dissertation shows aspects of operating system security and security policies stu-died during the Masters program, leading to the identification of current problems asso-ciated with them. This resulted in the project and implementation of Policy Viewer, a tool for the visualization of security policies. Its purpose is to aid the policy administrator in the comprehension, visualization and validation of operating systems security policies. The tool has been partialiy implemented with a subset of the intended functions, using the features presented in the project. Also, examples are shown to demonstrate its utility toward aiding in the process of policy configuration and in the identification of possible problems of such policies / Mestrado / Mestre em Ciência da Computação

Orientador: Fabiano Fruett / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-06T06:47:54Z (GMT). No. of bitstreams: 1 Garcia_Vitor_M.pdf: 2431852 bytes, checksum: 99df32075176f9b0322278b0ce286ba5 (MD5) Previous issue date: 2006 / Resumo: Apresentamos neste trabalho um sensor de pressão de baixo consumo de potência. totalmente compatível com o processo de fabricação CMOS. constituído por um amplificador operacional sensível ao estresse mecânico fabricado sobre uma membrana. O desenho do layout do amplificador é feito de forma a maximizar o efeito do estresse sobre os transistores do par de entrada e minimizar sobre o restante do circuito. O projeto da membrana. bem como a localização dos elementos sensores sobre a mesma. Foram determinados através de simulação por elementos finitos. O sensor foi fabricado utilizando o processo CMOS 0.35 IJ.m AMS disponibilizado pelo Projeto Multi-Usuário (PMU) Fapesp. A membrana do sensor foi obtida através de um processo de desbaste mecânico da pastilha de silício onde o circuito foi fabricado. Analisamos também a dependência da tensão de limiar e da mobilidade de um transistor PMOS com relação ao estresse mecânico. O sensor fabricado apresentou um consumo de potência da ordem de 3 IJ. W e uma sensibilidade de 8.9 mV/psi / Abstract: A nove I Iow power totally CMOS compatible mechanical-stress sensitive differential amplifier. which can be used as a pressure sensor. is presented. This amplifier is based on a special designed layout where the stress sensitivity of the input differential pair. is maximized and the stress effects on the second stage are minimized. Finite element simulation was used to design the membrane and to locate the element sensor on it. The sensor was fabricated in a CMOS 0.35 IJ.m AMS process supported by the Fapesp Multi -User Project. In order to make a pressure sensor without a backside bulk micro-machining process. the thickness of the die was reduced by a mechanical polishing process. This work also analised the limiar-voltage and the mobility dependence with regard to mechanical stress. The sensor power consumption amounts to 3 IJ. W and the sensitivity amounts to 8.9 m V/psi / Mestrado / Eletrônica, Microeletrônica e Optoeletrônica / Mestre em Engenharia Elétrica

Orientador: Luis Geraldo Pedroso Meloni / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-07T00:07:09Z (GMT). No. of bitstreams: 1 Silva_HelcioWagnerda_D.pdf: 1116023 bytes, checksum: af2589c5ac30703b51fc2be872fc186a (MD5) Previous issue date: 2006 / Resumo: Apesar das iniciativas surgidas ao longo dos anos no âmbito da IETF, alguns aspectos relacionados à conjuração e manutenção dos sistemas desenvolvidos atualmente para a gerencia de redes TCP/IP ainda são endereçados de maneira ad-hoc. Muitas vezes, e necessária à intervenção humana, principalmente na ocorrência de falhas parciais. Esta Tese apresenta um estudo sobre o uso da tecnologia JINI na construção daqueles sistemas para torná-los mais flexíveis e auto-resilientes. As considerações gerais feitas neste estudo remetem: a associação de Serviços JINI a sistemas gerenciados; ao agrupamento destes Serviços de Domínios Gerenciados; à incorporação de Interfaces com Usuário flexíveis nos proxies para estes Serviços; à utilização dos mecanismos de segurança e de suporte a transações providos por JINI na interação entre Aplicações de Gerencia e Serviços JINI; e ao emprego de plataformas com baixo poder computacional. A ?m de validá-las, dois sistemas foram desenvolvidos. O primeiro deles tem seu foco no nível de dispositivo, sendo denominado de Baía de Equipamentos. O outro sistema, mais escapável, tem seu foco na rede como um todo, consistindo na implementação de um PNMS utilizando JINI nas comunicações entre a PMA e o PDP. Neste sistema, SNMPv3 e a MIB de Evento são utilizados para reforço de Políticas junto ao PEP. Um projeto alternativo para este PNMS e também descrito, concebendo o PEP como um Serviço JINI e realizando tal reforço mediante invocação remota de métodos junto aquele componente. Em seguida, JINI e comparada com outras tecnologias utilizadas para a criação de abordagens revolucionarias (CORBA e Web Services, mais especificamente). Esta comparação, que inclui também a tecnologia utilizada no modelo tradicional, é feita com base na modelagem de aplicações, utilização da infra-estrutura pré-existente, possibilidade de utilização de Interfaces com o Usuário flexíveis e aplicação de tais tecnologias em dispositivos com baixo poder computacional. O resultado daquela comparação aponta para uma viabilidade equivalente, e às vezes ate superior, de JINI frente a demais tecnologias. Esta conclusão deve-se em parte a sua considerável infra-estrutura, que prove suporte, inclusive, ao uso de transações. Além disso, mecanismos auxiliares permitem que usuários de sistemas baseados em JINI gerenciem dispositivos e aplicações através de interfaces flexíveis e personalizadas. E outros destes mecanismos permitem o seu uso em dispositivos com restrições computacionais sem comprometimento de funcionalidade. De fato, estas características garantem a sistemas baseados em JINI um nível de flexibilidade e automação sem precedentes. As direções futuras apontadas remetem a construção de mais sistemas baseados nesta tecnologia, endereçando necessidades especificais e até mesmo absorvendo outras tecnologias / Abstract: In spite of the initiatives that appeared over the years in context of the IETF, some aspects related to con?guration and maintenance of systems currently developed for management of TCP/IP-based networks are still addressed in an adhoc manner. Some times, human intervention is needed, mainly during the occurence of parcial failures. This Thesis presents a study on utilization of JINI technology for building of those systems, in order to improve them for more ?exibility and self-resilience. The general considerations performed in this study point to: association of JINI Services to managed systems; grouping them in Managed Domains; incorporation of ?exible User Interfaces in their related proxies; utilization of security and transactions mechanisms provided by JINI on their communications with Management Applications; and deployment of both components into low computing power devices. In order to validate these considerations, two systems were developed. The ?rst one focus on the device level, being named Bay of Devices. The second, more scalable, has its focus on the wide-network level. This latter is an implementation of a PNMS that uses JINI for communication between the PMA and the PDP. It uses SNMP and the Event MIB for enforcement of Policies on PEPs. An alternative design for this PNMS is presented as well, showing the PEP as a JINI Service and performing such enforcement by means of remote method invocations on that component. Next, JINI is compared to other technologies used in creating revolutionary approaches (more speci?cally, CORBA and Web Services). That comparison, which includes the technology used on traditional approach as well, was performed taking into account the following parameters: modelling of applications, utilization of existent infrastructure and capabilities related to the utilization of ?exible User Interfaces and deployment of low computing power devices in these technologies. The results emerged from that comparison point to an equivalent, and sometimes better, suitability of JINI when compared to these technologies. This conclusion is due partially to its infrastruture, that also includes provision for using transactions. Moreover, auxiliary mechanisms allow users of JINI-based systems to manage devices and applications by means of ?exible and customized User Interfaces. Similar mechanisms allow its deployment on devices with lower computing power without loss of functionality. In fact, these features provide to JINI-based systems an unpreceeded level of ?exibility and automation on their operations. The future directions point to building of additional systems based on this technology, addressing aspects speci?c to devices and/or applications, and merging other technologies, when possible / Doutorado / Telecomunicações e Telemática / Doutor em Engenharia Elétrica