Made available in DSpace on 2014-06-12T15:53:41Z (GMT). No. of bitstreams: 2 arquivo1925_1.pdf: 2159593 bytes, checksum: d2b6f7923a9ba257aa946cf8cf58764a (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / A necessidade de se obter rapidamente respostas para carências de software voltados para os negócios das empresas tem impulsionado as aquisições de software e, paralelamente, estimulado a criação de muitas empresas de desenvolvimento voltadas para segmentos específicos, como medicina, engenharia, serviço público, etc. As aquisições de software devem obedecer a critérios de seleção definidos de acordo com os requisitos de negócio (funcionais), técnicos e aspectos comerciais. No entanto, para que estas aquisições obtenham sucesso, temos que responder a questões como: Será que estes requisitos estão corretamente alinhados com as estratégias e metas estabelecidas pelas empresas? Estamos pagando o preço justo pelas funcionalidades que estamos comprando? Seria melhor desenvolver internamente com a equipe de desenvolvedores da empresa? Quais critérios definem a compra de um software ou o seu desenvolvimento interno? A empresa fornecedora está alinhada às necessidades de qualidade estabelecidas pela contratante? A falta de utilização de técnicas e ferramentas para a definição de métricas que possam ser associadas às questões acima, que nos permitam decidir entre comprar ou desenvolver internamente e, no caso de comprar, quais os níveis de aceitação mínimos e como poderemos obter uma melhor resposta para qual fornecedor está nos entregando um produto mais adequado às nossas necessidades, minimizam as chances de sucesso. Neste trabalho é proposta uma abordagem para o planejamento de aquisição de software baseado nos modelos de aquisição do MPS-BR e nas áreas de processo do modelo CMMI-ACQ, apresentando um conjunto de métricas relevantes que normalmente fazem parte deste tipo de atividade, objetivando apoiar os gestores de aquisição na definição das necessidades, requisitos e estratégia da aquisição

Submitted by Fernanda Rodrigues de Lima (fernanda.rlima@ufpe.br) on 2018-08-17T22:32:27Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Milton Morais.pdf: 3216757 bytes, checksum: 47787beff638944e02c93d4e5b58d430 (MD5) / Approved for entry into archive by Alice Araujo (alice.caraujo@ufpe.br) on 2018-08-24T21:13:35Z (GMT) No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Milton Morais.pdf: 3216757 bytes, checksum: 47787beff638944e02c93d4e5b58d430 (MD5) / Made available in DSpace on 2018-08-24T21:13:35Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Milton Morais.pdf: 3216757 bytes, checksum: 47787beff638944e02c93d4e5b58d430 (MD5) Previous issue date: 2017-07-20 / CAPES / As ameaças à segurança da informação podem ter um grande impacto nas finanças e na reputação da empresa. As metodologias tradicionais para avaliar a maturidade dos data centers investigam os parâmetros de segurança para determinar a conformidade dos data centers e as normas internacionais de segurança. Este trabalho propõe dois procedimentos de avaliação para capturar outras perspectivas de segurança em ambientes de data centers: (1) análise ponderada – pondera os controles de segurança, simultaneamente presentes em um número maior de normas; (2) análise contextual - é sensível ao nível de importância que a organização atribui a cada controle de segurança. Através da metodologia proposta, os engenheiros de segurança podem identificar problemas de segurança, caracterizar a maturidade da segurança e sugerir novas políticas para melhorar as configurações de segurança dos data centers. Este trabalho também inclui um estudo de caso para avaliar os benefícios da metodologia em cenários do mundo real. Os resultados demonstraram que a metodologia proposta avalia os elementos de segurança mais relevantes para a empresa, onde as abordagens tradicionais consideram todos os aspectos de segurança como igualmente importantes. / Threats to information security can have great impact on business finances and company’s reputation. Traditional methodologies for evaluating the maturity of data centers investigate security parameters to determine the compliance of data centers and international security norms. This work proposes two innovative evaluation procedures to capture other security perspectives on data center environments: (1) weighted analysis - it weights higher security controls simultaneously present in a higher number of norms; (2) contextual analysis – it is sensitive to the importance level that the organization assigns to each security control. Through the proposed methodology, security engineers can identify security issues, characterize the security maturity, and suggest new policies improve security configurations of data centers. This work also includes a case study to evaluate the benefits of the methodology in real-world scenarios. Results demonstrated that the proposed methodology evaluates higher the security elements more relevant for the company, where as traditional approaches consider all security aspects to be equally important.

Presentación de la Red iberoamericana de Innovación y conocimiento Científico en Perú, realizado el 14 de Noviembre de 2017 en el Campus San Isidro, Universidad Peruana de Ciencias Aplicadas (UPC). Lima, Perú. Evento auspiciado por Universia, CSIC (España), Grupo Santander y UPC. / Conferencia que abordar conceptos básicos sobre indicadores bibliométricos.

SILVA, Marcos Raineri da Silva.Variedades quasi-Einstein completas e métricas críticas do funcional volume em variedades compactas com bordo. 2016. 69 f. Tese (Doutorado em Matemática) – Centro de Ciências, Universidade Federal do Ceará, Fortaleza, 2016. / Submitted by Rocilda Sales (rocilda@ufc.br) on 2016-11-18T13:40:56Z No. of bitstreams: 1 2016_tese_mrsilva.pdf: 676064 bytes, checksum: b3c50c90fe4265ade898b8c259d3882c (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-11-21T13:51:06Z (GMT) No. of bitstreams: 1 2016_tese_mrsilva.pdf: 676064 bytes, checksum: b3c50c90fe4265ade898b8c259d3882c (MD5) / Made available in DSpace on 2016-11-21T13:51:06Z (GMT). No. of bitstreams: 1 2016_tese_mrsilva.pdf: 676064 bytes, checksum: b3c50c90fe4265ade898b8c259d3882c (MD5) Previous issue date: 2016 / The purpose of this work is to study quasi-Einstein manifolds and Miao-Tam critical metrics. In the first part, we will study the structure at infinity of a complete non-compact quasi-Einstein manifold. In particular, we show that if M is the basis of a warped product Ricci-flat then M is connected at infinity. When M is a quasi-Einstein manifold with λ < 0 there are examples showing that such a result is not true. In this case, we show that M is f -non-parabolic and, under a certain hypothesis on the scalar curvature, M has only one f -non-parabolic end. Furthermore, we obtain two estimates for the volume of the geodesic balls of M. Next, we show that a Bach-flat non-compact quasi-Einstein manifold with λ= 0 and positive Ricci curvature must be isometric to a warped product metric g = dt2+ψ2(t)gL, where gL is an Einstein metric. In the second part, we will study the critical metrics of the functional volume restricted to the set of metrics with constant scalar curvature and boundary prescribed metric on a compact manifold. We obtain a sharp upper bound for the area of the boundary of a Miao-Tam critical metric (M3;g) with non-negative scalar curvature. Moreover, we show that the equality holds if and only if (M3;g) is isometric to a geodesic ball in simply connected space form R3 or S3. Finally, we get a type-Bochner formula for a 3-dimensional Miao-Tam critical metric, which allows us to get the same rigid result provided that/ Ric/ ≤R6 . / O objetivo do trabalho é estudar as variedades quasi-Einstein e métricas críticas de Miao-Tam. Na primeira parte, estudamos a estrutura no infinito de uma variedade quasi-Einstein completa e não-compacta. Em particular, mostramos que se M é a base de um produto warped Ricci-flat, então M é conexa no infinito. Quando M é uma variedade quasi-Einstein com λ < 0 existem exemplos que mostram que tal resultado não é verdadeiro. Neste caso, mostramos que M é f -não-parabólica e sobre uma determinada hipótese sobre a curvatura escalar, que M tem apenas um fim f-não-parabólico. Além disso, obtemos duas estimativas para o volume das bolas geodésicas de M. Em seguida, mostramos que variedades quasi-Einstein Bach-flat não-compactas com λ = 0 e curvatura de Ricci positiva são isométricas a uma métrica produto warped g = dt2+ψ2(t)gL, onde gL é uma métrica Einstein. Na segunda parte do trabalho, estudamos as métricas críticas do funcional volume restrito ao conjunto das métricas com curvatura escalar constante e métrica de bordo prescrita em uma variedade compacta. Obtemos uma estimativa superior sharp para a área do bordo de uma métrica crítica de Miao-Tam (M3;g) com curvatura escalar não-negativa. Além disso, vale a igualdade se, e somente se, (M3;g) for isométrica a uma bola geodésica em espaço forma simplesmente conexo R3 ou S3. Por último, obtemos uma fórmula tipo-Bochner para uma métrica crítica de Miao-Tam tridimensional, a qual nos permite obter o mesmo resultado de rigidez desde que / Ric/ ≤R6. .

Tese (doutorado)—Universidade de Brasília, Instituto de Ciências Exatas, 2015. / Submitted by Ana Cristina Barbosa da Silva (annabds@hotmail.com) on 2015-07-06T14:30:58Z No. of bitstreams: 1 2015_NewtonMayerSolorzanoChavez.pdf: 713834 bytes, checksum: fa5dcfcc4bcd42f4b02d1ce4b3e3f95b (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2015-08-18T12:21:50Z (GMT) No. of bitstreams: 1 2015_NewtonMayerSolorzanoChavez.pdf: 713834 bytes, checksum: fa5dcfcc4bcd42f4b02d1ce4b3e3f95b (MD5) / Made available in DSpace on 2015-08-18T12:21:50Z (GMT). No. of bitstreams: 1 2015_NewtonMayerSolorzanoChavez.pdf: 713834 bytes, checksum: fa5dcfcc4bcd42f4b02d1ce4b3e3f95b (MD5) / Consideramos métricas de Finsler esfericamente simétricas do tipo Douglas. Caracterizamos tais métricas por uma equação diferencial e obtemos a solução geral desta equação em termos de quatro funções arbitrárias. Quando as métricas de Finsler são esfericamente simétricas mostramos que as métricas do tipo Berwald coincidem com as do tipo Landsberg. Provamos que o problema de classificar as métricas esfericamente simétricas do tipo Douglas com S−curvatura nula reduz-se a classificar as métricas esfericmanete simétricas do tipo Berwald ou Landsberg. Obtemos a classificação de tais métricas. Incluímos vários exemplos e classes de novas métricas de Douglas. / We consider spherically symmetric Finsler metrics of Douglas type. We characterize such metrics by a differential equation and we obtain the general solution of this equation in terms of four arbitrary functions. For spherically symmetric Finsler metrics we show that the metrics of Berwald type coincide whit those of Landsberg type. We prove that the problem of classifying the spherically symmetric Douglas metrics whose S−curvature vanishes reduce to classifying the spherical symmetric metrics of Berwald or Landsberg type. We obtain the classification of such metrics. We include several examples and new classes of Douglas metrics.

O armazenamento de grandes quantidades de informações em bases de dados cria a necessidade de se usar Métodos de Acesso a esses dados de uma forma mais eficiente do que uma busca linear. Dessa forma, diversos Métodos de Acesso vêm sendo propostos há décadas. Desde os mais simples Métodos de Acesso como árvores B até os mais sofisticados Métodos de Acesso Métrico tem-se o mesmo objetivo: a eficiência na consulta. Para cada tipo de dados, para cada tipo de consulta, existe uma diferente forma de acesso mais adequada. Se os dados puderem ser ordenados, pode-se usar uma àrvore B. Na busca por pequenas cadeias de caracteres, pode-se utilizar uma árvore de sufixos. Com a evoluçãocomputacional, não se quer armazenar apenas números ou pequenas seqüências de texto. Já existem diversas bases de dados muito mais complexas, como seqüências de sons, imagens ou até mesmo vídeos armazenados. A complexidade desse tipo de dados e do tipo de consulta feita em cima deles gerou a necessidade de novos Métodos de Acesso. Os chamados Métodos de Acesso Métrico são estruturas capazes de acessar dados bastante complexos, como arquivos multimídia, com uma boa eficiência. Esse tipo de estrutura vem sendo estudada há muitos anos, mas a primeira delas realmente eficaz foi a árvore M. Depois dela, vários outros Métodos de Acesso Métricos surgiram, como a árvore Slim, M2, M+, DF, DBM aprimorando sua estrutura básica Esse trabalho propõe a árvore TM, que inova a forma como os dados são indexados, aprimorando a árvore M. Essa nova estrutura, usa o espaço métrico para a busca dos dados, o que é feito por todos Métodos de Acesso Métricos. Mas sua inovação está na forma como os dados são indexados, usando-se um espaço novo também proposto nesse trabalho, o espaço distorcido. Experimentos mostram uma melhora significativa na eficiência da consulta tanto em quantidade de acesso a disco quando em custo de processamento.

Made available in DSpace on 2016-08-29T15:32:30Z (GMT). No. of bitstreams: 1 tese_2759_DissertacaoMestradoBrunoZanettiMelotti.pdf: 1283815 bytes, checksum: 1948186d38f6639b57cb0387d5eaba2c (MD5) Previous issue date: 2009-11-27 / Dado um documento para categorização, um sistema de categorização multi-rótulo de texto tipicamente ordena um conjunto de categorias pré-definido, de acordo com a adequação delas ao documento, e seleciona as categorias do topo do ranking como o conjunto de categorias do documento. Empates no ranking eventualmente existentes podem ser tratados de diferentes maneiras, mas, muito embora isso possa afetar as métricas utilizadas para avaliar o desempenho dos categorizadores multi-rótulo de texto, este problema parece ter sido pouco estudado na literatura. Neste trabalho, analisamos o impacto de diferentes tipos de ranking sobre diversas métricas de avaliação de desempenho de categorizadores multi-rótulo de texto, a saber: one-error, coverage, ranking loss, average precision, R-precision, Hamming loss, exact match, precision, recall, e 1 F . Para isso, reformulamos sua definição de modo a considerar empates de acordo com o tipo de ranking empregado. Utilizamo-las então para avaliar o desempenho das técnicas de categorização multi-rótulo de texto k -vizinhos mais próximos ( k NN), k -vizinhos mais próximos multi-rótulo (ML- k NN), rede neural sem peso do tipo VG-RAM (VG-RAM WNN) e VG-RAM com correlação de dados (VG-RAM WNNCOR) na categorização de duas bases multi-rótulo de texto com grande número de categorias (105 e 692 categorias). Descobrimos que, dependendo do tipo de ranking empregado, os resultados de desempenho são significativamente diferentes para muitas das métricas analisadas, o que sugere que o tipo de ranking deve ser claramente indicado na avaliação de técnicas de categorização multi-rótulo de texto.

O armazenamento de grandes quantidades de informações em bases de dados cria a necessidade de se usar Métodos de Acesso a esses dados de uma forma mais eficiente do que uma busca linear. Dessa forma, diversos Métodos de Acesso vêm sendo propostos há décadas. Desde os mais simples Métodos de Acesso como árvores B até os mais sofisticados Métodos de Acesso Métrico tem-se o mesmo objetivo: a eficiência na consulta. Para cada tipo de dados, para cada tipo de consulta, existe uma diferente forma de acesso mais adequada. Se os dados puderem ser ordenados, pode-se usar uma àrvore B. Na busca por pequenas cadeias de caracteres, pode-se utilizar uma árvore de sufixos. Com a evoluçãocomputacional, não se quer armazenar apenas números ou pequenas seqüências de texto. Já existem diversas bases de dados muito mais complexas, como seqüências de sons, imagens ou até mesmo vídeos armazenados. A complexidade desse tipo de dados e do tipo de consulta feita em cima deles gerou a necessidade de novos Métodos de Acesso. Os chamados Métodos de Acesso Métrico são estruturas capazes de acessar dados bastante complexos, como arquivos multimídia, com uma boa eficiência. Esse tipo de estrutura vem sendo estudada há muitos anos, mas a primeira delas realmente eficaz foi a árvore M. Depois dela, vários outros Métodos de Acesso Métricos surgiram, como a árvore Slim, M2, M+, DF, DBM aprimorando sua estrutura básica Esse trabalho propõe a árvore TM, que inova a forma como os dados são indexados, aprimorando a árvore M. Essa nova estrutura, usa o espaço métrico para a busca dos dados, o que é feito por todos Métodos de Acesso Métricos. Mas sua inovação está na forma como os dados são indexados, usando-se um espaço novo também proposto nesse trabalho, o espaço distorcido. Experimentos mostram uma melhora significativa na eficiência da consulta tanto em quantidade de acesso a disco quando em custo de processamento.

O armazenamento de grandes quantidades de informações em bases de dados cria a necessidade de se usar Métodos de Acesso a esses dados de uma forma mais eficiente do que uma busca linear. Dessa forma, diversos Métodos de Acesso vêm sendo propostos há décadas. Desde os mais simples Métodos de Acesso como árvores B até os mais sofisticados Métodos de Acesso Métrico tem-se o mesmo objetivo: a eficiência na consulta. Para cada tipo de dados, para cada tipo de consulta, existe uma diferente forma de acesso mais adequada. Se os dados puderem ser ordenados, pode-se usar uma àrvore B. Na busca por pequenas cadeias de caracteres, pode-se utilizar uma árvore de sufixos. Com a evoluçãocomputacional, não se quer armazenar apenas números ou pequenas seqüências de texto. Já existem diversas bases de dados muito mais complexas, como seqüências de sons, imagens ou até mesmo vídeos armazenados. A complexidade desse tipo de dados e do tipo de consulta feita em cima deles gerou a necessidade de novos Métodos de Acesso. Os chamados Métodos de Acesso Métrico são estruturas capazes de acessar dados bastante complexos, como arquivos multimídia, com uma boa eficiência. Esse tipo de estrutura vem sendo estudada há muitos anos, mas a primeira delas realmente eficaz foi a árvore M. Depois dela, vários outros Métodos de Acesso Métricos surgiram, como a árvore Slim, M2, M+, DF, DBM aprimorando sua estrutura básica Esse trabalho propõe a árvore TM, que inova a forma como os dados são indexados, aprimorando a árvore M. Essa nova estrutura, usa o espaço métrico para a busca dos dados, o que é feito por todos Métodos de Acesso Métricos. Mas sua inovação está na forma como os dados são indexados, usando-se um espaço novo também proposto nesse trabalho, o espaço distorcido. Experimentos mostram uma melhora significativa na eficiência da consulta tanto em quantidade de acesso a disco quando em custo de processamento.

Las carreras de ingeniería de Sistemas de información e ingeniería de Software de la UPC cuentan con la acreditación ABET. Una forma de sustentar el cumplimiento de las métricas de esta acreditación es mediante la generación de reportes de las notas objetivo de los cursos de control y verificación. Actualmente, este proceso se realiza de manera manual, lo cual demanda demasiado tiempo y tiene la posibilidad de generarse con errores. Dicho proceso consiste en la obtención de las notas objetivo, trabajo final o examen final, de los cursos considerados de tipo control y verificación. Los cursos control son los que contribuyen de manera significativa a la consecución de un Resultado del Estudiante, mientras que un los cursos de verificación son cursos integradores y en los cuales se emite juicio final sobre el nivel de logro del Resultado del Estudiante asociado. El presente proyecto, sistema de generación de reportes de control y verificación, tiene como finalidad la creación de un sistema web para la automatización de este proceso, y así poder eliminar las desventajas del tiempo y errores antes mencionados. Además, se busca poder dar más detalle al generar los reportes, es decir poder obtener estos mediante diferentes filtros y con mayor información. Para realizar el presente proyecto se deberá adaptar la actual base de datos donde se encuentran las notas y el entorno donde se desplegará el sistema para que el resultado sea el más óptimo. Al final del proyecto, se integrará este con los demás trabajos relacionados a la generación de evidencias para la acreditación de ABET. / The UPC’s careers of Software Engineer and System and Information Engineer have the accreditation of ABET. One way to show that the achievements of the certification had been accomplished is by the generation of reports of the grades of the students in the control and verification courses. In the present, this process is manually, so it takes too much time and could be generate with errors. That consists in the recollection of the grades of the goal tests, finals work or finals test, of the courses that are considerate of control and verification. Control courses are those that contribute to the professional formation of the student along the career, and a verification course is the last subject where a student goal is evaluated. This project, system of generation of control and verification reports, has the goal to create a web system to automatize this process and eliminate the disadvantages of time and errors. Also, this system will provide the options to generate more detailed reports with different filters and more information. To develop this project, the actual environment to deploy and the database, where are all the information, have to be modified to optimize the system. At the end, this project will be integrate with others that are also focus to generate evidence for the ABET certification / Tesis