Orientadores : Jorge Moreira de Souza, Hermano Medeiros Ferreira Tavares / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T01:13:43Z (GMT). No. of bitstreams: 1 Martini_MartaRettelbuschdeBastos_D.pdf: 13837232 bytes, checksum: 5c9bcf15200051e0fdbb9f2835ff56a7 (MD5) Previous issue date: 1991 / Resumo: À medida que a importância dos sistemas computacionais cresce na sociedade moderna, mais rigorosos se tornam os requisitos de qualidade a que têm que atender. Atualmente a complexidade do processo de desenvolvimento do hardware e do software força a que os defeitos de concepção sejam também considerados na avaliação da segurança de funcionamento de sistemas, além da deterioração física dos seus componentes. A modelagem e a análise de dados de falhas de concepção que o sistema apresentou em operação são técnicas de controle de qualidade usadas para avaliar a qualidade de serviço de sistemas, a fim de se obter resultados quantitativos.Estes resultados são um instrumento valioso para a gerência do desenvolvimento ao longo de todo o processo de desenvolvimento do sistema. Os defeitos de concepção do hardware e do software são da mesma natureza. É mostrado que os modelos e teorias desenvolvidos nas últimas duas décadas para a garantia de funcionamento de software podem ser utilizados para analisar a concepção do hardware. Este trabalho apresenta uma metodologia de garantia de funcionamento quanto a falhas de concepção baseada na análise prévia da tendência da série de dados de falha antes da modelagem do processo de falha. O processo de falha é dividido em períodos no tempo nos quais a tendência da série de dados é relacionada à hipótese de tendência dos modelos aplicados. A metodologia proposta é de uso geral e permite analisar aspectos importantes tais como processos de falha complexos, eficiência de teste, impacto de mudanças de especificação na segurança de funcionamento de sistemas e previsão de falhas. É proposto um Programa de Segurança de Funcionamento quanto a falhas de componentes e de concepção que relaciona as atividades de garantia de segurança de funcionamento às fases do ciclo de vida do sistema. Este Programa tem dois objetivos principais: 1. assegurar que o sistema satisfaz os requisitos de segurança de funcionamento especificados, e 2. ajudar a gerência do desenvolvimento a obter uma concepção confiável dentro do cronograma estipulado. Diversos processos de falha de sistemas reais de telecomunicações baseados em computador são usados para exemplificar a abordagem proposta e atestar os bons resultados obtidos / Abstract: As the importance of computer systems increases in modern society, more stringent become the quality requirements they have to meet. Nowadays the complexity of software and hardware development processes forces design faults to be taken into account in system dependability analysis, besides physical deterioration of components. Modeling and analysis of experimental design failure data are quality control techniques used to evaluate the dependability of systems, in order to provide quantitative results which are a major aid to management during the system development process. Software and hardware design faults have the same nature. It shown that the models and theories developed during the last two decades for software dependability assessment can be used to analyze hardware design.This work presents a general purpose design dependability assessment methodology based on the analysis of failure data trend before modeling failure processo Failure process is divided into time periods in which the trend is related to the trend hypothesis of the models. Important aspects as complex failure processes, test eficiency, impact of specification changes in system dependability and failure forecasting are analyzed using the proposed modeling methodology. It is proposed a Dependability Assurance Program for design and component failures which relates dependability assessment activities to the system life-cyclephases with two main objectives: 1. ensure that the system satisfies the specified requirements, and 2. help the development management to obtain a reliable design within the stipulated schedule. Several real computer based telecommunication systems failure processes are used to exemplify the proposed approach and testify the good results obtained. / Doutorado / Doutor em Engenharia Elétrica

Orientador : Ana Maria Monteiro / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Biologia / Made available in DSpace on 2018-07-14T01:53:32Z (GMT). No. of bitstreams: 1 Cavallari_WilsonRoberto_M.pdf: 8710649 bytes, checksum: 872510c71ba4b217b53811a938740a22 (MD5) Previous issue date: 1991 / Resumo: O lento alongamento da parte áreas de Dalbergia característico de plântula de cerrado, em relação ao da raiz é mensurável desde o 10º dia após a embebição. Com o objetivo de se avaliar os efeitos dos reguladores de crescimento neste processo do alongamento do eixo de Dalbergia miscolobium, este trabalho foi desenvolvido numa seqüência de etapas em que se estudou o alongamento das diferentes regiões da plântula intacta e de segmentos de hipocótilo submetidos a deferentes reguladores de crescimento. O AIA inibe o alongamento e o peso seco do eixo das plântulas somente em altas concentrações. Parece que este efeito não está relacionado com a liberação de etileno, pois, este fitormonio afeta, principalmente o alongamento da raiz, inibindo-o O GÁ3 em altas concentrações promove o alongamento da parte aérea, principalmente do hipocótilo e altera a taxa de crescimento parte aérea/reaiz. CCC e AMO - 1618 não são específicos na inibição do alongamento do eixo enquanto que o Tecyclacis promove sua inibição. Aplicações de GÁ3 são capazes de reverter este efeito no alongamento do hipocótilo, tanto ao nível macroscópico como ao nível celular. Apesar de aplicações de íons potássio promovem o alongamento do hipocótilo, este efeito não sinergistico com o causado pelo GA3 o ABA inibe o alongamento do eixo em baixas concentrações, inibindo inclusive o processo de germinação, quando concentrações mais altas são aplicadas as plantas. Assim, parece que estes regulador esta envolvido mais efetivamente no controle da germinação do que no do alongamento do eixo. O alongamento de células de segmentos do hipocótilo de Dalbergia é promovido por ATA. D-triptofano, L-triptofano+GA3 e D-Triptofano+ GA3 . talvez o GA3 atue no controle da biossintese do ATA em segmentos do hipocótilo de Dalbergia por meio da promoção da conversão de L-triptofano para D-triptofano / Mestrado / Biologia Vegetal / Mestre em Ciências Biológicas

Orientadores : Mario Jino, Fuad Gattaz Sobrinho / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T02:48:40Z (GMT). No. of bitstreams: 1 Camargo_FaniBarbosa_M.pdf: 6914690 bytes, checksum: eac206e5526bf3b6a6ac5bd2489c6fa1 (MD5) Previous issue date: 1991 / Resumo: A atual tecnologia de produçao de software encontra-se em estágio artesanal e caracterizada por baixa qualidade e produtividade. Formas promissoras de ir de encontro a uma produçao industrial de sistemas de software encontram-se em paradigmas de reuso e formalismo. o objetivo deste trabalho é propor uma alternativa para assegurar a qualidade de sistemas de software, em seus diversos niveis de abstraçao, através de um processo de validaçao com uso de formalismo. Para tal, procurou-se aliar os conceitos de composiçao de Componentes de Software Reusáveis da Linguagem-Pi à técnica de especificaçao formal de Traços, tornando possivel a automatizaçao do processo de validaçao. Uma ferramenta de software foi produzida dentro deste contexto - o Gerador Automático de Teste, GAT, que efetua a validaçao do código de um componente de software contra seus requisitos, expressos por uma especificaçao formal / Abstract: The current software production technology is found to be in a craftsman stage, with low quality and productivity standards. Promising avenues towards an industrial production of software systems lie in paradigms of reuse and formalism. The objective of this work is to propose an alternative for the assurance of high quality levels of software systems, within its different levels of abstraction, through a validation process, with the use of formal techniques. In this context, the concepts of Reusable Software Components from the Pi-Language model are alied to the formal Trace specification technique, making possible an automatic validation processo A software tool is here produced - the Automatic Test Generator, ATG, which performs the validation of a software component's code against its requirements, expressed by a formal specification / Mestrado / Automação / Mestre em Engenharia Elétrica

Orientadores : Mario Jino, Jose Carlos Maldonado / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T02:48:53Z (GMT). No. of bitstreams: 1 Vergilio_SilviaRegina_M.pdf: 9458832 bytes, checksum: f193fe990b607ed61231148f4090f549 (MD5) Previous issue date: 1992 / Resumo: Neste trabalho são discutidos os principais problemas introduzidos por caminhos não executávels nas atividades de teste de programas, já que é indecidível se um caminho é ou não executável. O trabalho enfoca tres aspectos principais: caracterização, previsão e determinação de caminhos não executávels. Os estudos foram realizados baseando-se em trabalhos existentes na literatura e em resultados obtidos durante a condução de um "benchmark". Para Isto, utilizou-se uma ferramenta de testes, denominada POKE-TOOL, que apoia a aplicação dos critérios Potenciais-Usos. São apresentados: as principais causas de não executabilidade encontradas nas rotinas do "benchmark"; modelos para avaliar a influência de várias características de programas, no número de caminhos não executávels e modelos para avaliar a relação entre o número de predicados do caminho e sua executabilidade. A condução do "benchmark" também ressaltou a importância da aplicação das heurístlcas propostas por Frankl [FRA87] para identificação de elementos não executávels; além disto, levou a proposição de extensôes para esta heuristica e viabilizou a identificação de facilidades que foram incorporadas na POKE-TOOL, para tratamento de tais elementos. Adicionalmente, são apresentados: os principais aspectos de implementação das heurísticas e facilidades propostas, um exemplo de utilização das rotinas implementadas e uma avaliação preliminar do desempenho das mesmas / Abstract: This work discusses the main problems introduced by Infeasible paths in the activities of program testing, since it is undecidable whether a path is or is not feasible. The work focuses on three major aspects: cIassification, estimation and determination of infeasible paths. The studies were accomplished based on results reported in the literature and on results taken from the application of a benchmark. To conduct the benchmark, the testing tool used was the POKE-TOOL, a tool which supports the Potential-Uses criteria. The main causes for non-feasibility of paths in the benchmark's routlnes are presented. Models which assess the influence of several characteristics of programs on the number of infeasible paths and models to assess the relation between the number of predicates in paths and their feasibility are also presented. The benchmark pointed out the relevance of the Frankl's heuristic application (FRA87) for identification of infeasible paths; more over, has made possible the proposition of extension to this heuristic and of facilities to deal with such paths, which were incorporated into POKE-TOOL. The heuristics and main aspects of implementation of the proposed facilities are presented; an example of utilization and a prelimliary assessment of the effectiveness of the implementation are also shown / Mestrado / Mestre em Engenharia Elétrica

Orientador: Paulo Roberto Davidoff das Chagas Cruz / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Economia / Made available in DSpace on 2018-08-04T03:52:48Z (GMT). No. of bitstreams: 1 Damasceno_AderbalOliveira_M.pdf: 693921 bytes, checksum: 99d0b3ae9284a65fd6cc2deea95d664e (MD5) Previous issue date: 2004 / Resumo: O objetivo desta Dissertação é fazer um exame da abordagem convencional acerca da relação entre Integração Financeira Internacional e crescimento econômico, tendo como objeto de investigação empírica a experiência da América Latina e Caribe no período 1986- 2000. Com isso, pretende-se lançar luz às seguintes questões: Qual a relação estabelecida no âmbito da literatura convencional entre Integração Financeira Internacional e crescimento econômico? Quais são as evidências para experiência da América Latina no período? No âmbito da literatura convencional, não obstante ter ficado clara a existência de opiniões divergentes quanto à relação entre Integração Financeira Internacional e crescimento econômico, o mais adequado seria afirmar que a visão predominante dentro desta literatura é de que seria necessário pré-requisitos a serem preenchidos pelas economias domesticas para que os benefícios da Integração Financeira Internacional se concretizassem. Os cálculos econométirocos realizados para a experiência da América Latina produziram os seguintes resultados: i) foram encontradas evidências empíricas de efeitos adversos da Integração Financeira Internacional sobre o crescimento do PIB real per capita dos países; e ii) não foram encontradas evidências de que essa relação dependa do grau de abertura das economias ao comércio internacional, desenvolvimento do sistema financeiro doméstico, prática de políticas econômicas consideradas sadias pela literatura convencional e estabilidade macroeconômica / Mestrado / Politica Economica / Mestre em Ciências Econômicas

Orientador: Maria Cecilia Calani Baranauskas / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-04T13:57:43Z (GMT). No. of bitstreams: 1 Vianna_ElaineCristinadaCruzMiravete_M.pdf: 1540668 bytes, checksum: e10a4efbecece224fde0da7443b74973 (MD5) Previous issue date: 2004 / Resumo: As atividades relacionadas à gestão de requisitos representam um papel fundamental no processo de construção de um sistema de software, especialmente por constituírem o alicerce para as fases subseqüentes do desenvolvimento. A gestão dos requisitos de software compreende fundamentalmente a elicitação, análise, especificação e gerência dos requisitos (solicitações e necessidades dos usuários), válidos para o sistema a ser desenvolvido. Alguns processos emergentes de Engenharia de Software têm dado grande ênfase à atividade de especificação de requisitos, em detrimento à sua elicitação. Neste trabalho buscamos conciliar os aspectos relevantes de diferentes abordagens para a Engenharia de Requisitos, visando obter uma metodologia híbrida para a gestão de requisitos de software de natureza interativa. Para este objetivo, combinamos as principais características do Processo Unificado à abordagem do Design Participativo. Visando a aplicação e verificação prática dos conceitos preconizados por tais abordagens, elegemos um projeto real de desenvolvimento de software para a condução de um estudo de caso, onde técnicas de Design Participativo foram empregadas de forma complementar à metodologia proposta pelo Processo Unificado. Como resultado, identificamos e analisamos os principais pontos fracos e pontos fortes inerentes a cada uma dessas perspectivas e propusemos um método para a gestão de requisitos fundamentado nos aspectos positivos de cada uma delas / Abstract: Activities concerned with requirements management play a fundamental role into the software system construction process, especially to establish the foundation for the development of subsequent phases. The requirements management fundamentally includes the requirements (user's requests and needs) elicitation, analysis, specification, validation and administration, valid to the system to be built. Some emergent Software Engineering processes have given more emphasis to the requirements specification activity, than to its elicitation. In this work we investigate the relevant aspects of different approaches to the Requirements Engineering, aiming at obtaining a hybrid methodology to the interative nature of software requirements management. For this purpose, we combined the main features of the Unified Process with the Participatory Design approach. Aiming the practical application of concepts provided by these approaches, we selected an actual software development project for the conduction of a case study, in which Participatory Design techniques where applied in a complementar way to the methodology proposed by the Unified Process. As a result, we identified and analised the main weaknesses and strenghts inherent to each of these perspectives and proposed a method for requirements management based on the positive aspects of each one / Mestrado / Engenharia de Computação / Mestre em Computação

Made available in DSpace on 2014-06-12T23:04:22Z (GMT). No. of bitstreams: 2 arquivo9530_1.pdf: 2084113 bytes, checksum: 6ce9e5c787aa88318ae5a375c7b581ce (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2006 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Para avaliar os efeitos da desnutrição neonatal sobre o desenvolvimento motor, foram avaliadas a ontogênese dos reflexos, a atividade locomotora e as propriedades mecânicas dos músculos esqueléticos. Ratos Wistar foram divididos em grupos normais e desnutridos, de acordo com a dieta oferecida as lactantes durante o período de aleitamento (1° ao 21° dias p6s-natais - PN). Ap6s o desmame, os filhotes receberam dieta normal. A avaliação dos reflexos foi realizada diariamente, ate o 21° PN. A atividade locomotora foi avaliada no 8°, 14°, 17° e 21° PN. A avaliação biomecânica dos diferentes componentes do musculo ( contrátil/CC, elástico em serie/CES e elástico em paralelo/CEP) foi realizada oas 25 e 90 PN, nos músculos solear e extensor longo dos dedos (EDL). Uma análise histoquímica (coloração ATPase) foi também realizada. A desnutrição induziu atrasos na maturação dos reflexos de aversão ao precipício, geotaxia negativa, endireitamento em queda livre, colocação pelas vibrissas e resposta ao susto. A atividade locomotora sofreu alterações devido a desnutrição: encontrou-se redução na distância e velocidade no 8° e 14° PN, seguida por um aumento aos 17 e 21 PN. O tempo de imobilidade mostrou-se reduzido nos desnutridos aos 17 e 21 PN. A análise biomecânica demonstra que a desnutrição induziu a: redução da força em ambos os músculos estudados, aumento na velocidade máxima de encurtamento aos 25 dias em ambos os músculos, aumento na resistência a fadiga no solear a 25 PN, e aumento na resistência ao estiramento passivo em ambos os músculos, aos 25 PN. Os parâmetros do CES não foram afetados. Não se observaram diferenças em relação a proporção de tipos de fibra musculares, porem a desnutrição induziu a uma redução na área de secção transversa, com exceção do EDL aos 25 PN. Os resultados permitem concluir que as modificações observadas em algumas propriedades mecânicas tem origem na desnutrição imposta no período neonatal, sendo provavelmente devidas a alterações nos processos de maturação muscular. As influencias dos retardos nos processos de maturação sobre o desenvolvimento e organização da atividade locomotora são aqui discutidas

Made available in DSpace on 2014-06-12T23:14:03Z (GMT). No. of bitstreams: 2 arquivo2585_1.pdf: 1419899 bytes, checksum: 5dbcf379e6fffc366b2951809c21761b (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Esta dissertação teve por objeto analisar a gestão compartilhada da política como estratégia de desenvolvimento em áreas pobres. A pesquisa empírica foi realizada na ZEIS do Recife Caranguejo Tabaiares, e buscou compreender como a experiência de Gestão Compartilhada do Programa Operação Trabalho, da Prefeitura de Recife, contribuiu para o processo de desenvolvimento local. A experiência se desenvolveu por meio da criação de uma comissão que envolveu três grupos de sujeitos: organizações locais, ONGs e Gestão Pública Municipal - Recife e Nantes/França. Na construção teórica, a pesquisa analisou a pobreza sob a ótica da privação de capacidades, resultante de um sistema gerador de desigualdade social, bem como buscou compreender o Desenvolvimento como processo, cuja característica principal é a construção de liberdades necessárias à autonomia dos sujeitos, onde desenvolver ou não determinada região depende da participação da sociedade e do compromisso do Estado, cada um assumindo suas atribuições e responsabilidades. Concluímos que garantir espaços de Gestão Compartilhada das políticas e programas fortalece a autonomia dos sujeitos, estabelece a co-responsabilidade com a comunidade e gera mudança na cultura de gestão da coisa pública, seja pelo Estado, seja pela sociedade

Made available in DSpace on 2014-06-12T23:14:54Z (GMT). No. of bitstreams: 2 arquivo3761_1.pdf: 623754 bytes, checksum: d81b5ecebee54173208c73fbc7592e6a (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Neste trabalho construímos reflexão sobre as transformações ocorridas no Nordeste, com enfoque na questão das desigualdades regionais. Para tanto, analisamos as propostas de políticas de desenvolvimento direcionadas à SUDENE (Superintendência do Desenvolvimento do Nordeste). Um marco para análise refere-se à primeira proposta de criação da SUDENE, elaborada pelo Grupo de Trabalho para o Desenvolvimento do Nordeste (GTDN) no final da década de 50 e, portanto, refere-se ao modelo desenvolvimentista, com a proposta Uma Política de Desenvolvimento Econômico para o Nordeste . Outro marco de análise refere-se à proposta de recriação da SUDENE, elaborada pelo GTI (Grupo de Trabalho Interministerial para Recriação da SUDENE), em 2003 e apresenta um novo modelo de desenvolvimento para o Nordeste com a proposta Bases para a Recriação da SUDENE Por uma Política de Desenvolvimento Sustentável para o Nordeste . A pesquisa é qualitativa com análise de conteúdo e tem como referência os documentos que apresentam as duas propostas de política de desenvolvimento para o Nordeste no processo de criação e recriação da SUDENE. O propósito é refletir os dois modelos de desenvolvimento implantados na região assim como, confrontar as duas propostas de política de desenvolvimento. Entre possibilidades e limites, entendemos que o modelo de desenvolvimento elaborado pelo GTI para o Nordeste representa um novo marco de transformações intervencionistas na região

Made available in DSpace on 2014-06-12T23:15:39Z (GMT). No. of bitstreams: 2 arquivo9079_1.pdf: 652669 bytes, checksum: c432a1cd2d0dd3f72ce60189c42baea0 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2005 / Mutantes de arroz foram estudados quanto à tolerância a salinidade dos solos por meio da utilização da radiação gama com 60Co. Foram avaliados os efeitos da radiação gama (60Co) na germinação de genótipos de arroz (5 e 14 dias), sob diferentes estresses salinos. O nível de salinidade de 1,8 MPa (5,0 dS.m-1) impediu a germinação das sementes até os 14 dias e o de 1,2 MPa (3,3 dS.m-1) teve efeito diferencial entre as variedades. As doses de radiação empregadas (120-360 Gy) não interferiram na germinação das sementes. Foram avaliados os efeitos da radiação gama (60Co) em cinco genótipos de arroz irrigado. A dose de 360 Gy afetou negativamente as variedades de arroz quanto ao número de perfilhos, produção de matéria verde e seca, área foliar, germinação, vigor e altura. As doses de radiação abaixo de 300 Gy não afetaram significativamente os parâmetros avaliados. Foram estudados, também, os efeitos da radiação gama (60Co) em genótipos de arroz sob diferentes estresses salinos. Houve diferença significativa entre variedades apenas para dias para floração. As doses de radiação estudadas interferiram significativamente apenas na colheita; quanto maior a dose empregada, maior o número de dias para colheita. A salinidade empregada interferiu na germinação, número de perfilhos, altura da planta, vigor, área foliar, produção de matéria verde e seca e dias para floração e colheita