Spelling suggestions: "subject:"modelagem conceitual (computação)"" "subject:"modelagem conceitual (omputação)""
1 |
Front end da inovaçãoTeza, Pierry January 2012 (has links)
Dissertação [mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Produção, Florianópolis, 2012. / Made available in DSpace on 2013-07-16T04:28:12Z (GMT). No. of bitstreams: 1
314678.pdf: 2082634 bytes, checksum: 3a0ad12c5e2326f42ccfd0cc64933e5e (MD5) / O Front End da Inovação é um subprocesso do processo da inovação. Ele representa as atividades e o tempo antes do desenvolvimento e aprovação de um conceito inovador. Uma vez que as organizações podem se beneficiar substancialmente pela otimização e melhoria ativa do Front End da Inovação e que esse tem recebido pouca atenção, tanto da academia quanto das organizações, justifica-se a importância de estudos que busquem a compreensão e a organização desse corpo da literatura, auxiliando assim a operacionalização dos conceitos teóricos. Nesse sentido, o presente trabalho apresenta uma proposta de modelo conceitual para o Front End da Inovação. Para isso foram analisados modelos, atividades e tarefas do Front End da Inovação existentes na literatura. Posteriormente, desenvolveu-se o modelo e o mesmo foi submetido à verificação por um conjunto de profissionais de uma organização. O modelo desenvolvido integra três elementos básicos: ideias; oportunidades; conceitos. Os resultados do processo representado pelo modelo são conceitos que serão posteriormente desenvolvidos como novos produtos, processos, métodos de marketing ou métodos organizacionais. Além da aplicabilidade do modelo proposto no contexto da organização participante da verificação, o trabalho resultou também de possibilidades para futuras pesquisas, como o detalhamento do modelo tendo em vista a sua implantação.<br> / Abstract : The Front End of Innovation is a subprocess of process innovation. He represents the activities and the time before the development and adoption of an innovative concept. Since organizations can benefit substantially by optimizing and improving active and Front End of Innovation that has received little attention from academia and from organizations, justifies the importance of studies that seek to understand and organize this body of literature, thereby assisting in the operationalization of theoretical concepts. Accordingly, this paper proposes a generic model for the Front End of Innovation. For that, models, activities and tasks of the Front End of Innovation were analyzed. Subsequently, the model was developed and subjected it to a set of verification of a professional organization. The model includes three basic elements: ideas, opportunities, concepts. The results of the model are represented by concepts that will be further developed as new products, processes, marketing methods or organizational methods. Besides the applicability of the proposed model in the context of the participating organization of the verification work also resulted possibilities for future research, as the detailing of the model with a view to its implementation.
|
2 |
Identificação e diagnósttico de erros de modelagem conceitual cometidos por aprendizesPasqualli, Roberta January 2002 (has links)
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-19T17:13:33Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-26T01:32:24Z : No. of bitstreams: 1
184879.pdf: 13976355 bytes, checksum: 956e09075ce1eecda2978a622f085983 (MD5) / Este trabalho apresenta uma abordagem para a identificação e o tratamento dos erros realizados por aprendizes no desenvolvimento de modelagem conceitual. Para fundamentar teoricamente este trabalho foi realizado um estudo sobre Orientação a Objetos, UML (Unified Language Modeling) e, principalmente sobre quais são os erros que mais comumente são observados quando os aprendizes desenvolvem seus próprios modelos conceituais. Além de procurar por erros comuns relatados na bibliografia, procurou-se analisar trabalhos de alunos e catalogar os erros observados, a fim de verificar se é possível automatizar a detecção dos mesmos. Esse tema foi escolhido, pois a partir dessa identificação e catalogação de erros, abre-se a possibilidade de aprimoramento das ferramentas CASE existentes e até mesmo o desenvolvimento de novas ferramentas que sugiram meios de auxiliar o aluno no momento de desenvolvimento da modelagem conceitual.
|
3 |
Calibração de modelos de consumo de combustível para microssimulação de tráfego com dados coletados via OBDMarinho, Arthur Theodoro January 2016 (has links)
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2016. / Made available in DSpace on 2017-05-23T04:08:19Z (GMT). No. of bitstreams: 1
345594.pdf: 61655913 bytes, checksum: 66fa1753ad69140db4729210a7a2a019 (MD5)
Previous issue date: 2016 / Com a preocupação da sustentabilidade, avaliar em simulação o desempenho de sistemas de tráfego apenas em termos de fluidez não atende mais as expectativas de gestores e da sociedade. Há também a necessidade de medidas confiáveis de aspectos ambientais, como o consumo de combustíveis e a emissão de poluentes. Assim, é importante que simuladores incorporem modelos de consumo de combustível e de emissões que reflitam condições realísticas do tráfego. Neste trabalho, dois modelos de consumo de combustível foram calibrados e validados. O primeiro modelo é implementado no simulador de tráfego AIMSUN. O segundo é um modelo baseado em potência, implementado no simulador de tráfego SIDRA Trip. Os dados de vários sensores de diferentes tipos de veículos foram coletados via diagnóstico de bordo (on-board diagnostics - OBD). A partir desses dados, tem-se as informações operacionais dos veículos para a calibração dos modelos - velocidade e consumo de combustível instantâneos. A calibração do primeiro modelo foi realizada de quatro maneiras diferentes, em que foram aplicadas técnicas de regressão linear, fórmulas e orientações do manual do simulador AIMSUN. A calibração do segundo modelo foi realizada por meio de um processo iterativo sugerido no manual do simulador SIDRA Trip. Para validar a calibração dos modelos, o consumo de combustível medido e o estimado foram comparados utilizando ciclos de condução em áreas urbanas. Os resultados sugerem que a calibração dos modelos de consumo de combustível para simulação de tráfego com dados obtidos via OBD é satisfatória independente da técnica utilizada.<br> / Abstract : Due to the increased concern with sustainability, the performance of traffic systems in simulation on the basis of throughput does not meet managers and the society requirements anymore. Reliable measures of environmental aspects are also needed, such as fuel consumption and emissions. Therefore, traffic simulators are required to incorporate corresponding models that reflect realistic traffic conditions. In this work, two fuel consumption models were calibrated and validated. The first model is implemented in the AIMSUN traffic simulator. The second is a power-based model, implemented in the SIDRA Trip traffic simulator. Data from several sensors of different vehicle types were collected via on-board diagnostics (OBD). From these data, the vehicle operational information is available for the calibration - instantaneous speed and fuel consumption. The calibration of the first model was performed in four different ways, in which linear regression techniques, formulas and guidelines from the AIMSUN simulator's manual were applied. The calibration of the second model was performed with an iterative process suggested in the SIDRA Trip simulator's manual. For the validation of the calibration, measured and estimated fuel consumption were compared using driving cycles in urban areas. The results suggest that the calibration of fuel consumption models for traffic simulation with OBD data is adequate independent of calibration approach.
|
4 |
Controladores de rastreamento de ângulo de esterço e velocidade longitudinal de um veículo inclinável de três rodasMorita, Leandro Yoshio January 2016 (has links)
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2016. / Made available in DSpace on 2017-06-27T04:15:18Z (GMT). No. of bitstreams: 1
345807.pdf: 39092209 bytes, checksum: 892aa11388857b64f531df1ebedaf6b3 (MD5)
Previous issue date: 2016 / Este trabalho trata o problema de controle de rastreamento do ângulo de esterço e velocidade longitudinal desejados pelo condutor de um veículo inclinável de 3 rodas, enquanto mantém o ângulo de inclinação dentro de uma margem de segurança pré-estabelecida de modo a alcançar uma condução segura e fácil em malha-fechada. A idéia principal é projetar controladores que forcem o ângulo de inclinação e a velocidade longitudinal do veículo a rastrearem trajetórias de referências adequadas, onde a trajetória de referência para o ângulo de inclinação evolui dentro de uma margem de segurança pré-estabelecida. A prática comum utilizada na literatura é determinar a estrutura do controlador com base em modelos aproximados de ordem reduzida do veículo. No presente trabalho, serão projetados controladores lineares e não-lineares para tal problema de rastreamento diretamente em um modelo de um protótipo de um veículo inclinável de 3 rodas com 9-GL (graus de liberdade). Seis diferentes metodologias são usadas: controladores PID, Regulador Quadrático Linear (LQR), realimentação linearizante, controle por modos deslizantes de Slotine, Controle Vetorial Unitário (UVC) de Utkin, e uma extensão do UVC proposta recentemente. Os resultados de simulação comparam os desempenhos destes controladores sob condições nominais, assim como sob perturbações de ventos externos e incertezas paramétricas de massa e altura do centro de massa do veículo.<br> / Abstract : This works treats the control problem of tracking the steering angle and longitudinal velocity desired by the driver of a tilting 3-wheeled vehicle, while keeping its tilt angle within a pre-established safety margin, so as to achieve safe and easy driving in closed-loop. The key idea is to design controllers that force the tilt angle and the longitudinal velocity of the vehicle to track adequate reference trajectories, where the reference trajectory for the tilt angle evolves within a pre-established safety margin. A common practice in the literature is to determine the controller structure based upon reduced order approximate models of the vehicle. In the present work, one designs linear and nonlinear controllers for such tracking problem directly on a 9-DOF model of a prototype of a tilting 3-wheeled vehicle. Six different approaches are used: PID controllers, Linear Quadratic Regulator (LQR), feedback linearization, sliding mode control of Slotine, Unity Vector Control (UVC) of Utkin, and a recently proposed extension of UVC. The simulation results compare the performance of these controllers under nominal conditions, as well as under disturbances of the external wind and parametric uncertainties on the mass and center of mass height of the vehicle.
|
5 |
Uma metodologia e um ambiente MDE para a verificação de aplicações hipermídiaPicinin Júnior, Delcino January 2016 (has links)
Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2016 / Made available in DSpace on 2016-10-19T13:26:04Z (GMT). No. of bitstreams: 0
Previous issue date: 2016Bitstream added on 2016-10-25T03:12:29Z : No. of bitstreams: 1
342327.pdf: 10243259 bytes, checksum: 34c08009c7f6079999c9bc018cac313f (MD5) / No desenvolvimento de aplicações hipermídia, o projetista pode erroneamente inserir comportamentos indesejados. Metodologias baseadas em teste ou análise de linha temporal para verificar a corretude de aplicações são limitadas, por não serem exaustivas e serem consumidoras de tempo. Outra alternativa é a utilização de metodologias baseadas em verificação formal, que permitem uma análise exaustiva e mais rápida da aplicação. A verificação formal requer que a aplicação e os comportamentos a serem verificados estejam representados em linguagens formais, de difícil aprendizagem por um projetista de aplicação hipermídia. O presente trabalho propõe uma metodologia baseada no uso de verificação formal por model-checking, a partir de uma representação da aplicação, das propriedades a serem verificadas e do diagnostico de eventuais erros, ambos em linguagens e representações de fácil uso e entendimento para o projetista destas aplicações. Essa metodologia é dividida em quatro fases: Modelagem, Transformação, Verificação e Diagnóstico/Correção. Inicialmente, o projetista codifica sua aplicação em alguma linguagem de domínio específico (por exemplo, NCL ou SMIL), e especifica os comportamentos desejados a serem verificados numa linguagem de descrição simples, proposta neste trabalho. A seguir, essas descrições das aplicações e comportamentos são transformadas, seguindo a abordagem MDE (Model Driven Engineering), nos modelos formais utilizados na verificação. Em caso de algum comportamento desejado não ser satisfeito, a ferramenta de model-checking oferece um contraexemplo que, após transformação, é apresentado na forma de uma linha de tempo, permitindo diagnosticar a origem do erro e fornecer informações para a sua correção. Para apoiar a metodologia proposta, foi construído um protótipo de um ambiente de desenvolvimento, no qual o projetista pode verificar o comportamento de sua aplicação. As avaliações da metodologia e de seu ambiente, realizadas em diversas aplicações hipermídia mostram suas potencialidades de uso para aplicações mais complexas e no caso de edição "ao vivo".<br> / Abstract : In the development of hypermedia applications, the designer can mistakenly insert undesirable behaviors. Methodologies based on tests or timeline analysis to verify the correctness of applications are limited because they are not exhaustive and are time consuming. Another alternative is the use of methodologies based on formal verification, allowing an exhaustive and more fast analysis of the application. Formal verification requires that the application and behavior to be verified are represented in formal languages, which are difficult to learn by a hypermedia application designer. This work proposes a methodology based on the use of formal verification by model-checking, from an application representation, the properties to be verified and the diagnosis of errors, both in languages and representations of easy use and understanding by designer of these applications. This methodology is divided into four phases: Modeling, Transformation, Verification and Diagnosis/Correction. Initially, the designer encodes his application in any domain specific language (eg, NCL or SMIL), and specifies the desired behaviors to be checked in a simple description language proposed in this work. Then these descriptions of applications and behaviors are transformed, following the MDE approach (Model Driven Engineering), in formal models used for verification. If some desired behavior is not satisfied, the model-checking tool provides a counterexample that, after processing, is presented as a timeline, allowing to diagnose the source of the error and provide information for its correction. To support the proposed methodology, a prototype development environment was built, in which the designer can verify the behavior of your application. Evaluations of the methodology and its environment, performed in several hypermedia applications, showed their potential of use for more complex applications and in the case of editing "live".
|
6 |
Modelagem e implementação de aplicações usando uma base computacional orientada a objetos para sistemas de energia elétricaDotta, Daniel January 2003 (has links)
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica. / Made available in DSpace on 2012-10-21T06:52:03Z (GMT). No. of bitstreams: 1
199916.pdf: 1192362 bytes, checksum: 68d7db51171e61559daa688c3630f8ef (MD5) / A presente dissertação de mestrado descreve os resultados de uma investigação sobre a modelagem e a implementação de aplicações computacionais sob o paradigma de uma nova filosofia de desenvolvimento de software para sistemas de energia elétrica (SEE). Neste contexto utilizam-se abstrações bem definidas, uma base computacional capaz de representar as mais diversas instâncias do SEE, a Unified Modeling Language (UML) para a documentação e padrões de projeto orientados a objeto. No âmbito das abstrações há uma nítida separação entre a representação de elementos físicos, aplicações de análise e módulos de funções específicas. Neste trabalho, os instrumentos descritos foram utilizados na modelagem e implementação de três metodologias de análise da operação de SEE: (i) cálculo de fluxo de potência, modelos Newton-Raphson e Desacoplado-Rápido; (ii) avaliação da segurança dinâmica usando modelagem detalhada; (iii) seleção e classificação de contingências críticas usando modelagem simplificada e ambiente de processamento paralelo. O projeto e a implementação das aplicações foram realizados com os recursos da base computacional e com o aproveitamento de códigos já desenvolvidos e testados. O escopo dos resultados deste trabalho compreende o processo de desenvolvimento de software propriamente dito e o desempenho computacional específico das aplicações implementadas. No primeiro caso destacam-se a verificação das facilidades propiciadas pela base computacional à incorporação de novas metodologias de análise de SEE bem como a geração de aplicações computacionais de fácil manutenção e incorporação de novos modelos e equipamentos. Na avaliação do desempenho computacional foram realizadas simulações com três configurações do sistema elétrico das regiões sul e sudeste do Brasil, obtendo-se resultados comparáveis ao de programas tradicionalmente empregados no setor elétrico brasileiro.
|
7 |
Um banco de dados espaço-temporal para o monitoramento e modelagem do escoamento superficial em bacias hidrográficas no contexto do planejamento urbanoSchäfer, Alexandro Gularte January 2012 (has links)
Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Civil. / Made available in DSpace on 2013-06-25T21:20:49Z (GMT). No. of bitstreams: 1
309864.pdf: 8412838 bytes, checksum: c0a7453cb55ae5f995ba2382a1edc0a7 (MD5) / O objetivo desta pesquisa é o desenvolvimento de um banco de dados espaço-temporal (BDET) que permita verificar o impacto das alterações nas características de uma bacia hidrográfica no escoamento superficial direto. O ponto central da pesquisa é o desenvolvimento/adaptação de métodos e técnicas para a incorporação da dimensão temporal em bancos de dados espaciais. Para tanto, foram consideradas as seguintes questões: a) a necessidade de levar em consideração a drenagem, no processo de planejamento do uso e ocupação do solo; b) a necessidade de considerar a bacia hidrográfica como unidade de planejamento territorial e gerenciamento dos recursos hídricos e c) o fato de os Sistemas de Informação Geográfica (SIG) atuais serem estáticos e apresentarem limitações no que diz respeito à representação e à manipulação da dimensão temporal dos dados, o que restringe sua aplicabilidade em analisar a dinâmica das alterações que ocorrem em uma bacia hidrográfica e a estimativa do seu impacto no escoamento superficial direto. A modelagem conceitual foi realizada utilizando-se as técnicas do modelo entidade-relacionamento (E-R), com base na análise semântica das variáveis envolvidas na verificação das características de uma bacia hidrográfica e na estimativa do escoamento superficial direto. A organização das alterações que ocorrem ao longo do tempo nas características da bacia hidrográfica foi efetuada a partir de uma abordagem com base no tempo. Para a estrutura de armazenamento das entidades espaço-temporais, utiliza-se a abordagem com base em objeto. Foram desenvolvidas as consultas para realizar a recuperação dos dados e para a quantificação das características de bacias hidrográficas. O método do número de curva do National Resources Conservation Service (NRCS), ou método SCS-CN, foi aplicado para estimar o escoamento superficial direto. Uma aplicação piloto foi realizada, para validar o modelo lógico e verificar a integridade do BDET. A área de estudo foi a bacia hidrográfica do rio Atuba, na região metropolitana de Curitiba, Paraná, Brasil. Esta bacia sofreu um grande processo de urbanização e atualmente é considerada a segunda bacia mais urbanizada da região. A aplicação piloto permitiu constatar que o BDET projetado atende aos requisitos e responde às consultas definidos na pesquisa, consistindo em uma tecnologia capaz de auxiliar na gestão das águas pluviais e no ordenamento territorial. / The objective of this research was to develop a spatio-temporal database to check the impact of changes in the characteristics of a watershed in runoff. The focus of this research was the development and adaptation of methods and techniques to incorporate the temporal dimension in spatial databases. Thus, we considered the following questions: i) the need to consider the drainage in the process of planning the land use; ii) the need to consider watershed as the unit of planning and management and iii) the fact that Geographic Information Systems (GIS) are currently statics and that present limitations regarding the representation and manipulation of the temporal dimension of data, which restricts their applicability to examine the dynamic changes that occur in a watershed and the estimated impact on runoff. The conceptual modeling was performed using the techniques of entity-relationship (ER), based on the semantic analysis of the variables involved in testing the characteristics of a watershed,and on the runoff estimation. The organization of the changes that occur over time in the characteristics of the watershed was made based on a time-based approach. For the storage structure of spatiotemporal entities, we used the object-based approach. Queries were developed to perform alphanumeric, spatial, temporal and spatiotemporal data and to quantify the characteristics of the watersheds. The SCS-CN method was applied to estimate the runoff. A pilot test was conducted to validate the logical model and to verify the integrity of BDET. The study area was the Atuba river watershed in the metropolitan region of Curitiba, Parana. This basin has undergone a major process of urbanization and is currently considered the second most urbanized watershed in the region. The pilot test found that the BDET designed meets the requirements and responds to queries defined in the survey, being a tool to assist in the management of stormwater and land use.
|
8 |
Projeto lógico de bancos de dados NOSQL documento a partir de esquemas conceituais entidade-relacionamento estendido (EER)Lima, Claudio de January 2016 (has links)
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, 2016 / Made available in DSpace on 2016-09-20T04:05:25Z (GMT). No. of bitstreams: 1
339905.pdf: 3424611 bytes, checksum: 5f5f32718788fb7e712cf1dca8dd9d4e (MD5)
Previous issue date: 2016 / O movimento denominado NoSQL surge como tendência para solucionar os desafios inerentes às necessidades atuais de gerenciamento de dados na nuvem, como o tratamento de grandes volumes de dados, a escalabilidade horizontal e o suporte a modelos flexíveis de armazenamento de dados. A organização dos dados em BDs NoSQL requer significativas decisões de projeto, uma vez que afetam requisitos como escalabilidade, desempenho e consistência. Embora BDs NoSQL não requeiram um esquema padrão associado aos dados, eles são categorizados por modelos de dados. O presente trabalho está inserido nesta problemática e propõe uma abordagem para projeto lógico de BDs NoSQL que seguem o modelo de dados de documento. Este modelo é flexível quanto ao suporte a dados e apropriado para aplicações Web, e a abordagem define processos que convertem modelagens conceituais para representações lógicas adequadas e eficientes, para fins de manipulação correta, armazenamento e acesso a dados na nuvem. A proposta é constituída por regras de conversão capazes de transformar cada um dos construtores do modelo conceitual Entidade-Relacionamento Estendido (EER) em uma representação lógica para BDs NoSQL da categoria documento. Um processo de conversão EER-NoSQL automático é proposto, com a finalidade de ordenar a aplicação das regras na produção de um esquema NoSQL documento que tenta evitar a redundância de dados e, ao mesmo tempo, procura gerar uma representação bem estruturada das informações modeladas pelo projeto conceitual. A consideração de informações relativas à principal carga estimada para o BD que está sendo modelado produz esquemas NoSQL documento otimizados. O estudo de caso apresentado demonstra o ganho obtido por documentos conformados a estes esquemas, no tempo de ocupação diário do sistema, para a execução das operações mais frequentes do BD.<br> / Abstract: The movement called NoSQL comes as a tendency to address the challenges related to the management of data in the cloud, like the processing of large volumes of data, the horizontal scalability and the support for flexible forms of data storage. Data organization on NoSQL databases (DBs) requires significant design decisions, since they affect requirements such as scalability, performance and consistency. Although NoSQL DBs do not require a default schema associated with the data, they are categorized by data models. This work addresses this problem by proposing an approach for the logical design of NoSQL document DBs that follows the document data model. This data model is flexible in terms of data support and suitable for Web applications, and the approach defines processes that convert a conceptual modeling for proper and efficient logical representations aiming at the correct handling, storage and access to data in the cloud. Out proposal consists of conversion rules that transform each one of the concepts of the Extended Entity-Relationship (EER) conceptual model to a logical representation in a NoSQL DB of the document category. An automatic conversion process EER-NoSQL is proposed with the purpose to order the execution of the rules for generating a NoSQL document schema that tries to avoid data redundancy and, at the same time, tries to generate a well-structured representation of the conceptual schema information. Additionally, our methodology considers the information workload for the DB being modeled in order to produce an optimized NoSQL document schema. A case study presented in this work shows the efficiency improvement obtained, in terms of accessing time, for documents that respects the generated logical schemas, on considering the frequent DB operations.
|
Page generated in 0.0584 seconds