Filtry
wszystkich: 119
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
Potencjał BadawczyAutomatyka 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
-
Laboratorium Innowacyjnych Zastosowań Informatyki
Oferta BiznesowaBadania nad użytecznością i jakością oprogramowania w różnych zastosowaniach, w szczególności rozpoznawanie emocji użytkowników komputerów oraz badanie użyteczności oprogramowania i doświadczenia użytkownika aplikacji.
-
Laboratorium Badawcze 2-3
Oferta BiznesowaObliczenia komputerowe wymagające dużych mocy obliczeniowych z wykorzystaniem oprogramowania typu: Matlab, Tomlab, Gams, Apros.
-
Laboratorium Zarządzania i Integracji Systemów Automatyki Budynków
Oferta BiznesowaBadania związane z zagadnieniami integracji otwartych systemów automatyki budynku oraz niezawodności stosowanych w nich rozwiązań.
Pozostałe wyniki Pokaż wszystkie wyniki (1726)
Wyniki wyszukiwania dla: KOMPUTEROWE SPRAWDZANIE WIEDZY
-
Komputerowe sprawdzanie wiedzy.
PublikacjaOmó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.
PublikacjaPrzedstawiono 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.
PublikacjaOpisano 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
PublikacjaThis 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)...
-
Sprawdzanie dokumentacji projektowej
PublikacjaAnaliza problemu sprawdzenia projektu budowlanego. Wymagania prawne. Zmiany formalne, zagrożenia, konflikty.