Filtry
wszystkich: 899
-
Katalog
Wyniki wyszukiwania dla: GEOMETRICAL ARGUMENTS
-
Cohousing. Dziesięć argumentów ''za'' = Cohousing. Ten arguments ''pro''
PublikacjaCohousing to jedna z koncepcji wspólnotowego kształtowania środowiska mieszkaniowego, praktykowana z powodzeniem od kilkudziesięciu lat w Danii, a z czasem i w wielu innych krajach Europy Zachodniej i Ameryki. Z architektonicznego punktu widzenia oznacza przede wszystkim partycypację przyszłych użytkowników w projektowaniu. Wydaje się, że i w Polsce idea ta może i powinna zyskać swoich zwolenników. A jest ku temu wiele powodów....
-
Argumenta
Czasopisma -
Argumenta Oeconomica
Czasopisma -
Fractional problems with advanced arguments
PublikacjaThis 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...
-
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...
-
On dynamic equations with deviating arguments
PublikacjaPraca dotyczy istnienia rozwiązań równań dynamicznych z odchylonymi argumentami. Podane zostały warunki dostateczne na istnienie rozwiązania. Dwa przykłady ilustrują otrzymane wyniki.
-
Differential equations with delayed arguments
PublikacjaPraca dotyczy problemów brzegowych dla równań różniczkowych z opóźnionymi argumentami. Podane zostały warunki dostateczne na istnienie jednego rozwiązania bądź rozwiązań ekstremalnych. Dyskusja dotyczy również nierówności różniczkowych. Przykłady ilustrują otrzymane wyniki.
-
Argumenta Philosophica
Czasopisma -
Argumenta Historica
Czasopisma -
Das Argument
Czasopisma -
Argument & Computation
Czasopisma -
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.
-
An approach to evaluation of arguments in trust cases
PublikacjaTrustworthiness 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...
-
Fractional differential equations with deviating arguments
PublikacjaDla równań różniczkowych typu ułamkowego, zostały podane warunki dostateczne na istnienie jednego rozwiązania lub rozwiazań ekstremalnych. Nierówności różniczkowe są też doskutowane.
-
On integro-differential equations with delayed arguments
PublikacjaPraca dotyczy problemów różniczkowo-całkowych z warunkami początkowymi oraz brzegowymi typu okresowego. Podano warunki na istnienie i jednoznaczność rozwiązania. Badania dotyczyły również nierówności różniczkowo-całkowych z argumentami typu opóżnionego. Podano przykłady, które mogą mieć zastosowanie w problemach inżynierskich.
-
Influence of geometrical imperfections on stresses in cylindrical shells
PublikacjaResults of the numerical analysis of the shells of storage tanks of 50 000 m3 capacity with geometrical imperfections are presented in the paper. Results were verified by tensometric tests performed on the real tank. It was recognized that real geometrical imperfections cause increase of stresses in the tank construction by 30%.
-
Satellite inventory of tram track geometrical layout
PublikacjaIn 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...
-
Using evidence based arguments to support trust
PublikacjaWprowadzono podstawowe koncepcje metodyki TRUST-IT: argumentu i dowodu, modelu argumentacji, szablonu argumentacji, oceny argumentu oraz kontekstu aplikacyjnego. Przedstawiono zakres funkcjonalności, modele udostepniania oraz politykę bezpieczeństwa informacji związane z usługami NOR-STA wspomagającymi zastosowania metodyki TRUST-IT. Przedstawiono również dotychczasowe doświadczenia związane z wdrażaniam uzług NOR-STA w różnych...
-
Second-order differential equations with deviating arguments
PublikacjaPodane zostały warunki dostateczne na istnienie kwazi-rozwiązań oraz na istnienie jedynego rozwiązania dla równań różniczkowych rzędu drugiego z warunkami brzegowymi i odchylonymi argumentami. Otrzymane wyniki zilustrowano przykładami i wykresami.
-
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ń.
-
Biometrical Letters
Czasopisma -
BIOMETRICAL JOURNAL
Czasopisma -
Earthworks calculations due to reconstruction of railway geometrical layout
PublikacjaThe paper characterizes continuation of ongoing work of computer program MUGO which is connected with earthworks. The program is related to the modernization of the railway track layout. The methodology for the calculating the size of earthworks in the areas of embankments on the two way railway line is discussed in detail.
-
Geometrical effects of axial run-out in circular saws
PublikacjaW pracy omówione zostały efekty geometryczne jakie wywoływane są przez błąd bicia osiowego pił tarczowych.
-
Geometrical accuracy of the objects in the axial run-out conditions
PublikacjaW pracy omówiono wpływ wartości bicia osiowego ostrzy pił tarczowych i parametrów obróbki na dokładność geometryczną powierzchni uzyskiwanych podczas procesu przecinania.
-
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...
-
Argumenta Oeconomica Cracoviensia
Czasopisma -
Tempo e Argumento
Czasopisma -
Argumentum (online)
Czasopisma -
Nuovi argomenti
Czasopisma -
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...
-
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...
-
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.
-
Numerical solution of boundary value problems with deviated arguments
PublikacjaZastosowano metodę różnicową, aby wyznaczyć przybliżone rozwiązanie problemubrzegowego z odchylonymi argumentami. Pokazano, że metoda różnicowa, przyodpowiednich warunkach, jest zbieżna do rozwiązania i podano oszacowaniabłędów.
-
Computer-aided reconstruction of the railway track axis geometrical shape
PublikacjaIn the paper a method of the railway track axis geometrical shape identification in a horizontal plane, directly from the continuous satellite measurements, is presented. In this method, an algorithm for the design of railway track sections located in the horizontal arc is used. The algorithm uses an analytical description of the layout by means of suitable mathematical formulas. The design procedure has a universal character and...
-
Generative Process Planning with Reasoning Based on Geometrical Product Specification
Publikacja -
Generative Process Planning with Reasoning based on Geometrical Product Specification
PublikacjaThe focus of this paper is on computer aided process planning for parts manufacture in systems of definite process capabilities, involving the use of multi-axis machining centers for parts shaping and grinding machines for finishing. It presents in particular a decision making scheme for setup determination as a part of generative process planning. The planning procedurę consists of two stages. The first stage is associated with...
-
Analysis of geometrical layout of tram tracks based on the railway methods
Publikacja -
Geometrical versus analytical approach in problem solving- an exploatory study
PublikacjaAbstract. In this study we analyse the geometrical visualization as a part of the process of solution. In total 263 students in the first year of study at three different universities in three different countries (Poland, Slovakia and Spain) were asked to solve four mathematical problems. The analysis of the results of all students showed that geometrical visualization for problems where there is a possibility to choose different ways...
-
Ifluence of geometrical and thermophysical parameters on two-phase thermosiphon performance
PublikacjaW pracy przedstawiono wyniki badań eksperymentalnych dotyczących wpływu geometrii pęku rur, rodzaju powierzni przejmowania ciepła parownika oraz płynu pośredniego na całkowitą wydajność dwufazowego termosyfonowego wymiennika ciepła (DTWC).
-
Buckling of thin-walled columns accounting for initial geometrical imperfections
PublikacjaThe paper is devoted to the effect of some geometrical imperfections on the critical buckling load of axially compressed thin-walled I-columns. The analytical formulas for the critical torsional and flexural buckling loads accounting for the initial curvature of the column axis or the twist angle respectively are derived. The classical assumptions of theory of thin-walled beams with non-deformable cross-sections are adopted. The...
-
A New Geodetic Method of Examination of Geometrical Conditions of a Crane Bridge
PublikacjaSafety is one of the key aspects related to crane-based material transport. In order to ensure safe crane operation and material transport, it is necessary to meet certain geometrical conditions. The authors addressed the geometrical conditions of a crane bridge, a substantial crane component. The paper presents the method to compute displacement components of points on the top of a bridge crane relative to their design position....
-
Geometrically nonlinear analysis of shells
PublikacjaArtykuł porusza zagadnienia nieliniowej analizy powłok wykonanych z materiałów izotropowych. Obliczenia wykonano przy wykorzystaniu dwóch komercyjnych programów wykorzystujących Metodę Elementów Skończonych (Robot Millennium v. 19.0 i MSC.Marc v.2005r2 ). Główną uwagę skupiono na zjawisku zakleszczenia.
-
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...
-
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...
-
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.
-
Boundary value problems for ordinary differential equations with deviated arguments
PublikacjaDyskutowane są równania różniczkowe z dwupunktowym nieliniowym warunkiem brzegowym z argumentami typu odchylonego. Podano warunki dostateczne które gwarantują iż problem wyjściowy ma kwazi-rozwiązania. Podano też warunki przy których problem ten ma rozwiązanie. Wyniki uzyskano stosując metodę iteracji monotonicznych.Badano też pewne nierówności różniczkowe z odchylonymi argumentami.
-
Monotone method to Volterra and Fredholm integral equations with deviating arguments
PublikacjaPraca dotyczy problemów istnienia rozwiązań równań całkowych typu Volterry i Fredholma z odchylonymi argumentami. Podano warunki dostateczne na istnienie rozwiązań w odpowiedniej klasie. Pewne nierówności całkowe typu opóźnionego są również przedmiotem badań.
-
Linear boundary problems for ordinary differential equations with deviated arguments
PublikacjaPraca dotyczy istnienia i jednoznaczności rozwiązań dla problemów brzegowych w tym również i problemów z wielopunktowymi warunkami brzegowymi.