Filters
total: 2071
filtered: 1240
-
Catalog
- Publications 1240 available results
- People 90 available results
- Inventions 6 available results
- Projects 1 available results
- Laboratories 8 available results
- Research Teams 9 available results
- Research Equipment 10 available results
- e-Learning Courses 588 available results
- Events 11 available results
- Offers 1 available results
- Open Research Data 107 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: PROGRAMOWANIE LINIOWE
-
Multihull vessel excitations in stochastic formulation
PublicationPraca dotyczy określania wymuszeń wielokadłubowej jednostki pływającej w ujęciu stochastycznym. Wymuszenia ruchu jednostek pływających pochodzą od ruchu fal morskich i działania wiatru. Najczęściej jest to falowanie nieregularne i dlatego w badaniach dynamiki takich jednostek zakłada się, że proces falowania ma charakter probabilistyczny. Przeprowadzono analizę dynamiki jednostki wielokadłubowej na liniowym modelu, na który działa...
-
Application of the chromatographic retention index system for theestimation of the calibration constants of permeation passivesamplers with polydimethylsiloxane membranes
PublicationW pracy przedstawiono wyniki badań z zastosowaniem pasywnych dozymetrów typu permeacyjnego, wyposażonych w membrany wykonane z PDMS. Badania dotyczyły oszacowania wartości stałych kalibracyjnych dozymetrów przy wykorzystaniu systemu indeksów retencji, wyznaczanych chromatograficznie, w warunkach liniowego narostu temperatury pracy kolumny (LTPRI). Znaleziono korelację pomiędzy wartościami stałych kalibracyjnych próbników typu pasywnego,...
-
The effect of nonlinear restraint on torsional buckling and post-buckling behaviour of a thin-walled column
PublicationW pracy rozważa się wyboczenie skrętne i zachowanie pokrytyczne osiowo ściskanego swobodnie podpartego pręta cienkosciennego o przekroju otwartym ze sprężytą nieliniową podporą w środku rozpietości. Rozwiązanie problemu wyznaczono za pomocą metody małego parametru. W przykładzie numerycznym wyznaczono siłę krytyczną i ścieżkę początkowego zachowania pokrytycznego dwuteowego pręta z podporą sprężystą o charakterystyce składającej...
-
Uproszczone modelowanie linii kablowych wysokiego napięcia a napięcia indukowane w żyłach powrotnych – studium przypadku
PublicationLinie kablowe, obok linii napowietrznych, są jednym z podstawowych elementów składowych systemów elektroenergetycznych. Stosowane są głównie na terenach zurbanizowanych, gdzie prowadzenie linii napowietrznych jest mocno utrudnione lub wręcz niemożliwe. Linie kablowe wysokiego napięcia budowane są głównie z wykorzystaniem kabli, które oprócz żyły roboczej mają również współosiową żyłę powrotną. Istnieje kilka układów pracy takich...
-
Analiza wpływu indukcyjności czół uzwojenia jednowarstwowego silnika asynchronicznego klatkowego na jego właściwości dynamiczne
PublicationPraca dotyczy zagadnienia obliczania indukcyjności czół uzwojenia stojanów silników asynchronicznych klatkowych małej mocy. Przedstawiono wybrane wyniki analizy uzwojenia na przebiegi prądów stojana, momentu elektromagnetycznego i prędkości kątowej podczas rozruchu bezpośredniego silnika. Do analizy zastosowano metodę symulacyjną, wykorzystującą model obwodowy silnika opracowany w ujęciu energetycznym Lagrange'a. Parametry modelu...
-
Accurate Modeling of a Lossy Ferrite Circular Guide Section Magnetized Through a Rotary Four-Pole Magnetic Field
PublicationKorzystając z metody rodzajów sprzężonych opracowano model matematyczny umożliwiający określenie parametrów falowych i rozkładów pola em. fal występujących w ferrytowym falowodzie cylindrycznym magnesowanym czterobiegunowym polem magnetycznym. W oparciu o model określono macierz rozproszenia sekcji falowodu. Opracowane oprogramowanie pozwoliło na zbadanie charakterystyk częstotliwościowych sekcji ferrytowej i wskazanie możliwości...
-
Model ontologiczny referencyjnego problemu planowania misji inspekcyjnych
PublicationRozważany problem doboru, alokacji i planowania działań grupy robotów inspekcyjnych w środowisku pomieszczeń zamkniętych sformułowany został w modelu deklaratywnym. Zaproponowany model definiowany przez zbiór zmiennych decyzyjnych charakteryzujących środowisko pomieszczeń zamkniętych z nieruchomymi i poruszającymi się przeszkodami a także flotę robotów mobilnych oraz zbioru ograniczeń wiążących te zmienne, wyrażany jest w postaci...
-
Simultaneous Optimization of Unicast and Anycast Flows and Replica Location in Survivable Optical Networks
PublicationDotychczasowe prace z zakresu ochrony sieci przed awariami dotyczyły przypadku transmisji unicast. W niniejszym artykule rozważamy problem ochrony transmisji anycast (jeden-do-jednego-z-wielu). Jako wariant ochrony stosujemy podejście pojedynczej ścieżki zabezpieczającej (ang. path protection), chroniącej przed awarią pojedynczego węzła.Wprowadzono nowe modele programowania całkowitoliczbowego optymalnego znajdowania tras oraz...
-
Drgania mechaniczne : Rozwiązywanie zagadnień z MATHCAD-em
PublicationAutor proponuje jednoczesne poznawanie teorii drgań mechanicznych i wdrażanie jej do analizy własności dynamicznych układów mechanicznych. Stosuje do tego celu wspomaganie komputerowe za pomocą programu MATHCAD. Wyjaśnia naturę zjawiska drgań mechanicznych i jego znaczenie w technice oraz wpływ na środowisko. Prezentuje też wzorcowe programy pomocne przy samodzielnym programowaniu obliczeń. Podaje zasady tworzenia modeli dyskretnych...
-
Symulator Sym-PS4 sterownika programowalnego PS4-201-MM1
PublicationW pracy przedstawiono opis opracowanego programowego symulatora Sym-PS4 sterownika programowalnego PS4-201-MM1. Symulator umożliwia tworzenie i testowanie programów sterowania napisanych dla samego sterownika, jak również programów napisanych dla sterownika z dołączonymi do niego modułami rozszerzenia lokalnego LE4. Symulator posiada możliwość dołączania do niego tworzonych modeli sterowanych obiektów i pozwala na symulację działania...
-
Measurement of pulse signal period from incremental encorder by counters of Multifunctuin DAQ devices.
PublicationW artykule omówiono parametry liczników znajdujących się na wielofunkcyjnych kartach akwizycji sygnałów pomiarowych. Przedstawiono przygotowane w środowisku programowania Lab VIEW aplikacje wykorzystujące te liczniki. Służą one do pomiaru i rejestracji długości zadanej liczby okresów mierzonego sygnału oraz liczby okresów uzależnionej od ich długości (metoda zliczania zależnego z wydłużonym czasem pomiaru). Aplikacje te zostały...
-
TreeCmp: Comparison of Trees in Polynomial Time
PublicationMetryki filogenetyczne umożliwiają ocenę jakości wyników analizy filogenetycznej oraz wiarygodności algorytmów przeprowadzających taką analizę. Aplikacja TreeCmp oferuje efektywne, wielomianowe implementacje ośmiu takich metryk (dla drzew nieukorzenionych i zawierających korzeń) zdefiniowanych dla dowolnych filogenez (nie koniecznie binarnych). Program ten jako pierwszy umożliwia wyznaczanie nowych metryk, definiowanych w oparciu...
-
Systemy informacji przestrzennej w rozwoju e-uczelni
PublicationArtykuł opisuje istotę systemów informacji przestrzennej, ich definicję, krótką genezę oraz przybliża zagadnienia funkcjonowania współczesnych systemów tego typu. Szczególną uwagę zwrócono na moźliwości ich wykorzystania w szeroko rozumianej informatyzacji. Przez przykłady zastosowań zwrócono uwagę na rolę, jaką mogą pełnić takie systemy we współczesnym społeczeństwie. Zostały określone podstawowe wymagania dotyczące oprogramowania,...
-
Mechatronic system for automatic inspection of circular saw teeth
PublicationArtykuł prezentuje system mechatroniczny do automatycznej oceny geometrii ostrzy pił tarczowych. Opisywany system wizyjny został zastosowany w automatycznym kontrolerze ostrzy pił tarczowych WKOPTar. Wrzeciono urządzenia posiada swój napęd sterowany bezstopniowo obrazem ostrzy i zapewnia powtarzalne pozycjonowanie ostrzy w celu przechwycenia ich obrazów, które są następnie analizowane z wykorzystaniem specjalnego oprogramowania....
-
Praktyczne efekty analizy konstrukcji żelbetowych i sprężonych z uwzględnieniem zarysowania betonu
PublicationW artykule zawarto wybrane przykłady problemów strukturalnych związanych z modelowaniem zarysowania betonu zbrojonego. Zaprezentowano przykłady i studia przypadku. Model zarysowanego betonu pozwala przewidzieć naprężenia charakterystyczne w zbrojeniu i betonie. Pozwala również ocenić wielkość zarysowania oraz wpływ na redystrybucję sił wewnętrznych w zarysowanej konstrukcji. Taki rodzaj analizy jest dostępny w wysokiej jakości...
-
Realizacja elementów składowych łącza radiowego z użyciem urządzeń USRP dla potrzeb szybkiej transmisji danych do zastosowań specjalnych
PublicationW artykule przedstawiono realizację cyfrowego łącza radiowego dla potrzeb szybkiej transmisji danych do zastosowań specjalnych. Opisano jego koncepcję oraz realizację praktyczną z użyciem urządzeń USRP firmy National Instruments. Przedstawiono elementy funkcjonalne opracowanego oprogramowania w zakresie generowania i odbierania sygnałów cyfrowych pasma podstawowego, wraz z opisem zastosowanych modulacji cyfrowych i metody synchronizacji...
-
Cyfrowy akcelerator wybranych modułów standardu kompresji wideo H.264
PublicationW artykule przedstawiono konfigurowalny cyfrowy akcelerator estymacji ruchu przeznaczony dla enkodera wideo standardu H.264. Akcelerator został zaimplementowany w technologii FPGA oraz w układzie ASIC w technologii UMC 90 nm. Obie implementacje zostały zweryfikowane, a szczegółowe wyniki pomiarów akceleratora ASIC zostały porównane z innymi dostępnymi w literaturze propozycjami. System został zoptymalizowany do współpracy z oprogramowaniem...
-
Modelowanie magnetycznego pola rozproszonego z wykorzystaniem MES
PublicationW artykule zaprezentowano zalety oraz możliwości, ale i też ograniczenia jakie posiada MES. Z całą pewnością jest to bardzo użyteczna i obiecująca metoda numeryczna, pozwalająca na modelowanie zjawisk elektromagnetycznych, w szczególności zaś magnetycznego pola rozproszonego. Biorąc pod uwagę szybko postępujący rozwój możliwości obliczeniowych współczesnych komputerów oraz towarzyszący mu rozwój oprogramowania MES można stwierdzić,...
-
Zastosowanie koncepcji SDN w warstwie transportowej sieci IMS/NGN
PublicationKoncepcja sieci Next Generation Network, wykorzystująca w warstwie usług architekturę IP Multimedia Subsystem, zakłada centralizację funkcji sterowania zasobami sieciowymi w warstwie transportowej. Analogiczne założenie jest podstawą koncepcji Software Defined Networks. Na podstawie tej analogii, zaproponowano integrację obu koncepcji, przedstawiono architekturę zintegrowanej sieci, scenariusze sterowania zasobami oraz przygotowano...
-
Celowe zanieczyszczanie pilotów w łączu w górę w interfejsie 5G NR
PublicationReferat poświęcono zagadnieniu zakłócania sygnałów pilotowych w interfejsie radiowym 5G NR. Przedstawiono charakterystykę sygnału referencyjnego DMRS oraz uwarunkowania możliwości jego selektywnego zakłócenia. Opisano schemat transmisji w kanale fizycznym PUSCH, zaimplementowany w oprogramowaniu Sionna. Zaprezen-towano model symulacyjny oraz założenia badań wpływu zanieczyszczenia pilotów na jakość transmisji. Przedsta-wiono wyniki...
-
Human and organizational factors in risk analysis and safety management of azardous
PublicationArtykuł porusza aktualne kwestie dyskutowane podczas warsztatów na temat czynników ludzkich i organizacyjnych w analizie ryzyka i zarządzaniu bezpieczeństwem instalacji przemysłowych wysokiego ryzyka. Zauważa się rosnącą świadomość, że eksploatacja złożonego systemu wyposażonego w środki bezpieczeństwa oraz redundancyjne układy zabezpieczeń i sterowania, zawierające jednostki programowalne, może spowodować większe uzależnienie...
-
Control systems with programmable controllers - teaching aspects.
PublicationSterowniki programowalne są obecnie podstawowymi urządzeniami wykorzystywanymi w systemach sterowania i dlatego od absolwentów uczelni technicznych, a szczególnie absolwentów wydziałów elektrycznych, oczekuje się posiadania przynajmniej podstawowej wiedzy o sterownikach programowalnych i ich zastosowaniach. W pracy przedstawiono wybrane aspekty wprowadzenia do dydaktyki przedmiotu ''Systemy sterowania ze sterownikami programowalnymi''...
-
Testing and tuning PLC application programs
PublicationWe wstępie zawarto kilka uwag autora dotyczących pilnej potrzeby wdrażania na Wydziale Mechanicznym idei mechatronicznego kształcenia. Przedstawiono przegląd sposobów monitorowania i testowania programów aplikacyjnych PLC podczas budowania lub modernizacji systemów sterowania. Przedyskutowano zakres zastosowań oraz ograniczenia poszczególnych sposobów. Opisano przykład zastosowania zbudowanego stanowiska do eksperymentalnych testów...
-
25 lat kolei dużych prędkości we Francji
PublicationArtykuł przedstawia proces powstawania sieci kolei dużych prędkości we Francji. Omówiono poszczególne linie dużych prędkości: Paryż - Południowy Wschód, Atlantycką, Północno-Europejską, Łącznicową, Rodan-Alpy i Śródziemnomorską. Scharakteryzowano ofertę przewozową opartą na pociągach TGV. Porównano prędkości handlowe w wybranych relacjach.
-
Streaming caused by non periodic ultrasound.
PublicationOpracowano wzory na generację przepływów rotacyjnych przez falę akustyczną dowolnego typu. Równania ewolucyjne wyprowadzone, wyniki porównywane są teorią dla wielkości uśrednionych. Impuls dodatniej polarności służy przykładem fali akustycznej. Przedstawiono czasowe, przestrzenne wykresy na podstawie obliczeń numerycznych oraz linie pędu przepływu rotacyjnego.
-
Modelowanie dróg w interakcyjnym systemie wizualizacji terenu rzeczywistego
PublicationArtykuł zawiera dyskusję różnych metod opisu dróg i obiektów o podobnej strukturze (tory kolejowe, linie energetyczne, rzeki, itp.) w interakcyjnych systemach wizualizacji terenu rzeczywistego. Przedstawiono ponadto dwie możliwości integracji dróg z terenem w takich systemach. Wskazano wady i zalety poszczególnych rozwiązań.
-
Identification of nonlinear viscoelastic properties of the ''Panama'' fabric
PublicationTkanina techniczna Panama wytwarzana przez firmę Sattler (Niemcy)wykazuje cechy nieliniowe w tym właściwości lepkosprężyste w czasie testów długoterminowych. Na podstawie jednoosiowych testów płynięcia i regeneracji przeprowadzonych dla pięciu poziomów obciążenia przeprowadzono identyfikacje nieliniowych lepkosprężystych właściwości tkaniny. Do opisu zależności konstytutywnych użyto całkowego modelu Schapery'ego. Zastosowano funkcję...
-
Revised structure of the repeating unit of the O-specific polysaccharide from Azospirillum lipoferum strain SpBr17
PublicationO-polisacharyd otrzymany poprzez delikatną kwasową hydrolizę lipopolisacharydu wyizolowanego z Azospirillum lipoferum SpBr17 był badany metodami spektroskopii NMR jak również metodą analizy metylacyjnej połączonej z elektroforezą SDS-PAGE. Stwierdzono, że nie jest on liniowym homopolimerem złożonym wyłącznie z (1->3) [alfa]-glikozydowo połączonych cząsteczek L-ramnopiranozy (jak proponowano wcześniej) lecz sekwencją kolejnych bloków...
-
Implementacja automatycznych metod strojenia nastaw regulatora PID w sterowniku programowalnym
PublicationZainteresowanie środowiska przemysłowego klasycznymi algorytmami regulacji, dającymi akceptowalne wyniki pracy i stabilność w odniesieniu do zmiennych warunków otoczenia, wciąż jest bardzo duże. W artykule opisano wybrane inżynierskie metody doboru nastaw regulatora PID. Przedstawiono implementację sprzętową jednej z nich (metoda Åströma-Hägglunda) w sterowniku programowalnym PLC, umożliwiającą automatyczny dobór nastaw regulatora....
-
Comparative in vitro studies on liposomal formulations of amphotericin Band its derivative, N-methyl-N-D-fructosyl amphotericin B methyl ester (MFAME)
PublicationMFAME, ester metylowy N-metylo-N-D-fruktozylo amfoterycyny B jest półsyntetyczną pochodną antybiotyku przeciwgrzybowego amfoterycyny B (AMB). W przeciwieństwie do wyjściowego antybiotyku pochodna ta jest nietoksyczna dla komórek zwierzęcych oraz tworzy rozpuszczalne sole rozpuszczalne w wodzie. Przeprowadzono badania porównawcze aktywności biologicznej wolnego antybiotyku i wolnej pochodnej oraz ich preparatów liposomalnych. Stosowano...
-
Gazetteer compression technique based on substructure recognition
PublicationAutomaty skończone są najlepszą formą reprezentacji słowników do przetwarzania języka naturalnego. Przedstawiamy nową technikę kompresji, która jest szczególnie użyteczna w stosunku do pewnego rodzaju słowników. Zastępujemy wielokrotnie występujące podstruktury ich niepowtarzalnymi reprezentantami. Do ich znalezienia traktujemy wektor przejść jako tekst i stosujemy technikę kompresji tekstu w stylu Ziv-Lempel, która znajduje powtórzenia...
-
Wave propagation analysis in spatial frames using spectral Timoshenko beam elements in the context of damage detection
PublicationPraca poświęcona jest zjawisku propagacji fal sprężystych w trójwymiarowych układach ramowych. W ramach teorii belek Timoszenki formułuje się wielowęzłowy element belkowy klasy C0 z sześcioma inżynierskimi stopniami swobody w każdym węźle. Zakłada się, że elementy są wykonane z jednorodnego, izotropowego materiału liniowo sprężystego. Zasadniczym celem artykułu jest sformułowanie szybkiego i wydajnego schematu całkowania po czasie....
-
Modeling, run-time optimization and execution of distributed workflow applications in the JEE-based BeesyCluster environment
PublicationArtykuł prezentuje kompletne rozwiązanie do modelowania naukowych i biznesowych scenariuszy. statycznego i dynamicznego wyboru usług z uwzględnieniem parametrów jakościowych oraz wykonanie scenariuszy w rzeczywistym środowisku. Scenariusz jest modelowany jako acykliczny graf skierowany, w którym węzły reprezentują zadania zaś krawędzie zależności pomiędzy zadaniami. Warstwa pośrednia BeesyCluster jest wykorzystana do umożliwienia...
-
Ocena współpracy pali Vibro z podłożem gruntowym na podstawie badań in-situ
PublicationW odniesieniu od obecnych trendów optymalnego projektowania obiektów inżynierskich, dąży się do określania rzeczywistych wartości współdziałania podłoża gruntowego i konstrukcji. Pale Vibro, należą do grupy pali przemieszczeniowych z poszerzoną podstawą, charakteryzują się bardzo dużą nośnością, szczególnie w gruntach niespoistych. Próbne obciążenia statyczne wskazują, że nośność pali Vibro jest znacznie większa niż zakładana...
-
Gate Driver with Overcurrent Protection Circuit for GaN Transistors
PublicationThe improvement of the gate driver for GaN transistor is presented in this paper. The proposed topology contains the overcurrent protectionwith the two-stage turning off and independent control of turn on and off time of the GaN transistor. The operation of driver and its application in thehalf-bridge converter are described using both simulation and prototype measurements. The overcurrent protection was tested in Double Pulse...
-
WOPT-uniwersalny system do analizy i symulacji widm optycznych cienkich struktur dielektrycznych
PublicationPrzedstawiono system WOPT umożliwiający symulację złożonych, dielektrycznych powłok cienkowarstwowych. Oprogramowanie służy zarówno do projektowania specjalistycznych wielowarstwowych powłok optycznych jak i do kontroli parametrów gotowych produktów cienkowarstwowych. Za pomocą programu można wykonać analizę grubości oraz optycznych parametrów materiałowych powłok dielektrycznych na postawie wykonanych pomiarów spektralnych. Wykonano...
-
Lokalizacja i rozpoznawanie tablic rejestracyjnych na zdjęciach z fotoradarów
PublicationArtykuł opisuje stworzoną na Wydziale Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej aplikację do lokalizacji i rozpoznawania numerów rejestracyjnych pojazdów samochodowych na potrzeby realizowanego na tym wydziale Radiowego systemu monitorowania i akwizycji danych z urządzeń radarowych RSMAD. Na tle dzisiaj funkcjonujących w kraju rozwiązań system RSMAD wyróżnia się automatyzacją procesu przekazywania danych...
-
Reguły efektywnego projektowania semantycznych usług WWW
PublicationW pracy omówiono kluczowe zasady projektowania usług semantycznych w Internecie. Nawiązano do reguł formalizacji wiedzy za pomocą systemów ontologicznych, dla których implementacji opracowano języki programowania OWL i KIF. Odniesiono się także do sieci semantycznych jako metody sztucznej inteligencji w kontekście założeń projektu Web 3.0. Omówiono zasady stosowania języków XML, XML Schema, RDF, RDF Schema, OWL, SPARQL, a także...
-
Projektowanie oraz implementacja cyfrowego multiefektu gitarowego z wykorzystaniem procesora sygnałowego
PublicationW artykule został przedstawiony proces projektowania i realizacji cyfrowego multiefektu gitarowego z wykorzystaniem procesora sygnałowegoTMS320C5535 firmy Texas Instruments, dla którego oprogramowanie napisano w języku C. Omówiono zasady działania oraz algorytmy wybranych efektów dźwiękowych, które zostały zaimplementowane w procesorze sygnałowym. Zaprojektowano również uniwersalny moduł wejściowy zawierający wzmacniacz z regulowanym...
-
HARDWARE AND SOFTWARE OF DIAGNOSTIC SYSTEM OF WHEELED TRACTORS = Hardwer i softwer systemu diagnostycznego ciągników kołowych
PublicationPodstawowym elementem systemu diagnostycznego jest komputer pokładowy Fujitsu FUTURO S100 z chłodzeniem pasywnym w wykonaniu odpornym na drgania i wstrząsy, z pamięcią Compact Flesh 16Gb. Do komputera dołączony jest monitor dotykowy NVOX LCD 10" VGA/FVAT. Oprogramowanie komputera obejmujesystem operacyjny Windows XP-2000, driver konwertera USB/DeviceNet oraz opracowany program diagnostyczny. Komputer połączony jest łączem USB z...
-
Układ informatyczny systemu diagnostycznego ciągników kołowych
PublicationPodstawowym elementem systemu diagnostycznego jest komputer pokładowy Fujitsu FUTRO S100 z chłodzeniem pasywnym w wykonaniu odpornym na drgania i wstrząsy, z pamięcią Compact Flesh 16Gb. Do komputera dołączony jest monitor dotykowy NVOX LCD 10" VGA/FVAT. Oprogramowanie komputera obejmuje system operacyjny Windows XP-2000, driver konwertera USB/DeviceNet oraz opracowany program diagnostyczny. Komputer połączony jest łączem USB z...
-
OF-FEMEA: an approach to safety analysis of object oriented software intensive systems.
PublicationArtykuł przedstawia rozszerzenie metody FMEA znanej z jej zastosowań w stosunku do systemów związanych z bezpieczeństwem, w sposób umożliwiający jej stosowanie do systemów zawierających oprogramowanie i budowanych zgodnie z podejściem obiektowym. Punktem wyjścia dla metody są modele współpracy wyrażone w notacji UML. Komponenty systemu są modelowane z zastosowaniem notacji formalnej CSP. Metoda wspomaga systematyczną identyfikacje...
-
Aktualne problemy zarządzania niezawodnością i bezpieczeństwem linii produkcyjnej.
PublicationNowoczesne linie produkcyjne projektowane zgodnie z wymaganiami najnowszych norm oraz optymalizowane pod względem ekonomicznym, tak jak i starsze linie produkcyjne, zmagają się z problemami zapewnienia odpowiedniej niezawodności w funkcji kosztów przy jednoczesnym zapewnieniu wymaganego poziomu bezpieczeństwa. Fabryki wyposażone w skomputeryzowane procesy i rozbudowane narzędzia diagnostyczne często nie wykorzystują wielu informacji,...
-
Analiza wrażliwości dwuteowego pręta cienkościennego ze względu na zmiany parametrów przewiązek
PublicationPraca jest poświęcona analizie wrażliwości dwuteowego pręta cienkościennego o przekroju dwuteowym. Wyznaczono linie wpływowe zmian kątów skręcenia ze względu na zmiany szerokości przewiązek. Rezultaty otrzymane dla klasycznej teorii Własowa prętów cienkościennych o przekroju nieodkształcalnym porównano z wynikami analizy z zastosowaniem koncepcji superelementu.
-
Nowe metody diagnostyki technicznej taboru kolejowego
PublicationSystemy sterowania pojazdów trakcyjnych można podzielić na następujące dwie główne generacje:- systemy stykowo-przekaźnikowe, w których realizacja programu sterowania wynika z uzależnień elektromechanicznych i sposobu połączenia elementów między sobą,- systemy mikrokomputerowe, w których wzajemne uzależnienia urządzeń wykonawczych i realizacja funkcji sterujących są przejmowane przez program mikrokomputera.Pojazdy obu generacji...
-
Szkoła systemu Linux
PublicationKsiążka ''Szkoła systemu Linux'' wprowadza czytelnika w świat oprogramowania typu open source. Przedstawione zostały liczne programy, które umożliwiają między innymi zarządzanie danymi, pisanie i drukowanie dokumentów czy korzystanie z sieci. Za pomocą ksiązki można się nauczyć używania środowiska graficznego oraz wiersza poleceń. Opisano również działanie systemów operacyjnych, w tym Linux. Na płycie dołączonej do książki znajduje...
-
Verification of the fit to user profiles for UML tools
PublicationDopasowanie do profilu użytkownika ma wpływ na efektywność pracy użytkownika. W referacie postawiono pytanie, czy narzędzia UML rzeczywiście wspomagają pracę konkretnych ról w procesie wytwarzania oprogramowania. W ramach prac wykonano następujace zadania: opisano profile użytkowników narzędzi UML; wyodrębniono cechy narzędzi UML, które mają wpływ na dopasowanie do profili użytkowników; zaprojektowano model pokazujący związek pomiędzy...
-
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...
-
Poll Reader - the working prototype of optical mark recognition software
PublicationAutomatyczne rozpoznawanie zaznaczeń wydaje się stosunkowo prostym zadaniem z dziedziny przetwarzania dokumentów, a komercyjne systemy OMR są dostępne na rynku już od dłuższego czasu. Zdecydowaliśmy się jednak na stworzenie prostego darmowego oprogramowania, które mogłoby być wykorzystywane przez uczelnie zobowiązane do przeprowadzania ankiet wśród studentów. W rozdziale opisano konstrukcję programu oraz najważniejsze algorytmy...
-
Quality model for UML tools in application to UML tool selection and market analysis
PublicationJęzyki modelowania i wspierające je narzędzia odgrywają istotną rolę w procesie wytwarzania i utrzymania oprogramowania. Wraz ze wzrostem liczby narzędzi UML na rynku pojawia się potrzeba ich porównania i oceny. Artykuł prezentuje wielowymiarowy model oceny narzędzi UML, opisuje ankietę przydatną do oceny narzędzi UML oraz przedstawia system oceny narzędzi UML wraz ze studium przypadku jego zastosowania do poszukiwania narzędzi...