Wyniki wyszukiwania dla: KOMPUTEROWE SPRAWDZANIE WIEDZY - MOST Wiedzy

Wyszukiwarka

Wyniki wyszukiwania dla: KOMPUTEROWE SPRAWDZANIE WIEDZY

Najlepsze wyniki w katalogu: Potencjał Badawczy Pokaż wszystkie wyniki (96)

Wyniki wyszukiwania dla: KOMPUTEROWE SPRAWDZANIE WIEDZY

  • Katedra Elektroenergetyki

    Potencjał Badawczy

    * ochrona i bezpieczeństwo pracy systemu elektroenergetycznego, * stabilność sterowanie pracą systemu elektroenergetycznego, * kompleksowe modelowanie systemów elektroenergetycznych oraz szczegółowe modele elementów systemu, * urządzenia FACTS i systemy HVDC w systemach elektroenergetycznych, * odnawialne źródła energii w systemach elektroenergetycznych, * urządzenia i instalacje elektryczne, * optymalizacja struktury i parametrów...

  • Katedra Inżynierii Zarządzania Operacyjnego

    Potencjał Badawczy

    * procesy i zarządzanie innowacjami w organizacjach gospodarczych * procesy i zarządzanie zmianą w systemach produkcyjnych * zarządzanie projektami, programami oraz portfolio projektów innowacyjnych i rozwojowych * modelowanie i doskonalenie procesów oraz systemów produkcyjnych * projektowanie i optymalizacja technologii informatycznych w inteligentnych systemach produkcyjnych * ilościowe metody wspomagania decyzji w systemach...

  • Zespół Systemów Decyzyjnych i Robotyki

    Automatyka i Robotyka, która posiada silne posadowienie w matematycznej Teorii Systemów i Teorii Sterowania, już w połowie ubiegłego stulecia zaistniała w powszechnej świadomości jako Cybernetyka, która – kontynuując czerpanie wiedzy ze zjawisk istniejących w świecie natury – przekształciła się w Sztuczną Inteligencję, ciągle nie przestaje być dynamicznie rozwijającą się dziedziną z gruntu interdyscyplinarną, łączącą wiedzę i umiejętności...

Najlepsze wyniki w katalogu: Oferta Biznesowa Pokaż wszystkie wyniki (23)

Wyniki wyszukiwania dla: KOMPUTEROWE SPRAWDZANIE WIEDZY

Pozostałe wyniki Pokaż wszystkie wyniki (1726)

Wyniki wyszukiwania dla: KOMPUTEROWE SPRAWDZANIE WIEDZY

  • Komputerowe sprawdzanie wiedzy.

    Publikacja

    - Rok 2004

    Omówiono programy komputerowe wspomagające sprawdzanie wiedzy i umiejętności. scharakteryzowano najczęściej spotykane formy komputerowego sprawdzania wiedzy: testy wyboru, testy uzupełnień oraz programy z bazą wiedzy do sprawdzania poprawności wnioskowania podczas rozwiązywania zadań obliczeniowych. Charakterystyka każdego rodzaju testu jest zilustrowana opisem odpowiedniego programu komputerowego.

  • Komputerowe sprawdzanie i ocenianie wyników testów.

    Publikacja

    - Rok 2004

    Przedstawiono organizację sieciowego systemu komputerowego wspomagającego tworzenie i przeprowadzanie testów. Omówiono podstawowe funkcje systemu oraz przypadki użycia systemu z punktu widzenia nauczyciela. Przedstawiono opis interfejsu dla tej grupy użytkowników.

  • Metodologia projektowania programów edukacyjnych zorientowanych problemowo z wykorzystaniem bazy wiedzy.

    Publikacja

    Opisano prototyp programu, który może posłużyć do sprawdzania poprawności sposobu rozwiązywania zadań z elementarnej matematyki lub fizyki. Program tem umożliwia ponadto wygenerowanie wszystkich sposobów rozwiązania zadania. Omówiono program komputerowy CorrectWay, który realizuje wczesniej wymienione funkcje. artykuł zakończono wskazaniami kierunków dalszego rozwoju tego programu.

  • Ontology-Aided Software Engineering

    Publikacja

    - Rok 2012

    This thesis is located between the fields of research on Artificial Intelligence (AI), Knowledge Representation and Reasoning (KRR), Computer-Aided Software Engineering (CASE) and Model Driven Engineering (MDE). The modern offspring of KRR - Description Logic (DL) [Baad03] is considered here as a formalization of the software engineering Methods & Tools. The bridge between the world of formal specification (governed by the mathematics)...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Sprawdzanie dokumentacji projektowej

    Publikacja

    - Rok 2007

    Analiza problemu sprawdzenia projektu budowlanego. Wymagania prawne. Zmiany formalne, zagrożenia, konflikty.