Search
Filters
total: 327
filtered: 133
Search results for: metody 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....
-
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...
-
Nowoczesne metody planowania rozwoju systemu dystrybucji energii elektrycznej.
PublicationW referacie omówiono dwie metody planowania rozwoju systemu dystrybucji energii elektrycznej: programowanie całkowito-liczbowe i programowanie ewolucyjne. Wskazano na szereg innych metod, które w szczególnych sytuacjach także prowadzą do właściwego rozwiązania problemu planowania. Zwrócono uwagę na szczególną efektywność programowania ewolucyjnego. Przedstawiono czynniki sprawiające, że problem planowania rozwoju poprzez planowanie...
-
Metody wymiarowania zasobów sieci w architekturze IIP Internetu Przyszłości
PublicationNiniejszy artykuł omawia założenia, strukturę oraz metody wymiarowania zasobów sieci wdrożone w architekturze Internetu Przyszłości w ramach projektu Inżynieria Internetu Przyszłości (IIP) realizowanego w latach 2010-2013. W szczególności artykuł opisuje założenia proponowanych modeli programowania liniowego wykorzystanych w celu rozdziału zasobów sieci (przepustowości łączy, mocy przetwarzania węzłów) pomiędzy Równoległymi Internetami....
-
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.
-
Metody i aplikacje zdalnego szkolenia mieszkańców inteligentnych miast
PublicationSTRONA GŁÓWNAOBSZARY TEMATYCZNERADA NAUKOWARECENZENCIREDAKCJAINFORMACJE DLA AUTORÓWRECENZJAKONTAKT Strona główna > Numer 14/2017 > Metody i aplikacje zdalnego szkolenia mieszkańców inteligentnych miast METODY I APLIKACJE ZDALNEGO SZKOLENIA MIESZKAŃCÓW INTELIGENTNYCH MIAST Jerzy Balicki, Piotr Dryja, Waldemar Korłub, Maciej Tyszka Rozwój nowego rodzaju miast i regionów nazywanych smart cities pociąga za sobą nowy sposób...
-
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.
-
Optymalizacja strategii sieci inteligentnych agentów za pomocą programowania genetycznego w systemie rozproszonym realizującym paradygmat volunteer computing
PublicationDynamicznie rosnąca złożoność i wymagania w odniesieniu do rozproszonych systemów informatycznych utrudnia zarządzanie dostępnymi zasobami sprzętowymi i programistycznymi. Z tego powodu celem rozprawy jest opracowanie wielokryterialnej metody programowania genetycznego, która pozwala na optymalizację strategii zespołu inteligentnych agentów programistycznych w zakresie zarządzania systemem realizującym paradygmat volunteer computing....
-
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...
-
Optymalizacja rozwoju scentralizowanych systemów zasilania w ciepło aglomeracji miejskich.
PublicationPrzygotowano metodę badawczą umożliwiającą optymalizację techniczno-ekonomiczną przedsięwzięć związanych z utrzymaniem, modernizacją oraz rozbudową scentralizowanego systemu zasilania w ciepło, funkcjonującego na obszarze dużego miasta w Polsce. Opracowano model matematyczny systemu uwzględniający wszystkie jego ogniwa w postaci oddzielnych modułów, który umożliwił rozwiązanie sformułowanego problemu optymalizacji z wykorzystaniem...
-
Analiza częstotliwościowa sprzężeń elektromagnetycznych w układach ścieżek mikroelektronicznego układu hybrydowego
PublicationZaprezentowano problematykę sprzężeń elektromagnetycznych pomiędzy układem ścieżek mikroelektronicznego układu hybrydowego. Przedstawiono aplikację metody operatorowej (w połączeniu z przekształceniem przez podobieństwo i przekształceniem Fouriera) do analizy procesu propagacji zakłóceń przewodzonych w dziedzinie częstotliwości. Przy wykorzystaniu opcji programowania strukturalnego w programie Mathcad, opracowano, uruchomiono i...
-
Continuous Optimisation Algorithms
PublicationKsiążka poświęcona jest zagadnieniom optymalizacji ciągłej. Oprócz klasycznych algorytmów gradientowych omawiane są w współczesne algorytmy bezgradientowe, które stosowane są z powodzeniem w optymalizacji globalnej. Większość prezentowanych algorytmów określona może być mianem metaheurystycznych. Zaliczyć do nich można metody optymalizacji inspirowane procesami zachodzącymi w przyrodzie, które dalej można dzielić na inspirowane...
-
Integracja modelowania i implementacji oprogramowania w metodzie IMAC.
PublicationDotychczasowa technologia wytwarzania oprogramowania akceptuje występowanie niespójności pomiędzy modelowaniem w języku UML a implementacją w obiektowych językach programowania. Metoda IMAC zapewnia spójność przez zastosowanie jednolitej notacji graficznej w całym projekcie informatycznym. Dzięki temu implementacja zostaje sprowadzona do uszczegółowienia diagramów projektowych i wygenerowania gotowego, funkcjonalnego kodu programu....
-
Współczesne metody zapewniania jakości oprogramowania. Od klasyki do zwinności
PublicationKsiążka opisuje problematykę jakości w kontekście metod wytwarzania oprogramowania. Składa się z 22 rozdziałów podzielonych na 6 części: Znaczenie jakości oprogramowania, Podstawowe pojęcia i problemy jakości, Jakość w ujęciu klasycznym, Pomiary jakości, Dokumentacja i normy jakości procesu, Jakość w podejściu zwinnym. Zebrany materiał pokazuje ewolucję podejścia do jakości w klasycznych metodykach wytwarzania (od modelu kaskadowego...
-
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...
-
Multicriteria optymization method for yacht design
PublicationArtykuł dotyczy optymalizacji wielokryterialnej projektowania innowacyjnego systemu jachtowego w taki sposób by osiągnąć polepszone zachowanie dynamiczne w dowolnych warunkach nawigacji morskiej. W artykule skoncentrowano się na komputerowej symulacji, modelowaniu i optymalizacji matematycznego modelu jachtu w różnych warunkach żeglowania w celu poprawy zdolności manewrowania i zwiększenia szybkości. Przeprowadza się symulację...
-
DYNAMICZNA APLIKACJA INTERNETOWA SYMULACJI OBWODOWEJ MASZYNY INDUKCYJNEJ. UJĘCIE OBIEKTOWE
PublicationArtykuł dotyczy zastosowania dynamicznej aplikacji internetowa do symulacji obwodowej silnika indukcyjnego trójfazowego, wykorzystującej interfejs przeglądarki WWW. Model obwodowy silnika sformułowano w układzie osiach naturalnych i ujęciu metody energetycznej Lagrange’a. Implementację modelu maszyny w aplikacji internetowej wykonano w projekcie typu Web Forms, który jest elementem środowiska Microsoft Visual Studio. Kod programu...
-
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...
-
Dynamiczna aplikacja internetowa maszyny indukcyjnej w ujęciu obiektowym dla potrzeb symulacji obwodowej
PublicationTematem referatu jest dynamiczna aplikacja internetowa, która umożliwia symulację obwodową silnika indukcyjnego trójfazowego z wykorzystaniem interfejsu przeglądarki WWW. Model matematyczny silnika jest zdefiniowany w tzw. osiach naturalnych i sformułowany na podstawie metody energetycznej Lagrange’a. Do implementacji modelu maszyny w aplikacji internetowej wybrano projekt typu Web Forms, który jest składnikiem środowiska programistycznego...
-
Wpływ współczesnych obiektów handlowych na strukturę śródmieść.
PublicationPrzedmiotem pracy jest analiza oddziaływań współczesnych obiektów handlowych na struktury śródmiejskie w aspektach architektoniczno-urbanistycznych.Punktem wyjścia do rozważań na temat relacji centrów handlowych i dzielnic centralnych miast jest zarysowanie historii ich rozwoju, ustalenie ich cech charakterystycznych oraz elementów odróżniających je od tradycyjnych układów - ulic handlowych.Jako zasadnicze sfery oddziaływania obiektów...
-
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.
-
Integracyjna metoda konstrukcji aplikacji obiektowych w środowisku graficznym z uwzględnieniem wymagań jakościowych
PublicationIntegracyjna metoda wytwarzania aplikacji IMAC łączy obiektowe metody analizy i projektowania oprogramowania oparte o UML i RUP z implementacją w wybranym języku programowania obiektowego. Dla opisu projektu informatycznego we wszystkich fazach jego powstawania zaproponowano język modelowania i implementacji IML łączący w spójny sposób zmodyfikowane diagramy UML z elastyczną składnią tekstową opartą o popularne języki obiektowe....
-
Zastosowanie wysokopoziomowych języków programowania do wyznaczania nośności przemieszczeniowych pali wkręcanych.
PublicationW artykule podjęta zostaje problematyka współczesnego, bardziej ekonomicznego projektowania pali. Rozwiązania normowe np. PN-83-B-2482, bazują zazwyczaj na wielkościach takich jak stopień zagęszczenia czy stopień plastyczności. Powoduje to, że dane uzyskane bezpośrednio z badań podłoża są korelowane podwójnie. W niniejszym opracowaniu proponuje się, aby korzystając z funkcji transformacyjnych wyznaczać nośność pala bezpośrednio...
-
Integrated development plans of the functional urban areas in Pomeranian region in Poland
PublicationThe European Commission put a growing emphasis on the territorial and integrated app roach to policy support addressed in the frame of regional policy. In a special way this process refers to cities along with their functional environment. In Poland the National Spatial Development Concept 2030 has introduced the concept of functional areas, among others – Functional Urban Areas (FUAs). There is...
-
Optymalizacja alokacji modułów programistycznych w rozproszonym systemie szkolenia wojskowego
PublicationW pracy przedstawiono system metodologiczny do wyznaczania i oceny przydziałów modułów programistycznych w rozproszonym systemie informatycznym, bazującym na systemie MOODLE, wspomagającym zdalne nauczanie i szkolenie wojskowe. Opracowano modele matematyczne rozproszonych systemów komputerowych, na podstawie których sformułowano zadania optymalizacji wielokryterialnej. Główny nacisk położono na zastosowanie algorytmów ewolucyjnych...
-
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.
-
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...
-
Metoda neuronowego wyznaczania przestrzennych pól przepływów w przydźwiękowych i naddźwiękowych kanałach łopatkowych turbin parowych
PublicationNiniejsza rozprawa doktorska została poświęcona opracowaniu metody neuronowego wyznaczania przestrzennych pól przepływów w okołodźwiękowych kanałach łopatkowych turbin parowych. Obiektem badań naukowych przedstawionych w kolejnych rozdziałach są dwa ostatnie stopnie części niskoprężnej turbozespołu 18K370 z wylotem ND-37. Pierwszym etapem badań była budowa numerycznego modelu przepływu pary mokrej przez analizowany układ łopatkowy....
-
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.
-
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.
-
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.
-
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.