Filters
total: 2167
-
Catalog
- Publications 1076 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 651 available results
- Events 83 available results
- Open Research Data 99 available results
displaying 1000 best results Help
Search results for: JEZYKI FORMALNE
-
Interpretacja badania dysypacji w gruntach normalnie skonsolidowanych w metodzie CPTU
PublicationAnaliza ciśnienia wody generowanego podczas wciskania końcówki CPTU. Przedstawiono opis krzywej dysypacji w gruntach normalnie konsolidowanych oraz przykład interpretacji badania dysypacji nadwyżki ciśnienia wody w warstwie gliny pylastej. Wyznaczono wartość współczynnika konsolidacji oraz współczynnika filtracji w tej warstwie.
-
Filmowość języka poetyckiego Czesława Miłosza
PublicationArtykuł rozwija tezę o filmowości wczesnej poezji Czesława Miłosza, przedstawia jej przesłanki na tle nowatorskich prądów epoki, omawia zastosowanie pojęć języka filmu jako adekwatnych wobec synekdochicznej techniki obrazowania noblisty. Prezentuje ją jako algorytm strukturalny świata poetyckiej wielogłosowości. Ukazuje związek etyki, filozofii, teologii z obrazowaniem wiersza. Dowodzi, że rozwój techniki synekdochiczno-filmowej...
-
Salve. Ćwiczenia z języka łacińskiego.
Publication -
O nieposzanowaniu języka w chromatografii
PublicationW pracy przedstawiono najczęstsze błęy popełniane w języku polskim w mowie i piśmie dotyczące chromatografii.
-
Wyróżnienia dla trójmiejskich popularyzatorów fizyki
PublicationArtykuł poświęcony doktorowi Stanisławowi Zacharze - laureatowi wyróżnienia za popularyzację fizyki przyznawanego przez Oddział Gdańskiego Towarzystwa Fizycznego.
-
Marketing usług w języku cybernetyki.
PublicationW artykule zaproponowano koncepcję systemu marketingu usług na przykładzie firmy usługowej składającej się z kierownika i personelu świadczącego usługi. W zakresie tego systemu wyróżniono marketing wewnętrzny (mix I), marketing zewnętrzny (mix II) oraz marketing interakcyjny (mix III).
-
Speech formant frequency and pitch estimation using instantaneous complex frequency
PublicationW pracy opisany został algorytm estymacji częstotliwości podstawowej oraz częstotliwości środkowych i pasm formantów mowy z wykorzystaniem zespolonej pulsacji chwilowej. W artykule przedstawiono również wyniki działania algorytmu dla polskich samogłosek.
-
Synergistic effect of nickel formate on the thermal and flame-retardant properties of polypropylene
Publication -
Jezik in slovstvo
Journals -
Język a Kultura
Journals -
Język Polski
Journals -
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)...
-
Formalna metoda oceny bezpieczeństwa statków w stanie uszkodzonym na podstawie analizy przyczyn i skutków wypadków
PublicationW pracy przedstawiono elementy formalnej analizy bezpieczeństwa statków w oparciu o analizę przyczyn i skutków wypadków. Do analizy bezpieczeństwa zastosowano metodykę Formalnej Oceny Bezpieczeństwa FSA. Zgodnie z metodyką FSA analize bezpieczeństwa przeprowadzono w następującym zakresie: identyfikacja zagrożeń, ocena zagrożeń, identyfikacja scenariuszy wypadków, ocenaę ryzyka i kontrola ryzyka. Metoda umożliwia podejmowanie decyzji...
-
Knowledge management based on formal models of software project management
PublicationCelem pracy jest prezentacja kompletnej koncepcji systemów wspierania decyzji w zarządzaniu projektami informatycznymi. Pomysł oparty jest na dynamicznych i samo nastrajających się modelach regułowo-rozmytych. W szczególności proponowane podejście wykorzystuje koncepcje metodologii opartych wiedzy oraz teorii układów dynamicznych oraz zbiorów rozmytych. Zastosowania tego opracowania znajdują się w obszarze wytwarzania produktów...
-
Business process modelling and simulation using formal experience record
PublicationZaproponowano modelowanie procesow biznesowych w oparciu o formalny zapis doswiadzcen. Przedtswiono softwerowa implementacje zaproponowego modelu.
-
Identyfikacja ryzyka w projektach realizowanych w formule partnerstwa publiczno - prywatnego
PublicationW referacie prezentuje się zagadnienie identyfikacji różnego rodzaju zagrożeń wynikających ze współpracy dwóch podmiotów w ramach partnerstwa publiczno-prywatnego. Omawia się wzajemne ich relacje oraz bariery związane m.in. z upowszechnieniem realizacji projektów wg tej formuły.
-
Zur Ähnlichkeit der Drill und Biegeträger-Formeln für dünnwandige Stäbe.
PublicationPrzeanalizowano serię wzorów dla prętów cienkościennych w przypadku działania skupionego momentu skręcającego na belkę wspornikową swobodnie podpartą i obustronnie utwierdzoną dla przypadku charakterystyki giętnoskrętnej. Podkreślono dokładność tych wzorów, które mogą dotyczyć obciążenia nieruchomego i ruchomego.
-
Electron Scattering from Methyl Formate (HCOOCH3): A Joint Theoretical and Experimental Study
PublicationElastic low-energy electron collisions with methyl formate have been studied theoretically at the level of various theories. The elastic integral cross section was calculated using Schwinger multichannel and R-matrix methods, in the static-exchange and static-exchange plus polarization levels of approximations for energies up to 15 eV. The absolute total cross section for electron scattering from methyl formate has been measured...
-
Języki sztuczne. Zapotrzebowanie społeczeństw czy fantazja jednostek? Zarys dziejów interlingwistyki (książka)
Publication -
Cifrovaâ reprezentaciâ leksem russkogo âzyka
PublicationKonfrontowanie zasobów leksyki pokrewnych systemów języka etnicznego w celu określenia stopnia zbieżności przynależnych im homonimik wymaga stosowania wysublimowanych procedur językoznawczych mających na celu oszacowanie wspólnoty akustycznej zawartej w paralelnych parlacjach użytkowników owych języków. Ewidentne zróżnicowanie nawyków aktu artykulacji a zwłaszcza, co szczególnie istotne, nieświadomego procesu intelektualnej percepcji...
-
Wpływ nawierzchni jezdni na zużycie paliwa
PublicationW pracy przedstawiono problematykę wpływu tekstury nawierzchni na opór toczenia opon samochodowych. Przedstawiono wymierne efekty ekonomiczne i ekologiczne wpływu nierówności i tekstury przy oporze toczenia opon na zużycie paliwa. Zawarto krótki opis celu badań, pomiarów oraz analizy wyników. Zaprezentowano również spostrzeżenia i wnioski.
-
Potrzebujemy nowego języka rozmowy o mieście
PublicationTekst 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...
-
Sieci neuronowe oparte na prawach fizyki
PublicationWiele fizycznie nieuzasadnionych sieci neuronowych, mimo zadowalają- cej wydajności, generuje sprzeczności z logiką i prowadzi do rozbieżno- ści wyników z rzeczywistością. Jedną z metod poprawy funkcjonowania typowego modelu typu “black-box” na etapie uczenia, jest rozszerzenie jego funkcji kosztu o zależność bezpośrednio inspirowaną wzorem fizycz- nym. Niniejszy rozdział wyjaśnia koncepcję budowy sieci neuronowych opartych na...
-
Automaty jako narzędzia w przetwarzaniu języka
PublicationRozdział zawiera definicję, notację i chcarakterystykę automatów oraz algorytmy ich przekształcania, umożliwiające ich skuteczne wykorzystanie w przetwarzaniu języka.
-
Wstęp do etyki-skrypt
PublicationW podręczniku, pt. "Wstęp do etyki" w postaci skryptu przedstawiłe podstawowe zagadnienia etyczne takie, jak: pojęcie "dobra moralnego", pojęcie "etyki" wraz z jej podziałem, określenie normy moralnej, oceny moralnej, kryterium oceny moralnej, pojęcie "wartości" z wyszczególnieniem typów hierarchii wartości, pojęcie "sumienia" wraz z jego trzema wymiarami. Zaliczyłem do podstawowych zagadnień również typologię etyki....
-
Edukacja skupiona na karierze, czyli o roli edukacji formalnej i pozaformalnej w przygotowaniu do życia zawodowego
Publication -
FORMAL METHODS IN SYSTEM DESIGN
Journals -
A Formal Approach to Model the Expansion of Natural Events: The Case of Infectious Diseases
PublicationA formal approach to modeling the expansion of natural events is presented in this paper. Since the mathematical, statistical or computational methods used are not relevant for development, a modular framework is carried out that guides from the external observation down to the innermost level of the variables that have to appear in the future mathematical-computational formalization. As an example we analyze the expansion of Covid-19....
-
Model pojawiania się sytuacji odmiennych od normalnej podczas pobytu statku na morzu
PublicationW referacie przedstawiono model zmian sytuacji, które mogą pojawiać sie w czasie ruchu statku. Model ten został opracowany w formie procesu semimarkowskiego. W modelu tym wyróżniono takie sytuacje, jak normalną, skomplikowaną, niebezpieczną, awaryjną i katastroficzną. Przedstawiono wzory określające prawdopodobieństwa pojawienia się wymienionych sytuacji. Zasygnalizowano, że w sytuacjach tych, jest możliwe podejmowanie racjonalnych...
-
Corrosion behaviour of Cr coatings deposited from Cr(III) formate - urea electrolytes
PublicationPowłoki chromowe były otrzymane z elektrolitów Cr(III) zawierających odpowiednie ligandy, zapewniające ich dobry wygląd. Zbadano wpływ hydrazyny oraz hydrohylo aminofosfatu na właściwości korozyjne Cr otrzymanego z kąpieli mocznikowo-formaldehydowych Cr(III). Właściwości warstw testowano przy pomocy metody EIS rejestrując widma impedancyjne dla próbek o różnych czasach ekspozycji w zakwaszonym roztworze siarczanowym ( pH 2,6) stosując...
-
Własność prywatna - moralne i niemoralne aspekty posiadania w kontekście gospodarki wolnorynkowej
PublicationPrzedmiotem artykułu w monografii stanowią rozważana związane z moralnymi i niemoralnymi aspektami posiadania w warunkach gospodarki wolnorynkowej. Analizie poddano kwestie związane z posiadaniem, własnością, zyskiem.
-
Piotr Jasiński prof. dr hab. inż.
PeoplePiotr Jasinski obtained MSc in electronics in 1992 from the Gdansk University of Technology (GUT), Poland. Working at GUT, he received PhD in 2000 and DSc in 2009. Between 2001 and 2004 Post Doctoral Fellow at Missouri University of Science and Technology, while between 2008 and 2010 an Assistant Research Professor. Currently is an Associate Professor at Gdansk University of Technology working in the field of electronics, biomedical...
-
WordNet -bazodanowy system jako słownik języka angielskiego
PublicationWordNet[1] to alternatywne podejście do organizacji danychsłownikowych, w stosunku do klasycznej listy słów wraz z ich defnicjami. Koncepcja słownika opiera się na utworzeniu sieci koncepcji (sensów) powiązanych ze sobą relacjami określonego typu. Opisane zostały podstawowe założenia dotyczące budowy systemu WordNet oraz sposób organizacji danych językowych w postaci sieci semantycznej.
-
Projektowanie systemów informatycznych z wykorzystaniem języka korzyści
PublicationCelem 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...
-
Rozumienie pojęć języka naturalnego w procesie kognitywnym
Publication -
Rola fragmentów wyodrębnionych w języku UML 2
PublicationPrzedmiotem rozważań zaprezentowanych w niniejszej publikacji są zmiany oraz udoskonalenia związane z superstrukturą języka UML, wprowadzone wraz z wersją 2.0 tego standardu. W odróżnieniu od modyfikacji poczynionych w ramach poprzednich rewizji języka, zakres udoskonaleń związanych z przejściem pomiędzy wersjami 1.5 oraz 2.0 określić należy jako znaczny. W niniejszym referacie skoncentrowano się na jednej, ale bardzo znaczącej...
-
Wyróżnienia Oddziału Gdańskiego PTF za popularyzację fizyki
PublicationArtykuł poświęcony laureatowi wyróżnienia za popularyzację fizyki przyznawanego przez Oddział Gdańskiego Towarzystwa Fizycznego.
-
Język opisu usług sieciowych WSDL.
PublicationNiniejszy rozdział opisuje WSDL - język opisu usług sieciowych. Rozdział zawiera wprowadzenie w tematykę usług sieciowych (Web Services), również w odniesieniu do innych technologii przetwarzania rozproszonego jak CORBA, RMI. W szczególności przedstawiono podobieństwa i różnice w opisie metod udostępnianych do wywołania klientowi w WSDL oraz IDL. Elementy standardu WSDL omówiono na przykładzie usługi sieciowej do zdalnego uruchomienia...
-
The formal safety assessment and influence of human factor in application to chosen ship's type
PublicationTragedia jednego ze statków typu ro-ro pokazała podatność tego typu statków na utratę stateczności, przewrócenie się, a w ostateczności zatonięcie. Wszystkie ro-rowce charakteryzują się małym zanurzeniem, a wynurzona część kadłuba podatna jest na działanie wiatru. Jeżeli dodatkowo w takich warunkach dochodzi element nieprawidłowego rozmieszczenia pojazdów i ich słabego zamocowania to groźba przesunięcia ładunku staje się realna....
-
Języki skonstruowane jako obiekt badań współczesnej interlingwistyki [Constructed Languages as an Object of Study in Contemporary Interlinguistics]
Publication -
TOTAL CROSS SECTION MEASUREMENTS FOR ELECTRON SCATTERING ON METHYL FORMATE (HCOOCH3) MOLECULE: METHYLATION EFFECT
PublicationWe present the absolute total cross section (TCS) for electron scattering from the methyl formate (HCOOCH3) molecule measured in the 10-300 eV energy range, with electrostatic electron spectrometer working in the linear transmission mode. Comparison of TCS for the HCOOCH3 molecule with that measured earlier for the formic acid (HCOOH) compound manifests the methylation effect i.e. the response of the electron scattering dynamics...
-
Theoretical study of the photoelectron spectrum of ethyl formate: Ab initio and density functional theory investigation
PublicationThe first ionization energy and associated photoelectron spectrum of ethyl formate are investigated with quantum chemistry calculations. The geometries, harmonic vibrational frequencies and first ionization energy are computed at the Hartree-Fock (HF) and at the second order Moller-Plesset perturbation theory (MP2). Moreover, accurate ionization energies are obtained with the Coupled-Cluster theory including singles and doubles...
-
Ocena wpływu stanu wody na Świnie na bezpieczeństwo żeglugi w porcie Świnoujście z wykorzystaniem formalnej oceny bezpieczeństwa żeglugi
PublicationFormalna ocena bezpieczeństwa jest procesem stworzonym na podstawie zaleceń Międzynarodowej Organizacji Morskiej (ang. International Maritime Organization (IMO)) w celu rozwinięcia lub wprowadzenia nowych rozwiązań, które przyczynią się do podniesienia poziomu bezpieczeństwa. FSA jest adresowana dla konkretnej kategorii statków lub obszarów nawigacyjnych, jak również może być zastosowana do konkretnej morskiej kwestii bezpieczeństwa...
-
Pseudostany w diagramach maszyny stanowej języka UML 2.0
PublicationKluczowymi pojęciami w odniesieniu do obiektowych baz danych są obiekty i ich klasy. Aspekt dynamiczny obiektów w systemach intensywnie wykorzystujących dane może być modelowany przy wykorzystaniu diagramów maszyn stanowych. Semantykę tego rodzaju diagramów w wersji 2.0 języka UML znacząco rozbudowano o szereg kategorii pojęciowych. Do najistotniejszych z nich należą pseudostany obiektów. Pozwalają one na precyzyjną specyfikację...
-
Wieloznaczność w języku i tekście [Ambiguity in language and text]
Publication -
Wpływ nawierzchni jezdni na hałas drogowy. Część 1
PublicationW pracy przedstawiono rys historyczny walki z hałasm generowanym przez ruch drogowy. Problem ten był już istotny w Starożytnym Rzymie. W latach trzydziestych ubiegłego wieku wykonano w Polsce pierwsze pomiary hałasu związanego z ruchem drogowym. Podano zakresy prędkości powyżej których dominującym źródłem hałasu są toczące się opony. Przedstawiono czynniki związane z nawierzchnią i wpływające na hałas toczenia opon.
-
Wpływ nawierzchni jezdni na hałas drogowy - część 2
PublicationW pracy przedstawiono mechanizmy generowania hałasu opon związane z drganiami mechanicznymi oraz z przepływami powietrza. Omówiono wpływ rzeźby bieżnika opony oraz tekstury nawierzchni na generowany hałas podczas toczenia się opony po nawierzchni jezdni.
-
Neuronowe modele z atencją w przetwarzaniu języka naturalnego
PublicationCelem niniejszego rozdziału jest wprowadzenie w tematykę sieci neuronowych z atencją oraz ich zastosowań w przetwarzaniu języka naturalnego. Rozdział skupia się w szczególności na dokładnym omówieniu architektury modelu Transformer, wykorzystującego atencję jako podstawowy mechanizm swojego działania.
-
Wpływ nawierzchni jezdni na opór toczenia opon samochodowych
PublicationPraca stanowi wprowadzenie do problematyki wpływu tekstury nawierzchni na opór toczenia opon samochodowych. Przedstawiono krótki opis celu pracy, pomiarów oraz wyników. Zaprezentowane własne spostrzeżenia i wnioski.
-
Ontologia języka wzorców projektowych dla systemów Smart Cities
PublicationW artykule przedstawiono definicję języka wzorów projektowych Smart Cities w postaci ontologii. Jako, że wdrażanie rozwiązania Smart City jest trudne, drogie i ściśle związane z problematyką dotycząca danego miasta, wiedza nabywana podczas pojedynczego wdrożenia jest wiedzą niezwykle cenną. Zdefiniowany przez nas język wspiera zarządzanie ww. wiedzą jako, że pozwala on na ekspresję rozwiązania, które bazując na najlepszych praktykach...