Wyszukiwarka
Filtry
wszystkich: 2231
wybranych: 1055
-
Katalog
- Publikacje 1055 wyników po odfiltrowaniu
- Czasopisma 24 wyników po odfiltrowaniu
- Konferencje 24 wyników po odfiltrowaniu
- Wydawnictwa 6 wyników po odfiltrowaniu
- Osoby 234 wyników po odfiltrowaniu
- Projekty 8 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 680 wyników po odfiltrowaniu
- Wydarzenia 88 wyników po odfiltrowaniu
- Dane Badawcze 99 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: JĘZYKI FORMALNE
-
The potential of Web-GIS and geovisual analytics in the context of marine cadastre
PublikacjaThe importance of the marine environment to human existence makes it imperative that information models represent the multidimensional nature of reality as closely as possible in order to facilitate good governance. Information regarding jurisdiction, as well as the effects of formal law and community interests on the marine environment (e.g. nature and spatial extents as well as rights, responsibilities, restrictions etc.) would...
-
Smart Innovation Engineering: Toward Intelligent Industries of the Future
PublikacjaKnowledge-based Engineering Systems are founded upon integration of knowledge into computer systems and are one of the core requirements for the future Industry 4.0. This paper presents a system called Smart Innovation Engineering (SIE) capable of facilitating product innovation process semi-automatically. It enhances decision-making processes by using the explicit knowledge of formal decision events. The SIE system carries the...
-
Decisional-DNA Based Smart Production Performance Analysis Model
Publikacjan order to allocate resources effectively according to the production plan and to reduce disturbances, a framework for smart production performance analysis is proposed in this article. Decisional DNA based knowledge models of engineering objects, processes and factory are developed within the proposed framework. These models are the virtual representation of manufacturing resources, and with help of Internet of Things, are capable...
-
Towards Experience-Based Smart Product Design for Industry 4.0
PublikacjaThis paper presents the concept of smart virtual product development (SVPD) system capable of supporting industrial product development process. It enhances the decision making process during different stages and activities involved in product development i.e. product design, manufacturing, and its inspection planning. The enhancement is achieved by using the explicit knowledge of formal past decision events, which are captured,...
-
Smart Virtual Product Development (SVPD): Experience Based Product Development System for Industry 4.0
PublikacjaThis chapter presents the concept of smart virtual product development (SVPD) system capable of supporting industrial product development. It enhances the decision making process during various activities involved in product development i.e. product design, manufacturing, and inspection planning. This is achieved by using the explicit knowledge of past formal decision events, which are captured, stored, and recalled in the form...
-
Scalar and Vector acoustic fields and sources: a new look
PublikacjaA study of fundamental problems of the wavefields that are the reaction of fluid continuum on two kinds of primary actions in fluid, then on two kinds of elementary point sources, is presented in this paper, based on the assumption of the physical duality of linear fluid mechanics and the formal symmetry of mathematical description. The two fundamental wavefields generated in fluid by physical point sources are discussed in detail,...
-
Hybrydowa technologia wzmacniania gruntu w renowacji wałów przeciwpowodziowych
PublikacjaW artykule przedstawiono propozycję kompleksowego podejścia do renowacji wałów przeciwpowodziowych z zastosowaniem tzw. technologii hybrydowych. Autorzy prezentują technologię, opracowaną z udziałem Katedry Geotechniki, Geologii i Budownictwa Morskiego Politechniki Gdańskiej, łączącą znane metody dynamicznego wzmacniania podłoża gruntowego. Technologia, w swej hybrydowej formule, zapewnia odpowiednie wzmocnienie podłoża zalegającego...
-
Control of a wind power generator in case of voltage sags in power network
PublikacjaW artykule poruszono problem związany ze sposobem sterowania generatorem elektrowni wiatrowej w przypadku wystąpienia po stronie sieci zapadów napięcia.Jako generator wykorzystano maszynę dwustronnie zasilaną której stojan podłączono bezpośrednio do sieci natomiast wirnik zasilano poprzez kaskadę przekształtników. Wystąpienie spadku lub zapadu napięcia sieci w przypadku pracy tego typu generatora może doprowadzić do uszkodzenia...
-
Efektywne programowanie procesora TMS320C6711 przy użyciu pakietu SIMULINK.
PublikacjaW artykule opisano alternatywny, w stosunku do standardowych metod kodowania, sposób programowania procesora TMS320C6711 z wykorzystaniem bibliotek pakietu SIMULINK. Scharakteryzowano własności karty uruchomieniowej ze zmiennoprzecinkowym procesorem sygnałowym TMS320C6711 firmy Texas Instruments, pod kątem tworzenia programów do układów prototypowych. Opisano także cechy pakietu SIMULINK jako wydajnego narzędzia pozwalającego na...
-
Zastosowanie przetwarzania rozmytego w animacji komputerowej
PublikacjaReferat przedstawia projekt systemu ekspertowego do tworzenia animacji komputerowych. Założono, iż wykorzystanie reguł animacji tradycyjnej i przetwarzania rozmytego może przyspieszyć proces tworzenia animacji komputerowych i pozwoli uzyskiwać animacje o wysokiej jakości wizualnej, nie ustępujące anima-cjom przygotowanym w całości przez animatora. Wejściem do systemu jest prosta animacja oraz opis ruchu pożądanego przez użytkownika....
-
Charakterystyka środowiska Knowledge Grid
PublikacjaZorganizowanie wiedzy zgromadzonej w Internecie to współcześnie ważne zagadnienie badawcze. Artykuł opisuje środowisko Knowledge Grid i mechanizmy jego działania. Wiedza przechowywana w Knowledge Grid może zostać zorganizowana w trójwymiarową strukturę. Opracowany został również Knowledge Grid Operating Language, który jest językiem służącym do operowania na danych udostępnianych w tym środowisku. Za jego pomocą możliwe jest umieszczenia...
-
Matematyczny świat wirusów i bakterii
PublikacjaKiedyś, mówiąc o zastosowaniach matematyki, przychodziła nam na myśl głównie fizyka. Dziś wiemy, że matematyka ma ważne zastosowania również w biologii i medycynie. To, jak szybko rozwijają się bakterie i wirusy oraz jak szybko odpowiada na ich obecność nasz układ odpornościowy, można opisać językiem matematyki. Głównym narzędziem służącym do opisu tempa zmiany interesującej nas wielkości jest pochodna. Dzięki pochodnej możemy przewidzieć...
-
Automatic Watercraft Recognition and Identification on Water Areas Covered by Video Monitoring as Extension for Sea and River Traffic Supervision Systems
PublikacjaThe article presents the watercraft recognition and identification system as an extension for the presently used visual water area monitoring systems, such as VTS (Vessel Traffic Service) or RIS (River Information Service). The watercraft identification systems (AIS - Automatic Identification Systems) which are presently used in both sea and inland navigation require purchase and installation of relatively expensive transceivers...
-
USZKODZONA BELKA TYPU T WIADUKTU DROGOWEGO. OCENA USZKODZEŃ I NAPRAWA
PublikacjaW rozdziale opisano metodę wzmocnienia uszkodzonej belki prefabrykowanej typu T. Dźwigar wiaduktu drogowego został uderzony przez wozidło, co spowodowało jego zarysowanie i ubytki. Zaproponowano naprawę poprzez dobetonowanie dodatkowej belki. W procesie budowy belki zastosowano balastowanie płytami betonowymi w celu wciągnięcia nowego dźwigara do przenoszenia obciążeń od ciężaru własnego obiektu. Przewidziano połączenie starego...
-
Time-domain description of point-source acoustic wavefields as a useful approach in ultrasonic techniques
PublikacjaIn traditional acoustics, field problems are usually treated in the frequency domain, broadband fields being reduced to superposition of harmonic spectrum components. However, this approach is inherently acausal and it is known that in case of arbitrary signals, the distribution-based, time-domain description can be more effective. The present paper is an attempt to expand the time-domain linear systems formalism onto space problems...
-
General solution of quantum mechanical equations of motion with time-dependent Hamiltonians: A Lie algebraic approach
PublikacjaThe unitary operators U(t), describing the quantum time evolution of systems with a time-dependent Hamiltonian, can be constructed in an explicit manner using the method of time-dependent invariants. We clarify the role of Lie-algebraic techniques in this context and elaborate the theory for SU(2) and SU(1,1). In these cases we give explicit formulae for obtaining general solutions from special ones. We show that the constructions...
-
Time-Domain Description of Point-Source Acoustic Wavefields as a Useful Approach in Ultrasonic Techniques
PublikacjaIn traditional acoustics, field problems are usually treated in the frequency domain, broadband fields being reduced to superposition of harmonic spectrum components. However, this approach is inherently acausal and it is known that in case of arbitrary signals, the distribution-based, time-domain description can be more effective. The present paper is an attempt to expand the time-domain linear systems formalism onto space problems...
-
Analiza modalna konstrukcji podpierającej stanowiska badawczego dynamiki małogabarytowych wirników część druga - badania symulacyjne
PublikacjaCelem niniejszej pracy było przedstawienie badań eksperymentalnych oraz symulacyjnych stanowiska VIBstand. W pracy przedstawiono dokładne wyniki badań symulacyjnych, oraz skrótowo wyniki badań eksperymentalnych w celu porównania wyników. Dokładne wyniki badań eksperymentalnych przedstawione zostały części pierwszej artykułu (Analiza modalna konstrukcji podpierającej stanowiska badawczego dynamiki małogabarytowych wirników. Część...
-
Comparison of simplified sum-over-state expressions to calculate resonance Raman intensities including Franck-Condon and Herzberg-Teller effects
PublikacjaSum-over-state (SOS) expressions to simulate absorption spectroscopy and resonance Raman (RR) scattering including Franck-Condon (FC) and Herzberg-Teller (HT) effects are described. Starting from the general SOS method, several simplified SOS formulae are derived. In particular, within the so-called independent mode displaced harmonic oscillator model, it is shown that including the vibronic structure in the absorption and RR spectra...
-
Reduced-Cost Constrained Modeling of Microwave and Antenna Components: Recent Advances
PublikacjaElectromagnetic (EM) simulation models are ubiquitous in the design of microwave and antenna components. EM analysis is reliable but CPU intensive. In particular, multiple simulations entailed by parametric optimization or uncertainty quantification may considerably slow down the design processes. In order to address this problem, it is possible to employ fast metamodels. Here, the popular solution approaches are approximation...
-
Transformation of Small and Medium - Sized Enterprises in Pomerania due to staging the EURO 2012 with particular emphasis on the hotel industry
PublikacjaKluczowym motywem rozważań w opracowaniu jest kwestia transformacji biznesu. Przedmiotem analizy jest przekształcanie impulsów i procesów przebiegających w sferze publicznej na działalność przedsiębiorstw sektora MŚP. Bezpośrednim impulsem ilustrującym reaktywność małych przedsiębiorstw była decyzja o mistrzostwach Europy w piłce nożnej w Polsce w 2012 roku. Przedsiębiorczość wyraziła się znacznym rozwojem bazy hotelowej w wielu...
-
Corrosion fatigue crack propagation rate characteristics for weldable ship and offshore steels with regard to the influence of loading frequency and seawater temperature
PublikacjaAfter Vosikovsky (1975), the corrosion fatigue crack growth rate (CFCGR) characteristics have been divided into three regions. The region-III rates are very close to mechanical fatigue crack growth rates. CFCGR formulae, including the long-crack length effect (in region I only), the loading frequency effect (in region II only), and the saltwater temperature effect, have been proposed. It has been assumed that CFCGR is proportional...
-
<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 -
Mrówczan sodu z nowym pakietem inhibitorów korozji jako ekologiczny środek do odladzania infrastruktury lotniczej.
PublikacjaPrzedstawiono wyniki badań korozji kadmowej powłoki na stali oraz korozji po zanurzeniu stopów metali w mrówczanie sodu z nowym pakietem inhibitorów korozji, zawierającym synergiczną kompozycję poliasparaginianu sodu oraz imidazolu. Ponadto wyznaczono zdolność penetracji lodu przez badany układ. Właściwo- ści opracowanej kompozycji odladzającej porównano z właściwościami środków dostępnych na rynku. Uzyskane wyniki wskazują, że otrzymany...
-
Dynamiczne relacje pomiędzy matematyką stosowaną, a projektowaniem architektonicznym
PublikacjaProblematyka badawcza dysertacji dotyczy analizy matematycznego zapisu tworzenia form dwu- oraz trójwymiarowych oraz współczesnych metod matematycznych stosowanych w procesie projektowania architektonicznego. Obszar zainteresowań naukowych skoncentrowano na współczesnych relacjach pomiędzy matematyką stosowaną, a projektowaniem architektonicznym oraz na wykorzystywaniu poszczególnych gałęzi języka matematyki, w celu określenia...
-
PRZEDPŁATOWE LICZNIKI ENERGII ELEKTRYCZNEJ
PublikacjaDo rozliczania pieniężnego między konsumentem, będącym odbiorcą energii elektrycznej i zakładem energetycznym dostarczającym energię elektryczną, wykorzystywane są urządzenia pomiarowe zwane licznikami. W artykule przedstawiono genezę i konstrukcję liczników przedpłatowych, wyposażonych w skarbonkę na monety lub żetony. Wykorzystanie takiego licznika polegało na umożliwieniu pobrania określonej ilości energii elektrycznej, odpowiadającej...
-
Propensity of salicylamide and ethenzamide cocrystallization with aromatic carboxylic acids
PublikacjaThe cocrystallization of salicylamide (2-hydroxybenzamide, SMD) and ethenzamide (2-ethoxybenzamide, EMD) with aromatic carboxylic acids was examined both experimentally and theoretically. The supramolecular synthesis taking advantage of the droplet evaporative crystallization (DEC) technique was combined with powder diffraction and vibrational spectroscopy as the analytical tools. This led to identification of eleven new cocrystals...
-
Smart Virtual Product Development (SVPD) to Enhance Product Manufacturing in Industry 4.0
PublikacjaThis paper presents a system capable of enhancing product development process for industrial manufactured products. This system is known as Smart Virtual Product Development (SVPD), and it helps in decision making by using explicit knowledge of formal decision events. It stores and reuses the past decisional events or sets of experiences related to different activities involved in industrial product development process i.e. product...
-
Extending Service Selection Algorithms with Interoperability Analysis
PublikacjaApplication development by integration of existing, atomic services reduces development cost and time by extensive reuse of service components. In Service Oriented Architecture, there exist alternative versions of services supplying the same functionality but differing in Quality of Service (QoS) attributes, which enables developers to select services with optimal QoS. Existing algorithms of service selection focus on the formal...
-
The Decisional DNA-Based Smart Bike for Internet of Things
PublikacjaIn this paper, we introduce a novel application of the Internet of Things, the Decisional DNAbased Smart Bike. The Decisional DNA is a domain-independent, flexible and standard knowledge representation structure; it allows its domains to acquire and store experiential knowledge and formal decision events in an explicit way. By using Decisional DNA, the sensor-equipped bicycle is able to learn its user’s weight, riding habits, etc....
-
The landscape in the informal education of the youngest
PublikacjaThe European Landscape Convention, adopted in 2000, aims to promote the protection, management and planning of landscapes and to organise cooperation on landscape-related issues. Countries that ratified the Convention undertook to introduce activities that would promote public education on the subject. In Poland, the Ministry of Education has identified schools as the place to implement...
-
Knowledge economics and the demand for higher education
PublikacjaThis article suggests that the decreased demand for higher education in Poland is partially caused due to the changes in consumer preferences. The appearance of a cheap and highly accessible form of knowledge offered by the massive open online courses is presumed here to have an effect on the demand for formal higher education. This article proposes an additional perspective to the research on knowledge consumption, especially...
-
EIA in teaching sustainable development and environmental protection in engineering education
PublikacjaA multifaceted approach in teaching the environmental impact assessment (EIA) as a way to stress the role of environmental education in technical sciences is the focus of this article. The EIA is an example of an effective tool that supports spatial planning in implementing sustainable development. The aim is to present the idea and benefits of a facilitative and collaborative approach in teaching the EIA, stressing the role of...
-
Enhancing Product Innovation Through Smart Innovation Engineering System
PublikacjaThis paper illustrates the idea of Smart Innovation Engineering (SIE) System that helps in carrying the process of product innovation. The SIE system collects the experiential knowledge from the formal decisional events. This experiential knowledge is collected from the set of similar products having some common functions and features. Due to the fact that SIE system collects, captures and reuses the experiential knowledge of all...
-
The Importance of Demand and Environment for Defining and Establishing the Role of Data Stewards
PublikacjaData stewardship is now a central part of FAIR research data management. Although various types of positions called data stewards have been created at academic institutions over the last years, no demand-oriented, formal model of data stewardship and the associated roles exist so far. This workshop report presents the outcomes of the panel discussion “The Importance of Demand and Environment for Defining Data Stewardship” held...
-
An Attempt to Create Speech Synthesis Model That Retains Lombard Effect Characteristics
PublikacjaThe speech with the Lombard effect has been extensively studied in the context of speech recognition or speech enhancement. However, few studies have investigated the Lombard effect in the context of speech synthesis. The aim of this paper is to create a mathematical model that allows for retaining the Lombard effect. These models could be used as a basis of a formant speech synthesizer. The proposed models are based on dividing...
-
Modernization of large music studio at Polish Radio Szczecin
PublikacjaStudio Muzyczne S-1 w Polskim Radiu Szczecin należy do największych studiów nagrań w Polsce. Wymiary studia wynoszą 15.3 x 17 x 8.6 m, powierzchnia 261 m2, kubatura 2244 m3. W wyniku licznych korekt akustycznych dokonanych w ciągu ostatnich lat, warunki akustyczne studia są akceptowane przez szeroki krąg realizatorów i wykonawców, co uznano to za cenny i trudno odtwarzalny walor techniczny. W związku z tym, modernizację Studia...
-
Investigating Noise Interference on Speech Towards Applying the Lombard Effect Automatically
PublikacjaThe aim of this study is two-fold. First, we perform a series of experiments to examine the interference of different noises on speech processing. For that purpose, we concentrate on the Lombard effect, an involuntary tendency to raise speech level in the presence of background noise. Then, we apply this knowledge to detecting speech with the Lombard effect. This is for preparing a dataset for training a machine learning-based...
-
Teoretyczne modelepniowych systemów aktywności mózgu
PublikacjaMonografię ''Pień mózgu - oś życia'' stworzyli specjaliści z zakresu medycyny, elektroniki, filozofii, matematyki i fizyki. Celem, który przyświecał autorom, było przybliżenie Czytelnikowi stanów klinicznych i towarzyszącym im mechanizmów, których niesprawność prowadzi do zaniku życia ludzkiego.Klinika czynności pnia mózgu człowieka wskazuje, że jest w nim zlokalizowane centrum utrzymania przytomności, czyli świadomości ilościowej....
-
Ausgewahlten Warme und Feuchtigkeits probleme von Industriefussboden.
PublikacjaWiele obiektów budowlanych, jak hale przemysłowe, magazyny, warsztaty, hangary, sklepy, supermarkety itp. wyposażonych jest w posadzkę ułożoną bezpośrednio na gruncie. Rola, jaką pełni najniżej położona w tych obiektach posadzka podlega takim samym prawom fizyki budowli jak i mechaniki, tak jak każdy inny znaczący element konstrukcyjny obiektu. Oczywiście nie można jej rozpatrywać w aspekcie elementu wydzielonego z pewnej całości,...
-
Rozumieć Kanta całościowo czyli o Opus postumum Immanuela Kanta
PublikacjaTekst pokazuje fundamentalne znaczenie Opus postumum Kanta dla zrozumienia całości jego filozofii, dynamiki jej rozwoju, jej trudności i niekonsekwencji. Podstawowym problemem jest tu problem przejścia od metafizyki przyrody do fizyki. Omawiając pracę Tomasza Kupścia tekst pokazuje jak ważne w rozumieniu Kanta jest wyjście poza problematykę filozofii przyrody w stronę filozofii Boga, bo zwieńczenie filozofii transcendentalnej...
-
Model hydrodynamiczny cyrkulacji w instalacjach c.w.u.
PublikacjaW referacie opisano formalnie poprawny, kompletny model matematyczny cyrkulacji ciepłej wody użytkowej. Przedstawiono oznaczony układ równań dla przykładowej, niewielkiej lecz dostatecznie dużej i kompletnie wyposażonej instalacji. Policzono i zbilansowano liczbę równań i niewiadomych. Wskazano preferowane metody rozwiązywania takiego układu równań. Jest to materiał oryginalny (opracowany przez autorów od początku do końca), do...
-
Standardy wyposażenia technicznego systemów transportu miejskiego - uwarunkowania i perspektywy zastosowania
PublikacjaInnowacje na rynku transportu miejskiego mają wymiar zarówno techniczny, jak i organiza-cyjny. Umożliwiły one w ostatnich 25 latach zwiększenie konkurencyjności transportu zbio-rowego wobec samochodu osobowego i – w rezultacie – efektywną realizację założeń i celów polityki zrównoważonego rozwoju w miastach i aglomeracjach. Wprowadzanie do systemu transportu miejskiego rozwiązań będących rezultatem innowacji technicznych i technologicz-nych...
-
Theory versus experiment for vacuum Rabi oscillations in lossy cavities
PublikacjaThe 1996 experiment by Brune et al. [Phys. Rev. Lett. 76, 1800 (1996)] on vacuum Rabi oscillation is analyzed by means of alternative models of atom-reservoir interaction. Agreement with experimental Rabi oscillation data can be obtained if one defines jump operators in the dressed-state basis and takes into account thermal fluctuations between dressed states belonging to the same manifold. Such low-frequency transitions could...
-
"Niebiańska łąka" - o dekoracji stropu kościoła parafialnego w Górsku.
PublikacjaW artykule omówiono malarską dekorację stropu z 2 poł. XVIII w., na którą składają się sceny biblijne oraz przedstawienia roślin - owoców i kwiatów. Wraz z niebieskim tłem tworzą one łąkę symbolizującą Eden, bądź też, typowe dla sztuki protestanckiej tego okresu, nawiązanie do Królestwa niebieskiego. W sensie formalnym wizerunki roślin przypominają ryciny, rysunki etc. zamiawiane m.in. przez znanych...
-
Opis rysunków wektorowych.
PublikacjaNa stronach Web projektowanych w HTML ilustracje wyraża się przez odwołanie do pliku graficznego w formacie GIF, JPG czy też PNG. Nawet prosty rysunek wymaga zakodowania w obrazie rastrowym.Powoduje to nie tylko konieczność przesyłania dużej liczby danych, ale również uniemożliwia interpretację takiego rysunku przez aplikację kliencką.Zastosowanie XML umożliwia rozwiązanie tego problemu poprzez zapisanie rysunku składająccego się...
-
An Innovative Approach to the Forecasting of Energetic Effects While Wood Sawing
PublikacjaIn the classical approach, energetic effects (cutting forces and cutting power) of wood sawing process are generally calculated on the basis of the specifi c cutting resistance, which is in the case of wood cutting the function of more or less important factors. On the other hand, the cutting forces (power) problem may be tackled with an innovative, up-to-date fundamental analysis of the mechanics of sawing based on modern fracture mechanics....
-
If Gravity is Geometry, is Dark Energy just Arithmetic?
PublikacjaArithmetic operations (addition, subtraction, multiplication, division), as well as the calculus they imply, are non-unique. The examples of four-dimensional spaces, R^4 and (−L/2,L/2)^4, are considered where different types of arithmetic and calculus coexist simultaneously. In all the examples there exists a non-Diophantine arithmetic that makes the space globally Minkowskian, and thus the laws of physics are formulated in terms...
-
An innovative approach to the forecasting of energetic effects while wood sawing
PublikacjaIn the classical approach, energetic effects (cutting forces and cutting power) of wood sawing process are generally calculated on the basis of the specific cutting resistance, which is in the case of wood cutting the function of more or less important factors. On the other hand, the cutting forces (power) problem may be tackled with an innovative, up-to-date fundamental analysis of the mechanics of sawing based on modern fracture...