Search
Filters
total: 245
filtered: 131
-
Catalog
Chosen catalog filters
Search results for: TECHNIKI PROGRAMOWANIA
-
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....
-
Zaawansowane techniki optymalizacji Pixel Shaderów 2.0
PublicationArtykuł ma na celu przedstawienie wybranych technik optymalizacji kodu pixel shaderów w wersji 2.0. Omówiona została specyfika programowania Pixel Shaderów 2.0 oraz przedstawiony został język programowania niskopoziomowego, którego znajomość jest przydatna w procesie optymalizacji kodu pixel shaderów. Nastepnie na przykładzie Pixel Shadera realizującego efekt Screen Space Ambient Occlusion pokazane zostały wybrane metody optymalizacji...
-
Budowa 3-osiowej maszyny frezującej CNC, wraz z doborem parametrów regulatorów w torach sterowania serwomechanizmów
PublicationW pracy przedstawiono proces tworzenia stanowiska laboratoryjnego - maszyny frezującej CNC, której osie poziome napędzane są poprzez serwomechanizmy, zaś oś pionowa napędzana jest przez silnik skokowy. Budowę stanowiska kończy proces programowania maszyny, wraz z doborem parametrów regulatorów w torach sterowania serwomechanizmów. W tym celu zostały wykorzystane kryteria: Hurwitza oraz optimum symetrii. Rezultaty strojenia regulatorów...
-
Zastosowanie programowania parametrycznego w planowaniu operacji obróbki elementów o powtarzalnej geometrii
PublicationPorównywano zastosowania dostępnych technik programowania obróbki numerycznej przedmiotów o powtarzających się elementach konstrukcji. Analizowano możliwości stosowania programowania parametrycznego w trybie programowania zorientowanego warsztatowo oraz pracy w środowisku systemu klasy CAM. Zwrócono uwagę na przejrzystość tworzonego programu w aspekcie możliwości jego edycji i korekty składni, formy zapisu programu w pamięci obrabiarki...
-
Zastosowanie programowania parametrycznego w planowaniu operacji obróbki elementów o powtarzalnej geometrii
PublicationPorównywano zastosowania dostępnych technik programowania obróbki numerycznej przedmiotów o powtarzających się elementach konstrukcji. Analizowano możliwości stosowania programowania parametrycznego w trybie programowania zorientowanego warsztatowo oraz pracy w środowisku systemu klasy CAM. Zwrócono uwagę na przejrzystość tworzonego programu w aspekcie możliwości jego edycji i korekty składni, formy zapisu programu w pamięci obrabiarki...
-
Conformance testing of parallel languages
PublicationPrzedstawiono propozycję formalizacji opisu procesu generacji, wykonania ioceny testów zgodności dla języków i bibliotek programowania równoległego, wzakresie zgodności funkcjonalnej i wydajnościowej. Przykłady ilustrujące proponowany formalizm wykorzystują platformę programowania Athapascan.
-
Teoria i praktyka testowania programów
PublicationKsiążka stanowi doskonałą pomoc w nauczaniu problematyki z zakresu programowania, jakości programowania, planowanie i zarządzanie procesami wytwórczymi oprogramowania, a zawarte w niej treści są przydatne zarówno testerom, analitykom, projektantom, programistom, kierownikom projektów, jak też administratorom i osobom odpowiedzialnym za zakup, eksploatację i pielęgnacją oprogramowania w firmie.
-
Effective methods for functional confermance testing of parallel and distributed programming libraries.
PublicationRozprawa przedstawia kompletna metodykę tworzenia Zestawów Testów Zgodności dla języków programowania, bibliotek i API, ze szczególnym uwzględnieniem języków i bibliotek programowania równoleglego i rozproszonego. Autor rozpoczął badania w dziedzinie testowania zgodności dla bibliotek programowania równoleglego i rozproszonego, ale Metodyka Kolejnych zawężeń (ang. Consecutive Confinenments Method -CoCoM, stworzona przez Autora,...
-
Mikrokontrolery STM8S - pierwsze kroki (1)
PublicationArtykuł zawiera pierwszą część krótkiego kursu programowania mikrokontrolerów STM8S
-
Elektroenergetyka w Polsce. Ewolucja polskiego systemu wsparcia. - [Rynek i regulacje]
PublicationPrzedstawiono determinanty rozwoju elektroenergetyki. Określono kierunki programowania rozwoju elektroenergetyki.
-
mikrokontrolery stm8s - pierwsze kroki (2)
PublicationArtykuł zawiera drugą część krótkiego kursu programowania mikrokontrolerów STM8S
-
Cztery algorytmy, które wstrząsnęły światem. Część II: Od czasu wykładniczego do wielomianowego
PublicationOdcinek ten poświęcony jest problemowi programowania liniowego oraz problemowi badania liczb pierwszych.
-
Generowanie kosztów w kanalizacji sanitarnej
PublicationBłędy popełniane w fazie programowania i projektowania kanalizacji. Przykłady niewłaściwych rozwiązań. Konsekwencje finansowe
-
Zastosowanie procedur modelowania ekonometrycznego w procesach programowania i oceny efektywności w elektroenergetyce
Publicationprzedstawiono wybrane zagadnienia zastosowania procedur modelowania ekonometrycznego w procesach programowania i oceny efektywności w elektroenergetyce.
-
Rozdział mocy w układzie napędowym robota podwodnego - porównanie algorytmów alokacji naporów
PublicationPraca dotyczy syntezy systemu automatycznego sterowania robotem podwodnym w zakresie problemu rozdziału mocy w wielopędnikowym układzie napędowym. Do alokacji naporów zastosowano metody optymalizacji z ograniczeniami, pozwalające na wyznaczanie wektora naporów na podstawie wektora sił uogólnionych. Rozważono i porównano dwie metody rozdziału mocy dla robota realizującego ruch poziomy płaski o trzech stopniach swobody, rozpatrując...
-
Programowanie strukturalne
PublicationCelem niniejszej książki jest przedstawienie wybranych metod programowania strukturalnego, tzn. takich, które prowadzą do poprawnej struktury, poprawy jakości oprogramowania oraz zwiększenia efektywności programistów. Może ona służyć jako podręcznik akademicki wykorzystywany na podstawowych kursach inżynierii oprogramowania. Zainteresuje również wszystkich tych, którzy zajmują się programowaniem amatorskim i chcą poszerzyć swoją...
-
Aplikacje i środowiska kontekstowe: Środowisko OSGi oraz definiowalna architektura SOA
PublicationPodejście komponentowe jest coraz częściej wykorzystywane jako metoda wytwarzania aplikacji. Artykuł ten omawia specyfikację OSGi, definiującą platformę dla działania usług, które mogą być dynamicznie instalowane, uaktualniane i usuwane bez konieczności restartu całego środowsika. Rozwinięciem specyfikacji OSGi jest programowalna architektura SOA. Dostarcza ona mechanizmu programowania, który wraz z zaproponowanym zunifikowanym...
-
Optimal programming of critical sections in modern network processors under performance requirements.
PublicationPrzegląd konstrukcji i zastosowań metod programowania sekcji krytycznych w nowoczesnych procesorach sieciowych rodziny Intel IXP. Porównanie wydajnościowe w formie tabeli.
-
Współbieżność w obiektowych językach programowania.
PublicationPraca przedstawia koncepcje współbieżności i ich implementacje w językach programowania. Analizuje się efektywność rozwiązań i zwraca uwagę na problemy dotąd nierozwiązane.
-
Przykłady cyfrowego przetwarzania sygnałów w LabVIEW.
PublicationPierwszy rozdział obejmuje podstawy programowania w LabVIEW i zestawienie algorytmów przetwarzania sygnałów dostępnych w tym środowisku. W rozdziale drugim omówiono takie zagadnienia jak próbkowanie, kwantyzacja, aliasing, analiza widmowa, okno czasowe prostokątne i wygładzające. W rozdziale trzecim i czwartym przedstawiono filtry cyfrowe o skończonej i nieskończonej odpowiedzi impulsowej oraz filtrację adaptacyjną. Ostatni rozdział...
-
Zasadnicze problemy planowania energetycznego w mieście i gminie
PublicationPrzedstawiono problemy programowania rozwoju systemów zaopatrzenia w energię elektryczną, ciepło i gaz. Określono zadania i rolę przedsiębiorstw energetycznych w procesach planowania energetycznego.
-
Kształtowanie programów rewitalizacji miast w kontekście współczesnych przemian społeczno – ekonomicznych, doktrynalnych i prawnych
PublicationPraca dotyczy kwestii planowania i programowania rewitalziacji w kontekście współczesnych ujwarunkowań. Omówiono przy tym zarówno kwestie doktrynalne, prawne jak i społeczne oraz ekonomiczne
-
Efektywne programowanie procesora TMS320C6711 przy użyciu pakietu SIMULINK.
PublicationW artykule opisano alternatywny, w stosunku do standardowych metod kodowania, sposób programowania procesora TMS320C6711 z wykorzystaniem bibliotek pakietu SIMULINK. Scharakteryzowano własności karty uruchomieniowej ze zmiennoprzecinkowym procesorem sygnałowym TMS320C6711 firmy Texas Instruments, pod kątem tworzenia programów do układów prototypowych. Opisano także cechy pakietu SIMULINK jako wydajnego narzędzia pozwalającego na...
-
Zastosowanie procedur modelowania ekonometrycznego w procesach programowania i oceny efektywności inwestycji w elektroenergetyce
PublicationW pracy przedstawiono wybrane zagadnienia zastosowania procedur modelowania ekonometrycznego w procesach programowania i oceny efektywności inwestycji w elektroenergetyce. Przedstawiono koncepcję wielowymiarowej oceny efektywności inwestowania.
-
Cztery algorytmy które wstrząsnęły światem. Część I: Rys historyczny
PublicationOpracowanie jest pierwszym fragmentem 3-częściowego szkicu popularnonaukowego poświęconego najważniejszym osiągnięciom w dziedzinie algorytmiki teoretycznej. Wprowadzono w w arkana złożoności obliczeniowej i sztuki programowania komputerów.
-
Drawing Functions and NLP Algorithm Steps for Optimization Problems by using O&G Software.
PublicationPraca opisuje program służący do wizualizacji problemów programowania nieliniowego (funkcja celu, ograniczenia) oraz pracy rozwiązującego je algorytmu. Wizualizacja może być realizowana w przestrzeni dwu- lub trójwymiarowej.
-
Cztery algorytmy które wstrząsnęły światem. Część I: Wprowadzenie
PublicationArtykuł przeglądowy jest pierwszym fragmentem 3-częściowego szkicu popularnonaukowego poświęconego najważniejszym osiągnięciom w dziedzinie algorytmiki. Wprowadzono w nim w arkana złożoności obliczeniowej i sztuki programowania komputerów.
-
Solving nonlinear programming problems by using O&G software.
PublicationPraca opisuje pakiet optymalizacyjny oprogramowania O&G. Umożliwia on rozwiązywanie problemów programowania nieliniowego. Użytkownik może w wygodny sposób formułować rozwiązywane zadanie i dobierać metody obliczeniowe używając interaktywnego interfejsu.
-
Level and significance of European Union means in the budgets of non-urban poviats of Pomeranian voivodeship
PublicationJednym z warunków prowadzenia działań mających na celu rozwój obszaru jest posiadanie środków finansowych pozwalających realizować zadania, które ten rozwój determinują. Środki te pochodzić mogą z różnych źródeł. Jednym z tych źródeł jest wsparcie pochodzące z budżetu Unii Europejskiej przyznawane w określonych ramach czasowych zwanych okresem programowania. Polska już po raz drugi korzystać może z pomocy udzielanej w tej formie....
-
Cztery algorytmy które wstrząsnęły światem. Część II: Od czasu wykładniczego do wielomianowego
PublicationDrugi odcinek cyklu poświęcono problemowi programowania liniowego, który wywarł ogromny wpływ na życie milionów ludzi oraz badaniu liczb pierwszych, a więc problemowi ściśle związanemu z bezpieczeństwem naszych pieniędzy zdeponowanych w bankach.
-
Warunki planistyczne wykorzystania funduszy strukturalnych dla przebudowy miast
PublicationMiasta europejskie w tym polskie przechodzą gwałtowną transformację struktury i funkcji. Racjonalizacja tych procesów polega na akceptowaniu równoważenia rozwoju. Jest to podstawa planowania i programowania zintegrowanego. Artykuł zawiera rozwinięty opis przypadku Metropolii Trójmiasta.
-
Podaż na Mazowszu a rozwój klastrów cz.3
PublicationW niniejszym artykule autorka przedstawia informacje na temat wsparcia finansowego sformalizowanych klastrów na Mazowszu w nowym okresie programowania 2007-2013 - w ramach PO Innowacyjna Gospodarka, RPO Województwa Mazowieckiego oraz Programu Rozwoju Obszarów Wiejskich.
-
Generating reliable conformance test suites for parallel and distributed languages, libraries, and APIs.
PublicationArtykuł nakreśla nową metodykę dla tworzenia Zestawów Testów Zgodności (ZTG) dla języków, bibliotek i API programowania równoległego i rozproszonego. Autor rozpoczął swoje badania w zakresie testowania zgodności dla języka równoległego sterowanego danymi Athapascan, opracował metodykę dla projektowania i analizowania ZTG nazwaną Metodą Kolejnych Zawężeń (ang. Consecutive Confinements Methods - CoCoM), stworzył narzędzie CTS Designer,...
-
An optimization approach to coexistence of Bluetooth and Wi-Fi networks operating in ISM environment
PublicationW artykule rozważono problem wzajemnych interferencji pomiedzy urządzeniami standardów IEEE 802.11b oraz Bluetooth (BT). Zaproponowano model optymalizacyjny bazujący na podejściu programowania liniowego. Uzyskano znaczącą porawę wykorzystania pasma ISM w przypadku koegzystencji sieci rozważanych standardów.
-
Komputerowe wspomaganie zmian modernizowanych układów geometrycznych toru
PublicationW artykule przedstawiono opracowywany obecnie program komputerowy służący do obliczeń przesunięć toru i robót ziemnych związanych z modernizacją układów geometrycznych toru kolejowego. W pracy scharakteryzowano zastosowany język programowania oraz przedstawiono aktualny stan pracy nad programem.
-
Komputerowe wspomaganie zmian modernizowanych układów geometrycznych toru
PublicationW artykule przedstawiono opracowywany obecnie program komputerowy służący do obliczeń przesunięć toru i robót ziemnych związanych z modernizacją układów geometrycznych toru kolejowego. W pracy scharakteryzowano zastosowany język programowania oraz przedstawiono aktualny stan pracy nad programem.
-
Influence of generation-oriend IT-development on models of production-organisation.
PublicationW artykule pokazano megatrend generacyjności rozwoju IT jako pochodną jakościową empirycznych praw ilościowego rozwoju branży. W punkcie 2 wyspecyfikono generacje rozwojowe w obszarze: sprzetu, języków programowania, baz danych oraz oprogramowania uzytkowego- na przykładzie komputerowego wspomagania informatyki gospodarczej.
-
Możliwości przyrządów wirtualnych na przykładzie programu do pomiaru i analizy drgań na statkach.
PublicationOmówiono rozwój przyrządów wirtualnych stosowanych w diagnostyce, wynikający z rozwoju narzędzi do ich programowania. Przedstawiono oprogramowanie do pomiaru i analizy drgań na statkach. Umożliwia ono analizę zarejestrowanych sygnałów w funkcji czasu, częstotliwości i prędkości obrotowej wału silnika.
-
Szybka synteza prototypów filtrów rezonatorowych dla systemów telekomunikacji bezprzewodowej.
PublicationW niniejszym komunikacie opisana jest szybka technika syntezy macierzy sprzężeń. Synteza oparta jest na rozwiązaniu problemu programowania kwadratowego.Takie sformułowanie zagadnienia pozwala na znalezienie wartości sprzężeń miedzy poszczególnymi rezonatorami oraz miedzy rezonatorami a źródłem i obciążeniem jedynie wkilku krokach.
-
Komputerowa technika pomiarowa : oprogramowanie wirtualnych przyrządów pomiarowych w LabVIEW
PublicationKsiążkę rozpoczyna omówienie pojęcia przyrządu wirtualnego, struktury przyrządów i ich klasyfikacji. Podano przykłady przyrządów wirtualnych, stanowiących zarówno odpowiedniki przyrządów rzeczywistych, jak i nietypowych, do specjalistycznego zastosowania. Następnie dokonano przeglądu metod programowania przyrządów wirtualnych, m.in. z użyciem środowisk LabWindows/CVI, TestPoint i DASYLab. Zasadniczą część książki zajmuje szczegółowy...
-
Komputerowe wspomaganie zmian modernizowanych układów geometrycznych toru kolejowego z wykorzystaniem programu MUGO
PublicationW artykule przedstawiono opracowywany obecnie program komputerowy służący do obliczeń przesunięć toru i robót ziemnych związanych z modernizacją układów geometrycznych toru kolejowego w łukach. W pracy scharakteryzowano zastosowany język programowania oraz przedstawiono aktualny stan pracy nad programem MUGO.
-
Komputerowe wspomaganie zmian modernizowanych układów geometrycznych toru kolejowego z wykorzystaniem programu MUGO
PublicationW artykule przedstawiono opracowywany obecnie program komputerowy służący do obliczeń przesunięć toru i robót ziemnych związanych z modernizacją układów geometrycznych toru kolejowego w łukach. W pracy scharakteryzowano zastosowany język programowania oraz przedstawiono aktualny stan pracy nad programem MUGO.
-
Zasady programowania w Internecie
PublicationPrzedstawiono środowisko Internetu widziane z punktu widzenia programisty. Wprowadzono model trójwarstwowej aplikacji WWW, jakonajczęściej spotykanego przykładu programowania w środowisku Internetu. Wymieniono główne zadania programisty w ramach każdej z warstw i opisano przykładowe narzędzia realizacji tych zadań - technologie i języki.
-
Strategia rozwoju regionów : Zbliżanie przepisów prawnych Rzeczypospolitej Polskiej do acquis communautaire
PublicationSystem terytorialny Europy opiera się na państwach, regionach i gminach. Regionalne systemy terytorialne opisane zostały poprzez typologię, zasady rozwoju i uwarunkowania polityki rozwoju. Opisano strategie i programy rozwoju regionalnego w kontekście Strategii Lizbońskiej i okresu programowania Unii Europejskiej 2007-2013.
-
Instrumenty operacyjne rewitalizacji małych i średnich miast w Polsce
PublicationProblemy środowiska miejskiego stają się kluczowymi wyzwaniami współczesności. W Polsce instrumentami operacyjnymi rewitalizacji miast są: strategie, plany zagospodarowania przestrzennego, regionalne programy operacyjne. Opisano europejskie standardy programowania. Przedstawiono przykłady dobrych praktyk w podejściu do rozwoju i rewitalizacji małych i średnich miast na Pomorzu
-
Equitable 4-coloring of cacti and edge-cacti in polynomial time
PublicationRozważono problem wyznaczania sprawiedliwej liczby chromatycznej kaktusów i drzew wielokątowych bez trójkątów i krawędzi wiszących. Podano wielomianowy algorytm wyznaczający pokolorowanie optymalne, oparty na paradygmacie programowania dynamicznego. Tym samym znaleziona została kolejna klasa grafów planarnych, dla której kolorowanie sprawiedliwe jawi się jako zagadnienie obliczeniowo łatwe.
-
Optimization of development of district heating system
PublicationZaprezentowano metody optymalizacji systemów ciepłowniczych. Przedstawiono metodę oraz algorytm optymalizacji rozwoju systemu, obejmujący wszystkie jego elementy w formie oddzielnych modułów. Sformułowane zadanie optymalizacji dla wybranego regionu miejskiego rozwiązano z wykorzystaniem programowania liniowego całkowitoliczbowego. Dokonano analizy wyników oraz wskazano na użyteczność metody oraz kierunki i możliwości jej zastosowania.
-
Od projektu do programu
PublicationPraca wprowadza w zagadnienia implementacji i testowania, pod kątem proble-mów i metod przekształcania wyników fazy projektowania w oprogramowanie. O-mówienie poprzedza krótkie wprowadzenie w zagadnienia modelowania zachowańprogramu. Treść rozdziału uwzględnia też problem implementacji w postaci o-programowania równoległego, zarówno w zakresie specyfiki jego wytwarzania,jak i testowania.
-
Efficient list cost coloring of vertices and/or edges of some sparse graphs
PublicationRozważane jest kolorowanie wierzchołków i krawędzi grafów w modelach klasycznym, totalnym i pseudototalnym z uwzględnieniem dodatkowego ograniczenia w postaci list dostępnych kolorów. Proponujemy wielomianowy algorytm oparty na paradygmacie programowania dynamicznego dla grafów o strukturze drzewa. Wynik ten można uogólnić na grafy o liczbie cyklomatycznej ograniczonej z góry przez dowolnie wybraną stała.
-
Koala graph coloring library: an open graph coloring library for real-world applications
PublicationPomimo intensywnej pracy naukowej na polu kolorowania grafów, nie jest znana kompletna i dedykowana biblioteka programistyczna. Celem artykułu jest zaproponowanie architektury takiej biblioteki. Celem jest spełnienie oczekiwań wypływających z rzeczywistych zastosowań, w szczególności spełnienie potrzeb wydajnościowych. Zaimplementowano szereg algorytmów cheurystycznego kolorowania grafów. Przyjętym językiem programowania jest C++....