Filtry
wszystkich: 1052
-
Katalog
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: LOGIC DIFFERENTIAL CALCULUS
-
Numerical Methods
Kursy OnlineNumerical Methods: for Electronics and Telecommunications students, Master's level, semester 1 Instructor: Michał Rewieński, Piotr Sypek Course description: This course provides an introduction to computational techniques for the simulation and modeling of a broad range of engineering and physical systems. Concepts and methods discussed are widely illustrated by various applications including modeling of integrated circuits,...
-
Equations with Separated Variables on Time Scales
PublikacjaWe show that the well-known theory for classical ordinary differential equations with separated variables is not valid in case of equations on time scales. Namely, the uniqueness of solutions does not depend on the convergence of appropriate integrals.
-
Electrochemical studies of poly(lactic acid)-carbon black-nanodiamond composites
Dane BadawczeThis dataset contains electrochemical investigation on electrodes 3D printed using a new composite composed of poly-lactic acid (PLA), carbon black (CB) and nanodiamond fillers. Two types of nanodiamonds were studied: detonation nanodiamonds (DND) and boron-doped carbon nanowalls (BCNW). The presented results contain:1. electrochemical characterisation...
-
Thermal behavior of TeOx xerogel powder under different atmospheres
Dane BadawczeThe DataSet contains the results of the thermal behavior of the TeOx xerogel powder measured under different atmospheres. The material was obtained by the sol-gel method. The starting solution was prepared by mixing telluric acid (precursor) with thetraetylene glycol, water, and ethanol. The sol was obtained by vigorously stirring precursor solution...
-
Joanna Janczewska prof. dr hab.
OsobyJoanna Janczewska odbyła studia wyższe magisterskie na kierunku Matematyka w latach 1994–1999 z wynikiem bardzo dobrym i uzyskała w 1999 roku tytuł magistra. W 2002 roku na Uniwersytecie Gdańskim uzyskała stopień naukowy doktora nauk matematycznych w zakresie matematyki. Promotorem w przewodzie doktorskim był dr hab. Andrzej Borysowicz, prof. UG. W październiku 2004 roku podjęła pracę na stanowisku adiunkta w Katedrze Algebry...
-
Bounded solutions of odd nonautonomous ODE
PublikacjaBorsuk-Ulam type argument is used in order to prove exstence of nontrivial bounded solutions to some nonautonomous differential euations which are odd with respect to the spatial variable. A Poincare compactification trick is also applied.
-
Optimization model of agile team’s cohesion
PublikacjaTeam’s cohesion is one of the most important factors of IT project execution effectiveness. Optimization of team’s cohesion gives the possibility of reducing the risk of project failure. It also allows to increase the teamwork efficiency and thus optimize time of tasks execution, increase the guarantee of maintaining the scope of the project and the chance of achieving a given level of products quality. This article presents determination...
-
Expert systems in quality control of manufacturing processes
PublikacjaThe paper deals with quality control in conditions of computer integrated manufacturing (CIM). It shows that quality of material stream items have to be analyzed on every stage of manufacturing process. Collecting and analyzing quantity of data with usage of expert systems make it possible to create a system for coordination of cell's work. The system contains error recovery algorithm and adaptive control subsystem based on fuzzy...
-
Contra Bellum: Bell's Theorem as a Confusion of Languages
PublikacjaBell's theorem is a conflict of mathematical predictions formulated within an infinite hierarchy of mathematical models. Inequalities formulated at level k ∈ Z are violated by probabilities at level k+1. We are inclined to think that k=0 corresponds to the classical world, while k=1 — to the quantum one. However, as the k=0 inequalities are violated by k=1 probabilities, the same relation holds between k=1 inequalities violated...
-
Dynamic modeling of non-cylindrical curved viscoelastic single-walled carbon nanotubes based on the second gradient theory
PublikacjaThis paper is devoted to the theoretical study of the dynamic response of non-cylindrical curved viscoelastic single-walled carbon nanotubes (SWCNTs). The curved nanotubes are largely used in many engineering applications, but it is challenging in understanding mechanically the dynamic response of these curved SWCNTs when considering the influences of the material viscosity. The viscoelastic damping effect on the dynamic response...
-
Anita Maria Dąbrowicz-Tlałka dr
OsobyUzyskała, z wynikiem bardzo dobrym, tytuł magistra na kierunku matematyka na Wydziale Matematyki Uniwersytetu Gdańskiego. Praca magisterska pt. „Zbiory swojskie i dzikie w R3” była z dziedziny topologia geometryczna. Równolegle ukończyła na Uniwersytecie Gdańskim „Podyplomowe Studium Podstaw Informatyki”. W 2001 roku uzyskała na Politechnice Poznańskiej tytuł doktora nauk matematycznych. Praca doktorska pt. „Iteracje monotoniczne...
-
Dataset of phase portraits of the fractional prey-predator model with Holling type-II interaction (without predator harvesting)
Dane BadawczeThe need for a fractional generalization of a given classical model is often due to new behaviors which cannot be taken into account by the model. In this situation, it can be useful to look for a fractional deformation of the initial system, trying to fit the fractional exponent of differentiation in order to catch properly the data.
-
Database of the illustrative simulations of the nonstandard approximation of the generalized Burgers–Huxley equation
Dane BadawczeThe presented dataset is a result of numerical analysis of a generalized Burgers–Huxley partial differential equation. An analyzed diffusive partial differential equation consist with nonlinear advection and reaction. The reaction term is a generalized form of the reaction law of the Hodgkin–Huxley model, while the advection is a generalized form of...
-
Autoencoder application for anomaly detection in power consumption of lighting systems
PublikacjaDetecting energy consumption anomalies is a popular topic of industrial research, but there is a noticeable lack of research reported in the literature on energy consumption anomalies for road lighting systems. However, there is a need for such research because the lighting system, a key element of the Smart City concept, creates new monitoring opportunities and challenges. This paper examines algorithms based on the deep learning...
-
Displacement Sensors Based on the Phase of the Reflection Coefficient of a Split Ring Resonator Loaded Transmission Line
Publikacja— In this paper, novel displacement sensors using a microstrip loaded with a pair of split ring resonators (SRRs) are proposed. It is shown that the phase of the reflection coefficient from the loading SRRs can be used for displacement sensing. The paper also proposes a differential version of the sensor that benefits from a higher sensitivity and reference zero, which is useful for alignment purposes. It is further shown that...
-
On analog comparators for CMOS digital pixel applications. A comparative study
PublikacjaVoltage comparator is the only – apart from the light-to-voltage converter – analog component in the digital CMOS pixel. In this work, the influence of the analog comparator nonidealities on the performance of the digital pixel has been investigated. In particular, two versions of the digital pixel have been designed in 0.35 μm CMOS technology, each using a different type of analog comparator. The properties of both versions have...
-
Video analytics-based algorithm for monitoring egress from buildings
PublikacjaA concept and a practical implementation of the algorithm for detecting of potentially dangerous situations related to crowding in passages is presented. An example of such a situation is a crush which may be caused by an obstructed pedestrian pathway. The surveillance video camera signal analysis performed in the online mode is employed in order to detect hold-ups near bottlenecks like doorways or staircases. The details of the...
-
Passing from requirements specification to class model using application domain ontology
PublikacjaThe quality of a classic software engineering process depends on the completeness of project documents and on the inter-phase consistency. In this paper, a method for passing from the requirement specification to the class model is proposed. First, a developer browses the text of the requirements, extracts the word sequences, and places them as terms into the glossary. Next, the internal ontology logic for the glossary needs to...
-
Voltage control in a power system with renewable sources of energy
PublikacjaIntensive development of distributed generation in power systems, caused by the European Union energy policy, gives possibility for improving safety in power delivery as well as optimizing the costs of the systems functioning. In this context, distributed generation can be used for voltage control in power systems – it can be performed by the control of reactive power of each source of energy or a group of energy sources. This...
-
Designing effective educational games - a case study of a project management game
PublikacjaThis paper addresses the issues of designing effective educational games. We aim at investigating how the cognitive, behavioral and emotional aspects of the games influence their educational effectiveness. The results were obtained with an observational user experience study extended with affect analysis carried out for a project management game GraPM. We analyzed the...
-
Discrete and continuous fractional persistence problems – the positivity property and applications
PublikacjaIn this article, we study the continuous and discrete fractional persistence problem which looks for the persistence of properties of a given classical (α=1) differential equation in the fractional case (here using fractional Caputo’s derivatives) and the numerical scheme which are associated (here with discrete Grünwald–Letnikov derivatives). Our main concerns are positivity, order preserving ,equilibrium points and stability...
-
PROPERTIES OF ONE DIMENSIONAL OPEN-CHANNEL STEADY FLOW EQUATIONS
PublikacjaIn this paper properties of discrete forms of one dimensional steady gradually varied flow equations are discussed. Such forms of flow equations are obtained as a result of approximation of their differential forms, which is required to solve them numerically. For such purpose explicit or implicit numerical approximation schemes for ordinary differential equations can be applied. It turns out that dependently on the chosen approximation...
-
Technique to improve CMRR at high frequencies in CMOS OTA-C filters
PublikacjaIn this paper a technique to improve the common-mode rejection ratio (CMRR) at high frequencies in the OTA-C filters is proposed. The technique is applicable to most OTA-C filters using CMOS operational transconductance amplifiers (OTA) based on differential pairs. The presented analysis shows that a significant broadening of CMRR bandwidth can be achieved by using a differential pair with the bodies of transistors connected to...
-
A DISCRETE-CONTINUOUS METHOD OF MECHANICAL SYSTEM MODELLING
PublikacjaThe paper describes a discrete-continuous method of dynamic system modelling. The presented approach is hybrid in its nature, as it combines the advantages of spatial discretization methods with those of continuous system modelling methods. In the proposed method, a three-dimensional system is discretised in two directions only, with the third direction remaining continuous. The thus obtained discrete-continuous model is described...
-
Thermal behavior of VO2/V2O3 nanostructures obtained at 500°C under argon atmosphere
Dane BadawczeThe DataSet contains the results of the thermal behavior of the VO2/V2O3 nanostructures. The vanadium oxides nanostructures were synthesized by the sol-gel method, where obtained xerogel powder was annealing at 500°C under an argon atmosphere. The information about xerogel powder synthesis is described in the Journal of Nanomaterials.
-
Thermal behavior of VO2/V2O3 nanostructures obtained at 1000°C under argon atmosphere
Dane BadawczeThe DataSet contains the results of the thermal behavior of the VO2/V2O3 nanostructures. The vanadium oxides nanostructures were synthesized by the sol-gel method, where obtained xerogel powder was annealing at 1000°C under an argon atmosphere. The information about xerogel powder synthesis is described in the Journal of Nanomaterials.
-
Thermal behavior of VO2/V2O3 nanostructures obtained at 650°C under reducing atmosphere
Dane BadawczeThe DataSet contains the results of the thermal behavior of the VO2/V2O3 nanostructures. The vanadium oxides nanostructures were synthesized by the sol-gel method, where obtained xerogel powder was annealing at 650°C under a reducing atmosphere (95% Ar 5% H2). The information about xerogel powder synthesis is described in the Journal of Nanomaterials.
-
Thermal behavior of VO2/V2O3 nanostructures obtained at 400°C under argon atmosphere
Dane BadawczeThe DataSet contains the results of the thermal behavior of the VO2/V2O3 nanostructures. The vanadium oxides nanostructures were synthesized by the sol-gel method, where obtained xerogel powder was annealing at 400°C under an argon atmosphere. The information about xerogel powder synthesis is described in the Journal of Nanomaterials.
-
Thermal behavior of VO2/V2O3 nanostructures obtained at 700°C under argon atmosphere
Dane BadawczeThe DataSet contains the results of the thermal behavior of the VO2/V2O3 nanostructures. The vanadium oxides nanostructures were synthesized by the sol-gel method, where obtained xerogel powder was annealing at 700°C under an argon atmosphere. The information about xerogel powder synthesis is described in the Journal of Nanomaterials.
-
Thermal behavior of TeOx powder
Dane BadawczeThe DataSet contains the results of the thermal behavior of the TeOx powder. The material was obtained by the sol-gel method. The starting solution was prepared by mixing telluric acid (precursor) with thetraetylene glycol, water, and ethanol. The sol was obtained by vigorously stirring precursor solution at 50°C for 2h, then the temperature was raised...
-
Thermal behavior of VO2/V2O3 nanostructures obtained at 800°C under argon atmosphere
Dane BadawczeThe DataSet contains the results of the thermal behavior of the VO2/V2O3 nanostructures. The vanadium oxides nanostructures were synthesized by the sol-gel method, where obtained xerogel powder was annealing at 800°C under an argon atmosphere. The information about xerogel powder synthesis is described in the Journal of Nanomaterials.
-
Thermal behavior of VO2/V2O3 nanostructures obtained at 600°C under argon atmosphere
Dane BadawczeThe DataSet contains the results of the thermal behavior of the VO2/V2O3 nanostructures. The vanadium oxides nanostructures were synthesized by the sol-gel method, where obtained xerogel powder was annealing at 600°C under an argon atmosphere. The information about xerogel powder synthesis is described in the Journal of Nanomaterials.
-
Fenomenologia form symbolicznych. Podstawowe pojęcia i inspiracje "późnej" filozofii Ernsta Cassirera
PublikacjaMonografia rekonstruuje system filozofii Ernsta Casirera w oparciu o nieznane do niedawna teksty jego spuścizny rekopiśmienniczej. Jest pierwszym w języku polskim kompleksowym opracowaniem całości filozofii tego myśliciela.
-
High-Speed Serial Embedded Deterministic Test for System-on-Chip Designs
PublikacjaThe paper presents a high-speed serial interface between external tester and Embedded Deterministic Test (EDT) compression logic hosted by SoC designs. With only a single bidirectional link, the system is capable of feeding distributed heterogeneous cores with hundreds of test channels. Moreover, it synergistically supports EDT bandwidth management to improve the overall test performance. A detailed study indicates a high potential...
-
Video Analytics-Based Algorithm for Monitoring Egress from Buildings
PublikacjaA concept and practical implementation of the algorithm for detecting of potentially dangerous situations of crowding in passages is presented. An example of such situation is a crush which may be caused by obstructed pedestrian pathway. Surveillance video camera signal analysis performed on line is employed in order to detect hold-ups near bottlenecks like doorways or staircases. The details of implemented algorithm which uses...
-
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...
-
Database of the convergence analysis results of the nonstandard approximation of the generalized Burgers–Huxley equation for the solution bounded within [0,1].
Dane BadawczeThe presented dataset is a result of the convergence analysis of the Mickens-type, nonlinear, finite-difference discretization of a generalized Burgers–Huxley partial differential equation.
-
Database of the convergence analysis results of the nonstandard approximation of the generalized Burgers–Huxley equation for the solution bounded within [0, γ^(1/p)].
Dane BadawczePresented dataset is a result of the convergence analysis of the Mickens-type, nonlinear, finite-difference discretization of a generalized Burgers–Huxley partial differential equation. The generalized Burgers–Huxley equation is a diffusive partial differential equation with nonlinear advection and diffusion. The boundary problem for this equation possesses...
-
Thermal Buckling Analysis of Circular Bilayer Graphene sheets Resting on an Elastic Matrix Based on Nonlocal Continuum Mechanics
PublikacjaIn this article, the thermal buckling behavior of orthotropic circular bilayer graphene sheets embedded in the Winkler–Pasternak elastic medium is scrutinized. Using the nonlocal elasticity theory, the bilayer graphene sheets are modeled as a nonlocal double–layered plate that contains small scale effects and van der Waals (vdW) interaction forces. The vdW interaction forces between the layers are simulated as a set of linear springs...
-
Bending and buckling formulation of graphene sheets based on nonlocal simple first-order shear deformation theory
PublikacjaThis paper presents a formulation based on simple first-order shear deformation theory (S-FSDT) for large deflection and buckling of orthotropic single-layered graphene sheets (SLGSs). The S-FSDT has many advantages compared to the classical plate theory (CPT) and conventional FSDT such as needless of shear correction factor, containing less number of unknowns than the existing FSDT and strong similarities with the CPT. Governing...
-
Rhetoric at school - a selection of the syllabi from the Academic Gymnasium in Gdańsk - transcription and photographs
Dane BadawczeThe following data set comprises a transcription (in txt and docx formats) and photographs (in jpg format) of the selected records from the Latin-language teaching syllabi termed 'Typus' or 'Catalogus lectionum' (an abbreviated title). Rhetoric is the main thematic criterion behind this choice. Various topics related to rhetoric have been taught not...
-
Numerical solutions for blood flow in elastic vessels
PublikacjaWe consider the differential–algebraic system for the blood flow and pressure in the systemic arteries. By the operator splitting method, we transform the system into the hyperbolic one, introduce the bicharacteristics, and perform the time–space nonuniform discretization, obtaining the innovative difference scheme. Our results are illustrated with numerical experiments.
-
Ontologies vs. Rules — Comparison of Methods of Knowledge Representation Based on the Example of IT Services Management
PublikacjaThis text provides a brief overview of selected structures aimed at knowledge representation in the form of ontologies based on description logic and aims at comparing them with their counterparts based on the rule-based approach. Due to the limitations on the length of the article, only elements associated with the representation of concepts could be shown, without including roles. The formalisms of the OWL language were used...
-
Stanowisko laboratoryjne do diagnostyki układów elektronicznych za pomocą mieszanej sygnałowo magistrali testującej.
PublikacjaPrzedstawiono stanowisko laboratoryjne do testowania układów elektronicznych z wykorzystaniem magistrali testującej mieszanej sygnałowo, zgodnej ze standardem IEEE 1149.4. Stanowisko laboratoryjne zrealizowano w oparciu o wyposażone w magistralę IEEE 1149.4 układy scalone STA400, opracowane przez firmę National Semiconductor i Logic Vision. Sterowanie magistralą odbywa się poprzez kontroler wykonany z wykorzystaniem portu równoległego...
-
Stanowisko laboratoryjne do testowania analogowych układów elektronicznych z wykorzystaniem magistrali IEEE 1149.4.
PublikacjaPrzedstawiono stanowisko laboratoryjne do testowania analogowych układów elektronicznych z wykorzystaniem magistrali testującej mieszanej sygnałowo zgodnej ze standardem IEEE 1149.4. Stanowisko laboratoryjne zorganizowano w oparciu o pierwsze komercyjne układy wyposażone w magistralę IEEE 1149.4 - układy scalone STA400, opracowane przez firmę National Semiconductor i Logic Vision. Sterowanie magistralą odbywa się poprzez kontroler...
-
Fuzzy Multi-Regional Fractional PID controller for Pressurized Water nuclear Reactor
PublikacjaThe paper presents the methodology for the synthesis of a Fuzzy Multi-Regional Fractional Order PID controller (FMR-FOPID) used to control the average thermal power of a PWR nuclear reactor in the load following mode. The controller utilizes a set of FOPID controllers and the fuzzy logic Takagi-Sugeno reasoning system. The proposed methodology is based on two optimization parts. The first part is devoted to finding the optimal...
-
Sertoli cell tumor, NOS - Male, 52 - Tissue image [9070730015331671]
Dane BadawczeThis is the histopathological image of TESTIS 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.
-
Monomorphic epitheliotropic intestinal T-cell lymphoma - Female, 65 - Tissue image [9160729581052691]
Dane BadawczeThis is the histopathological image of STOMACH 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.
-
Small cell carcinoma, NOS - Male, 74 - Tissue image [8180729594144871]
Dane BadawczeThis is the histopathological image of BRONCHUS AND LUNG 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.
-
Mobilny system do detekcji obiektów ferromagnetycznych z magnetometrami pompowanymi optycznie
PublikacjaW pracy przedstawiono mobilny system do detekcji obiektów ferromagnetycznych. Każdy obiekt ferromagnetyczny zaburza w swoim otoczeniu równomierność pola magnetycznego Ziemi. Zaburzenie to może być zmierzone za pomocą precyzyjnych magnetometrów. W prezentowanym mobilnym systemie zastosowano magnetometry pompowane optycznie pracujące w układzie różnicowym. W pracy opisano magnetometryczny system do detekcji obiektów ferromagnetycznych,...