Filters
total: 2134
filtered: 1075
-
Catalog
- Publications 1075 available results
- Journals 31 available results
- Conferences 24 available results
- Publishing Houses 6 available results
- People 176 available results
- Projects 8 available results
- Laboratories 6 available results
- Research Teams 5 available results
- Research Equipment 2 available results
- e-Learning Courses 619 available results
- Events 83 available results
- Open Research Data 99 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: jezyki formalne
-
Skills mismatch in the context of technological change
PublicationThe main purpose of this dissertation is to assess the perception asymmetry of smart skills and formal education in ICT based economy. In other words, the goal of this research is to assess perceptions of smart skills and competences in the context of technological change from the perspectives of employers and students in Poland. Determining the fore-mentioned relationship gives insight into the hypothetical perception asymmetry...
-
Programowanie Obiektowe z Użyciem Adnotacji Semantycznych
PublicationW tym artykule przedstawiono jak przy udziale standardowych mechanizmów nowoczesnych języków obiektowych, osiągnięć z zakresu formalnej reprezentacji wiedzy oraz lingwistyki komputerowej wytworzyć zbiór narzędzi wzbogacających warsztat programisty o narzędzia semantyczne. Przedstawione tu Programowanie Obiektowe z Użyciem Adnotacji Semantycznych jest częścią rozwijanej przez autora referatu metodologii wytwarzania oprogramowania...
-
Wpływ specyficznych właściwości czynnych systemów wodociągowych w Polsce na metodykę pomiarów terenowych i interpretacje ich wyników
PublicationW opracowaniu scharakteryzowano trzy następujące cechy: 1) przewymiarowanie sieci wodociągowej, 2) pozorną chropowatość przewodów z odłożonymi osadami, 3) pulsację ciśnienia w układzie wodociągowym. Następnie wskazano na utrudnienia jakie one powodują w przygotowaniu pomiarów, ich przeprowadzeniu, a niekiedy interpretacji uzyskanych wyników. W efekcie dowiedziono, że normalne warunki eksploatacji nie pozwalają na bezpośrednie pomiary...
-
Model zmian stanu technicznego ślizgowych układów tribologicznych silników o zapłonie samoczynnym i jego zastosowanie przy podejmowaniu decyzji
PublicationW publikacji przedstawiono formalny opis procesu zmian stanu technicznego ślizgowych układów tribologicznych silników o zapłonie samoczynnym i uzasadniono, że modelem tego procesu może być proces semimarkowski o skończonym zbiorze stanów. Przydatność tego modelu została wykazana na przykładzie często spotykanej w praktyce eksploatacyjnej sytuacji decyzyjnej, w której należy podjąć najlepszą decyzję spośród możliwych do podjęcia....
-
Evaluation of affective intervention process in development of affect-aware educational video games
PublicationIn this paper initial experiences are presented on implementing specific methodology of affective intervention design (AFFINT) for development of affect-aware educational video games. In the described experiment, 10 student teams are to develop affect-aware educational video games using AFFINT to formalize the whole process. Although all projects are still in progress, first observations and conclusions may already be presented.
-
Akwarela- pasje i namiętności
PublicationMonografia dwujęzyczna: w języku polskim i angielskim przedstawiająca twórczość akwarelistów, członków założycieli nowo powstałego Stowarzyszenie Akwarelistów Polskich.
-
A new integrated curriculum for computational methods in mechanics and design
PublicationPrzedstawiono program nowej specjalności na studiach inżynierskich: metody numeryczne w mechanice i projektowaniu, prowadzonej w języku angielskim.
-
Remote learning among students with and without reading difficulties during the initial stages of the COVID-19 pandemic
PublicationThis article presents the results of a survey on yet under-researched aspects of remote learning and learning difficulties in higher education during the initial stage (March – June 2020) of the COVID-19 pandemic. A total of 2182 students from University of Warsaw in Poland completed a two-part questionnaire regarding academic achievements in the academic year 2019/2020, living conditions and stress related to learning and pandemic,...
-
Buckling resistance of a metal column in a corrugated sheet silo - experiments and non-linear stability calculations
PublicationThe results of experimental and numerical tests of a single corrugated sheet silo column’s buckling resistance are presented in this study. The experiments were performed in a real silo with and without bulk solid (wheat). A very positive impact of the bulk solid on the column buckling resistance occurred. The experimental results were first compared to the buckling resistance calculated by Eurocode 3 formulae. The comparison revealed that...
-
Otrzymywanie i właściwości nanocząstek magnetycznych
PublicationNanomagnetyzm to dział fizyki zajmujący się badaniem własności magnetycznych obiektów, których przynajmniej jeden wymiar jest mniejszy niż 100 nm.
-
Influence of traffic conditions on the operating fuel consumption
PublicationPrzedstawiona w pracy metoda umożliwia ocenę warunków eksploatacji pojazdu. Warunki te mogą wynikać zarówno z lokalnej specyfiki ruchu pojazdów jak również ze sposobu prowadzenia auta przez kierowcę. W pracy zamieszczono przykłady oceny zarejestrowanych w normalnej eksploatacji warunków ruchu pojazdu i ich wpływu na przebiegowe zużycie paliwa.
-
Dynamical nonlocality in quantum time via modular operators
PublicationWe formalize the concept of the modular energy operator within the Page and Wootters timeless framework. As a result, this operator is elevated to the same status as the more studied modular operators of position and momentum. In analogy with dynamical nonlocality in space associated with the modular momentum, we introduce and analyze the nonlocality in time associated with the modular energy operator. Some applications of our...
-
Comments on “Closed Form Variable Fractional Time Delay Using FFT”
PublicationIn this letter drawbacks of the aforementioned paper are pointed out. The proposed approach is improved with minor modifications of the discrete frequency response. This allows for design of fractional delay filters which are close to optimal and can be efficiently implemented in the frequency domain using the sliding DFT based structure. Alternatively, the derived equivalent closed form formulae for offset windows can be used...
-
Factors influencing decisions to retire – case study of Poland
PublicationThe main objective of the article is to present the factors influencing the decisions of the Poles from the older age groups to withdraw from the labour market by retirement, or on the contrary – to remain economically active, also upon reaching the formal retirement age.
-
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.
-
Modeling pragmatics for visual modeling language evaluation
PublicationPodczas oceny użyteczności języków modelowania wizualnego istnieje potrzeba uwzględnienia ich pragmatyki. Języki modelowania wizualnego mogą być stosowane w różnym kontekście, co powoduje różnice w wymaganiach, które są im stawiane. Jawny opis kontekstu użycia ułatwia precyzyjną ocenę. Pragmatyka składa się ze zbioru profili, które opisują konkretne konteksty użycia. W referacie podjęto próbę zastosowania modeli zadań do opisu...
-
Why do Poles withdraw from the labour market so early? - systematics of the factors influencing Poles' decisions to retire
PublicationThe study undertakes to identify the factors that influence the decisions of the working population approaching retirement age to withdraw from the labour market (which in this case is equivalent to retirement) or continue economic activity (also after reaching the formal retirement age)
-
A complete example of experience konowledge structure on XML
PublicationPrzedstawiono kompletny przykład reprezentacji struktury wiedzy w języku XML. Omówiono cztery podstawowe składniki tej reprezentacji: dane, funkcje, ograniczenia i zasady.
-
Knowledge Views and their application in systems engineering
PublicationWykorzystanie technologii Semantic Web, w szczególności baz wiedzy, w przemyśle informatycznym jest niewielkie. Jest to spowodowane między innymi dużym ryzykiem związanym z wdrażaniem nowych technologii i brakiem wiedzy na ich temat ze strony inżynierów oprogramowania. Aby zmniejszyć ryzyko związane z wdrażaniem baz wiedzy i zminimalizować nakład pracy inżynierów na zapoznanie się z nimi, w niniejszej pracy zaproponowano koncepcję...
-
Finite element investigations of granular material behaviour during cyclic wall shearing under a constant normal stiffness condition
PublicationW artykule przedstawiono wyniki numnerycznej analizy zachowania sie materiałów granulowanych podczas cyklicznego ścinanai wzdłuz szorstkiej ściany z warunkiem stałej sztywności normalnej. Obliczenia wykonano przy zastosowaniu metody elementów skończonych i mikropolarnego nodelu hipopalstycznego. Obliczenia wykonano dla róznych sztywności, początkowych wskaźników porowatości i sredniej średnicy ziarna. Wyniki numeryczne porównano...
-
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.
-
Klasyfikacja emocji w muzyce filmowej z wykorzystaniem uczenia głębokiego
PublicationPraca przedstawia zagadnienia związane z klasyfikacją emocji w muzyce filmowej. W artykule zaproponowano model emocji zawierający dziewięć stanów emocjonalnych, do których przypisany jest kolor zgodnie z teorią koloru w filmie. Kolejne kroki eksperymentu obejmowały wybór muzyki filmowej do testów (baza Epidemic Sound), przygotowanie założeń ankiety oraz modelu emocji wykorzystywanych w testach odsłuchowych, a także konstrukcję...
-
Support Mechanisms in Teaching Technical Writing in the Online Environment
PublicationProwadzone online kursy angielskiego języka specjalistycznego, np. kurs pisania w języku technicznym, realizują potrzeby studentów o zróżnicowanych umiejętnościach językowych- od poziomu niżej średniozaawansowanego do zaawansowanego.Studenci uzyskują wsparcie przed, w trakcie i po kursie ze strony nauczyciela, a także w postaci dostarczonych materiałów kursowych, jak również ze strony innych uczestników kursu. Przed rozpoczęciem...
-
Existence of periodic orbits for a perturbed vector field
PublicationPrzy nałożeniu pewnego warunku na odwzorowanie Poincarego, wyrażonego w języku indeksów iteracji, dowodzi się istnienia orbit periodycznych dla zaburzonego pola wektorowego.
-
Linear Time-Varying Dynamic-Algebraic Equations of Index One on Time Scales
PublicationIn this paper, we introduce a class of linear time-varying dynamic-algebraic equations (LTVDAE) of tractability index one on ar- bitrary time scales. We propose a procedure for the decoupling of the considered class LTVDAE. Explicit formulae are written down both for transfer operator and the obtained decoupled system. A projector ap- proach is used to prove the main statement of the paper and sufficient conditions of decoupling...
-
O dobrych obyczajach w nauce - dodatkowych słów kilka
PublicationOpis kilku opracowań dotyczących etyki ludzi nauki.
-
A method for assessing hazards, risks and safety of damaged ships at sea
PublicationPrzedstawiono wybrane problemy związane z metodą oceny bezpieczeństwa statków, opartej na ocenie zachowania się statku i ocenie ryzyka, w warunkach eksploatacyjnych. Omówiono zakres oceny bezpieczeństwa i analizy ryzyka w odniesieniu do zagadnienia zachowania się statku uszkodzonego na morzu. Analiza ryzyka oparta jest na zastosowaniu elementów Formalnej Oceny Bezpieczeństwa FSA. Opisano główne kroki analizy ryzyka. Podano podstawowe...
-
Contextual Knowledge to Enhance Workplace Hazard Recognition and Interpretation in a Cognitive Vision Platform
PublicationThe combination of vision and sensor data together with the resulting necessity for formal representations builds a central component of an autonomous Cyber Physical System for detection and tracking of laborers in workplaces environments. This system must be adaptable and perceive the environment as automatically as possible, performing in a variety of plants and scenes without the necessity of recoding the application for each...
-
Własności fotowoltaiczne układów organicznych
PublicationPraca omawia fizyczne podstawy zjawiska fotowoltaicznego w układach organicznych oraz badania tego zjawiska prowadzone na Wydziale Fizyki Technicznej i Matematyki Stosowanej Politechniki Gdańskiej.
-
Projektowanie nawierzchni typu ciężkiego w portach i terminalach kontenerowych
PublicationCharakterystyka i ocena stanu technicznego istniejącego stuletniego mostu kolejowego. Koncepcja przeprawy mostowej z przęsłem stałym oraz jezdni w postaci płyty zespolonej lub użebrowanej.
-
Silo music - mechanism of dynamic flow and structure interaction
PublicationArtykuł omawia zjawisko muzyki silosowej. Wykonano pomiary dynamiczne przyspieszeń, częstotliwości i postaci drgań własnych. Zaproponowano nowa hipotezę powstawania efektów dynamicznych podczas przepływu silosowego.
-
Silo music - mechanism of dynamic flow and structure interaction
PublicationArtykuł omawia zjawisko muzyki silosowe. Wykonano pomiary dynamiczne przyspieszeń, częstotliwości i postaci drgań własnych. Zaproponowano nowa hipotezę powstawania efektów dynamicznych podczas przepływu silosowego.
-
Brittle fracture of 100-, 110-, 111-oriented Cu crystals: MD vs. TB/MD approach
PublicationPrzeprowadzono wieloskalowe symulacje nanoindentacji miedzi nieskończenie twardym narzędziem, przy zastosowaniu metody dynamiki molekularnej, z siłami liczonymi na bieżąco w formalizmie ciasnego wiązania (TB). Przedstawiono wyniki dla trzech orientacji krystalicznych podłoża. Badano efekt dołączenia obliczeń TB na siłę normalną odczuwaną przez narzędzie i na przemieszczenia atomów podłoża, przez porównywanie z symulacją czystą...
-
Budowa ontologii usług dla potrzeb wyszukiwania
PublicationOntologie, dzięki zapewnieniu formalnego opisu przy zachowaniu czytelności dla człowieka, są coraz powszechniej stosowaną metodą opisu usług sieciowych. Zaprezentowano słownik WordNet i jego zastosowanie jako meta ontologia do opisów usług podobnych różnych dostawców. Zaproponowano algorytm oparty o ten słownik umożliwiający integrację ontologii usług w celu zapewnienia interoperacyjności rozwiązań dostępnych w sieci Internet.
-
The structure of rarefied and densified PbSiO3 glass: a molecular dynamics study.
PublicationArtykuł przedstawia wyniki symulacji dynamiczno-molekularnychstruktury rozrzedzonego i zagęszczonego szkła PbSiO3 (w zakresie gęstości od 3000 kg/m3 do 8000 kg/m3). Otrzymane wyniki dokładnie przedyskutowano pod kątem blisko- i średnio-zasięgowego uporządkowania atomów i porównano ze strukturą szkła PbSiO3 o normalnej gęstości (5970kg/m3) oraz ze strukturą rozrzedzonych i zagęszczonych szkieł PbGeO3.
-
UWARUNKOWANIA APLIKACYJNE KONCEPCJI PUNKTÓW STEROWANIA JAKOŚCIĄ NA PRZYKŁADZIE USŁUG PRALNICZYCH
PublicationW artykule tym zaprezentowano charakterystykę procesu w profesjonalnej pralni chemicznej. Jako cel przyjęto identyfikację i opis zasadniczych punktów sterowania jakością (PSJ) w tego typu procesach. Przedstawiono też informacje, jak działania formalizujące PSJ przełożyły się na efekty konkretnej organizacji świadczącej usługi pralnicze
-
Study of free convective boundary layer of isothermal lateral surface of axisymmetrical horizontal body
PublicationPrzedstawiono rozwiązanie równań Naviera-Stokesa i Fouriera-Kirchhoffa we współrzędnych tau i sigma. Pierwsza jest styczną a druga normalną do konwekcyjnych linii prądu, wzdłuż jakich porusza się ogrzany od powierzchni płyn. Wynik w postaci równania na grubość warstwy przyściennej zweryfikowano dla granicznych przypadków ciała obrotowego o poziomej osi symetrii (stożka poziomego i kołowej pionowej płyty).
-
Elementary gates for cartoon computation
PublicationSformułowano elementarne bramki kwantowe, pozwalające tłumaczyć algorytmy kwantowe na język geometryczny.
-
Intercorrelation between CPTU-DMT tests for sands on the Baltic coast
PublicationNa podstawie badań terenowych opracowano szereg zależności między parametrami uzyskanymi z badania CPTU i DMT w czystych piaskach kwarcowych na Wybrzeżu Bałtyku. Uwzględniono wpływ historii geologicznej złoża oraz prekonsolidacji. Przedstawiono zależności dla piasków normalnie konsolidowanych i prekonsolidowanych. Prekonsolidacja i historia geologiczna bardziej wpływają na wyniki badania DMT niż CPTU. Zaproponowano oszacowanie...
-
Analiza numeryczna i badania doświadczalne kratownicy ze stężeniami
PublicationW niniejszej pracy przedstawione są wyniki badań eksperymentalnych i analiz numerycznych typowej kratownicy. Przeprowadzono analizę stateczności i nieliniową analizę statyczną dla modelu prętowego konstrukcji. Przedstawione zostały zależności między sztywnością stężeń, a siłą normalną w pasie ściskanym kratownicy odpowiadającą obciążeniu wyboczeniowemu. Wyznaczone zostały również siły w stężeniu powstające na skutek przyrostu obciążenia...
-
ENTERPRISE ACTIVITIES MODELING BY BPMN NOTATION
PublicationDepending on the process behavior, available know-how and organizational goals, different techniques and tools can be used for business process modeling. We concentrate on e-commerce, and try to find the best marketing strategy for the sales process improvement. In the paper we present the multilayer approach to define enterprise scenarios. This allows us to collect the suitable knowledge necessary for enterprise analysis and improvement....
-
Fenomenologia form symbolicznych. Podstawowe pojęcia i inspiracje "późnej" filozofii Ernsta Cassirera
PublicationMonografia rekonstruuje system filozofii Ernsta Casirera w oparciu o nieznane do niedawna teksty jego spuścizny rekopiśmienniczej. Jest pierwszym w języku polskim kompleksowym opracowaniem całości filozofii tego myśliciela.
-
3D reconstruction seafloor from side-scan records
PublicationArtykuł przedstawia sposób wykorzystania języka opisu wirtualnej rzeczywistości (VRML) do trójwymiarowej wizualizacji dna morskiego. W szczególności zaprezentowano techniki rekonstrukcji trójwymiarowego obrazu z danych pochodzących z sonaru bocznego.
-
Molecular picture of hydroxide anion hydration in aqueoussolutions studied by FT-IR ATR spectroscopy
PublicationHydratacja anionu hydroksylowego w wodnych roztworach wodorotlenków metali alkalicznych (LiOH, NaOH, KOH) została zbadana metodą spektroskopii oscylacyjnej FT-IR całkowitego wewnętrznego odbicia (ATR). Widma oscylacyjne wody dostarczają cennych informacji na temat stanu strukturalnego cząsteczek wody w sferach hydratacyjnych, wynikających ze sprzężeń oscylatorów w układzie. Wykazano, że drganie normalne rozciągające cząsteczki...
-
Safety assessment of ships in critical conditions using a knowledge-based system for design and neural network system
PublicationW pracy opisano wybrane elementy metody oceny bezpieczeństwa statków w stanie uszkodzonym, ukierunkowanej na ocenę osiągów statku i ocenę ryzyka. Metoda analizy osiągów i zachowania się statku w stanie uszkodzonym została wykorzystana do oceny charakterystyk hydromechanicznych statku uszkodzonego. Do oceny ryzyka wykorzystano elementy metodyki Formalnej Oceny Bezpieczeństwa. System ekspertowy został wykorzystany do analziy podziału...
-
A performance-oriented risk-based method for safety assessment of ships
PublicationW pracy przedstawiono wybrane informacje na temat metody oceny bezpieczeństwa statków w warunkach krytycznych. Metoda łączy podejście oparte na ocenie osiągów statku z podejściem opartym o ocenę ryzyka wypadku. Analiza ryzyka w metodzie oparta jest na zastosowaniu elementów Formalnej Oceny Bezpieczeństwa FSA. Analiza ryzyka w metodzie dotyczy: identyfikacji zagrożeń, oceny zagrożeń, identyfikacji scenariuszy wypadku, oceny ryzyka,...