Search
Search results for: ARGUMENT TEMPLATES
-
Existence results to delay fractional differential equations with nonlinear boundary conditions
PublicationPraca dotyczy problemów brzegowych dla ułamkowych równań różniczkowych z opóźnionym argumentem. Podano warunki dostateczne na istnienie rozwiązań ekstremalnych takich zagadnień.
-
Interface circuit for impedance sensors using two specialized single-chip microsystems
PublicationW artykule przedstawiono obwód interfejsu przeznaczony do pomiaru parametrów impedancyjnych czujników lub celek pomiarowych instalowanych na obiektach technicznych. Umożliwia on pomiar modułu i argumentu impedancji w zakresie 10ohm
-
Homoclinic orbits for a class of singular second order Hamiltonian systems in ℝ3
PublicationWe consider a conservative second order Hamiltonian system \ddot{q}+ ∇V(q)=0 in R3 with a potential V having a global maximum at the origin and a line l ∩ {0} = ∅ as a set of singular points. Under a certain compactness condition on V at infinity and a strong force condition at singular points we study, by the use of variational methods and geometrical arguments, the existence of homoclinic solutions of the system.
-
Surgical tool tracking by on-line selection of structural correlation filters
PublicationIn visual tracking of surgical instruments, correlation filtering finds the best candidate with maximal correlation peak. However, most trackers only consider capturing target appearance but not target structure. In this paper we propose surgical instrument tracking approach that integrates prior knowledge related to rotation of both shaft and tool tips. To this end, we employ rigid parts mixtures model of an instrument. The rigidly...
-
Two families of infinitely many homoclinics for singular strong force Hamiltonian systems
PublicationWe are concerned with a planar autonomous Hamiltonian system with a potential possessing a single well of infinite depth at a point X and a unique strict global maximum 0 at a point A. Under a strong force condition around the singularity X, via minimization of an action integral and using a shadowing chain lemma together with simple geometrical arguments, we prove the existence of infinitely many geometrically distinct homoclinic...
-
Udział gmin w rozwoju przedsiębiorczości
PublicationW artykule podjęto próbę scharakteryzowania oraz usestematyzowania najistotniejszych zagadnień i argumentów pojawiaj acych ssssie w dyskusji wokół modelu wssspierania rozwoju przedsiębiorczości w Polsce
-
Caratheodory solutions to hyperbolic functional differential systems with state dependent delays
PublicationMetodą bicharakterystyk i metodą nierówności całkowych dowodzi się istnienia uogólnionych rozwiązań układów równań różniczkowo-funkcyjnych cząstkowych z odchylonym argumentem zależnym od funkcji niewiadomej.
-
Insightful Analysis of Phenomena Arising at the Metal|Polymer Interphase of Au-Ti Based Non-Enzymatic Glucose Sensitive Electrodes Covered by Nafion
PublicationThis paper focuses on the examination of glucose oxidation processes at an electrode material composed of gold nanoparticles embedded in a titanium template. Three dierent conditions were investigated: the chloride content in the electrolyte, its ionic conductivity and the presence of a Nafion coating. The impact of the provided environment on the oxidation reaction was evaluated by cyclic voltammetry (CV) and electrochemical impedance...
-
Proces zmiany sprzedawcy energii elektrycznej w Polsce dla odbiorcy w gospodarstwie domowym
PublicationW publikacji przedstawiono proces zmiany sprzedawcy energii elektrycznej dla odbiorcy w gospodarstwie domowym, prowadzony w detalicznym segmencie rynku energii. Szczególny nacisk położono na proces bazujący na generalnej umowie dystrybucji dla usługi kompleksowej. Odniesiono się do wszystkich, istotnych regulacji mających zastosowanie do poruszanych kwestii, ze szczególnym uwzględnieniem zapisów instrukcji ruchu i eksploatacji...
-
Agent System for Managing Distributed Mobile Interactive Documents in Knowledge-Based Organizations
PublicationThe MIND architecture of distributed mobile interactive document is a new processing model defined to facilitate obtaining a proper solution in knowledge processes carried out by knowledge-based organizations. Such organizations have an established structure that defines document templates and knowledge process. The aim of the MIND architecture is to change the static document to mobile agents, which are designed to implement the...
-
Almost homoclinic solutions for a certain class of mixed type functional differential equations
PublicationW pracy opisano pewną metodę aproksymacyjną szukania rozwiązań prawie homoklinicznych dla równań różniczkowo funkcyjnych z opóźnionym i przyśpieszonym argumentem. Podano również przykłady zastosowań tej metody.
-
Analiza i badanie wpływu wybranych wyższych harmonicznych na działanie wyłączników różnicowoprądowych typu AC i A
PublicationPrądy przy zwarciach doziemnych w obwodach z pośrednimi przemiennikami częstotliwości lub innymi przekształtnikami mogą być silnie odkształcone. Wyższe harmoniczne w prądzie różnicowym znacząco wpływają na działanie wyłączników różnicowoprądowych. W artykule przedstawiono analizę teoretyczną i wyniki badań wpływu wybranych wyższych harmonicznych prądu różnicowego na rzeczywisty prąd różnicowy zadziałania wyłączników różnicowoprądowych...
-
Magnetic-field-induced electric quadrupole moments for relativistic hydrogenlike atoms: Application of the Sturmian expansion of the generalized Dirac-Coulomb Green function
PublicationWe consider a Dirac one-electron atom placed in a weak, static, uniform magnetic field. We show that, to the first order in the strength of the external field, the only electric multipole moments, which are induced by the perturbation in the atom, are those of an even order. Using the Sturmian expansion of the generalized Dirac-Coulomb Green function we derive a closed-form expression for the electric quadrupole moment induced...
-
Global Complex Roots and Poles Finding Algorithm Based on Phase Analysis for Propagation and Radiation Problems
PublicationA flexible and effective algorithm for complex roots and poles finding is presented. A wide class of analytic functions can be analyzed, and any arbitrarily shaped search region can be considered. The method is very simple and intuitive. It is based on sampling a function at the nodes of a regular mesh, and on the analysis of the function phase. As a result, a set of candidate regions is created and then the roots/poles are verified...
-
Numerical Test for Stability Evaluation of Discrete-Time Systems
PublicationIn this paper, a new numerical test for stability evaluation of discrete-time systems is presented. It is based on modern root-finding techniques at the complex plane employing the Delaunay triangulation and Cauchy's Argument Principle. The method evaluates if a system is stable and returns possible values and multiplicities of unstable zeros of the characteristic equation. For state-space discrete-time models, the developed test...
-
Błędy wyznaczania charakterystyk częstotliwościowych impedancji uzwojeń magnesów nadprzewodzących
PublicationW artykule przedstawiono zagadnienia związane z opracowaniem systemu do wyznaczania impedancji uzwojeń magnesów nadprzewodzących w funkcji częstotliwości. Omówiono strukturę sprzętową systemu i oprogramowanie, a także dokonano podstawowej analizy metrologicznej określając na podstawie badań symulacyjnych błędy wyznaczania modułu i argumentu poszukiwanej impedancji. Pokazano również przykładowe wyniki uzyskane przy użyciu omawianego...
-
Advanced differential equations with nonlinear boundary conditions.
PublicationBadano problemy istnienia rozwiązań dla równań różniczkowych z nielinowymi warunkami brzegowymi. Podano też warunki dostateczne na istnienie rozwiązań ekstremalnych. Przedmiotem badań były również nierówności różniczkowe z wyprzedzonym argumentem.
-
The influence of compensate coils on own ship magnetic field
PublicationA ferromagnetic object placed in the earth magnetic field causes a local disturbance in this field distribution. The field distribution disturbance is a function of many arguments like the dimensoins and shape of the object, its ferromagnetic properties ande its positon in relation to the earth magnetic field. in order to minimize the influence of this disturbance one places compensate coils on the ship. Some chosen results of...
-
Second-order Stark effect and polarizability of a relativistic two-dimensional hydrogenlike atom in the ground state
PublicationThe second-order Stark effect for a planar Dirac one-electron atom in the ground state is analyzed within the framework of the Rayleigh-Schrödinger perturbation theory, with the use of the Sturmian series expansion of the generalized Dirac-Coulomb Green's function. A closed-form analytical expression for the static dipole polarizability of that system is found. The formula involves the generalized hypergeometric function ${}_{3}F_{2}$...
-
An Approach to Trust Case Development
PublicationIn the paper we present an approach to the architectural trust case development for DRIVE, the IT infrastructure supporting the processes of drugs distribution and application. The objectives of DRIVE included safer and cheaper drugs distribution and application. A trust case represents an argument supporting the trustworthiness of the system. It is decomposed into claims that postulate some trust related properties. Claims differ...
-
Multimodal Genetic Algorithm with Phase Analysis to Solve Complex Equations of Electromagnetic Analysis
PublicationIn this contribution, a new genetic-algorithm-based method of finding roots and poles of a complex function of a complex variable is presented. The algorithm employs the phase analysis of the function to explore the complex plane with the use of the genetic algorithm. Hence, the candidate regions of root and pole occurrences are selected and verified with the use of discrete Cauchy's argument principle. The algorithm is evaluated...
-
The influence of parameters of input probe on the error of high impedance measurement
PublicationW artykule przedstawiono sondę do pomiaru wysokich impedancji w zakresie 1kohm<|Zx|<100Gohm przeznaczoną do dołączenia do analizatorów typu gain-phase. Przeanalizowano wpływ parametrów sondy (pojemności pasożytnicze, toleranca rezystorów określających wzmocnienie wzmacniacza) na dokładność wyznaczenia modułu i argumentu zespolonego stosunku sygnałów wydzielonych w sondzie. Zamieszczono wyniki symulacji i pomiarów, pozwalające na...
-
Improvement of Task Management with Process Models in Small and Medium Software Companies
PublicationSmall and medium software companies exhibit many special features that give reason for a dedicated approach to process improvement. They often cannot afford implementing maturity models or quality standards both in terms of time and money. Instead, they expect simpler solutions that can allow to run projects in more systematic and repeatable way, increase quality and knowledge management. In this paper, we present a method focused...
-
Fusion of DNA-binding domain of Pyrococcus furiosus ligase with TaqStoffel DNA polymerase as a useful tool in PCR with difficult targets
PublicationThe DNA coding sequence of TaqStoffel polymer- ase was fused with the DNA-binding domain of Pyrococcus furiosus ligase. The resulting novel recombinant gene was cloned and expressed in E. coli. The recombinant enzyme was purified and its enzymatic features were studied. The fusion protein (PfuDBDlig-TaqS) was found to have enhanced processivity as a result of the conversion of the Taq DNA polymerase from a relatively low processive...
-
On delay differential equations with almost periodic boundary conditions started from different points
PublicationDyskutowany jest problem istnienia ekstremalnych rozwiązań dla równań różniczkowych typu opóźnionego przy odpowiednich warunkach brzegowych. Sformułowano odpowiednie twierdzenia porównawcze. W pracy zawarte są również wyniki dotyczące takich równań przy większej ilości argumentów opóźnionych.
-
Zastosowanie sondy wejściowej w komputerowym systemie pomiarowymdo spektroskopii wysokoimpedancyjnej.
PublicationW pracy przedstawiono komputerowy system pomiarowy do spektroskopii wysokoimpedancyjnej, w którym zastosowano sondę wejściową umożliwiającą pomiary impedancji do |Zx|<100Gohm w szerokim zakresie częstotliwości od 10uHz do 100kHz. Przeanalizowano wpływ głównych źródeł niepewności na dokładność wyznaczenia modułu i argumentu zespolonego stosunku sygnałów wydzielanych w sondzie. Podano wyniki symulacji komputerowych, które pozwoliły...
-
Conditions for Multiple Acquisition of Echoes from Stationary Targets in Successive Transmissions of Active Sonars
PublicationIn echolocation, the highest possible number of contacts with a detected target is clearly decisive on the possibilities of echo processing to optimise the estimation of distinctive characteristics of the observed target. In hydrolocation, the slow propagation of acoustic waves in water reduces the number of contacts of echosounders and sonars with detected targets. The article considers model conditions for acquiring multiple...
-
Magnetizability of the relativistic hydrogenlike atom in an arbitrary discrete energy eigenstate: Application of the Sturmian expansion of the generalized Dirac-Coulomb Green function
PublicationThe Sturmian expansion of the generalized Dirac--Coulomb Green function [R.\/~Szmytkowski, J.\ Phys.\ B 30 (1997) 825; erratum 30 (1997) 2747] is exploited to derive a closed-form expression for the magnetizability of an arbitrary discrete state of the relativistic one-electron atom with a point-like, spinless and motionless nucleus of charge $Ze$. The result has the form of a double finite sum involving the generalized hypergeometric...
-
Generic invariant measures for iterated systems of interval homeomorphisms
PublicationIt is well known that iterated function systems generated by orientation preserving homeomorphisms of the unit interval with positive Lyapunov exponents at its ends admit a unique invariant measure on (0, 1) provided their action is minimal. With the additional requirement of continuous differentiability of maps on a fixed neighbourhood of {0,1} { 0 , 1 } , we present a metric in the space of such systems which renders it complete....
-
Simulating Malware with MAlSim
PublicationThis paper describes MAlSim - Mobile Agent Malware Simulator - a mobile agent framework developed to address one of the most important problems related to the simulation of attacks against information systems i.e. the lack of adequate tools for reproducing behaviour of malicious software (malware). The framework can be deployed over the network of an arbitrary information system and it aims at simulating behaviour of each instance...
-
Simulating malware with MAlSim
PublicationThis paper describes MAlSim - Mobile Agent Malware Simulator - a mobile agent framework developed to address one of the most important problems related to the simulation of attacks against information systems, i.e. the lack of adequate tools for reproducing behaviour of malicious software (malware). The framework can be deployed over the network of an arbitrary information system and it aims at simulating behaviour of each instance...
-
Pronouncement of embedded agency in the field of social entrepreneurship
PublicationThe paper provides insights into how social entrepreneurship and the institutional theory framework can be combined. The author situates the social entrepreneurship phenomenon here, and embarks on the traditional structure vs agency debate from social sciences, sociology of organizations in particular. The concept of embedded agency is referred to and employed to explain the phenomenon of social entrepreneurship. In this paper,...
-
Wpływ odkształcenia napięcia na dokładność pomiaru impedancji pętli zwarciowej metodami klasycznymi
PublicationPrzedstawiono zagadnienia pomiaru impedancji pętli zwarciowej przy odkształconej krzywej napięcia przy zastosowaniu metod klasycznych, opartych o pomiar wartości maksymalnych, skutecznych i średnich napięcia. Założono, iż w napięciu występują harmoniczne o numerach 3, 5, 7, 11, 13. Z przeprowadzonych badań wynika, że błędy pomiaru związane z odkształceniem w miejscu badania można zmniejszyć przez zwiększenie liczby stopni nastawy...
-
A Framework for Searching in Graphs in the Presence of Errors
PublicationWe consider a problem of searching for an unknown target vertex t in a (possibly edge-weighted) graph. Each vertex-query points to a vertex v and the response either admits that v is the target or provides any neighbor s of v that lies on a shortest path from v to t. This model has been introduced for trees by Onak and Parys [FOCS 2006] and for general graphs by Emamjomeh-Zadeh et al. [STOC 2016]. In the latter, the authors provide...
-
On Nonlinear Volterra Integral Equations With State Dependent Delays in Several Variables
PublicationW pracy badane jest istnienie i jednoznaczność rozwiązań nieliniowego równania całkowego typu Volterry z opóźnionym argumentem zależnym od funkcji niewiadomej wielu zmiennych. Poszukiwane są ciągłe rozwiązania lipschitzowskie. Rozwiązania są poszukiwane metodą porównawczą z zastosowaniem twierdzenia Banacha o punkcie stałym.
-
Quasilinearization methods for nonlinear parabolic equations with functional dependence
PublicationRozważamy problem Cauchy`ego dla nieliniowych równań parabolicznych z zależnością funkcyjną. Dowodzimy twierdzeń o szybkiej zbieżności ciągów kolejnych przybliżeń określonych w metodzie quasilinearyzacji w dwóch przypadkach: (i) argumentem funkcyjnym jest funkcja niewiadoma, (ii) zależność funkcyjna dotyczy również pochodnej funkcji niewiadomej.
-
Myths and facts about women aged 50+
PublicationThis study attempts to confront the three stereotypes attributed to women aged 50+ in Poland: the one related to women being interested in retiring as early as possible, the other related to the lack of educational activity and reluctance to acquire new knowledge and skills, and the third related to the image of a grandmother focused on looking after her grandchildren. The author’s aim is to present rational arguments in favour...
-
FPGA realization of an improved alpha max plus beta min algorithm
PublicationThe generalized improved version of the alpha max plus beta min square-rooting algorithm and its realization in the Field Programmable Gate Array (FPGA) are presented. The algorithm computes the square root to calculate the approximate magnitude of a complex sample. It is especially useful for pipelined calculations in the DSP. In case of four approximation regions it is possible to reduce the peak error form 3.95% to 0.33%. This...
-
On the Limiting Distribution of Lempel-Ziv’78 Redundancy for Memoryless Sources
PublicationWe study the Lempel-Ziv'78 algorithm and show that its (normalized) redundancy rate tends to a Gaussian distribution for memoryless sources. We accomplish it by extending findings from our 1995 paper, in particular, by presenting a new simplified proof of the central limit theorem (CLT) for the number of phrases in the LZ'78 algorithm. We first analyze the asymptotic behavior of the total path length in the associated digital search...
-
Recycling of raw materials, silicon wafers and complete solar cells from photovoltaic modules
PublicationPhotovoltaic modules (PVs) are an attractive way of generating electricity in reliable and maintenance-free systems with the use of solar energy. The average lifetime of photovoltaic modules is 25 to 30 years. To offset the negative impact of photovoltaic modules on the environment, it is necessary to introduce a long-term strategy that includes a complete lifecycle of all system components from the production phase through installation...
-
Information transfer during the universal gravitational decoherence
PublicationRecently Pikovski et al. (Nat Phys 11:668, 2015) have proposed in an intriguing universal decoherence mechanism, suggesting that gravitation may play a conceptually important role in the quantum-to-classical transition, albeit vanishingly small in everyday situations. Here we analyze information transfer induced by this mechanism. We show that generically on short time-scales, gravitational decoherence leads to a redundant information...
-
A Parallel Corpus-Based Approach to the Crime Event Extraction for Low-Resource Languages
PublicationThese days, a lot of crime-related events take place all over the world. Most of them are reported in news portals and social media. Crime-related event extraction from the published texts can allow monitoring, analysis, and comparison of police or criminal activities in different countries or regions. Existing approaches to event extraction mainly suggest processing texts in English, French, Chinese, and some other resource-rich...
-
Can architecture be 11-dimensional? The nature of space in the architecture of the digital world era
PublicationThis research aims to explore the development of architectural theories about ‘architectural dimensions’ and look at architecture as a multidimensional space. It is important to understand that with today's development of virtual reality technology and through the combination of theories of physics and architecture, a new possibility of creating space has emerged. The arguments are made through inductive reasoning and grounded...
-
First-order functional difference equations with nonlinear boundary value problems
PublicationDyskutowano problem brzegowy dla równań różnicowych z opóźnionym argumentem. Nierówności różnicowe związane z w/w problem też były przedmiotem badań. Stosując metodę iteracji monotonicznych, sformułowano warunki dostateczne na istnienie ekstremalnych rozwiązań problemów brzegowych z opóźnionymi argumentami. Podano dwa przykłady ilustrujące otrzymane wyniki.
-
A simplified behavioral MOSFET model based on parameters extraction for circuit simulations.
PublicationThe paper presents results on behavior modeling of general purpose Metal-Oxide Semiconductor Field-Effect Transistor (MOSFET) for simulation of power electronics systems requiring accuracy both in steady-state and in switching conditions. Methods of parameters extraction including nonlinearity of parasitic capacitances and steady-state characteristics are based on manufacturer data sheet and externally measurable characteristics....
-
Georg Simmel’s The Philosophy of Money and the Modernization Paradigm
PublicationThis article examines Georg Simmel’s contribution to the understanding of how money functions in modern society, mainly scrutinizing his most important work on that topic, The Philosophy of Money, in the context of modernization theories. Modernization theories, as developed (most notably) by Marx, Weber, Durkheim, and Elias, attempted to explain the transition from feudalism and a closed agrarian economy to capitalism and industrial...
-
Standards Conformity Framework in comparison with contemporary methods supporting standards application
PublicationAchieving and assessing conformity with standards and compliance with various sets of requirements generates significant costs for contemporary economies. Great deal of this is spent on fulfilment of safety and security requirements. However, standards application is not supported sufficiently by the tools available on the market. Therefore, Standards Conformity Framework (SCF) containing methods and tools which provide support...
-
The shadowing chain lemma for singular Hamiltonian systems involving strong forces
PublicationW niniejszym artykule rozważamy autonomiczny układ Hamiltonowski na płaszczyźnie z potencjałem, który ma punkt osobliwy (studnię nieskończonej głębokości) i maksimum globalne właściwe równe zero przyjmowane w dwóch różnych punktach płaszczyzny. Przy założeniu, że w otoczeniu punktu osobliwego potencjał spełnia warunek Gordona(gradient tego potencjału w otoczeniu punktu osobliwego jest tzw. silną siłą, ang. a strong force) dowodzimy...
-
Trust case - a case for trustworthiness of IT infrastructures
PublicationArtykuł prezentuje podejście do budowy argumentów (trust case) uzasadniających zaufanie do systemów i infrastruktur IT. Wprowadza system pojęć związanych ze strukturą i treścią trust case, identyfikuje udziałowców trust case oraz dyskutuje możliwość wsparcia narzędziowego procesu zarządzanie trust case. Omawia równiez krótko dotychczasowe zastosowania tego podejścia.
-
Smart Email - Almost an Agent Platform
PublicationNetwork organizations suffer today of information overload and strain that rise their operational costs. One of the reasons of that is the dominance of email messaging as the princi-pal means of document exchange between their workers. Proac-tive documents can rationalize these costs and augment email systems with a process view based on collaboration patterns.