Search
Filters
total: 2180
filtered: 1082
-
Catalog
- Publications 1082 available results
- Journals 31 available results
- Conferences 24 available results
- Publishing Houses 6 available results
- People 181 available results
- Projects 8 available results
- Laboratories 6 available results
- Research Teams 5 available results
- Research Equipment 2 available results
- e-Learning Courses 652 available results
- Events 84 available results
- Open Research Data 99 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: jezyki formalne
-
Ontologie vs. reguły — porównanie metod reprezentacji wiedzy na przykładzie dziedziny zarządzania usługami informatycznymi
PublicationTekst 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...
-
Analiza wpływu zachowań niechronionych użytkowników dróg na ich poziom bezpieczeństwa w obrębie przejść dla pieszych bez sygnalizacji świetlnej
PublicationTematem artykułu jest identyfikacja czynników i zależności oddziaływających na zachowanie uczestników ruchu drogowego w kontekście poziomu bezpieczeństwa w obrębie przejść dla pieszych bez sygnalizacji świetlnej. Stosowanie odpowiednio oznakowanych przejść dla pieszych stanowi podstawowy środek ułatwiający przechodzenie pieszych przez jezdnię. Jednak bezwzględna pewność pieszych i rowerzystów o możliwości przekroczenia jezdni...
-
Metody wspomagania wyszukiwania informacji
PublicationWyszukiwanie informacji analizowane może być z perspektywy użytkownika i w kontekście tego, jakie czynności może on podjąć, aby odnaleźć interesujące go informacje bez wsparcia ze strony analizatora języka. Użytkownicy stosują wyszukiwarki internetowe, jednak często nie są świadomi pełnego zakresu ich możliwości. Wyszukiwanie za pomocą wyszukiwarek polega na wprowadzaniu zapytań w polu tekstowym. Opracowane zostały liczne metody...
-
Comments on ''Incremental construction and maintenance of minimal finite-state automata'' by Rafael C. Carrasco and Mikel L. Forcada.
PublicationW 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...
-
Problemy w nauczaniu chemii na Wydziale Chemicznym
PublicationW referacie przedstawiono problemy w nauczaniu chemii (ale także matematyki i fizyki) według źródła ich pochodzenia. Za podstawową przyczynę trudności w nauczaniu przedmiotów chemicznych uznano słabe przygotowanie absolwentów szkół ponadgimnazjalnych z przedmiotów ścisłych. Wskazano również na inne przyczyny trudności m.in. konieczność zmian programowych związanych z wymaganiami Państwowej Komisji Akredytacyjnej. Szeroko omówiono...
-
Dobór optymalnej liczby jednostek funcjonalnych dla realizacji syntezy wysokiego poziomu układów cyfrowych
PublicationW 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
PublicationJesteś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...
-
Rare A360T Mutation Alters GSK3β(Ser9) Binding in the Cytosolic Loop of Presenilin 1, Influencing β-Catenin Nuclear Localization and Pro-Death Gene Expression in Alzheimer’s Disease Case
Publication -
Studium architektoniczne kładki dla pieszych nad al. Niepodległości w Warszawie
PublicationOd kilku lat trwa w Warszawie proces przebudowy typowych, stalowych kładek dla pieszych, zaprojektowanych i wybudowanych w latach 70-tych przez Mostostal. Na skutek wieloletnich zaniedbań utrzymaniowych stan techniczny tych obiektów jest tak zły, że ichremont stał się nieopłacalny i większość z nich podlega całkowitej przebudowie. W celu ograniczenia do minimum kłopotów formalno - prawnych, związanych z przebudową, administracja...
-
Integracja heterogenicznych źródeł wiedzy z wykorzystaniem logiki opisowej
PublicationW rozprawie przedstawiono opracowane przez autora metody integracji wiedzy służące do konstrukcji systemu integracji wiedzy, który może być praktycznie stosowany we współczesnych systemach opartych na wiedzy. Do najważniejszych wyników rozprawy należą: zaproponowanie nowego modelu systemu integracji wiedzy, zdefiniowanie pojęcia źródła wiedzy i opracowanie sposobu jego tworzenia przez wzbogacenie warstwy danych o warstwę wiedzy...
-
Wykorzystanie wiązań niekowalencyjnych do otrzymywania jedno- i dwuskładnikowych struktur supramolekularnych
PublicationPrzedstawiona rozprawa doktorska dotyczy badań nad wykorzystaniem oddziaływań międzycząsteczkowych do projektowania i syntezy uporządkowanych struktur krystalicznych, ze szczególnym uwzględnieniem wiązań halogenowych i chalkogenowych jako stosunkowo nowych i bardzo atrakcyjnych z punktu widzenia inżynierii kryształu. Praca podzielona jest na kilka części. Pierwsza z nich stanowi wstęp teoretyczny obejmujący opis, założenia oraz...
-
Wybrane aspekty związane z zastosowaniem równania Manninga dla potrzeb szacowania ilości ścieków sanitarnych
PublicationPrawidłowe oszacowanie ilości ścieków sanitarnych odprowadzanych z danej jednostki administracyjnej jest niezmiernie istotnym zagadnieniem. Odgrywa ono znaczącą rolę zarówno z punktu widzenia poprawnego i efektywnego funkcjonowania systemu kanalizacyjnego, jak i ma swoje przełożenie także na inne zagadnienia, m.in. natury sanitarnej, technicznej, projektowej, ekologicznej, a także kwestie formalno-prawne oraz ekonomiczno-finansowe....
-
Applying the Lombard Effect to Speech-in-Noise Communication
PublicationThis study explored how the Lombard effect, a natural or artificial increase in speech loudness in noisy environments, can improve speech-in-noise communication. This study consisted of several experiments that measured the impact of different types of noise on synthesizing the Lombard effect. The main steps were as follows: first, a dataset of speech samples with and without the Lombard effect was collected in a controlled setting;...
-
Structural and spectroscopic investigation of new luminescent hybrid materials based on calix[4]arene-tetracarboxylate and Ln 3+ ions (Ln = Gd, Tb or Eu)
PublicationLanthanide-calixarene hybrid materials are of particular interest due to the combination of the interesting properties of the ligand cavity-like structure and the luminescent features of lanthanides. The aim of this study was to synthesize and investigate the photophysical properties of Eu3+, Tb3+ and Gd3+ hybrids based on calix[4]arene-tetracarboxylate. The preparation of two structurally different...
-
Improving the quality of speech in the conditions of noise and interference
PublicationThe aim of the work is to present a method of intelligent modification of the speech signal with speech features expressed in noise, based on the Lombard effect. The recordings utilized sets of words and sentences as well as disturbing signals, i.e., pink noise and the so-called babble speech. Noise signal, calibrated to various levels at the speaker's ears, was played over two loudspeakers located 2 m away from the speaker. In...
-
Rospuda - czy wszędzie budować mosty?
PublicationStreszczenie - SummaryThe article presents the problem of planning transport system in the areas of high natural and landscape values. Bridges and roads crossing valuable areas undergo Environmental Impact Assessment (EIA) Procedure. This procedure in Poland is often treated only as formal requirement, not as an instrument helping to solve conflicts and to minimise negative environmental and landscape effects. The potential of...
-
Implementation of Weigh-in-Motion System in Freight Traffic Management in Urban Areas
PublicationThe article presents how the Weigh-in-Motion system can be used for managing Gdynia’s freight traffic. Potential sites for weight pre-selection were identified in an analysis of the technical and location conditions. Situated directly in the east part of the Port of Gdynia a site was selected for a pilot implementation. Theoretical scenarios were simulated using an extended WIM system as a tool for controlling access to selected...
-
Developing competences of IT project managers using simulation games
PublicationProject Management is a domain in which methodological approach is developing very rapidly. Project managers are required to present knowledge of the various methods of project management and apply them to the management of specific projects. It means that project managers must constantly develop their competence, mainly based on good practices from different formal methods of project management. The purpose of this article is...
-
Integrating Experience-Based Knowledge Representation and Machine Learning for Efficient Virtual Engineering Object Performance
PublicationMachine learning and Artificial Intelligence have grown significant attention from industry and academia during the past decade. The key reason behind interest is such technologies capabilities to revolutionize human life since they seamlessly integrate classical networks, networked objects and people to create more efficient environments. In this paper, the Knowledge Representation technique of Set of Experience...
-
Towards Use of OntoClean for Ontology Contextualization
PublicationOntologies are formal systems of concepts used to describe numerous domains of interest. Ontologies are usually very expressive, but it comes at a price of computationally expensive reasoning over them. In our previous work we discussed the possible performance benefits that can be obtained by decomposing an ontology into contexts. While the benefits are appealing, we discovered that, in our case, the main obstacle against using...
-
Modeling a Traffic Remapping Attack Game in a Multi-hop Ad Hoc Network
PublicationIn multi-hop ad hoc networks, selfish nodes may unduly acquire high quality of service (QoS) by assigning higher priority to source packets and lower priority to transit packets. Such traffic remapping attacks (TRAs) are cheap to launch, impossible to prevent, hard to detect, and harmful to non-selfish nodes. While studied mostly in single-hop wireless network settings, TRAs have resisted analysis in multi-hop settings. In this paper...
-
Realizacja programów - kluczowe czynniki sukcesu
PublicationW rzeczywistości gospodarczej każdego kraju programy są czymś po-wszechnym i służą osiąganiu wielkich oraz złożonych celów. Głównie podejmowane są przez instytucje publiczne i badawczo - naukowe, ale również duże podmioty pry-watne coraz częściej inicjują programy. W ostatnich latach pod względem metodycz-nym obszar wiedzy dotyczący zasad realizacji programów zaczął być wyodrębniany, jako coś, co posiada pewną specyfikę, odrębną...
-
Geometric working volume of a satellite positive displacement machine
PublicationThis article describes a method for determining the geometric working volume of satellite positive displacement machines (pump and motor). The working mechanism of these machines is satellite mechanism consisting of two non-circular gears (rotor and curvature) and circular gears (satellites). Two variants of the satellite mechanism are presented. In the first mechanism, the rolling line of the rotor is a sinusoid "wrapped" around...
-
Supervisory control of integrated wastewater treatment systems.
PublicationSterowanie zintegrowanym systemem oczyszczania ścieków (sieć kanalizacyjna- oczyszczalnia ścieków), w pełnym zakresie jego obciążeń wymaga zastosowania zaawansowanych algorytmów sterowania optymalizującego. System sterowania jest hierarchicznie zdekomponowany, tworząc wielopoziomową-wielowarstwową. Główną technologią sterowania sterowanie predykcyjne (MPC). Nie jest możliwe wystarczająco efektywne sterowanie takim systemem we wszystkich...
-
Softly switched model predictive control for control of integratedwastewater treatment system at medium time scale.
PublicationW przypadku gdy system jest sterowany za pomocą jednej, uniwersalnej strategii sterowania w pełnym zakresie jego obciążeń, powstają poważne trudności w znalezieniu optymalnego sterowania. W celu jak najlepszego dopasowania strategii sterowania do panujący warunków, zdefiniowano trzy stany operacyjne: normalny, zakłóceniowy oraz awaryjny. Dla tych stanów zaprojektowano odpowiednie strategie sterowania. W związku z tym pojawia się...
-
Clinical anatomy of the spatial structure of the right ventricular outflow trac
PublicationBackground. The right ventricular outflow tract (RVOT) is located above the supraventricular crest and reaches the level of the pulmonary valve. Detailed knowledge of the RVOT spatial structure and its morphology is extremely important for cardiac invasive therapeutic procedures. Objectives. To examine the spatial structure of the RVOT using virtual models of the right ventricle (RV) interior obtained post mortem. Material and...
-
Dzieło demiurga. Zapis gnostyckiego doświadczenia egzystencji we wczesnej poezji Czesława Miłosza (książka)
PublicationDzieł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...
-
Zaawansowane techniki optymalizacji Pixel Shaderów 2.0
PublicationArtykuł 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...
-
We are in touch
PublicationIn Touch - opis pracy „Dłonie stanowią część indywidualnej osobowości i charakteru, ale wykonują również swoje niezależne działania, i jako wyposażone we własny język, mają kluczowe znaczenie dla ludzkiej komunikacji.” Myśląca dłoń, J. Pallasmaa Obraz In Touch powstał z potrzeby zbudowania metafory czasu, którego aktualnie doświadczamy. Popularny w języku angielskim, wyrażający intencję pozostania w kontakcie, zwrot we are in...
-
Rozpoznanie ról użytkowników usługi e-mail z wykorzystaniem metody opartej na ontologii
PublicationSieci społeczne jako struktury ukazujące społeczne powiązania pomiędzy osobami lub całymi organizacjami poddawane są często analizie w celu rozpoznania ról, jakie pełnią poszczególni aktorzy w danej sieci. Taka klasyfikacja ról odgrywanych przez aktorów może dostarczać wielu cennych informacji o danej sieci, gdyż daje nam całościowy obraz danej sieci pozwalając na zrozumienie, w jaki sposób sieć jest zorganizowana, i w jaki sposób...
-
E-mail user roles identification using OWL-based ontology approach
PublicationSieci społeczne jako struktury ukazujące społeczne powiązania pomiędzy osobami lub całymi organizacjami poddawane są często analizie w celu rozpoznania ról, jakie pełnią poszczególni aktorzy w danej sieci. Taka klasyfikacja ról odgrywanych przez aktorów może dostarczać wielu cennych informacji o danej sieci, gdyż daje nam całościowy obraz danej sieci pozwalając na zrozumienie, w jaki sposób sieć jest zorganizowana, i w jaki sposób...
-
Computational intelligence-aided character animation
PublicationW pracy przedstawiono pokrótce metody animacji komputerowej, a także podano zasady oceny jakości wyniku animacji postaci. Dodatkowo dokonano przeglądu metod inteligentnych stosowanych w animacji komputerowej i w dziedzinach pokrewnych. W badaniach skupiono się na animacji ruchu w kontekście uzyskiwanej ekspresji. Podano reguły stosowane w animacji tradycyjnej oraz wyznaczono parametry opisujące fazy ruchu w odniesieniu do poszczególnych...
-
Analiza zachowań użytkowników portalu onet.pl w ujęciu reguł asocjacyjnych
PublicationPortale internetowe są obecnie powszechnym źródłem informacji, notując bardzo dużą liczbę odwiedzin w ciągu dnia. Aktywność użytkowników zapisywana jest w plikach loga serwera WWW. Analiza takich danych może być z powodzeniem wykorzystana do określenia ścieżek nawigacji użytkowników. Uzyskana w ten sposób wiedza pozwala na stworzenie skutecznej strategii marketingowej dla produktów i usług oferowanych w ramach portalu. W niniejszej...
-
Dynamiczna aplikacja internetowa maszyny indukcyjnej w ujęciu obiektowym dla potrzeb symulacji obwodowej
PublicationTematem referatu jest dynamiczna aplikacja internetowa, która umożliwia symulację obwodową silnika indukcyjnego trójfazowego z wykorzystaniem interfejsu przeglądarki WWW. Model matematyczny silnika jest zdefiniowany w tzw. osiach naturalnych i sformułowany na podstawie metody energetycznej Lagrange’a. Do implementacji modelu maszyny w aplikacji internetowej wybrano projekt typu Web Forms, który jest składnikiem środowiska programistycznego...
-
Wirtualny model zbiorników z wodą w sterowniku PLC
PublicationModele obiektów rzeczywistych otrzymuje się na różnorodne sposoby i wykorzystuje w różnorodnych celach. Do badania obiektów automatyki stosuje się najczęściej programy komputerowe, np.: Matlab-Simulink, Scilab, GNU Octave, itp. Można również stosować pamięć operacyjną sterowników [1, 2]. W referacie przedstawiono opis wirtualnego modelu dwóch połączonych zbiorników z wodą w sterowniku PLC. Proste przekształcenia matematyczne pozwalają...
-
ZMIANA STRUKTURY DOCHODÓW W POLSCE W RELACJI KAPITAŁ–PRACA Z UWZGLĘDNIENIEM SEKTORÓW GOSPODARKI NARODOWEJ
PublicationStreszczenie w języku polskim: Dynamiczne zmiany strukturalne dokonujące się w gospodarce polskiej, dążącej do osiągnięcia rozwoju zbliżonego do gospodarek najbardziej rozwiniętych UE i związana z tym zmiana w zatrudnieniu oraz zaangażowaniu kapitału w poszczególnych sektorach gospodarki narodowej, skłaniają do podjęcia badań dotyczących zmian relacji dochodowych w układzie kapitał-praca w poszczególnych sektorach gospodarki i...
-
Selected aspects of customization of cognitive dimensions for evaluation of visual modeling languages.
PublicationFor the successful application of diagrams in software engineering, high quality visual modelling languages (VML) are required. There is a need for new effective methodologies of VML evaluation. This paper discusses selected aspects of applying cognitive dimensions as a basis of the evaluation. Then, it briefly presents CD-VML methodology which integrates the cognitive dimensions with a theory of visual modelling languages. Finally,...
-
DOROTKA, czyli Doskonalenie Organizacji, ROzwoju oraz Tworzenia Kursów Akademickich przez Internet.
PublicationW artykule zaprezentowano dedykowaną platformę wspierającą kształcenie na odległość opracowaną i uruchomioną w ramach projektu Leonardo da Vinci TeleCAD (Teleworkers Training for CAD System Users, 1998-2001), wykorzystywaną w latach 2000-2003 do wspomagania przedmiotu Podstawy Informatyki na Wydziale Inżynierii Lądowej Politechniki Gdańskiej. Przedstawiono również, bazujący na wieloletnich doświadczeniach, model DOROTKA (Doskonalenie...
-
Generation of conformance test suites for parallel and distributed languages and APIS.
PublicationArtykuł zarysowuje nową metodologię systematycznego tworzenia Zestawów Testów Zgodności. Testowanie zgodności ma na celu sprawdzenie, czy implementacja jest zgodna ze swoją specyfikacją, co jest szczególnie ważne w środowiskach równoległych i rozproszonych, gdzie musi ze sobą współpracować wiele różnych pakietów. Autor rozpoczął swoje badania w dziedzinie testowania zgodności dla języka równoległego sterowanego danymi Athapascan,...
-
POPRAWA OBIEKTYWNYCH WSKAŹNIKÓW JAKOŚCI MOWY W WARUNKACH HAŁASU
PublicationCelem pracy jest modyfikacja sygnału mowy, aby uzyskać zwiększenie poprawy obiektywnych wskaźników jakości mowy po zmiksowaniu sygnału użytecznego z szumem bądź z sygnałem zakłócającym. Wykonane modyfikacje sygnału bazują na cechach mowy lombardzkiej, a w szczególności na efekcie podniesienia częstotliwości podstawowej F0. Sesja nagraniowa obejmowała zestawy słów i zdań w języku polskim, nagrane w warunkach ciszy, jak również w...
-
Początek Gdyńskiego Systemu Wodociągowego Wodociąg wiejski w gminie Oksywie w latach 1911 – 1929. Część I.
PublicationPrzedmiotem badań był wodociąg wiejski na Oksywiu z początku XX wieku, jako najstarszy na ziemiach polskich pod zaborami. Po przeprowadzeniu żmudnej kwerendy odtworzono przebieg procesu decyzyjnego jego budowy i eksploatacji. Szczególnie ważkie informacje odkryto w protokołach z posiedzeń Rady Gminnej Oksywia napisanych w języku staroniemieckim w latach 1911 – 1920. W rezultacie ustalono parametry techniczne sieci i urządzeń wodociągowych...
-
Badanie wierności brzmienia dźwięku instrumentów wirtualnych VST/TRTAS
PublicationTematem referatu jest subiektywne badanie wierności brzmienia instrumentów wirtualnych (VST/TRTAS) wykorzystujących próbkowanie dźwięków rzeczywistych instrumentów muzycznych. Na potrzeby przedstawionej pracy wybrano kilka utworów muzyki orkiestrowej z epoki romantyzmu i klasycyzmu, nagranych przy użyciu instrumentów akustycznych. Następnie zaaranżowano fragmenty tych utworów, wykorzystując do tego instrumenty wirtualne i efekty...
-
Narratives on cutting down trees on private land. A comparison of urban and rural municipalities in Poland using the Q-deliberation method
PublicationIncreased 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...
-
Experience-Based Product Inspection Planning for Industry 4.0
PublicationIn this paper we describe how our Smart Virtual Product Development (SVPD) system can be used to enhance product inspection planning. The SVPD system is comprised of three main modules, these being the design knowledge management (DKM) module, the manufacturing capability and process planning (MCAPP) module, and the product inspection planning (PIP) module. Experiential knowledge relating to formal decisional events is collected,...
-
Experience based decisional DNA to support smart product design
PublicationThis paper presents the idea of Smart Virtual Product Development (SVPD) system to support product design. The foundations of the system are based upon smart knowledge management techniques called Set of Experience Knowledge Structure (SOEKS) and Decisional DNA (DDNA). It enhances the industrial product development process by using the previous experiential knowledge gathered from the formal decisional activities. This experiential...
-
Renewable and Sustainable Energy: Current State and Prospects
PublicationThe last two decades of the twentieth century represented a period of above-average, systematic growth of formal and informal interdependencies between economies of different countries and between world markets. The intensity, magnitude, and diversity of these interdependencies have never been recorded before in economic history, and the market transformations taking place have been referred to in the literature as the process...
-
Hazard Control in Industrial Environments: A Knowledge-Vision-Based Approach
PublicationThis paper proposes the integration of image processing techniques (such as image segmentation, feature extraction and selection) and a knowledge representation approach in a framework for the development of an automatic system able to identify, in real time, unsafe activities in industrial environments. In this framework, the visual information (feature extraction) acquired from video-camera images and other context based gathered...
-
Behavior of the exhaust valve cladding face under the service conditions
PublicationPodczas eksploatacji silnika okrętowego kluczowym problemem jest trwałośc zaworów wylotowych a w szczególności wąskiego fragmentu - przylgni grzybka zaworu, która decyduje o szczelności zaworu.Przylgnia wykonana przez laserowe napawanie stopu kobaltu została poddana badaniom w warunkach normalnej eksploatacji silnika L22 przez 2 lata. W tym czasi silnik był zasilany zarówno paliwem lekkim jak i biopaliwem. Po zdemontowaniu głowicy...
-
Dynamic coloring of graphs
PublicationDynamics is an inherent feature of many real life systems so it is natural to define and investigate the properties of models that reflect their dynamic nature. Dynamic graph colorings can be naturally applied in system modeling, e.g. for scheduling threads of parallel programs, time sharing in wireless networks, session scheduling in high-speed LAN's, channel assignment in WDM optical networks as well as traffic scheduling. In...
-
Monomeric Triphosphinoboranes: Intramolecular Lewis Acid–Base Interactions between Boron and Phosphorus Atoms
PublicationHerein, we present the synthesis of the first fully characterized monomeric triphosphinoboranes. The simple reaction of boron tribromide with three equivalents of bulky lithium phosphide tBu2PLi yielded triphosphinoborane (tBu2P)3B. Triphosphinoboranes with diversified phosphanyl substituents were obtained via a two-step reaction, in which isolable bromodiphosphinoborane (tBu2P)2BBr is first formed and then reacts with one equivalent...