Filters
total: 14237
filtered: 10117
-
Catalog
- Publications 10117 available results
- Journals 388 available results
- Conferences 4 available results
- Publishing Houses 4 available results
- People 498 available results
- Inventions 53 available results
- Projects 205 available results
- Laboratories 10 available results
- Research Teams 21 available results
- Research Equipment 3 available results
- e-Learning Courses 2293 available results
- Events 212 available results
- Open Research Data 429 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: INFRASTRUKTURA DLA PIESZYCH
-
Rozległe sieci badawcze dla testowania rozwiązań nowych generacji internetu
PublicationDokonano przeglądu rozległych infrastruktur badawczych tworzonych w ramach projektów naukowo-badawczych na potrzeby testowania i walidacji proponowanych rozwiązań dla nowych generacji Internetu. W szczególności przedstawiono zapotrzebowanie środowisk badawczych dla korzystania z sieci testowych oraz pokrótce omówiono najważniejsze projekty infrastrukturalne realizowane w ramach 7. Programu Ramowego Unii Europejskiej i ich kontynuację w...
-
ANODOWE WARSTWY KATALITYCZNE DLA TLENKOWYCH OGNIW PALIWOWYCH ZASILANYCH BIOGAZEM
PublicationW pracy wytworzono materiały (LiLaNi-Al2O3) oraz (Sm0.2Ce0.8O1.9), jako potencjalne katalizatory reakcji reformingu biogazu w tlenkowych ogniwach paliwowych. Syntezę przeprowadzono metodą Pechini’ego. Zbadano skład chemiczny oraz strukturę uzyskanych związków. Ponadto ogniwo sprawdzono podczas pracy z biogazem pod kątem odporności na osadzenie węgla, a także wpływu na długość pracy ogniwa.
-
Nośność graniczna oraz interpretacje metod bezpośrednich dla pali przemieszczeniowych
PublicationW ocenie możliwości przenoszenia przez pale obciążenia od projektowanych obiektów należy wykorzystywać pełną krzywą zależności obciążenie – osiadanie pala aż do wartości stanu granicznego. Problemem jest wybór miarodajnej metody określenie pełnej krzywej osiadania pala. W pracy przedstawiono różne podejścia obliczeniowe i interpretacje próbnych obciążeń statycznych oraz bezpośrednie metody analityczne oceny pracy pala w gruncie....
-
Potwierdzanie efektów uczenia się jakonowe zadanie dla uczelni wyższych
PublicationPraca nawiązuje do przeprowadzonej w 2014 roku nowelizacji ustawy z dnia 27 lipca 2005 r. Prawo o szkolnictwie wyższym. Wprowadzono w niej nowy obowiązek dla uczelni wyższych – potwierdzanie efektów uczenia się nabytych poza systemem studiów. Omowiono zasady kształcenia w kontekście Lifelong Learning oraz walidacji efektów uczenia się. Przedstawiono podstawy wdrożeniowe potwierdzania efektów uczenia się na Politechnice Gdańskiej.
-
Algorytmy obróbki danych dla diagnostyki ran pooperacyjnych w kardiochirurgii
PublicationDo oceny procesu gojenia ran pooperacyjnych wykorzystana została koncepcja aktywnej termografii dynamicznej (ATD) z pobudzeniem w postaci nawiewu mieszaniny powietrza i rozprężonego CO2. Specyficzne dla aplikacji oceny gojenia ran jest przetwarzanie uzyskanych sekwencji termogramów polegające na analizie rozkładów parametrów modelu dwueksponencjalnego wzdłuż linii cięcia w kolejnych dwóch badaniach - w trzeciej i szóstej dobie...
-
Właściwości redukowanych szkieł Ge-Sb-O dla urządzeń termoelektrycznych
PublicationPraca zawiera wyniki badań strukturalnych oraz właściwości termoelektrycznych tlenkowego szkła antymonowo-germanianowego, poddanego redukcji w atmosferze wodoru, jako potencjalnego materiału do zastosowań w urządzeniach termoelektrycznych. Otrzymane rezultaty analizy dyfrakcyjnej oraz analizy mikroskopowej dały informacje o strukturze i składzie próbki. Potwierdziły one fakt powstawania warstwy powierzchniowej zredukowanych granul...
-
SURVEY SIMULATOR – PLATFORMA VR DLA EDUKACJI W PRZEMYŚLE MORSKIM
PublicationArtykuł przedstawia założenia, architekturę i główne funkcje programu DNVGL Survey Simulator. Program, bazujący na wizualizacji 3D okrętów i platform wiertniczych, został stworzony w celu wspomagania profesjonalnego szkolenia załóg pływających. Realizuje on model kształcenia w znacznej mierze odmienny od akademickiego, skoncentrowany przede wszystkim na problemach praktycznych i procedurach obowiązujących w przemyśle. Przedstawione...
-
MOOCs jako otwarte zasoby edukacyjne wspierające edukację dla Przedsiębiorczości
Publication -
Bezzałogowy śmigłowiec ILX-27 dla potrzeb Marynarki Wojennej RP
PublicationILX-27 to najnowszy opracowany w Polsce bezzałogowy śmigłowiec o maksymalnej masie startowej 1100 kg, którego szeroki zakres wykorzystania może być zgodny z Wymaganiami Operacyjnymi Marynarki Wojennej RP, a także może spełnić wymagania zawarte w Future Unmanned Aerial Systems opracowane dla potrzeb Europejskiej Agencji Obrony [11]. Podstawowy projekt zrealizowany został w ramach konsorcjum, w skład którego weszły firmy: Instytut...
-
Priorytety dla transportu zbiorowego z wykorzystaniem systemu sterowania ruchem
PublicationPriorytety w systemie sterowania są jednym ze sposobów uprzywilejowania pojazdów transportu zbiorowego, mającego na celu zwiększenie jego atrakcyjności i sprawności. W artykule przedstawiono koncepcję wprowadzenia takiego rozwiązania w ramach systemu zarządzania ruchem TRISTAR w Gdyni. Opisano doświadczenia wybranych miast europejskich w stosowaniu priorytetów. Dokonano analizy jakości funkcjonowania transportu zbiorowego głównych...
-
Analiza dostępności kampusu Politechniki Gdańskiej dla osób z niepełnosprawnością
PublicationOpis dostępności obiektów kampusu Politechniki Gdańskiej z uwzględnieniem potrzeb osób z niepełnosprawnością. Ocenie poddano 40 obiektów naukowo-dydaktycznych, laboratoria i domy studenckie, których właścicielem jest Politechnika Gdańska. Ekspertyza zawiera dokumentację zdjęciową zauważonych barier przestrzennych, które utrudniają lub uniemożliwiają samodzielne poruszanie się po terenie kampusu PG osobom z ograniczeniami mobilności...
-
Propozycja silnika fizyki bryły sztywnej dla trójwymiarowej gry komputerowej
PublicationReferat prezentuje autorski silnik dynamiki brył sztywnych działający w czasie rzeczywistym i przeznaczony do symulacji fizycznych na potrzeby gier komputerowych. Ze względu na przeznaczenie silnika przyjęto, że wiarygodność efektów symulacji będzie ważniejsza niż dokładne odwzorowanie zjawisk fizycznych. Pozwoliło to na zastosowanie uproszczonego modelu fizycznego i uzyskanie dzięki temu efektywnego silnika, radzącego sobie w...
-
Ocenianie ryzyka zawodowego – Przydatna praktyka, czy sztuka dla sztuki?
PublicationWybór właściwej odpowiedzi na pytanie, czy ocenianie ryzyka zawodowego jest przydatne, nie jest jednoznaczny. Analiza taka jest pożyteczna w praktyce przemysłowej, gdyż umożliwia skuteczne kształtowanie bezpiecznych warunków pracy. Jednak obserwuje się też przypadki bezkrytycznego jej stosowania. W artykule podano podstawowe informacje pozwalające przybliżyć się do odpowiedzi na pytanie o sens i celowość oceniania ryzyka zawodowego....
-
MODEL CHŁODZENIA ORGANIZMU NOWORODKA DLA UZYSKANIA STANU HIPOTERMII LAGODNEJ
PublicationArtykuł jest kontynuacją cyklu publikacji, które ukazały się w „TCHK” w 2009 roku, a dotyczyły selektywnego chłodzenia mózgu noworodka po niedotlenieniu okołoporodowym. W tym materiale przedstawiono wykonany w programie Matlab – Simulink model symulujący zmiany, jakie zachodzą w organizmie noworodka podczas wprowadzania go w stan hipotermii łagodnej. Model powyższy pomimo dużych uproszczeń odzwierciedla zmiany fizjologiczne w zakresie...
-
Strategia wektorowej modulacji szerokości impulsów dla wielopoziomowych falowników kaskadowych
PublicationW artykule zaproponowano strategię sterowania falownikami kaskadowymi. Przedstawiono algorytm wektorowej modulacji szerokości impulsów, który może być zastosowany w falownikach o dowolnej liczbie poziomów.. Zaproponowane rozwiązanie umożliwia sterowanie rozkładem napięć na kondensatorach obwodów pośredniczących. Przedstawiono wyniki badań symulacyjnych nad zaproponowaną strategią sterowania.
-
Klawiatura ekranowa dla osób posługujących się jedną kończyną górną
Publicationrtykuł prezentuje układ symboli na klawiaturze wirtualnej dedykowanej osobom niepełnosprawnym posługującym się jedną kończyną górną. Rozmieszczenie znaków zostało ustalone na podstawie przeprowadzonej analizy częstotliwości występowania poszczególnych liter w języku polskim. Uwzględniono również najczęściej występujące pary liter, a odpowiadające im klawisze ułożono blisko siebie. Zaproponowany kształt klawiatury jest wynikiem...
-
xEmotion – obliczeniowy model emocji dedykowany dla inteligentnych systemów decyzyjnych
PublicationArtykuł prezentuje cybernetyczne podejście do zagadnienia modelowania ludzkich emocji, oparte na psychologicznych teoriach (ocennej i somatycznej). Opracowany model przeznaczony jest do integracji z Inteligentnym Systemem Decyzyjnym – IDS. Może być on używany jako silnik aplikacji lub jako system sterowania niezależnego urządzenia, np. robota autonomicznego.
-
Analiza bezpieczeństwa dla instalacji elektrycznej zasilającej Gdyńskie Centrum Innowacji
PublicationW ekspertyzie przedstawiono analizę stanu technicznego instalacji elektrycznych budynków Gdyńskiego Centrum Innowacji.
-
Demonstrator testera wbudowanego BIST dla układów w pełni różnicowych
PublicationPrzedstawiono demonstrator testera wbudowanego, przeznaczony do pracy na stanowisku dydaktycznym w laboratorium z przedmiotu Zaawansowane Metody Pomiarowe i Diagnostyczne. Na stanowisku studenci zapoznają się z technologią BIST (ang. Built-In Self-Test), która jest przykładem wdrożenia strategii projektowania dla testowania.
-
Optymalizacja pobudzeń dla celów identyfikacji parametrów modeli zmiennych stanu
PublicationW pracy omówiono zagadnienie optymalizacji pobudzeń dla celów identy-fikacji parametrów modeli kompartmentowych systemów farmakokine-tycznych opisanych w kategoriach zmiennych stanu. Przedstawiono pobu-dzenia optymalne zaprojektowane według kryterium A-optymalności. Zaprojektowane pobudzenia optymalne, w obrębie klasy pobudzeń o ograniczonej energii, zapewniają maksymalną osiągalną dokładność estymat parametrów. W farmakokinetyce...
-
Dedykowane sieciowe technologie SIP dla prezentacji pseudodynamicznych danych geoprzestrzennych
PublicationSieciowe technologie prezentacji danych przestrzennych przeżywają aktualnie rozkwit spowodowany między innymi spadającymi cenami sprzętu komputerowego. Wynikający z tego wzrost wydajności domowych i biurowych stacji roboczych pozwala na praktyczne zastosowanie czasochłonnych algorytmów wizualizacji i przetwarzania skomplikowanych danych rastrowych i wektorowych. Niniejszy artykuł omawia wybrane technologie sieciowej prezentacji...
-
Most z obrotowym pylonem : propozycja (nie tylko) dla Gdańska
PublicationJedną z najważniejszych inwestycji drogowych w Gdańsku, związaną z EURO 2012 jest budowa Trasy Sucharskiego, która ma usprawnić warunki drogowe związane z obsługą stadionu "Baltic Arena". Najtrudniejszym elementem tej trasy jest przeprawa przez czynny kanał portowy o dużym natężeniu ruchu. Kanał ten ma głębokość 11,65 mb, szerokość 130-200 mb i jest jedyną drogą wodną prowadzącą do Gdańskiej Stoczni Remontowej. Wielkość przepływających...
-
Rozwiązywanie problemów społecznych jako przestrzeń dla sektora małych firm
PublicationArtykuł jest próbą naświetlenia w jaki sposób małe podmioty rynkowe mogą wykorzystywać problemy społeczne jako przestrzeń do działań przedsiębiorczych. Autorki przedstawiają w jakim stopniu i jakie czynniki warunkują zaangażowanie małych firm w tego typu działalność.
-
Badania tytanianu strontu - materiału anodowego dla ogniw paliwowych SOFC
PublicationW artykule opisano wyniki badan nad kompozytami Sr(Ti,Nb)O3-YSZ przygotowywane metoda mieszania proszkow w mozdzierzu agatowym. Scharakteryzowano ich wlasciwosci strukturalne, elektryczne i mechaniczne.
-
Dlaczego wdrożenie protokołu Ipv6 jest ważne dla rozwoju Internetu?
PublicationOmówiono problemy związane z wdrażaniem IPv6 w Internecie, w szczególności zasady jego wdrażania oraz współpracy IPv4 z IPv6 w infrastrukturach sieciowej i w aplikacjach. Przedstawiono wyniki projektów europejskich oraz kierunki aktywności projektu krajowego Inżynieria Internetu Przyszłości.
-
Oznaczanie zawartości wodoru dyfundującego w stopiwie dla procesów wysokowodorowych
PublicationCelem pracy było opracowanie równań umożliwiających porównywanie wskazań dwóch najczęściej stosowanych metod oznaczania ilości wodoru dyfundującego w stopiwie (metody rtęciowa i glicerynowa). Podawane w literaturze zależności nie obejmują zakresu ilości wodoru stopiwie występującego podczas spawania podwodnego. Przedstawiono wyniki oznaczania zawartości wodoru metodami glicerynową i rtęciową dla ustalonych warunków oraz wyznaczono...
-
Literacki przewodnik dla podróżnych. Gdańsk. Osiem spacerów po mieście.
Publication -
Opinia dla Sądu Okręgowego VIII Wydział Gospodarczy w Szczecinie
PublicationOpinia dotyczy analizy jakości pomiarów i rzetelności obliczeń dla wyznaczenia objętości mas ziemnych (numeryczny model terenu).
-
Znaczenie humanistyki dla kształtowania realistycznych relacji człowieka do przyrody
Publication -
Niebezpieczne dla zdrowia. Oocysty w basenach kąpielowych. Część II
PublicationZanieczyszczenia pasożytnicze, szczególnie ich formy przetrwalnikowe, stanowią istotny problem dla jakości wody pitnej i rekreacyjnej. Pasożyty Cryptosporidium, występujące w błonie śluzowej jelit, powodują choroby układu pokarmowego u ludzi i zwierząt. Oocysty te są odporne na działanie chloru, jodu i bromu w dawkach stosowanych w procesie uzdatniania wody.
-
Niebezpieczne dla zdrowia. Oocysty w basenach kąpielowych. Część I
PublicationWraz z budową nowych basenów kąpielowych i aquaparków wzrasta zużycie wody o jakości wody do picia, a zarazem powraca pytanie o zagrożenie zdrowia. O ile konwencjonalne technologie uzdatniania wody pozwalają na skuteczną dezynfekcję w odniesieniu do bakterii, wirusów i grzybów, to mogą być nieskuteczne względem oocyst pasożytów.
-
Znaczenie Technologii Informacyjnych dla Wzmocnienia Ochrony Granic Morskich Państwa
PublicationW pracy przedstawiono zarys doktryny sieciocentrycznej, która opiera się na zaawansowanej technologii, a w szczególności na nowoczesnych systemach informatycznych. Znaczenie technologii informacyjnych dla wzmocnienia ochrony granic morskich państwa jest nie do przecenienia. Ma poważny wpływ nie tylko na działania w czasie pokoju, ale także w sytuacji kryzysowej i operacji wojennych. Dlatego...
-
Wsparcie dla wiejskości. Znaczenie doświadczeń w kształtowaniu wiejskiego krajobrazu
PublicationKwestię wiejskości tradycyjnie badają nauki społeczne. Wobec przebudowy społeczno-gospodarczej obszarów wiejskich wiejskość, która wykazuje trwałe powinowactwo z krajobrazem, stanowi również wyzwanie dla planowania przestrzennego i turystyki: wyobrażenia związane z wiejskim krajobrazem są jednym z prawdopodobnych kryteriów wyboru wsi jako miejsca zamieszkania, a wizerunek tradycyjnej wsi stanowi koło napędowe gospodarki wiejskiej...
-
Tworzenie map konceptów dla ontologii opartych na logice opisowej
PublicationW poprzednich pracach przedstawiono nową metodę reprezentacji wiedzy nazwaną metodą kartograficzną. Metoda ta pozwala na uchwycenie zależności pomiędzy pojęciami wyznaczonymi w ramach terminologii, jak również na stopniowe (w miarę zwiększania się naszej wiedzy) przyporządkowywanie indywidualnych obiektów tym pojęciom. Zależności te reprezentowane są w postaci tzw. mapy konceptów. Efektywność budowy mapy konceptów stanowi zagadnienie...
-
Polskie centra handlowe - zagrożenia i szanse dla przestrezni miejskiej
PublicationOstatnie kilkanascie lat w Polsce to okres burzliwego rozwoju kompleksów handlowo-usługowych zwanych ''centrami handlowymi''. Zagdanienie to należy zarówno w kategoriach historycznych jak i kulturowych i przestrzennych. mimo iz centra handlowe często postrzegane są jako zagrożenia dla prawdziwej miejskości, to paradoksalnie ich przestrzeń wewnetżna wyraża powszechne oczekiwania jakości tradycji przestrzeni publicznej. w dobie globalizacji...
-
Metodyka tworzenia materiałów multimedialnych dla e-edukacji− propozycje autorskie
PublicationW artykule przedstawiono metodykę tworzenia i wykorzystania akademickich podreczników multimedialnych przeznaczonych do udostępniania w sieci. Opisana metodyka określana jest mianem UCD (User Centered Design). Sczegółowo omówiono trzy etapy procesu, a mianowicie: analizę, projektowanie i testowanie. Przedstawione przykłady szczegółowych rozwiazań funkcjonalnych i graficznych pochodzą z autorskich pdręczników stworzonych w technologii...
-
Skutki ekonomiczne kryzysu finansowego dla gospodarstw domowych w Polsce
PublicationSytuacja ekonomiczna i decyzje finansowe gospodarstw domowych funkcjonujących w gospodarce rynkowej zdeterminowane są wieloma czynnikami. Do podstawowych z nich należą dochody, koniunktura giełdowa oraz oczekiwania co przyszłych dochodów, a one zaś związane są z tym, co w danym okresie dzieje się na rynkach finansowych czy gospodarce danego kraju. Dlatego zjawiskiem, które może wywrzeć istotny wpływ na ich sytuację finansową, jest...
-
Tworzenie wzorców zachowań dla aplikacji opartych o architekturę EDA
PublicationZaprezentowano ideę aplikacji świadomych kontekstu zgodnych z architekturą sterowaną zdarzeniami EDA. Ten rodzaj aplikacji jest dedykowany dla przestrzeni inteligentnych. Opisano proces definiowania scenariusza i wzorców zachowań jako najbardziej istotny. Zawarto opis metody analizy i dekompozycji scenariusza oraz proces walidacji poprawności z wykorzystaniem sieci Petriego.
-
Algorytmy sterowania dla poprawy jakości regulacji położenia w serwonapędach
PublicationW serwonapędach o kaskadowej strukturze regulacji momentu, prędkości i położenia, opartej na algorytmach PID, w stanach dynamicznych występują uchyby, które trudno zmniejszyć tylko przez dobór nastaw regulatorów. W referacie zaproponowano metody ich redukcji, oparte na zastosowaniu sprzężenia do przodu. Przedstawiono także modyfikacje algorytmu PID, polegające na dynamicznej adaptacji nastaw do aktualnych wartości uchybu. Omówiono...
-
Algorytmy sterowania dla poprawy jakości regulacji położenia w serwonapędach
PublicationW serwonapędach o kaskadowej strukturze regulacji momentu, prędkości i położenia, opartej na algorytmach PID, w stanach dynamicznych występują uchyby, które trudno zmniejszyć tylko przez dobór nastaw regulatorów. W artykule zaproponowano metody ich redukcji, oparte na zastosowaniu sprzężenia do przodu. Przedstawiono także modyfikacje algorytmu PID, polegające na dynamicznej adaptacji nastaw do aktualnych wartości uchybu. Omówiono...
-
Elektrownie i elektrociepłownie jądrowe źródłem ciepła dla systemów ciepłowniczych
PublicationOmówiono przyczyny wzrostu powszechnego zainteresowania energetyką jądrową na świecie. Przytoczono dane charakteryzujące zmiany mocy elektrycznej zainstalowanej w jądrowych blokach energetycznych na świecie oraz prognozy zmian tej mocy w perspektywie do 2030r. Zwrócono uwagę na możliwość wytwarzania na bazie paliwa jądrowego również ciepła użytecznego. Przedstawiono dotychczasowe doświadczenia w wykorzystaniu elektrowni jądrowych...
-
Systemowe ujęcie geometrii powierzchni przedmiotów dla określania ich jakości
PublicationDokładność geometrii powierzchni przedmiotu wartościowana jest różnymi parametrami w ujęciach wymiarów, kształtów, kierunków, położeń i nierówności powierzchni, których wartości występują w szerokich zakresach rozpatrywanych wielkości. Wartości analizowanych składowych powierzchni są w różnych skalach danej wielkości, a ich zestawienie i współwartościowanie nastręcza wiele problemów w ich wspólnym ujęciu. W pracy przedstawiono...
-
Przestrzeń dla obywateli. O uniwersalności helleńskiego modelu przestrzeni publicznej
PublicationArtykuł zawiera refleksje na temat uniwersalności greckiego modelu przestrzeni publicznej.
-
Czy asfalty są szkodliwe dla człowieka? Chemiczne aspekty zagadnienia
PublicationGłos w dyskusji, która wywiązała się po publikacji artykułów dotyczących szkodliwości asfaltów oraz ich wpływu na środowisko naturalne.
-
Badania i analiza zjawiska propagacji wielodrogowej dla potrzeb lokalizacyjnych
PublicationNiniejszy artykuł zawiera analizę - przeprowadzoną na podstawie badań pomiarowych - przydatności zjawiska wielodrogowości dla celów poprawy estymacji odległości pomiędzy stacją ruchomą a stacją bazową, co wpływa na jakość świadczenia usług lokalizacyjnych przez operatorów komórkowych. Opisana została analiza statystyczna wyników zgromadzonego podczas badań materiału pomiarowego. Zaprezentowane zostały wyniki tej analizy zestawione...
-
Internetowy system prezentacji danych geodezyjnych dla jednostek samorządu terytorialnego
PublicationArtykuł przedstawia projekt i realizację internetowego systemu prezentacji danych geodezyjnych przeznaczonego dla jednostek samorządu terytorialnego.
-
Analiza problemu zaufania do ontologii dla różnych modeli wnioskowania
PublicationW rzeczywistych systemach zarządzania wiedzą, a przede wszystkim w systemach rozproszonych gromadzących wiedzę z różnych źródeł, problem niepewności i zaufania do ontologii, jak również odpowiedzi udzielanych przez bazy wiedzy nabiera szczególnego znaczenia. Sformalizowanie problemu i przyjęcie właściwego modelu wnioskowaniaw różnych zastosowaniach wymaga szczegółowej analizy. Niniejsza praca podejmuje próbę usystematyzowania tej...
-
Stałoprądowy model tranzystora mos dla zakresu przed- i nadprogowego
PublicationZaprezentowano spójny fizycznie, stałoprądowy, jednosekcyjny model opisujący pracę tranzystora MOS zarówno w zakresie przed- i nadprogowym, jak również w zakresie liniowym (triodowym) i nasycenia (pentodowym). Przedstawiono założenia modelu fizycznego w przestrzeni 2-D i jego transformację do modelu quasi-dwuwymiarowego praz zademonstrowano wyniki weryfikacji eksperymentalnej modelu. Model spełnia warunek symetrii Gummel'a
-
Analiza DFMA technologiczności wyrobu dla projektowania i doskonalenia jakości.
PublicationOmówiono zagadnienia kształtowania jakości projektowej wyrobu w aspekcie procesów jego realizacji wg tzw. podejścia procesowego oraz zasad inżynierii współbieżnej. Wykorzystano metodykę DFMA analizy technologiczności konstrukcji i projektowania zorientowanego na montaż. Rozwinięto studium przypadku zastosowania tej metodyki wg zaleceń podejścia Lucasa® celem doboru postaci konstrukcyjnej pomp hydraulicznych zębatych i doskonalenia...
-
Model formalny dla problemu lokalizacji błędów w kodzie programu
PublicationIstnieje 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...