Filters
total: 747
filtered: 533
-
Catalog
Chosen catalog filters
Search results for: STROJENIE I WERYFIKACJA OPROGRAMOWANIA
-
WERYFIKACJA KONCEPCJI PRZEGUBÓW PLASTYCZNYCH PROJEKTOWANYCH NA ODZIAŁYWANIA SEJSMICZNE WIADUKTU V6 OBWODNICY ISTAMBUŁU
PublicationW 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
PublicationW 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
PublicationW 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.
PublicationWyniki 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
PublicationW 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
PublicationW 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
PublicationPrzeprowadzono 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
PublicationObecnie 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
PublicationWię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
PublicationW 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.
-
Kryteria oceny metody wspomagającej interakcję klient-Dostawca oprogramowania i ich zastosowanie do metody WIKLIDO
PublicationW 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.
-
Ocena warunków nasłonecznienia i projektowanie elektrowni słonecznych z wykorzystaniem dedykowanego oprogramowania oraz baz danych
PublicationPrzytoczono 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...
-
Weryfikacja i aktualizacja "Katalogu typowych konstrukcji nawierzchni podatnych i półsztywnych" z 1997 roku - Etap III
Publication...
-
Komputerowa weryfikacja układów cyfrowych CMOS utworzonych z podukładów zasilanych ze źródeł o różnych wartościach napięcia
PublicationW 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
PublicationPrzedmiotem 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 odwzorowania kształtów i wymiarów podzespołów płaskich, wycinanych w technologii elektrodrążenia urządzenia wspomagającegozrobotyzowane narzędzia laparoskopowe
PublicationW 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
PublicationW 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ą
PublicationDla 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
PublicationArtykuł 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
PublicationSterowniki 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
PublicationModel 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
PublicationPrzeanalizowano 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
PublicationArtykuł 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
PublicationThe 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
PublicationIn 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
PublicationW 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.
-
New trim configurations for laser trimmed thick-film resistors - theoretical analysis, numerical simulation and experimential verification
PublicationW 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...
-
CFD ship squat determination method validation by GPS-RTK measurements
PublicationArtykuł zawiera porównanie numerycznych obliczeń osiadania statku z wynikami badań rzeczywistych z wykorzystaniem metody GPS-RTK.
-
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
PublicationZgodnie 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.
PublicationZaprezentowano 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
PublicationZ 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
PublicationPrzedstawiono 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
PublicationW 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.
PublicationPrzedmiotem 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
Publicationw 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
PublicationW 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
PublicationCelem 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
PublicationW 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.
PublicationPrzedyskutowano 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
PublicationThis 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
PublicationBadania 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?
PublicationW 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
PublicationArtykuł 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
PublicationW 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
PublicationKsiąż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
PublicationSince 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
PublicationCelem 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.
PublicationCelem 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
PublicationZaprezentowano 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.
PublicationPrzedstawiono 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ń.