Filters
total: 1052
filtered: 855
Search results for: LOGIC DIFFERENTIAL CALCULUS
-
Optimization model of agile team’s cohesion
PublicationTeam’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...
-
Dynamic modeling of non-cylindrical curved viscoelastic single-walled carbon nanotubes based on the second gradient theory
PublicationThis 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...
-
Autoencoder application for anomaly detection in power consumption of lighting systems
PublicationDetecting 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
PublicationVoltage 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
Publication— 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...
-
Passing from requirements specification to class model using application domain ontology
PublicationThe 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
PublicationA 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...
-
Designing effective educational games - a case study of a project management game
PublicationThis 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...
-
Voltage control in a power system with renewable sources of energy
PublicationIntensive 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...
-
Discrete and continuous fractional persistence problems – the positivity property and applications
PublicationIn 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
PublicationIn 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
PublicationIn 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
PublicationThe 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...
-
Fenomenologia form symbolicznych. Podstawowe pojęcia i inspiracje "późnej" filozofii Ernsta Cassirera
PublicationMonografia 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.
-
Video Analytics-Based Algorithm for Monitoring Egress from Buildings
PublicationA 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
PublicationThe 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...
-
High-Speed Serial Embedded Deterministic Test for System-on-Chip Designs
PublicationThe 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...
-
Bending and buckling formulation of graphene sheets based on nonlocal simple first-order shear deformation theory
PublicationThis 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...
-
Thermal Buckling Analysis of Circular Bilayer Graphene sheets Resting on an Elastic Matrix Based on Nonlocal Continuum Mechanics
PublicationIn 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...
-
Numerical solutions for blood flow in elastic vessels
PublicationWe 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.
-
Stanowisko laboratoryjne do diagnostyki układów elektronicznych za pomocą mieszanej sygnałowo magistrali testującej.
PublicationPrzedstawiono 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.
PublicationPrzedstawiono 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...
-
Ontologies vs. Rules — Comparison of Methods of Knowledge Representation Based on the Example of IT Services Management
PublicationThis 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...
-
Fuzzy Multi-Regional Fractional PID controller for Pressurized Water nuclear Reactor
PublicationThe 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...
-
Mobilny system do detekcji obiektów ferromagnetycznych z magnetometrami pompowanymi optycznie
PublicationW 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
PublicationW 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.
PublicationThe 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
PublicationThis 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
PublicationIn 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...
-
Zastosowanie układów testowych STA 400 z magistralą testującą mieszaną sygnałowo IEEE 1149.4 do diagnostyki układów analogowych
PublicationPrzedstawiono 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...
-
An Approach to Bass Enhancement in Portable Computers Employing Smart Virtual Bass Synthesis Algorithms
PublicationThe 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
PublicationIn 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
PublicationThe 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...
-
Existence of unbounded solutions to parabolic equations with functional dependence
PublicationThe 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
PublicationTo 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
PublicationThe 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
PublicationIn 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...
-
Application of Artificial Intelligence by Poland’s Public Administration
PublicationThis 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
PublicationDesign 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...
-
Extended Reflexive Ontologies for the Generation of Clinical Recommendations
PublicationDecision recommendations are a set of alternative options for clinical decisions (e.g., diagnosis, prognosis, treatment selection, follow-up, and prevention) that are provided to decision makers by knowledge-based Clinical Decision Support Systems (k-CDSS) as aids. We propose to follow a ‘‘reasoning over domain’’ approach for the generation of decision recommendations by gathering and inferring conclusions from production rules....
-
Chain Action - How Do Countries Add Value Through Digital Government?
PublicationThis study examineshow countries develop and benefit from Digital Government(DG).The literature proposes various conceptualizations of the value-adding logic of DG, but the benchmarking practice is not respondingto such proposals.For instance, the United Nations’E-Government Surveycombines the readiness and uptake indicatorsand failsto cover any impactindicators;thus,its diagnostic valueis limited. To overcome...
-
Green function diagonal for a class of heat equations
PublicationA 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
PublicationIn 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
PublicationIn 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...
-
Positive solutions to Sturm–Liouville problems with non-local boundary conditions
PublicationIn 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.
-
A Note on Reduced Strain Gradient Elasticity
PublicationWe 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.
-
Modele budowy wartości dla klienta - charakterystyka i rozwinięcie
PublicationRozwój form realizacji biznesu umożliwił zbadanie nowych obiektów związanych z generowaniem wartości dla klienta i przedsiębiorstwa. W pracy scharakteryzowano logiki tworzenia wartości będące podstawą modeli łańcucha wartości, sklepu wartości, sieci wartości oraz chmury wartości. Zaproponowano także wprowadzenie nowego składnika do struktury tych modeli w postaci węzła wartości.
-
Time Delay Estimation in Two-Phase Flow Investigation Using the γ-Ray Attenuation Technique.
PublicationTime delay estimation is an important research question having many applications in a range of technologies. Measurement of a two-phase flow in a pipeline or an open channel using radioisotopes is an example of such application. For instance, the determination of velocity of dispersed phase in that case is based on estimation of the time delay between two stochastic signals provided by scintillation probes. The proper analysis...
-
On local buckling of cold-formed channel members
PublicationThe paper deals with local buckling of the compressed flanges of cold-formed thin-walled channel beams subjected to pure bending or axially compressed columns. Arbitrarily shaped flanges of open cross-sections and the web-flange interactions are taken into account. Buckling deformation of a beam flange is described by displacement related to torsion of the flange about the line of its connection with the web. Total potential energy...
-
A Novel Approach to Fully Nonlinear Mathematical Modeling of Tectonic Plates
PublicationThe motion of the Earth's layers due to internal pressures is simulated in this research with an efficient mathematical model. The Earth, which revolves around its axis of rotation and is under internal pressure, will change the shape and displacement of the internal layers and tectonic plates. Applied mathematical models are based on a new approach to shell theory involving both two and three-dimensional approaches. It is the...