Filters
total: 589
filtered: 146
-
Catalog
- Publications 146 available results
- Journals 17 available results
- People 10 available results
- Projects 2 available results
- Laboratories 1 available results
- Research Equipment 1 available results
- e-Learning Courses 372 available results
- Events 6 available results
- Open Research Data 34 available results
Chosen catalog filters
Search results for: JEZYK VHDL
-
Elementary gates for cartoon computation
PublicationSformułowano elementarne bramki kwantowe, pozwalające tłumaczyć algorytmy kwantowe na język geometryczny.
-
HIGH LEVEL SYNTHESIS IN FPGA OF TCS/RNS CONVERTER
PublicationThe work presents the design process of the TCS/RNS (two's complement–to– residue) converter in Xilinx FPGA with the use of HLS approach. This new approach allows for the design of dedicated FPGA circuits using high level languages such as C++ language. Such approach replaces, to some extent, much more tedious design with VHDL or Verilog and facilitates the design process. The algorithm realized by the given hardware circuit is...
-
Makrogenerator translatorów MC²
PublicationArtykuł prezentuje stworzony przez autorów makrogenerator translatorów MC². Makrogenerator ten po otrzymaniu definicji języka staje się translatorem tego języka. Język definiuje się podając jego składnię (produkcje gramatyki zapisane w notacji BNF) oraz znaczenie poszczególnych konstrukcji składniowych tj. opis przekształceń tekstu odpowiadającego danej konstrukcji składniowej na tekst w pewnym języku bazowym (makrodefinicje)....
-
Odmiany języka fińskiego. Finglish w różnych odsłonach [Varieties of the Finnish language. Different pictures of Finglish]
Publication -
Esperanto w leksykografii polskiej. Bibliografia słowników (1888–2012) [Esperanto in Polish lexicography. Dictionaries published in the years 1888–2012]
Publication -
Influence of the variability of the odour emission rate on its impact range: a case study of the selected industrial source
Publication -
VRML visualization of pelagic fish movement in the echosounder beam.
PublicationPrzedstawiono konstrukcję dynamicznych trójwymiarowych echogramów dla danych pochodzących z przeszukiwań akustycznych zrealizowanych przy pomocy echosondy z rozszczepioną wiązką. Wizualizację zrealizowano wykorzystując język opisu wirtualnej rzeczywistości VRML.
-
Electroabsorption study of metal-to-ligand charge transfer in an organic complex of iridium (III).
PublicationW pracy zmierzono i zinterpretowano widmo elektroabsorpcji (EA) próżniowo naparowanych warstw organicznego kompleksu Ir(ppy)3, powszechnie stosowanego jako emiter fosforescencyjny w organicznych diodach elektroluminescencyjnych. Analiza widma EA potwierdziła fakt,że niskoenergetyczne stany elektronowe tego kompleksu związane są z przeniesieniem ładunku metal-ligand.
-
Ontology-Aided Software Engineering
PublicationThis thesis is located between the fields of research on Artificial Intelligence (AI), Knowledge Representation and Reasoning (KRR), Computer-Aided Software Engineering (CASE) and Model Driven Engineering (MDE). The modern offspring of KRR - Description Logic (DL) [Baad03] is considered here as a formalization of the software engineering Methods & Tools. The bridge between the world of formal specification (governed by the mathematics)...
-
Electric field and charge induced quenching of luminescence in electroluminescent emitters based on lanthanide complexes
PublicationW pracy badano ładunkowe i elektrycznopolowe wygaszanie ekscytonóww układzie dwuamina TPD: organiczny kompleks europu przez pomiar zaników fotoluminescencji w zewnętrznym polu elektrycznym.
-
Exciton quenching in emitter blends for organic light emitting devices probed by electric field-dependent time-resolved luminescence
PublicationW pracy badano mechanizm wygaszania ekscytonów w układzie dwuamina TPD:organiczny kompleks Eu:matryca TPD przez pomiar zaniku fotoluminescencji w zewnętrznym polu elektrycznym.
-
Triplet exciton interactions in solid films of an elektrophosphorescent Pt(II) porphyrin
PublicationW pracy pokazano, że fosforescencja porfiryny platynowej (PtOEP) jest wygaszana na skutek oddziaływania między monomerowymi i dimerowymi ekscytonami trypletowymi. Stała oddziaływania dla monomerowych ekscytonów trypletowych wynosi 8x10-12 cm3/s a dla ekscytonów dimerowych 8x10-15 cm3/s.
-
Phosphorescence response to excitonic interactions in Ir organic complex-based electrophosporescent emitters
PublicationSpadek kwantowej wydajności fosforescencji ze wzrostem natężenia światła wzbudzajacego w Ir(ppy)3 tworzącym 100% warstwę naparowaną próżniowo oraz w Ir(ppy)3 umieszczonym w matrycy polimerowej PC:TPD, jest wywołany odziaływaniami między ekscytonami trypletowymi. Stała oddziaływania tryplet-tryplet wynosi (1-3)x 10-12 cm3/s i tylko nieznacznie zależy od stężenia Ir(ppy)3 w warstwie.
-
Singlet exciton interactions in solid films of Alq3.
PublicationW pracy tej na podstawie pomiarów zależności wydajności fluorescencji od natężenia światła wzbudzjącego, wyznaczono stałą oddziaływania ekscyton singletowy - ekscyton singletowy w warstwie organicznego kompleksu aluminium Alq3.
-
Dbajmy o poprawność językową naszych prac i wypowiedzi
PublicationCelem opracowania jest zwrócenie uwagi czytelnika na problem braku dbałościo język polski oraz stosowanie poprawnej nomenklatury i terminologii chemi-cznej. W pracy zawarto najczęstsze przypadki usterek terminologicznych iprzejawy żargonu laboratoryjnego.
-
Spor o sušestvovanii mira : vremâ i sposób sušestvovaniâ / Roman Ingarden ; przeł. Janina Kubka, Maxim W. Lebiediew
PublicationPrzekład na język rosyjski paragrafu 27 ''Wstępne uwagi o czasie konkretnym'', paragraf 28 ''Sposób istnienia zdarzeń'' i paragrafu 29 ''Sposób istnienia procesu''. Pierwszego Tomu ''Sporu o istnienie świata'' Romana Ingardena, wydanie Warszawa 1987.
-
Artificjal environment for simulation of emergent behaviour
PublicationPrzedstawiono opracowane środowisko dla modelowania zjawisk, w których współdziałanie wielu prostych jednostek prowadzi do powstawania złozonych struktur. Sposób oddziaływania jednostki zawarty jest w jej strukturze, która interpretowana jest poprzez specjalnie zdefiniowany język podobny do Prologu.
-
Wykorzystanie WAP i WML w usługach bezprzewodowych.
PublicationOpisano schemat transakcji przy wykorzystaniu protokołu WAP. Zaprezentowano język znaczników WML dla urządzeń bezprzewodowych. Przedstawiono narzędzia służące do tworzenia aplikacji opartych o protokół WAP. Wskazano na kirunki rozwoju protokołu i inne standardy o podobnych funkcjach.
-
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.
-
Wykorzystanie ontologii wzbogaconych o reguły logiczne w systemach integracji danych.
PublicationCelem systemów integracji danych jest dostarczenie jednolitego interfejsu do wielu, dostępnych w sieci heterogenicznychźródeł informacji. Wraz z rozwojem Internetu opracowanie metodologii zarządzania wiedzą poprzez systemy integracji danych stało się jednym z fundamentalnych problemów zarządzania informacją. W ramach inicjatywy semantic Web powstał język OWL (Web Ontology Language) umożliwiający opisywanie semantyki różnych danych....
-
Verification and Benchmarking in MPA Coprocessor Design Process
PublicationThis paper presents verification and benchmarking required for the development of a coprocessor digital circuit for integer multiple-precision arithmetic (MPA). Its code is developed, with the use of very high speed integrated circuit hardware description language (VHDL), as an intellectual property core. Therefore, it can be used by a final user within their own computing system based on field-programmable gate arrays (FPGAs)....
-
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.
-
Kalibracja i walidacja metody Mathara za pomocą Metody Elementów Skończonych
PublicationMetoda pomiaru naprężeń powierzchniowych przy pomocy rozet tensometrycznych i kontrolowanych odwiertów (metoda otworkowa) jest stosowana powszechnie w odniesieniu do stali izotropowych oraz silnie anizotropowych laminatów, natomiast nie została rozpoznana jej stosowalność do umiarkowanie anizotropowych stopów metali. W artykule opisane jest odniesienie wyników pomiarów wykonanych na płytach ze stali duplex do modelu numerycznego...
-
Quantum aspects of semantic analysis and symbolic artificial intelligence.
PublicationNowoczesne podejścia do analizy semantycznej, jeśli przeformułować je w język przestrzeni Hilberta, ujawniają formalne struktury znane z mechaniki kwantowej. Podobna sytuacja występuje w rozproszonych reprezentacjach struktur poznawczych rozwijanych na użytek sieci neuronowych. W pracy przyglądamy się różnicom i podobieństwom owych teorii do kwantowej teorii informacji.
-
Metody opisu ontologii: Wnioskowanie w ontologiach opartych na logice opisowej
PublicationLogika opisowa jest aktualnie jednym z najsilniej rozwijanych formalizmów stosowanych w ontologicznych metodach reprezentacji wiedzy. Jednym z powodów jest to, że język OWL-DL, promowany prze W3C jako język do reprezentacji ontologii Semantycznego Internetu, oparty jest właśnie na logice opisowej. W tym artukule zaprezentowano logikę opisową jako sposób precyzyjnego formułowania i przetwarzania wiedzy. Podano definicję bazy wiedzy...
-
Ontologie jako metoda reprezentacji wiedzy
PublicationLogika opisowa (ang. Description Logic - DL) jest aktualnie jednym z najsilniej rozwijanych formalizmów stosowanych w ontologicznych metodach reprezentacji wiedzy. Jednym z powodów jest to, że język OWL-DL, promowany przez W3C jako język do reprezentacji ontologii internetowych, opary jest właśnie na logice opisowej. W tym artykule zaprezentowano logikę opisową jako sposób precyzyjnego formułowania i przetwarzania wiedzy. Podano...
-
Adam Smith
PublicationKsiążka omawia życie i twórczość Adama Smitha (1723-1790), zarówno opublikowaną za jego życia, jak i tę wydaną pośmiertnie oraz odtworzoną na podstawie notatek jego słuchaczy. W drugiej części zamieszczono wybór fragmentów tekstów najbardziej reprezentatywnych dla tego filozofa. Wśród nich znalazły się teksty tłumaczone po raz pierwszy na język polski.
-
Cienie, cykl 'Odcinki' (1998)
PublicationKatalog aukcji polskiej sztuki współczesnej, która odbyła się w Domu Aukcyjnym Desa Unicum w Warszawie w dniu 15 grudnia 2011 roku. Katalog liczy 62 strony i zawiera noty biograficzne artystów wraz z charakterystyką twórczości w jezyku polskim, i zawiera 59 kolorowych reprodukcji (rep. autora s. 12). Wydawcą katalogu jest Desa Unicum.
-
KQL as Application of SQL Rationale for Knowledge Bases
PublicationW ramach inicjatywy Semantic Web rozwijane są systemy wnioskowania z wiedzy. Ciągle otwartym problemem są również języki dostępu do takich systemów. W artykule zaproponowano nowy język dostępu do zmodularyzowanych baz wiedzy, o cechach umożliwiających jego kompleksowe wykorzystaniew systemach zarządzania wiedzą, w sposób analogiczny do wykorzystania języka SQL w systemach relacyjnych baz danych.
-
Implementation of Addition and Subtraction Operations in Multiple Precision Arithmetic
PublicationIn this paper, we present a digital circuit of arithmetic unit implementing addition and subtraction operations in multiple-precision arithmetic (MPA). This adder-subtractor unit is a part of MPA coprocessor supporting and offloading the central processing unit (CPU) in computations requiring precision higher than 32/64 bits. Although addition and subtraction operations of two n-digit numbers require O(n) operations, the efficient...
-
Trust-IT - a framework for trust cases
PublicationArtykul prezentuje wyniki uzyskane w ramach prac zmierzających do wytworzenia zintegrowanego srodowiska wspomagającego analizę zaufania do systemów i infrastruktur informatycznych. Elementy tego środowiska obejmują język i metodykę trorzenia i pielęgnacji dowodów zaufania (ang. trust case), mtode integrowania z nimi materiału dowodowego, narzędzia wspomagajace zarządzanie dowodami zaufania oraz scenariusze ich wykorzystania w różnych...
-
Quenching effects in organic electroluminescence
PublicationWe examine various electronic processes that underlie the quenching of the emission from highly efficient phosphorescent and electrophosphorescent organic solid-state molecular systems. As an example, we study the luminescent efficiencies from the phosphorescent iridium (III) complex, fac tris (2-phenylpyridine) iridium [(Ir (ppy)3] doped into a diamine derivative doped polycarbonate hole-transporting matrix and in the form...
-
Organic electroluminescent devices containing phosphorescent molecules in molecularly doped hole transporting layer.
PublicationW pracy opisano mechanizm świecenia diody dwuwarstwowej diody elektroluminescencyjnej (EL) o zewnętrznej kwantowej wydajności świecenia osiągającej 9% fot./elektron. Warstwę transportującą elektrony tworzyła pochodna osadiazolu (PBD) otrzymana metodąnaparowania próżniowego. Warstwę transportującą dziury uzyskano przez wylanie roztworu poliwęglanu(PC), dendrymeru aminowego m-MTDATAoraz fosforyzującego kompleksu irydu Ir(ppy)3 i...
-
Web Services Choreography Description Language - WSCDL.
PublicationJęzyk Web Services Choreography Description Language służy do opisu współpracy równy z równym. Został zaprojektowany z myślą o automatyzacji współpracy usług sieciowych, ale jest na tyle ogólny, że pozwala opisywać współpracę nie tylko w świecie komputerowym. Prezentowana jest geneza tego języka oraz jego model. Następnie opisana jest struktura języka poparta przykładem dokumentu napisanego w języku WSCDL.
-
Residual stress evaluation in oil pipeline.
PublicationPrzedstawiono metodę pomiaru rozkładu naprężeń w ropociągu z wykorzystaniem efektu Barkhausena. Opisano procedurę pomiaru oraz kalibracji metody. Wynik potwierdzono w jednym punkcie metodą Mathar´a
-
Colour Terms in Five Linguistic Images of the World: The Semantic Perspective
PublicationSocial and cultural factors shape the linguistic perception of colour. At the same time, colour terms co-create the linguistic image of the world, which allows us to interpret reality and profile our statements and beliefs. This paper presents six basic colour terms: white, black, red, green, yellow, and blue (both as adjectives and as nouns) in the five different linguistic images of the world of the following languages: English,...
-
Modelowanie struktur sieci diagnostyczno-pomiarowych z wykorzystaniem języka SMOL
PublicationW artykule przedstawiono koncepcję własnego języka służącego do modelowania, a w przyszłości również do symulacji i optymalizacji struktur sieci diagnostyczno-pomiarowych. Język ten przeznaczony jest do wsparcia dedykowanego środowiska SMO, Sieciowego Monitora Obiektów, służącego do projektowania i symulacji wielokomputerowych systemów, które przeznaczone są do zarządzania w szerokim sensie (obserwacji, monitorowania, diagnozowania,...
-
Ontologiczna inżynieria wiedzy
PublicationOntologiczna inżynieria wiedzy jest dobrą podstawą metodologiczną, a ontologie dziedzin przedmiotowych ważnym elementem konstrukcyjnym semantycznych systemów reprezentacji wiedzy. W artykule omówiono budowanie ontologii w oparciu o edytor ontologii FluentEditor i język CNL (Controlled Natural Language). Przykładową ontologię dotyczącą fragmentu procesu produkcji rolniczej wykorzystano do budowy semantycznej bazy wiedzy. W tym celu...
-
FPGA implementation of the multiplication operation in multiple-precision arithmetic
PublicationAlthough standard 32/64-bit arithmetic is sufficient to solve most of the scientific-computing problems, there are still problems that require higher numerical precision. Multiple-precision arithmetic (MPA) libraries are software tools for emulation of computations in a user-defined precision. However, availability of a reconfigurable cards based on field-programmable gate arrays (FPGAs) in computing systems allows one to implement...
-
IP Core of Coprocessor for Multiple-Precision-Arithmetic Computations
PublicationIn this paper, we present an IP core of coprocessor supporting computations requiring integer multiple-precision arithmetic (MPA). Whilst standard 32/64-bit arithmetic is sufficient to solve many computing problems, there are still applications that require higher numerical precision. Hence, the purpose of the developed coprocessor is to support and offload central processing unit (CPU) in such computations. The developed digital...
-
Open-Source Coprocessor for Integer Multiple Precision Arithmetic
PublicationThis paper presents an open-source digital circuit of the coprocessor for an integer multiple-precision arithmetic (MPA). The purpose of this coprocessor is to support a central processing unit (CPU) by offloading computations requiring integer precision higher than 32/64 bits. The coprocessor is developed using the very high speed integrated circuit hardware description language (VHDL) as an intellectual property (IP) core. Therefore,...
-
Monitorowanie procesu wytwarzania oprogramowania z wykorzystaniem hierarchii agentów typu Web Farming.
PublicationW artykule przedstawiono zastosowanie technologii Web Farming do procesów zarządzania projektami informatycznymi w firmie komputerowej. Idea polega na nadzorowaniu przebiegu projektu w tle poprzez agentów uruchomionych na komputerach uczestników projektu. W celu zdefiniowania procesu, zwanego procesem SoFar, proponuje się język PMDL, który będzie podstawą także do generowania kodu agentów. Przedstawiono możliwości zastosowania...
-
<p>In vivo Studies on Pharmacokinetics, Toxicity and Immunogenicity of Polyelectrolyte Nanocapsules Functionalized with Two Different Polymers: Poly-L-Glutamic Acid or PEG</p>
Publication -
Wykorzystanie serwerów UDDI dla systemów zdalnej edukacji.
PublicationW artykule przedstawiono możliwości wykorzystania usług sieciowych opartych na serwerach UDDI (Universal Description, Discovery and Integration) do przechowywania obiektów edukacyjnych. Opisane rozwiązanie wykorzystujące język XML, protokół SOAP (Simple Object Access Protocol) i standard WSDL (Web Services Description Language) pozwala na tworzenie baz wiedzy przeznaczonych zarówno dla uczniów jak również dla nauczycieli....
-
Przegląd metod współbieżnej symulacji heterogenicznych systemów wbudowanych.
PublicationW pracy opisano współbieżną symulację sprzętowo-programową heterogenicznych systemów wbudowanych jako metodę weryfikującą spełnienie wyspecyfikowanych założeń. Podkreślono jej znaczenie na każdym etapie projektowania. Przedstawiono zasadę działania symulatorów HDL i symulatorów oprogramowania oraz dokonano charakterystyki środowisk współbieżnej symulacji podkreślając najważniejsze cechy. Szczegółowo opisano modele procesora stosowane...
-
Experimental research on low-cost cold gas propulsion for a space robot platform
Publication -
Innovative Resistojet Propulsion System—Use in Robotic Space Platforms
Publication -
Ocena naprężeń w regenerowanych korpusach parowych turbin energetycznych.
PublicationPrzedstawiono wyniki badań naprężeń własnych w ścianach korpusów turbin poddanych procesowi reparacji przez zaspawanie. Wykorzystano do badań metodę wykorzystujacą efekt Barkhausena oraz - dla kontrolo - metodę nawiercania otworów (metoda Mathar'a). Dwa rezultaty badań są istotne: 1) stwierdzono niski stan naprężeń w strefie reperowanej - co dowodzi poprawnej technologii; oraz 2) - uzyskano bardzo dobrą zgodność poziomów naprężeń...