Sistemas Explicitos
Mostrando 1-12 de 14 artigos, teses e dissertações.
-
1. Novas regras de prioridade para programação em flexible flow line com tempos de setup explícitos
Neste artigo são propostos e avaliados 12 métodos para minimização da duração total da programação (makespan) em sistemas flexible flow line com tempos de setup independentes da sequência de execução das tarefas. Esse ambiente é caracterizado pela possibilidade de as tarefas saltarem um ou mais estágios de produção. Além disso, os tempos de s
Prod.. Publicado em: 18/08/2015
-
2. Usando aplicações ricas para internet na criação de um ambiente para visualização e edição de regras SWRL / Using rich Internet applications to create an environment for viewing and editing SWRL rules
A Web Semântica é uma maneira de explorar a associação de significados explícitos aos conteúdos de documentos presentes na Web, para que esses possam ser processados diretamente ou indiretamente por máquinas. Para possibilitar esse processamento, os computadores necessitam ter acesso a coleções estruturadas de informações e a conjuntos de regras d
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 25/05/2012
-
3. Atenção primária à saúde e a organização de redes regionais de atenção à saúde no Brasil
Mesmo havendo relativo consenso na utilização do termo "Atenção Primária em Saúde (APS)", existem distintas concepções a respeito de seu efetivo significado. Este artigo faz referência a inúmeros documentos que historicamente vêm expressando esse conceito e contribuindo para sua organização nos sistemas de saúde de todo o mundo. Nessa perspecti
Saúde e Sociedade. Publicado em: 2011-12
-
4. O uso de ferramenta computacional na avaliação e dimensionamento de cortina atirantada
Até meados da década de 1.980 todo o processo de dimensionamento de estruturas de contenção era realizado somente pelo Método de Equilíbrio Limite, MEL, analisava-se somente a situação de ruptura da massa, análise de estabilidade interna e externa. Com a era da tecnologia, métodos de cálculos mais elaborados puderam ser aplicados na avaliação e
Publicado em: 2010
-
5. Policies for mandatory education : the elementary school with 9 years of duration / Politicas para educação obrigatoria : o ensino fundamental com 9 anos de duração
O entendimento da educação como direito do cidadão e dever do Estado remonta o final do século XIX e início do século XX, sendo fruto do jogo de forças sociais em conflito. Assim, a educação torna-se um problema público, que busca sua inserção nas agendas de governos na busca de soluções. A educação como direito se inscreve, portanto, no camp
Publicado em: 2009
-
6. Análise numérica na Engenharia do Vento Computacional empregando computação de alto desempenho e simulação de grandes escalas / Numerical analysis in the computational wind engineering employng high-performance programming and large eddy simulation
O presente trabalho tem como objetivo o desenvolvimento de um sistema voltado à solução de problemas relacionados à Engenharia do Vento Computacional. Para o tratamento das estruturas turbulentas, a Simulação das Grandes Escalas é empregada. Esta metodologia resolve diretamente as estruturas que governam a dinâmica local do escoamento (grandes escala
Publicado em: 2009
-
7. Racionamento dos cuidados de saúde: problemática inerente
A escassez de recursos que caracteriza os sistemas de saúde obriga a tomada de decisões de priorização que se traduzem em escolhas entre programas/serviços alternativos e/ou entre pacientes ou grupos de pacientes. Na ausência de mecanismo de preços, o estabelecimento de prioridades consagra uma forma de afetação dos escassos recursos no mercado dos
Cadernos de Saúde Pública. Publicado em: 2008-03
-
8. Modelagem computacional da eletrosioloa cardíaca: o desenvolvimento de um novo modelo para células de camundongos e a avaliação de novos esquemas numéricos
A modelagem da atividade elétrica do coração é de grande interesse médicocient íco, pois possibilita uma melhor compreensão dos fenômenos biofísicos envolvidos na atividade cardíaca, permite o desenvolvimento de novas técnicas de diagn óstico e de novas drogas. Infelizmente, os modelos matemáticos modernos são de alta complexidade e computacion
Publicado em: 2008
-
9. Analise do processo de transferencia internacional de tecnologia na TV digital terrestre brasileira / Analysis of international trnafer of technology process at Brazilian terrestrial digital TV
A essência deste estudo consiste em explorar a capacidade de negociação do Brasil na aquisição de um sistema tecnológico complexo como é a TV digital terrestre, analisando o processo de transferência internacional de tecnologia (TIT) e os custos envolvidos na escolha de um dos sistemas. Hoje se vê que pouca atenção se deu à questão da TIT na TV
Publicado em: 2008
-
10. Processamento da informação : uma avaliação dos diferentes níveis de conhecimento no processo de decisão
Neste trabalho objetivou-se estudar como as diferenças no nível de conhecimento do decisor afetam a tomada de decisões, procurando aumentar o entendimento de diferentes resultados do processo decisório. Contemplou-se três grandes áreas: o processo decisório, a perspectiva cognitiva no processo decisório e a influência do nível de conhecimento sobre
Publicado em: 2007
-
11. Decoupling geometry and numerical integration of differential equations implicit nonlinear systems. / Geometria do desacoplamento e integração numérica de equações diferenciais não lineares implícitas.
Classical methods for numerical integration of diferential algebraic equations (DAEs) can be formal in the literature. In this work, using a diferential geometric approach, a numerical method of integration of DAEs is established. This method is inspired in the decoupling theory of nonlinear explicit systems, when one considers that the outputs are algebraic
Publicado em: 2006
-
12. Um verificador de modelos explícito-simbólico
Neste trabalho, propomos uma modelagem que combina representações explícitas e simbólicas em um modelo de verificação formal explícito-simbólico. Os modelos explícitos e simbólicos têm sido usados com sucesso na verificação de sistemas concorrentes de estados finitos, como circuitos sequenciais complexos e protocolos de comunicação. A modelage
Publicado em: 2005