Filters
total: 2128
-
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
displaying 1000 best results Help
Search results for: jezyki formalne
-
Dokształcanie na odległość kandydatów na studia politechniczne - model DOROTKA
PublicationW artykule przedstawiono potrzebę dokształcania kandydatów na studia politechniczne i podjęte w tym celu działania w ramach powołanego Konsorcjum Uczelni Technicznych. Zaprezentowano model z wykorzystaniem systemu LMS (ang. Learning Management System) - DOROTKA (Doskonalenie Organizacji, ROzwoju oraz Tworzenia Kursów Akademickich przez Internet), wspierający działania związane z uruchomieniem kursów wyrównawczych z matematyki i...
-
Object oriented grid computing for computational electromagnetics
PublicationArtykuł opisuje bibliotekę WiCommGrid napisaną w języku java, która realizuje ideę wymiany informacji pomiędzy węzłami środowiska rozproszonego z zastosowaniem programowania zorientowanego obiektowo. Biblioteka ta przystosowana jest do współdziałania z wieloma systemami operacyjnymi oraz z rożnym środowiskiem sprzętowym. Zbudowaną aplikację zastosowano do zrównoleglonych obliczeń rozkładu pola elektromagnetycznego w oparciu o algorytm...
-
Analiza lepkosprężysta zachowania się konstrukcji nawierzchni drogowej w zależności od temperatury i warunków obciążenia
PublicationPrzedmiotem artykułu jest analiza lepkosprężysta podatnej konstrukcji nawierzchni drogowej w warunkach wysokich temperatur. W analizie wykorzystano model lepkosprężystości Burgersa warstw asfaltowych. Parametry modelu wyznaczono w oparciu o wyniki badań mieszanek mineralno-asfaltowych pod obciążeniem powtarzalnym. Analizowano wpływ rozkładu temperatury, ciężaru koła i prędkości ruchu na ugięcia powierzchni jezdni i odkształcenia...
-
Gra słowna do pozyskiwania wiedzy językowej
PublicationW artykule opisano implementację gry słownej w pytania, będącej modelem wyszukiwarki kontekstowej oraz narzędziem do pozyskiwania wiedzy o pojęciach języka naturalnego. Zdefiniowano określenie wyszukiwania kontekstowego oraz przedstawiono opis algorytmu znajdującego obiekty na podstawie ich cech. Scharakteryzowano przyjętą reprezentację wiedzy oraz sposób uczenia się w kontekście innych znanych projektów poruszających problem akwizycji...
-
Porównanie algorytmów ważonego umieszczania grafów w grafach minimalizujących opóźnienia komunikacyjne
PublicationW artykule omówiono i porównano zaimplementowane algorytmy ważonego umieszczania grafów w grafach. Z uwagi na obliczeniową trudność problemu ogólnego większość przedstawionych podejść to heurystyki. Dla ograniczonych instancji problemu zaproponowano podejście dokładne oparte o ideę backtrackingu. W pracy zawarto porównanie algorytmów pod względem czasów działania i jakości uzyskanych rozwiązań. Algorytmy zaimplementowane zostały...
-
International Conference on Formal Methods for Open Object-Based Distributed Systems
Conferences -
ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code
Conferences -
Wstęp do metod numerycznych
PublicationMetody numeryczne to bez wątpienia jedno z najważniejszych narzędzi w rękach inżyniera czy fizyka. W skrypcie przedstawione zostały najistotniejsze własności wybranych metod numerycznych, działanie każdej z nich przystępnie zaprezentowano na przykładach. Rozdział 1 zawiera podstawowe informacje dotyczące błędów obliczeń wykonywanych na maszynie cyfrowej. W rozdziale 2 omówiono metody służące do rozwiązywania równań nieliniowych...
-
DOOCS server and client application for FPGA-based TESLA cavity controller and simulator
Publication -
<title>Structure and state visualization system for BAC detector electronics in ZEUS experiment of HERA accelerator</title>
Publication -
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.
-
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.
-
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.
-
Measurement system based on USB Z-Wave controller
PublicationA wireless measurement system based on the Z-Wave standard is presented in this paper. The system is composed of a U SB Z-Stick Gen5 controller connected to a Personal Computer and a Fibaro controller FGRGBWM-441. Operation of the system is controlled by software written in C++ using OpenZWave library. Some metrological aspects of the system are evaluated: accuracy, linearity, resolution and frequency of voltage measurements.
-
Modular Experience-Based Smart Innovation Engineering System
PublicationThe current paper presents the systematic approach for supporting the product innovation process of manufactured products. The proposed system uses a collective, team-like knowledge developed by innovation related experiences of the formal decisional events. The proposed system for smart innovation engineering carries the promise to support the innovation processes in a quick and efficient way. It stores the past decisional events...
-
Biblioteki cyfrowe jako złożone przedsięwzięcie informatyczne
PublicationBiblioteki cyfrowe (BC) zwane 'repozytoriami wiedzy' to złożone systemy informatyczne tworzone przy współpracy informatyków z bibliotekarzami. Dzięki nowoczesnym technologiom służą do przechowywania zarówno zdigitalizowanych, jak i elektronicznych obiektów w dowolnym formacie. Artykuł ten jest częścią badań projektu realizowanego w Bibliotece Muzycznej Dokumentów Muzycznych dotyczącego jakości bibliotek cyfrowych. Model jakości...
-
A model of occurrence of the situations endangering inland waterways passanger ships and the environment
PublicationZaproponowano czterostanowy semimarkowski model pojawiania się sytuacji zagrażających pasażerskim statkom śródlądowym. Model ten został opracowany w formie semimarkowskiego procesu dyskretnego w stanach i ciągłego w czasie, którego wartościami są rodzaje stanów, interpretowanych jako sytuacje: normalna, skomplikowana, niebezpieczna oraz awaryjna. Zobrazowano przykładową realizację procesu zmian sytuacji, jakie mogą pojawić się...
-
Indykatory jakościowe dla modelu społeczeństwa informacyjnego
PublicationRodząca się cywilizacja spisuje dla nas nowy kodeks zachowań. Usuwa standaryzację, synchronizację i centralizację, usuwa koncentrację energii, pieniędzy i władzy. Ta nowa cywilizacja ma swoją własną wizję świata, swoje własne podejście do czasu, przestrzeni, logiki i przyczynowości. Ma też swoje własne zasady polityki przyszłości. Poznawanie tego co nowe jest nieodzowną cechą człowieka. Podczas procesu poznawania obiektu, badamy...
-
Modelowanie przestrzennego rozkładu natężenia magnetycznego pola rozproszonego dla wad wzorcowych w płytach
PublicationW pracy przedstawiono model, przy pomocy którego można obliczyć wektor indukcji rozproszonego pola magnetycznego od wady. Przeprowadzono badania eksperymentalne służące weryfikacji tego modelu. W badaniach wykorzystano dwie wady o geometrii prostopadłościanu wydrążone elektro-iskrowo w stalowej płycie. Dla składowej normalnej wektora indukcji pola magnetycznego występowały najmniejsze rozbieżności pomiędzy wynikami pomiarowymi...
-
Ocena niepewności pomiaru współczynnika zawartości harmonicznych.
PublicationPrzedstawiono metodę szacowania niepewności pomiaru współczynnika zawartości harmonicznych wyznaczanego w komputerowym systemie pomiarowym. Tą wielkość scharakteryzowano rozszerzoną niepewnością pomiarową uwzględniając występowania dwóch podstawowych składników determinujących niedokładności pomiarów.Przeprowadzono rozważania o niepewnościach standardowych z uwzględnieniem składowej systematycznej i losowej błędów pomiarowych...
-
Stochastic model of the process of starting piston combustion engines and the practical use of the process
PublicationW artykule zaproponowano model procesu rozruchu silników o zapłonie samoczynnym, w formie procesu semimarkowskiego, dyskretnego w stanach i ciągłego w czasie eksploatacji. Stanami tego procesu są: stan zimny silnika (s1), stan ciepły silnika (s2) i stan gorący silnika (s3). Zaproponowano również koncepcję zastosowania opracowanego modelu do określenia ilości substancji szkodliwych, jakie emitowane są w spalinach podczas rozruchu...
-
DICTOBOT - autonomiczny agent ze zdolnością komunikacji
PublicationNiniejszy artykuł zdaje sprawę z opracowanego sposobu budowy autonomicznego agenta komunikującego się z otoczeniem w sposób werbalny. Agent taki, opierający się na formalnym, matematycznym modelu psychologii osobowości człowieka, w zależności od stanu emocjonalnego, w jakim się znajduje, w odpowiedni sposób interpretuje usłyszane kwestie oraz formułuje swoją wypowiedź. Jednocześnie, w zależności od stopnia spełnienia swoich potrzeb,...
-
Sensorless IPMSM drive with rotor position estimator based on analysis of phase current derivatives
PublicationThis paper describes a sensorless Interior Permanent Magnet Synchronous Motor (IPMSM) drive designed for traction applications. Wide-speed sensorless operation is provided with the use of three methods of rotor position estimation designed for: a standstill, low- and high-speed range. The paper focuses on the high-speed estimation algorithm. The estimator uses the derivatives of motor phase currentsresulting from PWM modulation...
-
How can analysts use multicriteria decision analysis?
PublicationProper decision making in multifacitated situation is very challenging task. It is especially difficult if there are many alternatives and criteria that are often contradictory. Analytical chemistry and related sciences involve many situations where decisions on complex problems are made. The support tools may be the use of MCDA (Multi-criteria Decision Analysis) algorithms. They formalize the decision process, make it transparent...
-
The analytical design method of railway route’s main directions intersection area
PublicationThe paper presents a design method related to railway track sections situated in a bend. In the method advantage is taken of an analytical form of description by using appropriate mathematical formulae. This may becomeparticularly usefulwhen the investigations are based on the data obtained from mobile satellite measurements. In the paper attention is concentrated on an universal approach creating an opportunity to diversify the...
-
Generacja i detekcja promieniowania
e-Learning Courseskurs dla studentów fizyki medycznej, sem. 5, I stopień
-
Fizyka Fazy Skondensowanej
e-Learning Courseskurs dla studentów fizyki stosowanej i fotowoltaiki, II stopień
-
Podstawy Fizyki (ACiR wykład) 24
e-Learning CoursesPodstawy Fizyki dla studentów ACiR - I stopień - II semestr
-
Podstawy Fizyki (ACiR wykład) 21/22
e-Learning CoursesPodstawy Fizyki dla studentów ACiR - I stopień - II semestr
-
Technologia Ogniw Fotowoltaicznych
e-Learning Courseskurs dla studentów fizyki stosowanej i fotowoltaiki, stopień II
-
Wstęp do fizyki współczesnej
e-Learning Coursesprzedmiot dla studentów fizyki technicznej, sem IV
-
Podstawy fizyki współczesnej
e-Learning CoursesKurs dla IV semestru fizyki technicznej studiów pierwszego stopnia.
-
Współczesne zastosowania technik spektroskopowych (2023)
e-Learning CoursesWykład dla studentów Fizyki Medycznej II stopień, sem 3
-
Ireneusz Linert dr inż.
People -
PROCEEDING OF THE SEVENTH INTERNATIONAL CONFERENCE ON INFORMATION AND MANAGEMENT SCIENCES
PublicationOdnajdywanie informacji w internecie lub w dużych bazach tekstowychwymaga wiedzy o słowach indeksujących dokumentu.Jednnym z podejść poprawiających jakość i szybkość wyszukiwaniajest zastosowanie klasteryzacji i wizualizacji danych. W artykuleprzedstawione zostało podejście do wyszukiwania informacji winternecie oparte o baze wiedzy o języku. Implementacja takiegokontenera wiedzy zrealizowana została w oparciu o kognitywne teorieorganizacji...
-
Cyfrowa analiza mowy etnicznej - ekstrakcja kodu informacji.
PublicationW artykule zaprezentowano spektrogramy leksemów wyartykułowanych przez (zróżnicowanych co do płci i wieku) użytkowników jednego języka etnicznego wyrażonych w mowie swobodnej. Ponadto, przedstawiono spektrogramy tychże leksemów uzyskane po cyfrowym wyeliminowaniu w nich sygnału tonu krtaniowego. Dla porównania pokazano spektrogramy uzyskane w wyniku identycznego procesu przetwarzania sygnałów będących akustyczną reprezentacją...
-
"Computing with words" concept applied to musical information retrieval
PublicationW artykule zaproponowano wykorzystanie koncepcji "przetwarzania słów języka naturalnego" do znalezienia związku pomiędzy wybranymi parametrami dźwięków muzycznych a subiektywnie postrzeganą barwą. W pierwszej kolejności przedstawiono klasyczne metody mapowania parametrów mierzalnych i ich subiektywnych odpowiedników, następnie zbudowano bazę wiedzy w oparciu o wyniki testów subiektywnych. W procesie obróbki wykorzystano metodę...
-
Transcendentalna dedukcja eteru. Opus postumum Kanta a problem filozofii przyrody.
PublicationW artykule przedstawiono, w horyzoncie rozwoju całej krytycznej kantowskiej filozofii przyrody, hipotezę eteru i transcendentalną dedukcję eteru, zawarte w opus postumum I. Kanta. Szczególną uwagę zwrócono na problem przejścia od apriorycznych, metafizycznych podstaw przyrodoznawstwa do fizyki, a także na wyłaniające się w związku z tym zasadnicze sprzeczności tez ''późnego'' Kanta w stosunku do krytyki czystego rozumu.
-
"Computing with word" concept applied to musical information retrieval
PublicationW artykule zaproponowano wykorzystanie koncepcji "przetwarzania słów języka naturalnego" do znalezienia związku pomiędzy wybranymi parametrami dźwięków muzycznych a subiektywnie postrzeganą barwą. W pierwszej kolejności przedstawiono klasyczne metody mapowania parametrów mierzalnych i ich subiektywnych odpowiedników, następnie zbudowano bazę wiedzy w oparciu o wyniki testów subiektywnych. W procesie obróbki wykorzystano metodę...
-
Modelowanie falownika napięcia z quasi-rezonansowym obwodem pośredniczącym
PublicationW pracy przedstawiono szerokopasmowe modelowanie falownika napięcia z quasi-rezonansowym obwodem pośredniczącym w środowisku symulatora SABER. Modele łączników energoelektronicznych oraz algorytm sterowania zostały zaimplementowane z wykorzystaniem języka programowania MAST. Dokładność modelu zweryfikowano w oparciu o porównanie charakterystycznych przebiegów symulacyjnych układu z przebiegami eksperymentalnymi oraz analizę porównawczą...
-
Online pitch estimation using instantaneous complex frequency
PublicationW pracy opisano nowe wyniki dotyczące skuteczności algorytmu potokowego estymującego częstotliwość podstawową sygnału mowy. Algorytm wykorzystuje zespoloną pulsację chwilową dla klasyfikacji mowy na dźwięczną i bezdźwięczną oraz estymacji częstotliwości podstawowej dla każdej próbki sygnału. Skuteczność klasyfikacji oraz dokładność estymacji zostały ocenione eksperymentalnie z wykorzystaniem dwóch baz nagrań, zawierających wypowiedzi...
-
Nadzór naukowy związany z realizacja zadania inwestycyjnego pn. ,,Wiadukt Biskupia Górka w Gdańsku". Audyt projektu zamiennego
PublicationCelem opracowania jest weryfikacja dokumentacji projektowej zadania inwestycyjnego pn. ,,Wiadukt Biskupia Górka w Gdańsku". Zakres opracowania obejmuje: • ogólny przegląd dokumentacji poszczególnych obiektów inżynierskich; • analizę statyczno–wytrzymałościową estakady dojazdowej w jezdni prawej; • analizę statyczno – wytrzymałościową oraz globalnej stateczności wiaduktu łukowego nad torami kolejowymi; • analizę geotechniczną przyjętych...
-
Dziennikarz jako specjalista public relations - problem tożsamości czy nadużycie etyczne?
PublicationArtykuł analizuje często występujące w Polsce zjawisko łączenia zawodu dziennikarza i specjalisty public relations. Czyni to rozpatrując problem z p punktu widzenia etyki dziennikarskiej, rzetelności pracy specjalisty public relations i opinii publicznej, jej prawa do rzetelnej informacji.
-
Społeczna odpowiedzialność organizacji w zarządzaniu zespołami pracowników
PublicationRozdział w monografii wskazuje na aspekty CSR w zarządzaniu pracownikami - takimi jak realizacja idei wolontariatu pracowniczego, wprowadzanie i realizacja programów etycznych lub kodeksów etyki zawodowej, postępowanie wobec tzw whistleblowerów i ich rola w odpowiedzialnym funkcjonowaniu organizacji.
-
Etyka public relations - jak uczyć, dylematy nauczyciela akademickiego
PublicationArtykuł porusza niezmiernie ważny problem - jak przekazywać wiedzę o fundamentalnych zasadach etycznych w prowadzeniu wszelkiej działalności gospodarczej, jak kształcić postawy odpowiedzialnego przedsiębiorcy i pracownika. Dziedzina Public relations w ostatnich latach cieszy się bardzo złą opinią - tak w Polsce jak i na świecie - autorka artykułu porusza ten problem wskazując, że istotą public relations są działania , mające na...
-
Język anielski w nanotechnologii
e-Learning Courses -
Język i kultura Japonii
e-Learning Courses -
Język i kultura Chin
e-Learning Courses -
Język angielski w nanotechnologii
e-Learning Courses