Wyszukiwarka
Filtry
wszystkich: 1476
-
Katalog
- Publikacje 858 wyników po odfiltrowaniu
- Osoby 80 wyników po odfiltrowaniu
- Wynalazki 4 wyników po odfiltrowaniu
- Projekty 3 wyników po odfiltrowaniu
- Laboratoria 8 wyników po odfiltrowaniu
- Zespoły Badawcze 8 wyników po odfiltrowaniu
- Aparatura Badawcza 10 wyników po odfiltrowaniu
- Kursy Online 494 wyników po odfiltrowaniu
- Wydarzenia 10 wyników po odfiltrowaniu
- Oferty 1 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: PROGRAMOWANIE GENETYCZNE
-
OF-FEMEA: an approach to safety analysis of object oriented software intensive systems.
PublikacjaArtykuł przedstawia rozszerzenie metody FMEA znanej z jej zastosowań w stosunku do systemów związanych z bezpieczeństwem, w sposób umożliwiający jej stosowanie do systemów zawierających oprogramowanie i budowanych zgodnie z podejściem obiektowym. Punktem wyjścia dla metody są modele współpracy wyrażone w notacji UML. Komponenty systemu są modelowane z zastosowaniem notacji formalnej CSP. Metoda wspomaga systematyczną identyfikacje...
-
Selected problems concerning strength of a floating dock with roof
PublikacjaW pracy przedstawiono modele i wyniki analizy wytrzymałości konstrukcji zadaszonego doku pływającego. Obliczono, że ścianki wiązarów zadaszenia, aby mogły przenieść obciążenia środowiskowe, muszą mieć grubość 24 mm. Ciężkie przesuwne segmenty zadaszenia generują w dennikach pontonu doku naprężenia sięgające 25% wartości dopuszczalnych. Wytężenie konstrukcji pontonu doku i podbudowy, obciążonych ciężarem zadaszenia i dokowanego...
-
Problemy jakości w metodach Agile
PublikacjaZwinne metody wytwarzania osiągnęły w zawrotnym tempie niebywały sukces. Według różnych doniesień od 50 do 70% firm IT stosuje metody zwinne na stałe lub okazjonalnie . Jednak znaczna część firm stosuje wybiórczo praktyki zalecane przez Agile . Jakie to praktyki? Jakie problemy występują przy ich stosowaniu i jak firmy radzą sobie z tymi problemami? Jak wpływają na jakość wytwarzanego oprogramowania? Jakie są warunki krytyczne...
-
Model formalny dla problemu lokalizacji błędów w kodzie programu
PublikacjaIstnieje szereg sposobów badania poprawności programów komputerowych. W niniejszym referacie podejmujemy problem automatycznego testowania oprogramowania przy założeniu, iż dany jest zbiór testów (asercji) dla poszczególnych fragmentów kodu. Dla uproszczenia analizy zakładamy, że badany fragment kodu zawiera dokładnie jeden błąd, co nie zmniejsza ogólności rozważań. W artykule analizujemy praktyczne aspekty powyższego problemu...
-
Poll Reader - the working prototype of optical mark recognition software
PublikacjaAutomatyczne rozpoznawanie zaznaczeń wydaje się stosunkowo prostym zadaniem z dziedziny przetwarzania dokumentów, a komercyjne systemy OMR są dostępne na rynku już od dłuższego czasu. Zdecydowaliśmy się jednak na stworzenie prostego darmowego oprogramowania, które mogłoby być wykorzystywane przez uczelnie zobowiązane do przeprowadzania ankiet wśród studentów. W rozdziale opisano konstrukcję programu oraz najważniejsze algorytmy...
-
Szkoła systemu Linux
PublikacjaKsiążka ''Szkoła systemu Linux'' wprowadza czytelnika w świat oprogramowania typu open source. Przedstawione zostały liczne programy, które umożliwiają między innymi zarządzanie danymi, pisanie i drukowanie dokumentów czy korzystanie z sieci. Za pomocą ksiązki można się nauczyć używania środowiska graficznego oraz wiersza poleceń. Opisano również działanie systemów operacyjnych, w tym Linux. Na płycie dołączonej do książki znajduje...
-
Verification of the fit to user profiles for UML tools
PublikacjaDopasowanie do profilu użytkownika ma wpływ na efektywność pracy użytkownika. W referacie postawiono pytanie, czy narzędzia UML rzeczywiście wspomagają pracę konkretnych ról w procesie wytwarzania oprogramowania. W ramach prac wykonano następujace zadania: opisano profile użytkowników narzędzi UML; wyodrębniono cechy narzędzi UML, które mają wpływ na dopasowanie do profili użytkowników; zaprojektowano model pokazujący związek pomiędzy...
-
Quality model for UML tools in application to UML tool selection and market analysis
PublikacjaJęzyki modelowania i wspierające je narzędzia odgrywają istotną rolę w procesie wytwarzania i utrzymania oprogramowania. Wraz ze wzrostem liczby narzędzi UML na rynku pojawia się potrzeba ich porównania i oceny. Artykuł prezentuje wielowymiarowy model oceny narzędzi UML, opisuje ankietę przydatną do oceny narzędzi UML oraz przedstawia system oceny narzędzi UML wraz ze studium przypadku jego zastosowania do poszukiwania narzędzi...
-
System sterowania sesją RTP
PublikacjaW artykule przedstawiono koncepcję systemu sterowania sesją protokołu RTP oraz praktyczną realizację tego systemu w oparciu o dostępne aplikacje należące do kategorii wolnego oprogramowania. Zaproponowana architektura umożliwia Operatorowi realizowanie następujących funkcji systemu: nagrywanie, podsłuch oraz generowanie zapowiedzi. System przeszedł pozytywnie testy laboratoryjne i możliwe jest jego praktyczne wykorzystanie. W artykule...
-
Monitoring objects over networks
PublikacjaW pracy rozważa się uniwersalny pomysł na monitorowanie obiektów przemysłowych, firmowych i prywatnych, z inteligentnymi budynkami włšcznie. Rozmaite zadania diagnostyczne, sterownicze i zarzšdcze łatwo mogš być zintegrowane w taki projekt. Współczesne narzędzia technologii informacyjnych (IT) mogš być spożytkowane w celu stworzenia kompletnych i efektywnych systemów realizujšcych takie zadania. Oparłszy się na wysokich technologiach...
-
Zdalne monitorowanie obiektów wyposażonych w instalację KNX
PublikacjaW artykule przedstawiono ideę i możliwości techniczne zdalnego monitorowania elementów instalacji elektrycznych wykonanych w standardzie KNX. Pokazano przykłady istniejących rozwiązań komercyjnych oraz ich ograniczenia. Zaprezentowano prototyp aplikacji opracowanej dla systemu Windows w języku C#, wykorzystującej bibliotekę Falcon do komunikacji z magistralą KNX. Umożliwia ona nadzór za pośrednictwem przeglądarki internetowej nad...
-
TECHNOLOGIA RADIA PROGRAMOWALNEGO W ZASTOSOWANIACH WOJSKOWYCH
PublikacjaTechnologia radia programowalnego (Software Defined Radio) jest nowoczesnym rozwiązaniem umożliwiającym realizację urządzeń pracujących w różnego rodzaju systemach łączności radiowej, zarówno cywilnych, jak i wojskowych. W artykule zaprezentowano zagadnienia dotyczące koncepcji realizacji radia programowalnego. Opisano w sposób funkcjonalny platformę sprzętową i programową takiego rozwiązania. Zaprezentowano budowę przykładowej...
-
Implementacja uogólnionego algorytmu szczególnego próbkowania dla wyznaczania harmonicznej podstawowej w środowisku LabVIEW.
PublikacjaPraca dotyczy opisu oraz implementacji uogólnionego algorytmu szczególnego próbkowania dla wyznaczania amplitudy harmonicznej podstawowej w środowisku LabVIEW. Algorytm szczególnego próbkowania umożliwia wyodrębnienie informacji o wartości amplitudy harmonicznej podstawowej ze spróbkowanego, odkształconego sygnału przy zastosowaniu stosunkowo prostych środków technicznych. Aplikacja może mieć zastosowanie w urządzeniach pomiarowych...
-
A field programmable analog array for CMOS continuous-time OTA-C filter applications
PublikacjaW artykule opisano programowalny wzmacniacz transkonduktancyjny oraz konfigurowalny blok analogowy CAB składający się ze wzmacniacza transkonduktancyjnego, kluczy oraz programowalnego kondensatora. Z bloków CAB można zbudować uniwersalne, programowalne filtry. Wzmacniacz transkondukancyjny został przesymulowany oraz wykonany w technologii CMOS. Wyniki pomiarów pokazują, że transkonduktancja wzmacniacza może być przestrajana ponad...
-
Isolator using a ferrite-coupled-lines gyrator
PublikacjaPrzedstawiono koncepcję nowego typu gyratora wykonywanego poprzez zwarcie lub rozwarcie ferrytowych linii sprzężonych (FCL). Redukując w taki sposób macierz rozproszenia (S) sekcji FCL określono macierz S gyratora oraz procedurę jego projektowania. Poprzez odpowiednie wprowadzenie warstwy rezystywnej do układu gyratora zaprojektowano nowy układ isolatora typu FCL oraz podano metodykę jego projektowania. Koncepcje proponowanych...
-
Technologie agentowe w elastycznej produkcji.
PublikacjaNiniejszy artykuł pokazuje możliwości stosowania technologii agentowych w elastycznej produkcji. Na wstępie sformułowano właściwości oprogramowania agentowego wskazując na powiązania dynamicznych metod sztucznej inteligencji z elastycznym wytwarzaniem. Z kolei pokazano przykłady zastosowań systemów rozproszonego rozwiązywania zadań w różnych dziedzinach. Obszerniejszej ocenie poddano przykład praktycznego wdrożenia przemysłowego...
-
The influence of the filler on the magnetic field distribution in ferromagnetic objects.
PublikacjaDuże obiekty ferromagnetyczne umieszczone w zewnętrznym polu magnetycznym (np. ziemskim polu magnetycznym) ulegają namagnesowaniu. W pewnych przypadkach konieczna jest demagnetyzacja obiektu ferromagnetycznego. Demagnetyzacja polega na umieszczeniu obiektu w wytworzonym w układzie zewnętrznym polu magnetycznym o określonych właściwościach. Jeżeli obiekt ferromagnetyczny posiada duże rozmiary, wówczas jego demagnetyzacja jest problemem...
-
Demagnetyzacja własnego pola obiektu ferromagmetycznego.
PublikacjaObiekt ferromagnetyczny umieszczony w polu magnetycznym Ziemi ulega namagnesowaniu. W wielu sytuacjach technicznych konieczne jest zlikwidowanie tego namagnesowania nazywane demagnetyzacją. Demagnetyzacja polega na umieszczeniu obiektu w wytworzonym w układzie zewnętrznym polu magnetycznym o określonych właściwościach. Jeżeli obiekt ferromagnetyczny posiada duże rozmiary, wówczas jego demagnetyzacja jest problemem trudnym technicznie....
-
Transmisja danych pomiarowych przez sieć Internet z wykorzystaniem środowiska LabVIEW
PublikacjaPrzedstawiono sposób transmisji danych pomiarowych za pomocą sieci Internet, przy wykorzystaniu oprogramowania LabView firmy National Instruments. Biblioteki do programu LabView stanowiły podstawę przygotowania przyrządów wirtualnych realizujących transmisję danych przez Internet. Transmisja dotyczy przesyłania danych między przygotowanym systemem kontrolno-pomiarowym na bazie mikrokontrolera dołączonego do komputera IBM PC za...
-
Computer aided funcional safety assessment
PublikacjaReferat porusza wybrane zagadnienia związane z oceną bezpieczeństwa funkcjonalnego w nawiązaniu do normy międzynarodowej IEC 61508. Podkreśla się znaczenie modelowania probabilistycznego systemów elektrycznych, elektronicznych i programowalnych elektronicznych (E/E/PE). Opisuje się wyznaczanie poziomu nienaruszalności bezpieczeństwa (SIL). W następnym kroku analizy weryfikuje się poziom SIL w procesie modelowania probabilistycznego...