Orientador: Marcio Luiz de Andrade Netto / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-13T21:53:33Z (GMT). No. of bitstreams: 1 Guilherme_IvanRizzo_M.pdf: 6763599 bytes, checksum: f5f8dc36b79c661e0593fc1328a26b21 (MD5) Previous issue date: 1990 / Resumo: Este trabalho consiste da discussão e implementação de ferramentas de programação que operem Conjuntos Nebulosos e a Lógica Nebulosa. É demonstrado e discutido um sistema composto de um conjunto de rotinas voltadas para a Manipulação de Conjuntos e Relações Nebulosas. Alguns sistemas de programação baseados em 16glca nebulosa, denominados de PROLOG-nebulosos, são analisados. Finalmente descreve-se a implementação de um PROLOG-nebuloso que possui as mesmas características da linguagem PROLOG / Abstract: This work consists of a discussion and implementation of programming tools that operate the Fuzzy Sets Theory. A system composed of a set of routines specialized on manipulating of Fuzzy Sets and Fuzzy Relations is shown and discussed. Some system for Fuzzy Logic Programming, known as Fuzzy PROLOG, are analysed. Finally, an implementation of a Fuzzy PROLOG is describe that has the same characteristic of the PROLOG language / Mestrado / Mestre em Engenharia Elétrica

Orientador: Vinicius A. Armentano / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-13T21:52:14Z (GMT). No. of bitstreams: 1 Nascimento_MarioAntoniodo_M.pdf: 5352434 bytes, checksum: ad10563dea6a8f47a58d014900d2472e (MD5) Previous issue date: 1990 / Resumo: Neste trabalho abordamos o problema de seqüenciamento ("scheduling") de peças em uma célula flexível de manufatura. Propomos, como contribuição principal, um algoritmo heurístico de duas fases: Decompor o problema de N peças e M máquinas em N subproblemas de 1 peça e M máquinas; resolver cada um destes subproblemas otimizando algum critério. Combinar as soluções obtidas de todos o subproblemas, de modo a obter uma solução fatível para o problema original e que contemple a otimização de algum critério. Propomos ainda um algoritmo exato do tipo "Branch-and-Bound" que servirá de referência para avaliar as soluções obtidas pela estratégia de duas fases. Um modelo de programação matemática também é apresentado / Abstract: In this thesis we treat the problem of scheduling jobs in a flexible manufacturing cell. We propose, as the main contribution, a two phase heuristic algorithm: To decompose the N jobs and M machines problem into N sub-problems of 1 job and M machines; to solve each of them minizing some criterion. To mix the solution obtained from the sub-problems into a single feasible solution, in which some optimization criterion is considered. Furthermore we propose an exact Branch-and-Bound algorithm which will provide solutions to be compared with those obtained by the two phase approach. A mathematical programming model is also presented. / Mestrado / Mestre em Engenharia Elétrica

Orientador: Dalton Soares Arantes / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia de Campinas / Made available in DSpace on 2018-07-16T20:09:47Z (GMT). No. of bitstreams: 1 Quiterio_AntonioJose_M.pdf: 3825974 bytes, checksum: f8e602b7d9526db41b417a972d253d8c (MD5) Previous issue date: 1978 / Resumo: O presente trabalho consiste no projeto e implementação de um equipamento de teste para os sistemas multiplex digital de Modulação por Codificação de Pulsos (MCP). O equipamento presta-se à medida de desempenhos dos sistemas de 2Mbits/s, 8Mbits/s e 34Mbits/s, podendo também ser utilizado em alguns testes do sistema de 140Mbits/s. / Abstract: Not informed. / Mestrado / Mestre em Ciências

Orientador : Hermano Medeiros Ferreira Tavares / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia de Campinas / Made available in DSpace on 2018-07-17T22:17:57Z (GMT). No. of bitstreams: 1 SoaresFilho_Secundino_D.pdf: 2097885 bytes, checksum: c3b2fbde8eea9f54659003fb765b806f (MD5) Previous issue date: 1978 / Resumo: Não informado / Abstract: Not informed / Doutorado / Doutor em Engenharia Elétrica

Orientador: Meuris Gurgel Carlos da Silva / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Quimica / Made available in DSpace on 2018-08-06T12:02:48Z (GMT). No. of bitstreams: 1 Quintella_MonicaCaldeira_M.pdf: 1476119 bytes, checksum: 1d91805b6bd6dbea8325e814bb31f4cb (MD5) Previous issue date: 2006 / Resumo: Nas diferentes atividades de serviço de saúde tem-se observado a preocupante exposição dos profissionais desta área a riscos cupacionais críticos, como biológicos, ergonômicos e de potenciais para causarem acidentes. Com isso vários estudos vêm sendo realizados visando o estabelecimento de programas que eliminem ou minimizem os riscos, envolvendo aspectos de biossegurança. Com o objetivo de contribuir positivamente na abordagem desta problemática, este trabalho baseou-se em técnicas de análise de risco da Engenharia de Segurança de Sistemas para identificar, classificar e quantificar os riscos existentes no local do estudo, propondo ainda ações preventivas e/ou corretivas. Considerando a abordagem específica da área de saúde, foi proposta uma técnica de análise a partir da Técnica de Incidente Crítico (TIC) e da Análise Preliminar de Risco (APR), visando eliminar ou minimizar riscos ocupacionais e possíveis ocorrências e acidentes. A área escolhida para o estudo foi o HEMOCENTRO/UNICAMP, mais especificamente o setor de processamento de banco de sangue, onde as bolsas são fracionadas e preparadas para transfusões de sangue. O levantamento detalhado dos dados foi realizado mediante visitas ÀS áreas, acompanhamento das atividades, leitura e estudo dos procedimentos, e os resultados desta etapa foram utilizados para a elaboração das etapas seguintes. Os resultados da aplicação da técnica TIC forneceram subsídios para aplicação APR, que se mostrou eficiente e rápida na observação das possíveis falhas existentes na área de desenvolvimento do estudo. A técnica de análise de risco utilizada mostrou-se adequada e os resultados desta apontaram a priorização e ações corretivas para falhas em procedimentos que possam causar a exposição de seres humanos e do ambiente a riscos críticos. Os resultados gerais da análise mostraram que 80% das atividades apresentaram risco crítico, que estão relacionados com fatores biológicos, ergonômicos, entre outros, e que o risco biológico está presente com maior probabilidade e freqüência comparado aos outros tipos de riscos. A aplicação e implementação das técnicas de Engenharia de Segurança de Sistemas mostraram versatilidade e capacidade para a identificação, classificação e qualificação dos riscos existentes nas atividades, não somente no setor industrial, mas também para outros setores produtivos e de serviços, como o estudo deste caso, na área de serviço de saúde / Abstract: In the different activities in the health service it has been observated the worrying exposure of the profissionals from this area to critical occupacional risks like: biological, ergonomics and the potencial to cause accidentes. For this reason several studies have been carried out aiming the establishment of programs which eliminate and minimize the risks, envolving aspects biosafety. With the objective of contributing positively to approach of this problem, this work was based on risk analysis tecniques from the Sistems Safety Engenniring to identify, classify, quantify the existenting risks at the place of the study, proposing still corective and/or preventive actions. Considering the specific approch of the health area it has been proposed an analysis tecnique based on Critical Incident Tecnique (CIT) and Preliminary Hazard Analysis (PHA), to eliminate or minimize occupacional risks and possible occurence and accidentes. The chosen area for the study was the blood bank/UNICAMP, more specilically the blood bag processing sector, where the bags are separated and prepared for blood transfusion. The detailed of data has been done through visits to the areas, observations of activities, read and study the procedures. He results of the stage were utilized for the elaboration of the next stages. The results CITof the provided supporting data for the elaboration of PHA which revealed it self as fast and efficient in the observation of the possible existing failures in the area where this study was developed. / Mestrado / Termofluidodinamica / Mestre em Engenharia Química

O desenvolvimento de produtos é reconhecido como um processo desafiador em todas as empresas. No entanto, como aeronaves são muito complexas e devem atender à uma multiplicidade de requisitos interligados, seu processo de desenvolvimento representa um desafio ainda maior. Assim, entre os diferentes requisitos a serem atendidos por uma nova aeronave, há os requisitos de custo, desempenho e sustentabilidade. As propriedades de massa da aeronave estão relacionadas com o cumprimento destes três requisitos, dessa maneira, é essencial que as estimativas iniciais de propriedades de massa sejam as mais realistas possíveis e que estas sejam rigorosamente controladas durante as fases posteriores de desenvolvimento. As principais propriedades de massa de uma aeronave são: peso, centro de gravidade, momentos e produtos de inércia. A gestão de propriedades de massa tem diferentes características dependendo da fase de desenvolvimento do produto. O principal objetivo deste trabalho é identificar as principais características da gestão das propriedades de massa durante o desenvolvimento de aeronaves, identificar oportunidades e propor pontos de melhoria no processo executado por uma empresa desenvolvedora de aeronaves. Assim, foi realizada a síntese da revisão da literatura de maneira a permitir a identificação das características e variáveis críticas do processo, considerando suas principais dimensões: atividades e entregas, papéis e responsabilidades, estratégias e metas, e recursos e ferramentas Posteriormente um estudo de caso estruturado foi conduzido em uma empresa desenvolvedora de aeronaves de maneira a identificar divergências entre a síntese do processo de gestão de propriedades de massa e a forma com que esta gestão é conduzida na prática. As divergências encontradas foram analisadas e geraram propostas de melhorias no processo executado na prática. Esta é uma pesquisa descritiva e a metodologia adotada é o estudo de caso participativo, uma vez que a autora participou do processo de desenvolvimento de aeronaves por três anos. Os resultados deste trabalho destacam as diferenças entre teoria e práticas de gestão de propriedades de massa, considerando principalmente a integração técnica, estratégia e responsabilidades no processo de desenvolvimento de aeronaves. / The product development is a challenging process for any product. However, as aircraft are highly complex and should comply with a multiplicity of interconnected requirements, their design process represents a challenge of the highest order. Hence, among the various requirements to be met by a new aircraft, there are cost, performance and sustainability requirements. The mass properties of the aircraft are related to the fulfillment of these three requirements, so it is crucial that realistic estimates of aircraft mass properties be used during early conceptual design, and that it be strictly controlled during later stages of design. The main mass properties of an aircraft are: weight, center of gravity, moments and products of inertia. The Mass Properties Management (MPM) is an iterative process that has to deal with information in the lowest level of the system and yet be robust enough to answer in the aircraft level, it shall provide accurate and timely mass properties data for making design optimization decisions. The MPM has different characteristics depending on the product development phase; it has to be adapted as the maturity of the aircraft increases and it depends on the technical integration status of the development. The main objective of this work is to analyze the MPM characteristics in the aircraft development process, and identify opportunities and propose best practices for MPM process improvement in an aircraft manufacturer. A synthesis of literature review was conducted and the primary result is the understanding of the mass properties relationship within the aircraft development process, considering its main perspectives: activities and deliverables, roles and responsibilities, goals and tools. This is a descriptive research and the methodology adopted is the longitudinal participatory case study, since the author has been participating of the MPM during an aircraft development process for three years. A synthesis of the MPM main characteristic is proposed to represent the perspective mentioned, in order to allow comparing it with the findings of the case study. Research instruments used were a logbook and a questionnaire for interviewing major stakeholders of the product development process. The findings of this work highlight the differences between MPM theory and practices, mainly considering technical integration, strategy and responsibilities in the aircraft development process.

Com o crescimento contínuo na utilização da aviação como meio de transporte de pessoas e carga, o sistema de gerenciamento de tráfego aéreo (ATM) está no limite de sua capacidade. Para lidar com esse problema, a Organização de Aviação Civil Internacional (OACI), junto com diversos países membros, desenvolveu um novo conceito de ATM chamado CNS/ATM, composto de uma série de melhorias tecnológicas para melhorar a capacidade e desempenho do sistema, onde muitas dessas melhorias são automatizações de tarefas de operadores humanos, pilotos e controladores de tráfego aéreo (ATCo). Com o tempo percebeu-se que apenas avanços tecnológicos não seriam o suficiente, que era necessário uma integração maior entre todos os sistemas ATM, que garantisse uma interoperabilidade entre os sistemas. Portanto, o conceito CNS/ATM evoluiu para o conceito ATM Global, onde o planejamento de modernização se dará de forma integrada e global, incluindo muitas das melhorias previstas no conceito CNS/ATM. Essa mudança de paradigma faz surgir diversas questões de como essas mudanças impactarão no atual sistema, do ponto de vista econômico, ambiental, desempenho e segurança. Para entender os perigos envolvidos na execução dessas novas tarefas, utilizam-se diversas técnicas e modelos clássicas como a Análise de Árvores de Falhas (FTA) ou a Análise de Árvore de Erros (ETA). Essas técnicas tradicionais consideram que acidentes são causados por uma sequência de eventos de falha, todos com uma relação de causa e efeito. Essa suposição não é considerada mais suficiente para entender como acidentes acontecem nos sistemas mais atuais, onde cada vez mais eles se tornam mais complexos e mais dependentes da interação com softwares. Para lidar com essa dificuldade foram criados alguns modelos para entender acidentes utilizando a teoria de sistemas, como exemplo o Systems-Theoretic Accident Model and Proccesses (STAMP). Diversos estudo mostram que esses modelos ou métodos são capazes de representar problemas na estrutura de controle que as técnicas mais tradicionais não conseguem, inclusive incluindo fatores organizacionais na sua representação. Considerando todos esses fatos, este trabalho de investigação científica propõe uma metodologia de análise de impacto em segurança crítica da automação das tarefas dos ATCo de uma torre de comando de aeródromo (TWR). A metodologia consiste na modelagem dos perigos e acidentes envolvidas nas tarefas do ATCo da TWR utilizando o modelo sistêmico STAMP) depois na análise subsequente dos cenários antes da automação e depois da automação utilizando a técnica Systems-Theoretic Proccess Analysis (STPA), criada a partir do STAMP, para levantar os fatores causais de perigos e seus requisitos de segurança em cada cenário, de forma a ser possível obter uma comparação do que foi modificado com a automação proposta das tarefas. Para validar a metodologia, foi analisada uma tarefa do ATCo da TWR como exemplo. Espera-se obter com a metodologia proposta uma forma mais objetiva e sistêmica de obter o possível impacto em termos de segurança crítica da automação de uma tarefa específica, sendo possível então determinar qual a melhor forma de se pensar essa automação no contexto do ATCo, podendo assim contribuir para a modernização segura do sistema ATM. / With the increasing growth of aviation as mode of transportation for people and cargo, the Air Traffic Management (ATM) system is on its limits. In order to cope with that, the International Civil Aviation Organization (ICAO), together with country members, developed a new ATM concept called CNS/ATM, bearing several technological improvements with the objective of enhancing capacity and performance of the system, where many of these improvements are automated tasks of human operators, pilots and air traffic controllers (ATCo). In time, it was seen that technological improvements were not enough it was necessary a greater integration between all ATM systems, which would guarantee an interoperability between them. Therefore, the CNS/ATM concept evolved to a Global ATM concept, in which the modernization plan would occur globally and integrated, including many of the improvements of the CNS/ATM concept. This paradigm shift raised several questions on how these changes would affect in the actual system from an economic, environmental, performance and safety points of view. To understand the hazards of the new tasks, several traditional techniques and models are used, like Fault Tree Analysis (FTA) and Error Tree Analysis (ETA). These traditional techniques see accidents because of a chain of failure events, all with an effect-cause relation. This assumption is no longer considered enough in order to understand how accidents occur in actual systems, which became more complexes and more software dependents. To cope with this difficulty, other models were created to understand accidents using systems theory, for example the Systems-Theoretic Accident Model and Processes (STAMP). Several studies show that these models or methods are capable of finding more problems in control structure that the traditional techniques, including organizational factors. Considering all the facts, this scientific investigation propose a methodology for analysis of the impact on safety for the automation of ATCo from Control Tower (TWR) tasks. This methodology consists in modeling the accidents and hazards of the TWR ATCo tasks using STAMP. Then the Systems-Theoretic Process Analysis (STPA) technique, created for STAMP, is used to gather all causal factors for hazards and its safety requirements in each scenario, in order to compare what changed with the automation of tasks. The objective of proposed methodology is to obtain a systemic and objective way of finding the possible impact on safety from the automation of a specific task, enabling the possibility of determining the best way of designing the automation in the context of ATCo, contributing to the safe modernization of ATM system.

The development of Web based software has acquired a more important role to the business success in the Internet. The softwares are used by users that require dynamic, customized, fast and secure interactions. A characteristic for the success of the Web-based paradigm is the fact that the client is relatively simple and most of the integration and system decisions happen at the server side. From the outset, a client neither has information about other clients accessing the server nor knows the maintenance plan of the server. Generally, the server usually does not have capability to change its operating behavior to the client effectively. The dynamicity of the server extends its capability on satisfying Web application requirements but it makes the implementation and development complex. In addition there are constant changes in the requirements, need for reliability and resilience, even in the worst situation in term of simultaneous access or processing. Policy based management is viewed in this work as feasible alternative to the issue mentioned above. Policies are, in this work, information that can change the behavior of a system at runtime. There are policies mapping events to actions and others for specifying security restrictions and both of them can be described in a language close to the natural. Policy specification relies on domains, i.e., group of correlated objects hierarchically and it brings great lexibility in both specification and usage. This work implements policies in a Web server. In order to accomplish this it uses the Ponder specification language to describe policies. The implementation involves the policy definition, storage and conversion between formats such as textual, XML, memory its enforcement in the web server environment. Some supporting components for the policy enforcement based on technologies such as JMX and JNDI were developed. A mappinginterface between managed objects and human readable string representing hierarchical domains helps to increase the system flexibility and reconfiguration capabilities. Aspect oriented programming is used in this work, to provide a uniform mechanism for event collection and non functional requirements implemented. It creates an abstraction in order to define where to apply code changes based on how the system is structured.

Este trabalho propõe um método para se estimar a probabilidade de atendimento de requisitos funcionais definidos para produtos complexos, tendo em vista a incerteza presente no desenvolvimento de projetos com relação à implementação dos requisitos funcionais ao produto-final. Diante disso, o modelo proposto estabelece uma estimativa da probabilidade de atendimento dos requisitos funcionais de um produto, proporcionando aos desenvolvedores meios para adotarem ações que possam atenuar os efeitos que o não-atendimento desses requisitos gera sobre o produto e a seus "stakeholders", na medida em que expõe os componentes da estrutura do produto que afetam a realização de suas funções/subfunções. Para tanto, o método emprega conceitos e técnicas de Engenharia de Sistemas e de Confiabilidade, em que as interações funcionais observadas no Diagrama Bloco de Fluxo Funcional do produto são traduzidas para uma configuração de Diagramas Blocos de Confiabilidade, segundo as convenções definidas pelo modelo proposto. A partir da configuração do Diagrama de Blocos de Confiabilidade, aloca-se a cada um de seus blocos o valor da confiabilidade resultante da ação do(s) componente(s) que executa(m) cada função/subfunção e, empregando-se os métodos de Avaliação da Confiabilidade, calcula-se o valor que representa a probabilidade de atendimento do requisito funcional analisado. O método é demonstrado por meio de um estudo de caso, utilizando-se um subsistema de um míssil. Os resultados obtidos atestam que o modelo é viável e sua aplicação concorre para o objetivo proposto, qual seja o de estimar a probabilidade de atendimento de requisitos funcionais, quando se considera as especificidades de cada caso.

O desenvolvimento de sistemas de engenharia tem se deparado com inúmeros desafios, dentre eles, a crescente complexidade dos problemas endereçados, a utilização de diferentes ferramentas de desenvolvimento (uma para cada área de conhecimento), a enorme quantidade de notações e padrões de desenvolvimento e a necessidade de projeto colaborativo envolvendo diversas empresas. A falta de padronização para os grandes integradores de sistemas, em todas as áreas citadas e o desenvolvimento sem um alinhamento, de ferramentas por parte dos fabricantes, têm resultado em aumento significativo no esforço de desenvolvimento e aparecimento de erros, caracterizando um problema para os integradores de sistemas. Uma tradicional situação na indústria pode ser exemplificada: pela definição das funções e da arquitetura de um sistema pela equipe de engenharia de sistemas; pelas leis de controle associadas desenvolvidas pela engenharia de controle (usando notações semi-formais ou informais); e pelo software especificado e codificado pela equipe de software. Desta situação, percebe-se a necessidade de um framework de engenharia que enderece os problemas descritos. Este trabalho de pesquisa apresenta uma pesquisa bibliográfica sobre as atividades e padronizações necessárias para o desenvolvimento de sistemas baseados em modelos; Um Framework Colaborativo Híbrido para Engenharia de Sistemas Embarcados Baseada em Modelos; e um Estudo de Caso, desenvolvido para propiciar a verificação e análise de viabilidade do framework proposto. A principal contribuição desta pesquisa foi a elaboração de um framework, útil para as comunidades cientifica e industrial, principalmente para os integradores de sistemas, que necessitem desenvolver soluções passíveis de particionamento entre diversas empresas, visando o aumento da eficiência, da qualidade de produto e processos associados, a redução do desperdício dos recursos envolvidos, enquanto protegem a propriedade intelectual.