Wyszukiwarka
Filtry
wszystkich: 371
wybranych: 147
Wyniki wyszukiwania dla: JEZYKI PROGRAMOWANIA SPRZETOWEGO
-
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.
-
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....
-
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.
-
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...
-
Metody i jezyki opisu scenariuszy zachowań aplikacji przetwarzania wszechobecnego
PublikacjaPrzedstawiono opis przetwarzania scenariuszy zachowań aplikacjiprzetwarzania wszechobecnego. Zaprezentowano charakterystykę porównawczą języków wykorzystywanych do opisu takich scenariuszy. Przytoczono prace, w których podjęto próby wykorzystania języków formalnych do weryfikowania poprawności scenariuszy na etapie ich defniowania.
-
Wykorzystanie metod zorientowanych obiektowo do programowania sterowników programowalnych
PublikacjaW artykule zostały przedstawione główne udogodnienia wynikające z wykorzystywania zasad i metod podejścia obiektowego do programowania sterowników programowalnych. Omówiona została aktualna sytuacja tradycyjnych języków tekstowych i graficznych po wprowadzeniu rozszerzenia IEC 61499 normy IEC61131. W dalszej części zaprezentowano podział cyklu tworzenia programu na trzy zasadnicze części - analizę, projektowania oraz programowanie...
-
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.
-
Quadratic programming approach to coupled resonator filter cad
PublikacjaArtykuł prezentuje technikę komputerowego wspomagania procesu projektowania filtrów zbliżeniowych. Polega ona na sformułowaniu macierzy sprzężeń jako problemu programowania kwadratowego (QP). Dzięki zdefiniowaniu procedury optymalizacyjnej jako problemu QP, przy założeniu liniowej zależności współczynników sprzężeń od wymiarów geometrycznych struktury, uzyskano znaczącą redukcję liczby pełnofalowych symulacji prowadzących do uzyskania...
-
Uczenie na błędach w nauczaniu programowania w systemie e-learningu
PublikacjaJedną z kluczowych umiejętności, które muszą posiąść adepci programowania, stanowi umiejętność poprawiania kodu programu zawierającego błędy. Jest to działanie bardzo złożone, wymagające znajomości składni języka, rozumienia semantyki kodu, znajomości zasad testowania oraz rozumienia działania algorytmu. W artykule autor proponuje własną metodę kształtowania umiejętności poprawiania kodu programu wykorzystującą narzędzia do nauczania...
-
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.
-
Zasady programowania i projektowania obiektow aquaparków.
Publikacja -
Zastosowanie programowania celowego do oceny stabilności skomplikowanych układów ekonomicznych
PublikacjaJednym z poważnych problemów gospodarki krajów postkomunistycznych jest niestabilne funkcjonowanie przedsiębiorstw przemysłowych. Szczególnego znaczenia nabiera wypracowanie takich mechanizmów decyzji w zakresie zarządzania aby stłumić lub złagodzić czynniki wywierające negatywny wpływ na działalność systemów ekonomicznych. Naszym zadaniem jest określenie pojęcia stabilności układu ekonomicznego (przedsiębiorstwa) oraz podstawowych...
-
Zastosowanie programowania dynamicznego do planowania dobowej pracy elektrowni pompowych
PublikacjaW artykule przedstawiono algorytm obliczeń wykorzystujący programowanie dynamiczne do planowania pracy elektrowni pompowych w systemie elektroenergetycznym. Przedstawiono wyniki obliczeń planów dobowej pracy przykładowej elektrowni pompowej.
-
Zastosowanie wysokopoziomowych języków programowania do wyznaczania nośności przemieszczeniowych pali wkręcanych.
PublikacjaW 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...
-
Optymalizacja strategii sieci inteligentnych agentów za pomocą programowania genetycznego w systemie rozproszonym realizującym paradygmat volunteer computing
PublikacjaDynamicznie 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....
-
Finansowanie przedsięwzięć rewitalizacyjnych z funduszy unijnych w okresie programowania 2007-2013
Publikacja -
Monitorowanie programowania i zmian w przestrzeni jako instrument zarządzania rozwojem regionalnym
PublikacjaZ analizy potrzeb stałej obserwacji zmian wynikają założenia monitoringu. Określono cele monitoringu, jego funkcje i zadania. Rozwinięto założenia kontrolingu jako formy monitoringu decyzyjnego, służącego weryfikacji poziomu realizacji celów rozwoju regionalnego i działań przestrzennych.
-
Warunki programowania i realizacji rozwoju regionalnego przez województwa samorzadowe po roku 2006.
PublikacjaPolskie regiony wobec strategii lizbońskiej znalazły się w nowej sytuacji uwarunkowań i wyników konkurencyjności: Przed programowaniem staż dylemat wyboru: między polaryzacją a wyrównywaniem szans. Kontrakt regionalny jest jednym z instrumentów wymagających przeformowania. Konieczne są zmiany instytucjonalne.
-
Regionalna Strategia Rozwoju Transportu w Województwie Pomorskim na lata 2007-2002 - w aspekcie nowego okresu programowania w Unii Europejskiej
PublikacjaRegionalna Strategia Rozwoju Transportu w Województwie Pomorskim jest ważnym narzędziem ksztatowania polityki transportowej województwa. Istotny wpływ na jej powstanie miała Nowa Perspektywa Finansowan Unii Europejskiej.
-
Hardware cryptography coprocessor for system on chip soft processor
PublikacjaW artykule przedstawiono realizację sprzętową i programową szyfrującejo i deszyfrującego algorytmu AES.Obydwie implementacje zostały zralizowane z wykorzystaniem układu Virtex II i przetestowane. Jako kryterium porónawcze wybrano zużycie zasobów układu oraz wydajność. Realizacja sprzętowa wykonuje operację szyfrowania 2 dekady szybcie niż wersja programowa, ale wymaga pięciokrotnie więcej zasobówIn this paper hardware and software...
-
Wykorzystanie języka VHDL do modelowania układów pracujących w logice wielowartościowej i arytmetyce resztkowej
PublikacjaW pracy przedstawiono bibliotekę zbudowaną w oparciu o język VHDL, przeznaczoną do symulacji elementów pracujących w logice wielowartościowej i w arytmetyce resztowej. Zaprezentowano również bramki prądowe - nowe elementy logiczne cechujące się znacznie mniejszym poziomem szumu cyfrowego. Pokazano przykłady sumatorów działających w logice wielowartościowej z podstawą N, lub w arytmetyce resztowej modulo N. Wyróżniającą cechą sumatorów...
-
Sprzętowa i programowa realizacja algorytmu szyfrującego AES = Hardware and software implementation of AES algorithm
PublikacjaW artykule przedstawiono sprzętową i programową realizację algorytmu szyfrującego i deszyfrującego AES. Obydwie implementacje zostały zrealizowane z wykorzystaniem platformy Virtex-II i praktycznie zweryfikowane. Jako kryteria do porównania wybrano: zużycie zasobów, przepustowość i zużycie mocy. Wersja sprzętowa charakteryzuje się 190-krotnie większą przepustowością, 80-krotnie mniejszym zużyciem energii na przetworzenie jednego...
-
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.
-
Testing for conformance of parallel programming pattern languages
PublikacjaThis paper reports on the project being run by TUG and IMAG, aimed at reducing the volume of tests required to exercise parallel programming language compilers and libraries. The idea is to use the ISO STEP standard scheme for conformance testing of software products. A detailed example illustrating the ongoing work is presented.
-
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
-
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...
-
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ą...
-
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.
-
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...
-
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.
-
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...
-
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.
-
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.
-
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,...