Wyszukiwarka
Filtry
wszystkich: 2147
-
Katalog
- Publikacje 1100 wyników po odfiltrowaniu
- Czasopisma 31 wyników po odfiltrowaniu
- Konferencje 24 wyników po odfiltrowaniu
- Wydawnictwa 6 wyników po odfiltrowaniu
- Osoby 184 wyników po odfiltrowaniu
- Projekty 7 wyników po odfiltrowaniu
- Laboratoria 6 wyników po odfiltrowaniu
- Zespoły Badawcze 5 wyników po odfiltrowaniu
- Aparatura Badawcza 2 wyników po odfiltrowaniu
- Kursy Online 660 wyników po odfiltrowaniu
- Wydarzenia 84 wyników po odfiltrowaniu
- Dane Badawcze 38 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: JEZYKI FORMALNE
-
System kar i represji karnej w starożytności
PublikacjaKara jest pojęciem wieloznacznym zarówno w języku prawnym jak i prawniczym.Podstawa instytucja w prawie prymitywnym była krwawa zemsta.Stosowano kary zwykłe i kwalifikowane.W Mezopotamii wymiar kary opierał się na zasadzie talionu lub stosowaniu kar odzwierciedlających. W starożytnym Rzymie występował dualizm przestępstw na publiczne, zagrożone m.in. karą śmierci i prywatne, zagrożone lżejszymi karami.W okresie późnego cesarstwa...
-
Programowalny system radiokomunikacyjny
PublikacjaW pracy omówiono kluczowe zagadnienia dotyczące koncepcji radia programowalnego. Opisano w sposób funkcjonalny platformę sprzętową i programową takiego rozwiązania. Przedstawiono schemat tworzenia aplikacji użytkowych przy użyciu języka uniwersalnego JAVA. Scharakteryzowano uwarunkowania technologiczne, głównie w zakresie zapotrzebowania na bardzo szybkie procesory sygnałow oraz przetworniki cyfrowo-analogowe i analogowo-cyfrowe...
-
Zakres stabilnej pracy silnika indukcyjnego z obserwatorem prędkości kątowej wału wyznaczony za pomocą drugioej metody Lapunowa.
PublikacjaZamieszczono analizę stabilności układu regulacji silnika indukcyjnego z obserwatorem prędkości kątowej wału w oparciu o drugą metodę Lapunowa. Na podstawie modelu matematycznego układu silnika z obserwatorem wyznaczono funkcję Lapunowa oraz udowodniono warunki jej poprawności. Dokonano analizy lokalnej dla małych prędkości oraz częściowej analizy globalnej rozważanego układu. Wyniki potwierdzono w symulacji komputerowej z zastosowaniem...
-
Metody matematyczne fizyki – 2021/2022
Kursy OnlineKurs do przedmiotu Metody matematyczne fizyki dla studentów 6 semestru Matematyki
-
Fizyka I - samouczek
Kursy OnlineKurs z podstaw fizyki dla studentów WIMiO dla wszystkich kierunków (wyrównanawczy)
-
Mechanistic insights and atmospheric implications of the degradation reaction of 3-methoxy-1-propanol by reaction with hydroxyl radicals and identification of the end products in the presence of O2/NO
PublikacjaThe study investigated the degradation of 3-methoxy-1-propanol (3M1P) by OH using the M06-2X/6-311++G(d,p) level, with CCSD(T) single-point corrections. We focused on hydrogen atom abstraction from various alkyl groups within the molecule. The rate coefficient for 3M1P degradation was calculated from the sum of the rate coefficients corresponding to the removal of H-atoms from primary (-CH3), secondary (-CH2-), tertiary (-CH<),...
-
Barbara Kościelska prof. dr hab. inż.
Osoby -
Analiza drgań przewodu jezdnego dla potrzeb walidacji modelu matematycznego sieci trakcyjnej
PublikacjaNieprawidłowa współpraca odbieraka z siecią jezdną, w niekorzystnych warunkach lokalnych, prowadzi do uszkodzeń sieci lub odbieraka. Najczęściej spowodowane to jest niewłaściwą regulacją tych elementów układu zasilania. Awarie te wywołują z reguły duże opóźnienia w ruchu pociągów i generują olbrzymie koszty. Sieć trakcyjna nie posiada rezerwy, stąd wysokie wymagania jakościowe i niezawodnościowe określa się szczególnie dla niej....
-
Karta założeń nowego produktu
PublikacjaW pracy przedstawiono istotę i funkcje założeń nowego produktu oraz składniki karty założeń. Założenia te stanowią zestawienie planowanych aspektów technicznych, marketingowych i ekonomicznych dotyczących wdrażanego nowego produktu. Powstają one jako jeden z końcowych elementów fazy przygotowania koncepcji w procesie kształtowania nowego produktu, zaś karta założeń jest ich formalnym wyrazem. Określono trzy podstawowe funkcje założeń...
-
High quality speech coding using combined parametric and perceptual modules. [Kodowanie sygnału mowy z zachowaniem wysokiej jakości przy wykorzystaniu modułu parametrycznego i perceptualnego]
PublikacjaW komunikacie zaprezentowano nową metodę hybrydowego kodowania sygnału mowy. Techniki kodowania parametrycznego oraz perceptualnego zostały wykorzystane w celu zapewnienia wysokiej jakości kodowania sygnału mowy. Przedstawiono wyniki badań dla dwóch architektur kodeka. Jedna z nich bazuje na algorytmie pozwalajacym wyodrębnić składowe dźwięczne, bezdźwięczne oraz transjenty. Składowe dźwięczne kodowane są metodą perceptualną, bezdźwięczne...
-
The role of analytical chemistry in the study of the Anthropocene
PublikacjaThe term “Anthropocene” refers to not yet formalized epoch of geologic time during which geologic processes have been dominated by the human impact. This impact takes on many forms. Biological, physical and chemical changes to the Earth System caused by anthropogenic activity are recorded in natural archives either as new fossil assemblages (neobiota), anthropogenic deposits or a wide variety of pollutants emitted to the environment....
-
2-D constitutive equations for orthotropic Cosserat type laminated shells in finite element analysis
PublikacjaWe propose 2-D Cosserat type orthotropic constitutive equations for laminated shells for the purpose of initial failure estimation in a laminate layer. We use nonlinear 6-parameter shell theory with asymmetric membrane strain measures and Cosserat kinematics as the framework. This theory is specially dedicated to the analysis of irregular shells, inter alia, with orthogonal intersections, since it takes into account the drilling...
-
Teoria zbiorów rozmytych w zarządzaniu ryzykiem jako utylitarne narzędzie systemu zarządzania jakością
PublikacjaDziałalność przedsiębiorstwa wiąże się z potrzebą analizowania ryzyka oddziałującego na procesy firmy. Norma PN-EN ISO 9001:2015 dokonuje identyfikacji czynników ryzyka i ich wpływu na jakość wyrobu. W szacowaniu ryzyka punktowe oceny wyrażające subiektywne opinie zastępowane są coraz częściej formalnym zapisem niepewności. Artykuł ukazuje zastosowanie rozmytego systemu wnioskującego w procesie zarządzania ryzykiem, umożliwiającego...
-
Billiard in a rotating half-plane
PublikacjaThe main objective of this research is to study the properties of a billiard system in an unbounded domain with moving boundary. We consider a system consisting of an infinite rod (a straight line) and a ball (a massless point) on the plane. The rod rotates uniformly around one of its points and experiences elastic collisions with the ball. We define a mathematical model for the dynamics of such a system and write down asymptotic...
-
Convenient and efficient N-methylation of secondary amines under solvent-free ball milling conditions
PublikacjaIn the present work, we report the development of a rapid, efcient, and solvent-free procedure for the N-methylation of secondary amines under mechanochemical conditions. After optimization of the milling parameters, a vibrational ball mill was used to synthesize 26 tertiary N-methylated amine derivatives in a short time of 20 min (30 Hz frequency) and high yields ranging from 78 to 95%. An exception was compounds having a hydroxyl...
-
Ontologia ekonomii i ''niewidzialna ręka''.
PublikacjaArtykuł przedstawia umiejscowioną w niemieckiej tradycji refleksji nad moralnym wymairem gospodarowania koncepcją ''etycznej ekonomii'' P. Koslowskiego. W zamysle analizowanego autora obejmuje ona trzy dziedziny: teorię etycznych przesłanek ekonomii, koncepcję etyki sprofilowanej pod katem potrzeb ekonomii i etyczno-ekonomiczną teorię dóbr i wartości kulturowych.
-
Etyka a wirtualne społeczności
PublikacjaArtykuł przedstawia ontologiczne aspekty wirtualnych społeczności i wirtualnych rzeczywistości. Dodatkowo przedstawiono w jaki sposób status ontologiczny wirtualnego świata wpływa na pojęcie etyki wewnątrz świata wirtualnego. Dodatkowo zwrócono uwagę na nowe problemy etyczne związane z pojawieniem się wirtualnych światów w życiu współczesnych ludzi.
-
Projekt i budowa uniwersalnego sterownika programowalnego
PublikacjaArtykuł opisuje projekt i realizację niskobudżetowego ale zarazem funkcjonalnego i uniwersalnego kompaktowego sterownika programowalnego PLC (ang. Programmable Logic Controller) oraz dedykowanej aplikacji narzędziowej umożliwiającej jego elastyczne oprogramowanie. Przedstawiany sterownik bazuje na jednostce centralnej w postaci 32-bitowego mikrokontrolera ARM firmy STMicroelectronics oraz wyposażony jest w standardowe peryferia...
-
Analiza zastosowania gumowych słupków na przejściach przez dwupasowe drogi jednokierunkowe do poprawy brd
PublikacjaBezpieczeństwo pieszych w Polsce, mimo prowadzonych wielu działań systemowych, nadal pozostawia wiele do życzenia i jest na niepokojąco niskim poziomie. W roku 2018 prawie 24% wypadków stanowiły wypadki z pieszymi, a udział ofiar śmiertelnych w nich stanowi od wielu lat niezmiennie około 30% pieszych. W celu zwiększenia bezpieczeństwa na przejściach dla pieszych znajdujących się na jezdniach o przekroju 2 x 2 zaczęto niedawno...
-
Damian Głowienka dr inż.
Osoby -
Małgorzata Franz dr
Osoby -
Paweł Syty dr inż.
Osoby -
Balancing agility and discipline in a research project
PublikacjaSuccessful software development requires both agility and discipline. Optimal selection of methods, however, is not an easy task. The problem becomes even more difficult for long lasting projects. Appropriate selection of methods involving skillful introduction and abandonment of certain practices in time makes the whole process dynamic. The paper presents in this context a research project which was realized in a few iterations....
-
Scheduling jobs to contain a natural disaster: a model and complexity
Publikacjathis paper is devoted to the problem of scheduling suppression units so that a natural disaster is dealt with as efficient as possible. the concept of deteriorating jobs is adopted, that is, the formal model of scheduling represents linearly increasing value loss as the disaster remains unsuppressed and increasing time for its suppression. more precisely, two different goals are considered: finding a suppression schedule of minimal...
-
Systems, environments, and soliton rate equations: A non-Kolmogorovian framework for population dynamics
PublikacjaSoliton rate equations are based on non-Kolmogorovian models of probability and naturally include autocatalytic processes. The formalism is not widely known but has great unexplored potential for applications to systems interacting with environments. Beginning with links of contextuality to non- Kolmogorovity we introduce the general formalism of soliton rate equations and work out explicit examples of subsystems interacting with...
-
<title>Data quality management system (DQMS) for BAC detector in the ZEUS experiment at the HERA accelerator</title>
Publikacja -
<title>FPGA-based TESLA cavity SIMCON DOOCS server design, implementation, and application</title>
Publikacja -
Seminarium fizyki stosowanej III 23/24
Kursy OnlineSeminarium fizyki stosowanej III (I stopień, Fizyka stosowana, sem. 6)
-
Metody matematyczne fizyki ćwiczenia – 2022/2023
Kursy OnlineKurs do przedmiotu Metody matematyczne fizyki - ćwiczenia dla studentów 6 semestru Matematyki
-
PG_00055394 MiBM Fizyka 23/24
Kursy OnlineKurs z fizyki dla studentów kierunku MiBM, studia stacjonarne, WOiO, przedmiot PG_00055394
-
PG_00055063 ZiIP Fizyka 23/24
Kursy OnlineKurs z fizyki dla studentów kierunku ZiIP, studia stacjonarne, WOiO, przedmiot PG_00055063
-
PG_00055394 MiBM Fizyka 24/25
Kursy OnlineKurs z fizyki dla studentów kierunku MiBM, studia stacjonarne, WOiO, przedmiot PG_00055394
-
PG_00055063 ZiIP Fizyka 24/25
Kursy OnlineKurs z fizyki dla studentów kierunku ZiIP, studia stacjonarne, WOiO, przedmiot PG_00055063
-
Podstawy informatyki TiL 2025
Kursy OnlinePodstawy Informatyki dla TiL. Środowisko programistyczne Anaconda, podstawy programowania w języku Python
-
Modeling of hazards, consequences and risk for safety assessment of ships in damaged conditions in operation
PublikacjaPraca dotyczy problematyki związanej z modelowaniem zagrożeń, konsekwencji i ryzyka, w metodzie oceny bezpieczeństwa statków w stanie uszkodzonym. Metoda oparta jest na podejściu zorientowanym na ocenę zachowania się statku i ocenę ryzyka wypadku. Kolejne moduły metody dotyczą identyfikacji zagrożeń i scenariuszy wypadków oraz oceny i kontroli ryzyka. Ocenę ryzyka można przeprowadzić przy zastosowaniu elementów metodyki Przypadku...
-
UWARUNKOWANIA ZMIAN TARYFOWYCH W MIEJSKIM TRANSPORCIE ZBIOROWYM NA OBSZARZE FUNKCJONOWANIA METROPOLITALNEGO ZWIĄZKU KOMUNIKACYJNEGO ZATOKI GDAŃSKIEJ
PublikacjaW sytuacji gdy transport zbiorowy jest obsługiwany przez więcej niż jednego organizatora, powstają problemy koordynacji taryf w różnych przekrojach i konkurencji cenowej pomiędzy ofertą poszczególnych organizatorów transportu komunalnego. Obszarem takim jest licząca ponad 1 mln mieszkańców Metropolia Zatoki Gdańskiej, na terenie której obowiązują taryfy uchwalane przez kilka rad miast i gmin oraz ustanowione przez operatorów kolejowych....
-
Nietechniczne aspekty projektowania i utrzymania budowli
PublikacjaWspółczesne projektowanie i utrzymanie budowli odbywa się w warunkach przyspieszonej eksploatacji zasobów materialnych i silnej degradacji moralnych powinności ludzkich. W artykule zwraca się uwagę na ujemny wpływ tych czynników na postać dzisiejszego budownictwa. Ukazuje się wagę honorowania etyki estetyki, środowiska, dziedzictwa i rozwoju zrównoważonego.
-
Sparse autoregressive modeling
PublikacjaIn the paper the comparison of the popular pitch determination (PD) algorithms for thepurpose of elimination of clicks from archive audio signals using sparse autoregressive (SAR)modeling is presented. The SAR signal representation has been widely used in code-excitedlinear prediction (CELP) systems. The appropriate construction of the SAR model is requiredto guarantee model stability. For this reason the signal representation...
-
Navy sonar's modernization developed in Gdansk University of Technology
PublikacjaSzybki rozwój technologii elektronicznej i metod przetwarzania sygnałów powoduje szybkie starzenie moralne systemów instalowanych na okrętach. Ponieważ kadłuby, silniki i inne, drogie, mechaniczne komponenty okrętów nie starzeją się w takim tempie i wytrzymują kilkadziesiąt nawet lat eksploatacji, istnieje głęboki sens modernizacji systemów sonarowych, z ewentualnym zachowaniem istniejących anten hydroakustycznych i ich stabilizacji....
-
Procedura zmiany sprzedawcy energii elektrycznej w Polsce
PublikacjaOstatnie kilkanaście lat w polskiej energetyce to okres dynamicznych zmian. Jednym z istotnych przykładów tych przemian jest liberalizacja rynku energii. Wprowadzone, w krajowej energetyce, mechanizmy rynku konkurencyjnego umożliwiają odbiorcom energii m.in. swobodny wybór sprzedawcy energii elektrycznej w formule TPA. W artykule przedstawiony został proces zmiany sprzedawcy bazujący na generalnej umowie dystrybucji (GUD). Odniesiono...
-
Proces zmiany sprzedawcy energii elektrycznej w Polsce
PublikacjaOstatnie kilkanaście lat w polskiej energetyce to okres dynamicznych zmian. Jednym z istotnych przykładów tych przemian jest liberalizacja rynku energii. Wprowadzone, w krajowej energetyce, mechanizmy rynku konkurencyjnego umożliwiają odbiorcom energii m.in. swobodny wybór sprzedawcy energii elektrycznej w formule TPA. W artykule przedstawiony został proces zmiany sprzedawcy bazujący na generalnej umowie dystrybucji (GUD). W trakcie...
-
Experimental research on low-cost cold gas propulsion for a space robot platform
Publikacja -
Innovative Resistojet Propulsion System—Use in Robotic Space Platforms
Publikacja -
Complementary studies of residual stress distribution of repaired power plant steam turbine casing
PublikacjaRozkład i poziom naprężeń własnych w korpusach turbin badano za pomocą efektu Barkhausena oraz metodą nawiercania otworów. Badano również twardość. Korpusy były reperowane metodą zaspawania. Wykazano, iż zastosowana technologia nie wprowadza naprężeń o poziomie zagrażającym dalszej ekploatacji korpusu.
-
Ocena naprężeń w regenerowanych korpusach parowych turbin energetycznych.
PublikacjaPrzedstawiono wyniki badań naprężeń własnych w ścianach korpusów turbin poddanych procesowi reparacji przez zaspawanie. Wykorzystano do badań metodę wykorzystujacą efekt Barkhausena oraz - dla kontrolo - metodę nawiercania otworów (metoda Mathar'a). Dwa rezultaty badań są istotne: 1) stwierdzono niski stan naprężeń w strefie reperowanej - co dowodzi poprawnej technologii; oraz 2) - uzyskano bardzo dobrą zgodność poziomów naprężeń...
-
Geo-Questionnaire for Environmental Planning: The Case of Ecosystem Services Delivered by Trees in Poland
PublikacjaStudies on society and the environment interface are often based on simple questionnaires that do not allow for an in-depth analysis. Research conducted with geo-questionnaires is an increasingly common method. However, even if data collected via a geo-questionnaire are available, the shared databases provide limited information due to personal data protection. In the article, we present open databases that overcome those limitations....
-
QOLAPS Quantum resources: conceptuals and applications
ProjektyProjekt realizowany w Wydział Fizyki Technicznej i Matematyki Stosowanej zgodnie z porozumieniem GA 291348 z dnia 2011-12-21
-
Implementacja widoków danych na bazę wiedzy
PublikacjaNiniejszy artykuł opisuje koncepcję i implementacjęwidoków danych na bazę wiedzy. Widoki danych przesłaniają interfejsbazy wiedzy, w zamian udostępniając interfejs pozwalający na zadawaniezapytań do bazy wiedzy w języku SQL. Głównym przeznaczeniemtakich widoków jest ułatwienie integracji komponentów opartych nawiedzy z komponentami opartymi na danych, co może uprościć budowęsystemów korzystających z bazy wiedzy. W artykule zaprezentowanajest...
-
Searching for metric structure of musical files
PublikacjaCelem opisywanych prac jest porównanie efektywności wybranych metod sztucznej inteligencji w wyznaczaniu rytmu dla zapisu symbolicznego muzyki. Opisano sposób wykorzystania sztucznych sieci neuronowych i zbiorów przybliżonych do poszukiwania właściwej struktury rytmicznej utworu. Analizowane są fizyczne atrybuty dźwięku, które są najbardziej znaczące dla określenia położenia dźwięku na pozycji akcentowanej lub nieakcentowanej....
-
Uczenie na błędach w nauczaniu programowania w systemie e-learningu
PublikacjaJedną z kluczowych umiejętności, które muszą posiąść adepci programowania, stanowi umiejętność poprawiania kodu programu zawierającego błędy. Jest to działanie bardzo złożone, wymagające znajomości składni języka, rozumienia semantyki kodu, znajomości zasad testowania oraz rozumienia działania algorytmu. W artykule autor proponuje własną metodę kształtowania umiejętności poprawiania kodu programu wykorzystującą narzędzia do nauczania...