Wyszukiwarka
Filtry
wszystkich: 245
wybranych: 131
-
Katalog
Filtry wybranego katalogu
Wyniki wyszukiwania dla: TECHNIKI PROGRAMOWANIA
-
Metodologia i techniki programowania
PublikacjaKsiążka jest syntetycznym wprowadzeniem do technik programowania. Omawia podstawowe trendy rozwoju metodologii wytwarzania oprogramowania, takie jak: metody strukturalne, obiektowe, narzędzia CASE, standaryzacje programów i ocenę złożoności oprogramowania. Pokazuje również, jak projektować kodować, testować i uruchamiać programy, aby były niezawodne i efektywne. Naszkicowano w niej możliwości środowisk wytwarzania oprogramowania....
-
Zaawansowane techniki optymalizacji Pixel Shaderów 2.0
PublikacjaArtykuł 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
PublikacjaW 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
PublikacjaPoró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
PublikacjaPoró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
PublikacjaPrzedstawiono 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
PublikacjaKsiąż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.
PublikacjaRozprawa 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)
PublikacjaArtykuł zawiera pierwszą część krótkiego kursu programowania mikrokontrolerów STM8S
-
Elektroenergetyka w Polsce. Ewolucja polskiego systemu wsparcia. - [Rynek i regulacje]
PublikacjaPrzedstawiono determinanty rozwoju elektroenergetyki. Określono kierunki programowania rozwoju elektroenergetyki.
-
mikrokontrolery stm8s - pierwsze kroki (2)
PublikacjaArtykuł 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
PublikacjaOdcinek ten poświęcony jest problemowi programowania liniowego oraz problemowi badania liczb pierwszych.
-
Generowanie kosztów w kanalizacji sanitarnej
PublikacjaBłę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
Publikacjaprzedstawiono wybrane zagadnienia zastosowania procedur modelowania ekonometrycznego w procesach programowania i oceny efektywności w elektroenergetyce.
-
Programowanie strukturalne
PublikacjaCelem 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ą...
-
Rozdział mocy w układzie napędowym robota podwodnego - porównanie algorytmów alokacji naporów
PublikacjaPraca 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...
-
Aplikacje i środowiska kontekstowe: Środowisko OSGi oraz definiowalna architektura SOA
PublikacjaPodejś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.
PublikacjaPrzeglą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.
PublikacjaPraca 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.
PublikacjaPierwszy 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
PublikacjaPrzedstawiono 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
PublikacjaPraca 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.
PublikacjaW 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
PublikacjaW 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
PublikacjaOpracowanie 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.
-
Cztery algorytmy które wstrząsnęły światem. Część I: Wprowadzenie
PublikacjaArtykuł 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.
-
Drawing Functions and NLP Algorithm Steps for Optimization Problems by using O&G Software.
PublikacjaPraca 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.
-
Solving nonlinear programming problems by using O&G software.
PublikacjaPraca 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
PublikacjaJednym 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
PublikacjaDrugi 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
PublikacjaMiasta 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
PublikacjaW 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.
PublikacjaArtykuł 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
PublikacjaW 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
PublikacjaW 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
PublikacjaW 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.
PublikacjaW 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.
-
Szybka synteza prototypów filtrów rezonatorowych dla systemów telekomunikacji bezprzewodowej.
PublikacjaW 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.
-
Możliwości przyrządów wirtualnych na przykładzie programu do pomiaru i analizy drgań na statkach.
PublikacjaOmó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.
-
Komputerowa technika pomiarowa : oprogramowanie wirtualnych przyrządów pomiarowych w LabVIEW
PublikacjaKsiąż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
PublikacjaW 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
PublikacjaW 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
PublikacjaPrzedstawiono ś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
PublikacjaSystem 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
PublikacjaProblemy ś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
PublikacjaRozważ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
PublikacjaZaprezentowano 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
PublikacjaPraca 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
PublikacjaRozważ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.
-
Object oriented grid computing for computational electromagnetics
PublikacjaArtykuł opisuje bibliotekę WiCommGrid napisaną w języku java, która realizuje ideę wymiany informacji pomiędzy węzłami środowiska rozproszonego z zastosowaniem programowania zorientowanego obiektowo. Biblioteka ta przystosowana jest do współdziałania z wieloma systemami operacyjnymi oraz z rożnym środowiskiem sprzętowym. Zbudowaną aplikację zastosowano do zrównoleglonych obliczeń rozkładu pola elektromagnetycznego w oparciu o algorytm...