Search results for: KOMPUTEROWE SPRAWDZANIE WIEDZY - Bridge of Knowledge

Your account

login

Search

Search results for: KOMPUTEROWE SPRAWDZANIE WIEDZY

Best results in : Research Potential Pokaż wszystkie wyniki (96)

Search results for: KOMPUTEROWE SPRAWDZANIE WIEDZY

  • Katedra Elektroenergetyki

    Research Potential

    * 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

    Research Potential

    * 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

    Research Potential

    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...

Best results in : Business Offer Pokaż wszystkie wyniki (23)

Search results for: KOMPUTEROWE SPRAWDZANIE WIEDZY

Other results Pokaż wszystkie wyniki (1717)

Search results for: KOMPUTEROWE SPRAWDZANIE WIEDZY

  • Komputerowe sprawdzanie wiedzy.

    Publication

    - Year 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.

    Publication

    - Year 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.

    Publication

    - Year 2004

    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

    Publication

    - Year 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)...

    Full text to download in external service

  • Sprawdzanie dokumentacji projektowej

    Publication

    - Year 2007

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