brunoopinheiro

Tutorial de Instalação: UPPAAL

O UPPAAL é uma ferramenta de modelagem e verificação de autômatos temporais. Ele é amplamente utilizado para modelar sistemas dinâmicos e verificar propriedades de tempo real. Neste tutorial, vamos guiá-lo pelo processo de instalação do UPPAAL em seu sistema operacional. Aqui, vamos considerar a instalação no Ubuntu 22.04, mas o processo é semelhante em outras distribuições Linux e também no Windows.

Site oficial do UPPAAL: UPPAAL

1. Licença Acadêmica

O UPPAAL é gratuito para uso acadêmico, mas requer uma licença. Você pode solicitar uma licença acadêmica gratuita no site oficial do UPPAAL. Siga as instruções fornecidas no site para obter sua licença.

UPPAAL - Downloads

brunoopinheiro

on:
  pull_request:
    types: [opened, synchronize, reopened]

jobs:
  test-and-comment:
    runs-on: ubuntu-latest
    steps:
        - name: Checkout repository
          uses: actions/checkout@v4

brunoopinheiro

import base64
import cv2
import numpy as np
from pathlib import Path


def _to_b64(file_path: Path, output_path: Path) -> str:
    """Converts an image file to a base64 string and saves it to a file.

    Args:

brunoopinheiro

Usando ROS no VSCode em um ambiente de desenvolvimento remoto (Docker)

Extensões necessárias:

Dev Containers

• Id: ms-vscode-remote.remote-containers
• Description: Open any folder or repository inside a Docker container and take advantage of Visual Studio Code's full feature set.
• Version: 0.375.1
• Publisher: Microsoft
• VS Marketplace Link: https://marketplace.visualstudio.com/items?itemName=ms-vscode-remote.remote-containers

Python

brunoopinheiro

Instalação da ferramenta de simulação do TIAGo no Ubuntu 22.04 com Docker

Primeiro de tudo. Quem, como eu, instalou conda/miniconda/anaconda, precisa desinstalar para não ter problemas com o ROS.

Desinstalando o Conda:

No meu caso, instalei o miniconda3. Se não tiver segurança em fazer as coisas via terminal, dá uma pesquisada na internet como fazer isso:

Buscando o diretório onde o miniconda foi instalado:

brunoopinheiro

from transitions import Machine
from time import sleep
from random import randint
from enum import Enum


class States(Enum):
    VERMELHO = 1
    VERDE = 2
    AMARELO = 3

brunoopinheiro

function capitalize(inputString) {
  const words = inputString.split(" ");
  const capitalizedWords = words.map(word => word.charAt(0).toUpperCase() + word.slice(1).toLowerCase());
  const reduced = capitalizedWords.reduce((acc, curr) => `${acc} ${curr}`, "");
  return reduced.slice(1);
}