Buscar
Mostrando ítems 31-40 de 123
The Formal System of Dijkstra and Scholten
(Springer.Springer, Cham., 2015)
The logic of E.W. Dijkstra and C.S. Scholten has been shown to be useful in program correctness proofs and has attracted a substantial following in research, teaching, and programming. However, there is confusion regarding ...
Improving heterogenous storage performance in HPC Cloud systems using efficient storage algorithms informed by statistical models
(Universidad Autonoma de OccidenteDoctorado en IngenieríaFacultad de IngenieríaCali, 2022-02-14)
Scientific applications are widely used to solve complex problems from different do-
mains. These kinds of applications usually have demanding computational require-
ments. Hence they must be executed in HPC clusters to ...
Protocolo de referência para gestão de resíduos de equipamentos elétricos e eletrônicos domésticos para o município de Belo Horizonte
(Universidade Federal de Minas GeraisUFMG, 2008-12-18)
This research main objective is to propose a management protocol for waste electric and electronic equipment to Belo Horizonte city. In order to reach that, this study was divided in three different phases. In the first ...
Um estudo sobre otimização evolucionária e extração de conhecimento de fronteiras de pareto aplicado a um amplificador operacional de transcondutância
(Centro Universitário da FEI, São Bernardo do Campo, 2012)
A otimização de múltiplos objetivos do amplificador operacional de transcondutância é um dos problemas mais estudados em microeletrônica. Dentro da área de Automação do Projeto Eletrônico encontra-se um grande número de ...
Avaliação de operadores de algoritmos genéticos em otimização multidimensional
(Universidade Estadual Paulista (Unesp), 2007-09-06)
Desenvolveu-se neste trabalho a implementação computacional de um algoritmo genético. Este se constituiu de uma população inicial sobre a qual agem quatro operadores fundamentais: seleção, “crossover”, substituição e ...
Avaliação de operadores de algoritmos genéticos em otimização multidimensional
(Universidade Estadual Paulista (Unesp), 2007-09-06)
Desenvolveu-se neste trabalho a implementação computacional de um algoritmo genético. Este se constituiu de uma população inicial sobre a qual agem quatro operadores fundamentais: seleção, “crossover”, substituição e ...
Um estudo sobre otimização evolucionária e extração de conhecimento de fronteiras de pareto aplicado a um amplificador operacional de transcondutância
(Centro Universitário da FEI, São Bernardo do Campo, 2019)
Analyzing Behavioural Scenarios over Tabular Specifications Using Model Checking
(Open Publishing Association, 2014-02)
Tabular notations, in particular SCR specifications, have proved to be a useful means for formallydescribing complex requirements. The SCR method offers a powerful family of analysis tools, knownas the SCR Toolset, but its ...
Model-predictive-control-based capacitor voltage balancing strategies for modular multilevel converters
(IEEE, 2019)
This paper presents two capacitor voltage balancing (CVB) strategies for modular multilevel converter (MMC) applications. Both balancing schemes are based on model predictive control and are designed to efficiently solve ...
Funções neuropsicológicas executivas pós acidente vascular encefálico hemorrágico
(Universidade Estadual Paulista (Unesp), 2012-08-03)
Os acidentes vasculares encefálicos constituem-se um sério problema de saúde, e dados sobre sua prevalência mundial têm chamado à atenção. Dentre os subtipos de AVE, a hemorragia intraparenquimatosa (HIP) configura-se a ...