Filtry
wszystkich: 1166
wybranych: 487
-
Katalog
- Publikacje 487 wyników po odfiltrowaniu
- Czasopisma 15 wyników po odfiltrowaniu
- Wydawnictwa 2 wyników po odfiltrowaniu
- Osoby 45 wyników po odfiltrowaniu
- Projekty 3 wyników po odfiltrowaniu
- Zespoły Badawcze 1 wyników po odfiltrowaniu
- Aparatura Badawcza 2 wyników po odfiltrowaniu
- Kursy Online 474 wyników po odfiltrowaniu
- Wydarzenia 40 wyników po odfiltrowaniu
- Dane Badawcze 97 wyników po odfiltrowaniu
Filtry wybranego katalogu
Wyniki wyszukiwania dla: JĘZYK ANGIELSKI
-
Carbon Nanotubes Chemically Derivatize with Redox Systems as Mediators for Biofel Cell Applicatoions
PublikacjaEnzymatyczne bioogniwa paliwowe to urządzenia wykorzystujące enzymy do przemiany energii chemicznej w elektryczną. Zyskana w ten sposób energia może służyć do zasilania wszczepialnych urządzeń (np. czujników glukozy, rozruszników serca).Przedstawiono sposób otrzymywania i właściwości bioelektrod, w których wykorzystano nanorurki węglowe modyfikowane mediatorami enzymatycznych reakcji redoks. Do nanorurek przyłączano zarówno mediatory...
-
Carbon Nanotubes Chemically Derivatized with Redox Systems as Mediators for Biofuel Cell Applications
PublikacjaEnzymatyczne bioogniwa paliwowe to urządzenia wykorzystujące enzymy do przemiany energii chemicznej w elektryczną. Zyskana w ten sposób energia może służyć do zasilania wszczepialnych urządzeń (np. czujników glukozy, rozruszników serca). Przedstawiono sposób otrzymywania i właściwości bioelektrod, w których wykorzystano nanorurki węglowe modyfikowane mediatorami enzymatycznych reakcji redoks. Do nanorurek przyłączano zarówno mediatory...
-
Carbon nanotubes chemically derivatized with rebox systems as mediators for biofuel cell applications
PublikacjaEnzymatyczne bioogniwa paliwowe to urządzenia wykorzystujące enzymy do przemiany energii chemicznej w elektryczną. Zyskana w ten sposób energia może służyć do zasilania wszczepialnych urządzeń (np. czujników glukozy, rozruszników serca).Przedstawiono sposób otrzymywania i właściwości bioelektrod, w których wykorzystano nanorurki węglowe modyfikowane mediatorami enzymatycznych reakcji redoks. Do nanorurek przyłączano zarówno mediatory...
-
Internet as a new platform for delivery of microwave CAD services.
PublikacjaZaprezentowano aplikację przeznaczoną do syntezy filtrów rezonatorowych, która jest realizacją nowego sposobu myślenia związanego z rewolucją usług internetowych, które charakteryzują się niskim kosztem tworzenia oraz szybką i bezpieczną dystrybucją. Opisano stworzoną wielowarstwową aplikację, która gwarantuje łatwy, bezpieczny oraz ograniczony dostęp do aplikacji dla szerokiego kręgu osób. Zawarto w niej algorytm szybkiej syntezy...
-
The cartographer algorithm for processing and querying description logics ontologies
PublikacjaLogika opisowa jest jednym z najbardziej popularnych formalizmów opisu wiedzy. Jej popularność jeszcze wzrosła kiedy pojawił się standard języka OWL. W artykule zaprezentowano nowy algorytm wnioskowania - algorytm kartograficzny - umożliwiający wnioskowanie niejawnie podanej wiedzy z terminologii (TBox) i opisu świata (ABox). Opisano sposób przetwarzania ontologii w terminach sygnatur binarnych i efektywny sposób odpytywania ontologii...
-
Zdalne monitorowanie obiektów wyposażonych w instalację KNX
PublikacjaW artykule przedstawiono ideę i możliwości techniczne zdalnego monitorowania elementów instalacji elektrycznych wykonanych w standardzie KNX. Pokazano przykłady istniejących rozwiązań komercyjnych oraz ich ograniczenia. Zaprezentowano prototyp aplikacji opracowanej dla systemu Windows w języku C#, wykorzystującej bibliotekę Falcon do komunikacji z magistralą KNX. Umożliwia ona nadzór za pośrednictwem przeglądarki internetowej nad...
-
Modele semantyczne wymiany informacji o stanie systemu elektroenergetycznego
PublikacjaZaprezentowano Common Information Model CIM opracowany w Electric Power Research Institute EPRI w USA. Model ten wypełnia brak uniwersalnego języka opisu topologii i stanu sieci elektroenergetycznej. Stworzony został na potrzeby integracji narzędzi stosowanych przez podmioty sektora elektroenergetycznego. CIM wykorzystuje RDF Schema Definition (RDFS) i RDF. Na tle tego standardu przedstawiono własny zestaw pojęć mapujący meta-ontologię...
-
Algorytmy ewolucyjne w projektowaniu sieci MPLS
PublikacjaNiniejszy artykuł opisuje zrealizowane narzędzie, które umożliwia projektowanie sieci MPLS za pomocą Algorytmów Ewolucyjnych. Narzędzie to generuje ścieżki i optymalizuje alokację na nich przepływności żądań zapotrzebowań z uwzględnieniem klas obsługi strumieni ruchu z gwarancją zróżnicowanego QoS. Może także wybierać ścieżki do alokacji spośród danych wejściowych tak, aby wykorzystanie sieci było optymalne. Narzędzie to zostało...
-
Quality model for UML tools in application to UML tool selection and market analysis
PublikacjaJęzyki modelowania i wspierające je narzędzia odgrywają istotną rolę w procesie wytwarzania i utrzymania oprogramowania. Wraz ze wzrostem liczby narzędzi UML na rynku pojawia się potrzeba ich porównania i oceny. Artykuł prezentuje wielowymiarowy model oceny narzędzi UML, opisuje ankietę przydatną do oceny narzędzi UML oraz przedstawia system oceny narzędzi UML wraz ze studium przypadku jego zastosowania do poszukiwania narzędzi...
-
Use of Bi-Temporal ALS Point Clouds for Tree Removal Detection on Private Property in Racibórz, Poland
PublikacjaTrees growing on private property have become an essential part of urban green policies. In many places, restrictions are imposed on tree removal on private property. However, monitoring compliance of these regulations appears difficult due to a lack of reference data and public administration capacity. We assessed the impact of the temporary suspension of mandatory permits on tree removal, which was in force in 2017 in Poland,...
-
Improving methods to calculate the loss of ecosystem services provided by urban trees using LiDAR and aerial orthophotos
PublikacjaIn this paper we propose a methodology for combining remotely sensed data with field measurements to assess selected tree parameters (diameter at breast height (DBH) and tree species) required by the i-Tree Eco model to estimate ecosystem services (ES) provided by urban trees. We determined values of ES provided by trees in 2017 in Racibórz (a city in South Poland) and estimated the loss of ES from January 1, 2017 to March 5, 2017,...
-
Gazetteer compression technique based on substructure recognition
PublikacjaAutomaty skończone są najlepszą formą reprezentacji słowników do przetwarzania języka naturalnego. Przedstawiamy nową technikę kompresji, która jest szczególnie użyteczna w stosunku do pewnego rodzaju słowników. Zastępujemy wielokrotnie występujące podstruktury ich niepowtarzalnymi reprezentantami. Do ich znalezienia traktujemy wektor przejść jako tekst i stosujemy technikę kompresji tekstu w stylu Ziv-Lempel, która znajduje powtórzenia...
-
Les Lumieres contre la torture et la peine de mort
PublikacjaArtykuł napisany jest w języku francuskim. Jego tytuł w polskim tłumaczeniu brzmi: "Oświecenie wobec tortur i kary śmierci". Artykuł ten dotyczy stanowiska Woltera, Monteskiusza oraz Beccari wobec nadużyć systemu prawnego przedrewolucyjnej Francji. Analizuje on ich krytyczne stanowisko wobec tych nadużyć i bada filozoficzne teorie, jakimi posługują się Wolter i Monteskiusz w celu zniesienia tortur, oraz Beccaria, który nie tylko...
-
Komputerowy system pomiarowy do diagnostyki łożysk
PublikacjaW artykule przedstawiono komputerowy system do diagnostyki łożysk silników indukcyjnych metodą pomiaru i analizy mocy chwilowej pobieranej przez badane maszyny. Do realizacji oprogramowania systemu pomiarowego wybrano środowisko programowania w języku graficznym LabVIEW. Opracowane oprogramowanie umożliwia analizę, archiwizację i wizualizację danych uzyskanych z pomiarów mocy chwilowej, pobieranej przez badane silniki indukcyjne,...
-
Mo-P5:335 Influence of life style knowledge on the occurrence of cardiovascular risk factors in adults living in Krakow - South Poland
Publikacja -
29 Metabolic Syndrome and Selected Coronary Heart Disease Risk Factors in the Group of Krakow Adult Residents
Publikacja -
Możliwości komputerowego wspomagania interaktywnych ćwiczeń i testów.
PublikacjaArtykuł dotyczy tworzenia interaktywnych obiektów uczących w środowiskach zdalnego nauczania. Opisano zalecenia standardu SCORM dotyczące sposobu tworzenia obiektów z wykorzystaniem języka XML. Omówiono problemy z implementacją pytań i testów w interaktywnych materiałach dydaktycznych. Wyróżniono typy pytań i testów możliwe do realizacji w technologiach internetowych. Wskazano na konieczność budowy narzędzi, które umożliwią nauczycielom...
-
Les transducteurs à sorties variables
PublikacjaW przetwarzaniu języka naturalnego słowniki elektroniczne wiążą ze słowami informacje. Najwydajniejsza reprezentacja takich słowników używa maszyn ze skończoną liczbą stanów (automatów prostych lub automatów Mealy'ego). W tym artykule wzorując się na algorytmach bezpośredniej budowy minimalnego automatu deterministycznego proponujemy nowy typ automatu Mealy'ego. Ta nowa forma pozwala na szybkie obliczanie informacji wyjściowej...
-
Cathepsin C is a novel mediator of podocyte and renal injury induced by hyperglycemia
Publikacja -
Efficient and Economically Favorable Co-Free Air Electrodes for Solid Oxide Cells
Publikacja -
Associations of Nutritional Behavior and Gut Microbiota with the Risk of COVID-19 in Healthy Young Adults in Poland
Publikacja -
Współpraca georusztu i gruntu w badaniu na wyciąganie.
PublikacjaMonografia stanowi skróconą wersję rozprawy doktorskiej Angeliki Duszyńskiej wykonanej pod kierunkiem Adama Bolta, w ramach Studium Doktoranckiego "Geotechnika w Budownictwie i Ochronie Środowiska" WBWIŚ PG. W monografii przedstawiono przegląd rodzajów geosyntetyków, ich funkcje i zastosowania w budowlach ziemnych. Omówiono mechanizm współpracy zbrojenia odkształcalnego z gruntem oraz przedstawiono badania układu grunt-geosytetyk...
-
Metodologiczne aspekty opisowego modelowania w naukach ekonomicznych
PublikacjaPrzedmiot badań ekonomicznych, jako system złożony, podlega modelowaniu. Etapy dekompozycji i jakościowego opisu modelowanego systemu, w tym systemu gospodarczego, są nieodzowne w prawidłowym prowadzeniu badań naukowych. Z drugiej strony modelowanie w ekonomii nie powinno być pozbawione matematycznego języka opisu, ponieważ konstruując model wyjaśniający, należy posługiwać się zarówno modelem opisowym, jak i sformalizowanym. Tak...
-
Chromatografia gazowa. Teoria i praktyka.
PublikacjaChromatografia gazowa jest jedną z najważniejszych metod analitycznych mających zastosowanie w wielu dziedzinach, a chromatograf gazowy ? najbardziej rozpowszechnionym przyrządem analitycznym w laboratoriach na świecie. Oto najpełniejsze w języku polskim opracowanie poświęcone chromatografii gazowej napisane przez wybitnych polskich specjalistów z dziedziny chemii analitycznej. Przedstawiono w nim istotę chromatografii gazowej,...
-
Modelowanie internetowych aplikacji rozproszonych w zastosowaniach ekonomicznych i biznesowych
PublikacjaPrzestawiono problematykę rozproszonych aplikacji internetowych w zastosowaniach biznesowych. Zaprezentowano podejścia do modelowania oprogramowania dla rozwiązań komercyjnych. Scharakteryzowano podstawowe języki służące do modelowania oraz pokazano schematy operacyjne. W zakresie rozwiązań praktycznych pokazano modularną strukturę systemu zarządzającego ze zwróceniem uwagi na jego skalowalność oraz modyfikowalność. Omówiono etapy...
-
Efektywna warstwa pośrednicząca dla obliczeń typu master-slave w środowisku C++/MPI
PublikacjaPokazano, 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...
-
Kompensacja skoków ciśnienia w pompie tłoczkowej o zmiennej wydajności z rozrządem krzywkowym
PublikacjaPrzedmiotem rozprawy doktorskiej jest opis matematyczny, badania i symulacja mechanizmu kompensacji skoków ciśnienia w pompie tłoczkowej z rozrządem krzywkowym typu PWK. W rozprawie przedstawiono istniejące rozwiązania konstrukcyjne pomp tłokowych, kładąc szczególny nacisk na przedstawienie stosowanych w nich mechanizmów rozrządu i kompensacji skoków ciśnienia. Ponadto szczegółowo opisano budowę i zasadę działania pompy PWK będącej...
-
MOODLE MOOCS - PRZYPADKI UŻYCIA W PROJEKCIE SP4CE (PARTNERSTWO STRATEGICZNE NA RZECZ KREATYWNOŚCI I PRZEDSIĘBIORCZOŚCI)
PublikacjaProjekt SP4CE (Partnerstwo strategiczne na rzecz kreatywności i przedsiębiorczości) jest odpowiedzią na potrzeby zidentyfikowane w komunikacie z Brugii w sprawie ściślejszej europejskiej współpracy w dziedzinie kształcenia i szkolenia zawodowego w latach 2011 - 2020. Do realizacji portalu SP4CE wykorzystano oprogramowanie WordPress i Moodle. WordPress wykorzystano m.in. do udostępnienia materiałów informacyjnych oraz szkoleniowych...
-
Metoda hydrofitowa jako przykład zastosowania inżynierii ekologicznej w oczyszczaniu ścieków ze źródeł punktowych i obszarowych
PublikacjaOczyszczalnie hydrofitowe są obiektami, których praca symuluje warunki hydrauliczne oraz siedliskowe naturalnych ekosystemów bagiennych i jako takie są doskonałym przykładem zastosowania inżynierii ekologicznej. Nazwa angielska - "constructed wetlands" - oddaje istotę tych obiektów jako terenów podmokłych "skonstruowanych", czyli zaprojektowanych przez człowieka. Usuwanie zanieczyszczeń organicznych, związków biogennych, a także...
-
<p>In vivo Studies on Pharmacokinetics, Toxicity and Immunogenicity of Polyelectrolyte Nanocapsules Functionalized with Two Different Polymers: Poly-L-Glutamic Acid or PEG</p>
Publikacja -
Narratives on cutting down trees on private land. A comparison of urban and rural municipalities in Poland using the Q-deliberation method
PublikacjaIncreased development in rural and urban areas leads to a decrease in tree cover and reduces the ecosystem services that trees provide. Municipal authorities must consider managing trees on private land to ensure that residents have access to trees and green spaces. In doing so, they must frequently confront conflicting stakeholder views, which are driven by diverse public and private interests and impacted by the type of landscape...
-
Metoda PMRA oceny ryzyka przedsięwzięć informatycznych.
PublikacjaArtykuł prezentuje metodę PMRA (ang. Process Model-based Risk Assessment) oceny ryzyka przedsięwzięć informatycznych. W metodzie PMRA zaproponowano identyfikację ryzyka na podstawie własności strukturalnych modeli procesów. Dla tego celu opracowano model ryzyka wyprowadzony z rozszerzonego meta-modelu procesów biznesowych oraz wyposażony w język wzorców do opisu ryzyka. Zdefiniowano model bazy wiedzy o ryzyku obejmującej modele...
-
Komputerowe modelowanie układów przekształtnikowych przy wykorzystaniu różnych programów symulacyjnych - analiza porównawcza
PublikacjaNiniejsze opracowanie przedstawia porównanie wybranych, często stosowanych środowisk służących modelowaniu i symulacji. Porównanie jest oparte na analizie pracy układu prze-kształtnikowego wraz z niezbędnym obwodem sterowania. Założeniem autorów referatu jest porównanie nakładów pracy i czasu koniecznego na przygotowanie modelu do obliczeń, jak również ocena trudności w przygotowaniu, wymaganego czasu obliczeń przy zadanej dokład-ności,...
-
Timing diagrams functionalities in information systems modeling with UML 2
PublikacjaArtykuł prezentuje aktualną klasyfikację diagramów interakcji języka UML 2 i przedstawia właściwości nowego diagramu tj. diagram harmonogramowania. W artykule omówiono ich istotę oraz podstawowe i zaawansowane kategorie ich modelowania. Diagram ten umożliwia reprezentowanie na osi czasu zmian dopuszczalnych stanów klasyfikatorów uczestniczących w interakcji. Możliwość harmonizacji linii zmian stanów dla większej liczby klasyfikatorów...
-
Reguły efektywnego projektowania semantycznych usług WWW
PublikacjaW 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...
-
XML-based monitoring and its implementation in Perl
PublikacjaArtykuł ten omawia w sposób ogólny problem monitorowania systemów informacyjnych oraz opisuje system monitoringu wytworzony w firmie Lufthansa Systems w celu monitorowania systemów informatycznych swoich klientów. Artykuł koncentruje się głównie na XMLowym mechaniźmie przetwarzania danych użytym w tym systemie, opisuje on jednak również skrótowo pozostałe zasady jego działania. Zostały również omówione podstawy przetwarzania danych...
-
Projektowanie oraz implementacja cyfrowego multiefektu gitarowego z wykorzystaniem procesora sygnałowego
PublikacjaW artykule został przedstawiony proces projektowania i realizacji cyfrowego multiefektu gitarowego z wykorzystaniem procesora sygnałowegoTMS320C5535 firmy Texas Instruments, dla którego oprogramowanie napisano w języku C. Omówiono zasady działania oraz algorytmy wybranych efektów dźwiękowych, które zostały zaimplementowane w procesorze sygnałowym. Zaprojektowano również uniwersalny moduł wejściowy zawierający wzmacniacz z regulowanym...
-
Minimalizm jako metoda twórcza w architekturze współczesnej na wybranych przykładach z lat 1990-2005
PublikacjaPunktem wyjścia do pracy nad niniejszą książką była zaobserwowana zarówno w języku krytyki architektonicznej jak i w języku potocznym tendencja do utożsamiania, a za tym ograniczania, znaczenia architektonicznego minimalizmu do jego aspektu wizualnego. Niemal każde formalne lub stylistyczne uproszczenie wpisane zostaje w jakiś szeroki nurt minimalizmu, a prosty wygląd architektury stał się jego podstawowym kryterium klasyfikacyjnym....
-
Evaluation of Caffeine Consumption among Pregnant Women from Southern Poland
Publikacja -
A model-based approach to analysis of authentication protocols.
PublikacjaW referacie przedstawiono zintegrowane podejście do analizy protokołów uwierzytelniania o nazwie Object-oriented Formal Authentication Protocol Security Analysis Framework (OF-APSAF). Podejście to jest zaprojektowane na bazie sprawdzonej metody formalnej CSP wraz z narzędziami ją wspierającymi: Casper oraz FDR. Jego integralną częścią jest półformalna zorientowana obiektowo technika modelowania protokołów, ich kontekstu oraz wymagań...
-
Dynamic Perfect hashing with finite-state automata
PublikacjaMinimalna doskonała funkcja mieszająca dostarcza odwzorowania zbioru n niepowtarzalnych słów w zwarty zakres n liczb całkowitych. Gdy jest realizowane za pomocą automatów skończonych, odwzorowanie wynika z porządku słów (zwykle alfabetycznego) w zbiorze. Dodanie nowych słów zmieniłoby porządek słów rozpoznawanych przez automat, zmieniając całe odwzorowanie i czyniąc je bezużytecznym w wielu dziedzinach. Dlatego nazywamy je statycznym....
-
Investigations of methods to measure longitudinal forces in continuous welded rail tracks using the tamping machine.
PublikacjaPraca przedstawia w sposób poglądowy próby znalezienia efektywnej metody określania sił podłużnych w szynach toru bezstykowego. Szczególną uwagę poświęcono metodzie wymuszonych przemieszczeń poprzecznych. Podstawowym stwierdzeniem z przeprowadzonych własnych badań była konieczność odejścia od podnoszenia odłączonego od podkładów odcinka szyny i skoncentrowanie się na przemieszczeniach poprzecznych; doprowadziło to koncepcji zastosowania...
-
Obliczenia numeryczne w analizach hydraulicznych istniejących systemów kanalizacji deszczowej i mieszanej z wykorzystaniem programu TFD (Tube Flow Drain)
PublikacjaProgramowanie inżynierskie jako nieodłączny element prac związanych z optymalizacją istniejących układów sieci kanalizacji deszczowej. Obliczenia numeryczne stosowane w programie TFD (Tube Flow Drain) znacznie przyspieszyły proces wykonywania obliczeń hydraulicznych w zamkniętych kanałach grawitacyjnych o przekroju kołowym. Możliwość wykonania szybko i niezawodnie, sprawdzenia wpływu zmiennych (np.. Kalkulacje w autorskim programie...
-
KOMPUTEROWE WSPOMAGANIE BUDOWNICTWA PRZY PROJEKTOWANIU SŁUPÓW ŻELBETOWYCH WG EC
PublikacjaW artykule przedstawiony został autorski program komputerowy służący do projektowania i wymiarowania słupów w konstrukcjach żelbetowych z uwzględnieniem zjawisk wpływających na ich pracę oraz informacji dotyczących projektowania wg EC. Język który posłużył do napisania oprogramowania to środowisko C++. Program przeprowadza użytkownika przez poszczególne etapy wymiarowania: od wprowadzenia podstawowych danych takich jak wymiary,...
-
INFLUENCE OF DATA NORMALIZATION ON THE EFFECTIVENESS OF NEURAL NETWORKS APPLIED TO CLASSIFICATION OF PAVEMENT CONDITIONS – CASE STUDY
PublikacjaIn recent years automatic classification employing machine learning seems to be in high demand for tele-informatic-based solutions. An example of such solutions are intelligent transportation systems (ITS), in which various factors are taken into account. The subject of the study presented is the impact of data pre-processing and normalization on the accuracy and training effectiveness of artificial neural networks in the case...
-
Comments on ''Incremental construction and maintenance of minimal finite-state automata'' by Rafael C. Carrasco and Mikel L. Forcada.
PublikacjaW opublikowanym niedawno artykule (czerwiec 2002) Rafael Carrasco i Mikel Forcada przedstawili dwa algorytmy: jeden dotyczący przyrostowego dodawania łańcuchów znaków do języka minimalnego, deterministycznego, cyklicznego automatu skończonego, drugi dotyczący przyrostowego usuwania łańcuchów znaków z automatu. Pierwszy algorytm jest uogólnieniem ,,algorytmu dla danych nieuporządkowanych'' - drugiego z dwóch przyrostowych algorytmów...
-
DYNAMICZNA APLIKACJA INTERNETOWA SYMULACJI OBWODOWEJ MASZYNY INDUKCYJNEJ. UJĘCIE OBIEKTOWE
PublikacjaArtykuł 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...
-
Dobór optymalnej liczby jednostek funcjonalnych dla realizacji syntezy wysokiego poziomu układów cyfrowych
PublikacjaW pracy przedstawiono algorytm MNP (ang. minimization the number of procesing elements) wyznaczający liczbę jednostek funkcjonalnych niezbędnych do syntezy wysokiego poziomu zadania opisanego grafem przepływu danych (DFG - ang. data flow graph). Liczba jednostek funkcjonalnych wyznaczana przez prezentowany algorytm jest optymalna zarówno z punktu widzenia kosztów wykonania układu, jak i szybkości jego działania. Rozwiązanie tego...
-
Poszukiwanie piękna w architekturze ponowoczesnej w twórczości SANAA
PublikacjaJesteśmy świadkami i jednocześnie uczestnikami przemian cywilizacyjno-kulturowych, jakie dokonują się we współczesnym świecie. Również estetyka jest dyscypliną w fazie poszukiwań, która próbuje na nowo odnaleźć swoją formułę.W centrum współczesnej estetyki znajdują się sztuki przestrzeni, wśród których prym wiedzie architektura uwikłana w odwieczną aporię piękna i użyteczności . Ważne i istotne wydaje się pytanie czym jest piękno...
-
Ontologie vs. reguły — porównanie metod reprezentacji wiedzy na przykładzie dziedziny zarządzania usługami informatycznymi
PublikacjaTekst stanowi krótki przegląd wybranych konstrukcji służących reprezentacji wiedzy w postaci ontologii opartych na logice opisowej i porównanie ich z odpowiednikami opartymi na zapisie regułowym. Z powodu ograniczonej liczby stron pokazano tylko elementy związane z reprezentacją konceptów, bez uwzględniania ról. Do zapisu ontologii wykorzystano formalizmy języka OWL, zaś reguły wyrażono w Prologu. Dla lepszego zilustrowania tych...