Filtry
wszystkich: 560
wybranych: 123
-
Katalog
- Publikacje 123 wyników po odfiltrowaniu
- Czasopisma 16 wyników po odfiltrowaniu
- Osoby 9 wyników po odfiltrowaniu
- Projekty 2 wyników po odfiltrowaniu
- Aparatura Badawcza 1 wyników po odfiltrowaniu
- Kursy Online 369 wyników po odfiltrowaniu
- Wydarzenia 6 wyników po odfiltrowaniu
- Dane Badawcze 34 wyników po odfiltrowaniu
Filtry wybranego katalogu
Wyniki wyszukiwania dla: JEZYK WSCDL
-
Phosphorescence response to excitonic interactions in Ir organic complex-based electrophosporescent emitters
PublikacjaSpadek 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.
-
Exciton quenching in emitter blends for organic light emitting devices probed by electric field-dependent time-resolved luminescence
PublikacjaW 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.
-
Dbajmy o poprawność językową naszych prac i wypowiedzi
PublikacjaCelem 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
PublikacjaPrzekł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
PublikacjaPrzedstawiono 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.
-
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.
-
Wykorzystanie WAP i WML w usługach bezprzewodowych.
PublikacjaOpisano 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
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.
-
Wykorzystanie ontologii wzbogaconych o reguły logiczne w systemach integracji danych.
PublikacjaCelem 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....
-
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.
-
Kalibracja i walidacja metody Mathara za pomocą Metody Elementów Skończonych
PublikacjaMetoda 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.
PublikacjaNowoczesne 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
PublikacjaLogika 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
PublikacjaLogika 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
PublikacjaKsiąż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)
PublikacjaKatalog 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
PublikacjaW 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.
-
Trust-IT - a framework for trust cases
PublikacjaArtykul 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...
-
Organic electroluminescent devices containing phosphorescent molecules in molecularly doped hole transporting layer.
PublikacjaW 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...
-
Quenching effects in organic electroluminescence
PublikacjaWe 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...
-
Colour Terms in Five Linguistic Images of the World: The Semantic Perspective
PublikacjaSocial 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,...
-
Residual stress evaluation in oil pipeline.
PublikacjaPrzedstawiono 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
-
Modelowanie struktur sieci diagnostyczno-pomiarowych z wykorzystaniem języka SMOL
PublikacjaW 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
PublikacjaOntologiczna 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...
-
Monitorowanie procesu wytwarzania oprogramowania z wykorzystaniem hierarchii agentów typu Web Farming.
PublikacjaW 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>
Publikacja -
Experimental research on low-cost cold gas propulsion for a space robot platform
Publikacja -
Innovative Resistojet Propulsion System—Use in Robotic Space Platforms
Publikacja -
Ocena naprężeń w regenerowanych korpusach parowych turbin energetycznych.
PublikacjaPrzedstawiono 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ń...
-
Geo-Questionnaire for Environmental Planning: The Case of Ecosystem Services Delivered by Trees in Poland
PublikacjaStudies on society and the environment interface are often based on simple questionnaires that do not allow for an in-depth analysis. Research conducted with geo-questionnaires is an increasingly common method. However, even if data collected via a geo-questionnaire are available, the shared databases provide limited information due to personal data protection. In the article, we present open databases that overcome those limitations....
-
Complementary studies of residual stress distribution of repaired power plant steam turbine casing
PublikacjaRozkład i poziom naprężeń własnych w korpusach turbin badano za pomocą efektu Barkhausena oraz metodą nawiercania otworów. Badano również twardość. Korpusy były reperowane metodą zaspawania. Wykazano, iż zastosowana technologia nie wprowadza naprężeń o poziomie zagrażającym dalszej ekploatacji korpusu.
-
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...
-
Dzieło demiurga. Zapis gnostyckiego doświadczenia egzystencji we wczesnej poezji Czesława Miłosza (książka)
PublikacjaDziełem demiurga jest świat młodego Miłosza. Książka pokazuje, że jak nikt dotąd w polskiej poezji wypowiedział on temu światu sprzeciw. Buntownicze wizje poety zostały wyrażone językiem stosowanym dotąd do analizy gnostycyzmu i manicheizmu. Język ten odsłania świat żywiołów, wojny, dzieje poddane prawom darwinizmu, myśli i uczucia człowieka zbuntowanego na ziemskim padole. Taki świat wart był w oczach poety jedynie kosmicznego...
-
Tool support for ECSDM fault tree methodology
PublikacjaExtended Common Safety Description Model (ECSDM) jest językiem do formalnej specyfikacji systemów związanych z bezpieczeństwem oraz ich komponentów. Język ten zawiera konstrukcje umożliwiające specyfikację zależności czasowych. Może on zostać użyty w analizie drzew błędów, aby uzyskać jednoznaczną specyfikację hazardów w sytuacji, gdy są one uzależnione od związków czasowych pomiędzy przyczynami. Artykuł opisuje narzędzie wytworzone...
-
Перевод английских заглавий фильмов в Польше и в России
PublikacjaArtykuł jest poświęcony problemowi przekładu angielskich tytułów filmowych, które w polskiej dystrybucji figurują pod nazwami oryginalnymi bądź zostały przetłumaczone tylko częściowo. Autorka wychodzi od poziomu znajomości języka angielskiego zarówno w Polsce, jak i w Rosji, który w pewnym stopniu może wpływać na wspomnianą praktykę, a następnie podaje przykłady tytułów, które z różnych powodów nie zostały przełożone na język polski...
-
Model systemu zarządzania wiedzą z uwzględnieniem aspektów wiarygodności
PublikacjaW rozdziale przedstawiony został model systemu zarządzania wiedzą, w którym uwzględniono aspekty wiarygodności. Dla zaprezentowanego modelu opisane zostały również metody definiowania wiarygodności w Sieci Semantycznej oraz wnioskowania względem wiedzy wzbogaconej o informacje na temat wiarygodności. Na początku model definiuje "ontologię wiarygodności" - ontologię, która pozwala przypisać pewne zbiory cech do konkretnych asercji....
-
Zastosowanie elektronicznych zmysłów w analizie żywności. Cz. III Sztuczne oko
PublikacjaW dzisiejszych czasach konsumenci zwracają dużą uwagę na takie cechy żywności jak: zapach, smak i wygląd. Ze względu na to naukowcy od wielu lat podejmują próby naśladowania ludzkich narządów zmysłów za pomocą urządzeń określanych jako elektroniczne zmysły. Zaliczamy do nich elektroniczny nos i język oraz komputerowy system rozróżnienia barw i kształtów. Komputerowy system analizy obrazu zwany „Computer Vision” obejmuje zagadnienia...
-
Designing world closures for knowledge-based system engineering
PublikacjaWraz z rozwojem komponentów opartych na wiedzy przed inżynierami oprogramowania postawione zostały nowe zadania. Jednym z nich jest zintegrowanie tych komponentów z innymi standarodowymi komponentami. Zrealizowanie tego zadania wymagało zdefiniowania języka komunikacji pomiędzy różnymi komponentami w celu wymiany informacji. W artykule omówiono problem wymiany informacji pomiędzy komponentami opartymi na wiedzy i komponentami opartymi...
-
A model-based approach to analysis of security protocols - a case study
PublikacjaArtykuł przedstawia zintegrowane środowisko analizy protokołów bezpieczeństwa. Środowisko zostało oparte o znaną metodę formalną CSP oraz wspierające ją narzędzia: Casper oraz FDR. Integralną częścią opisywanego środowiska jest pół-formalne zorientowane obiektowo podejście do modelowania protokołów kryptograficznych, ich kontekstu aplikacyjnego oraz wymagań bezpieczeństwa. Modelowanie obiektowe zostało oparte o język UML oraz...
-
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...
-
<p>Analysis of toxicity and anticancer activity of micelles of sodium alginate-curcumin</p>
Publikacja -
Zastosowanie elektronicznych zmysłów w analizie żywności - cz. 1
PublikacjaW dzisiejszych czasach konsumenci zwracają dużą uwagę na takie cechy żywności jak: zapach, smak i wygląd. Ze względu na to naukowcy od wielu lat podejmują próby naśladowania ludzkich narządów zmysłów za pomocą urządzeń określanych jako elektroniczne zmysły. Zaliczamy do nich elektroniczny nos i język oraz komputerowy system rozróżnienia barw i kształtów. Elektroniczny nos jest najbardziej rozwiniętym i najczęściej stosowanym sztucznym...
-
Potrzebujemy nowego języka rozmowy o mieście
PublikacjaTekst jest dwugłosem specjalistów od kwestii poprawy jakości przestrzeni miejskiej widzących miasto jak przestrzeń społeczną osadzoną w zmiennych uwarunkowaniach zbudowanego środowiska życia. Aktorka/reżyser/animator kultury i architektka/urbanistka rozmawiają o sposobie komunikowania się wokół przestrzeni. W rozmowach na temat przyszłych miast blokuje nas w dużej mierze nasz język. Tu wizja podwórek i kamienic rodem z pozytywistycznych...
-
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,...
-
MATLAB i jego środowisko
PublikacjaMATLAB jest pakietem obliczeniowym i programistycznym przygotowanym przede wszystkim do obliczeń numerycznych, analizy danych i wizualizacji wyników. Pakiet stanowi środowisko wyposażone w wiele narzędzi obliczeniowych i graficznych działających na bazie predefiniowanych funkcji oraz język programowania umożliwiający tworzenie własnych skryptów. Podstawowym typem danych w języku MATLAB jest macierz (matrix). Stąd nazwa MATrix...
-
Incremental construction of Minimal Tree Automata [online]
PublikacjaWe describe an algorithm that allows the incremental addition or removal of unranked ordered trees to minimal frontier-to-root deterministic tree automaton (DTA). The algorithm takes a tree t and a minimal DTA A as input; it outputs a minimal DTA A' which accepts the language L(A) accepted by A incremented (or decremented) with the tree t. The algorithm can be used to efficiently maintain dictionaries which store large collections...
-
Methodology for developing Web-Based applications from reusable components using open source tools
PublikacjaGlobalna sieć stwarza nowe mozliwości dla projektantów IT. Pozwala na budowanie aplikacji z wielu części zwanych komponentami i rozproszonych w różnych miejscach sieci. metodologia wskazuje jak zbudować wszystkie elementy systemu: warstwę logiki biznesowej, dostępu do danych oraz prezentacji z gruboziarnistych komponentów. Takie mozliwości daje język Java i powiązane z nim technologie open-source: EJB do tworzenia komponentów biznesowych...
-
Projektowanie systemów informatycznych z wykorzystaniem języka korzyści
PublikacjaCelem rozdziału jest prezentacja możliwości zastosowania języka korzyści zamiast języka wymagań w projektowaniu systemów informatycznych. W części pierwszej został przedstawiony problem złożoności wymagań pozyskiwanych od klienta. Scharakteryzowano podstawowe pojęcia: inżynierii wymagań i języka wymagań oraz wskazano na ich znaczenie. W części drugiej przedstawiono koncepcję języka korzyści. Omówiono język korzyści z punktu widzenia...