Encontrados 60 documentos, a visualizar página 1 de 6

Reconciling gene expression data with regulatory network models – a stimulon-ba...

The reconstruction of genome-scale metabolic models from genome annotations has become a routine practice in Systems Biology research. The potential of metabolic models for predictive biology is widely accepted by the scientific community, but these same models still lack the capability to account for the effect of gene regulation on metabolic activity. Our focus organism, Bacillus subtilis is most commonly fou...

Modelo numérico para avaliação do efeito do isolamento em lajes de madeira subm...

O objetivo fundamental deste artigo é desenvolver um modelo numérico térmico para a análise de lajes em madeira, com e sem isolamento. Será utilizado o método de elementos finitos, através do programa ANSYS para determinar os perfis de temperaturas, a espessura e a velocidade de carbonização. O cálculo dos perfis de temperaturas será obtido em regime transiente, através de uma análise não linear em que as propr...

Nanotubos de carbono para processos de tratamento de águas

An approach to model checking Ada programs

This paper describes a tool-supported method for the formal verification of Ada programs. It presents ATOS, a tool that automati- cally extracts a model in SPIN from an Ada Program, together with a set of properties that state the correctness of the model. ATOS is also capable of extracting properties from user-provided annotations in Ada programs, inspired by the Spark Annotation language. The goal of ATOS is ...

Reliability engineering of large jit production systems

This paper introduces the rationale and the fundamental elements and algorithms of a reliability engineering methodology, and discusses its application to the design of a large, multi-cell and heterogeneous production system with just-in-time (JIT) deliveries. The failure analysis and the non-reliability costs assessment of such systems is a complex task. In order to cope with such complexity, a two level hiera...

Formal development of solutions for real-time operating systems with TLA+/TLC

Tese de mestrado. Engenharia Electrotécnica e de Computadores. Faculdade de Engenharia. Universidade do Porto. 208

Modelação, análise e avaliação da confiabilidade de sistemas de informação indu...

Dissertação apresentada para obtenção do grau de Doutor em Engenharia Electrotécnica e de Computadores, na Faculdade de Engenharia da Universidade do Porto, sob a orientação do Prof. Doutor António Maria Lopes da Rocha Quintas

Divisórias leves prefabricadas : concepção e avaliação da viabilidade de um sis...

Dissertação apresentada para obtenção do grau de Doutor, na Faculdade de Engenharia da Universidade do Porto, sob a orientação do Prof. Doutor Vítor Abrantes e do Engº. Vasconcelos Paiva

Procedimentos de um gestor de projectos de construcção de edifícios

Tese de mestrado. Construção de Edifícios. 1995. Faculdade de Engenharia. Universidade do Porto

Domótica. Versatilidade de implementação e as suas vantagens

Esse artigo foi elaborado com a intenção de expor a possibilidade e a versatilidade de implementação de um sistema de domótica numa dada instalação já existente. Inicialmente realizou-se um pequeno estudo teórico das tecnologias domóticas mais relevantes, de uma forma transversal e resumida (Capítulo 2). Em função do estudo teórico do capítulo anterior, no Capítulo 3 realizou-se uma análise mais prática, em que...