Filtry
wszystkich: 1061
wybranych: 864
-
Katalog
Filtry wybranego katalogu
Wyniki wyszukiwania dla: LOGIC DIFFERENTIAL CALCULUS
-
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.
-
Predicting bankruptcy with the use of macroeconomic variables
PublikacjaRegarding the current global financial crisis, the firms can expect the increased uncertainty of their existence. The relevant literature includes extensive studies on bankruptcy prediction. Studies show that the most popular method used for prediction of firms' failures are discriminant analyses (30,3% of all models), then logit and probit models (21,3%), which all three are parametric models. The nature, the structure of the...
-
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.
-
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...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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...
-
Experimental and numerical studies on the mechanical response of a piezoelectric nanocomposite-based functionally graded materials
PublikacjaThis work presents an experimental study of piezoelectric structures reinforced by graphene platelets, based on the concept of the functionally graded materials (FGMs). The assumed model is a rectangular beam/plate and the composition is due to the Halpin-Tsai rule. The model is also simulated in the Abaqus software which is the first time that such a structure has been modelled in an FEM package. In addition, a mathematical model...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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.
-
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...
-
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...
-
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,...
-
Description of the solution set of the von Karman equations for a circular plate in a small neighbourhood of a simple bifurcation point
PublikacjaW niniejszej pracy badamy równania von Karmana dla cienkiej, sprężystej, kołowej płyty na sprężystym podłożu, poddawanej działaniu sił ściskających wzdłuż brzegu. Są to równania różniczkowe cząstkowe IV rzędu. Stosując metody analizy nieliniowej, opisujemy zbiór rozwiązań równań von Karmana w małym otoczeniu jednokrotnego punktu bifurkacji.Badania były finansowane przez grant nr 1 P03A 042 29.
-
Difference functional inequalities and applications.
PublikacjaThe paper deals with the difference inequalities generated by initial boundary value problems for hyperbolic nonlinear differential functional systems. We apply this result to investigate the stability of constructed difference schemes. The proof of the convergence of the difference method is based on the comparison technique, and the result for difference functional inequalities is used. Numerical examples are presented.
-
Analysis of electromagnetic disturbances in DC network of grid connected building-integrated photovoltaic system
PublikacjaThis paper focuses on conducted electromagnetic interference (EMI) emissions and propagation in the DC network of grid connected building integrated photovoltaic (PV) system. The investigated PV system, consists of ten solar panels, cabling and the grid-connected one phase inverter. The EMI simulation model of the real PV system has been developed with the aid of impedance analyzer measurements of solar panels and the DC network...
-
Fractional Spectral and Fractional Finite Element Methods: A Comprehensive Review and Future Prospects
PublikacjaIn this article, we will discuss the applications of the Spectral element method (SEM) and Finite element Method (FEM) for fractional calculusThe so-called fractional Spectral element method (f-SEM) and fractional Finite element method (f-FEM) are crucial in various branches of science and play a significant role. In this review, we discuss the advantages and adaptability of FEM and SEM, which provide the simulations of fractional...
-
An Approach to Bass Enhancement in Portable Computers Employing Smart Virtual Bass Synthesis Algorithms
PublikacjaThe aim of this paper is to present a novel approach to the Virtual Bass Synthesis (VBS) algorithms applied to portable computers. The developed algorithms are related to intelligent, rule-based setting of synthesis parameters according to music genre of an audio excerpt and to the type of a portable device in use. To find optimum synthesis parameters of the VBS algorithms, subjective listening tests based on a parametric procedure...
-
Multi-Criteria Knowledge-Based Recommender System for Decision Support in Complex Business Processes
PublikacjaIn this paper, we present a concept of a multi-criteria knowledge-based Recommender System (RS) designed to provide decision support in complex business process (BP) scenarios. The developed approach is based on the knowledge aspects of Stylistic Patterns, Business Sentiment and Decision-Making Logic extracted from the BP unstructured texts. This knowledge serves as an input for a multi-criteria RS algorithm. The output is prediction...
-
A modelling approach to the transport support for the harvesting and transportation complex under uncertain conditions
PublikacjaThe article proposes a modelling approach based on structural and parametric identification of the transport support of the harvesting and transportation complex. The efficiency and effectiveness of the proposed methods of structural and parametric identification for the development of a system for harvesting and transportation complex operation has been proved. A mathematical model based on fuzzy logic has been developed. It reflects...
-
Zastosowanie układów testowych STA 400 z magistralą testującą mieszaną sygnałowo IEEE 1149.4 do diagnostyki układów analogowych
PublikacjaPrzedstawiono wyniki badań nad wykorzystaniem magistrali testującej mieszanej sygnałowo zgodnej ze standardem IEEE 1149.4 do diagnostyki wybranych struktur analogowych. Do badań użyto wyposażonych w magistralę prototypowych układów scalonych typu STA400 opracowanych w końcu 2001 r. w firmie NationalSemiconductor i Logic Vision. Diagnostykę przeprowadzono metodą analityczną opartą na twierdzeniu Tellegena dla 3 i 5-elementowych...
-
Existence of unbounded solutions to parabolic equations with functional dependence
PublikacjaThe Cauchy problem for nonlinear parabolic differential-functional equations is considered. Under natural generalized Lipschitz-type conditions with weights, the existence and uniqueness of unbounded solutions is obtained in three main cases: (i) the functional dependence u(·); (ii) the functional dependence u(·) and ∂xu(·); (iii) the functional dependence u(·)and the pointwise dependence ∂xu(t,x).
-
Comparison of Average Energy Slope Estimation Formulas for One-dimensional Steady Gradually Varied Flow
PublikacjaTo find the steady flow water surface profile, it is possible to use Bernoulli’s equation, which is a discrete form of the differential energy equation. Such an approach requires the average energy slope between cross-sections to be estimated. In the literature, many methods are proposed for estimating the average energy slope in this case, such as the arithmetic mean, resulting in the standard step method, the harmonic mean and...
-
Arterial cannula shape optimization by means of the rotational firefly algorithm
PublikacjaThe article presents global optimization results of arterial cannula shapes by means of the newly modified firefly algorithm. The search for the optimal arterial cannula shape is necessary in order to minimize losses and prepare the flow that leaves the circulatory support system of a ventricle (i.e. blood pump) before it reaches the heart. A modification of the standard firefly algorithm, the so-called rotational firefly algorithm,...
-
Transport of dangerous goods by rail, and threats to the subsoil of the railway surface in the event of a disaster
PublikacjaIn Poland, in 2020, the mass of dangerous goods (loads) transported by rail was 26 151.06 thousand tone. This translated into the performance of 8 899 691.89 thousand tone - km of transport performance. In 2020, these figures accounted for 11.72% of the weight of goods transported by rail. The situation is similar in other countries around the world. With such a large volume of transport of dangerous...
-
Positive solutions to Sturm–Liouville problems with non-local boundary conditions
PublikacjaIn this paper, the existence of at least three non-negative solutions to non-local boundary-value problems for second-order differential equations with deviating arguments α and ζ is investigated. Sufficient conditions, which guarantee the existence of positive solutions, are obtained using the Avery–Peterson theorem. We discuss our problem for both advanced and delayed arguments. An example is added to illustrate the results.
-
Green function diagonal for a class of heat equations
PublikacjaA construction of the heat kernel diagonal is considered as element of generalized zeta function theory, which gradient at the origin defines determinant of a differential operator in a technique for regularizing quadratic path integral. Some classes of explicit expressions of the Green function in the case of finite-gap potential coefficient of the heat equation are constructed. An algorithm and program for Mathematica are presented...
-
Elastic distortional buckling of thin-walled bars of closed quadratic cross-section
PublikacjaIn this study a tin-walled bar with closed quadratic cross-section is considered. The elastic stability of axially compressed bar related to the cross-section distortion is investigated. The governing differential equatio is derived with aid of the principle of stationary potential energy. The critical load for simply supported bar is found in an analytical form and it is copared with the FEM solution. Sufficient accuracy of the...
-
Elastic distortional buckling of thin-walled bars of closed quadratic cross-section
PublikacjaIn this study a thin-walled bar with closed quadratic cross-section is considered. The elastic stability of axially compressed bar related to the cross-section distortion is investigated. The governing differential equation is derived with aid of the principle of stationary total potential energy. The critical load for the simply supported bar is found in analytical form and it is compared with the FEM solution. Sufficient accuracy...
-
A Note on Reduced Strain Gradient Elasticity
PublikacjaWe discuss the particular class of strain-gradient elastic material models which we called the reduced or degenerated strain-gradient elasticity. For this class the strain energy density depends on functions which have different differential properties in different spatial directions. As an example of such media we consider the continual models of pantographic beam lattices and smectic and columnar liquid crystals.
-
Application of Artificial Intelligence by Poland’s Public Administration
PublikacjaThis chapter presents an overview and analysis of artificial intelligence-driven solutions created and implemented by or with the support of Poland’s central public administration (PA). After discussing governance of AI-related issues, we analyze a set of examples of AI innovation to map the actors and their relations within the ecosystem, describe the field where innovation in AI for PA occurs, and highlight the potentialities...
-
A New Fuzzy Sliding Mode Controller with PID Sliding Surface for Underwater Manipulators
PublikacjaDesign of an accurate and robust controller is challenging topic in underwater manipulator control. This is due to hydrodynamic disturbances in underwater environment. In this paper a sliding mode control (SMC) included a PID sliding surface and fuzzy tunable gain is designed. In this proposed controller robustness property of SMC and fast response of PID are incorporated with fuzzy rules to reduce error tracking. In the control...