Filtry
wszystkich: 747
wybranych: 533
-
Katalog
- Publikacje 533 wyników po odfiltrowaniu
- Osoby 69 wyników po odfiltrowaniu
- Projekty 1 wyników po odfiltrowaniu
- Laboratoria 4 wyników po odfiltrowaniu
- Zespoły Badawcze 5 wyników po odfiltrowaniu
- Aparatura Badawcza 1 wyników po odfiltrowaniu
- Kursy Online 123 wyników po odfiltrowaniu
- Wydarzenia 11 wyników po odfiltrowaniu
Filtry wybranego katalogu
Wyniki wyszukiwania dla: STROJENIE I WERYFIKACJA OPROGRAMOWANIA
-
Selected problems of determining an efficient operation standard in contemporary heat-and-flow diagnostics
PublikacjaW referacie wymieniono przyczyny powodujące niejednoznaczności i trudności wyznaczania wzorca sprawnej pracy turbinowych siłowni lądowych i morskich. Przeanalizowano dwie z tych przyczyn: obniżenie wartości parametrów dolotowych czynników roboczych oraz zmiany w konfiguracji połączeń pomiędzy urządzeniami składowymi obiegów cieplnych. Jako remedium na wynikające stąd trudności zaproponowano model obliczeniowy obiegu cieplnego o...
-
Trzy perspektywy
PublikacjaW artykule scharakteryzowano Model Współpracy Klient-Dostawca Oprogramowania (MWKDO) i przedstawiono i przedstawiono doświadczenia wynikające z jego zastosowania. Swoją opinię wyrazili klient, czyli Swissmed Centrum Zdrowia SA, dostawca oprogramowania e-MedSolution, firma ISH oraz współautorzy Modelu, pracownicy Politechniki Gdańskiej.
-
Multidimensional legacy aspects of modernizing web based systems
PublikacjaPublikacja porusza zagadnienia technik modernizacji tzw. legacy systems mających zastosowanie w cyklach życia oprogramowania. Przedmiotem dyskusji jest także studium przypadku Endoscopy Recommender System. Ponadto rozważany jest wpłw zmian wymagań, platform, standardów oraz strategii rozwoju oprogramowania na status legacy aplikacji webowych.
-
Safety of computer control systems: challenges and results in software development.
PublikacjaArtykuł dokonuje przeglądu wybranych wyników dotyczących poprawy bezpieczeństwa komputerowych systemów sterowania. Dyskusja pokrywa szeroki zakres aspektów dotyczących procesu wytwarzania takich systemów. W szczególności omówiono zagadnienia dotyczące różnorodności oprogramowania, oprogramowania off-the-shelf, analizy typów awarii i ich efektów oraz formalizacji procesu wytwórczego.
-
SDL i prosty scheduler - zastosowania.
PublikacjaRozdział przedstawia uzupełnienia, usprawnienia i zastosowania prostego schedulera zaproponowanego w [1]. Podstawowym uzupełnieniem jest powiązanie funkcji schedulera z językiem specyfikacji protokołów telekomunikacyjnych SDL [2]. Pokazano na czym polega problem w odmierzaniu czasu w ''procesach'' obsługiwanych przez scheduler oraz istotne ograniczenia mechanizmu odmierzania czasu w systemach warstwowych. Zaproponowano rozwiązania...
-
Obsługa danych radarowych w rozproszonym systemie komunikacji i nadzoru projektu STRADAR
PublikacjaJednym z zadań rozszerzenia projektu STRADAR jest zrealizowanie zaawansowanego przetwarzania (reduplikacja, multifuzja) i prezentacji danych pochodzących z urządzeń radarowych znajdujących się pod kontrolą Morskiego Oddziału Straży Granicznej. W artykule przedstawiono założenia dla realizacji oprogramowania fuzji danych radarowych w serwerach archiwizacji, ogólną strukturę podsystemu obsługi danych radarowych, moduły wejściowe...
-
Metody testowania platformy KASKADA
PublikacjaW rozdziale przedstawiono wykorzystywany iteracyjny i inkrementalny proces wytwarzania oprogramowania, ze szczególnym uwzględnieniem planowania, wykonywania i śledzenia testów oprogramowania platformy KASKADA. Zaprezentowano model V i przykłady testów jednostkowych, systemowych, wydajnościowych i wiarygodnościowych. Przedstawiono wybrane wyniki testów oraz ich wpływ na konstrukcję platformy.
-
Charakterystyka badań i metod projektowania pali przemieszczeniowych wkręcanych
PublikacjaCharakterystyka dotychczasowych badań pali przemieszczeniowych wkręcanych, zrealizowanych za granicą i w kraju. Przedstawienie kilku metod obliczania nośności pali przemieszczeniowych wkręcanych, zaproponowanych przez autorów zagranicznych. Porównanie wyników obliczeń na przykładzie rzeczywistym z praktyki i weryfikacja z wynikami badania pala w terenie.
-
Teoria i praktyka testowania programów
PublikacjaKsiążka stanowi doskonałą pomoc w nauczaniu problematyki z zakresu programowania, jakości programowania, planowanie i zarządzanie procesami wytwórczymi oprogramowania, a zawarte w niej treści są przydatne zarówno testerom, analitykom, projektantom, programistom, kierownikom projektów, jak też administratorom i osobom odpowiedzialnym za zakup, eksploatację i pielęgnacją oprogramowania w firmie.
-
Oprogramowanie Saphira do rozmytej autonomicznej nawigacji robota mobilnego Pioneer 2CE
PublikacjaPraca obejmuje analizę wykorzystania logiki rozmytej do nawigacji autonomicznego robota mobilnego Pioneer 2CE w nieznanym otoczeniu, przy użyciu architektury oprogramowania Saphira. W opracowaniu przestawiono podstawy rozmytej nawigacji, strukturę sterownika rozmytego i architekturę oprogramowania Saphira. Przedstawiono platformę mobilną Pioneer 2CE, symulator robota i sposób jego sterowania.
-
Walidacja modelu pary mokrej przez porównanie z eksperymentem
PublikacjaW artykule opisano model homogenicznej nierównowagowej kondensacji pary wodnej. Weryfikacja modelu została przeprowadzona w oparciu o eksperyment z dyszą de Lavala pracującą w warunkach kondensacji. W pracy zawarto porównanie wyników numerycznych z danymi z eksperymentu przeprowadzonego w IMP. Przedstawiono również krótki wstęp teoretyczny.
-
Proposal for calculating the bearing capacity of screw displacement piles in non-cohesive soils based on CPT results
PublikacjaPrzedstawienie wyników badań terenowych pali przemieszczeniowych wkręcanych, zrealizowanych w ramach projektu badawczego MNiSW. Propozycja dwóch metod obliczania nośności pali przemieszczeniowych wkręcanych w niespoistym podłożu gruntowym na podstawie wyników badań CPT. Metody dostosowano do wytycznych Eurokodu 7. Weryfikacja metod obliczeniowych z wynikami badań terenowych pali.
-
Opinia geotechniczna dotycząca projektu budowlanego Ocena rozwiązań konstrukcyjnych elementów posadowienia obiektów inżynierskich w ciągu drogi ekspresowej S7 na odcinku Koszwały – Kazimierzowo
PublikacjaPrzedmiotem opracowania jest ocena rozwiązań posadowienia obiektów inżynierskich w ciągu drogi ekspresowej S7 na odcinku Koszwały – Kazimierzowo, przedstawionych przez Transprojekt Gdański Sp. z o.o., ul. Partyzantów 72A, 80-254 Gdańsk. Weryfikacja obejmuje: Zadanie 1: Koszwały– Nowy Dwór Gdański; Zadanie 2: Nowy Dwór Gdański – Kazimierzowo
-
Application of Knowledge Views = Zastosowanie widoków na bazę wiedzy
PublikacjaW artykule przedstawiono koncepcję widoków na bazę wiedzy i jej zastosowanie w inżynierii systemów. Praca ma na celu przybliżenie inżynierii wiedzy i technologii Semantic Web inżynierowi oprogramowania oraz programiście. Cel ten osiągany jest poprzez upodobnienie baz wiedzy do relacyjnych lub obiektowych baz danych oraz poprzez stosowanie wzorców znanych w inżynierii oprogramowania.
-
Knowledge management embedded in software engineering processes
PublikacjaW pracy przedstawiono model systemu pozyskiwania wiedzy zawartej w procesach inżynierii oprogramowania.
-
Dynamic range comparison of voltage-mode and current-mode state-space Gm-Cbiquad filters in reciprocal structures
PublikacjaW pracy dokonano porównania zakresu dynamicznego bikwadratowych filtrówGm-C zmiennych stanu, których struktury układowe oparte są na zasadzie tran-sformacji układu dołączonego. Przeprowadzono rozważania teoretyczne w wynikuktórych określono ogóne formuły zakresu dynamicznego dla klasy filtrów Gm-Ctrybu napięciowego i prądowego. Weryfikacja rezultatów teoretycznych byłazrealizowana za pomocą symulatora SPICE.
-
KLASYFIKACJA STANU TECHNICZNEGO UKŁADU WTRYSKOWEGO SILNIKA Z ZAPŁONEM SAMOCZYNNYM NA PODSTAWIE POMIARU SKŁADU SPALIN
PublikacjaArtykuł przedstawia wyniki empirycznej weryfikacji hipotezy pozwalającej na opracowanie sprzętowo – programowego klasyfikatora stanu technicznego układu wtryskowego silnika z zapłonem samoczynnym. Pozytywna weryfikacja wspomnianej hipotezy, która wiąże przebieg procesu spalania, skład chemiczny spalin oraz wybrane stany niesprawności technicznej układu wtryskowego pozwoliła na przedstawienie koncepcji klasyfikatora w rozpatrywanym...
-
Nowa metoda kalibracji woltamperometrii stałoprądowej
PublikacjaW artykule omówiono no wą metodę kalibracji elektrod woltamperometrycznych opierającą się na wykorzystaniu wyłącznie jednego roztworu wzorcowego. Przedstawiono podstawy teoretyczne zaproponowanej metody oraz wyniki jej weryfikacji laboratoryjnej. Weryfikacja ta potwierdziła możliwość zastosowania zaproponowanej metody do kalibracji elektrod woltamperometrycznych w zakresie stężeń znacznie mniejszych od stężenia jonów depolaryzatora...
-
Zestaw narzędzi wspomagających weryfikację koncepcji cyfrowego przetwarzania sygnałów
PublikacjaCyfrowe przetwarzanie sygnałów jest szeroko stosowane. Zagadnienia wydajnościowe złożonych filtrów powodują konieczność szukania nowych rozwiązań. Opracowywanie i weryfikacja filtrów z wykorzystaniem systemu resztowego czy przetwarzanie w systemach wieloagentowych nie ma aktualnie wsparcia w gotowych narzędziach. Planuje się stworzenie modułów programowych do weryfikacji koncepcji opartych o powyższe techniki, w języku C.
-
Project Management in Enterprises: IT Implementation Based on Fuzzy Models
PublikacjaW pracy analizuje się problem zastosowania metod zarządzania wiedzą oraz metod sztucznej inteligencji w zarządzaniu budżetem i planem realizacji projektów informatycznych. W pierwszej części wskazuje się na problemy związane z zarządzaniem projektami wytwarzania oprogramowania w zakresie planowania i bieżącego sterowania zarówno procesem wytwórczym, jak i zespołem programistów. Po omówieniu pożądanych zmian w metodologii zarządzania,...
-
Pączkowanie - metoda rozwoju interoperacyjnych komponentów dla systemów rozproszonych = Budding – the software development method of interoperable components for distributed systems
PublikacjaPrzedstawiono 2 współczesne metody wytwarzania oprogramowania: iteracyjno-przyrostową oraz techniki zwinne, ich zalety i wady w kontekście budowy interoperacyjnych platform i środowisk rozproszonych. Zaprezentowano metodę rozwoju oprogramowania przez pączkowanie, jej założenia, zalety i wady. Przedstawiono technologie, na bazie których działa metodologia wytwarzania oprogramowania przez pączkowanie: Software Product Line, Enterprise...
-
Multitask Noisy Speech Enhancement System
PublikacjaW referacie opisano Wielozadaniowy System Poprawy Jakości Sygnału Mowy. Jest to wyspecjalizowany pakiet oprogramowania przeznaczony do rejestrowania sygnału mowy i do poprawy jego jakości oraz zrozumiałości mowy, przy użyciu zaawansowanych procedur cyfrowego przetwarzania sygnału. Pakiet oprogramowania składa się z programów: Rejestrator, Przeglądarka oraz Rekonstruktor. Oprogramowanie to może być użyte w przypadkach, gdy zrozumiałość...
-
REALIZACJA NADAJNIKA I ODBIORNIKA OFDM W TECHNOLOGII RADIA PROGRAMOWALNEGO
PublikacjaMetoda wielodostępu OFDM, jest stosowana obecnie w wielu nowoczesnych cywilnych i wojskowych standardach łączności radiowej. Technologia radia programowalnego (ang. Software Defined Radio) umożliwia realizacje urządzeń pracujących z tą metodą wielodostępu. W referacie zaprezentowano przykłady dwóch środowisk oprogramowania służących do realizacji oprogramowania w technologii SDR. Przedstawiono również przykłady platform sprzętowych...
-
Programowanie strukturalne
PublikacjaCelem niniejszej książki jest przedstawienie wybranych metod programowania strukturalnego, tzn. takich, które prowadzą do poprawnej struktury, poprawy jakości oprogramowania oraz zwiększenia efektywności programistów. Może ona służyć jako podręcznik akademicki wykorzystywany na podstawowych kursach inżynierii oprogramowania. Zainteresuje również wszystkich tych, którzy zajmują się programowaniem amatorskim i chcą poszerzyć swoją...
-
Struktura szkieł krzemianowych z atomami Pb i Bi w świetle badań widm ab-sorpcyjnych promieniowania rentgenowskiego i symulacji dynamiczno-moleku- larnych.**2002, 156 s. 96 rys. 21 tab. bibliogr. 163 poz. maszyn. Rozprawa doktorska /20.12.2002/ WFTiMS PG. Promotor: dr hab.inż. L. Murawski, prof. ndzw. PG.
PublikacjaCelem niniejszej rozprawy było zbadanie blisko- i średniozasięgowego upo-rządkowania wokół atomów Pb, Bi w szkłach niemodyfikowanych i modyfikowanychpoprzez wygrzewanie w atmosferze wodoru, zbadanie wpływu warunków redukcji iskładu szkła na proces aglomeracji atomów Pb i Bi, określenie podatności ba-danych szkieł na modyfikącję strukturalną oraz weryfikacja oddziaływań mię-dzyatomowych używanych w symulacjach MD.
-
Ocena narzędzi wspomagających zarządzanie przedsięwzięciami informatycznymi na przykładzie IBM Rational Method Composer
PublikacjaRozdział przedstawia zalety i wady oprogramowania wspomagającego zarządzanie przedsięwzięciami informatycznymi. Skupia się na ocenie technologii informatycznej spopularyzowanej na rynku przez firmę IBM jako Rational Method Composer. W rozdziale zostały zaproponowane kryteria oceny z punktu widzenia menedżera zarządzającego przedsięwzięciem oraz oceny w zależności od stopnia spełnienia tego kryterium. Ponadto przeprowadzona została...
-
Interpretacja badań CPT w komorze kalibracyjnej
PublikacjaAnaliza wyników sondowań statycznych przeprowadzonych w komorze kalibracyjnej w Laboratorium Katedry Geotechniki Politechniki Gdańskiej. Uwzględnienie wpływu warunków brzegowych wokół masywu gruntowego, składowej pionowej i poziomej stanu naprężenia, oraz stopnia zagęszczenia piasku modelowego. Analiza wpływu stosunku średnicy komory do średnicy modelu na opór na stożku sondy CPT. Weryfikacja istniejących korelacji dla piasków...
-
POZIOM EFEKTYWNOŚCI SEKTORÓW BANKOWYCH W WYBRANYCH KRAJACH EUROPY PRZY ZASTOSOWANIU ANALIZY WSKAŹNIKOWEJ DANYCH ZE SPRAWOZDAŃ FINANSOWYCH
PublikacjaCelem artykuł jest przeprowadzenie wstępnej analizy porównawczej poziomu efektywności sektorów bankowych w wybranych krajach Bałkanów Zachodnich oraz b. republik ZSRR, a także weryfikacja hipotezy, iż w krajach będących dopiero na etapie transformacji sektorów bankowych wpływ kryzysu finansowego na poziom efektywności sektora jako całość był bardziej widoczny niż w krajach, gdzie transformacje tego sektor jest już zakończona.
-
Nadzór naukowy związany z realizacja zadania inwestycyjnego pn. ,,Wiadukt Biskupia Górka w Gdańsku". Audyt projektu zamiennego
PublikacjaCelem opracowania jest weryfikacja dokumentacji projektowej zadania inwestycyjnego pn. ,,Wiadukt Biskupia Górka w Gdańsku". Zakres opracowania obejmuje: • ogólny przegląd dokumentacji poszczególnych obiektów inżynierskich; • analizę statyczno–wytrzymałościową estakady dojazdowej w jezdni prawej; • analizę statyczno – wytrzymałościową oraz globalnej stateczności wiaduktu łukowego nad torami kolejowymi; • analizę geotechniczną przyjętych...
-
Nadzór naukowy związany z realizacja zadania inwestycyjnego pn. ,, Budowa linii tramwajowej wraz z infrastrukturą towarzyszącą w ulicy Nowej Bulońskiej Północnej w Gdańsku w ramach Gdańskiego Projektu Komunikacji Miejskiej - etap IVA". Audyt otwarcia
PublikacjaCelem opracowania jest weryfikacja projektu wykonawczego obiektów mostowych zaprojektowanych w ramach zadania inwestycyjnego pn. ,,Budowa linii tramwajowej wraz z infrastrukturą towarzyszącą w ulicy Nowej Bulońskiej Północnej w Gdańsku w ramach Gdańskiego Projektu Komunikacji Miejskiej - etap IVA" (audyt otwarcia). Zakres opracowania obejmuje: • ogólny przegląd dokumentacji, • analizę statyczno–wytrzymałościową mostu, • analizę...
-
Droga ekspresowa S7 Koszwały - Kazimierzowo Ocena rozwiązań konstrukcyjnych elementów posadowienia obiektów inżynierskich w ciągu drogi ekspresowej S7 na odcinku Koszwały – Kazimierzowo.
PublikacjaPrzedmiotem opracowania jest ocena rozwiązań posadowienia obiektów inżynierskich w ciągu drogi ekspresowej S7 na odcinku Koszwały – Kazimierzowo, przedstawionych przez Transprojekt Gdański Sp. z o.o., ul. Partyzantów 72A, 80-254 Gdańsk. Weryfikacja obejmuje: 1. MA-01 – Most autostradowy 2. MA-19 – Most autostradowy 3. WA-16 – Wiadukt 4. WD-18 – Wiadukt 5. WD-24 – Wiadukt
-
Detecting defects in object-oriented diagrams using UML-HAZOP
PublikacjaArtykuł dotyczy metody wykrywania defektów w dokumentacji oprogramowania wykonywanego z zastosowaniem notacji UML. Metoda ta, nazwana UML-HAZOP, jest adaptacją metody HAZOP szeroko stosowanej w stosunku do systemów związanych z bezpieczeństwem. Metoda ta jest ukierunkowana na wykrywanie anomalii w dokumentacji projektowej na drodze analizy ''przepływów'' pomiędzy komponentami badanego systemu. Adaptacja metody do badania oprogramowania...
-
Analysis of the impact of aspect-oriented programming on source code quality
PublikacjaCelem rozprawy jest ocena wpływu paradygmatu aspektowego na: modularność, możliwość dalszego rozwoju oraz ponowne użycie oprogramowania. Jako punkt odniesienia do oceny paradygmatu aspektowego wybrano paradygmat obiektowy. W ramach pracy przeprowadzono studium przypadków, w którym zbadano implementacje obiektowe oraz aspektowe 11 rzeczywistych systemów i 23 wzorców projektowych. Ponadto zrealizowano kontrolowany eksperyment, w...
-
Knowledge management embedded in software engineering processes
PublikacjaW pracy omówiono systemy i narzędzia wspomagające wykrywanie wiedzy ukrytej w procesach związanych z wytwarzaniem skomplikowanych systemów oprogramowania
-
Institutionalization of knowledge sharing in a software development organization
PublikacjaZaproponowano podejście modelowe do problemu wymiany wiedzy. Omówiono implementację modelu na przykładzie instytucji zajmującej się produkcja oprogramowania komputerowego.
-
Where science meets business...
PublikacjaArtykuł opisujący integrację środowisk naukowo-biznesowych za pośrednictwem Uniwersyteckiego Centrum Kompetencyjnego Technologii Oprogramowania na Wydziale Zarządzania i Ekonomii.
-
Stanowisko do weryfikacji nowej metody pomiaru rezystancji pętli zwarciowej
PublikacjaW artykule przedstawiono budowę i zasadę działania stanowiska laboratoryjnego, które umożliwia weryfikację eksperymentalną nowej metody pomiaru rezystancji pętli zwarciowej. Metoda ta charakteryzuje się tym, że nie następuje wyzwalanie wyłączników różnicowoprądowych, mimo wykorzystania stosunkowo dużej wartości prądu pomiarowego. Weryfikacja metody na stanowisku laboratoryjnym jest podstawą do skonstruowania prototypowego miernika...
-
Oprogramowanie mobilnego komunikatora multimedialnego
PublikacjaArtykuł przedstawia efekty prac nad stworzeniem oprogramowania dla mobilnego komunikatora multimedialnego. Projektowane urządzenie ma umożliwić użytkownikom swobodną komunikację (tekstową, głosową, wideo) oraz możliwość lokalizowania innych użytkowników dzięki działającej w tle wymianie informacji o pozycji. W referacie zaprezentowano architekturę systemu oraz oprogramowania stworzonego w środowisku Qt realizującego założoną funkcjonalność....
-
Techniki obsługi wyjątków w systemach informatycznych.
PublikacjaW pracy przedstawiono podstawowe techniki obsługi wyjątków oraz mechanizmy wspierające taką obsługę występujące w różnych platformach oprogramowania sekwencyjnego i rozproszonego.
-
Metoda BP jako próba sformalizowania informatycznego projektu badawczego.
PublikacjaArtykuł prezentuje nowe iteracyjne podejście organizacji procesu do wytwarzania oprogramowania. Przedyskutowana metoda kładzie największy nacisk na zarządzanie innowacjami w projekcie informatycznym.
-
Programowanie Obiektowe z Użyciem Adnotacji Semantycznych
PublikacjaW tym artykule przedstawiono jak przy udziale standardowych mechanizmów nowoczesnych języków obiektowych, osiągnięć z zakresu formalnej reprezentacji wiedzy oraz lingwistyki komputerowej wytworzyć zbiór narzędzi wzbogacających warsztat programisty o narzędzia semantyczne. Przedstawione tu Programowanie Obiektowe z Użyciem Adnotacji Semantycznych jest częścią rozwijanej przez autora referatu metodologii wytwarzania oprogramowania...
-
O mżliwościach analizy mostów stalowych
PublikacjaPrzedstawiono współczesne praktyczne możliwości analizy mostów stalowych z wykorzystaniem oprogramowania komputerowego> Podano przykłady analiz wykonanych na potrzeby prac badawczych, ekspertyz i projektów
-
Badania tensometryczne płaszcza zbiornika z imperfekcjami kształtu.
PublikacjaW referacie przedstawiono wykorzystanie tensometrycznej metody pomiaru odkształceń do oceny rozkładu naprężeń powierzchniowych w konstrukcji rzeczywistego obiektu. Obiektem poddanym badaniom był stalowy zbiornik magazynowy, o osi pionowej, z dachem pływającym, o pojemności V=12000 m3. Badany zbiornik charakteryzował się znacznymi imperfekcjami geometrycznymi walcowej powłoki tworzącej płaszcza zbiornika. Celem realizacji badań...
-
Problematyka osiadań fundamentów palowych w skomplikowanych warunkach gruntowych i złożonych stanach obciążenia
PublikacjaProblem osiadania fundamentów palowych w oparciu o analizę rzeczywistych wyników pomiarów i badań odcinka Trasy Sucharskiego w Gdańsku, wiaduktu WD-7. Znaczenie rozwiązań projektowych oraz próbnych obciążeń statycznych i dynamicznych w ocenie przyjętych rozwiązań technologicznych. Wyniki badań statycznych i dynamicznych osiadania pala pojedynczego. Pomiary osiadania grupy pali w wyniku monitoringu geodezyjnego. Rzeczywista ocena...
-
Planowanie testów wspomagane analizą ryzyka
PublikacjaTestowanie wciąż pozostaje jednym z głównych sposobów zapewniania jakości oprogramowania. Testowanie pochłania znaczne zasoby, które w praktyce mogą się okazać zbyt kosztowne. Należy więc testy planować i to w taki sposób, by skontrolować efekty wynikające z testowania oraz nakłady ponoszone na testowanie dążąc do maksymalizacji współczynnika efektów-do-nakładów. Jedną z kluczowych decyzji w tym zakresie jest decyzja o wyborze...
-
AAM toolkit: a system for visual object appearance modeling
PublikacjaAktywne modele wyglądu (AAM) mogą być traktowane jako zaawansowana metoda analizy informacji multimedialnych, pozwalająca na lokalizowanie i rozpoznawanie obiektów w obrazach statycznych i sekwencjach wideo. Pomimo tego że ukazało się wiele publikacji dotyczących AAM, przejście od koncepcji teoretycznych do działającej implementacji stanowi nadal duże wyzwanie. W pracy przedstawiono przygotowany przez autorów pakiet oprogramowania...
-
Badania efektów mechanicznej owalizacji ziaren elektrokorundu szlachetnego w wygładzarce bębnowej.
PublikacjaPrzedstawiono skomputeryzowaną analizę kształtu i wielkości ziaren ściernych przy użyciu specjalistycznego oprogramowania MultiScan v 6.08. Badano efekty mechanicznej owalizaji ziaren elektrokorundu w wygładzarce bębnowej.
-
Środowiska wspierające (narzędzia CASE)
PublikacjaPraca omawia współczesne środowiska i narzędzia CASE, wspierające procesywytwórcze. Część omówienia poświęcona jest narzędziom wspomagającym tworze-nie oprogramowania równoległego i wspomagającym zrównoleglanie programów se-kwencyjnych.
-
A Quality Model for UML tools
PublikacjaJakość narzędzi UML wpływa na efektywność wykonywania zadań związanych z modelowaniem systemów w procesie wytwarzania oprogramowania. Celem badań prezentowanych w tym referacie jest wyodrębnienie kryteriów jakości narzędzi UML. Omówiono rolę narzędzi UML w projekcie informatycznym, a następnie zaprezentowano szereg kryteriów jakości narzędzi UML wraz z aspektami oceny oraz opisem ankiety, która służy do oceny narzędzi względem...
-
R/EXAMS JAKO WSPARCIE W WERYFIKACJI WIEDZY STUDENTÓW
PublikacjaPrzydatność zasobów e-learningowych, takich jak testy i quizy online, można dostrzec w wielu sytuacjach: duża liczba studentów uczęszczających na dane zajęcia, utrwalanie, podsumowanie i weryfikacja wiedzy czy nauczanie na odległość. Celem artykułu jest zaprezentowanie pakietu R/exams dostępnego w programie statystycznym R jako wsparcia do tworzenia losowych i dynamicznych pytań oraz ich wykorzystania na platformie Moodle. Omówione...