Filters
total: 2231
filtered: 1055
-
Catalog
- Publications 1055 available results
- Journals 24 available results
- Conferences 24 available results
- Publishing Houses 6 available results
- People 234 available results
- Projects 8 available results
- Laboratories 6 available results
- Research Teams 5 available results
- Research Equipment 2 available results
- e-Learning Courses 680 available results
- Events 88 available results
- Open Research Data 99 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: JĘZYKI FORMALNE
-
Applying Decisional DNA to Internet of Things: The Concept and Initial Case Study
PublicationIn this article, we present a novel approach utilizing Decisional DNA to help the Internet of Things capture decisional events and reuse them for decision making in future operations. The Decisional DNA is a domain-independent, standard and flexible knowledge representation structure that allows its domains to acquire, store, and share experiential knowledge and formal decision events in an explicit way. We apply this approach...
-
Smart Virtual Product Development (SVPD): Experience Based Product Development System for Industry 4.0
PublicationThis 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...
-
The potential of Web-GIS and geovisual analytics in the context of marine cadastre
PublicationThe 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
PublicationKnowledge-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
Publicationn 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
PublicationThis 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,...
-
Hybrydowa technologia wzmacniania gruntu w renowacji wałów przeciwpowodziowych
PublicationW 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...
-
Zastosowanie przetwarzania rozmytego w animacji komputerowej
PublicationReferat 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....
-
Control of a wind power generator in case of voltage sags in power network
PublicationW 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.
PublicationW 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...
-
Charakterystyka środowiska Knowledge Grid
PublicationZorganizowanie 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
PublicationKiedyś, 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ć...
-
Time-Domain Description of Point-Source Acoustic Wavefields as a Useful Approach in Ultrasonic Techniques
PublicationIn 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
PublicationCelem 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ęść...
-
Time-domain description of point-source acoustic wavefields as a useful approach in ultrasonic techniques
PublicationIn 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
PublicationThe 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...
-
Reduced-Cost Constrained Modeling of Microwave and Antenna Components: Recent Advances
PublicationElectromagnetic (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
PublicationKluczowym 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
PublicationAfter 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...
-
Comparison of simplified sum-over-state expressions to calculate resonance Raman intensities including Franck-Condon and Herzberg-Teller effects
PublicationSum-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...
-
USZKODZONA BELKA TYPU T WIADUKTU DROGOWEGO. OCENA USZKODZEŃ I NAPRAWA
PublicationW 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...
-
Automatic Watercraft Recognition and Identification on Water Areas Covered by Video Monitoring as Extension for Sea and River Traffic Supervision Systems
PublicationThe 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...
-
<title>Data quality management system (DQMS) for BAC detector in the ZEUS experiment at the HERA accelerator</title>
Publication -
<title>FPGA-based TESLA cavity SIMCON DOOCS server design, implementation, and application</title>
Publication -
Mrówczan sodu z nowym pakietem inhibitorów korozji jako ekologiczny środek do odladzania infrastruktury lotniczej.
PublicationPrzedstawiono 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
PublicationProblematyka 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
PublicationDo 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
PublicationThe 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...
-
Extending Service Selection Algorithms with Interoperability Analysis
PublicationApplication 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 landscape in the informal education of the youngest
PublicationThe 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...
-
The Importance of Demand and Environment for Defining and Establishing the Role of Data Stewards
PublicationData 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...
-
Enhancing Product Innovation Through Smart Innovation Engineering System
PublicationThis 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 Decisional DNA-Based Smart Bike for Internet of Things
PublicationIn 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....
-
EIA in teaching sustainable development and environmental protection in engineering education
PublicationA 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...
-
Smart Virtual Product Development (SVPD) to Enhance Product Manufacturing in Industry 4.0
PublicationThis 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...
-
Knowledge economics and the demand for higher education
PublicationThis 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...
-
Modernization of large music studio at Polish Radio Szczecin
PublicationStudio 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
PublicationThe 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...
-
An Attempt to Create Speech Synthesis Model That Retains Lombard Effect Characteristics
PublicationThe 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...
-
Teoretyczne modelepniowych systemów aktywności mózgu
PublicationMonografię ''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....
-
Rozumieć Kanta całościowo czyli o Opus postumum Immanuela Kanta
PublicationTekst 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...
-
Ausgewahlten Warme und Feuchtigkeits probleme von Industriefussboden.
PublicationWiele 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,...
-
Model hydrodynamiczny cyrkulacji w instalacjach c.w.u.
PublicationW 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
PublicationInnowacje 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...
-
An Innovative Approach to the Forecasting of Energetic Effects While Wood Sawing
PublicationIn 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....
-
An innovative approach to the forecasting of energetic effects while wood sawing
PublicationIn 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...
-
"Niebiańska łąka" - o dekoracji stropu kościoła parafialnego w Górsku.
PublicationW 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...
-
Theory versus experiment for vacuum Rabi oscillations in lossy cavities
PublicationThe 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...
-
Microscopic Imaging to Visualize the Distribution of Dietary Nucleic Acids in Food Products of Various Origins
PublicationDietary nucleic acids (dietNAs) are being increasingly recognized as important food components with nutritional value. However, the precise dietary recommendations for dietNAs are limited, because established methods for determining the quantity and nutritional role of dietNAs are still lacking. One of the tools to narrow this gap could be microscopic imaging, as a convenient approach to visualize the abundance and distribution...
-
Analiza napięć indukowanych i strat mocy w kablach elektroenergetycznych wysokiego napięcia dla wybranych sposobów uziemienia żył powrotnych
PublicationDostarczanie mocy do centrów miast coraz częściej odbywa się z wykorzystaniem linii kablowych o napięciu 110 kV. To dogodny sposób zasilania, a praktycznie jedyny możliwy w przypadku gęstej zabudowy miejskiej. Kable wysokiego napięcia zawierają współosiową żyłę powrotną, w której podczas normalnej pracy oraz w stanach zakłóceniowych (podczas zwarć) mogą indukować się znaczne napięcia względem ziemi, co zagraża porażeniem i/lub...