Filters
total: 1253
filtered: 463
-
Catalog
- Publications 463 available results
- Journals 25 available results
- Publishing Houses 2 available results
- People 14 available results
- Inventions 1 available results
- Projects 32 available results
- Laboratories 1 available results
- Research Equipment 1 available results
- e-Learning Courses 404 available results
- Events 7 available results
- Open Research Data 303 available results
Chosen catalog filters
Search results for: JEZYK SQL
-
Valerio Andriano, La normativa canonica sul matrimonio e la riforma del processo di nullità, Libreria Editrice Vaticana 2016, ss. 276
Publication -
Integrated functional safety and cyber security analysis
PublicationThe chapter is devoted some important issues of the functional safety analysis, in particular the safety integrity level (SIL) verification of safety functions to be implemented within the distributed control and protection systems with regard to security aspects. A method based on quantitative and qualitative information is proposed for the SIL (IEC 61508, 61511) verification with regard of the evaluation assurance levels (EAL)...
-
Ionic liquid-assisted sol-gel synthesis of Fe2O3-TiO2 for enhanced photocatalytic degradation of bisphenol a under UV illumination: Modeling and optimization using response surface methodology
Publication -
Determining and verifying the safety integrity level with security aspects
PublicationSafety and security aspects consist of two different group of functional requirements for the control and protection systems. It is the reason why the analyses of safety and security shouldnt be integrated directly. The paper proposes extension of the currently used methods of functional safety analyses. It can be done with inclusion of the level of information security assigned to the technical system. The article addresses some...
-
Weryfikacja Poziomów Nienaruszalności Bezpieczeństwa z uwzględnieniem Zagadnień Ochrony Informacji
PublicationNiniejszy rozdział poświęcono wybranym istotnym zagadnieniom analizy bezpieczeństwa funkcjonalnego, w szczególności weryfikacji poziomów nienaruszalności bezpieczeństwa SIL funkcji bezpieczeństwa implementowanych w rozproszonych systemach sterowania i zabezpieczeń z uwzględnieniem zagadnień ochrony informacji. Zaproponowano metodę opartą na informacji ilościowej i jakościowej do weryfikacji SIL (IEC 61508, 61511) z uwzględnieniem...
-
Logistyczna współpraca SL i HL w procesach inwestycyjnych na przykładzie kontenerowego centrum logistycznego
PublicationOmówiono problemy techniczne oraz prawne, związane z importem maszyn i urządzeń. Przedstawiono procedury postępowania przy zakupie nowych maszyn oraz maszyn używanych. Rozróżniono zakupy maszyn znajdujących się na obszarze oraz poza obszarem Unii Europejskiej.
-
T-SL, T-SLF i T-DSATUR - nowe heurystyki dla problemu przydziału częstotliwości
PublicationNiniejszy artykuł poświęcony został algorytmom T-SL, T-SLF i T-DSATUR - nowym heurystykom dla problemu przydziału częstotliwości. Zawiera opis algorytmów, omówienie ich teoretycznych własności oraz wyniki testów komputerowych, którym zostały poddane.
-
Integrated approach for functional safety and cyber security management in maritime critical infrastructures
PublicationThe work is devoted important issues of the management in maritime critical infrastructure of functional safety analysis, in particular the safety integrity level (SIL) verification of safety functions to be implemented within the distributed control and protection systems with regard to cyber security aspects. A method based on quantitative and qualitative information is proposed for the SIL (IEC 61508, 61511) verification with...
-
Excition interactions in emitters of organic electroluminescent diodes
Publication -
Comparison of ETView SL, Airtraq, and Macintosh laryngoscopes for face-to-face tracheal intubation: a randomized crossover manikin trial
Publication -
Cassirer E. Jednostka i Kosmos w filozofii Odrodzenia. Przekład, wstęp i opracowanie P. Parszutowicz i D. Facca.Warszawa 2023
PublicationPublikacja stanowi przekład na jezyk polski, opracowanie i interpretację rozprawy Ernsta Cassirera Individuum und Kosmos in der Philosophie der Renaissance (1927). Cassirerowska wykładnia filozofii renesansu, zawarta w rozprawie cieszy się sławą jednego z najlepszych syntetycznych opracowań tego okresu.
-
Zastosowanie elektronicznych zmysłów w analizie żywności. Zastosowanie elektronicznego języka w analizie żywności.
PublicationW 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 język znany również jako sztuczny język lub czujnik smaku,...
-
Electromodulation of photoluminescence in vacuum-evaporated films of fac-tris(2-phenylpyridine)iridium(III)
PublicationZaobserwowano silne wygaszenie fosforescencji w komórkach sandwiczowych Al/Ir(ppy)3/Al/kwarc, które w polu elektrycznym o natężeniu 3 MV/cm dochodzi do 30%. Mechanizm wygaszania jest związany z dysocjacją ekscytonów trypletowych pod działaniem zewnętrznego pola elektrycznego w obszarach zdefektowanych sieci krystalicznej.
-
Phraseological Units in Audiovisual Translation. A Case Study of Polish Dubbing of Disney’s 'The Little Mermaid'
PublicationThe paper aims to discuss phraseological units as the object of audiovisual translation in the Polish dubbing of Disney’s 'The Little Mermaid', to discuss the role of phraseological translation techniques, and to present possible translation inconsistencies. A theoretical introduction presents definitions for crucial terms. It is followed by the analysis of the corpus of phraseological units in Disney’s The Little Mermaid and...
-
English, French, and Polish Aliases of Criminals: Diversity of Inspirations in their Creation and Typical Nicknaming Schemes
PublicationThe present paper examines the topic of aliases of criminals, which seems to be understudied in linguistic research. Therefore, this article’s primary goal is to describe how criminals’ aliases are created and what are the differences and similarities in that process in English, French, and Polish. Firstly, the theoretical background concerning the topic of pseudonyms is presented. Then, the corpus gathered for this paper (available...
-
Procedure based functional safety and information security management of industrial automation and control systems on example of the oil port installations
PublicationThe approach addresses selected technical and organization aspects of risk mitigation in the oil port installations with regard to functional safety and security requirements specified in standards IEC 61508, IEC 61511 and IEC 62443. The procedure for functional safety management includes the hazard identification, risk analysis and assessment, specification of overall safety requirements and definition of...
-
Functional safety with cybersecurity for the control and protection systems on example of the oil port infrastructure
PublicationSafety and cybersecurity aspects consist of two different group of functional requirements for the industrial control and protection systems in the oil port installation. It is the main reason why the analyses of safety and cybersecurity shouldn’t be integrated directly. These article presented some important issues of the functional safety analysis with regard to cybersecurity aspects in the oil seaport infrastructure. The proposed...
-
Elementary gates for cartoon computation
PublicationSformułowano elementarne bramki kwantowe, pozwalające tłumaczyć algorytmy kwantowe na język geometryczny.
-
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.
-
INTEGRATED FUNCTIONAL SAFETY AND CYBERSECURITY ANALYSIS METHOD FOR SMART MANUFACTURING SYSTEMS
PublicationThis article addresses integrated functional safety and cybersecurity analysis with regard to: the generic functional safety standard IEC 61508 and the cyber security standard IEC 62443 concerning an industrial automation and control system (IACS). The objective is to mitigate the vulnerability of information technology (IT) and operational technology (OT) systems, and reduce relevant risks taking into account a set of fundamental...
-
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.
-
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.
-
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.
-
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.
-
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.
-
Security aspects in verification of the safety integrity level of distributed control and protection systems
PublicationPrzedstawiono najważniejsze zagadnienia zwišzane z weryfikacjš poziomu nienaruszalnoci bezpieczeństwa SIL rozproszonych systemów sterowania i zabezpieczeń z uwzględnieniem aspektów ochrony informacji. Przedstawiono ilociowš metodę weryfikacji poziomu SIL z wykorzystaniem wskaników różnicowych oraz dwuparametrowš funkcję kryterialnš łaczšcš wymagania SIL oraz EAL (poziom uzasadnionego zaufania dla ochrony informacji).
-
Evaluation of structural change during fast transformation process of cross-linked NR into liquid NR by light pyrolysis
PublicationThe presence of cross-linked networks in rubber creates a tremendous problem for recycling and reusing of waste rubber. Fast transformation of cross-linked natural rubber (NR) into liquid natural rubber was carried out by light pyrolysis in temperature range from 240 to 300 °C in variable time (in range: 1–30 min). The transformation efficiency was evaluated by measuring the sol fraction and the cross-link density of the gel fraction....
-
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.
-
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 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.
-
Implementacja widoków danych na bazę wiedzy
PublicationNiniejszy artykuł opisuje koncepcję i implementacjęwidoków danych na bazę wiedzy. Widoki danych przesłaniają interfejsbazy wiedzy, w zamian udostępniając interfejs pozwalający na zadawaniezapytań do bazy wiedzy w języku SQL. Głównym przeznaczeniemtakich widoków jest ułatwienie integracji komponentów opartych nawiedzy z komponentami opartymi na danych, co może uprościć budowęsystemów korzystających z bazy wiedzy. W artykule zaprezentowanajest...
-
ProSIL Software for functional saferty management in life cycle = Aplikacja ProSIL do zarządzania bezpieczeństwem funkcjonalnym w cyklu życia
PublicationIn the paper the ProSIL software to aid the functional safety management is presented. The software consists of three modules to aid: determination of the required SIL level (ProSILen), veryfication of the SIL level (ProSILver). In the aplication the method of the calibrated risk graph to determine the required safety integrity level SIL for defined safety instrumented functions is applied. The methods concerning functional safety...
-
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....
-
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.
-
Highly-Miniaturized Self-Quadruplexing Antenna Based on Substrate-Integrated Rectangular Cavity
PublicationThis paper introduces a novel self-quadruplexing antenna (SQA) architecture using a substrate-integrated rectangular cavity (SIRC) for compact size, wide-frequency re-designability, and high isolation responses. The proposed SQA is developed by engraving two U-shaped slots (USSs) on the top conductor of the SIRC. The USSs are excited by employing four microstrip feedlines to achieve self-quadruplexing antenna characteristics. The...
-
SMAQ - A Semantic Model for Analitical Queries
PublicationWhile the Self-Service Business Intelligence (BI) becomes an important part of organizational BI solutions there is a great need for new tools allowing to construct ad-hoc queries by users with various responsibilities and skills. The paper presents a Semantic Model for Analytical Queries – SMAQ allowing to construct queries by users familiar with business events and terms, but being unaware of database or data warehouse concepts...
-
Computer aided funcional safety assessment
PublicationReferat porusza wybrane zagadnienia związane z oceną bezpieczeństwa funkcjonalnego w nawiązaniu do normy międzynarodowej IEC 61508. Podkreśla się znaczenie modelowania probabilistycznego systemów elektrycznych, elektronicznych i programowalnych elektronicznych (E/E/PE). Opisuje się wyznaczanie poziomu nienaruszalności bezpieczeństwa (SIL). W następnym kroku analizy weryfikuje się poziom SIL w procesie modelowania probabilistycznego...
-
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...
-
Komputerowe wspomaganie procesu zarządzania bezpieczeństwem funkcjonalnym
PublicationW niniejszym rozdziale przedstawiono oprogramowanie ProSIL wspomagające zarządzanie bezpieczeństwem funkcjonalnym. Program ProSIL składa się z dwóch modułów wspomagających: określenie wymaganego poziomu SIL (moduł ProSILen) oraz weryfikację SIL (moduł ProSILer). W aplikacji ProSIL zaimplementowano opracowaną w trakcie badań metodykę analizy bezpieczeństwa funkcjonalnego w projektowaniu i użytkowaniu systemów SIS zgodnie z wymaganiami...
-
Spinon excitations in the quasi-one-dimensional S=12 chain compound Cs4CuSb2Cl12
PublicationThe spin−1/2 Heisenberg antiferromagnetic chain is ideal for realizing one of the simplest gapless quantum spin liquids (QSLs), supporting a many-body ground state whose elementary excitations are fractional fermionic excitations called spinons. Here we report the discovery of such a one-dimensional (1D) QSL in Cs4CuSb2Cl12. Compared to previously reported S=1/2 1D chains, this material possesses a wider temperature range over...