Search
Search results for: SAFETY ARGUMENTS
-
Expert assessment of arguments: a method and its experimental evaluation
PublicationArgument 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 Assurance by Evidence-based Argument Services
PublicationStructured 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...
-
Method of selecting programming practices for the safety-critical software development projects
PublicationIn recent years a plan-driven approach traditionally used in safety-critical software development has been put to a test by rapidly changing technologies, more diverse group of clients and volatile market requirements. The need to deliver good quality systems, faster and at lower cost in comparison to competitors encouraged companies to look for more efficient solutions. Agile methodologies are known to successfully address these...
-
Support for argument structures review and assessment
PublicationArgument 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...
-
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...
-
Automated Generation of Modular Assurance Cases with the System Assurance Reference Model
PublicationAssurance cases are structured arguments used to demonstrate specific system properties such as safety or security. They are used in many industrial sectors including automotive, aviation and medical devices. Assurance cases are usually divided into modules which address goals allocated to specific system properties, components, functions, modes of operation or environmental conditions. Depending on the system and assurance process...
-
Development of the System Assurance Reference Model for Generating Modular Assurance Cases
PublicationAssurance cases are structured arguments used to demonstrate specific system properties such as safety or security. They are used in many industrial sectors including automotive, aviation and medical devices. Larger assurance cases are usually divided into modules to manage the complexity and distribute the work. Each of the modules is developed to address specific goals allocated to the specific objects i.e. components of the...
-
Technical and Economic Analysis of the Implementation of Selected Variants of Road Investment
PublicationThe aim of the article is to analyze three variants of modernization and reconstruction of a road intersection, which in practice is the cause of numerous collisions and accidents. Detailed design solutions are presented for them. The aim of the analyses is to indicate an effective solution that, taking into account technical modifications of the road system elements, will ensure the functionality of the road system to the highest...
-
Representing Process Characteristics to Increase Confidence in Assurance Case Arguments
PublicationAn 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...
-
Challenges in providing support for management of evidence-based arguments
PublicationThe 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...
-
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.
-
Fractional problems with advanced arguments
PublicationThis paper concerns boundary fractional differential problems with advanced arguments. We investigate the existence of initial value problems when the initial point is given at the end point of an interval. Nonhomogeneous linear fractional differential equations are also studied. The existence of solutions for fractional differential equations with advanced arguments and with boundary value problems has been investigated by using...
-
On neutral differential equations and the monotone iterative method
PublicationThe application of the monotone iterative method to neutral differential equations with deviating arguments is considered in this paper. We formulate existence results giving sufficient conditions which guarantee that such problems have solutions. This approach is new and to the Authors' knowledge, this is the first paper when the monotone iterative method is applied to neutral first-order differential equations with deviating...
-
Positive solutions to second-order differential equations with dependence on the first-order derivative and nonlocal boundary conditions
PublicationIn this paper, we consider the existence of positive solutions for second-order differential equations with deviating arguments and nonlocal boundary conditions. By the fixed point theorem due to Avery and Peterson, we provide sufficient conditions under which such boundary value problems have at least three positive solutions. We discuss our problem both for delayed and advanced arguments α and also in the case when α(t)=t, t∈[0,1]....
-
Quasi-solutions for generalized second order differential equations with deviating arguments
PublicationThis paper deal with boundary value problems for generalized second order differential equations with deviating arguments. Existence of quasi-solutions and solutions are proved by monotone iterative method. Examples with numerical results are added.
-
Using Evidence-based Arguments to Support Dependability Assurance-Experiences and Challenges
PublicationThe article introduces to the problem of evidence-based arguments and their applications. Then, based on the experiences collected during commercial deployment of a concrete solution to this problem (system NOR-STA) we overview selected challenges and the ways of addressing them
-
Using Evidence-based Arguments to Support Dependability Assurance - Experiences and Challenges
PublicationThe presentation introduces to the problem of evidence-based arguments and their applications. Then, based on the experiences collected during development and commercial deployment of a concrete solution to this problem (system NOR-STA) we overview selected challenges and the ways of addressing them.
-
Successive Iterative Method for Higher-Order Fractional Differential Equations Involving Stieltjes Integral Boundary Conditions
PublicationIn this paper, the existence of positive solutions to fractional differential equations with delayed arguments and Stieltjes integral boundary conditions is discussed. The convergence of successive iterative method of solving such problems is investigated. This allows us to improve some recent works. Some numerical examples illustrate the results.
-
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.
-
A la recherche d’une coherence perdue – Possible Arguments for the Non-application of EU Law in Member States
PublicationThe 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...
-
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...
-
Monotone iterative method to second order differential equations with deviating arguments involving Stieltjes integral boundary conditions
PublicationWe use a monotone iterative method for second order differential equations with deviating arguments and boundary conditions involving Stieltjes integrals. We establish sufficient conditions which guarantee that such problems have extremal solutions in the corresponding region bounded by lower and upper solutions. We also discuss the situation when problems have coupled quasi-solutions. We illustrate our results by three examples.
-
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...
-
Multiple Solutions to Third-Order Differential Equations with Derivative Dependence and Deviating Arguments
PublicationIn 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...
-
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,...
-
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...
-
Positive solutions to fractional differential equations involving Stieltjes integral conditions
PublicationIn 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...
-
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...
-
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...
-
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...
-
Impact of interface heterogeneity on joint fracture
PublicationThe effects of heterogeneities (weak zones in particular) inadhesive joints and their importance on overall fracture propertiesare relatively unknown, but doubtlessly they may be crucial inmany applications. Using a model heterogeneous adhesive bond,represented by a given mixture of regions of strong and weakadhesion, we have studied the influence of interface variabilityon overall fracture energy (global energy release rate)....
-
Supporting Cybersecurity Compliance Assessment of Industrial Automation and Control System Components
PublicationThe 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...
-
Integrated spatial and energy planning – importance of a problem for contemporary architects and urban planners with focus on environmental factors
PublicationAlong with respecting basic sustainable development goals, planners will also be obliged to meet more stringent provisions related to energy efficiency in the coming years. In Poland, a crucial year will be 2021, when the EU directive on the energy efficiency of buildings comes into force. In this matter, not only the characteristics of individual objects are of great importance, but their whole complexes and the overall approach...
-
The Indication Methods and Techniques of Urban Light Pollution
PublicationThe goal of this study is to review and categorize approaches and methods of facing urban light pollution. Probing various references and documents, the current practice focus on extracting and reviewing different types of urban light pollution detection, survey, and measurement to define a taxonomy of methods by instant comparison. The means of measurement and detecting this pollution include 14 most cited techniques that have...
-
Improved magnitude estimation of complex numbers using alpha max and beta min algorithm
PublicationThe paper presents an improved algorithm for calculating the magnitude of complex numbers. This problem, which is a special case of square rooting, occurs for example, in FFT processors and complex FIR filters. The proposed method of magnitude calculation makes use of the modified alpha max and beta min algorithm. The improved version of the algorithm allows to control the maximum magnitude approximation error by using an adequate...
-
Solving Boundary Value Problems for Second Order Singularly Perturbed Delay Differential Equations by ε-Approximate Fixed-Point Method
PublicationIn this paper, the boundary value problem for second order singularly perturbed delay differential equation is reduced to a fixed-point problem v = Av with a properly chosen (generally nonlinear) operator A. The unknown fixed-point v is approximated by cubic spline vh defined by its values vi = vh(ti) at grid points ti, i = 0, 1, ... ,N. The necessary for construction the cubic spline and missing the first derivatives at the boundary...
-
THE ROLE OF NATURE IN PLACEMAKING WITHIN THE LIMITS OF HISTORIC CITIES
PublicationThis paper focuses on the role of nature in placemaking within historic cities. There are two different approaches to placemaking – The first is a more traditional approach, i.e. complete building process which entails significant investments. The second is “Lighter, Quicker, Cheaper” approach proposed by the Project for Public Spaces organization. This article discusses the role, importance and place of nature in both approaches....
-
Social Entrepreneurship Avenues for the Field Development through Research Paradigm Intersection Discussion
PublicationThe 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...
-
An approach to evaluation of arguments in trust cases
PublicationTrustworthiness of IT systems can be justified using the concept of a trust case. A trust case is an argument structure which encompasses justification and evidence supporting claimed properties of a system. It represents explicitly an expert's way of assessing that a certain object has certain properties. Trust cases can be developed collaboratively on the basis of evidence and justification of varying quality. They can be complex...
-
Mechanism of Osmolyte Stabilization–Destabilization of Proteins: Experimental Evidence
PublicationIn this work, we investigated the influence of stabilizing (N,N,N-trimethylglycine) and destabilizing (urea) osmolytes on the hydration spheres of biomacromolecules in folded forms (trpzip-1 peptide and hen egg white lysozyme─hewl) and unfolded protein models (glycine─GLY and N-methylglycine─NMG) by means of infrared spectroscopy. GLY and NMG were clearly limited as minimal models for unfolded proteins and should be treated with...
-
Analysis of an Attenuator Artifact in an Experimental Attack by Gunn–Allison–Abbott Against the Kirchhoff-Law–Johnson-Noise (KLJN) Secure Key Exchange System
PublicationA recent paper by Gunn–Allison–Abbott (GAA) [L. J. Gunn et al., Scientific Reports 4 (2014) 6461] argued that the Kirchhoff-law–Johnson-noise (KLJN) secure key exchange system could experience a severe information leak. Here we refute their results and demonstrate that GAA’s arguments ensue from a serious design flaw in their system. Specifically, an attenuator broke the single Kirchhoff-loop into two coupled loops, which is an...
-
Przekształtnik prądu jako sterownik w układach napędowych z silnikami indukcyjnymi
PublicationThe circuits used for power conversion applied in drives with electric machines are classified into two groups: voltage source inverters (VSI) and current source inverters (CSI). Application of the current source inverter results in better properties of drive than application of voltage source inverter because there is no output filter. The development of power electronics and especially the IGBTs, in which on/off-times are very...
-
Threats to Rural Landscape and Its Protection in Poland
PublicationThe article describes the premises and conditions for the implementation of a pro-landscape spatial policy in rural areas in Poland. It presents the erosion of spatial order in a large part of the country’s territory. Firstly, the state of protection of the rural landscape and the legal aspects of shaping the space of rural areas are described. Secondly, the location is depicted, and the main physiognomic and environmental threats...
-
Global Complex Roots and Poles Finding Algorithm in C × R Domain
PublicationAn algorithm to find the roots and poles of a complex function depending on two arguments (one complex and one real) is proposed. Such problems are common in many fields of science for instance in electromagnetism, acoustics, stability analyses, spectroscopy, optics, and elementary particle physics. The proposed technique belongs to the class of global algorithms, gives a full picture of solutions in a fixed region ⊂ C × R and...
-
Authenticity of cultural heritage vis-à-vis heritage reproducibility and intangibility: from conservation philosophy to practice
PublicationThis article states that the philosophical nature/ambiguity/controversy of the issue of authenticity undermines its usefulness as a tool in conservation practice. The main drawback is the inability to objectively define the notion of authenticity. In conservation philosophy, the meaning of authenticity relativizes along with the widespread consent to the reproducibility of cultural heritage, whereas the recognition of its intangibility...
-
Theory versus experiment for vacuum Rabi oscillations in lossy cavities. II. Direct test of uniqueness of vacuum
PublicationThe paper continues the analysis of vacuum Rabi oscillations we started in part I [Phys. Rev. A 79, 033836 (2009)]. Here we concentrate on experimental consequences for cavity QED of two different classes of representations of harmonic-oscillator Lie algebras. The zero-temperature master equation, derived in part I for irreducible representations of the algebra, is reformulated in a reducible representation that models electromagnetic...
-
Selected problems of decision making modelling in power engineering
PublicationThe paper presents the selected problems of decision making modelling in power engineering specially investment risk evaluation methods. The proposed model can be used in the range programming the development and investing process in power engineering. Decision making problems in power engineering and the evaluation of investment effectiveness in particular are closely related to modelling which relatively accurately reflects...
-
Economic significance of initial public offerings in China and India
PublicationRapid economic growth in China and India has attracted attention of many researchers, focusing on various social and economic factors underlying the success of these countries. One of the key components of country’s economy is financial system which consists of segments such as banking sector and equity market. The topic of initial public offerings (IPOs), one of the corporate financing sources, involving raising funds through...
-
Hydraulic potential of the Lower Vistula (Poland)
PublicationThe Vistula is the largest river in Poland. Lower Vistula (part of the river discussed in this paper) is almost four hundred kilometers long river section extending from the tributary Narew to the outflow to the Baltic Sea. In the 17th century the Vistula was the most navigable river in Europe. After partitioning of Poland the Vistula lost its significance. Now the Lower Vistula should provide a navigation connection to the Europe...