Filtry
wszystkich: 1646
-
Katalog
- Publikacje 1493 wyników po odfiltrowaniu
- Czasopisma 7 wyników po odfiltrowaniu
- Konferencje 24 wyników po odfiltrowaniu
- Wydawnictwa 1 wyników po odfiltrowaniu
- Osoby 19 wyników po odfiltrowaniu
- Wynalazki 5 wyników po odfiltrowaniu
- Projekty 2 wyników po odfiltrowaniu
- Laboratoria 3 wyników po odfiltrowaniu
- Kursy Online 59 wyników po odfiltrowaniu
- Wydarzenia 31 wyników po odfiltrowaniu
- Dane Badawcze 2 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: wzgledy formalne
-
Wpływ zużycia opony samochodowej na jej opór toczenia
PublikacjaW pracy przedstawiono wpływ zużycia opony samochodowej na jej opór toczenia. Zużycie czterech opon testowych uzyskano podczas normalnej eksploatacji, natomiast zużycie sześciu pozostałych uzyskano sztucznie przez zeszlifowanie czoła bieżnika papierem ściernym na specjalnej szlifierce. Pomiary oporu toczenia wykonano na bębnowej maszynie bieżnej metodą momentową. Wyniki tych pomiarów przedstawiono w formie zależności współczynnika...
-
A Generative Approach to Hull Design for a Small Watercraft
PublikacjaIn the field of ocean engineering, the task of spatial hull modelling is one of the most complicated problems in ship design. This study presents a procedure applied as a generative approach to the design problems for the hull geometry of small vessels using elements of concurrent design with multi-criteria optimisation processes. Based upon widely available commercial software, an algorithm for the mathematical formulation of...
-
Eliminacja wyższych harmonicznych prądu za pomocą filtrów poprzecznych
PublikacjaW artykule przedstawiono sposób i skutecznośc eliminacji wyższych harmonicznych prądu w sieci elektroenergetycznej za pomoca filtrów poprzecznych LC. Zaprezentowano wyniki symulacji komputerowych wpływu prostownika 6-pulsowego w stanie pracy normalnej na jakosć energii elektrycznej w elektroenergetycznej sieci zasilającej.Przedstawiono przykładowe przebiegi napięć i prądów oraz analizę zawartości wyższych harmonicznych w sieci...
-
Formal Techniques in Real-Time and Fault Tolerant Systems
Konferencje -
International Conference on Formal Methods and Models for Co-Design
Konferencje -
Int. Workshop on Formal Methods for Industrial Critical Systems
Konferencje -
Formal Methods in Software Engineering and Defence Systems Workshop
Konferencje -
Towards automation of IT systems repairs
PublikacjaMonitoring and repair are two sides of the on-the-fly maintenance of IT systems.Monitoring is well supported by automatic tools. In contrast, repairs involve much higherhuman intervention which negatively affects reliability and efficiency. The paper intro-duces a method of automating repairs of IT systems which can be integrated with any ofthe existing monitoring mechanisms. The method is described as a collection of modelsand...
-
Syntheses and structures of the first terminal phosphanylphosphido complexes of molybdenum(IV)
PublikacjaThe reactions of R2P-P(SiMe3)Li (R = tBu, iPr2N) with [Cp2MoCl2] yield terminal phosphanylphosphido complexes formally via the insertion of the phosphinidene P-atom into the C - H bond of a cyclopentadienyl ring and the migration of the hydrogen atom or SiMe3 moiety to the molybdenum centre. Solid state structures of [Cp(C5H4P-PtBu2)MoH], [Cp(C5H4P-PtBu2)Mo(SiMe3)] and [Cp{C5H4P-P(NiPr2)2}Mo(SiMe3)] were established by single crystal...
-
Domy - wewnętrzne krajobrazy.
PublikacjaPrzestrzenna redefinicja domu stanowi dziś jeden z wątków dyskusji ze zdeterminowanym wyrazem formalnym architektury i hermetycznością miejsca. Coraz częściej akcentowana jest potrzeba elastyczności domu i jego otwarcia na świat zewnętrzny. Jego przestrzeń wewnętrzna kształtowana jest coraz częściej jako ewoluujący ciągu sekwencji kompozycyjnych, formowany na wzór krajobrazu i poszukujący do niego odniesień. Domy stają się...
-
Rzeczywiste charakterystyki czasowo-prądowe wyłączników różnicowoprądowych 30 mA przy prądzie sinusoidalnym
PublikacjaPrzedstawiono wymagania norm odnoszące się do charakterystyki czasowo-prądowej wyłączników różnicowoprądowych o znamionowym prądzie różnicowym zadziałania równym 30 mA. Zaprezentowano wyniki badań laboratoryjnych czasu wyłączania takich wyłączników przy sinusoidalnym prądzie różnicowym i oceniono je z punktu widzenia tych wymagań. Badania wykazały, że czasy wyłączania dwóch lub większej liczby porównywanych wyłączników różnicowoprądowych...
-
Strategiczne zagadnienia tworzenia i funkcjonowania sieci tymczasowych
PublikacjaW artykule przedstawiano wyniki badań zagadnień charakteryzujących tworzenie i funkcjonowanie sieci tymczasowych, tj. sieci, które są organizowane w celu realizacji dużych, złożonych przedsięwzięć gospodarczych, najczęściej kosztownych i przekraczających możliwości realizacyjne jednego przedsiębiorstwa i które są powołane na określony okres czasu. Skupiono się nad strategicznymi zagadnieniami tworzenia i funkcjonowania tych sieci,...
-
Potencjalna wartość i możliwe oddziaływanie odznak cyfrowych: Nowy sposób oceniania pracy studentów
PublikacjaZarówno w środowisku tradycyjnym, jak i elearningowym, ocenianie uczących się odgrywa bardzo ważną rolę. W zależności od przyjętej koncepcji pedagogicznej edukatorzy przypisują większe znaczenie ocenom formatywnym lub sumatywnym, a wystawiane przez nich certyfikaty i dyplomy tylko w części pokazują kwalifikacje osoby posiadającej je, gdyż informacje, które zawierają, zwykle sprowadzają się do określenia uzyskanego przez nią stopnia,...
-
Maksymalna elastyczność pracy bloków parowych
PublikacjaW artykule przedstawiono propozycję przyspieszenia startów turbiny parowej poprzez właściwe doprowadzanie pary w trakcie stanów niestacjonarnych. Badano najbardziej wytężone miejsca w urządzeniu, przy uwzględnieniu tradycyjnej hipotezy Hubera-Missesa-Hencky, jak i hipotezy Burzyńskiego. W przypadku licznych startów coraz większe znaczenie odgrywają naprężenia termiczne, dla których najważniejsze są składowe normalne naprężeń, w...
-
The electrochemical studies of thin boron-doped diamond films deposited at conductive poly(lactic acid) 3D prints
Dane BadawczeThe dataset contains the electrochemical characteristics of the electrodes composed of thin boron-doped diamond films coated on commercially available graphene-doped polylactide acid. The boron doping level expressed as the [B]/[C] ratio in the gas phase for these studies was 500 and 10,000 ppm.
-
Informal practices in urban planning and governance. Examples from Polish cities
PublikacjaPlanning has a formal, legally defined component and an informal component developed in response to deficiencies in the planning system. Informal practices can contribute to the development of tools that would improve urban governance, especially in areas related to space. This article presents an overview of informal practices that have taken place in Polish cities and towns in recent years and offers an assessment of their impact...
-
Elastoplastic nonlinear FEM analysis of FGM shells of Cosserat type
PublikacjaThe paper is a continuation of [1] where the formulation of the elastic constitutive law for functionally graded materials (FGM) on the grounds of nonlinear 6-parameter shell theory with the 6th parameter (the drilling degree of freedom) was presented. Here the formulation is extended to the elasto-plastic range. The material law is based on Cosserat plasticity and employs the well-known Tamura-Tomota-Ozawa (TTO) [2] mixture...
-
Udział złotego w mechanizmie stabilizowania kursu a ryzyko wystąpienia kryzysu walutowego w Polsce
PublikacjaWśród szeregu niepożądanych zjawisk wynikających z zastąpienia złotego walutą euro, uwaga najczęściej skupiona jest na tych, które oddziałują już po przystąpieniu do jednowalutowego obszaru. Rzadziej dokonuje się analizy zagrożeń w fazie przygotowawczej, jeszcze przed formalnym przystąpieniem do obszaru euro. Jednym z takich niebezpieczeństw jest ryzyko wystąpienia kryzysu walutowego w czasie realizacji przez państwo kandydujące...
-
Zastosowanie MusicXML do wymiany danych oraz wizualizacji partytur
PublikacjaW rozdziale przedstawiono krótki opis standardu MusicXML. Pokazano możliwość jego zastosowania do wymiany danych pomiędzy bazą danych cyfrowych dokumentów muzycznych, a innymi aplikacjami czy bibliotekami. Zwrócono uwagę na problem wizualizacji wydobytych z bazy danych partytur cyfrowych w formacie MusicXML. Wskazano możliwość wykorzystania XML-owego standardu grafiki wektorowej SVG do wizualizacji partytur w środowisku internetu....
-
IPMSM rotor position estimator based on analysis of phase current derivatives
PublikacjaThis paper describes an algorithm for estimation of IPMSM angular rotor position. The algorithm uses derivatives of motor phase currents resulting from PWM modulation to obtain the rotor position. The presented method is designed for medium- and high-speed range, since it is based on determination of the EMF vector. Algorithm is characterised by a very simple formulae. The calculation of rotor position is performed in every PWM...
-
Definition gleichartiger Dokumententypen zur Verbesserung der Erkennbarkeit und ihre XML-Beschreibung
PublikacjaPrzedstawiono krokowe podejście do projektowania interaktywnych, elektronicznych dokumentów z ich analogowej postaci. Postać analogowa rozumiana jest jako typowa kartka papieru, natomiast jako interaktywny, elektroniczny dokument rozumiemy dokument zdefiniowany w formacie XML przystępnym do przetwarzania przez dowolną przeglądarkę internetową. Wprowadza się pojęcie - cyklu życia dokumentu cyfrowego - składającego się z faz zawierających...
-
Model tests and numerical imulations of earth pressure of non - cohesive soil in 3D formulation.
PublikacjaW artykule przedstawiono wyniki badań modelowych i symulacji numerycznych parcia gruntu działającego na sztywne konstrukcje oporowe. Analizowano stan przestrzennego odkształcenia ośrodka niespoistego. Parcie czynne gruntu za- sypowego wywołano obrotem ściany oporowej wokół osi przechodzącej przez jej górną i dolną krawędź. Przedstawiono rozkład składowej stycznej i normalnej stanu naprężenia na powierzchni ściany wraz z analizą...
-
Stability of cylindrical steel silos composed of corrugated sheets and columns based on FE analyses versus Eurocode 3 approach
PublikacjaComprehensive static and dynamic 3D stability finite element analyses of a cylindrical steel silo composed of corrugated sheets and open thin-walled vertical stiffener profiles were carried out by taking the geometric and material non-linearity into account. The silowas subjected to axisymmetric and non-axisymmetric loads imposed by a bulk solid following Eurocode 1. Theoretical and measured initial geometric imperfections were...
-
Telemetryczne systemy rozproszone 2023
Kursy Onlinestudia magisterskie - semestr 3, kierunek elektronika, specjalność Komputerowe Systemy Elektroniczne (obieralne na kierunku Inżynieria Biomedyczna). Przedmiot składa się z wykładu (15 godzin) i seminarium (15 godzin). Normalnie zajęcia odbywają się 2 godz. na tydzień.
-
PRAWOZNAWSTWO - Nowy
Kursy OnlineWprowadzenie do teorii oraz podstaw prawa. Na wykładzie zostaną zaprezentowane podstawowe instytucje prawa materialnego oraz formalnego. W szczególności przedstawione zostaną instytucje prawa potrzebne absolwentowi studiów Gospodarka Przestrzenna do poruszania się w przepisach prawa zagospodarowania przestrzennego oraz prawa budowlanego i prawa nieruchomości.
-
Telemetryczne systemy rozproszone 2024
Kursy Onlinestudia magisterskie - semestr 3, kierunek elektronika, specjalność Komputerowe Systemy Elektroniczne (obieralne na kierunku Inżynieria Biomedyczna). Przedmiot składa się z wykładu (15 godzin) i seminarium (15 godzin). Normalnie zajęcia odbywają się 2 godz. na tydzień.
-
XXX Aukcja Wielkiego Serca
PublikacjaTo już trzydziesta, jubileuszowa edycja przedsięwzięcia organizowanego przez Stowarzyszenie „Wielkie Serce” na rzecz Specjalnego Ośrodka Szkolno-Wychowawczego nr 1 im. J. Matejki w Krakowie. Po raz kolejny, ze względu na pandemię, aukcja zostanie zrealizowana w formule internetowej – finał Aukcji odbędzie się 27 listopada, początek o godz. 16.00. Gospodynią wieczoru będzie Anna Dymna. Zanim jednak odbędzie się sama aukcja, od...
-
„Gra (5)” (Alphago vs Sedol)
PublikacjaTo już trzydziesta, jubileuszowa edycja przedsięwzięcia organizowanego przez Stowarzyszenie „Wielkie Serce” na rzecz Specjalnego Ośrodka Szkolno-Wychowawczego nr 1 im. J. Matejki w Krakowie. Po raz kolejny, ze względu na pandemię, aukcja zostanie zrealizowana w formule internetowej – finał Aukcji odbędzie się 27 listopada, początek o godz. 16.00. Gospodynią wieczoru będzie Anna Dymna. Zanim jednak odbędzie się sama aukcja, od...
-
Applying Generative Modelling Tools to Explore Architectural Forms
PublikacjaThe digital generative methods open up new areas for exploration of formal and tectonic features, accentuate form’s ability to emerge and perform. They allow for automatic generation of variations of solutions, and digital production of “difficult” components of architectural forms using CNC technology.The paper deals with contemporary architectural explorations of complex , curvilinear surfaces in the context of generative...
-
Analiza holenderskich doświadczeń w zakresie logistyki miejskiej
PublikacjaW artykule dokonano analizy holenderskich doświadczeń w zakresie logistyki miejskiej i organizacji systemu dostaw towarów na przykładzie Utrechtu. Wybór miasta podyktowany był ponad 20 letnim konsekwentnym zaangażowaniem i doświadczeniem w tej dziedzinie. Przedstawiono zmiany w podejściu do problemów miejskiego transportu ładunków z punktu widzenia polityki krajowej oraz przebieg procesu decentralizacji odpowiedzialności na poziom...
-
Skills Mismatch in the Context of Technological Change
PublikacjaThis dissertation examines the impact of technological change (TC) on skills and competences and how higher education’s role has changed along the way. Quantitative research was conducted to reveal the perceptions of students and employers in Poland on the relevance of particular skills in an ICT based economy. The results of this research show that there is generally a rather insignificant discrepancy in these perceptions....
-
Możliwość redukcji emisji C02 dzięki zastosowaniu geosyntetyków
PublikacjaZastosowanie geosystemów jako rozwiązania zamiennego do konstrukcji klasycznych. Wybór geosystemu - względy techniczne, ekonomiczne i środowiskowe. Metodologia obliczania emisji CO2. Geosyntetyki wsparciem zrównoważonego rozwoju
-
Time travel without paradoxes: Ring resonator as a universal paradigm for looped quantum evolutions
PublikacjaA ring resonator involves a scattering process where a part of the output is fed again into the input. The same formal structure is encountered in the problem of time travel in a neighborhood of a closed timelike curve (CTC). We know how to describe quantum optics of ring resonators, and the resulting description agrees with experiment. We can apply the same formal strategy to any looped quantum evolution, in particular to the...
-
A Method for The Assessing of Reliability Characteristics Relevant to an Assumed Position-Fixing Accuracy in Navigational Positioning Systems
PublikacjaThis paper presents a method which makes it possible to determine reliability characteristics of navigational positioning systems, relevant to an assumed value of permissible error in position fixing. The method allows to calculate: availability , reliability as well as operation continuity of position fixing system for an assumed, determined on the basis of formal requirements - both worldwide and national, position-fixing accuracy....
-
ON DYNAMICS OF ELASTIC NETWORKS WITH RIGID JUNCTIONS WITHIN NONLINEAR MICRO-POLAR ELASTICITY
PublikacjaWithin the nonlinear micropolar elasticity we discuss effective dynamic (kinetic) properties of elastic networks with rigid joints. The model of a hyperelastic micropolar continuum is based on two constitutive relations, i.e., static and kinetic ones. They introduce a strain energy density and a kinetic energy density, respectively. Here we consider a three-dimensional elastic network made of three families of elastic fibers connected...
-
Model test and numerical simulations of earth pressure of non-cohesive soil in 3D formulation.
PublikacjaW pracy przedstawiono wyniki badań modelowych i obliczeń numerycznych parcia gruntu niespoistego w układzie przestrzennym działajacego na sztywną ścia- nę oporową. Podstawowe schematy wyznaczenia parcia gruntu na sztywną ścianę oporową opatre sa na obrocie ściany wokół jej wierzchołka i podstawy. Uzys- kane wyniki obliczeń przedstawiono jako rozkład składowych statycznych i normalnych wzdłuż sciany. Podano również wypadową parcia...
-
Nowa metoda ograniczania prądów zwarciowych.
PublikacjaObecnie stosowane bieżace sposoby ograniczania prądów zwarciowych polegają na zwiększaniu impodancji sieci zasilającej lub stosowaniu szybkich wyłączników ograniczających. Opisana w artykule metoda polega na tym, że do każdego przewodu fazowego sieci zasilajacej właczony jest dławik z zespołem diod i tyrystorów w taki sposób, że w czsie normalnej pracy spadek napięcia na tym dławiku jest ....... mały. Dopiero w chwili wzrostu pradu...
-
Investigation of the C-1311 glucuronidation: an electrochemical approach
Dane BadawczeThis study was undertaken to investigate the glucuronidation of the compound C-1311 (5-diethylaminoethylamino-8-hydroxyimidazoacridinone – the model anticancer acridine derivative) using electrochemistry/mass spectrometry (EC/MS) as a complementary technique to in vitro (liver microsomes) and in silico approaches.
-
Prawne aspekty unieszkodliwiania osadów ściekowych
PublikacjaW pracy prezentowane są prawne aspekty zagospodarowywania osadów ściekowych. Możliwości i ograniczenia przyrodniczego wykorzystania osadów ze wzgledu na zawartośc toksycznych substancji organicznych oraz metali cięzkich.
-
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Konferencje -
International Workshop on Formal Methods for Parallel Programming: Theory and Applications
Konferencje -
CMMI - an Assurance of Transferability of Knowledge andProjects in a Distributed Enterprise
PublikacjaCMMI (Capability Maturity Model Integrated)is a reference model fordefining and performing processes in software and systems engineeringorganizations.An organization implementing CMMI,among other things,assures thatacit knowledge is properly externalized into formal knowledge.This externalization gives an organization opportunity to assure that knowledge and development projects are easily transferable across adistributed enterprise...
-
Impact of Energy Slope Averaging Methods on Numerical Solution of 1D Steady Gradually Varied Flow
PublikacjaIn this paper, energy slope averaging in the one-dimensional steady gradually varied flow model is considered. For this purpose, different methods of averaging the energy slope between cross-sections are used. The most popular are arithmetic, geometric, harmonic and hydraulic means. However, from the formal viewpoint, the application of different averaging formulas results in different numerical integration formulas. This study...
-
Projekt fakultatywny I SAUP konkurs 2022/23
Kursy OnlineOpracowanie projektu architektonicznego obiektu witacza jako elementu realizującego Strategię Promocji Turystyki dla Międzynarodowych Tras Rowerowych EuroVelo 10/13, EuroVelo 9/WTR oraz dla trasy nr 20 w Województwie Pomorskim. Witacze mają być zlokalizowane na wjazdach do naszego województwa oraz w charakterystycznych lokalizacjach na trasie. Zajęcia prowadzone będą w formule konkursu studenckiego z nagrodami pieniężnymi, praca...
-
The impact of institutions on innovation networks: empirical evidence from Poland
PublikacjaInnovation networks may accelerate and improve the innovation process, while institutional pathologies may hamper it. This study employs the Kruskal-Wallis H test and regression analysis to determine if the relationship between institutions and innovation networks does exist among the investigated variables. The purpose of the study was to find out whether cooperation with special local institutions influences the innovative behaviour...
-
Cyfrowa biblioteka dokumentów muzycznych
PublikacjaW pracy przedstawiono główny cel projektu badawczego Moniuszko, będacego projektem i realizacją interaktywnej biblioteki cyfrowej dokumentów muzycznych. W pracy przedstawiono również koncepcję cyfrowego dokumentu muzycznego, a także wskazano standard MPEG-7, jako najlepiej spełniający wymogi opisu tych dokumentów. Zaproponowano rozszerzenie tego standardu o możliwość pełnego opisu bibliograficznego dokumentu muzycznego, a także...
-
Problems of reinforcement designing for plates
PublikacjaPrzedstawiono problem projektowania zbrojenia nietrajektorialnego płyt w aspekcie ich odkształcalności. Na podstawie niektórych wyników badań doświadczalnych, przeprowadzonych na żelbetowych płytach skręcanych, zweryfikowano procedury wymiarowania. Analiza wykazuje, że pomimo formalnego zapewnienia nośności przekroju płyt nietrajektorialnie zbrojonych, ich odkształcalność znacznie wzrasta. Aby zapewnić im sztywność na poziomie...
-
Postępowanie przed sądami dyscyplinarnymi, polubownymi i koleżeńskimi dla architektów: Wybór przepisów
PublikacjaDla praktykującego architekta wykonywanie zawodu jest funkcją odpowiedzialności. Odpowiedzialność ta może rodzić skutki karne, cywilne, zawodowe, dyscyplinarne i moralne. Przedmiotem niniejszej publikacji jest próba wyróżnienia szeroko pojętej odpowiedzialności zawodowej, przybliżenia jej podstaw prawnych oraz opisania postępowania przed sądami dyscyplinarnymi, polubownymi i koleżeńskimi. Specyfiką tego typu postępowań jest odpowiadanie...
-
Indywidualne programy integracyjne dla uchodźców i cudzoziemców objętych ochroną uzupełniającą z państw poradzieckich w dobie przynależności Polski do Unii Europejskiej
PublikacjaCelem pracy jest analiza uwarunkowań i skali obejmowania indywidualnymi programami integracyjnymi obywateli państw poradzieckich, którym przyznawano status uchodźcy i ochronę uzupełniającą w Polsce w okresie od 2004 r. do 2018 r., tj. od przystąpienia przez Polskę do Unii Europejskiej. Omawiane są następujące zagadnienia: uwarunkowania formalno-prawne ochrony międzynarodowej w Polsce, zasady przyznawania indywidualnych programów...
-
PROBLEMY RACJONALNEGO ZASTOSOWANIA SYSTEMÓW DIAGNOZUJĄCYCH DO PODEJMOWANIA DECYZJI W FAZIE EKSPLOATACJI URZĄDZEŃ ENERGETYCZNYCH Z UWZGLĘDNIENIEM ZAGADNIEŃ KWANTOWYCH
PublikacjaW rozdziale przedstawiono najistotniejsze problemy pojawiające się w fazie projektowania, wytwarzania i eksploatacji systemów diagnozujących (SDG) urządzeń energetycznych (będących systemami diagnozowanymi – SDN), w przypadku przysposabiania ich do opracowania finalnej diagnozy eksploatacyjnej. Przestawiono opisową i formalną interpretację pojęcia systemu diagnozującego (SDG). Zaproponowano modele procesu diagnozowania urządzeń...