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
-
WERYFIKACJA KONCEPCJI PRZEGUBÓW PLASTYCZNYCH PROJEKTOWANYCH NA ODZIAŁYWANIA SEJSMICZNE WIADUKTU V6 OBWODNICY ISTAMBUŁU
PublikacjaW pracy zawarto wyniki analiz betonowego wiaduktu V6 budowanego w ciągu obwodnicy Istambułu w Turcji realizowanego w ramach projektu Northern Marmara Highway. Przeprawę stanowią dwie niezależne nitki o skrzynkowym przekroju poprzecznym i szerokości 22,00 m. Schemat statyczny obiektu to belka dziewięcioprzęsłowa o długości całkowitej 446,86 m oparta na podporach słupowych o zmiennej sztywności (rys.1) i wysokościach zmieniających...
-
Obliczeniowa weryfikacja pewności ruchowej hydrodynamicznych łożysk wzdłużnych na przykładzie elektrowni wodnej Dychów
PublikacjaW związku z modernizacją hydrozespołów elektrowni szczytowo-pompowej (esp) Dychów analizie poddano łożysko wzdłużne. Przeprowadzona analiza, która będzie podstawą do podjęcia decyzji o zakresie wymaganych zmian konstrukcyjnych w łożysku objęła ocenę danych o dotychczasowej eksploatacji oraz obliczenia sprawdzające prawidłowości pracy łożyska w nowych warunkach. W obliczeniach uwzględniono odkształcenia termosprężyste segmentu oraz...
-
ZASTOSOWANIE OPROGRAMOWANIA ERP Z ZAKRESU „PLANT MAINTENANCE” NA PRZYKŁADZIE SAP PM JAKO NARZĘDZIA DLA SŁUŻB UTRZYMANIA RUCHU OBIEKTU OFFSHORE
PublikacjaW artykule poruszono kwestię planowania zasobów przedsiębiorstwa z wykorzystaniem oprogramowania ERP. Efektywne planowanie zarządzania całością zasobów przedsiębiorstwa polega głównie na: - zapewnieniu wysokiej jakości produktów, - maksymalizacji ekonomicznego okresu użytkowania parku maszynowego, -maksymalizacji zdolności produkcyjnych, - minimalizacji kosztów utrzymania sprzętu w sprawności operacyjnej, - zapewnieniu bezpiecznych...
-
Zastosowanie oprogramowania COMSIS do oceny dynamicznej odporności na zakłócenia cyfrowych układów kombinacyjnych.
PublikacjaWyniki badania odporności układów cyfrowych na zakłócenie dynamiczne w istotny sposób zależą od parametrów sygnału stymulującego. Proponowana metodyka zakłada pobudzanie badanego układu sygnałem szumu białego o określonej szerokości pasma częstotliwości. Badania symulacyjne z modelem układu progowego oraz szybkiego komparatora z histerezą przeprowadzono w środowisku COMSIS. Uzyskane wyniki potwierdzają, że im węższe pasmo szumu...
-
Wspomagana komputerowo weryfikacja określonego poziomu nienaruszalności bezpieczeństwa sil z wykorzystaniem autorskiej aplikacji ProSIL
PublikacjaW referacie przedstawiono oprogramowanie Pro SIL wspomagające zarządzanie bezpieczeństwem funkcjonalnym. Program ProSIL składa się z trzech modułów wspomagających: określanie wymaganego poziomu SIL (moduł ProSILen) weryfikację SIL (moduł ProSILer) oraz przeprowadzenie analizy warstw zabezpieczeń metodą LOPA. W aplikacji ProSIL zaimplementowano opracowaną w trakcie badań metodykę analizy bezpieczeństwa funkcjonalnego w projektowaniu...
-
Verification of multiband system for non-contact emissivity measurements
PublikacjaW pracy przeprowadzono weryfikację wielopasmowej pasywnej metody pomiaru emisyjności obiektu na drodze eksperymentalnej. W oparciu o zrealizowane stanowisko pomiarowe dokonano pomiarów emisyjności wybranych obiektów. Uzyskano dobrą zgodność wyników pomiarów z wynikami wcześniejszej komputerowej analizy systemu. Potwierdziło to przydatność wielopasmowej metody do pomiaru emisyjności w warunkach roboczych.
-
Ocena stanu technicznego młyna rurowego średnicy 3,4m i długości 13.5m oraz weryfikacja wprowadzonych zmian
PublikacjaPrzeprowadzono obszerną analizę wytrzymałościową młyna do mielenia cementu. Opracowano własną metodykę symulowania działania obciążenia. Wyznaczono obszary największych naprężeń. Opracowano zalecenia zmiany geometrii młyna.
-
Eksperymentalna weryfikacja przydatności wybranych parametrów standardu MPEG-7 w procesie klasyfikacji dźwięków instrumentów muzycznych
PublikacjaObecnie stosowane metody wyszukiwania informacji muzycznej w internecie bazują na parametrycznym opisie zawartości danych multimedialnych. W standardzie MPEG-7 w części dotyczącej sygnałów fonicznych zawarto opis oparty w dużej mierze o analizę widmową, przy czym dla dźwięków muzycznych parametryzowane jest widmo FFT fragmentu stanu quasi-ustalonego.
-
Weryfikacja systemu dopasowania protez słuchu w oparciu o badanie percepcji sygnału mowy w szumie
PublikacjaWiększość systemów dopasowania protez słuchu koncentruje się na poprawie zrozumiałości mowy. Problem dopasowania protez słuchu może w uproszczeniu być przedstawiony jako problem dopasowania szerokiej dynamiki sygnału mowy do zawężonej dynamiki uszkodzonego słuchu. Głównym celem badań było przetestowanie opracowanego systemu oraz sprawdzenie w jakim stopniu zaimplementowany moduł wirtualnej protezy słuchu może poprawić zrozumiałość...
-
Theoretical and experimental investigation of Optical Coherent Tomography topologies
PublikacjaW artykule przedstawiono teoretyczną i eksperymentalną analizę konfiguracji interferometrów w układach koherentnego tomografu optycznego. Zaprezentowano zrealizowany układ, którego specjalnie zaprojektowana konfiguracja pozawala na analizę zmian polaryzacji sygnału pomiarowego.
-
Ocena warunków nasłonecznienia i projektowanie elektrowni słonecznych z wykorzystaniem dedykowanego oprogramowania oraz baz danych
PublikacjaPrzytoczono typowe dla obszaru Polski wartości nasłonecznienia. Zaprezentowano sposoby dokładniejszego określenia wartości nasłonecznienia w oparciu o bazy danych o nasłonecznieniu i aplikacje komputerowe. Narzędzia te pozwalają w pełniejszy sposób uwzględnić kąt nachylenia i azymut modułów fotowoltaicznych, linię horyzontu i zacienienie oraz zmienność nasłonecznienia w ciągu roku na podstawie statystycznych wartości nasłonecznia...
-
Kryteria oceny metody wspomagającej interakcję klient-Dostawca oprogramowania i ich zastosowanie do metody WIKLIDO
PublikacjaW rozdziale przedstawiono metodę Wspomagania Interakcji KLIent-Dostawca Oprogramowa-nia (WIKLIDO) oraz wyjaśniono w jaki sposób wykorzystano metodę GQM (ang. Goal Question Metrics) do systematycznego wywiedzenia metryk oceny tej metody.
-
Komputerowa weryfikacja układów cyfrowych CMOS utworzonych z podukładów zasilanych ze źródeł o różnych wartościach napięcia
PublikacjaW pracy zaprezentowano wyniki komputerowej weryfikacji cyfrowego układu CMOS utworzonego z klastrów, z których każdy jest zasilany odpowiednio malejącymi wartościami napięć. Zbiór klastrów został utworzony przy pomocy algorytmu ECA (Evolutionary Clustering Algorithm) dla potrzeb redukcji mocy pobieranej ze źródła zasilającego. Otrzymane rozwiązanie, charakteryzujące się zmniejszeniem zapotrzebowania na moc, nie powoduje pogorszenia...
-
Hala namiotowa o konstrukcji stalowej - Statyczno - wytrzymałościowa weryfikacja nośności i bezpieczeństwa obiektu o konstrukcji stalowej
PublikacjaPrzedmiotem opracowania jest analiza statyczno – wytrzymałościowa konstrukcji hali namiotowej zlokalizowanej na nabrzeżu portu rybackiego, usytuowanego na brzegu Morza Bałtyckiego, na terenie administrowanym przez oddział stoczniowy spółki Szkuner. Celem niniejszego opracowania eksperckiego jest określenie: stopnia wykorzystania nośności istniejących elementów konstrukcyjnych obiektu na podstawie: pierwotnego opracowania projektowego...
-
Weryfikacja i aktualizacja "Katalogu typowych konstrukcji nawierzchni podatnych i półsztywnych" z 1997 roku - Etap III
Publikacja...
-
Weryfikacja odwzorowania kształtów i wymiarów podzespołów płaskich, wycinanych w technologii elektrodrążenia urządzenia wspomagającegozrobotyzowane narzędzia laparoskopowe
PublikacjaW pracy zaprezentowano analizę poprawności wykonaniapodzespołów urządzenia będącego zrobotyzowanym mikronadgarstkiem,wykorzystywanym dla zwiększenia ruchliwości narzędzilaparoskopowych o średnicy 2,5 mm. Analizowane podzespoły wykonanesą w skali 7:1 w technologii elektrodrążenia drutem o średnicy50 mm. Charakteryzują się architekturą płaską o określonej głębokościi skomplikowanym kształcie w pozostałych dwóch wymiarach. Analiziepoddano...
-
Wstęp do optymalizacji konstrukcji fotelika samochodowego do przewozu dzieci z wykorzystaniem oprogramowania CAD i MES
PublikacjaW artykule opisano najważniejsze funkcje fotelika. Omówiono przebieg prac projektowych fotelik samochodowego do przewozu dziecka w samochodzie na podstawie wdrożonego do produkcji projektu. Przedstawiono konstrukcje zbudowanych prototypów oraz wybrane wyniki optymalizacji MES.
-
Hala namiotowa o konstrukcji stalowej: Statyczno - wytrzymałościowa weryfikacja nośności istniejącej płyty fundamentowej wykonanej pod halą namiotową
PublikacjaDla istniejącego, nowowykonanego obiektu produkcyjnego, zlokalizowanego nad brzegiem morza, na terenie stoczniowym, wykonano analizy statyczno - wytrzymałościowe w celu weryfikacji nośności istniejącej konstrukcji żelbetowej płyty fundamentowej, stanowiącej jednocześnie posadzkę techniczną obiektu. W celu pozyskania niezależnych danych o analizowanym obiekcie i warunkach naturalnych oraz zmienionych gruntu pod obiektem wykonano...
-
Modelowanie jakości powietrza w powiązaniu z modelem numerycznym miasta z wykorzystaniem oprogramowania działającego na platformie wieloprocesorowej
PublikacjaArtykuł przedstawia wyniki modelowania zanieczyszczenia powietrza dla wybranych źródeł drogowych. Obliczenia emisji i propagacji zanieczyszczeń powietrza dokonano za pomocą modelu AUSTAL2000, dostępnego w aplikacji CadnaA. Przedstawiono wyniki analiz dla następujących substancji: SO2, NOx, PM10, benzen. Dodatkowo zamieszczono łączne wyniki zanieczyszczeń powietrza i poziomy hałasu dla rozpatrywanych dróg. Zastosowanie platformy...
-
Realizacja programowa algorytmów filtracji, estymacji i sterowania w PLC/PAC
PublikacjaSterowniki programowalne PLC (ang. Programmable Logic Controller) są główną przemysłową platformą implementacji algorytmów sterowania bezpośredniego. Standardowo producenci PLC dostarczają programistom jedynie podstawowe, najprostsze metody sterowania. Wraz z rozwojem sterowników PLC oraz ich następców PAC (ang. Programmable Automation Controller) pojawiły się zwiększone możliwości obliczeniowe i pamięciowe tych urządzeń oraz...
-
Ocena zasobów oraz weryfikacja granic obszaru ochronnego GZWP nr 133 Młotkowo za pomocą numerycznego modelu przepływu wód podziemnych
PublikacjaModel Głównego Zbiornika Wód Podziemnych powstał w celu dokonania oceny dostępnych zasobów wód oraz zweryfikowania granic strefy ochronnej. GZWP Młotkowo jest położony w południowej części Pojezierza Krajeńskiego. Ze względu na konieczność weryfikacji granic zbiornika wyznaczonych przez Kleczkowskiego i in. (1990) do badań modelowych przyjęto obszar cztery razy większy niż rozmiar GZWP. W celu osiągnięcia najbardziej wiarygodnych...
-
Weryfikacja i interpretacja wyników pomiarów akustycznych w obiekcie Filharmonii Kaszubskiej w Wejherowie w aspekcie zgodności z projektem akustyki
PublikacjaPrzeanalizowano wyników pomiarów akustycznych zrealizowanych przez wykonawcę robót wykończeniowych (pomiary w zakresie akustyki wnętrz i akustyki budowlanej). Zalecono rozszerzenie zakresu pomiarów, po pełnym zakończeniu robót w obiekcie, oraz ich ponowną analizę w aspekcie zgodności z projektem akustyki.
-
Experimental verification of natural convective heat transfer phenomenon from isothermal cuboids
PublikacjaArtykuł przedstawia wyniki badań eksperymentalnych konwekcyjnej wymiany ciepła od powierzchni izotermicznego prostopadłościanu o stosunkowo dużych rozmiarach (t.j. 1.5 m x1 m x 0.5 m). Celem tych badań było otrzymanie wyników, które można by porównać z otrzymanymi dla obiektu w mniejszej skali i prezentowano we wcześniejszych doniesieniach (Int. J. Heat Mass Transfer 46 (2003) 2169-2178). Rozwiązanie eksperymentalne przeprowadzono...
-
Verification of the criteria for evaluation of water and frost resistance of asphalt concrete
PublikacjaThe paper presents the results of field investigation - condition survey of existing pavements and the results of laboratory tests on water and frost resistance of samples cored from the these pavements. The purpose of testing was to verify the criteria for evaluation of the resistance of asphalt concrete to the action of water and frost by way of comparing the results of field and laboratory tests, followed by evaluation of their...
-
New Generation of Water lubricated Foil bearing - Numerical Models and Experimental Verification
PublikacjaIn the paper a new idea of foil water lubricated bearing and methodology of hydrodynamic characteristics calculations is presented. To assesses the theoretical characteristics of these bearings two different computer models were built. First is structural model coupled with fluid model. It takes into account: fluid flow in the deformed fluid gap, specific design of bearing support and friction in bearing support. The second is...
-
Theoretical and experimental investigation of low-noise optoelectronic system configurations for low-coherent optical signal detection
PublikacjaW artykule przedstawiono wyniki teoretycznej i eksperymentalnej analizy konfiguracji niskokoherencyjnego układu detekcji sygnałów optycznych. Zaprezentowano zaprojektowany układ detekcji optycznych sygnałów niskokoherencyjnych, który pozwala na pracę w konfiguracji zrównoważonej i niezrównoważonej, co umożliwia porównanie parametrów obu konfiguracji.
-
CFD ship squat determination method validation by GPS-RTK measurements
PublikacjaArtykuł zawiera porównanie numerycznych obliczeń osiadania statku z wynikami badań rzeczywistych z wykorzystaniem metody GPS-RTK.
-
New trim configurations for laser trimmed thick-film resistors - theoretical analysis, numerical simulation and experimential verification
PublikacjaW pracy przedstawiono nowe podejście do korekcji rezystorów warstwowych polegające na wytwarzaniu dodatkowego kontaktu w celu rozszerzenia zakresu korekcji i uproszczenia projektowania. Ponadto zaprezentowano nową szybką metodę wyznaczania charakterystyk korekcyjnych a także weryfikację eksperymentalną. Przedstawiono wyniki w postaci zakresów korekcji i względnych przyrostów rezystancji w funkcji kształtu dodatkowego kontaktu oraz...
-
Weryfikacja projektu zmniejszenia zbiornika retencyjnego ZB-8 w ciągu drogi S-6, obejmująca sprawdzenie obliczeń hydrologicznych oraz ocenę przyjętej pojemności i typu zbiornika
PublikacjaZgodnie z tytułem opracowania, wykonano weryfikację projektu zmniejszenia zbiornika retencyjnego ZB-8 w ciągu drogi S-6, obejmująca sprawdzenie obliczeń hydrologicznych oraz ocenę przyjętej pojemności i typu zbiornika.
-
Revsable framework for telecontrol protocols. W: Springer Homepage [online] Proceedings. Second International ESPRIT ARES Workshop on Development and Evolution of Software Architectures for Product Families. Las Palmas de Gran Canaria, Spain, February 26-27, 1998. [Dostęp: 20 grudnia**2002]. Ed. F. van der Linden. Dostępny w World Wide Web: http://link.springer.de/link/ /service/series/0558/tocs/t1429.htm [s. 6-13, 5 rys. bibliogr. 6 poz.] Wzorce wielokrotnego wykorzystania oprogramowania protokołów telesterowa- nia.
PublikacjaZaprezentowano wzorzec COMSOFT wielokrotnego wykorzystania oprogramowania o-pracowany dla protokołów telesterowania. Jego podstawy tworzą: metodologiaobiektowa i wzorce wielokrotnego użycia. Zastosowanie wzorców wspomagają:biblioteka komponentów, wykorzystywanych we wszystkich fazach konstrukcji o-programowania oraz procedury użytkowania i parametryzacji. Opracowane wzorcezostały praktycznie zastosowane do konstrukcji oprogramowania...
-
Analiza i pomiarowa weryfikacja modeli propagacyjnych z zalecenia ITU-R P.1411 dla środowisk miejskich kanionów ulic i zakresu częstotliwości 800 MHz - 16 GHz
PublikacjaZ uwagi na urbanizację gwałtownie postępującą w przypadku zarówno zagranicznych, jak i polskich większych miast coraz częściej mamy w praktyce do czynienia z sytuacją, w której anteny obu końców łącza radiowego znajdują się poniżej średniego poziomu zabudowań. W takim przypadku fale radiowe rozprzestrzeniają się w swoisty sposób, głównie wzdłuż kanionów ulic, co ma charakter zgoła odmienny od alternatywnej i częściej rozważanej...
-
Experimental validation of the theoretical analysis of heat transfer between a liquid layer formed by an impinging jet and a solid surface
PublikacjaPrzedstawiono wyniki badań eksperymentalnych wymiany ciepła między poziomą powierzchnią a przepływająca po niej warstwa cieczy utworzoną z napływającej strugi gazowo-cieczowej. Wyniki badań eksperymentalnych porównano z modelem teoretycznym zjawiska.
-
Experimental verification of the theoretical modelof heat transfer between a liquid layer formed by a two-phase impinging jet and a solid surface
PublikacjaW pracy przedstawiono eksperymentalną weryfikacje modelu teoretycznego wymiany ciepła pomiędzy warstwą wody a stałą powierzchnią. Warstwa cieczy powstała z uderzającej o powierzchnię dwufazowej strugi uderzającej
-
Weryfikacja badań i ocena przeprowadzonych przez laboratorium KB POMORZE badan ultradźwiękowych spoin ram konstrukcji naprawczej platformy PG-1 (poziom 25m), względem wad stwierdzonych przez Laboratorium Lotos Serwis w dodatkowych badaniach.
PublikacjaPrzedmiotem pracy było badania ultradźwiękowe KB POMORZE w miesiącu marcu 2013. Konstrukcje będą zamontowane jako wzmocnienia dla podwodnych elementów konstrukcji na 3 poziomach. Dla badań NDT projekt przewidywał badania na podstawie specyfikacji: Quality Plan for Fabrication. 2.1. Badaniom ultradźwiękowym w obu przypadkach podlegały połączenia spawane - spoiny czołowe, obwodowe stalowych rur o średnicach Dz=609,6x25,4mm...
-
A fast technique for diplexer design
Publikacjaw artykule zaprezentowano nową metodę projektowanie mikrofalowych diplekserów. metoda bazuje na dokładnej syntezie filtrów kanałowych wykorzystującej modele zastępcze współczynników sprzężeń w celu uzyskania wstępnych wartości wymiarów układu. następnie dokonywana jest pełnofalowa optymalizacja filtrów kanałowych. ostateczne strojenie numeryczne jest ograniczone do tylko jednego elementu.
-
New aspects in assessment of changes in width of subarachnoid space with near-infrared transillumination/backscattering sounding, part 2: clinical verification in the patient
PublikacjaW pracy przedstawiono porównanie wyników symulacji propagacji promieniowania z zakresu bliskiej podczerwieni z danymi uzyskanymi na drodze pomiarów wykonanych w warunkach klinicznych. Różnice między nimi nie przekraczały 4 dB, co potwierdziło słuszność przyjętych założeń w procesie symulacji. W pomiarach wykorzystano unikatowy zetstaw nadajników i odbiorników promieniowania podczerwonego, pozwalającego prowadzenie pomiarów transmisji...
-
Analiza statyczna konstrukcji przęseł oraz podwieszenia mostu MA 21 przez rzekę Odrę w ramach budowy Autostradowej Obwodnicy Wrocławia
PublikacjaCelem opracowania jest niezależna weryfikacja obliczeń statycznych konstrukcji mostu Rędzińskiego we Wrocławiu, dobranie sił w wieszakach oraz weryfikacja przyjętych założeń konstrukcyjnych. W ramach prac wykonano dwa modele: uproszczony oraz złożony. W oparciu o modele przeprowadzono analizę statyczną oraz wytrzymałościową.
-
Analiza czynników zakłócających określanie stanów referencyjnych bloków energetycznych
PublikacjaW referacie wymieniono przyczyny powodujące niejednoznaczności i trudności wyznaczania wzorca sprawnej pracy bloków turbinowych. Przeanalizowano jedną z nich, polegającą na zmianach charakterystyk spowodowanych bieżącymi, częstymi remontami urządzeń składowych. Jako remedium na wynikające stąd trudności zaproponowano model obliczeniowy obiegu cieplnego o budowie modułowej. Pokazano, że strojenie indywidualne modułów tego modelu...
-
Diagnostyka cieplno-przepływowa obiektów energetycznych.
PublikacjaPrzedyskutowano problemy diagnostyki cieplno-przepływowej bloków energetycznych. Szczególną uwagę poświęcono blokom z turbinami parowymi. Opisano problemy monitoringu i diagnostyki. Przedstawiono koncepcję diagnostyki. Opisano modele matematyczne obiektów energetycznych i ich strojenie. Zidentyfikowano stan referencyjny. Scharakteryzowano pozyskiwanie danych eksperymentalnych. Zajęto się diagnostyką w warunkach niepełnej informacji...
-
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)...
-
Badania efektywności energetycznej pompy ciepła typu GEJZER KOMPAKT W 11
PublikacjaBadania eksperymentalne, analizy teoretyczne oraz weryfikacja klasy energetycznej sprężarkowej pompy ciepła woda-woda typu GEJZER KOMPAKT W 11 w świetle wymagań Dyrektywy Parlamentu Europejskiego
-
System monitoringu technicznego w obiektach mostowych - niezbędne czy przydatne?
PublikacjaW pracy przedstawiono rozważania na temat zasadności stosowania systemów monitoringu technicznego w mostach. Wskazano rodzaje systemów oraz przykłady zastosowań: utrzymanie, bezpieczeństwo oraz weryfikacja założeń projektowych.
-
A method of supporting client-provider cooperation in software acquisition processes and its evaluation criteria
PublikacjaArtykuł przedstawia metodę Wspomagania Interakcji KLienta i Dostawcy Oprogramowania (WIKLIDO). Metoda ta została zpowodzeniem zastosowana w dwóch studiach przypadków w komercyjnych projektach pozyskiwania oprogramowania. Artykuł wyjaśnia w jaki sposób metoda wykorzystuje środki modelowania do usystematyzowania interakcji pomiędzy klientem i dostawcą oprogramowania. Przedstawia również w jaki sposób wykorzystano podejście GQM (ang....
-
Aktualizacja współczynnikór równoważności pojazdów ciężarowych i autobusów
PublikacjaW artykule przedstawiono metodę analizy oddziaływania ruchu pojazdów ciężarowych na nawierzchnię drogowe przy wykorzystaniu wyników ważenia pojazdów w ruchu (WIM). Celem analizy jest weryfikacja obowiązujących w polsce współczynników przeliczeniowych pojazdów.
-
Metodologia i techniki programowania
PublikacjaKsiążka jest syntetycznym wprowadzeniem do technik programowania. Omawia podstawowe trendy rozwoju metodologii wytwarzania oprogramowania, takie jak: metody strukturalne, obiektowe, narzędzia CASE, standaryzacje programów i ocenę złożoności oprogramowania. Pokazuje również, jak projektować kodować, testować i uruchamiać programy, aby były niezawodne i efektywne. Naszkicowano w niej możliwości środowisk wytwarzania oprogramowania....
-
Artificial intelligence for software development — the present and the challenges for the future
PublikacjaSince the time when first CASE (Computer-Aided Software Engineering) methods and tools were developed, little has been done in the area of automated creation of code. CASE tools support a software engineer in creation the system structure, in defining interfaces and relationships between software modules and, after the code has been written, in performing testing tasks on different levels of detail. Writing code is still the task...
-
Komputerowe wspomaganie diagnostyki układu oddechowego człowieka
PublikacjaCelem pracy jest weryfikacja praktycznej przydatności parametrów modelu procesu respiracji w diagnostyce układu oddechowego. Modelowanie oparto o wyniki badania układu oddechowego techniką oscylacji wymuszonych. Zaprezentowano dwa modele wymiany gazowej: czteroparametrowy i sześcioparametrowy.
-
Application of programs ''Robot Millenium'' and MSC.Marc for membrane structures analysis.
PublikacjaCelem pracy jest weryfikacja obliczeń numerycznych przykryć wiszących dostępnymi na rynku programami komercyjnymi ''Robot Millenium'' i ''MSC.Marc'' W publikacji ograniczono się do analizy statycznej z uwzględnieniem nieliniowości geometrycznej i izotropowego prawa konstytutywnego.
-
Umysł kontra umysł - zagrożenia i metody walki ze złośliwym oprogramowaniem
PublikacjaZaprezentowano aktualny stan wiedzy na temat malware – złośliwego oprogramowania. Na początku przedstawiane są definicje malware oraz motywacja osób rozwijających takie oprogramowanie, a następnie klasyfikacja malware. W dalszej części referatu zaprezentowano autorski, możliwie kompletny, cykl życia złośliwego oprogramowania. Kolejny fragment poświęcony jest technikom, jakie stosują twórcy złośliwego oprogramowania w celu utrudnienia...
-
Experimental evaluation of the PLC-controlled drives properties.
PublikacjaPrzedstawiono strukturę stanowiska laboratoryjnego do testów oprogramowania PLC do sterowania napędami oraz do prowadzenia eksperymentalnych prób takich napędów. Omówiono zasady prowadzenia testów oprogramowania przed i w trakcie uruchamiania napędu. Przedstawiono przykładowe rezultaty doświadczeń.