Buscar
Mostrando ítems 1-10 de 1897
Metodologia de Verificação Funcional para Circuitos Analógicos
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Engenharia ElétricaAutomação e Sistemas; Engenharia de Computação; Telecomunicações, 2009-09-04)
This work proposes a new methodology to verify those analog circuits, providing an automated tools to help the verifiers to have a more truthful result. This work presents the development of new methodology for analog ...
Verificação de projetos de controle de veículos aéreos autônomos
(Universidade Federal de Minas GeraisBrasilICX - DEPARTAMENTO DE CIÊNCIA DA COMPUTAÇÃOPrograma de Pós-Graduação em Ciência da ComputaçãoUFMG, 2020-11-26)
Flight systems formal checking became necessary once automatic control systems became widely applied, as they are complex, interdisciplinary and have highly dependent
components. Failures are resposible from financial to ...
Verificação formal de planos para agentes autônomos e sistemas multiagentes: um estudo de caso aplicado ao futebol de robôs
(Instituto de MatemáticaPrograma de Pós-graduação em MecatrônicaUFBAbrasil, 2017-02-07)
Os Agentes Autônomos – AA e os Sistemas Multiagentes – SMA realizam suas tarefas
baseados num planejamento e a sua complexidade vai depender de qual ambiente esteja
envolvido, principalmente quando este ambiente é dinâmico ...
Verificação formal na indústria
(Universidade Federal de Minas GeraisUFMG, 2016-02-29)
Formal Methods is a group of system design techniques that use mathematics formalism to assist specification, development and verification steps. The approach can reduce specifications ambiguities and inconsistences, provide ...
Análise de um processo de projeto industrial de mineração com foco na validação para compatibilização dos modelos BIM (Building Information Modeling)
(Universidade Federal de Minas GeraisBrasilENG - DEPARTAMENTO DE ENGENHARIA MATERIAIS E DA CONSTRUÇÃO CIVILPrograma de Pós-Graduação em Construção CivilUFMG, 2019-05-31)
The use of the automatic ruleset in projects developed using BIM, optimizes the process of design review and coordination of projects. The range of functionalities of BIM model check platforms increases every year, which ...
Verificação probabilística de modelos para modelagem e análise de interações de toxinas com sistemas de transporte transmembrânico de íons = Probabilistic Model Checking for modeling and analysis of toxins interactions with transmembrane ionic transport systems
(Universidade Federal de Minas GeraisUFMG, 2013-03-15)
Probabilistic Model Checking (PMC) is a formal verification technique to model and analyze stochastic systems. It can be applied directly to biological systems which present stochastic behavior, including transmembrane ...