Filtry
wszystkich: 1061
-
Katalog
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: LOGIC DIFFERENTIAL CALCULUS
-
Integrate-and-fire models with an almost periodic input function
PublikacjaWe investigate leaky integrate-and-fire models (LIF models for short) driven by Stepanov and μ-almost periodic functions. Special attention is paid to the properties of the firing map and its displacement, which give information about the spiking behavior of the considered system. We provide conditions under which such maps are well-defined and are uniformly continuous. We show that the LIF models with Stepanov almost periodic...
-
Homoclinic solutions for a class of the second order Hamiltonian systems
PublikacjaW niniejszej pracy badamy istnienie orbit homoklinicznych dlaukładu Hamiltonowskiego drugiego rzędu: q^{..} + V_{q}(t,q) = f(t), gdzie V z iloczynu kartezjańskiego R x R^{n} do R jest postaciV(t,q) = -K(t,q) + W(t,q). Zakładamy, ze V jest T-okresowe ze względuna zmienną t, K spełnia tzw. ''pinching'' warunek, W jest superliniowew nieskończoności, a norma f w L^{2} jest wystarczająco mała.Orbitę homokliniczną takiego układu znajdujemy...
-
Time-of-flight electron scattering from molecular hydrogen: Benchmark cross sections for excitation of the X1Σ+g→b3Σ+u transition
PublikacjaThe electron impact X1Σ+g to b3Σ+u transition in molecular hydrogen is one of the most important dissociation pathways to forming atomic hydrogen atoms, and is of great importance in modeling astrophysical and industrial plasmas where molecular hydrogen is a substantial constituent. Recently it has been found that the convergent close-coupling (CCC) cross sections of Zammit et al. [Phys. Rev. A 95, 022708 (2017)] are up to a factor...
-
Chronic cholecystitis - Female, 42 - Tissue image [6190730017337461]
Dane BadawczeThis is the histopathological image of GALLBLADDER tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
Chronic cholecystitis - Female, 42 - Tissue image [6190730017335731]
Dane BadawczeThis is the histopathological image of GALLBLADDER tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
Thermal properties of VO2 and V2O3 nanostructures
Dane BadawczeThe DataSet contains the DSC and TG curves of VO2 and V2O3 nanostructures obtained by the sol-gel with different reaction conditions. The information about xerogel powder synthesis is described in the Journal of Nanomaterials. The xerogel powder was annealing under argon atmosphere at the selected temperature: 500C, 600C, and 1000C.
-
Research of hydrotronic variable displacement radial piston pump with electro -pneumatic control
PublikacjaThe paper presents the developed new electro-pneumatic control (pneumotronic) system for hydraulic fixed-displacement radial piston pump. Hydraulic fixed-displacement radial piston pump equipped with the proposed control system changes into hydrotronic variable-displacement radial piston pump. Pump flow rate control is realized by means of programmable logic controller, electro-pneumatic valves, pneumatic cylinders and a sensor.
-
Semantic Driven Table Understanding in Born-Digital Documents
PublikacjaThis paper presents a new approach to table understanding, suitable for born-digital PDF documents. Advance beyond the current state of the art in table understanding is provided by the proposed reverse MVC method, which takes advantage of only partial logic structure loss (degradation) in born-digital PDF documents, as opposed to unrecoverable loss (deterioration) taking place in scan based PDF documents.
-
Estimation of a Stochastic Burgers' Equation Using an Ensemble Kalman Filter
PublikacjaIn this work, we consider a difficult problem of state estimation of nonlinear stochastic partial differential equations (SPDE) based on uncertain measurements. The presented solution uses the method of lines (MoL), which allows us to discretize a stochastic partial differential equation in a spatial dimension and represent it as a system of coupled continuous-time ordinary stochastic differential equations (SDE). For such a system...
-
Magnetic disturbances caused by magnetic contamination of plastics
PublikacjaIn the study of low magnetic fields precision magnetometers working in a differential system are used. Two optically pumped magnetometers working in a differential system allow for precise measuring of disturbances in the magnetic field. In order to attain high accuracy of magnetic field measurement, it is necessary to use appropriate materials for the construction of a magnetometric system, particularly of those located closely...
-
Computational issues of solving the 1D steady gradually varied flow equation
PublikacjaIn this paper a problem of multiple solutions of steady gradually varied flow equation in the form of the ordinary differential energy equation is discussed from the viewpoint of its numerical solution. Using the Lipschitz theorem dealing with the uniqueness of solution of an initial value problem for the ordinary differential equation it was shown that the steady gradually varied flow equation can have more than one solution....
-
A significance of multi slip condition for inclined MHD nano-fluid flow with non linear thermal radiations, Dufuor and Sorrot, and chemically reactive bio-convection effect
PublikacjaThe aim of this research is to discuss the significance of slip conditions for magnetized nanofluid flow with the impact of nonlinear thermal radiations, activation energy, inclined MHD, sorrot and dufour, and gyrotactic micro motile organisms over continuous stretching of a two-dimensional sheet. The governing equations emerge in the form of partial differential equations. Since the resultant governing differential equations...
-
On solvability of initial boundary-value problems of micropolar elastic shells with rigid inclusions
PublikacjaThe problem of dynamics of a linear micropolar shell with a finite set of rigid inclusions is considered. The equations of motion consist of the system of partial differential equations (PDEs) describing small deformations of an elastic shell and ordinary differential equations (ODEs) describing the motions of inclusions. Few types of the contact of the shell with inclusions are considered. The weak setup of the problem is formulated...
-
Modelling Evolution of Knowledge-Based Information Technology Organization: The Concept and Perspective
PublikacjaIncreasing pressure on improving the efficiency of companies' operations leads to transformation of their Information Technology (IT) organizations from technology-oriented to service-oriented, based on the Information Technology Infrastructure Library (ITIL) model. The evolution of these IT organizations can be supported by the knowledge-based systems centered on the rules determined through agregation and refinement of existing...
-
ERCIM Annual Workshop on Constraint Solving and Constraint Logic Programming
Konferencje -
Zaangażowanie konsumenta w usługach w ujęciu logiki dominacji usługowej
PublikacjaW odniesieniu do opracowanego modelu koncepcyjnego integrującego teorie zaangażowania klienta (ang. CE) i logiki dominacji usług (ang. S-D logic) zrealizowano badanie ilościowe wśród konsumentów usług. Wyniki badania pozwoliły na weryfikację założeń teoretycznych i potwierdzenie słuszności zakładanych powiązań między zmiennymi modelu. Wykorzystując konfirmacyjną analizę czynnikową (ang. CFA), potwierdzono strukturę czynnikową badanej...
-
Ontology-Aided Software Engineering
PublikacjaThis thesis is located between the fields of research on Artificial Intelligence (AI), Knowledge Representation and Reasoning (KRR), Computer-Aided Software Engineering (CASE) and Model Driven Engineering (MDE). The modern offspring of KRR - Description Logic (DL) [Baad03] is considered here as a formalization of the software engineering Methods & Tools. The bridge between the world of formal specification (governed by the mathematics)...
-
Simulation of Wave Propagation in Media Described by Fractional-Order Models
PublikacjaIn this paper, algorithms for simulation of the wave propagation in electromagnetic media described by fractional-order (FO) models (FOMs) are presented. Initially, fractional calculus and FO Maxwell's equations are introduced. The problem of the wave propagation is formulated for media described by FOMs. Then, algorithms for simulation of the non-monochromatic wave propagation are presented which employ computations in the time...
-
Evaluation of the Macro- and Micro-Economic Factors Affecting the Financial Energy of Households
PublikacjaThis paper is an evaluation of the common macro-economic, micro-economic, and social factors affecting households’ financial situations. Moreover, the author’s objective was to develop a fuzzy logic model for forecasting fluctuations in the number of nonperforming consumer loans in a country using the example of Poland. This study represents one of the first attempts in the global literature to develop such a forecasting model...
-
Fuzzy Methods and Models for a Team-Building Process
PublikacjaThis chapter contains an introduction to fuzzy-logic model-based approaches for a team-building process. Such appraches allow extending typical recruiting practice and selection processes to enable a wider and more precise assessment of a new team and/or existing team members, taking into account both their hard and soft skills. Moreover, as effectiveness of teams depends on the interpersonal skills and emotional intelligence...
-
The Chow Ring of flag manifolds
Dane BadawczeSchubert calculus is the intersection theory of 19th century. Justifying this calculus is the content of the 15th problem of Hilbert. In the course to establish the foundation of algebraic geometry, Van der Vaerden and A. Weil attributed the problem to the determination of the chow ring of flag manifolds G/P, where G is a compact Lie group and P is...
-
Flock behavior and control
PublikacjaIn this paper we present the results of the Flock Behaviour and Control workshop cluster during “Shapes of Logic Conference 2015”. During the event, students got familiar with the techniques of both visual and sound real-time data processing. The second topic presented for students was behaviourbased approach of design process, mainly based on the mathematical rules set up by Craig Raynolds on the swarm behaviour. The aim of the...
-
Application of muscle model to the musculoskeletal modeling
PublikacjaThe purpose of this paper is to investigate new fusiform muscle models. Each of these models treats a muscle as a system composedof parts characterized by different mechanical properties. These models explain the influence of differences in the stiffness of lateral parts and the degree of muscle model discretization. Each muscle model is described by a system of differential equations and a single integro-differential equation....
-
Significant Production of Thermal Energy in Partially Ionized Hyperbolic Tangent Material Based on Ternary Hybrid Nanomaterials
PublikacjaNanoparticles are frequently used to enhance the thermal performance of numerous materials. This study has many practical applications for activities that have to minimize losses of energy due to several impacts. This study investigates the inclusion of ternary hybrid nanoparticles in a partially ionized hyperbolic tangent liquid passed over a stretched melting surface. The fluid motion equation is presented by considering the...
-
Długie pociągi
PublikacjaWskazano, że przy wprowadzaniu długich pociągów pojawiają się możliwości, ale i ograniczenia różnej natury oraz problemy do rozwiązania. Inne w przypadku długich pociągów i inne w przypadku ciężkich pociągów. Pokazano długie pociągi, jako szansę na polepszenie bezpieczeństwa na drogach, poprzez ograniczenie na nich ruchu samochodów ciężarowych. Łatwiej będzie w praktyce realizować pomysł „Tiry na tory” Długie pociągi są szansą...
-
Fourier transform infrared spectroscopy (FTIR) of pre- PXBS (0 h) and PXBS during the crosslinking process (24 h–288 h)
Dane BadawczeThe goal of this research was developing biodegradable and biocompatibile xylitol-based copolymers with improved mechanical properties, and investigating the change in their thermal and chemical properties withprogress of the cross-linking process. Using a raw material of natural origin such as xylitol, a prepolymer wasobtained by esterification and...
-
Thermal behaviour of vanadium xerogel powder under oxidizing atmosphere
Dane BadawczeThe DataSet contains the results of the thermal behavior of the vanadium xerogel powder. The information about xerogel powder synthesis is described in the Journal of Nanomaterials.
-
Thermal behaviour of vanadium xerogel powder under argon atmosphere
Dane BadawczeThe DataSet contains the results of the thermal behavior of the vanadium xerogel powder. The information about xerogel powder synthesis is described in the Journal of Nanomaterials.
-
Maria Jastrzębska dr hab.
OsobyMaria Jastrzębska jest pracownikiem Katedry Finansów. Autorka ponad 170 publikacji, w tym 8 monografii - Zarządzanie finansami gmin. Aspekty teoretyczne; Polityka budżetowa jednostek samorządu terytorialnego; Zarządzanie długiem jednostek samorządu terytorialnego; Finanse jednostek samorządu terytorialnego; Zarządzanie ryzykiem w działalności jednostek samorządu terytorialnego ze szczególnym uwzględnieniem ryzyka katastroficznego...
-
Critical Remarks on Landauer’s principle of erasure– dissipation: Including notes on Maxwell demons and Szilard engines
PublikacjaWe briefly address Landauer’s Principle and some related issues in thermal demons. We show that an error-free Turing computer works in the zero-entropy limit, which proves Landauer’s derivation incorrect. To have a physical logic gate, memory or information-engine, a few essential components necessary for the operation of these devices are often neglected, such as various aspects of control, damping and the fluctuation–dissipation...
-
Computational intelligence methods in production management
PublikacjaThis chapter presents a survey of selected computational intelligence methods used in production management. This group of methods includes, among others, approaches based on the artificial neural networks, the evolutionary algorithms, the fuzzy logic systems and the particle swarm optimization mechanisms. From the abovementioned methods particularly noteworthy are the evolutionary and the particle swarm algorithms, which are successfully...
-
Music Recommendation Based on Multidimensional Description and Similarity Measures . Rekomendacja muzyki na podstawie wielowymiarowego wektora cech i miar podobieństwa
PublikacjaThis study aims to create an algorithm for assessing the degree to which songs belong to genres defined a priori. Such an algorithm is not aimed at providing unambiguous classification-labelling of songs, but at producing a multidimensional description encompassing all of the defined genres. The algorithm utilized data derived from the most relevant examples belonging to a particular genre of music. For this condition to be met,...
-
ANFIS-Based NPC Population Control in Video Games
PublikacjaModern computer games aim at providing rich, vivid worlds. The aim is to encourage the player to explore and interact with the in-game world. To describe the complex relations between in-game NPCs and their surrounding fuzzy logic is used. The paper presents ANFIS based population control in the video game. We present an approach allowing stabilizing the number of NPCs in-game by providing a certain amount of food to the environment....
-
Pomiary interkonektów typu RLC na pakietach elektronicznych z wykorzystaniem magistrali mieszanej sygnałowo IEEE 1149.4
PublikacjaPrzedstawiono wyniki badań nad wykorzystaniem magistrali testującej mieszanej sygnałowo zgodnej ze standardem IEEE 1149.4 do pomiarów interkonektów typu RLC na pakietach układów elektronicznych. Do badań użyto pierwszych komercyjnych układów scalonych STA400 wyposażonych w magistralę, opracowanych w firmie National Semoconductor i Logic Vision. Pomiary przeprowadzano metodami proponowanymi w normie IEEE 1149.4 oraz nowoopracowanymi...
-
Parabolic Equations with Functional Dependence
PublikacjaWe consider the Cauchy problem for nonlinear parabolic equations with functional dependence and prove theorems on the existence of solutions to parabolic differential-functional equations.
-
Induction machine behavioral modeling for prediction of EMI propagation.
PublikacjaThis paper presents the results of wideband behavioral modeling of an induction machine (IM). The proposed solution enables modeling the IM differential- and common-mode impedance for a frequency range from 1 kHz to 10 MHz. Methods of parameter extraction are derived from the measured IM impedances. The developed models of 1.5 kW and 7.5 kW induction machines are designed using the Saber Sketch scheme editor and simulated in the...
-
Marek Zienkiewicz dr inż.
OsobyDoktor inżynier Marek Hubert dwojga imion Zienkiewicz jest absolwentem Wydziału Geodezji, Inżynierii Przestrzennej i Budownictwa Uniwersytetu Warmińsko-Mazurskiego w Olsztynie. Zainteresowania naukowe w okresie studiów inżynierskich, magisterskich i doktoranckich rozwijał pod opieką przedstawicieli olsztyńskiej szkoły geodezyjnego rachunku wyrównawczego. W roku 2011 uzyskał tytuł zawodowy magistra inżyniera w zakresie geodezji...
-
Local fixed point indices of iterations of planar maps
PublikacjaW artykule podana zostaje postać indeksów iteracji dla pewnej klasy odwzorowań planarnych. Podstawowymi narzędziami stosowanym w pracy są liczba Nielsena i indeks Conleya.
-
A Strategy to Locate Fixed Points and Global Perturbations of ODE’s: Mixing Topology with Metric Conditions
PublikacjaIn this paper we discuss a topological treatment for the planar system z' = f (t, z) + g(t, z) where f and g are T -periodic in time and g(t, z) is bounded. Namely, we study the effect of g(t, z) in two different frameworks: isochronous centers and time periodic systems having subharmonics. The main tool employed in the proofs consists of a topological strategy to locate fixed points in the class of orientation preserving embedding...
-
On the Existence of Homoclinic Type Solutions of a Class of Inhomogenous Second Order Hamiltonian Systems
PublikacjaWe show the existence of homoclinic type solutions of a class of inhomogenous second order Hamiltonian systems, where a C1-smooth potential satisfies a relaxed superquadratic growth condition, its gradient is bounded in the time variable, and a forcing term is sufficiently small in the space of square integrable functions. The idea of our proof is to approximate the original system by time-periodic ones, with larger and larger...
-
Dagmara Lisman PhD
OsobyScientist, biologist, forensic geneticist. She completed her master's studies at the West Pomeranian University of Technology in Szczecin, at the Faculty of Biology, and obtained a doctoral degree in forensic genetics at the Pomeranian Medical University in Szczecin. Currently, he works as an assistant at the Department of Forensic Medicine of the same university. Her research, conducted at the Department of Forensic Genetics at...
-
Theoretical and experimental study on scattering of low-energy electrons by dimethyl and diethyl ethers
PublikacjaWe report a joint theoretical and experimental investigation on low-energy electron scattering by dimethyl and diethyl ethers. The experimental elastic differential cross sections were measured at impact energies from 1 eV up to 30 eV and scattering angle range of 10◦ to 130◦. Theoretical elastic differential, integral and momentum-transfer cross sections are calculated at impact energies up to 30 eV, employing the Schwinger multichannel...
-
Elastic electron scattering and vibrational excitation of isoxazole molecules in the energy range from 2 to 20 eV
PublikacjaDifferential cross sections for elastic electron scattering and the excitation of the C-H vibrational modes of isoxazole molecules were measured in the energy range from 2 to 20 eV and over the scattering angle range from 10◦ to 180◦. The cross sections at the scattering angles of and above 90◦ were accessible with the use of a magnetic angle changer. The differential cross sections were integrated to yield integral and momentum...
-
Use of Sensory Analysis Methods to Evaluate the Odor of Food and Outside Air
PublikacjaSensory analysis is applied in many areas of daily life. It is used to carry out the sensory evaluation of foodstuffs or other products and to evaluate the properties of odors present in the environment. The authors attempt to summarize the knowledge on the classification and application of sensory analysis methods to evaluate the odor nuisance of air, which allows the identification of sensory impressions and determination of...
-
Raman spectra and electrochemical data of carbon nanowall with tailored defects
Dane BadawczeThis dataset comprises of Raman spectra aquired with different excitation laser sources and the electrochemical data of defect-induced carbon nanowall electrodes (CNW).
-
Numerical and quantitative analysis of HIV/AIDS model with modified Atangana-Baleanu in Caputo sense derivative
PublikacjaFractional calculus plays an important role in the development of control strategies, the study of the dynamical transmission of diseases, and some other real-life problems nowadays. The time-fractional HIV/AIDS model is examined using a novel method in this paper. Based on the Atangana-concept Baleanu’s of a derivative in the Caputo sense, the current modified fractional derivative operator uses singular and non-local kernels....
-
Projekt mechanizmu różnicowego do pojazdu samochodowego z zachowaniem wymogów jakościowych ISO/TS 16949
PublikacjaW artykule przedstawiono proces projektowania mechanizmu różnicowego. Dokonano wyboru koncepcji z pośród istniejących rozwiązań stosowanych obecnie w pojazdach samochodowych. Skupiono się przede wszystkim na przebiegu procesu wykonania prototypu z zachowaniem wymogów i standardów ISO/TS 16949 dla produktu i projektu.
-
Hybrid fuzzy-ontological project framework of a team work simulation system
PublikacjaThe aim of this article is to present the project framework for constructing a Software Process Simulation Modeling (SPSM) system. SPSM systems can be used as a virtual environment for the selection of methods and tools of project management in IT support organizations. The constructed system simulates the Scrum methodology, including the management processes and the project roles. For the implementation of Scrum processes, the...
-
Metody projektowania ułatwiającego testowanie dla układów cyfrowych
PublikacjaPrzedstawiono przegląd metod ułatwiających testowanie DFT (Design for Testability) dla układów cyfrowych. Zaprezentowano metody stosowane na poziomie układów scalonych, pakietów oraz systemów elektronicznych. Pokazano heurystyczne metody projektowania pozwalające na zwiększenie sterowalności i obserwowalności układów oraz metody strukturalne, a wśród nich układy BILBO (Built-In Logic Block Observer), BIST (Built-In Self Test),...
-
The modelling method of discrete-continuous systems
PublikacjaThe paper introduces a method of discrete-continuous systems modelling. In the proposed method a three-dimensional system is divided into finite elements in only two directions, with the third direction remaining continuous. The thus obtained discrete-continuous model is described by a set of partial differential equations. General difference equations of discrete system are obtained using the rigid finite element method. The limit...