Filters
total: 2128
filtered: 1072
-
Catalog
- Publications 1072 available results
- Journals 31 available results
- Conferences 24 available results
- Publishing Houses 6 available results
- People 178 available results
- Projects 8 available results
- Laboratories 6 available results
- Research Teams 5 available results
- Research Equipment 2 available results
- e-Learning Courses 615 available results
- Events 82 available results
- Open Research Data 99 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: jezyki formalne
-
Modelowanie struktur sieci diagnostyczno-pomiarowych z wykorzystaniem języka SMOL
PublicationW 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,...
-
Propozycja silnika fizyki bryły sztywnej dla trójwymiarowej gry komputerowej
PublicationReferat prezentuje autorski silnik dynamiki brył sztywnych działający w czasie rzeczywistym i przeznaczony do symulacji fizycznych na potrzeby gier komputerowych. Ze względu na przeznaczenie silnika przyjęto, że wiarygodność efektów symulacji będzie ważniejsza niż dokładne odwzorowanie zjawisk fizycznych. Pozwoliło to na zastosowanie uproszczonego modelu fizycznego i uzyskanie dzięki temu efektywnego silnika, radzącego sobie w...
-
Przetwarzanie wyrażeń języka naturalnego w wyrażenia logiczne - system Denise
PublicationPo krótkim wprowadzeniu do systemów reprezentacji wiedzy i wnioskowania omówiono eksperymentalny system przetwarzania zdań w języku polskim w wyrażenia rachunku zdań i logiki pierwszego rzędu.
-
Why set of experience knowledge structure can be considered a knowledge representattion for formal decision events?
PublicationOmówiono zasady reprezentacji wiedzy przy pomocy zbioru dośwadczeń. Uzasadniono wybór takiej reprezentacji na tle badańliteraturowych.
-
The formal safety assesment in conforming to chosen vessel's type on the ground of hydromechanic characteristics in critical conditions.
PublicationTragedia jednego ze statków typu ro-ro pokazała podatność tego typu statków na utratę stateczności, przewrócenie 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. W konsekwencji...
-
Interakcyjna baza danych - Internetowa Biblioteka Etyki Informatycznej
PublicationArtykuł przedstawia opis zrealizowanej internetowo dostępnej biblioteki etyki komputerowej. Omówiono rodzaje przechowywanych danych, ontologie, funkcje dostępu i wyszukiwania oraz przyjęte rozwiązania technologiczne konstrukcji.
-
Język UML 2.0 w modelowaniu systemów informatycznych
PublicationKsiążka ''Język UML 2.0 w modelowaniu systemów informatycznych'' to szczegółowy opis najnowszej specyfikacji tego języka w kontekście zastosowania go w procesie wytwarzania oprogramowania. Zawiera omówienie elementów języka UML oraz zasad projektowania obiektowego. Przedstawia zastosowanie diagramów UML 2.0 oraz różnice pomiędzy modelowaniem analitycznym i biznesowym. Ponadto wyjaśnia podstawy metodyki RUP oraz prezentuje wybrane...
-
Język fiński w teorii i praktyce (książka)
Publication -
Problemy instytucjonalizacji etyki w dziedzinie słuzby zdrowia
PublicationW zwiazku z miejscem zdrowia i bezpieczeństwa zdrowotnego w hierarchi wartości społecznych i indywidualnych potrzeba wprowadzenia zinstytucjonalizowanych wysokich standartów etycznych staje się coraz powszechniej odczuwalne. W artykule zaprezentowano schemat ewolucji etyki w dziedzinie medycyny i ochrony zdrowia oraz omówiono podstawowe problemy związane z wdrażaniem infrastruktury etycznej.
-
KQL - język dostępu do konglomeratowych baz wiedzy
PublicationJednym z kierunków rozwoju systemów informatycznych w ostatnich latach jest ewolucja systemów opartych na danych do systemów opartych na wiedzy. W ramach tego procesu są prowadzone prace między innymi nad nowymi reprezentacjami wiedzy i językami dostępu do wiedzy. Języki dostępu do baz wiedzy są w dużej mierze uzależnione od metod reprezentacji wiedzy, ponieważ operują na jej elementach. Wraz z zaproponowaniem konglomeratowej reprezentacji...
-
The potential role of fatty acids in prostate cancer determined by GC–MS analysis of formalin-fixed paraffin-embedded tissue samples
Publication -
Propozycje form nauczania języka specjalistycznego na lektoratach dla studentów architektury
PublicationArtykuł przedstawia propozycje metod nauczania języka obcego (hiszpańskiego) specjalistycznego dla studentów architektury oparte na założeniach współczesnej andragogiki. Punktem wyjścia dla opracowania działań nazwanych przez autorkę ''projektami otwartymi'' jest humanistyczny model nauczania dorosłych opracowany przez M.S. Knowlesa.
-
O lepszą jakość kształcenia matematyki i fizyki na Politechnice Gdańskiej
PublicationAnalizowano prawdopodobne niepowodzenia studentów I roku w nauczaniu matematyki i fizyki na Politechnice Gdańskiej. Przedstawiono je od strony samych absolwentów szkół średnich, nauczycieli szkół średnich oraz nauczycieli akademickich. Analizowano wpływ formy przyjęcia studentów na Politechnikę Gdańską egzamin-konkurs świadectw oraz nowe założenia programowe z przedmiotów matematyka i fizyka przygotowane przez MENiS na jakość kształcenia...
-
Słownik homonimów leksemowych języka rosyjskiego z polskimi ekwiwalentami tłumaczeniowymi (książka)
Publication -
Ponad 30 lat tradycji nauczania języka fińskiego na Uniwersytecie Gdańskim
Publication -
Autentyczność na zajęciach zwiększających kompetencje w użyciu specjalistycznego języka angielskiego
PublicationWłączenie zasobów i aktywności online do sylabusa tradycyjnego kursu akademickiego wymaga restrukturyzacji programu nauczania w celu osiągnięcia efektu synergii. Rozwój technologii internetowych umożliwił edukatorom przejście od czysto instruktywistycznych praktyk dydaktycznych do zajęć opartych na ideach konstruktywistycznych i konstrukcjonistycznych. Dzięki zmianie paradygmatu nauczanie i uczenie się jest bardziej ukierunkowane...
-
Aktywności stymulujące refleksję w nauczaniu języka pisanego w wirtualnej klasie
PublicationThe paper aims to show how to engage students attending an online language course in various activities which by stimulating reflection enhance the learning process and result in better learning outcomes. By blending cognitivist, constructivist, constructionist and behavioural ideas, course developers and tutors can produce materials and use methods which satisfy the varied needs of adults who want to improve their writing skills....
-
Managing distributed architecture with Extendet WS-CDl
PublicationZaprezentowano problem wykorzystania języka WSCDL w warstwie zarzadzania usługami w architekturze systemu rozproszonego. Zaproponowano rozszerzenie modelu CDLExt uwzględniając istotne charakterystyki usług. Skoncentrowano się na zależności między usługami a innymi artyfaktami IT oraz określono atrybuty QoS wynikajace z tych zależności. Zaprezentowano implementację tego modelu oraz dalsze kierunki rozwoju CDLExt.
-
A multi‐industry and cross‐country comparison of technology contribution to formal and informal knowledge sharing processes for innovativeness
PublicationThe study explores the impact of organizational information technology (IT) competency on knowledge sharing, both explicit and tacit, in the context of innovativeness of products and processes. Knowledge sharing is then assessed in terms of tacit-to-explicit conversion and the impact of both types of knowledge on organizational innovation. Both process (internal) and product/service (external) innovation are included. As an extension,...
-
Work and formal retirement age - opinions of SWE employees participating in the Best Agers Lighthouses International Project
PublicationThe paper presents selected results of studies carried out within the framework of the international project Best Agers Lighthouses – Strategic Age Management for SME in the Baltic Sea Region, related to the assessment of the opportunities to continue working beyond the retirement age in the opinion of workers.
-
A model-based approach to analysis of security protocols - a case study
PublicationArtykuł 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...
-
Próba ukonstytuowania etyki biznesu w polu działalności gospodarczej
PublicationW artykule dokonałem najpierw zwięzłej charakterystyki m.in. pojęć takich, jak: "biznes, "etyka biznesu", "przedsiębiorczość" oraz przytoczyłem propozycje podziału etyki biznesu na obszary. Potem zaś zinterpretowałem pojęcie "przedsiębiorstwa" wedle E. Sternberg. Z kolei dokonałem zwięzłej analizy czterech typów standardów zachowania się pracowników firmy w stosunku do tzw. stron zainteresowanych przez uwzględnienie...
-
Grimm Grass 1 (Słówka Grimmów)
PublicationKrzysztof Wróblewski | Eksperyment: Ekslibris - ekslibris do powieści „Słówka Grimmów” Güntera Grassa LINK DO PREZENTACJI EKSLIBRISU → https://youtu.be/823ryLQzxas W swoim ekslibrisie Krzysztof Wróblewski sięgnął po technikę graficzną linorytu. Dzięki niej artysta osiągnął efekt powtarzalnego, dynamicznego znaku-plamy, który stanowi kwintesencję wypowiedzi z pogranicza sztuk wizualnych i literatury. Zainspirowany poezją konkretną,...
-
Grimm Grass 2 (Słówka Grimmów)
PublicationKrzysztof Wróblewski | Eksperyment: Ekslibris - ekslibris do powieści „Słówka Grimmów” Güntera Grassa LINK DO PREZENTACJI EKSLIBRISU → https://youtu.be/823ryLQzxas W swoim ekslibrisie Krzysztof Wróblewski sięgnął po technikę graficzną linorytu. Dzięki niej artysta osiągnął efekt powtarzalnego, dynamicznego znaku-plamy, który stanowi kwintesencję wypowiedzi z pogranicza sztuk wizualnych i literatury. Zainspirowany poezją konkretną,...
-
Wielojęzyczna Finlandia. Mniejszości narodowe i ich języki we współczesnej Finlandii [Multilingual Finland. National minorities and their languages in contemporary Finland]
Publication -
Języki europejskie we wspólnocie homonimicznej (na przykładzie polskiego i fińskiego) [European languages in a homonymic community – as exemplified by Polish and Finnish]
Publication -
KQL as Application of SQL Rationale for Knowledge Bases
PublicationW 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.
-
Zajęcia wyrównawcze z matematyki i fizyki na Wydziale Mechanicznym Politechniki Gdańskiej.
PublicationOpisano stan przygotowania z matematyki i fizyki absolwentów szkół średnich do podjęcia studiów politechnicznych. Podano formy poprawy przygotowania na studia techniczne prowadzone na Politechnice Gdańskiej. Omówiono repetytorium z matematyki i fizyki prowadzone na Wydziale Mechanicznym, jego ocenę przez ankietowanych studentów oraz wyniki.
-
Wizualizacja w języku VRML przemieszczania się ryb pelagicznych w wiązce echosondy.
PublicationPrzedstawiono koncepcję tworzenia wirtualnego echogramu z danych pomiarowych pochodzących z przeszukiwań akustycznych. Wykorzystując wbudowane mechanizmy języka VRML zobrazowano proces przemieszczania się ryb wraz z jednoczesną analizą echa.
-
Nauka w świecie cyfrowym okiem młodego inżyniera - strumieniowanie muzyki w sieci
PublicationNa początku konsumpcja treści multimedialnych, związanych początkowo z sygnałami audio, była możliwa tylko w sposób stacjonarny. Odtwarzacz muzyczny znajdował się w domu, wraz z niezbędnym nośnikiem fizycznym. Alternatywnym sposobem dla jednostki był udział w występie na żywo w sali koncertowej lub zorganizowanie prywatnego koncertu w domu. Podsumowując, efekty audiowizualne były zarezerwowane tylko dla wąskiego grona odbiorców.
-
Wystawa Jubileuszowa "100 lat fizyki i matematyki na politechnice w Gdańsku"
Publication -
Wybrane metody i narzędzia modelowania systemów informatycznych z użyciem języka UML
PublicationRozdział prezentuje przykład technologii modelowania systemów informatycznych opartej na podejściu obiektowym w jednolitym środowisku, począwszy od Zunifikowanego Języka Modelowania (UML), poprzez metodykę Rational Unified Process (RUP), po aplikację Rational Software Modeler (RSM).
-
SKY PG - kolejny sukces na Wydziale Fizyki Technicznej i Matematyki Stosowanej
PublicationSukcesem zakończyła się misja balonu meteorologicznego z sondą pomiarową przygotowaną przez studentów Wydziału Fizyki Technicznej i Matematyki Stosowanej. W lipcu 2016 roku grupa studentów z WFTiMS, we współpracy z Kołem Naukowym Studentów Fizyki PG, wykonała pomiary wybranych wielkości zycznych, posługując się autorskim układem pomiarowym, umieszczonym w sondzie badawczej przyczepionej do balonu meteorologicznego. Podczas około...
-
Zapomniany profesor Politechniki Gdańskiej i Politechniki Warszawskiej Mieczysław Wolfke – geniusz fizyki
PublicationArtykuł przedstawia sylwetkę Mieczysława Wolfke - geniusza fizyki. W 2018 roku ukazała się książka Krzysztofa Petelczyca i Eweliny Kędzierskiej zatytułowana Mieczysław Wolfke. Gdyby mi dali choć pół miliona…, poświęcona Mieczysławowi Wolfkemu – wybitnemu fizykowi, wynalazcy, człowiekowi nieprzeciętnego umysłu i rozległej wiedzy z różnych dziedzin, wykładowcy polskich uczelni – Politechniki Gdańskiej i Politechniki Warszawskiej,...
-
Web Services Choreography Description Language - WSCDL.
PublicationJęzyk Web Services Choreography Description Language służy do opisu współpracy równy z równym. Został zaprojektowany z myślą o automatyzacji współpracy usług sieciowych, ale jest na tyle ogólny, że pozwala opisywać współpracę nie tylko w świecie komputerowym. Prezentowana jest geneza tego języka oraz jego model. Następnie opisana jest struktura języka poparta przykładem dokumentu napisanego w języku WSCDL.
-
Język fiński na Uniwersytecie Gdańskim [Finnish Studies at the University of Gdańsk]
Publication -
Zagadnienia teorii stron zainteresowanych z punktu widzenia etyki biznesu
PublicationW eseju przedstawiłem najprzód etymologiczny sens pojęcia "strony zainteresowane" wraz z modelem firmy wedle trójstopniowego związku ze stronami zainteresowanymi. Następnie określiłem strony zainteresowane w zgodzie z myślą K. Gibsona jako "quasi-osoby". Następnie pokazałem na przykładzie twórczości K. Goodpastera, K. Gibsona i R.C. Solomona, że etycy biznesu przywiązują coraz większą wagę do moralnej/etycznej podstawy...
-
Mathematical Modelling of Drive System with an Elastic Coupling Based on Formal Analogy between the Transmission Shaft and the Electric Transmission Line
PublicationIn the paper, the kinematic structure of the transmission shaft between the driving motor and the working mechanism is studied. The analysis is based on electrical and mechanical similarities. The equivalent circuits, typical for electrical systems, are defined for the transmission shaft concerned. Modelling of the transmission shaft based on a formal analogy between the transmission shaft and the electric transmission line is...
-
Probabilistic concept of defining the situations possible to occur during operation of floating docks
PublicationW artykule zasygnalizowana została możliwość oszacowania bezpieczeństwa doków pływajacych, w wyniku zastosowania teorii procesów semimarkowskich, zarówno w fazie projektowania jak też eksploatacji. Przedstawiono opis formalny sytuacji, jakie mogą zaistnieć podczas funkcjonowania (działania) doków pływających, zarówno budowlanych jak również remontowych. Wyróżniono takie sytuacje jak: normalna, skomplikowana, niebezpieczna, awaryjna...
-
Leksykograficzne spotkania „dwóch bratanków”: języka węgierskiego z polskim (na podstawie danych bibliograficznych)
Publication -
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,...
-
Wpływ struktur wsparcia na efektywność nauczania języka pisanego w środowisku e-learningowym
PublicationThe process of knowledge and language skills development during an online course can be very effective if student engagement in learning is achieved. This can be attained by introducing general and specific support mechanisms prior to the commencement of the course and during it. The former relates to the technological aspect, that is to familiarizing students with the functionalities of the virtual learning environment they will...
-
Rozwijanie umiejętności miękkich na zajęciach wspomaganych narzędziami online – kurs języka angielskiego technicznego
PublicationKurs języka angielskiego technicznego powinien pomóc studentom w zdobyciu różnego typu umiejętności, zarówno językowych, czyli twardych, jak i pozajęzykowych, zwanych miękkimi. Skuteczne zintegrowanie tradycyjnego nauczania z zadaniami online może dzięki afordancjom i funkcjonalnościom wykorzystanych narzędzi internetowych zachęcić uczących się do wchodzenia w bardziej zróżnicowane interakcje, skutkujące rozwojem wielu umiejętności...
-
Experimental and theoretical investigations of silo music during granular flow
PublicationPraca dotyczy analizy efektów dynamicznych w silosach podczas przeływu materiałów sypkich.
-
Problem przekładu imion biblijnych na język chiński w „Biblii Bożonarodzeniowej”
Publication -
Odmiany języka fińskiego. Finglish w różnych odsłonach [Varieties of the Finnish language. Different pictures of Finglish]
Publication -
Progress. Journal of Young Researchers. Tom 2. Dział: Wieloznaczność w języku i tekście (redakcja)
Publication -
Wykorzystanie języka VHDL do modelowania układów pracujących w logice wielowartościowej i arytmetyce resztkowej
PublicationW 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...
-
Zagrożenia bezpieczeństwa ruchu na przejazdach przez torowisko tramwajowe obok jezdni oraz środki poprawy.
PublicationArtykuł przedstawia analizę konfliktów ruchowych oraz badań ankietowych jako narzędzia do poprawy bezpieczeństwa na skrzyżowaniach ulic z torowiskiem zlokalizowanym obok jezdni. Jego głównym zamierzeniem jest wyróżnienie roli badań konfliktów oraz opinii użytkowników na tego typu skrzyżowaniach w celu identyfikacji występujących problemów. Przybliżono problemy wynikające z lokalizacji infrastruktury torowej po jednej stronie drogi....
-
A model-based approach to analysis of authentication protocols.
PublicationW referacie przedstawiono zintegrowane podejście do analizy protokołów uwierzytelniania o nazwie Object-oriented Formal Authentication Protocol Security Analysis Framework (OF-APSAF). Podejście to jest zaprojektowane na bazie sprawdzonej metody formalnej CSP wraz z narzędziami ją wspierającymi: Casper oraz FDR. Jego integralną częścią jest półformalna zorientowana obiektowo technika modelowania protokołów, ich kontekstu oraz wymagań...