Página 1 dos resultados de 1060 itens digitais encontrados em 0.094 segundos

Desenvolvimento de um sistema especialista para auxilio no projeto e operação de processos biotecnologicos; Expert system development for aid n the Bioprocesses design and operation

Vera Lucia Reis de Gouveia
Fonte: Biblioteca Digital da Unicamp Publicador: Biblioteca Digital da Unicamp
Tipo: Tese de Doutorado Formato: application/pdf
Publicado em 23/02/2006 PT
Relevância na Pesquisa
135.78%
Os processos biotecnológicos ou Bioprocessos necessitam de maiores cuidados do que a maioria dos processos químicos comuns devido, principalmente, à sensibilidade a variações nos estados do sistema como, por exemplo, temperatura e concentração. O crescente aumento da importância dos Bioprocessos e a maior dificuldade em seu controle e simulação resultaram na procura e utilização de novas ferramentas como a Inteligência Artificial (IA). Inteligência Artificial é uma parte da ciência da computação relacionada ao projeto de sistemas computacionais inteligentes. Nos últimos anos houve um aumento substancial do uso de ferramentas de IA tais como Redes Neurais Artificiais (R.N.A), Sistemas Especialistas e Lógica Fuzzy no controle e simulação de Bioprocessos. Este trabalho teve como objetivo o desenvolvimento de um software que atue como um assistente, auxiliando na simulação de Bioprocessos. O Bio-PSA (BioProcess Simulation Assistant) possui quatro módulos: Módulo 1: Simulação de Bioprocessos, incluindo funcionalidades para simulação de produção de etanol e dextrana, ambos com modelagem normal e híbrida. Módulo 2: Simulação de processos para purificação de proteínas, incluindo a modelagem de processos baseados no modelo CARE (Continuous Affinity Recycle Extraction). ?Módulo 3: Sistema Especialista e uma base de conhecimento que auxilia o usuário no design de processos biotecnológicos. Módulo 4: Software para treinamento de R.N.A; The biotechnical processes or Bioprocesses require larger cares than common chemical processes due...

Clipping 2012-10-outubro

Agecom, UFSC
Fonte: Universidade Federal de Santa Catarina Publicador: Universidade Federal de Santa Catarina
Tipo: Imagem
Relevância na Pesquisa
155.79%
Clipping de 01/10/2012: UFSC / Vestibular 2013 / Inscrições / Processo seletivo 2013 / Pós-Graduação em Urbanismo, História e Arquitetura da Cidade na UFSC / MEC / Curso online Gênero e Diversidade na Escola – GDE / Instituto de Estudos de Gênero / Candidatos a bolsa-auxílio / UFSC / Joinville / Ministério da Educação – MEC / Programa Incluir / Acessibilidade de pessoas com deficiência / Diretora de desenvolvimento da Rede de Instituições Federais de Ensino Superior – Ifes, Adriana Rigon Weska / Instituto Nacional de Educação de Surdos – Ines / Ministério Público de Santa Catarina / Modernização do logotipo / Núcleo de Abordagem Sistêmica da UFSC / Símbolos oficiais / Procurador-Geral de Justiça de Santa Catarina / Lio Marcos Marin Clipping de 02/10/2012: Feira de livros da EdUFSC / CD Preparado em Curitiba: Sonatas e Interlúdio para Piano Preparado / Centenário de John Cage / Lançamento do livro Cage e a Poética do Silêncio / Alberto Heller / Semana de Ensino, Pesquisa e Extensão / Livro Contos Gauchescos / Livro O Fantástico da Ilha de Santa Catarina / Inscrições / 1º Simpósio Internacional e 5º Simpósio Nacional de Literatura e Informática / Núcleo de Pesquisas em Informática...

Modelo de integração do WAP no apoio à gerência de redes TCP/IP

Carvalho, Cristhian Flamariom Gomes de
Fonte: Florianópolis, SC Publicador: Florianópolis, SC
Tipo: Dissertação de Mestrado Formato: 130 f.| il.
POR
Relevância na Pesquisa
125.73%
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação.; Com o crescimento do uso de redes de computadores e do aumento da complexidade das aplicações envolvidas, a importância do uso de mecanismos e sistemas de gerenciamento de redes vem aumentando ao longo dos últimos anos. Várias arquiteturas e ferramentas de gerência de redes foram desenvolvidas, se destacando o modelo SNMP e, atualmente, o modelo de gerência WEB. O gerenciamento via WEB, trouxe a mobilidade ao administrador, no que se refere à interface entre o usuário que gerencia uma rede e o sistema de gerência da rede. Com o surgimento da tecnologia WAP, que é um conjunto de especificações para padronizar as interações entre equipamentos portáteis, como telefones celulares, e a Internet; há a possibilidade de incrementar a mobilidade promovida pela gerência via WEB: o WAP trouxe a característica da Mobilidade Sem Fio. Agora o administrador ou gerente de uma rede, poderá utilizar um telefone celular, por exemplo, para acompanhar o estado dessa rede. Este trabalho propôs um modelo de integração da tecnologia WAP, com o gerenciamento de redes TCP/IP, utilizando o protocolo SNMP e ferramentas gratuitas ou de domínio público...

Projeto e implementação de um protocolo de comunicação para o ambiente RTAI-RTnet

Dal Berto, Adamô
Fonte: Florianópolis, SC Publicador: Florianópolis, SC
Tipo: Dissertação de Mestrado Formato: x, 97 f.| il.
POR
Relevância na Pesquisa
135.82%
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação.; A utilizaçao de sistemas computacionais vem obtendo grande abrangencia nas mais diversas areas de conhecimento. Dentre as atividades a que estes podem estar relacionados, existem aquelas que possuem alguns requisitos temporais. Os sistemas de tempo real são aqueles cujo correto funcionamento está associado, não apenas às respostas corretas a determinados estímulos, mas também às restriçoes temporais impostas pelo ambiente. Muitas pesquisas vem sendo desenvolvidas com o objetivo de dar suporte a sistemas de tempo real atrav´es de soluções proprietárias ou extensões para sistemas operacionais de propósito geral. O RTAI é uma extensão do Linux para tempo real, cuja pilha de protocolo de rede é chamada RTNET. Neste trabalho é apresentada a implementação de um protocolo alternativo de rede, na forma de um m´odulo, para comunicação de tarefas em modo usuário que desejem fazer uso da pilha RTNET. São apresentados, ainda, os resultados dos testes de forma comparativa aos protocolos UDP/IP.

Clipping 2013-03-março

Agecom, UFSC
Fonte: Universidade Federal de Santa Catarina Publicador: Universidade Federal de Santa Catarina
Tipo: Imagem
PT_BR
Relevância na Pesquisa
165.79%
Clipping de 01/03/2013: Simone Leite / Cineasta Zeca Nines Pires / Ricaldinho da Ilha / Udesc / Obras literárias para o Vestibular de Inverno 2013 / Geração do Deserto / Guido Wilmar Sassi / Guerra do Contestado / Silveira de Souza / Ecos do Porão – Vol. II / Editora da UFSC / Capitães de Areia / Jorge Amado / Amar, Verbo Intransitivo / Mário de Andrade / Beijo no Asfalto / Nelson Rodrigues / Secretaria Municipal de Saúde / Secretaria do Estado da Educação / Estudantes da rede pública / Consumo abusivo de drogas ilícitas e de álcool / Instituto RIC / Projeto Alerta Galera / Jogo da Onda / Instituto Estadual de Educação – IEE / Mestrandos da UFSC / Produção de vídeos / Premiação aos melhores trabalhos / Jornalistas do Diário Catarinense / Professora de Português, Joseana Andrea Fonseca / Cursinho Pré-Vestibular da UFSC / Vencedores do concurso Vestibulando DC 2013 / Caderno Vestibular / Premiação Clipping de 02, 03 e 04/03/2013: Livro O Detetive de Florianópolis / Jair Francisco Hamms / Vestibular 2014 da UFSC / Coletânea Os Últimos Sonetos / Cruz e Sousa / Editora da UFSC / Literatura catarinense / Vestibular de Inverno da Udesc / Livro Geração do Deserto / Guido Wilmar Sassi / Livro Ecos do Porão – Vol. II / Silveira de Souza / Novo Diretor do campus da UFSC em Joinville / Luís Fernando Peres Kalil / Concurso para a UFSC / Vagas para Joinville / Centenário de A Sagração da Primavera / Igor Stravinski / Vaslav Nijinski / Dirce Waltrick do Amarante / Curso de Artes Cênicas da UFSC / Romance A Terceira Expedição / Daniel Fresnot / Mestre em Letras pela UFSC...

Clipping 2013-04-abril

Agecom, UFSC
Fonte: Universidade Federal de Santa Catarina Publicador: Universidade Federal de Santa Catarina
Tipo: Imagem
PT_BR
Relevância na Pesquisa
165.89%
Clipping de 01/04/2013: UFSC / Sétima edição do Congresso Internacional Roa Bastos / Inscrições gratuitas / Professor Nelson Neri Júnior / PUC de São Paulo / Palestra / Congresso de Direito da UFSC / Falta de vagas de estacionamento / Campus da UFSC / Carro como prêmio por aprovação / Cardápio do Restaurante Universitário da UFSC / Filas / Qualidade / Baixo preço / Senador Cacildo Maldaner / Páscoa com o filho Jandrey / Engenheiro mecânico formado pela UFSC / Diretórios dos estudantes / Udesc / Semana de Arte Popular / Philippe Dubois / Aula Magna / Curso de Cinema da UFSC / Auditório Henrique Fontes / Centro de Comunicação e Expressão da UFSC / Núcleo Interdisciplinar de Pesquisa, Ensino e Assistência a Dislipidemia – Nipead / Hospital Universitário / Palestra Nutrição e diabetes / Furto de veículo / Festa no campus da UFSC / Centro Sócio-Econômico / Estudantes de licenciatura / Bolsas sanduíche / França / Portugal / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior – Capes / Programas de Licenciaturas Internacionais – PLI / Laboratório de Engenharia Biomecânica da UFSC / Ministério da Saúde / Hospital Universitário – HU / Avaliação de implantes, próteses e stents vasculares / Departamento de Cirurgia / Curso de Engenharia Mecânica da UFSC / Curso de Engenharia de Materiais da UFSC / Rede Multicêntrica de Avaliação de Implantes Ortopédicos – Remato / Agência Nacional de Vigilância Sanitária – Anvisa / Fundação de Amparo à Pesquisa e Extensão Universitária – Fapeu / Governo do Estado / Secretaria de Desenvolvimento Sustentável – SDS / Centros de inovação / Governador Raimundo Colombo / Secretário Paulo Bornhausen / Inova / Sapiens Parque / Univille / Univali / Unochapecó / Unesc / Unoesc / Furb / Fapesc Clipping de 02/04/2013: Entrevista coletiva / Prefeito Cesar Júnior / Reitoria da UFSC / Reitora Roselane Neckel / Curso de Administração da UFSC / Conceito máximo / Ministério da Educação / Fortaleza de Anhatomirim / Abandono / Governo do Estado / Centros de Inovação Tecnológica/ Secretário de Desenvolvimento Econômico Sustentável...

Clipping 2013-07-julho

Agecom, UFSC
Fonte: Universidade Federal de Santa Catarina Publicador: Universidade Federal de Santa Catarina
Tipo: Imagem
PT_BR
Relevância na Pesquisa
145.75%
Clipping de 01/07/2013: Canal Memória / TV UFSC / Grupo Engenho / Incêndio na Assembleia Legislativa em 1956 / Ponte Hercílio Luz / Criação da UFSC / Fotógrafo Waldemar Anacleto / Salim Miguel / Novembrada / Cineasta Zeca Nunes Pires / Projeto de extensão da UFSC, Sarau Boca de Cena / Diretório Central dos Estudantes (DCE) Novos Rumos / Manifesta!!! / Auditório do Centro de Convivência / Udesc / UFSC / Universidade Federal da Fronteira Sul de Chapecó / Associação Brasileira de Antropologia / Centenário do antropólogo catarinense Egon Schaden / Primeira chamada / Programa Universidade Para Todos – ProUni / Ministério da Educação – MEC / Sistema Informatizado do ProUni – Sisprouni / Segunda chamada / Bolsas / Escolas de educação básica em Santa Catarina / Pesquisa Uma escala para medir a infraestrutura escolar / Pesquisadores Joaquim Soares Neto, Girlene de Jesus e Camila Karino, da Universidade de Brasília – UNB / Pesquisador da UFSC, Dalton de Andrade / Tecnologia / Bibliotecas / Censo Escolar 2011 / Presidente da União Nacional dos Dirigentes Municipais – Undime, Cleuza Repulho / Infraestrutura deficitária / Crescimento do setor de tecnologia / Florianópolis / Santa Catarina / Empregos / Geração de tributos / Talentos / Condições de trabalho / Qualidade de vida / UFSC / Udesc / Capital intelectual / Tolerância e diversidade / Liberdades individuais / Criatividade / Administração pública / Engenheiro Eletricista formado pela UFSC e Presidente da Associação Catarinense de Empresas de Tecnologia - ACATE...

Alocação de dados e de código em memórias embarcadas

Mendonça, Alexandre Keunecke Ignácio de
Fonte: Universidade Federal de Santa Catarina Publicador: Universidade Federal de Santa Catarina
Tipo: Dissertação de Mestrado Formato: 1 v.| grafs., tabs.
POR
Relevância na Pesquisa
185.77%
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, 2010; Memórias do tipo scratchpad (SPMs) são alternativas promissoras para sistemas embarcados energeticamente eficientes. Muitas das técnicas de otimização para o mapeamento de dados e código para SPMs assumem a disponibilidade do código-fonte da aplicação. Porém, o desenvolvimento de software embarcado deve lidar com código legado, bibliotecas de ter- ceiros e blocos de propriedade intelectual (IPs) para os quais podem estar disponíveis somente os arquivos-binários. As poucas técnicas que reali- zam otimizações diretamente em arquivos binários operam em arquivos executáveis e limitam-se a tratar somente código ou somente dados. Este trabalho propõe uma nova técnica que pode alocar tanto código quanto dados para a SPM. Operando diretamente em binários, a técnica permite que elementos encapsulados em bibliotecas façam parte do ma- peamento para SPMs. A técnica consiste de três principais mecanismos: o profiler, o mapeador e o patcher. O patcher foi projetado para operar utilizando arquivos-objeto relocáveis, contornando assim a limitação de se gerenciar relocações para SPM em arquivos-objeto executáveis. A maior eficiência ao se tratar arquivos binários relocáveis resultou em tempos de execução inferiores em pelo menos uma ordem de magnitude se compara- dos às técnicas relacionadas. O tempo médio de patching foi de 0...

Interações nanopartícula-células e biomaterial-células induzem mudanças globais em programas de expressão de genes

Rocha, Edroaldo Lummertz da
Fonte: Universidade Federal de Santa Catarina Publicador: Universidade Federal de Santa Catarina
Tipo: Tese de Doutorado Formato: 114 p.| ils., grafs., tabs.
POR
Relevância na Pesquisa
135.7%
Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência e Engenharia de Materiais, Florianópolis, 2014; Esta tese apresenta uma série de investigações e resultados na interface entre ciência dos materiais, ciência da computação e biologia, em que, primeiramente, interações nanopartícula-célula foram estudadas utilizando simulações de dinâmica molecular, buscando compreender aspectos fisico-químicos da interface existente entre nanomateriais e células. A partir destes estudos, logo ficou evidente que novos métodos para estudar estas interações, assim como interações biomaterial-célula, seriam necessários. Neste sentido, uma abordagem baseada em biologia de sistemas (CellNet) foi utilizada para elucidar mudanças globais em programas de expressão de genes em células interagindo com nanopartículas ou cultivadas em culturas de células organóides. Estes métodos foram primeiramente desenvolvidos e validados para área de células-tronco, especificamente para experimentos de engenharia de identidade celular, tais como reprogramação de células somáticas para um estado de pluripotência induzida, diferenciação dirigida de células-tronco pluripotentes para tipos de células específicos (cardiomiócitos) e conversão direta entre células somáticas (fibroblastos para cardiomiócitos). Aplicação de CellNet para interações nanopartícula-célula indicou que mudanças transcricionais significativas podem ocorrer...

Transporte em nanoestruturas: métodos de movimento Browniano e teoria de circuitos

Fernandes de Macedo Júnior, Ailton; Murilo Santos Macedo, Antonio (Orientador)
Fonte: Universidade Federal de Pernambuco Publicador: Universidade Federal de Pernambuco
Tipo: Outros
PT_BR
Relevância na Pesquisa
145.65%
Os resultados apresentados nesta tese podem ser divididos em duas partes. Na primeira estudamos uma classe de ensembles de movimento browniano (EMB) da teoria de matrizes aleatórias, gerados a partir da teoria matricial de processos estocásticos markovianos. Os ensembles são caracterizados por uma equação de Fokker-Planck e estão intimamente relacionados a hamiltonianos de sistemas quânticos do tipo Calogero-Sutherland. Esta conexão leva a um esquema geral de classificação baseada numa recente generalização multidimensional dos polinômios ortogonais clássicos. Mostramos que, sob certas condições, os EMB englobam os ensembles de matrizes de transferência. Desta forma, desenvolvemos um tratamento unificado dos ensembles de polinômios e de matrizes de transferência que, além de servir como um esquema de classificação das diversas classes de simetria, fornece técnicas eficientes de cálculo. Desenvolvemos métodos de Fokker-Planck para o cálculo de médias de observáveis representados por estatísticas lineares, assim como para o cálculo de funções de correlação. Neste contexto, desenvolvemos um método de transformada integral e uma generalização do método das funções biortogonais para o cálculo da função de correlação de n-pontos. Os resultados deduzidos neste contexto geral são aplicados a pontos e fios quânticos. Em particular...

Uma Análise Comparativa entre Sistemas de Combinação de Classificadores com Distribuição Vertical dos Dados

Santana, Laura Emmanuella Alves dos Santos
Fonte: Universidade Federal do Rio Grande do Norte; BR; UFRN; Programa de Pós-Graduação em Sistemas e Computação; Ciência da Computação Publicador: Universidade Federal do Rio Grande do Norte; BR; UFRN; Programa de Pós-Graduação em Sistemas e Computação; Ciência da Computação
Tipo: Dissertação Formato: application/pdf
POR
Relevância na Pesquisa
115.91%
In systems that combine the outputs of classification methods (combination systems), such as ensembles and multi-agent systems, one of the main constraints is that the base components (classifiers or agents) should be diverse among themselves. In other words, there is clearly no accuracy gain in a system that is composed of a set of identical base components. One way of increasing diversity is through the use of feature selection or data distribution methods in combination systems. In this work, an investigation of the impact of using data distribution methods among the components of combination systems will be performed. In this investigation, different methods of data distribution will be used and an analysis of the combination systems, using several different configurations, will be performed. As a result of this analysis, it is aimed to detect which combination systems are more suitable to use feature distribution among the components; Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Em sistemas que combinam as saídas de classificadores de padrões, sistemas de combinação, como comitês e sistemas multiagentes para classificação, um dos principais problemas é que os componentes do sistema (classificadores ou agentes) devem ser diversos entre si. Em outras palavras...

Uma abordagem dirigida por modelos para gerência de variabilidade e execução de processos de software

Santos, Wanderson Câmara dos
Fonte: Universidade Federal do Rio Grande do Norte; BR; UFRN; Programa de Pós-Graduação em Sistemas e Computação; Ciência da Computação Publicador: Universidade Federal do Rio Grande do Norte; BR; UFRN; Programa de Pós-Graduação em Sistemas e Computação; Ciência da Computação
Tipo: Dissertação Formato: application/pdf
POR
Relevância na Pesquisa
145.86%
This dissertation presents a model-driven and integrated approach to variability management, customization and execution of software processes. Our approach is founded on the principles and techniques of software product lines and model-driven engineering. Model-driven engineering provides support to the specification of software processes and their transformation to workflow specifications. Software product lines techniques allows the automatic variability management of process elements and fragments. Additionally, in our approach, workflow technologies enable the process execution in workflow engines. In order to evaluate the approach feasibility, we have implemented it using existing model-driven engineering technologies. The software processes are specified using Eclipse Process Framework (EPF). The automatic variability management of software processes has been implemented as an extension of an existing product derivation tool. Finally, ATL and Acceleo transformation languages are adopted to transform EPF process to jPDL workflow language specifications in order to enable the deployment and execution of software processes in the JBoss BPM workflow engine. The approach is evaluated through the modeling and modularization of the project management discipline of the Open Unified Process (OpenUP); Este trabalho apresenta uma abordagem dirigida por modelos para gerência de variabilidades em processos de software...

LWiSSy: uma linguagem específica de domínio para modelagem de sistemas de redes de sensores e atuadores sem fio

Dantas, Priscilla Victor
Fonte: Universidade Federal do Rio Grande do Norte; BR; UFRN; Programa de Pós-Graduação em Sistemas e Computação; Ciência da Computação Publicador: Universidade Federal do Rio Grande do Norte; BR; UFRN; Programa de Pós-Graduação em Sistemas e Computação; Ciência da Computação
Tipo: Dissertação Formato: application/pdf
POR
Relevância na Pesquisa
155.91%
The field of Wireless Sensor and Actuator Networks (WSAN) is fast increasing and has attracted the interest of both the research community and the industry because of several factors, such as the applicability of such networks in different application domains (aviation, civil engineering, medicine, and others). Moreover, advances in wireless communication and the reduction of hardware components size also contributed for a fast spread of these networks. However, there are still several challenges and open issues that need to be tackled in order to achieve the full potential of WSAN usage. The development of WSAN systems is one of the most relevant of these challenges considering the number of variables involved in this process. Currently, a broad range of WSAN platforms and low level programming languages are available to build WSAN systems. Thus, developers need to deal with details of different sensor platforms and low-level programming abstractions of sensor operational systems on one hand, and they also need to have specific (high level) knowledge about the distinct application domains, on the other hand. Therefore, in order to decouple the handling of these two different levels of knowledge, making easier the development process of WSAN systems...

Um método para desenvolvimento de abordagens generativas com composição de linguagens específicas de domínio

Campos Neto, Edmilson Barbalho
Fonte: Universidade Federal do Rio Grande do Norte; BR; UFRN; Programa de Pós-Graduação em Sistemas e Computação; Ciência da Computação Publicador: Universidade Federal do Rio Grande do Norte; BR; UFRN; Programa de Pós-Graduação em Sistemas e Computação; Ciência da Computação
Tipo: Dissertação Formato: application/pdf
POR
Relevância na Pesquisa
125.88%
The software systems development with domain-specific languages has become increasingly common. Domain-specific languages (DSLs) provide increased of the domain expressiveness, raising the abstraction level by facilitating the generation of models or low-level source code, thus increasing the productivity of systems development. Consequently, methods for the development of software product lines and software system families have also proposed the adoption of domain-specific languages. Recent studies have investigated the limitations of feature model expressiveness and proposing the use of DSLs as a complement or substitute for feature model. However, in complex projects, a single DSL is often insufficient to represent the different views and perspectives of development, being necessary to work with multiple DSLs. In order to address new challenges in this context, such as the management of consistency between DSLs, and the need to methods and tools that support the development with multiple DSLs, over the past years, several approaches have been proposed for the development of generative approaches. However, none of them considers matters relating to the composition of DSLs. Thus, with the aim to address this problem, the main objectives of this dissertation are: (i) to investigate the adoption of the integrated use of feature models and DSLs during the domain and application engineering of the development of generative approaches; (ii) to propose a method for the development of generative approaches with composition DSLs; and (iii) to investigate and evaluate the usage of modern technology based on models driven engineering to implement strategies of integration between feature models and composition of DSLs; A utilização de linguagens específicas de domínios para o desenvolvimento de sistemas de software tem se tornado cada vez mais comum. Elas propiciam um aumento da expressividade do domínio...

POPT: uma abordagem de ensino de programação orientada a problema e testes

Lustosa Neto, Vicente Pires
Fonte: Universidade Federal do Rio Grande do Norte; BR; UFRN; Programa de Pós-Graduação em Sistemas e Computação; Ciência da Computação Publicador: Universidade Federal do Rio Grande do Norte; BR; UFRN; Programa de Pós-Graduação em Sistemas e Computação; Ciência da Computação
Tipo: Dissertação Formato: application/pdf
POR
Relevância na Pesquisa
125.91%
There is a growing interest of the Computer Science education community for including testing concepts on introductory programming courses. Aiming at contributing to this issue, we introduce POPT, a Problem-Oriented Programming and Testing approach for Introductory Programming Courses. POPT main goal is to improve the traditional method of teaching introductory programming that concentrates mainly on implementation and neglects testing. POPT extends POP (Problem Oriented Programing) methodology proposed on the PhD Thesis of Andrea Mendonça (UFCG). In both methodologies POPT and POP, students skills in dealing with ill-defined problems must be developed since the first programming courses. In POPT however, students are stimulated to clarify ill-defined problem specifications, guided by de definition of test cases (in a table-like manner). This paper presents POPT, and TestBoot a tool developed to support the methodology. In order to evaluate the approach a case study and a controlled experiment (which adopted the Latin Square design) were performed. In an Introductory Programming course of Computer Science and Software Engineering Graduation Programs at the Federal University of Rio Grande do Norte, Brazil. The study results have shown that...

Aplicação do método B ao projeto formal de software embarcado

Medeiros Júnior, Valério Gutemberg de
Fonte: Universidade Federal do Rio Grande do Norte; BR; UFRN; Programa de Pós-Graduação em Sistemas e Computação; Ciência da Computação Publicador: Universidade Federal do Rio Grande do Norte; BR; UFRN; Programa de Pós-Graduação em Sistemas e Computação; Ciência da Computação
Tipo: Dissertação Formato: application/pdf
POR
Relevância na Pesquisa
115.88%
This work shows a project method proposed to design and build software components from the software functional m del up to assembly code level in a rigorous fashion. This method is based on the B method, which was developed with support and interest of British Petroleum (BP). One goal of this methodology is to contribute to solve an important problem, known as The Verifying Compiler. Besides, this work describes a formal model of Z80 microcontroller and a real system of petroleum area. To achieve this goal, the formal model of Z80 was developed and documented, as it is one key component for the verification upto the assembly level. In order to improve the mentioned methodology, it was applied on a petroleum production test system, which is presented in this work. Part of this technique is performed manually. However, almost of these activities can be automated by a specific compiler. To build such compiler, the formal modelling of microcontroller and modelling of production test system should provide relevant knowledge and experiences to the design of a new compiler. In ummary, this work should improve the viability of one of the most stringent criteria for formal verification: speeding up the verification process, reducing design time and increasing the quality and reliability of the product of the final software. All these qualities are very important for systems that involve serious risks or in need of a high confidence...

Uma Metodologia para Mineração de Regras de Associação Usando Ontologias para Integração de Dados Estruturados e Não-Estruturados; A Methodology for Mining Association Rules Using Ontologies for Integrating Structured and Non-Structured Data

CAMILO, Cassio Oliveira
Fonte: Universidade Federal de Goiás; BR; UFG; Mestrado em Ciência da Computação; Ciências Exatas e da Terra - Ciências da Computação Publicador: Universidade Federal de Goiás; BR; UFG; Mestrado em Ciência da Computação; Ciências Exatas e da Terra - Ciências da Computação
Tipo: Dissertação Formato: application/pdf
POR
Relevância na Pesquisa
125.79%
Data and text mining methods have been applied in several areas of knowledge with the purpose of extracting useful information from large data volumes. Among the various data mining methods reported by specialized literature, association rule mining has proved useful in producing understandable rules. However, one of its major problems is the significant amount of rules produced, which hampers the selection of the more relevant rules needed to reply to a query. This study proposes a method for mining data from structured and unstructured sources in order to generate association rules between the terms extracted. The process of mining data from unstructured sources is assisted by an ontology that maps knowledge from a specific domain. The result of such process is converted into structured data and combined with data from other structured sources. A combination of objective and subjective interest measures is used to filter the set of rules obtained, in addition to support and confidence model. To verify the feasibility of this method in real-life situations, it was applied to a database of police occurrence reports of a government institution, which included data stored in structured and unstructured sources.; Métodos de mineração de dados e mineração de textos têm sido aplicados em diversas áreas do conhecimento para recuperação de informações úteis a partir de grandes volumes de dados. Dentre os diversos métodos de mineração de dados propostos na literatura...

Um Componente para Geração e Evolução de Esquemas de Bancos de Dados como Suporte à Construção de Sistemas de Informação; A Component to Generate and Evolve Database Schema Supporting Information Systems Constrution

ALMEIDA, Alexandre Cláudio de
Fonte: Universidade Federal de Goiás; BR; UFG; Mestrado em Ciência da Computação; Ciências Exatas e da Terra - Ciências da Computação Publicador: Universidade Federal de Goiás; BR; UFG; Mestrado em Ciência da Computação; Ciências Exatas e da Terra - Ciências da Computação
Tipo: Dissertação Formato: application/pdf
POR
Relevância na Pesquisa
125.84%
An Information System (IS) has three main aspects: a database that contains data which is processed to generate business information; an application functions which transforms data in information; and business rules which control and restrict data manipulated by the functions. An IS evolves continuously to follow the corporation changes, and the database should be change to attend the new requirements. This dissertation presents a model driven approach to generate and evolve IS databases. A software component, called Especialista em Banco de Dados (EBD), was developed. There are two mapping sets for database generation: from Modelo de Meta Objeto (MMO) (used to representing IS) to Relational Model (RM), and from this to DBMS PostgreSQL SQL dialect. The component EBD is a part of a framework for modeling, building and maintaining enterprise information systems software. This component provides services to other framework components. To validate the proposed approach, Software Engineers had developed IS using the component EBD. The Dissertation main contributions are an approach to support IS database life cycle, a software architecture to generate and evolve IS database schema, an IS data representation model (MMO), a mapping specification to generate schema and stored procedures and the definition of automated operation sets to evolve IS database schema.; Um Sistema de Informação (SI) Corporativo tem três aspectos principais: o banco de dados...

ConBus: Uma Plataforma de Middleware de Integração de Sensores para o Desenvolvimento de Aplicações Móveis Sensíveis ao Contexto; ConBus: A Sensor Integration Middleware Platform for Mobile Context-Aware Application Development

SÁ, Marcio Pereira de
Fonte: Universidade Federal de Goiás; BR; UFG; Mestrado em Ciência da Computação; Ciências Exatas e da Terra - Ciências da Computação Publicador: Universidade Federal de Goiás; BR; UFG; Mestrado em Ciência da Computação; Ciências Exatas e da Terra - Ciências da Computação
Tipo: Dissertação Formato: application/pdf
POR
Relevância na Pesquisa
155.77%
In spite of the great evolution and dissemination of mobile devices and embedded sensors, development of ubiquitous applications is still a complex task mainly due to the great diversity of context information and the abundance of sensor technologies. In this scenario, middleware systems are responsible mediating communication between contextaware applications and sensors. This responsibility envolves many services such as sensor communication protocols, asynchronous communication, context information reasoning. In spite of their importance for mobile context-aware applications, the development of middleware platforms for context provisioning is also a very complex task, specially in terms of sensor module integration to these platforms. This happens due to many factors, such as: i) huge complexity to develop sensor modules; ii) dificulties of reuse of sensor modules; and iii) sensor module life cycle management. This work proposes a context provisioning middleware architecture for mobile devices named ConBus (Context Bus) that implements development, reuse, deployment and dynamic activation strategies for sensor modules.; Apesar da grande evolução e disseminação dos dispositivos móveis e sensores acoplados, desenvolver aplicações ubíquas ainda é uma tarefa complexa...

Clipping 2012-12-dezembro

Agecom, UFSC
Fonte: Universidade Federal de Santa Catarina Publicador: Universidade Federal de Santa Catarina
Tipo: Imagem
PT_BR
Relevância na Pesquisa
165.79%
Clipping de 01, 02 e 03/12/2012: Templo Ecumênico da UFSC / Concerto de Natal / Coral Jovem Cantaris / Grupo Vocal Flávio Santos e Amigos / Franklin Cascaes / Gelci Peninha Coelho / Presépio da Praça 15 / Rádio Guarujá / Jardim Oliveira Belo / Museu de Antropologia da UFSC / Jone César / PT / Valmir Martins / Professor aposentado do Departamento de História da UFSC / Novembrada / Juventude Operária Católica - JOC / Ação Popular - AP / 30º Congresso da União Nacional dos Estudantes – UNE / Companhia Melhoramentos da Capital – Comcap / PSOL / Afrânio Boppré / Camerata Florianópolis / Maestro Jeferson Della Rocca / MPB / Centro Integrado de Cultura / WOA / Passarela Nego Quirido / Professor da UFSC, Marcos Laffin / Modelo de exploração do Pré-Sal / Presidente Luiz Inácio Lula da Silva / Importações de derivados de petróleo / Projeto de lei / Distribuição de royalties do petróleo no Brasil / Presidente Dilma Rousseff / Totalidade dos recursos destinada à educação / Ministra da Casa Civil, Gleisi Hoffmann / Ministro da Educação, Aloízio Mercadante / Sylvio Back / Zeca Nunes Pires / Regiões Norte e Oeste de Santa Catarina / Exibição do filme O Contestado, Restos Mortais / Eleutério Nicolau da Conceição / Professor aposentado da UFSC / História de Santa Catarina / Histórias em quadrinhos / Livro A Saga do Contestado / Palácio Cruz e Sousa / Tractebel Energia / Joinville / Univille / Federalização da Furb / UFSC / Campus próprio em Blumenau / Furb / Reitora da UFSC...