Orientador: Secundino Soares Filho / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-15T07:26:24Z (GMT). No. of bitstreams: 1 Garcia_RoseanaMoraes_M.pdf: 632100 bytes, checksum: 19dcf50c3395fad3033b1a408ae6f508 (MD5) Previous issue date: 1980 / Resumo: Não informado. / Abstract: Not informed. / Mestrado / Mestre em Matemática Aplicada

Orientador: Claudia Maria Bauzer Medeiros / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-04T02:27:39Z (GMT). No. of bitstreams: 1 Bimonte_JoseAntonioAfonso_M.pdf: 1208946 bytes, checksum: 7f56785adb3e7f150279de1ccc4f5488 (MD5) Previous issue date: 2004 / Resumo: O aperfeiçoamento, reestruturação e utilização de tecnologia no processo de compras de uma empresa pública, além de melhorar o controle interno, propicia a diminuição de custos operacionais. Com isto é possível aumentar a eficiência e transparência nos processos de licitação. O presente trabalho visa apresentar um modelo de Sistema Eletrônico de Compras para empresa pública, que utilize a Internet como meio de negociação, dentro de princípios legais. Também é apresentado um modelo gerencial de suprimentos, para permitir visualizar a integração com a solução de comércio eletrônico G2B (Government to Business) e contribuir no entendimento do fluxo de trabalho envolvido em aquisições de empresas públicas / Abstract: The perfectioning, reorganization and use of technology in the process of purchases of a public company, besides improving its internal control, propitiates the reduction of operational costs. This allows increasing the efficiency and transparency in the licitation processes. This work presents a model of a Purchase Electronic System for public companies. This system uses the Internet as means to support negotiation, within legal principles. The work also proposes a model to manage the supply process. This model supports integration of the proposed solution with G2B (Government to Business) electronic commerce, thereby contributing to understanding the workflow of purchases within public companies / Mestrado / Engenharia de Computação / Mestre Profissional em Computação

Orientadores: Celia Marina de Alvarenga Freire, Ettore Bresciani Filho / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-07-23T07:58:06Z (GMT). No. of bitstreams: 1 Bresciani_Renato_M.pdf: 9456556 bytes, checksum: af5cbd36cbafac865c06b7c57e7469e3 (MD5) Previous issue date: 1997 / Resumo: A abertura do mercado brasileiro à competição internacional vem provocando nas empresas brasileiras uma busca intensa por competitividade. Uma das formas escolhidas para aumentar a competitividade tem sido a implantação de sistemas da qualidade baseados na série IS09000. Apesar de proporcionar uma melhoria sensível na competitividade das indústrias brasileiras, a implantação de sistemas da qualidade baseados na série IS09000 vem sendo realizada sem a devida atenção aos custos da qualidade gerados e a melhoria contínua da qualidade, buscando num primeiro momento a diminuição do número de produtos não conformes e a própria certificação para fins de marketing. Portanto, uma análise de um sistema da qualidade poderá permitir a identificação de diversas melhorias, reduzindo o denominado custo da qualidade e incentivando a melhoria contínua. O objetivo deste trabalho é analisar um sistema da qualidade de uma unidade industrial de uma empresa do setor químico, identificando as operações, as informações e as decisões pertinentes a esse sistema e verificando sua eficácia e eficiência na atividade de asseguramento da qualidade do produto final, bem como as possíveis incoerências, incompletudes e redundâncias presentes. A unidade industrial em questão possui certificação IS09000 e é considerada um exemplo de sucesso na implantação deste sistema, reduzindo drasticamente a freqüência de ocorrência de produtos não-conformes. Para realização desta análise, foi utilizada uma ferramenta proposta pela sistêmica, denominada sistemografia. A sistemografia é uma ferramenta de modelagem de sistemas complexos que possibilita a inserção do conceito de complexidade na análise de sistemas industriais. Os resultados obtidos permitem concluir que o sistema da qualidade estudado possui diversos aspectos que podem ser desenvolvidos e melhorados, diminuindo sensivelmente o custo desta atividade e proporcionando um ambiente de melhoria contínua entre fornecedores e clientes / Abstract: The opening of the Brazilian market to the intemational competition is provoking, in the Brazilian companies, an intense search for the competitiveness. One way that has been used to increase the competitiveness is the introduce of quality systems based on the IS09000 series. In spite of providing a sensitive improvement in the competitiveness of the Brazilian industries, the introduce of quality systems based on the IS09000 series, comes being accomplished without the due attention to the increment of the costs, generated for the continuous improvement of the quality, looking for in a first moment, the decrease of the number of products no conform, and the own certification for marketing ends. Therefore, an analysis of the quality system can allow the identification of several improvements, reducing the called "cost ofthe quality" and motivating the continuous improvement. The objective ofthis work is to analyze a quality system of an industrial unit of a chemical company, identifying the operations, infomations and pertinent decisions to that system, and verifying its efficiencyand effectiveness in the activity of warranty of the quality of the final product, as well as the possible incoherence, absences and present redundancies. The industrial unit in subject possesses IS09000 certificate, and is considered a success example, reducing the frequency of products drastically no conform. For accomplishment of this analysis, will be used a proposed tool by the general system theory, denominated "systemography". The obtained results allow to conclude that the system of the studied quality possesses several aspects that can be developed and improved, decreasing sensibly the cost of this activity, and providing an atmosphere of continuous improvement between supplier and customers. One of the difficulties found in the introduction of improvements in the quality system control of this industrial unit, is the inherent complexity of the involved chemical process, common fact in industries of continuous processes / Mestrado / Materiais / Mestre em Engenharia Mecânica

As empresas e instituições estão num ambiente que oferece oportunidades e ameaças, o que exige um conjunto de informações voltado tanto a processos e decisões táticas, operacionais e estratégicos. No entanto, conseguir informações com rapidez e qualidade não se trata apenas de adquirir pacotes de sistemas de informações ou mesmo desenvolvê-los nas organizações. Infelizmente, isto é o que mais tem ocorrido. Desta forma, a fim de ultrapassar esse amadorismo, faz-se necessário um diagnóstico sistêmico da organização, com objetivo de identificar os requisitos informacionais necessários à construção de um sistema de apoio às decisões. Destarte, este estudo realiza um diagnóstico sistêmico numa farmácia com a utilização da “Soft Systems Methodology”, a qual a partir de ampla interação entre pesquisador e as pessoas envolvidas , identifica e estrutura a situação problemática de forma encadeada, analisando-a sob duas preocupações: uma relacionada ao mundo real e outra ao pensamento sistêmico. Com este processo, desenvolve uma aprendizagem que permite não só a identificação dos requisitos informacionais necessários à construção de um sistema de informações como também reunir e organizar visões muitas vezes divergentes a respeito de uma realidade complexa, a fim de propor um rol de atividades e ações que possam contribuir para o processo de melhoria da situação problemática.

Made available in DSpace on 2012-05-07T14:43:58Z (GMT). No. of bitstreams: 2 license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) 000012.pdf: 1246092 bytes, checksum: d5b6f0ce0677ea5bd6058a2774dd146b (MD5) Previous issue date: 2006 / O principal objetivo deste trabalho é analisar a implantação, cobertura e desempenho do sistema integrado de gestão acadêmica (SIGA) no Centro de Pesquisas Aggeu Magalhães (CPqAM) da Fundação Oswaldo Cruz (Fiocruz). Trata-se de uma pesquisa qualitativa, de natureza exploratória e de corte fenomenológico, a partir de um estudo de caso. Foi realizada uma análise documental e observação participante para descrever as formas de procedimento utilizadas pelo CPqAM, antes da implantação do sistema SIGA-FIOCRUZ, para o controle e gerenciamento das atividades acadêmicas que desenvolve. Foram realizadas entrevistas com 14 pessoas, consideradas atores-chaves. As entrevistas seguiram um roteiro semi-estruturado, obedecendo temas de interesse para a pesquisa. Os resultados mostram que todos entrevistados consideram ser de suma importância o controle acadêmico no CPqAM, inclusive seu caráter legal, como também a informatização desse controle. Com relação ao processo de concepção e condução do SIGA-FIOCRUZ e sua implantação no CPqAM, os entrevistados consideram que apesar do esforço dos gestores do CPqAM em participar desse processo, o mesmo aconteceu de forma vertical e pouco democrática. Foi constatado como inexpressível, o conhecimento e utilização do sistema pela comunidade usuária, decorrentes da pouca divulgação do sistema e ausência de treinamento para seus usuários. Entendendo-se como estrutura física do sistema, a disposição de suas telas e ícones, cores etc, esta foi considerada pela maioria dos entrevistados como pouco interativa. O sistema apresenta falha na comunicação entre os módulos, fato este também registrado pelos entrevistados. Aspectos que fortalecem e/ou debilitam o sistema foram citados pelos entrevistados e registrados no presente trabalho. Ao final de cada entrevista, o informante foi convidado a conceituar o sistema, considerando a escala A (excelente); B (bom); c(regular); D (insuficiente). Apesar das críticas apresentadas o sistema foi considerado bom por mais da metade dos entrevistados.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2017 / Made available in DSpace on 2017-06-27T04:22:41Z (GMT). No. of bitstreams: 1 345978.pdf: 978430 bytes, checksum: e7dbdcc1dd284e84bcac339aae3f6488 (MD5) Previous issue date: 2017 / Abstract : Security ceremonies are extensions of security protocols, including all that is out-of-bounds for protocols. Nowadays we lack a base description language and a detailed threat model for security ceremonies in order to be able to use symbolic evaluation methods and verify claims embedded in ceremonies. Our goal is to contribute with a syntax and detailed threat model for ceremonies description in order to establish our proposal for a new attacker type named Distributed Attacker (DA in brief). Moreover, we also developed a strategy for symbolic evaluation of our attacker model using First-Order Logic (FOL) and an automatic theorem prover. Lastly, we present scenarios formally analysed with our methodology, including cases we could not have with standard Dolev-Yao or Multi-Attacker models. For instance, our most interesting scenario is when several attackers gather only pieces of an user's credentials and, by putting together their knowledge, collude to attack this user's email account.<br> / Protocolos de segurança são subconjuntos das chamadas cerimônias de segurança. Atualmente não se tem uma linguagem de descrição e um modelo de ameaça detalhado para cerimônias de segurança, necessários para o uso de métodos de avaliação simbólica e verificação de suposições presentes em cerimônias. O objetivo desta dissertação é contribuir com uma sintaxe para descrição de mensagens de cerimônias e apropriado modelo de ameaça a fim de estabelecer a proposta para um novo tipo de atacante (nomeado Atacante Distribuído). Adicionalmente, uma estratégia para execução de avaliação simbólica também foi desenvolvida, utilizando lógica de primeira ordem e um provador de teoremas automático. Por fim, cenários formalmente analisados com o modelo de atacante proposto são exibidos, incluindo casos não passíveis de serem simulados com modelos padrão como Dolev-Yao ou Multi-Attacker. Por exemplo, o caso mais interessante é o que apresenta vários atacantes com conhecimento apenas de partes das credenciais de um usuário, mas que ao colaborar entre si conseguem atacar a conta de email desse usuário.

As empresas e instituições estão num ambiente que oferece oportunidades e ameaças, o que exige um conjunto de informações voltado tanto a processos e decisões táticas, operacionais e estratégicos. No entanto, conseguir informações com rapidez e qualidade não se trata apenas de adquirir pacotes de sistemas de informações ou mesmo desenvolvê-los nas organizações. Infelizmente, isto é o que mais tem ocorrido. Desta forma, a fim de ultrapassar esse amadorismo, faz-se necessário um diagnóstico sistêmico da organização, com objetivo de identificar os requisitos informacionais necessários à construção de um sistema de apoio às decisões. Destarte, este estudo realiza um diagnóstico sistêmico numa farmácia com a utilização da “Soft Systems Methodology”, a qual a partir de ampla interação entre pesquisador e as pessoas envolvidas , identifica e estrutura a situação problemática de forma encadeada, analisando-a sob duas preocupações: uma relacionada ao mundo real e outra ao pensamento sistêmico. Com este processo, desenvolve uma aprendizagem que permite não só a identificação dos requisitos informacionais necessários à construção de um sistema de informações como também reunir e organizar visões muitas vezes divergentes a respeito de uma realidade complexa, a fim de propor um rol de atividades e ações que possam contribuir para o processo de melhoria da situação problemática.

As empresas e instituições estão num ambiente que oferece oportunidades e ameaças, o que exige um conjunto de informações voltado tanto a processos e decisões táticas, operacionais e estratégicos. No entanto, conseguir informações com rapidez e qualidade não se trata apenas de adquirir pacotes de sistemas de informações ou mesmo desenvolvê-los nas organizações. Infelizmente, isto é o que mais tem ocorrido. Desta forma, a fim de ultrapassar esse amadorismo, faz-se necessário um diagnóstico sistêmico da organização, com objetivo de identificar os requisitos informacionais necessários à construção de um sistema de apoio às decisões. Destarte, este estudo realiza um diagnóstico sistêmico numa farmácia com a utilização da “Soft Systems Methodology”, a qual a partir de ampla interação entre pesquisador e as pessoas envolvidas , identifica e estrutura a situação problemática de forma encadeada, analisando-a sob duas preocupações: uma relacionada ao mundo real e outra ao pensamento sistêmico. Com este processo, desenvolve uma aprendizagem que permite não só a identificação dos requisitos informacionais necessários à construção de um sistema de informações como também reunir e organizar visões muitas vezes divergentes a respeito de uma realidade complexa, a fim de propor um rol de atividades e ações que possam contribuir para o processo de melhoria da situação problemática.

Orientadores: Mario Dias Ferraretto, Mario Jino / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-21T10:52:23Z (GMT). No. of bitstreams: 1 Massruha_SilviaMariaFonsecaSilveira_M.pdf: 43468570 bytes, checksum: 4541075eec4b5d0db825d986dd573798 (MD5) Previous issue date: 1996 / Resumo: A produção de software na área de administração rural envolve um número crescente de aplicações semelhantes porém não iguais. Das propostas sugeridas pela Engenharia de Software para a captura de especificações de aplicações desta natureza, este trabalho adotou as técnicas de abordagem por domínio. Este método permite equacionar o problema de múltiplas especificações de sistemas parecidos oferecendo algumas oportunidades para reuso e desenvolvimento por prototipação. Este trabalho descreve uma ferramenta, denominada AEsp, e um método de utilização que visa auxiliar a captura das especificações das aplicações do domínio de administração rural e transformá-Ias, incrementalmente, em uma representação que pode ser traduzida para um programa operacional. Esta ferramenta está sendo desenvolvida no âmbito do Projeto FMSI, no CNPTIAlEMBRAPA2, que visa construir um processo produtivo para a classe de aplicações do domínio de administração rural a um custo decrescente com o tempo / Abstract: The software production for the farm management area involves an increasing number of similar, but not equal, applications. From the suggested application specification aquisition approaches in the Software Engineering field for this kind of applications, the domain oriented analysis technique was adopted in this work. This method allows structuring the problem of multiple specifications of similar systems providing same oportunities for reuse and prototyping. This dissertation describes a tool, called AEsp, and a tool utilization method that aims to help on capturing farm management applications specifications and converts them, incrementally, to a representation that can be translated to a operacional program. This tool is under development in the FMSI Project, at CNPTIA/EMBRAPA2, and aims to build a productive process for the farm management applications class with a decreasing cost in time / Mestrado / Mestre em Engenharia Elétrica

Orientadores: Rafael Santos Mendes, Paulo Augusto Valente Ferreira / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-22T03:56:39Z (GMT). No. of bitstreams: 1 Paiva_ElyCarneirode_D.pdf: 7553730 bytes, checksum: 147655bd518280b0312a3f23c61f41c7 (MD5) Previous issue date: 1997 / Resumo: Este trabalho apresenta uma metodologia para o projeto de controladores robustos com relação a incertezas paramétricas do processo. O método utiliza a alocação de pólos em malha fechada numa região pré-definida do plano complexo. Para o caso em que os coeficientes do polinômio característico de malha fechada são funções lineares dos parâmetros do processo, derivam-se domínios de busca limitados, no espaço de parâmetros do controlador, contendo o conjunto de controladores factíveis para o problema. Estes domínios de busca são definidos por restrições lineares, no caso em que a região de alocação é conexa, ou então por restrições quadráticas, quando a região de alocação é dada por um conjunto de círculos disjuntos no plano complexo. ... Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: This thesis presents a methodology for designing controllers that are robust with respect to parametric plant uncetainties using a stochatisc global search technique. Genetic algorithms (GAs), as the optimization tool. We adopt a pole placement approach, considering linear systems and linear interval uncertainties, provided that the characteristic polynomial coefficients are affine functions os plant parameters. With repect to the alocation region, we treat two different cases. The first case is concerned with a connected region in the complex plane, while the second one considers circular disjoint regions for the poles. In each case, a set of necessary conditions is derived, defining a bounded domain in the controller parameters space, which is used by a constraint handling GA in the optimization of the system robustness. ... Note: The complete abstract is available with the full electronic digital thesis or dissertations / Doutorado / Doutor em Engenharia Elétrica