Search results for: GEOMETRICAL ARGUMENTS
-
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...
-
The analysis of tram tracks geometrical layout based on Mobile Satellite Measurements
PublicationIn this article, the results of the research in a field of which uses active global navigation satellite system (GNSS) geodetic networks for the inventory of geodetic geometric tram tracks are presented. The applied measurement technique has been adapted for the designing of the geometric layout of tram tracks. Several configurations of receivers and settings of an active GNSS networks with the objective to increase the accuracy...
-
Teleportation of geometric structures in 3D
PublicationThe simplest quantum teleportation algorithms can be represented in geometric terms in spaces of dimensions 3 (for real state vectors) and 4 (for complex state vectors). The geometric representation is based on geometric-algebra coding, a geometric alternative to the tensor-product coding typical of quantum mechanics. We discuss all the elementary ingredients of the geometric version of the algorithm: geometric analogs of states...
-
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...
-
Using argument structures to create a measurement plan
PublicationWhile 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...
-
Boundary value problems for dynamic equations with advanced arguments on time scales
PublicationPraca 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 solutions for second order impulsive differential equations with deviating arguments
PublicationPraca dotyczy równań różniczkowych z impulsami i odchylonymi argumentami. Badano problem istnienia rozwiązań stosując metodę iteracji monotonicznych opartą na dolnych i górnych rozwiązaniach. Praca uogólnia szereg znanych wyników.
-
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.
-
Existence of solutions of boundary value problems for differential equations with delayed arguments.
PublicationPodane zostały warunki dostateczne na istnienie i jednoznaczność rozwiązań problemów brzegowych dla równań różniczkowych z odchylonymi argumentami.Problem istnienia ekstremalnych rozwiązań również był przedmiotem badań. Podano konstrukcję monotonicznych iteracji i pokazano, że iteracje te są zbieżne do szukanego rozwiązania. Praca zawiera przykłady które ilustrują ogólną teorię.
-
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.
-
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
-
Modelling of Curvature of the Railway Track Geometrical Layout Using Particle Swarm Optimization
PublicationA method of railway track geometrical layout design, based on application of cubic C-Bezier curves for describing the layout curvature is presented in the article. The control points of a cubic C-Bezier curve are obtained in an optimization process carried out using Particle Swarm Optimization algorithm. The optimization criteria are based on the evaluation of the dynamic interactions and satisfaction of geometrical design requirements.
-
3D modelling of liquid fuels base infrastructure for the purpose of visualization and geometrical analysis
PublicationThe paper presents the methodology for obtaining a 3D model of the tank for liquid fuels on the basis of the terrestrial laser scanning and its processing for the analysis of tanks geometry. The development process indicates the possibility to obtain the reliable results useful for the evaluation of the tank side surfaces geometry (shells). The result of the development is a 3D model of the tank, taking into account the individual...
-
The process of identification of the track's geometrical layout and the alignment project based on the of satellite measurements
PublicationIn the paper a methodology of restoring of railway track’s geometrical shape in a horizontal plane on the base of conducted mobile satellite surveying was presented. The authors proposed a calculating algorithm for designing the track sections placed in horizontal arcs. In the algorithm an analytical methodology with mathematical formulas is applied. The procedure has an universal character, i.e. provides the possibility of varying...
-
Effect of the Geometrical Shape of a Partition on the Natural Convection of Two Fluids in a Separated Cavity
Publication -
Influence of geometrical and operational parameters on tooth wear in the working mechanism of a satellite motor
PublicationThis article describes the phenomena affecting the wear of the rotor of the working mechanism in a hydraulic satellite motor. The basic geometrical relationships that allow the calculation of the coordinates of the points of contact between the satellite and the rotor and the curvature are presented. A method for calculating the number of contacts of the satellite teeth with the rotor teeth and of the satellite teeth with the curvature...
-
Optimizing the process of railway geometrical layout designing with multi-criteria assessment method
PublicationThe paper presents the main assumptions of the Multi-criteria assessment method used in process of upgrading the railway geometrical layout. The advantages of metaheuristic search were described. The criteria influencing the investment were defined. The fitness function used in the analysis was described. The example of using the optimization algorithm with the help of self developed computer software was described.
-
Accuracy assessment of mobile satellite measurements in relation to the geometrical layout of rail tracks
PublicationThe paper presents the campaigns of mobile satellite measurements, carried out in 2009–2015 on the railway and tram lines. The accuracy of the measurement method has been analysed on the basis of the results obtained in both horizontal and vertical planes. The track axis deviation from the defined geometric shape has been analysed in the areas clearly defined in terms of geometry, i.e. on the straight sections and sections with...
-
Argumentos de Razon Tecnica
Journals -
Argumentos-Revista de Filosofia
Journals -
ARGUMENT: Biannual Philosophical Journal
Journals -
Support Vector Machines in Biomedical and Biometrical Applications
Publication -
On the geometrically nonlinear vibration of a piezo-flexomagnetic nanotube
PublicationIn order to describe the behavior of thin elements used in MEMS and NEMS, it is essential to study a nonlinear free vibration of nanotubes under complicated external fields such as magnetic environment. In this regard, the magnetic force applied to the conductive nanotube with piezo-flexomagnetic elastic wall is considered. By the inclusion of Euler-Bernoulli beam and using Hamilton’s principle, the equations governing the system...
-
Geometric analogue of holographic reduced representation
PublicationHolographic reduced representations (HRRs) are distributed representations of cognitive structuresbased on superpositions of convolution-bound n-tuples. Restricting HRRs to n-tuples consisting of 1,one reinterprets the variable binding as a representation of the additive group of binary n-tupleswith addition modulo 2. Since convolutions are not defined for vectors, the HRRs cannot be directlyassociated with geometric structures....
-
Geometric Algebra Model of Distributed Representations
PublicationFormalism based on GA is an alternative to distributed representation models developed so far-Smolensky's tensor product, Holographic Reduced Representations (HRR) and Binary Spatter Code (BSC). Convolutions are replaced by geometric products, interpretable in terms of geometry which seems to be the most natural language for visualization of higher concepts. This paper recalls the main ideas behind the GA model and investigates...
-
Positive solutions to second order four-point impulsive problems with deviating arguments
PublicationStosują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.
-
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...
-
Journal of Geometric Mechanics
Journals -
Algebraic and Geometric Topology
Journals -
GEOMETRIC AND FUNCTIONAL ANALYSIS
Journals -
How much a geometrical model of a honeycomb seal can be simpli ed in the CFD calculation
PublicationThis paper presents the inuence of geometry simplication on the results obtained in the computational fluid dynamics simulation. The subject of simulation was part of the honeycomb seal located at the inlet to high pressure part of a steam turbine. There were three different geometrical models assumed in the calculations. First one was two-dimensional case and two others were three dimensional, one with the radius of curvature...
-
Fatigue test bearings with geometrically modyfied sliding surface.
PublicationW artykule uzasadniono celowość wprowadzenia nowego łóżyska testowego do badań wytrzymałości zmęczeniowej materiałów łożyskowych. Przedstawiono wstępne wyniki badań łożysk o zmodyfikowanej geometrii powierzchni ślizgowej i porównano otrzymane wyniki testów przeprowadzonych przy użyciu o standartowej geometrii.
-
A Geometrically Simple Compact Wideband Circularly Polarized Antenna
PublicationA compact broadband wide-slot circular polarization (CP) antenna is proposed. An inverted L-shape parasitic strip at the open end of a microstrip line extension and a slot modification is applied to attain wideband CP. The advantage of this technique is simplicity which makes it readily re-designable for different frequency bands. To demonstrate the concept, three designs working at different frequencies are obtained. The redesign...
-
Effect of geometric imperfections on aluminium silo capacities
PublicationAn aluminum silo with initial imperfections is analysed. Two types of imperfections are considered. The first one takes the form of local indentations in the shell; their size and range are adopted on the basis of the standard guidelines. The second type is a global imperfection described through the use of its eigenforms and by means of two-dimensional random fields. The calculations are limited to two cases of loading: negative...
-
Identification and simulation of shells geometric initial imperfection
PublicationPrzedstawiono stochastyczną analizę stalowych zbiorników walcowych ze wstępnymi imperfekcjami geometrycznymi. Imperfekcje opisano za pomocą jednorodnych pól losowych.
-
Tensor-product versus geometric-product coding
PublicationKodowanie przy pomocy iloczynów tensorowych, a kodowanie przy pomocy iloczynów geometrycznych. Formalizm jest zilustrowany przy pomocy paru przykładów.
-
Multiple solutions of boundary-value problems for fourth-order differential equations with deviating arguments
PublicationPraca dotyczy równań różniczkowych rzędu czwartego z warunkami brzegowymi i odchylonymi argumentami. Podano wystarczające warunki, dla których problemy dotyczące takich równań mają dodatnie rozwiązania. W pracy rozważa się przypadki kiedy argumenty odchylone są typu opóźnionego lub wyprzedzonego. W celu zapewnienia istnienia przynajmniej trzech dodatnich rozwiązań wykorzystano twierdzenie Avery-Petersona.
-
Boundary value problems with advanced arguments involving upper and lower solutions in reverse order
PublicationPraca 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.
-
Boundary value problems for differential equations with deviated arguments which depend on the unknown solution
PublicationDyskutowane są zagadnienia brzegowe dla równań różniczkowo funkcyjnych pierwszego rzędu z odchylonym argumentem zależnym od nieznanego rozwiązania. Sformułowane są warunki dostateczne isnienia quasirozwiązań i rozwiązań takich zagadnień.
-
Positive solutions for fourth-order differential equations with deviating arguments and integral boundary conditions
PublicationBadane są problemy brzegowe dla równań różniczkowych rzędu czwartego z odchylonymi argumentami i z warunkami brzegowymi typu całkowego. Sformułowano twierdzenie dotyczące istnienia dodatnich rozwiązań takich problemów. W dowodzie korzystano z tw. Avery-Petersona o punktach stałych dla stożków. Podano przykład ilustrujący otrzymane wyniki.
-
Multiple solutions for a class of boundary-value problems with deviating arguments and integral boundary conditions
PublicationPraca dotyczy istnienia dodatnich rozwiązań dla równań różniczkowych rzędu drugiego z całkowymi warunkami brzegowymi i z odchylonymi argumentami typu wyprzedzonego. Korzystając z tw. Avery-Petersona dla stożków, podano warunki dostateczne na istnienie trzech dodatnich rozwiazań w/w problemów. Podano przykład pokazujący iż przyjęte załozenia są spełnione.
-
Boundary value problems for first-order impulsive ordinary differential equations with delay arguments
PublicationPraca dotyczy problemów istnienia rozwiązań dla pierwszego rzędu równań różniczkowych typu opóźnionego z impulsami. Podano warunki dostateczne na istnienie ekstremalnych kwazi-rozwiązań. Podano też warunki przy których powyższe zagadnienie ma jedyne rozwiązanie. Praca zawiera też przykład ilustrujący otrzymane wyniki teoretyczne.
-
Influence of analysis of features geometrical abrasive grains stress, strain and displacement of material in zone microgrinding
Publication -
Geometrical conditions of saw blade`s entering into and going out of material during wood cutting
PublicationW pracy przedstawiono analizę geometrycznych warunków wejścia i wyjścia ostrza piły z materiału obrabianego przy przecinaniu drewna. Przedstawiono czasowy i przestrzenny rozkład geometrycznych parametrów wejścia i wyjścia ostrza i ich wpływ na trwałość ostrzy i dokładność przecinania.
-
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...
-
Three positive solutions to second-order three-point impulsive differential equations with deviating arguments
PublicationStosując tw. Leggetta-Williamsa, pokazano że rozpatrywany trzypunktowy problem brzegowy z impulsami ma dodatnie rozwiązania (trzy). Otrzymane twierdzenia dotyczą przypadku opóźnionego oraz wyprzedzonego. W pracy podano przykład i pokazano, że przyjęte założenia są spełnione.
-
Existence of positive solutions to third order differential equations with advanced arguments and nonlocal boundary conditions
PublicationPraca 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.
-
Solvability of three point boundary value problems for second order differential equations with deviating arguments
PublicationBadano problem istnienia rozwiązań dla równań różniczkowych rzędu drugiego z trzypunktowymi warunkami brzegowymi. Podano warunki dostateczne dla istnienia ekstremalnych lub kwazi-ekstremalnych rozwiązań powyższych problemów. Przedmiotem badań były również nierówności różniczkowe z odchylonymi argumentami.
-
On geometrically non-linear FEA of laminated FRP composite panels
PublicationThe paper presents a state-of-art review on Finite Element Analysis (FEA) of geometrically non-linear problems for laminated composite plates and shells made as fibre reinforced polymer (FRP) laminates. Besides a subjective overview of the historical development of geometrically non-linear FEA of laminated FRP composite panels, some remarks on possible future issues in this research area are given
-
R&D of satellite pumps and motors with small geometrical displacement supplied with oil and non-flammable liquids
PublicationThe newest construction of satellite motors and self-suction satellite pumps with small geometrical displacement have been described in this article. The characteristics of volumetric and total efficiency of one satellite motor, selected from the series, supplied with oil have been presented. These characteristics have been compared with the orbital motors' characteristics. The remaining specifications of these motors were also...