Filters
total: 110
filtered: 91
-
Catalog
Chosen catalog filters
Search results for: specyfikacje
-
Adaptacja francuskich kryteriów zmęczeniowych do projektowania nawierzchni podatnych w warunkach polskich
PublicationNiniejszy artykuł przedstawia francuską metodę projektowania konstrukcji nawierzchni podatnych oraz próbę przystosowania jej do polskich specyfikacji dotyczących mieszanek mineralno-asfaltowych. Opisano sposób dobierania parametrów materiałowych oraz obliczania współczynników modyfikujących trwałość zmęczeniową warstw asfaltowych konstrukcji nawierzchni. Dodatkowo opisano sposób obliczania trwałości nawierzchni ze względu na kryterium...
-
Nowy mechanizm dynamicznego sterowania mocą w systemie UMTS.
PublicationW referacie zaprezentowano nowy mechanizm dynamicznego sterowania mocą, pracujący z częstotliwością 3000 rozk/sek, możliwy do zastosowania w interfejsie radiowym WCDMA/FDD systemu UMTS. Na podstawie badań, przeprowadzonych w oparciu o własne oprogramowanie symulujące pracę systemu i kanał, dokonano porównana nowego mechanizmu z mechanizmem zaproponowany w specyfikacji systemu UMTS, pracującym z częstotliwością 1500 rozk/sek. Ponadto...
-
Uwagi do metodyki projektowania układów geometrycznych toru
PublicationW pracy podjęto kwestię zmian, jakie w zakresie projektowania układów geometrycznych toru wprowadziły nowe akty prawne - Techniczne Specyfikacje Interoperacyjności oraz Standardy Techniczne przyjęte przez PKP PLK S.A. Rozpatrzono w sposób szczegółowy dopuszczalne wartości parametrów kinematycznych, skupiając się w głównym stopniu na analizie wartości normatywnych. Następnie omówiono ogólne zasady określania podstawowych parametrów...
-
Metody realizacji pomiarów składowych natężenia promieniowania słonecznego dla monitoringu naukowego w różnych zakresach widmowych na potrzeby zastosowań fotowoltaicznych
PublicationW niniejszej pracy dokonano specyfikacji i analizy trybów monitorowania radiometrycznego systemów fotowoltaicznych. Przeprowadzono teoretyczne wprowadzenie do teorii detektorów termicznych i fotonowych. Zaprezentowano równania promieniowania krótkofalowego, długofalowego oraz bilansowego. Opisano profesjonalne komercyjne radiometry do specjalistycznych pomiarów meteorologicznych. Stwierdzono, że dla uzyskania szczegółowych danych...
-
Implementacja elementów SCORM w systemie zarządzającym nauczaniem Moodle.
PublicationW referacie dokonano analizy możliwoci takiej rozbudowy systemu Moodle, aby uzyskać zgodnoć z modelami danych okrelonymi w specyfikacji SCORM. Zaprezentowano idee podstawowych mechanizmów zdolnych do obsługi dodatkowych formatów kursów on-line, w tym metody dostarczania odpowiednich zasobów wiedzy do użytkownika. Przedstawiono problemy zwišzane z rozszerzeniem systemu Moodle o obsługę API zgodnego z SCORM oraz opis zaimplementowanych...
-
Wymagania dotyczące przygotowania dokumentacji projektowej oraz wykonania konstrukcji stalowych
PublicationW pierwszej części omówione zostały wymagania odnośnie przygotowania dokumentacji projektowej dla obiektów budowlanych o stalowej konstrukcji nośnej. W materiale odniesiono się do kwestii związanych z tolerancjami wykonania i montażu konstrukcji, opracowaniem dokumentacji rysunkowej oraz opisowej projektowanej konstrukcji, a w szczególności do specyfikacji technicznej. W drugiej części przedstawiono wymagania odnośnie realizacji...
-
Systemy agentowe - cechy, zastosowanie oraz przegląd narzędzi do ich tworzenia
PublicationRosnące zapotrzebowanie na systemy inteligentne powoduje jednoczesny wzrost zainteresowania tematyką systemów agentowych, mogących znaleźć zastosowanie w budowie wieloagentowych środowisk systemów inteligentnych. Niniejszy artykuł stanowi przegląd problematyki systemów agentowych poczynając od prezentacji definicji a kończąc na specyfikacji środowisk do wywarzania takich systemów. Stanowi także próbę odpowiedzi na ważne pytanie...
-
SDL i prosty scheduler - zastosowania.
PublicationRozdział przedstawia uzupełnienia, usprawnienia i zastosowania prostego schedulera zaproponowanego w [1]. Podstawowym uzupełnieniem jest powiązanie funkcji schedulera z językiem specyfikacji protokołów telekomunikacyjnych SDL [2]. Pokazano na czym polega problem w odmierzaniu czasu w ''procesach'' obsługiwanych przez scheduler oraz istotne ograniczenia mechanizmu odmierzania czasu w systemach warstwowych. Zaproponowano rozwiązania...
-
Definicje ontologii w wieloagentowym systemie do oceny technologii informatycznych
PublicationCelem artykułu jest zdefiniowanie ontologii dla potrzeb systemu wieloagentowego do oceny technologii informatycznych. Definicje ontologii stanowią podstawę do przygotowania ich specyfikacji dla potrzeb JADE (Java Agent Development Framework). W założeniu ma to być rozwiązanie wieloagentowe korzystające z takich elementów jak bazy wiedzy oraz ontologie traktowane z punktu widzenia JADE jako dołączane biblioteki. W artykule zaprezentowano...
-
Stalowe zbiorniki i konstrukcje powłokowe
PublicationReferat zawiera opis aktualnych problemów dotyczących projektowania zbiorników na paliwa płynne. W artykule przedstawione zostały aktualne wytyczne normowe dotyczące projektowania i wykonania zbiorników: normę „PN-EN 1993-1-6. Projektowanie konstrukcji stalowych. Część 1-6: Wytrzymałość i stateczność konstrukcji powłokowych”, normę „PN-EN 1993-4-2. Projektowanie konstrukcji stalowych. Część 4-2: Zbiorniki” i normę „PN-EN 14015....
-
Kwalifikowanie technologii spawania zgodnie z wytycznymi normy pn-en iso 15614-8 na przykładzie płyt sitowych stosowanych w u-rurowych wymiennikach ciepła
PublicationW artykule przedstawiono charakterystykę normy PN-EN ISO 15614-8:2005 "Specyfikacja i kwalifikowanie technologii spawania metali. Badanie technologii spawania. Część 8: Spawanie rur z płytami sitowymi". Zaprezentowano algorytm postępowania w przypadku stosowania tej normy, podano warunki, które uzasadniają wybór normy PN-EN ISO 15614-8 do zatwierdzania technologii spawania. Przedstawiono przykład złączy spawanych stosowanych w...
-
Analiza użytkowa systemów telekomunikacji satelitarnej
PublicationOpisano kierunki rozwoju osobistej telekomunikacji satelitarnej. Omówiono zapotrzebowanie na usługi świadczone przy użyciu techniki satelitarnej. Przeanalizowano doświadczenia wynikające z eksploatacji systemów typu LEO i GEO, z punktu widzenia ich możliwości użytkowych i aktualnego zapotrzebowania rynku na usługi telekomunikacyjne dostarczane poprzez satelitę. Scharakteryzowano przydatność quasi-globalnego podsystemu Inmarsat-GAN...
-
Pseudostany w diagramach maszyny stanowej języka UML 2.0
PublicationKluczowymi pojęciami w odniesieniu do obiektowych baz danych są obiekty i ich klasy. Aspekt dynamiczny obiektów w systemach intensywnie wykorzystujących dane może być modelowany przy wykorzystaniu diagramów maszyn stanowych. Semantykę tego rodzaju diagramów w wersji 2.0 języka UML znacząco rozbudowano o szereg kategorii pojęciowych. Do najistotniejszych z nich należą pseudostany obiektów. Pozwalają one na precyzyjną specyfikację...
-
Wspomagane komputerowo określanie wymaganego poziomu nienaruszalności bezpieczeństwa z wykorzystaniem autorskiej aplikacji ProSIL
PublicationW referacie przedstawiony został autorski moduł oprogramowania ProSIL wspomagający zarządzanie bezpieczeństwem funkcjonalnym. W module ProSILen wykorzystuje się metody matrycy oraz grafów ryzyka. Referat nawiązuje w swej tematyce do zagadnień związanych z etapem określania specyfikacji wymagań bezpieczeństwa dla zidentyfikowanych funkcji bezpieczeństwa realizowanych przez systemy E/E/PE. Składa się ona z dwóch podstawowych grup...
-
Ekspertyza(1)
PublicationEkspertyza dotycząca podtrzymania odwołania złożonego przez firmę EAS ENVIMET POLSKA Sp. z o.o. z siedzibą w Wieliczce, ul. Park Kingi 1 32-020 Wieliczka w Krajowej Izbie Odwoławczej przy Prezesie Urzędu Zamówień Publicznych, ul. Postępu 17a 02-676 Warszawa, wobec treści ogłoszenia o zamówieniu opublikowanym dnia 20 lipca 2013r. w Dzienniku Urzędowym Unii Europejskiej pod numerem 2013/S 140-243351 oraz wobec postanowień specyfikacji...
-
Ekspertyza
PublicationEkspertyza dotycząca podtrzymania odwołania złożonego przez firmę MARCIN JANIK ENVI-SYSTEM, Osiedle Sienkiewicza 6 lok.1, 32-080 Zabierzów w Krajowej Izbie Odwoławczej przy Prezesie Urzędu Zamówień Publicznych, ul. Postępu 17a 02-676 Warszawa, wobec treści ogłoszenia o zamówieniu opublikowanym dnia 28 czerwca 2013r. w Dzienniku Urzędowym Unii Europejskiej pod numerem 2013/S 124-212469 oraz wobec postanowień specyfikacji istotnych...
-
Robust design in delta domain for SISO plants: PI and PID controllers
PublicationW pracy przedstawiono zunifikowaną metodę numerycznie odpornej syntezy sterowników (regulatorów) działających w dyskretnym czasie w układach sterowania skalarnymi obiektami czasu ciągłego. Wykorzystano dyskretnoczasowe modele takich obiektów, oparte na tak zwanym operatorze delta, charakteryzującym się korzystnymi odpornościowymi cechami w przypadku stosowania dostatecznie małych wartości okresu próbkowania przetwarzanych sygnałów....
-
Technika satelitarna w telekomunikacji
PublicationScharakteryzowano różne rozwiązania satelitarnych systemów telekomunikacyjnych, głównie pod względem rodzaju zastosowanej orbity, co ma zasadnicze znaczenie użytkowe. Dokonano przeglądu dotychczasowych reprezentatywnych projektów takich systemów, analizując kolejne fazy ich rozwoju oraz występujące bariery technologiczno-ekonomiczne. Przedstawiono stan prac ETSI w zakresie specyfikacji GMR, której praktycznym przykładem są pierwsze...
-
Właściwości transmisyjne podwodnego kanału akustycznego
PublicationWłaściwości transmisyjne podwodnego kanału akustycznego są silnie uwarunkowane specyfiką jego geograficznej lokalizacji i zmieniają się w czasie. Istnieje potrzeba, by w systemie niezawodnej komunikacji dopasowywać do nich parametry warstwy fizycznej protokołu transmisji danych. Do realizacji tego celu niezbędny jest sparametryzowany opis podwodnego kanału komunikacyjnego. W artykule przedstawiono wyniki pomiarów odpowiedzi impulsowych...
-
Rozproszony system akwizycji, prezentacji i analizy informacji przestrzennej
PublicationW artykule przedstawiono skalowalny system prezentacji danych przestrzennych pochodzących z różnych źródeł, ze szczególnym uwzględnieniem specyfikacji Open Geospatial Consortium (OGC). System został zaimplementowany w technologii .NET i pracuje w środowisku rozproszonym w oparciu o Web Service. Aplikacja zrealizowana jest w formie apletu .NET, dzięki czemu można ją w prosty sposób osadzić w dokumencie HTML i umieścić na serwerze...
-
System zarządzania ruchem w sieci z węzłami dgt.
PublicationPrzedstawiono opracowany we współpracy z firmą DGT system informatyczny do zarządzania ruchem w rzeczywistej sieci telekomunikacyjnej z węzłami DGT. Referat składa się z dwóch części. W części związanej z zagadnieniami telekomunikacyjnymi przedstawiono wyniki analizy metod zarządzania ruchem w sieci pod kątem możliwości zaimplementowania ich w sieci z węzłami DGT. Dla wybranych metod zarządzania określono wymagane parametry wyznaczane...
-
Analiza porównawcza protokołów routingu dla bezprzewodowych sieci ad hoc
PublicationNowe usługi oferowane przez bezprzewodowe sieci LAN (WLAN) obejmują również wspieranie mobilności stacji końcowych. Prawidłowe funkcjonowanie ruchomych sieci WLAN wymaga oczywiście implementacji efektywnych metod routingu. By rozwiązać ten problem, IETF powołała grupę roboczą MANET (Mobile Ad Hoc Net-working Working Group). Zgodnie ze specyfikacją RFC 2501, sieć MANET jest zbiorem komunikujących się bezprzewodowo urządzeń, mogących...
-
Satelitarna telekomunikacja osobista
PublicationOmówiono stan obecny i perspektywy rozwojowe satelitarnych systemów telekomunikacji osobistej. Scharakteryzowano takie systemy pod względem rodzaju orbity i budowy konstelacji satelitarnej, z czego wynikają właściwości użytkowe określonego rozwiązania. W szczególności porównano systemy nisko i wysokoorbitowe, w tym także uruchomione ostatnio systemy satelitarnej telefonii komórkowej. Następnie opisano europejski program badawczy...
-
Generation of conformance test suites for parallel and distributed languages and APIS.
PublicationArtykuł zarysowuje nową metodologię systematycznego tworzenia Zestawów Testów Zgodności. Testowanie zgodności ma na celu sprawdzenie, czy implementacja jest zgodna ze swoją specyfikacją, co jest szczególnie ważne w środowiskach równoległych i rozproszonych, gdzie musi ze sobą współpracować wiele różnych pakietów. Autor rozpoczął swoje badania w dziedzinie testowania zgodności dla języka równoległego sterowanego danymi Athapascan,...
-
Efektywna warstwa pośrednicząca dla obliczeń typu master-slave w środowisku C++/MPI
PublicationPokazano, jak dla wysokowydajnościowego algorytmu pisanego w modelu master-slave w języku C++ i spełniającego pewne ograniczenia można napisać i wykorzystać warstwę komunikacyjną zupełnie oddzielającą kod odpowiedzialny za komunikację od kodu odpowiedzialnego za dzie-dzinę problemową. Przedstawiona zostaje specyfkacja wymagań, jakie powinien spełniać hipotetyczny system rozproszony oraz warstwa komunikacyjna, a także wymagania...
-
Control theory methods in diagnostic system design
PublicationPraca dotyczy zastosowania wybranych metod teorii sterowania do syntezy al-gorytmów detekcji uszkodzeń. Algorytmy takie, stanowiące istotną gałąźwspółczesnej diagnostyki technicznej obiektów dynamicznych, w swej istocieopierają się na rozwiązaniach odpowiednich zadań odpornego wyznaczania wek-torów resztowych, czyli ważonych błędów oszacowań wyjściadanego obiektu dy-namicznego (nadzorowanego procesu). Na treść pracy...
-
Metody teorii sterowania w projektowaniu układów diagnostycznych.
PublicationPraca dotyczy zastosowania wybranych metod teorii sterowania do syntezy algorytmów detekcji uszkodzeń. Algorytmy takie, stanowiące istotną gałąź współczesnej diagnostyki technicznej obiektów dynamicznych, w swej istocie opierają się na rozwiązaniach odpowiednich zadań odpornego wyznaczania wektorów resztowych, czyli ważonych błędów oszacowań wyjścia danego obiektu dynamicznego (nadzorowanego procesu). Na treść pracy...
-
Detecting defects in object-oriented diagrams using UML-HAZOP
PublicationArtykuł dotyczy metody wykrywania defektów w dokumentacji oprogramowania wykonywanego z zastosowaniem notacji UML. Metoda ta, nazwana UML-HAZOP, jest adaptacją metody HAZOP szeroko stosowanej w stosunku do systemów związanych z bezpieczeństwem. Metoda ta jest ukierunkowana na wykrywanie anomalii w dokumentacji projektowej na drodze analizy ''przepływów'' pomiędzy komponentami badanego systemu. Adaptacja metody do badania oprogramowania...
-
Opinia dotycząca zastosowania mieszanki MCE w trakcie remontu istniejących dróg DK 7 oraz DK 8 w ramach realizacji kontraktu "Kontynuacja projektowania i budowa odcinka drogi ekspresowej S8 od rejonu węzła OPACZ do węzła PASZKÓW"
PublicationW ramach realizacji kontraktu "Kontynuacja projektowania i budowa odcinka drogi ekspresowej S8 od rejonu węzła OPACZ do węzła PASZKÓW" firma TPA, działając na zlecenie firmy URS Sp. z o.o. przedstawiła propozycję remontu fragmentów istniejących nawierzchni dróg krajowych nr 7 i nr 8 z wykorzystaniem technologii MCE. Takie rozwiązanie jest zgodne z zapisami Specyfikacji Istotnych Warunków Zamówienia dla tego zadania ale pojawił...
-
Metoda oceny ryzyka na podstawowej sieci ulic na przykładzie Warszawy
PublicationW artykule przedstawiono wykorzystanie oceny ryzyka do zarządzania bezpieczeństwem infrastruktury drogowej. W pierwszej części przedstawiono uwarunkowania prawne oraz doświadczenia zagraniczne, które były przesłankami do opracowania metody oceny ryzyka na elementach liniowych i punktowych podstawowej sieci dróg miejskich w Warszawie. W drugiej części przedstawiono przyjęte założenia, opis obiektów analizy, okres analizy, specyfikację...
-
Dokumentacja projektowa obiektów o konstrukcji stalowej. Poznaj aktualne wytyczne
PublicationDokumentacja projektowa konstrukcji stalowych. Obowiązujące akty prawne regulujące wymagania odnośnie do formy i zakresu dokumentacji projektowej nie są całkowicie jednoznaczne, co pozwala na stosunkową dowolną ich interpretację. W rezultacie na placach budów i w wytwórniach konstrukcji stalowych wciąż są problemy związane z poprawnym wykonaniem, scaleniem i montażem konstrukcji stalowych, wynikające z niekompletnej lub niedopracowanej...
-
CZYNNIKI DECYDUJĄCE O PRZYDATNOŚCI KOMPUTEROWEGO MODELU PRZEPŁYWÓW W SIECI WODOCIĄGOWEJ
PublicationW pracy poddano analizie wielozadaniowy proces tworzenia komputerowego modelu przepływów. W efekcie zidentyfikowano szereg czynników ograniczających obszar stosowania modelu w praktyce inżynierskiej. W zakresie pozyskiwania danych strukturalnych i operacyjnych wskazano potencjalne źródła błędów, które przyczyniają się do zmniejszenia dokładności odwzorowania stanu rzeczywistego. Specjalną rangę nadano specyfikacji czynników związanych...
-
Zastosowanie kontrolerów strumieniowych USB do budowy dedykowanych interfejsów dźwiękowych.
PublicationCelem niniejszej publikacji jest omówienie zagadnień związanych z projektowaniem i budową dedykowanych komputerowych interfejsów dźwiękowych USB, charakteryzujących się wysokimi parametrami elektroakustycznymi oraz łatwością rozbudowy, z wykorzystaniem kontrolerów strumieniowych USB. W pierwszej kolejności omówiono cechy charakterystyczne magistral komunikacyjnych PCI oraz USB, które mogą służyć do budowy komputerowych interfejsów...
-
ZARZĄDZANIE STRATEGIAMI SZLIFOWANIA SZYN W PROCESIE UTRZYMANIA NAWIERZCHNI KOLEJOWYCH
PublicationSzlifowanie szyn kolejowych od co najmniej kilkunastu lat jest podstawową i integralną czynnością na rzecz prawidłowego utrzymania nawierzchni kolejowej i wydłużenia jej trwałości. Technologia, która pierwotnie stosowana była do usuwania tzw. zużyć falistych, czyli wzdłużnych nierówności powierzchni tocznej główki szyny, w coraz szerszym zakresie wprowadzana jest jako czynność planowo-zapobiegawcza. Zwiększone obciążenia dynamiczne...
-
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)...
-
Zatrudnienie a wzrost gospodarczy w teorii i w rzeczywistości gospodarki polskiej
PublicationW części teoretycznej artykułu w pierwszej kolejności przedstawiono makroekonomiczne podstawy zapotrzebowania na pracę w warunkach postępu technicznego oraz zmian kapitału rzeczowego. W następnej kolejności sformułowano założenia dla dynamicznego modelu opisującego zależności pomiędzy stopami wzrostu produktu krajowego i zatrudnienia. W części empirycznej artykułu rozważano wybrane wersje oszacowanego modelu opisujące gospodarkę...
-
Wzrost gospodarczy a zapotrzebowanie na prace - teoria i rzeczywistość gospodarcza Polski w latach 1995-2014
PublicationW części teoretycznej artykułu w pierwszej kolejności przedstawiono makroekonomiczne podstawy zapotrzebowania na pracę w warunkach postępu technicznego oraz zmian kapitału rzeczowego. W następnej kolejności sformułowano założenia dla modelu opisującego zależności pomiędzy stopami wzrostu produktu krajowego i zatrudnienia. W części empirycznej artykułu rozważano wybrane wersje oszacowanego modelu opisujące gospodarkę Polski. Do...
-
Dokumentacja projektowa konstrukcji stalowych w budowlanych przedsięwzięciach inwestycyjnych
PublicationObowiązujące akty prawne regulujące wymagania odnośnie do formy i zakresu dokumentacji projektowej nie są całkowicie jednoznaczne, co pozwala na stosunkową dowolną ich interpretację. W rezultacie na placach budów i w wytwórniach konstrukcji stalowych wciąż są problemy związane z poprawnym wykonaniem, scaleniem i montażem konstrukcji stalowych, wynikające z niekompletnej lub niedopracowanej dokumentacji projektowej. W książce są...
-
Ocena uszkodzeń studni i wpustów ulicznych w Gdańsku
PublicationW niniejszym artykule przedstawiono metodykę badań oraz wyniki oceny uszkodzeń studni i wpustów ulicznych na wybranych odcinkach ulic w Gdańsku, charakteryzujących się dużym natężeniem ruchu. Łączna długość analizowanych odcinków ulic wynosiła ponad 10 km. Ocenie poddano ponad 500 urządzeń uzbrojenia inżynieryjnego: studni kanalizacji deszczowej i sanitarnej oraz wpustów ulicznych. Stwierdzono trzy najczęściej występujące rodzaje...
-
Metodyka korekty programu elucji w kolumnowej chromatografii cieczowej - HPLC/UPC
PublicationUżytkownika aparatu HPLC / UPC oczekuje zgodności przebiegu programu elucji na wlocie do kolumny z zaprogramowana jego postacią. W praktyce - szczególnie z zastosowaniem modułów zasilania kolumny eluentem o programowanym składzie, wyposażonych w tzw. zawory proporcjonujące - mają miejsce odchylenia przebiegu programu elucji od wymaganej postaci. Ich amplituda mierzona w funkcji czasu, zależy od wartości opóźnienia transportowego...
-
Algorithms of fast service restoration in survivable multilayer networks
PublicationGłównym celem rozprawy jest zaproponowanie nowych modeli/algorytmów doboru tras zapewniających przeżywalność usług w sieciach IP-MPLS/WDM poprzez zastosowanie wyznaczonych zawczasu ścieżek zabezpieczających. Zakres pracy obejmuje: dokonanie przeglądu mechanizmów transmisji informacji w warstwowych sieciach teleinformatycznych IP-MPLS/WDM; szczegółowy opis sposobów zapewniania przeżywalności usług; zaproponowanie nowych metod doboru...