Página 1 dos resultados de 1060 itens digitais encontrados em 0.120 segundos
- Biblioteca Digital da Unicamp
- Universidade Federal de Santa Catarina
- Florianópolis, SC
- Universidade Federal de Pernambuco
- 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
- 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
- Mais Publicadores...
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
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%
#Inteligencia artificial#Biotecnologia - Industria#Redes neurais (Computação)#Sistemas especialistas (Computação)#Artificial intelligence#Biotechnology industries#Expert systems (Computer science)#Artificial neural networks#Bioreactor#Bioprocess
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...
Link permanente para citações:
Clipping 2012-10-outubro
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...
Link permanente para citações:
Modelo de integração do WAP no apoio à gerência de redes TCP/IP
Fonte: Florianópolis, SC
Publicador: Florianópolis, SC
Tipo: Dissertação de Mestrado
Formato: 130 f.| il.
POR
Relevância na Pesquisa
125.73%
#Informatica#Ciência da computação#Redes de computadores#TCP/IP#(Protocolo de rede de computador)#WAP (Protocolo de rede de computadores)
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...
Link permanente para citações:
Projeto e implementação de um protocolo de comunicação para o ambiente RTAI-RTnet
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%
#Informatica#Ciência da computação#Sistemas operacionais (Computadores)#Sistemas em tempo real#Redes de computadores - Protocolos#Linux (Sistema operacional de computador)
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.
Link permanente para citações:
Clipping 2013-03-março
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...
Link permanente para citações:
Clipping 2013-04-abril
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...
Link permanente para citações:
Clipping 2013-07-julho
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...
Link permanente para citações:
Alocação de dados e de código em memórias embarcadas
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...
Link permanente para citações:
Interações nanopartícula-células e biomaterial-células induzem mudanças globais em programas de expressão de genes
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%
#Ciência dos materiais#Engenharia de materiais#Dinamica molecular#Nanomateriais#Materiais Biocompatíveis#Câncer#Células-tronco
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...
Link permanente para citações:
Transporte em nanoestruturas: métodos de movimento Browniano e teoria de circuitos
Fonte: Universidade Federal de Pernambuco
Publicador: Universidade Federal de Pernambuco
Tipo: Outros
PT_BR
Relevância na Pesquisa
145.65%
#Teoria de matrizes aleatórias#Equação de Fokker-Planck#Modelo de Calogero-Sutherland#Polinômios de Jack#Física mesoscópica#Regime semiclássico#Teoria de circuitos
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...
Link permanente para citações:
Uma Análise Comparativa entre Sistemas de Combinação de Classificadores com Distribuição Vertical dos Dados
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%
#Distribuição Vertical de Dados#Sistemas de Combinação de
Classificadores#Comitês de Classificadores#Sistemas Multiagentes#Vertical Data Distribution#Classifier Combination Systems#Ensembles#Multiagent Systems#CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
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...
Link permanente para citações:
Uma abordagem dirigida por modelos para gerência de variabilidade e execução de processos de software
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%
#Processo de software#Execução de processos#Reuso de processo de
software#Desenvolvimento dirigido por modelos#Software process#Process execution#Software process reuse#Model driven
development#CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
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...
Link permanente para citações:
LWiSSy: uma linguagem específica de domínio para modelagem de sistemas de redes de sensores e atuadores sem fio
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%
#Redes de sensores e atuadores sem fio. LWiSSy. Linguagem específica de domínio. Modularização#Wireless sensor and actuator network. LWiSSy. Domain specific language. modularization#CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
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...
Link permanente para citações:
Um método para desenvolvimento de abordagens generativas com composição de linguagens específicas de domínio
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%
#Engenharia de software automatizada. Desenvolvimento generativo. Composição de linguagens específicas de domínio. Engenharia de linha de produto de software#Automated software engineering. Generative development. Composition of domain-specific languages. Software product line engineering#CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
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...
Link permanente para citações:
POPT: uma abordagem de ensino de programação orientada a problema e testes
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%
#Teste de software. Programação orientada a problema.
Ensino#Software testing. Problem-oriented programming. Teaching
methodology#CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
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...
Link permanente para citações:
Aplicação do método B ao projeto formal de software embarcado
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%
#Engenharia de software#Métodos formais#Verificação de Assembly#Método B#Software engineering#Formal methods#Verified compilation, B method#CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
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...
Link permanente para citações:
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
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%
#Mineração de Dados#Mineração de Texto#Recuperação de Informação#Extração de Informação#Conceitos#Ontologia#Regras de Associação#Data mining#Text mining#Information Retrievel#Information Extraction
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...
Link permanente para citações:
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
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%
#Sistema de Informação#Banco de Dados#Desenvolvimento Dirigido por Modelo#Information System#Database#Model Driven Development (MDD)#CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::METODOLOGIA E TECNICAS DA COMPUTACAO::ENGENHARIA DE SOFTWARE
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...
Link permanente para citações:
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
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%
#dispositivos móveis#middleware de provisão de contexto#sensores#módulos de sensoriamento#sensibilidade ao contexto#1.Dispositivos móveis 2.Middleware - Provisão de contexto 3. Sensores#mobile devices#context provisioning middleware#sensors#sensor module#context-aware
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...
Link permanente para citações:
Clipping 2012-12-dezembro
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...
Link permanente para citações: