Wyniki wyszukiwania dla: WYPRZEDZONY%20ARGUMENT
-
Extending GQM by argument structures
PublikacjaEffective metrics definition methods are of particular importance, as measurement mechanisms are indispensable in virtually any engineering discipline. The paper describes how the well known Goal-Question-Metric (GQM) method of systematic metrics derivation from measurement goals can be extended by applying argument structures. The proposed approach is called Goal-Argument-Metric (GAM). We briefly introduce general ideas of GQM...
-
Extending GQM by Argument Structures
PublikacjaEffective methods for metrics definition are of particular importance, as measurement mechanisms are indispensable in virtually any engineering discipline. The paper describes how the well known Goal-Question-Metric (GQM) method of systematic metrics derivation from measurement goals can be extended by applying argument structures. The proposed approach is called Goal-Argument-Metric (GAM). The general ideas of GQM and GAM are...
-
Support for argument structures review and assessment
PublikacjaArgument structures are commonly used to develop and present cases for safety, security and for other properties of systems. Such structures tend to grow excessively, which causes problems with their review and assessment. Two issues are of particular interest: (1) systematic and explicit assessment of the compelling power of an argument, and (2) communication of the result of such an assessment to relevant recipients. The paper...
-
Argument strategies and patterns of the Trust-IT framework
PublikacjaArtykuł dotyczy metodologicznego i narzędziowego środowiska Trust-IT wspierającego budowę dowodów zaufania (ang. trust case), a w szczególności strategii tworzenia dowodu zaufania. Strategia uzależniona jest od właściwości systemu (lub innego rozważanego obiektu), która podlega analizie w ramach dowodu zaufania. W artykule zaprezentowano dwie strategie: oparta na ryzyku i oparta na standardach oraz omówiono kilka często stosowanych...
-
Das Argument
Czasopisma -
Argument & Computation
Czasopisma -
Using argument structures to create a measurement plan
PublikacjaWhile planning an experiment the same question always arises: What are the goals of the experiment and which measurements are needed to demonstrate that the goals have been achieved? Deciding about the extent of raw data to be collected, the metrics to be constructed on those data and the interpretation of the metrics with respect to the assumed goals is by no means a trivial task. In this paper we show how a well known Gal-Question-Metrics...
-
Supporting Assurance by Evidence-based Argument Services
PublikacjaStructured arguments based on evidence are used in many domains, including systems engineering, quality assurance and standards conformance. Development, maintenance and assessment of such arguments is addressed by TRUST-IT methodology outlined in this paper. The effective usage of TRUST-IT requires an adequate tool support. We present a platform of software services, called NOR-STA, available in the Internet, supporting key activities...
-
Boundary problems for differential equations with advanced arguments
PublikacjaDyskutowane są zagadnienia brzegowe dla równań różniczkowych z wyprzedzonymi argumentami. Przedstawione są warunki dostateczne istnienia quasirozwiązań i rozwiązań rozważanych zagadnień.
-
ARGUMENT: Biannual Philosophical Journal
Czasopisma -
Existence of solutions of boundary value problems for differential equations in which deviated arguments depend on the unknown solution
PublikacjaPrzy pewnych warunkach, gdy m.in. funkcja f występująca po prawej stronie zagadnienia jest monotoniczna, pokazano że istnieje jedyne rozwiązanie problemu brzegowego dla równań różniczkowych z odchylonymi argumentami gdy ten argument odchylony zależy od nieznanego rozwiązania. Rozważano też zagadnienia gdy występuje więcej takich argumentów odchylonych. Otrzymane wyniki poparto przykładem.
-
Advanced differential equations with nonlinear boundary conditions.
PublikacjaBadano 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.
-
Boundary value problems for dynamic equations with advanced arguments on time scales
PublikacjaPraca dotyczy równań i nierówności dynamicznych z wyprzedzonym argumentami. Przedmiotem badań były problemy istnienia rozwiązań równań dynamicznych. Sformułowano warunki dostatczne na istnienie jedynego rozwiązania w odpowiednim obszarze ograniczonym przez górne i dolne rozwiązanie.
-
Existence of positive solutions to third order differential equations with advanced arguments and nonlocal boundary conditions
PublikacjaPraca dotyczy warunków dostatecznych na istnienie dodatnich rozwiązań dla równań różniczkowych z wyprzedzonymi argumentami i warunkami brzegowymi zawierającymi całki Stieltjesa.
-
Ordinary differential equations with deviated arguments
PublikacjaPraca dotyczy istnienia i przybliżonych rozwiązań dla problemów brzegowych z opóźnionymi oraz wyprzedzonymi argumentami. Dyskutowano też pewne nierówności różniczkowe powyższego typu.
-
Profile of the growing sme's in pomerania region
PublikacjaRozdział opisuje profil firmy wzrostowej na Pomorzu. Opis został poprzedzony analizą teorii wzrostowych małych przedsiębiorstw. Materiał badawczy ujęty w rozdziale pochodzi z badań przeprowadzonych w ramach Pomorskiego Obserwatorium Gospodarczego.
-
Positive solutions for three-point one-dimensional p-Laplacian boundary value problems with advanced arguments [online]
PublikacjaPraca dotyczy problemów istnienia dodatnich rozwiązań dla trzy-punktowych zagadnień brzegowych z wyprzedzonymi argumentami. Zastosowano twierdzenie Avery-Petersona o punkcie stałym aby uzyskać warunki dostateczne na istnienie conajmniej trzech dodatnich rozwiązań.
-
Integrating Confidence And Assurance Arguments
PublikacjaTo be considered compelling an assurance case should address its potential deficits, possibly with the use of a confidence argument. Assurance argument and confidence argument should be clearly separated and consistent at the same time. We propose a way of their integration with the use of an element representing rationale for each argumentation strategy. The rationale integrates confidence argument for a given argumentation step...
-
First-order advanced difference equations
PublikacjaBadano istnienie rozwiązań równań różnicowych rzędu pierwszego z wyprzedzonymi argumentami. Podano warunki na istnienie jedynego rozwiązania. Przedmiotem badań były też nierówności różnicowe związane z w/w równaniami różnicowymi. Otrzymane wyniki zilustrowano na przykładzie.
-
Nonnegative solutions to nonlocal boundary value problems for systems of second-order differential equations dependent on the first-order derivatives
PublikacjaStosując tw. Avery-Petersona o punkcie stałym, podano warunki dostateczne na istnienie nieujemnych rozwiązań dla układów równań różniczkowych rzędu drugiego z argumentami opóźnionymi i wyprzedzonymi oraz warunkami brzegowymi zawierającymi całki Stieltjesa. Praca zawiera wiele przykładów.
-
First-order impulsive ordinary differential equations with advanced arguments
PublikacjaPraca dotyczy problemów istnienia rozwiązań dla równań różniczkowych z impulsami i nieliniowymi warunkami brzegowymi. Są to równania z argumentami wyprzedzonymi. Podano warunki dostateczne na istnienie rozwiązań. W pracy są również dyskutowane nierówności różniczkowe z impulsami. Podano też przykłady ilustrujące otrzymane wyniki.
-
Existence of positive solutions to second order four-point impulsive differential problems with deviating arguments [online]
PublikacjaW pracy dyskutowane są problemy brzegowe dla równań różniczkowych rzędu drugiego z impulsami i z odchylonymi argumentami. Badano przypadki dla argumentów opóźnionych i wyprzedzonych. Podano warunki które gwarantują, że omawiane problemy mają rozwiązania dodatnie. Zastosowano odpowiednie twierdzenie o punkcie stałym.
-
Representing and appraising Toulmin model arguments in trust cases
PublikacjaThe paper presents a Toulmin-based argument model used in trust cases, which allows to argue various properties of IT systems. Argument patterns encountered in trust cases are discussed together with some real-life examples. A method of argument appraisal is introduced together with the corresponding aggregation mechanism. Practical applications of trust cases in industrial and research projects are outlined.
-
Boundary value problems with advanced arguments involving upper and lower solutions in reverse order
PublikacjaPraca dotyczy problemów brzegowych dla równań różniczkowo-całkowych pierwszego rzędu z argumentami wyprzedzonymi. Podano wystarczające warunki, dla których problemy dotyczące takich równań mają rozwiązania minimalne i maksymalne w odpowiadającym obszarze ograniczonym przez rozwiązania górne i dolne. W celu uzyskania wyników zastosowano nową metodę opartą na twierdzeniu Heikkila-Lakshmikantham'a. Wyniki zilustrowano na przykładzie.
-
Efekt dopplera w systemach hydrolokacyjnych
PublikacjaReferat zawiera przegląd problematyki zjawiska Dopplera w systemach hydrolokacyjnych. Przegląd poprzedzony jest omówieniem efektu Dopplera w kategorii kompresji czasu. Następnie przedstawiono metody wykorzystania zjawiska Dopplera do pomiaru prędkości ruchu i położeniaobserwowanych obiektów oraz wykorzystanie tego zjawiska w sonarach z syntetyczną aperturą. W drugiej części referatu omówiono negatywne skutki zjawiska Dopplera i...
-
Representing Process Characteristics to Increase Confidence in Assurance Case Arguments
PublikacjaAn assurance case is a structured, evidence-based argument demonstrating that a safety or other quality objective of a high integrity system is assured. Assurance cases are required or recommended in many industry domains as a means to convince the regulatory bodies to allow commissioning of such system. To be convincing, an argument should address all potential doubts and thus cover numerous additional issues, including the processes...
-
Expert assessment of arguments: a method and its experimental evaluation
PublikacjaArgument structures are commonly used to develop and present cases for safety, security and other properties. Such argument structures tend to grow excessively. To deal with this problem, appropriate methods of their assessment are required. Two objectives are of particular interest: (1) systematic and explicit assessment of the compelling power of an argument, and (2) communication of the result of such an assessment to relevant...
-
Supporting Cybersecurity Compliance Assessment of Industrial Automation and Control System Components
PublikacjaThe chapter presents a case study demonstrating how security requirements of an Industrial Automation and Control System (IACS) component can be represented in a form of Protection Profile that is based on IEC 62443 standards and how compliance assessment of such component can be supported by explicitly representing a conformity argument in a form based on the OMG SACM meta-model. It is also demonstrated how an advanced argument...
-
Major ions and their relationship in rime and hoarfrost samples from highly urbanized regions
PublikacjaW ramach zaplanowanego programu badawczego przeprowadzono analizę próbek szronu i sadzi zebranych w wybranych punktach pomiarowych (Gdańsk i Działdowo) podczas zimy 2003/2004. Stężenie składników nieorganicznych w próbkach szronu jest średnio dwukrotnie wyższe niż w próbkach sadzi zebranych z tego samego terenu. Wyższe poziomy stężeń oznaczanych zanieczyszczeń w próbek szronu mogą wynikać z faktu, iż proces powstawania sadzi najczęściej...
-
Multiple Solutions to Third-Order Differential Equations with Derivative Dependence and Deviating Arguments
PublikacjaIn this paper, we give some new results for multiplicity of positive (nonnegative) solutions for third-order differential equations with derivative dependence, deviating arguments and Stieltjes integral boundary conditions. We discuss our problem with advanced argument α and arbitrary β ∈ C([0,1],[0,1]), see problem (2). It means that argument β can change the character on [0,1], so β can be delayed in some set J ⊂ [0,1] and advanced...
-
A la recherche d’une coherence perdue – Possible Arguments for the Non-application of EU Law in Member States
PublikacjaThe European Union (EU) is an international organization which has a broad scope of competences that have been transferred to it by its Member States in the founding Treaties. The object of the article is to identify arguments raised, or that potentially might be raised, by national Constitutional Courts (and in the future possibly by other actors as well) to exclude in certain instances the application of EU law or EU jurisprudence...
-
Positive solutions to fractional differential equations involving Stieltjes integral conditions
PublikacjaIn this paper, we investigate nonlocal boundary value problems for fractional differential equations with dependence on the first-order derivatives and deviating arguments. Sufficient conditions which guarantee the existence of at least three positive solutions are new and obtained by using the Avery–Peterson theorem. We discuss problems (1) and (2) when argument b can change the character on [0, 1], so in some subinterval I of...
-
Challenges in providing support for management of evidence-based arguments
PublikacjaThe paper considers selected challenges related to the application of evidence based arguments and maps them on the tool support level. In particular, we consider: communication and teamwork, handling large arguments, evidence management and integration, argument assessment and communication, change control and reporting, evidence reuse, user data security and argument portfolio management. Then we explain how these challenges...
-
Uniform Model Interface for Assurance Case Integration with System Models
PublikacjaAssurance cases are developed and maintained in parallel with corresponding system models and therefore need to reference each other. Managing the correctness and consistency of interrelated safety argument and system models is essential for system dependability and is a nontrivial task. The model interface presented in this paper enables a uniform process of establishing and managing assurance case references to various types...
-
ZAGOSPODAROWANIE CIEPŁA ODPADOWEGO I WPŁYW TEJ OPERACJI NA EFEKTYWNOŚCI ENERGETYCZNĄ UKŁADÓW CHŁODNICZYCH
PublikacjaW 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,...
-
Towards Safety Case Integration with Hazard Analysis for Medical Devices
PublikacjaSafety case is one of system safety lifecycle products and should be consistent with other lifecycle products like hazard analysis results. In this paper we present a method of safety case integration with hazard tables based on the use of parametrized argument patterns. We describe a hazard table metamodel, a safety argument pattern and a mechanism of pattern instantiation using a linking table which represents references to system...
-
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.
-
Application of the numerical-analytic method for systems of differential equations with parameter
PublikacjaThe numerical-analytic method is applied to systems of differential equations with parameter under the assumption that the corresponding functions satisfy the Lipschitz conditions in matrix notation. We also obtain several existence results for problems with deviations of an argument
-
Kierunki rozwoju technologii oczyszczania ścieków pod kątem spełnienia zaostrzonych wymagań w zakresie usuwania azotu
PublikacjaPriorytetowym 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...
-
Social Entrepreneurship Avenues for the Field Development through Research Paradigm Intersection Discussion
PublikacjaThe aim of this paper is to identify and provide key arguments for employing integrative approach in the choice of research paradigm for studying social entrepreneurship phenomenon. The fact that social entrepreneurship as a field of research is at its preliminary stage, serves as argument and gives freedom in the discussion of the choice of employing a research paradigm. The author does so through identifying commonalities and...
-
Positive solutions to second order four-point impulsive problems with deviating arguments
PublikacjaStosując tw. Leggetta-Williamsa, podano warunki dostateczne na istnienie dodatnich rozwiązań dla czteropunktowych problemów brzegowych dla równań różniczkowych rzędu drugiego z odchylonymi argumentami. Dyskutowane były problemy gdy argument odchylony był typu opóźnionego lub wyprzedzonego.
-
Assurance Case Patterns On-line Catalogue
PublikacjaAssurance case is an evidence-based argument demonstrating that a given property of a system (e.g. safety, security) is assured. Assurance cases are developed for high integrity systems, as in many industry domains such argu-ment is explicitly required by regulations. Despite the fact that each assurance case is unique, several reusable argument patterns have been identified and pub-lished. This paper reports work on development...
-
Homoclinic solutions for a class of autonomous second order Hamiltonian systems with a superquadratic potential
PublikacjaW niniejszej pracy udowodniliśmy istnienie nietrywialnego rozwiązania homoklinicznego dla autonomicznych układów Hamiltona drugiego rzędu z nadkwadratowym potencjałem. Orbitę homokliniczną otrzymaliśmy jako słabą granicę ciągu punktów prawie krytycznych, stosując zasadę minimaks do odpowiedniego funkcjonału akcji oraz prosty argument typu ''concentration-compactness''.
-
Functional delay fractional equations
PublikacjaIn this paper, we discuss functional delay fractional equations. A Banach fixed point theorem is applied to obtain the existence (uniqueness) theorem. We also discuss such problems when a delay argument has a form α(t) = αt, 0 < α < 1, by Rusing the method of successive approximations. Some existence results are also formulated in this case. An example illustrates the main result.
-
A Self-Adaptive Complex Root Tracing Algorithm for the Analysis of Propagation and Radiation Problem
PublikacjaAn improved complex root tracing algorithm for radiation and propagation issues is proposed. The approach is based on a self-adaptive discretization of Cauchy’s argument principle for a C × R space and requires a reduced number of function calls in comparison to other procedures presented in the literature. A few different examples concerning propagation and radiation problems have been considered to verify the validity and efficiency...
-
Efficient Complex Root Tracing Algorithm for Propagation and Radiation Problems
PublikacjaAn efficient complex root tracing algorithm for propagation and radiation problems is presented. The proposed approach is based on a discretization of Cauchy’s Argument Principle and its generalization to the C × R space. Moreover, an engagement of the tracing process with a global root finding algorithm recently presented in the literature is performed. In order to confirm a validity and efficiency of the proposed technique, a...
-
A New Approach to Stability Evaluation of Digital Filters
PublikacjaIn this paper, a new numerical method of evaluating digital filter stability is presented. This approach is based on novel root-finding algorithms at the complex plane using the Delaunay triangulation and Cauchy's Argument Principle. The presented algorithm locates unstable zeros of the characteristic equation with their multiplicities. The proposed method is generic and can be applied to a vast range of systems. Verification of...
-
An extension of the method of quasilinearization
PublikacjaMetodę kwazilinearyzacji zastosowano do problemów początkowych gdy prawą stronę zagadnienia można przedstawić za pomocą nieliniowej funkcji "rozszerzenia", zakładając o niej pewną regularność. Pokazano, że odpowiednio skonstruowane ciągi monotoniczne są zbieżne kwadratowo do rozwiązania problemu. Praca uogólnia odpowiednie wyniki, gdy prawa strona jest sumą funkcji wklęsłych i wypukłych ze względu na ostatni argument.
-
SCF - a Framework Supporting Achieving and Assessing Conformity with Standards
PublikacjaStandards 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
PublikacjaBell’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...