Search
Filters
total: 839
Search results for: OBSŁUGA BŁEDÓW
-
Zastosowanie wybranych metod sztucznej inteligencji do wspomagania projektowania wstępnego statku
PublicationW pracy przedstawiono hybrydowy system wspomagania projektowania statku oparty na metodologii CBR z wykorzystaniem wybranych narzędzi sztucznej inteligencji, takich jak: system ekspertowy Exsys Developer wraz z logiką rozmytą, relacyjna baza danych Access oraz sztuczna sieć neuronowa ze wsteczną propagacją błędów. System przewidziany jest do wspomagania projektowania wstępnego statku, w którym najczęściej wykorzystuje się projekty...
-
Projektowanie i diagnostyka wentylacji grawitacyjnej. Wybrane problemy
PublicationPublikacja o charakterze monograficznym stanowi studium przypadku usterek wentylacji grawitacyjnej. Opisano w niej następstawa realizacji tego typu wentylacji z pominięciem zasad wiedzy technicznej, wynikające z błędów i niedociągnięć zarówno projektowych, jak również wykonawczych. Omówiono koncepcje rozwiązań projektowych naprawy występujących usterek rozumianych jako brak sprwności wentylacji technicznej oraz uszkodzenia trzonów...
-
Filtracja danych TDOA w filtrze UKF w systemie multilateracyjnym
PublicationW artykule przedstawiono implementację metody filtracji danych pomiarowych w systemie MLAT(Multilateration), która ma na celu zwiększenie dokładności estymacji położenia poruszającego się statku powietrznego poprzez kompensację błędów pomiarowych. Opisano sposób implementacji algorytmu bezśladowego filtru Kalmana dla danych pomiarowych TDOA (Time Difference of Arrival), a następnie na podstawie zarejestrowanych rzeczywistych tras...
-
Information significance in engineering design processes in shipyards
PublicationW artykule zwrócono uwagę na aspekt zarządzania procesem budowy statku, zarządzania informacją w procesie projektowania oraz znaczeniu systemów informacyjnych w transmisji informacji pomiędzy biurem projektowym a organizacjami współpracującymi. Dzięki jednolitej informacji projektowej we wszystkich fazach projektowania uzyskujemy ciągłość procesu projektowego, eliminację niepotrzebnych kosztów związanych z poprawą błędów oraz lepszą...
-
Optymalizacja pobudzeń dla celów identyfikacji parametrów kompartmentowych modeli systemów farmakokinetycznych.
PublicationPobudzenia optymalne, według kryterium optymalizacji czułociowej, wykorzystano do estymacji parametrów kompartmentowych modeli systemów farmakokinetycznych metodš minimalizacji błędów predykcji. Na pobudzenia optymalne nałożono ograniczenia na energię i czas trwania. Uzyskane, dla pobudzeń optymalnych, dokładnoci estymat parametrów porównano z dokładnociami uzyskanymi dla pobudzeń nieoptymalnych, standardowo stosowanych w praktyce...
-
The application of an expert system for simulation investigations in yhe aided design of ship power systems automation.
PublicationPrzedstawiono strukturę i funkcje systemu wspomagającego projektowanie automatyki systemów enegretycznych statków. Dane opisujące projektowany podsystem energetyczny są wprowadzane w trybie interaktywnym do systemu ekspertowego. Reguły określaja poprawność formalną i merytoryczną wprowadzonych danych. W przypadku braku błędów system automatycznie tworzy model symulacyjny projektowanego podsystemu enegretycznego i wywołuje program...
-
Historia Architektury Polskiej II (2022/23
e-Learning CoursesKurs wspomagający zajęcia z Historii Architektury Polskiej 2 obejmuje zasadnicze materiały z wykladów w j. polskim oraz obsługę ćwiczeń (wgrywanie prac/ocena) realizowanych w semestrze zimowym 2022/23.
-
Model ruchowy sygnalizacji w sieci pakietowej z protokołem SIP
PublicationW pracy przedstawiono koncepcję analizy ruchowej sygnalizacji protokołu SIP. Zwrócono uwagę na szczególne cechy protokołu SIP, które należy uwzględnić przy tworzeniu modelu ruchowego. Po przyjęciu pewnych założeń upraszczających zaproponowano model ruchowy składający się z szeregowo połączonych modeli M/G/1. Podano również wzory umożliwiające obliczenie jednego z ważniejszych parametrów QoS, którym jest średni czas przebywania...
-
Przegląd modeli operatorskich w morskich portach jachtowych
PublicationW ostatnich latach zrealizowano wiele inwestycji w morskich portach jachtowych wzdłuż polskiego wybrzeża Bałtyku. Dzięki temu zwiększył się potencjał ich infrastruktury do świadczenia jachtowych usług logistycznych oraz podwyższania logistycznego poziomu obsługi klientów. W pracy przedstawiono przegląd modeli operatorskich w morskich portach jachtowych, bazując głównie na doświadczeniach niemieckich i polskich. Szczególnie zwrócono...
-
Wyznaczanie stref efektywności kanałów dystrybucji na przykładzie wybranego producenta artykułów
PublicationWybór kanału dystrybucji zalicza się do decyzji strategicznych, ponieważ pod uwagę należy wziąć zarówno aspekty ekonomiczne, jak i te, które są związane z obsługą klienta. We współczesnych kanałach dystrybucji, które cechuje duża różnorodność wynikająca ze sposobu przepływu towarów z miejsca ich produkcji do miejsca konsumpcji, istotne znaczenie będzie miał sprawny i szybki przepływ strumieni finansowych, materiałowych i informacyjnych....
-
Projekt architektury komputerowego systemu do redukcji poboru mocy cyfrowych układów VLSI CMOS
PublicationW pracy przedstawiono architekturę komputerowego systemu redukcji poboru mocy w cyfrowych układach VLSI CMOS. Opisano przypadki użycia systemu, wynikający z nich podział na komponenty oraz założenia dotyczące danych wejściowych. Szczegółowo opisane zostały wszystkie komponenty wchodzące w skład systemu oraz ich zadania, a także główne cechy przedstawionej architektury, z których najważniejszą jest zapewnienie modułowej konstrukcji...
-
Produktywność eksploatacji maszyn i urządzeń technicznych
PublicationW artykule przedstawiono nowe podejście do analizy technicznio-ekonomicznej przedsiębiorstwa, ukierunkowane na uzupełnienie sformułowania pojęcia produktywności eksploatacji maszyn i urządzeń technicznych. Po stronie efektów wyróżniono: efekty użytkowania, bezpieczeństwo pracy, jakość produktów uzależnioną od stanu technicznego urządzeń, gotowość techniczną, nieuszkadzalność maszyn i urządzeń technicznych. Po stronie nakładów uwzględniono:...
-
Technika radia programowalnego.
PublicationPodstawowym problemem związanym z wprowadzeniem do użytku techniki radia programowalnego są ograniczenia w rozwoju technologii układów scalonych. Należy także brać pod uwagę tzw. ewolucyjną koncepcję rozwoju systemów radiokomunikacji komórkowej, tzn. zainicjowane obecnie przechodzenie od systemów drugiej do systemu trzeciej generacji, co najbardziej widoczne jest w procesie zmian systemu GSM poprzez system GPRS w kierunku systemu...
-
Model ruchowy sygnalizacji w sieci pakietowej z protokołem SIP
PublicationW pracy przedstawiono koncepcję analizy ruchowej sygnalizacji protokołu SIP. Zwrócono uwagę na szczególne cechy protokołu SIP, które należy uwzględnić przy tworzeniu modelu ruchowego. Po przyjęciu pewnych założeń upraszczających zaproponowano model ruchowy składający się z szeregowo połączonych modeli M/G/1. Podano również wzory umożliwiające obliczenie jednego z ważniejszych parametrów QoS, którym jest średni czas przebywania...
-
Smooth least absolute deviation estimators for outlier-proof identification
PublicationThe paper proposes to identify the parameters of linear dynamic models based on the original implementation of least absolute deviation estimators. It is known that the object estimation procedures synthesized in the sense of the least sum of absolute prediction errors are particularly resistant to occasional outliers and gaps in the analyzed system data series, while the classical least squares procedure unfortunately becomes...
-
Metody radiotransmisji w aplikacjach biomedycznych - 2022/2023
e-Learning CoursesCelem przedmiotu jest zapoznanie studentów z zagadnieniami dotyczącym systemów i sieci radiokomunikacyjnych w pod kątem możliwych zastosowań w biomedycynie. Plan wykładu Podstawowe pojęcia w telekomunikacji (telekomunikacja, informacja, źródła informacji, sygnał, usługa telekomunikacyjna, system telekomunikacyjny, kanał telekomunikacyjny, sieć telekomunikacyjna). Opis sygnałów analogowych w dziedzinie czasu i częstotliwości;...
-
Metody radiotransmisji w aplikacjach biomedycznych - 2023/2024
e-Learning CoursesCelem przedmiotu jest zapoznanie studentów z zagadnieniami dotyczącym systemów i sieci radiokomunikacyjnych w pod kątem możliwych zastosowań w biomedycynie. Plan wykładu Podstawowe pojęcia w telekomunikacji (telekomunikacja, informacja, źródła informacji, sygnał, usługa telekomunikacyjna, system telekomunikacyjny, kanał telekomunikacyjny, sieć telekomunikacyjna). Opis sygnałów analogowych w dziedzinie czasu i częstotliwości;...
-
Monika Arczyńska dr inż. arch.
PeopleArchitect and researcher with over 10 years of international experience in cultural projects. She has been working on the designs of Grand Egyptian Museum in Cairo, Palestinian Museum in East Bank, Giant’s Causeway Visitor Centre and National Centre for Contemporary Art in Moscow (with Heneghan Peng Architects). As a founder of A2P2 architecture & planning she runs architecture department of the company. In 2018 together with...
-
SBES South Baltic E-Mobility as a Service
ProjectsProject realized in Department of Process Engineering and Chemical Technology
-
SoURCE Service of Utility Risk/Cost Evaluation (SoURCE)
ProjectsProject realized in Department of Geodesy according to 4000130203/20/UK/ND agreement from 2020-03-27
-
Jakość usług w optycznej sieci wielodomenowej z hierarchiczną strukturą płaszczyzn sterowania
PublicationW rozprawie przedstawiono przegląd architektur sieci z gwarancją jakości klas usług oraz stan prac w zakresie realizacji optycznych sieci ASON, GMPLS oraz ASON/GMPLS. Opisano wymagania i zaawansowanie prac w realizacji sieci ASON/GMPLS z hierarchiczną strukturą płaszczyzn sterowania oraz problemy związane z zagadnieniem jakości klas usług w tej sieci. Zaprezentowano założenia, koncepcję oraz realizację modelu symulacyjnego optycznej...
-
System transportu pasażerskiego, P, STW, sem. 05, zimowy 22/23
e-Learning CoursesPrzedmiot związany jest z obsługą rynku przewozów pasażerskich w rejonie Europy oraz świata, szczególnie w rejonie Morza Bałtyckiego, Śródziemnego, Północnego oraz świata w zakresie przewozów promowych oraz ruchu wycieczkowego.
-
System transportu pasażerskiego, P, ZLwT, sem. 05, zimowy 22/23
e-Learning CoursesPrzedmiot związany jest z obsługą rynku przewozów pasażerskich w rejonie Europy oraz świata, szczególnie w rejonie Morza Bałtyckiego, Śródziemnego, Północnego oraz świata w zakresie przewozów promowych oraz ruchu wycieczkowego.
-
Planowanie Eksperymentu i analiza błędów, W/C, MiBM niestac., sem. 1, letni, 2023/24
e-Learning Courses -
A Method of Lathe Checks Measurement; SMOF device and its software
Publication -
Zasady projektowania wybranych terminali portowych (Seminarium dyplomowe - moduł 12/2)
e-Learning CoursesZasady projektowania wybranych terminali portowych (Seminarium dyplomowe - moduł 12/2) Prowadzący: dr hab. inż. arch. Karolina Krośnicka, prof. uczelni Email: karkrosn@pg.edu.pl Wydział: Architektura Rodzaj studiów: studia magisterskie Kierunek: Gospodarka Przestrzenna Specjalność: Zintegrowane Zarządzanie Strefą Przybrzeżną Rok akad.: 2019/2020 Semestr: III 15 godz. ćwiczeń Zajęcia są realizowane na platformie...
-
Querying the digital database of musical documents
PublicationW rozdziale zaprezentowano program Melody Explorer służący do formułowania zapytań dla bazy danych dokumentów muzycznych. Przedstawiono problemy związane z konwersją informacji wprowadzanych przez użytkownika na zapis nutowy. Zaproponowano ulepszenia istniejących rozwiązań mające na celu poprawę dokładności i stabilności systemu. Oprócz cyfrowego zapisu dźwięku również podany przez użytkownika rytm melodii wykorzystywany jest do...
-
Efektywność scatternetu Bluetooth współistniejącego z siecią IEEE 802.11b
PublicationPasmo ISM wykorzystywane jest przez wiele różnych technologii transmisji bezprzewodowej. Tym samym pojawiają się problemy związane z zapewnieniem określonej efektywności dla tych sieci. W artykule analizowano przykład interferencji pochodzących ze strony nadajników IEEE 802.11b (pot. Wi-Fi) oraz innych pikosieci Bluetooth (BT), które mają wpływ na transmisję w scatternecie Bluetooth oraz zaproponowano metodę wyznaczania pakietowej...
-
Modelling of Voltage Transformer Performance in Power System Harmonic Frequency Range
PublicationZniekształcenia harmoniczne napięć i prądów występujące we współczesnych systemach energetycznych powodują liczne problemy pomiarowe. W referacie przedstawiono analizę właściwości przekładników napięciowych stosowanych w sieciach SN i WN w zakresie częstotliwości mierzonych zniekształceń harmonicznych. Opracowany szerokopasmowy model obwodowy został zweryfikowany symulacyjnie i eksperymentalnie. Wyniki przeprowadzonych badań potwierdzają...
-
Modelling of voltage transformer performance in power system harmonic frequency range
PublicationZniekształcenia harmoniczne napięć i prądów występujące we współczesnych systemach energetycznych powodują liczne problemy pomiarowe. W referacie przedstawiono analizę właściwości przekładników napięciowych stosowanych w sieciach SN i WN w zakresie częstotliwości mierzonych zniekształceń harmonicznych. Opracowany szerokopasmowy model obwodowy został zweryfikowany symulacyjnie i eksperymentalnie. Wyniki przeprowadzonych badań potwierdzają...
-
Wykorzystanie protokołu UPD do monitorowania obiektów za pośrednictwem publicznej sieci Internet
PublicationW artykule przedstawiono ideę monitorowania stanu rozproszonych obiektów za pośrednictwem publicznej sieci Internet z wykorzystaniem protokołu UDP. Omówiono właściwości różnych metod przesyłania danych oraz rodzaje i źródła błędów komunikacji powodujących utratę danych. Przedstawiono program komputerowy oraz metodykę badania niezawodności komunikacji za pomocą protokołu bezpołączeniowego UDP. Zaprezentowano wyniki badań niezawodności...
-
Identyfikacja własności dynamicznych cięgien jako element diagnostyki wybranych konstrukcji mostowych
PublicationW artykule opisano doświadczenia autorów związane z identyfikacją siły w cięgnach mostów. Główna uwaga poświęcona została sprężeniu zewnętrznemu w mostach betonowych. Rozpatrzono wpływ błędów pomiarowych występujących w trakcie badań identyfikujących siłę na podstawie parametrów modalnych. Zwrócono wpływ trudności związanych z określeniem długości cięgna, jego masą i warunkami brzegowymi. Opisany przypadek uszkodzonego kabla sprężającego...
-
Kształt dachu przyczyną usterek wilgotnościowych
PublicationW artykule przedstawiono opis usterek cieplno-wilgotnościowych występujących w lokalach mieszkalnych znajdujących się na poziomie ostatniej kondygnacji budynku. Oprócz błędów wykonawczych popełnionych w trakcie realizacji pokrycia dachowego, skutkujących powstawaniem przecieków do wnętrza lokali mieszkalnych, również kształt dachu sprzyjał tworzeniu się worków śnieżnych i oblodzeń, które przyczyniły się do powstawania usterek cieplno-wilgotnościowych....
-
Dekodowanie kodów iterowanych z użyciem sieci neuronowej
PublicationNadmiarowe kody iterowane są jedną z prostych metod pozyskiwania długich kodów korekcyjnych zapewniających dużą ochronę przed błędami. Jednocześnie, chociaż ich podstawowy iteracyjny dekoder jest prosty koncepcyjnie oraz łatwy w implementacji, to nie jest on rozwiązaniem optymalnym. Poszukując alternatywnych rozwiązań zaproponowano, przedstawioną w pracy, strukturę dekodera tego typu kodów wspomaganą przez sieci neuronowe. Zaproponowane...
-
ANALIZA SKUTECZNOŚCI DETEKCJI SYGNAŁÓW GMSK W KANALE Z PROPAGACJĄ WIELODROGOWĄ PRZY UŻYCIU METOD GŁĘBOKIEGO UCZENIA
PublicationOdbiór sygnałów radiowych w środowisku wewnątrzbudynkowym jest istotnym problemem współczesnej radiokomunikacji. W celu zwiększenia skuteczności istniejących metod odbioru radiowego coraz częściej wykorzystuje się narzędzia z obszaru uczenia maszynowego. Niniejszy artykuł prezentuje analizę skuteczności głębokiej sieci neuronowej w odbiorze sygnałów GMSK w kanale z zanikami i propagacją wielodrogową. Prezentowane wyniki porównane...
-
Analityka śladów - wyzwania i problemy. Trace analysis- challenges and problems
PublicationPrzedstawiono główne źródła błędów w analityce składników śladowych i ultraśladowych obecnych w próbkach o złożonym składzie matrycy. Szczególną uwagę zwrócono na: klasyfikację metod i technik ze względu na stężenie analitu w próbce; jednostki służące do wyrażania stężeń w zakresie śladów i ultraśladów; etapy przygotowania próbek do oznaczeń końcowych; sposoby eliminacji lub zmniejszenia intensywności wpływu różnych czynników na...
-
Niezawodność zasilania w instalacjach z wyłącznikami różnicowoprądowymi
PublicationNiezawodne działanie instalacji elektrycznej z wyłącznikami różnicowoprądowymi jest uzależnione od sprawności wyłączników, poprawnego ich doboru i koordynacji oraz należycie wykonanych połączeń w samej instalacji. Błędy popełnione podczas doboru wyłączników różnicowoprądowych oraz montażu instalacji mogą objawiać się zbędnymi zadziałaniami, które będą utrudniać jej użytkowanie a także niezadziałaniem w sytuacji zagrażającej porażeniem....
-
Identyfikacja i diagnostyka procesu oczyszczania ścieków przy użyciu metody MS-PCA
PublicationPołączenie algorytmu PCA z dekompozycją falkową pozwala na wiarygodną identyfikację i diagnostykę procesu z wieloma skalami czasu. Niniejszy artykuł pokazuje jak przy pomocy wspomianego narzedzia określić stan pracy obiektu oraz odpowiednio szybko wykryć uszkodzenia (np. czujników pomiarowych) lub stany awaryjne obiektu jakim jest oczyszczalnia ścieków. Przedstawiony jest przykład detekcji błędów pomiarowych (stężenie tlenu w komorze...
-
Dotychczasowe doświadczenia krajów strefy euro w zakresie wypełniania kryteriów zbieżności
PublicationMomeny członkostwa Polski w strefie euro jest uzależniony od determinacji w zakresie realizacji określonych założeń wynikających z pełnego uczestnictwa w UGW. W okresie przygotowawczym warto oprzeć się na doświadczeniach krajów Eurolandu, aby nie powielać popełnionych wcześniej błędów. Analizę tych doświadczeń warto przeprowadzić z punktu widzenia przygotowań tych państw do udziału w jednowalutowym obszarze oraz sytuacji, jaka...
-
Zastosowanie metodologii wnioskowania z bazy przypadków w tworzeniu atrakcyjnych witryn biznesowych
PublicationPrzedstawiono podstawowe założenia metodologii wnioskowania z bazy przypadków (ang. Case Based Reasoning). Zaakcentowano możliwości jej wykorzystania w sytuacjach, gdy zawodzą metody o charakterzetypowo analitycznym. Zaproponowano zastosowanie CBR dla uatrakcyjnie-nia biznesowych witryn internetowych w sektorze handlowo-usługowym, a w szczególności dla obsługi niekompletnie sprecyzowanych wymagań stawianych przez klientów. Podano...
-
Bezpieczeństwo podróżnych w świetle projektowania węzłów integracyjnych
PublicationW obliczu coraz bardziej zatłoczonych arterii komunikacji indywidualnej wraca zapotrzebowanie na użytkowanie komunikacji zbiorowej. W najbliższych latach Polska uzyskała środki z Unii Europejskiej na rozwój i modernizację strategicznych sieci kolejowych. W najbliższym czasie wybrane, polskie dworce kolejowe winny uzyskać rangę nowoczesnych terminali przesiadkowych, dostosowanych do standardów unijnych. Mowa tu głównie o poprawie...
-
Analiza możliwości poprawy wydajności oprogramowania systemów sieciowych
PublicationZaprezentowano dwie metody poprawy wydajności aplikacji sieciowych: zmiana priorytetu aplikacji poprzez przeniesienie jej do przestrzeni kernela oraz wykorzystanie wielordzeniowej natury nowych procesorów. Wskazano, że zmiana priorytetu aplikacji poprzez przeniesienie jej do przestrzeni kernela wiąże się z ryzykiem utraty stabilności jądra systemu. Wykorzystanie tej metody związane jest również z niebagatelnym nakładem inżynierskim...
-
Prognozy ruchu w tunelu pod Martwą Wisłą w ciągu Trasy Słowackiego w Gdańsku
PublicationPrzeprawa tunelowa bądź mostowa przez Martwą Wisłę w planowaniu rozwoju sieci ulicznej Gdańska była od wielu lat traktowana jako element warunkujący jakościową zmianę funkcjonowania tej sieci. Obecnie, budowa tunelu pod Martwą Wisłą, stwarza nowe perspektywy nie tylko dla obsługi transportowej terenów przemysłowo-portowych, ale także dla przejęcia części ogólnomiejskiego ruchu z przeciążonych tras obszarów śródmiejskich. Świadczą...
-
Telemedycyna - czy może być interaktywna?
PublicationArtykuł zauważa ważną rolę i szybki rozwój telemedycyny. Obecnie aplikacje telemedyczne, stają się nawet jednym ze zwrotnych motorów napędowych przyśpieszających rozwój elektroniki i teleinformatyki. Wykorzystanie istniejącej technologii dla poprawy jakości życia społeczeństwa staje się w związku z tym zadaniem ważnym i pilnym. Nieliczne są wciąż jeszcze aplikacje interaktywne, tzn. takie, które zawierają elementy diagnostyki...
-
Impedancyjne monitorowanie szybkości korozji w układach wodnych z zastosowaniem inhibitorów korozji
PublicationNiniejsza praca jest poświęcona opracowaniu metodyki pomiarowej pozwalającej na wyznaczanie szybkości korozji za pomocą metody galwanodynamicznej elektrochemicznej spektroskopii impedancyjnej (GDEIS). Zaproponowana metoda pozwala na wykonywanie badań korozyjnych w których klasyczne metody pomiarowe (polaryzacja liniowa, metoda EIS, polaryzacja Tafela) charakteryzują się otrzymywaniem wyników ze znaczną dozą niepewności. W przypadku...
-
Modelowanie materiałów metodami kwantowymi 2023
e-Learning CoursesPrzypomnienie narzędzi obsługi systemu operacyjnego Linux niezbędnych do pracy z oprogramowaniem służącym modelowaniu materiałów i procesów związanych z materiałami oraz pracy z komputerem obliczeniowym. Wstępy teoretyczne z teorii metod kwantowych i podstawowych algorytmów: operatory, funkcje falowe, równanie własne, równanie Schrödingera i metody przybliżone: metody wariacyjne, metoda Hartree-Focka oraz przedstawienie zastosowań...
-
Jesień z Bazuną
EventsZapraszamy 1 grudnia na kolejną edycję corocznego wydarzenia "JESIEŃ Z BAZUNĄ". Na scenie wystąpi Lubelska Federacja Bardów oraz Czerwony Tulipan. Wstęp Wolny.
-
Platinum group elements: a challenge for environmental analytics
PublicationW pracy opisano problemy związane z analityką platynowców (Platinum Group Elements - PGE) w próbkach środowiskowych (kurz uliczny, materia zawieszona, gleba i osady denne, wody, ścieki, próbki biologiczne). Scharakteryzowano poszczególne etapy procedury analitycznej mogące być źródłem błędów oraz powodować szereg trudności. Opisano sposoby pobierania, przechowywania i utrwalania próbek przeznaczonych do badań. Przedstawiono również...
-
program verification strategy and edge ranking of graphs
PublicationW artykule rozważamy model, w którym zakładamy, że dany jest zbiór asercji/testów dla pewnych bloków programu. Celem jest znalezienie optymalnej, tzn. wymagającej wykonania minimalnej liczby testów strategii wyszukiwania błędu w kodzie programu. Pomimo założenia w modelu, iż program posiada dokładnie jeden błąd, rozważania można uogólnić na testowanie kodu z dowolną liczbą błędów. Analizujemy teoretyczne własności tego modelu oraz...
-
Structural pounding models with Hertz spring and nonlinear damper
PublicationW artykule przedstawiono porównanie możliwości wykorzystania dwóch modeli zderzeń: nieliniowego modelu lepkosprężystego i modelu Hertz'a z dodatkowym tłumieniem. Efektywność każdego z modeli zbadano porównując wyniki analiz numerycznych z wynikami badań eksperymentalnych. Wyniki pracy pokazują, iż zastosowanie nieliniowego modelu lepkosprężystego prowadzi do mniejszych błędów w przebiegach czasowych siły zderzenia oraz do mniejszych...