Search
Filters
total: 279
filtered: 256
Search results for: WYPRZEDZONY ARGUMENT
-
SCF - a Framework Supporting Achieving and Assessing Conformity with Standards
PublicationStandards Conformity Framework (SCF) presented in this paper encompasses methods and tools whichprovide support for application of standards and other normative documents. The approach taken focuses ondevelopment, assessment and maintenance of an electronic document which demonstrates conformity. Sucha document contains an argument structure developed in accordance with the Trust-IT methodology. Thepaper discusses details of the...
-
A Loophole of All ‘Loophole-Free’ Bell-Type Theorems
PublicationBell’s theorem cannot be proved if complementary measurements have to be represented by random variables which cannot be added or multiplied. One such case occurs if their domains are not identical. The case more directly related to the Einstein–Rosen–Podolsky argument occurs if there exists an ‘element of reality’ but nevertheless addition of complementary results is impossible because they are represented by elements from different...
-
Nauki o jakości - ich miejsce i znaczenie w klasyfikacji dziedzin i dyscyplin naukowych oraz praktyce gospodarczej
PublicationW artykule przedstawiono ważne w kontekście trwającej obecnie dyskusji dotyczącej nowego wykazu dziedzin i dyscyplin naukowych, akcentowane w środowisku polskich badaczy zajmujących się problematyką jakości, argumenty i uwarunkowania uzasadniające potrzebę wyodrębnienia nauk o jakości.
-
L'Italie. Gagner à tout prix. L'industrie de l'armenent italien pendant la Grande Guerre
PublicationThe chapter outlines the economic and technological transformations of the Italian armament industry during the First World War
-
Standard Compliance Framework for effective requirements communication
PublicationStandard Compliance Framework (SCF) is a framework, which supports application of standards at the stages of achieving, assessing and maintaining the compliance. It uses Trust Case language to develop argument structures demonstrating compliance with standards. The paper presents how SCF is applied to increase effectiveness of requirements communication. Relevant mechanisms of the framework are thoroughly described referring to...
-
Road safety analysis in Poland using time-series modelling techniques
PublicationA number of international studies argue that there is a correlation between the number of traffic fatalities and the degree of public activity. The studies use the unemployment rate to support that argument. As unemployment grows miles travelled fall, a factor known to affect road safety. This relationship seems to be true for Poland, as well. The model presented in the paper is intended to prove it. It is a structural time-series local...
-
Application of a hash function to discourage MAC-layer misbehaviour in wireless LANs.
PublicationProtokoły przypadkowego wielodostępu w warstwie MAC bezprzewodowych sieci lokalnych wykorzystują algorytm odkładania transmisji o losowo wybrany odcinek czasu. Odstępstwo od losowego wyboru czasu odłożenia może zapewnić stacji niesprawiedliwie duży udział w paśmie sieci. W pracy przedstawiono protokół dostępu przeciwdziałający tego rodzaju zachowaniom, oparty na zastosowaniu funkcji mieszającej. Jako argument funkcji przyjmuje...
-
Is database a necessary tool in research? Some historical facts
PublicationAutorzy rozważają argumenty za i przeciw używaniu baz danych w badaniach naukowych, a w szczególności w inżynierii. Wnioski z rozważań są jednoznaczne - bazy danych są dziś koniecznością, autorzy podają przykłady zastosowań i pomysły na nowe wdrożenia systemów bazodanowych
-
Initial value problems for neutral fractional differential equations involving a Riemann-Liouville derivative
PublicationBadano równania neutralne typu ułamkowego z odchylonym argumentem. Podano warunki dostateczne na istnienie jednego rozwiązania.
-
Positive solutions to advanced fractional differential equations with nonlocal boundary conditions
PublicationWe study the existence of positive solutions for a class of higher order fractional differential equations with advanced arguments and boundary value problems involving Stieltjes integral conditions. The fixed point theorem due to Avery-Peterson is used to obtain sufficient conditions for the existence of multiple positive solutions. Certain of our results improve on recent work in the literature.
-
Assessment of risks introduced to safety critical software by agile practices - a software engineer's perspective
PublicationIn this article we investigate the problem of applying agile practices into safety-critical projects.The goal of our research is to investigate potential benefits from introducing agile practicesinto safety-critical environment and to present a solution providing for balancing agileapproach with more disciplined assurance techniques, bringing the best of the two worlds together.In the article we present the supporting ideas such...
-
Validation of Services Supporting Healthcare Standards Conformance
PublicationThe paper presents the results of experimental validation of a set of innovative software services supporting processes of achieving, assessing and maintaining conformance with standards and regulations. The study involved several hospitals implementing the Accreditation Standard promoted by the Polish Ministry of Health. First we introduce NOR-STA services that implement the TRUST-IT methodology of argument management. Then we...
-
Implicit difference functional inequalities and applications
PublicationKlasyczne rozwiązania problemów początkowych przybliżane są rozwiązaniami uwikłanych metod różnicowych. Wykazana została zbieżność i stabilność uwikłanych schematów. Przy założeniu, że funkcje dane spełniają nieliniowe oszacowanie typu Perrona względem argumentu funkcyjnego, udowodniono stabilność metody uwikłanej, wykorzystując twierdzenie porównawcze dla funkcji spełniających uwikłane nierówności różnicowe typu Volterry.
-
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
-
ZAGOSPODAROWANIE CIEPŁA ODPADOWEGO I WPŁYW TEJ OPERACJI NA EFEKTYWNOŚCI ENERGETYCZNĄ UKŁADÓW CHŁODNICZYCH
PublicationW artykule zaprezentowano podstawowe metody odzysku ciepła ze sprężarkowych układów chłodniczych. Pokazano tu możliwości jakie daje taki odzysk w kontekście ograniczenia zapotrzebowania gospodarki kraju na energię pierwotną jak również w kontekście ograniczenia negatywnego wpływu człowieka na środowisko naturalne. Autorzy zwracają uwagę, ze odzysk ciepła z układów chłodniczych powinien być poprzedzony wnikliwą analizą konstrukcji,...
-
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.
-
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.
-
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...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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...
-
Kierunki rozwoju technologii oczyszczania ścieków pod kątem spełnienia zaostrzonych wymagań w zakresie usuwania azotu
PublicationPriorytetowym zadaniem w dziedzinie ochrony wód powierzchniowych przed zanieczyszczeniem powodowanym przez ścieki komunalne z dużych i średnich aglomeracji miejskich jest zapewnienie ich pełnego biologicznego oczyszczania z podwyższoną efektywnością usuwania związków biogennych. W ujęciu klasycznym spełnienie obecnych obowiązujących warunków w zakresie usuwania azotu jest możliwe w przypadku osiągnięcia wysokiej efektywności procesu...
-
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....
-
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...
-
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,...
-
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...
-
Supporting compliance with safety standards by trust case templates
PublicationStandard Compliance (SC) Framework presented in this paper encompasses methods and tools which provide support for application of standards. The framework is based on trust case methodology. A trust case is a data structure which represents a justification that an object (a system, an infrastructure, an organization) exhibits certain properties. It contains an argument and related evidence which support claimed properties. A trust...
-
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...